Abstract:Wire cutting is a technique for partitioning large quantum circuits into smaller subcircuits in such a way that observables for the original circuits can be estimated from measurements on the smaller subcircuits. Such techniques provide workarounds for the limited numbers of qubits that are available on near-term quantum devices. Wire cutting, however, introduces multiplicative factors in the number of times such subcircuits need to be executed in order to estimate desired quantum observables to desired levels of statistical accuracy. An optimal wire-cutting methodology has recently been reported that uses ancilla qubits to minimize the multiplicative factors involved as a function of the number of wire cuts. Until just recently, the best-known wire-cutting technique that did not employ ancillas asymptotically converged to the same multiplicative factors, but performed significantly worse for small numbers of cuts. This latter technique also requires inserting measurement and state-preparation subcircuits that are randomly sampled from Clifford 2-designs on a per-shot basis. This paper presents a modified wire-cutting approach for pairs of subcircuits that achieves the same optimal multiplicative factors as wire cutting aided by ancilla qubits, but without requiring ancillas. The paper also shows that, while unitary 2-designs provide a sufficient basis for satisfying the decomposition, 2-designs are not mathematically necessary and alternative unitary designs can be constructed for the decompositions that are substantially smaller in size than 2-designs. As this paper was just about to be released, a similar result was published, so we also include a comparison of the two approaches.

Rise of conditionally clean ancillae for optimizing quantum circuits

Decomposing Quantum Generalized Toffoli with an Arbitrary Number of Ancilla

Quantum circuit for multi-qubit Toffoli gate with optimal resource

Polylogarithmic-depth controlled-NOT gates without ancilla qubits

Decomposing (N+1)-Qubit Toffoli Gate with Shallow Circuit Depth and No Ancilla

Quantum State Preparation Circuit Optimization Exploiting Don't Cares

Optimal Synthesis of Multi-Controlled Qudit Gates

T-count and T-depth efficient fault-tolerant quantum arithmetic and logic unit

Quantum Circuit Simplification and Level Compaction

Optimizing T and CNOT Gates in Quantum Ripple-Carry Adders and Comparators

Trading T gates for dirty qubits in state preparation and unitary synthesis

Initial-State Dependent Optimization of Controlled Gate Operations with Quantum Computer

The Circuit Design and Optimization of Quantum Multiplier and Divider

Halving the cost of quantum addition

Quantum Circuit Optimization of Arithmetic circuits using ZX Calculus

Realization of Conditional Operations through Transition Pathway Engineering

Factoring with n+2 clean qubits and n-1 dirty qubits

Optimizing Gate Decomposition for High-Level Quantum Programming

Low-depth Quantum Circuit Decomposition of Multi-controlled Gates

Scalable algorithm simplification using quantum AND logic

An alternative approach to optimal wire cutting without ancilla qubits