4 papers
Low-cost quantum error mitigation via auxiliary qubit return validation
Gilad Kishony, Avi Elazari, Ron Cohen +1
We introduce a low-overhead technique for quantum error mitigation based on post-selection using auxiliary qubit measurements. The method exploits the structural property that, in…
Optimal Approximation of Single Qubit Rotations within a Quantum Circuit
Gilad Kishony, Avi Elazari, Ron Cohen +1
Fault-tolerant quantum computing typically requires the transpilation of arbitrary quantum circuits into a finite, universal gate set, such as Clifford+T. As a baseline, Diagonal a…
Qmod: Expressive High-Level Quantum Modeling
Matan Vax, Peleg Emanuel, Eyal Cornfeld +8
Quantum computing hardware is advancing at a rapid pace, yet the lack of high-level programming abstractions remains a serious bottleneck in the development of new applications. Wi…
Design and synthesis of scalable quantum programs
Tomer Goldfriend, Israel Reichental, Amir Naveh +42
We present a scalable, robust approach to creating quantum programs of arbitrary size and complexity. The approach is based on the true abstraction of the problem. The quantum prog…