More Like this

1. Approximate Quantum Circuit Reconstruction

   https://doi.org/10.1109/QCE53715.2022.00073  

   Chen, Daniel; Baheri, Betis; Chaudhary, Vipin; Guan, Qiang; Xie, Ning; Xu, Shuai (September 2022, QCE 2022)
2. Synthesizing Quantum-Circuit Optimizers

   https://doi.org/10.1145/3591254  

   Xu, Amanda; Molavi, Abtin; Pick, Lauren; Tannu, Swamit; Albarghouthi, Aws (June 2023, Proceedings of the ACM on Programming Languages)

   Near-term quantum computers are expected to work in an environment where each operation is noisy, with no error correction. Therefore, quantum-circuit optimizers are applied to minimize the number of noisy operations. Today, physicists are constantly experimenting with novel devices and architectures. For every new physical substrate and for every modification of a quantum computer, we need to modify or rewrite major pieces of the optimizer to run successful experiments. In this paper, we present QUESO, an efficient approach for automatically synthesizing a quantum-circuit optimizer for a given quantum device. For instance, in 1.2 minutes, QUESO can synthesize an optimizer with high-probability correctness guarantees for IBM computers that significantly outperforms leading compilers, such as IBM's Qiskit and TKET, on the majority (85%) of the circuits in a diverse benchmark suite. A number of theoretical and algorithmic insights underlie QUESO: (1) An algebraic approach for representing rewrite rules and their semantics. This facilitates reasoning about complex symbolic rewrite rules that are beyond the scope of existing techniques. (2) A fast approach for probabilistically verifying equivalence of quantum circuits by reducing the problem to a special form of polynomial identity testing . (3) A novel probabilistic data structure, called a polynomial identity filter (PIF), for efficiently synthesizing rewrite rules. (4) A beam-search-based algorithm that efficiently applies the synthesized symbolic rewrite rules to optimize quantum circuits. 

   more » « less
3. Mechanical integrated circuit materials

   https://doi.org/10.1038/s41586-022-05004-5  

   El Helou, Charles; Grossmann, Benjamin; Tabor, Christopher E.; Buskohl, Philip R.; Harne, Ryan L. (August 2022, Nature)
4. Equivalent Circuit Model for High C-Rate Discharge with an External Short Circuit

   https://doi.org/10.23919/ACC53348.2022.9867199  

   Tran, Vivian; Cai, Ting; Stefanopoulou, Anna; Siegel, Jason (June 2022, 2022 American Control Conference (ACC))
5. Quartz: superoptimization of Quantum circuit

   https://doi.org/10.1145/3519939.3523433  

   Xu, Mingkuan; Li, Zikun; Padon, Oded; Lin, Sina; Pointing, Jessica; Hirth, Auguste; Ma, Henry; Palsberg, Jens; Aiken, Alex; Acar, Umut A.; et al (June 2022, PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation)