English
Related papers

Related papers: A SAT Encoding for Optimal Clifford Circuit Synthe…

200 papers

The standard approach to fault-tolerant quantum computation is to store information in a quantum error correction code, such as the surface code, and process information using a strategy that can be summarized as distill-then-synthesize. In…

Quantum Physics · Physics 2026-05-01 Earl T. Campbell , Mark Howard

Large-scale quantum information processing requires the use of quantum error correcting codes to mitigate the effects of noise in quantum devices. Topological error-correcting codes, such as surface codes, are promising candidates as they…

Quantum Physics · Physics 2023-03-27 Kunihiro Wasa , Shin Nishio , Koki Suetsugu , Michael Hanks , Ashley Stephens , Yu Yokoi , Kae Nemoto

The ability to fault-tolerantly prepare CAT states, also known as multi-qubit GHZ states, is an important primitive for quantum error correction. It is required for Shor-style syndrome extraction, and can also be used as a subroutine for…

A major challenge in developing quantum computing technologies is to accomplish high precision tasks by utilizing multiplex optimization approaches, on both the physical system and algorithm levels. Loss functions assessing the overall…

Quantum Physics · Physics 2021-03-03 Zhen Wang , Yanzhu Chen , Zixuan Song , Dayue Qin , Hekang Li , Qiujiang Guo , H. Wang , Chao Song , Ying Li

The fragile nature of quantum information limits our ability to construct large quantities of quantum bits suitable for quantum computing. An important goal, therefore, is to minimize the amount of resources required to implement quantum…

Quantum Physics · Physics 2013-04-11 Adam Paetznick , Austin G. Fowler

Although many of works have been done in multivalued quantum logic synthesis, the question whether multivalued quantum circuits are more efficient than the conventional binary quantum circuits is still open. In this article we devote to the…

Quantum Physics · Physics 2015-12-16 Yao-Min Di , Hai-Rui Wei

Let $n$ be a positive integer divisible by 8. The Clifford-cyclotomic gate set $\mathcal{G}_n$ consists of the Clifford gates, together with a $z$-rotation of order $n$. It is easy to show that, if a circuit over $\mathcal{G}_n$ represents…

Quantum Physics · Physics 2025-08-21 Linh Dinh , Neil J. Ross

Quantum computations are typically compiled into a circuit of basic quantum gates. Just like for classical circuits, a quantum compiler should optimize the quantum circuit, e.g. by minimizing the number of required gates. Optimizing quantum…

Quantum Physics · Physics 2023-03-31 Raban Iten , Romain Moyard , Tony Metger , David Sutter , Stefan Woerner

In order to demonstrate non-trivial quantum computations experimentally, such as the synthesis of arbitrary entangled states, it will be useful to understand how to decompose a desired quantum computation into the shortest possible sequence…

Quantum Physics · Physics 2009-11-10 Farrokh Vatan , Colin Williams

While implementing a quantum algorithm it is crucial to reduce the quantum resources, in order to obtain the desired computational advantage. For most fault-tolerant quantum error-correcting codes the cost of implementing the non-Clifford…

Quantum Physics · Physics 2023-02-10 Vlad Gheorghiu , Michele Mosca , Priyanka Mukhopadhyay

We study the encoding complexity for quantum error correcting codes with large rate and distance. We prove that random Clifford circuits with $O(n \log^2 n)$ gates can be used to encode $k$ qubits in $n$ qubits with a distance $d$ provided…

Quantum Physics · Physics 2013-12-31 Winton Brown , Omar Fawzi

Recent research in generalizing quantum computation from 2-valued qudits to d-valued qudits has shown practical advantages for scaling up a quantum computer. A further generalization leads to quantum computing with hybrid qudits where two…

Quantum Physics · Physics 2007-05-23 Faisal Shah Khan , Marek Perkowski

We give quantum circuits that simulate an arbitrary two-qubit unitary operator up to global phase. For several quantum gate libraries we prove that gate counts are optimal in worst and average cases. Our lower and upper bounds compare…

Quantum Physics · Physics 2013-05-29 Vivek V. Shende , Igor L. Markov , Stephen S. Bullock

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…

Programming Languages · Computer Science 2023-05-12 Amanda Xu , Abtin Molavi , Lauren Pick , Swamit Tannu , Aws Albarghouthi

We introduce canonical forms for single qutrit Clifford+T circuits and prove that every single-qutrit Clifford+T operator admits a unique such canonical form. We show that our canonical forms are T-optimal in the sense that among all the…

Quantum Physics · Physics 2019-08-20 Andrew N. Glaudell , Neil J. Ross , Jacob M. Taylor

In this research paper, our primary focus revolves around the domain-specific hardware mapping strategy tailored for Quantum Fourier Transformation (QFT) circuits. While previous approaches have heavily relied on SAT solvers or heuristic…

Quantum Physics · Physics 2023-12-27 Yuwei Jin , Xiangyu Gao , Minghao Guo , Henry Chen , Fei Hua , Chi Zhang , Eddy Z. Zhang

Qubits encoded in a decoherence-free subsystem and realized in exchange-coupled silicon quantum dots are promising candidates for fault-tolerant quantum computing. Benefits of this approach include excellent coherence, low control…

Hamiltonian simulation is one of the most promising candidates for the demonstration of quantum advantage within the next ten years, and several studies have proposed end-to-end resource estimates for executing such algorithms on…

Quantum Physics · Physics 2025-06-11 Tyler LeBlond , Ryan S. Bennink

The preparation of $n$-qubit quantum states is a cross-cutting subroutine for many quantum algorithms, and the effort to reduce its circuit complexity is a significant challenge. In the literature, the quantum state preparation algorithm by…

Quantum Physics · Physics 2026-02-09 Giacomo Belli , Michele Amoretti

Quantum error correction is essential for achieving practical quantum computing but has a significant computational overhead. Among fault-tolerant (FT) gate operations, non-Clifford gates, such as $T$, are particularly expensive due to…

Quantum Physics · Physics 2026-01-27 Tianyi Hao , Amanda Xu , Swamit Tannu