Abstract:The quantum state preparation problem aims to prepare an <inline-formula> <tex-math notation="LaTeX">$n$ </tex-math></inline-formula>-qubit quantum state <inline-formula> <tex-math notation="LaTeX">$|\psi _{v}\rangle =\sum _{k=0}^{2^{n}-1}v_{k}|k\rangle $ </tex-math></inline-formula> from the initial state <inline-formula> <tex-math notation="LaTeX">$|0\rangle ^{\otimes n}$ </tex-math></inline-formula>, for a given unit vector <inline-formula> <tex-math notation="LaTeX">$v=(v_{0},v_{1},v_{2},\ldots,v_{2^{n}-1})^{T}\in \mathbb {C}^{2^{n}}$ </tex-math></inline-formula> with <inline-formula> <tex-math notation="LaTeX">$\|v\|_{2} = 1$ </tex-math></inline-formula>. The problem is of fundamental importance in quantum algorithm design, Hamiltonian simulation and quantum machine learning, yet its circuit depth complexity remains open when ancillary qubits are available. In this article, we study quantum circuits when there are <inline-formula> <tex-math notation="LaTeX">$m$ </tex-math></inline-formula> ancillary qubits available. We construct, for any <inline-formula> <tex-math notation="LaTeX">$m$ </tex-math></inline-formula>, circuits that can prepare <inline-formula> <tex-math notation="LaTeX">$|\psi _{v}\rangle $ </tex-math></inline-formula> in depth <inline-formula> <tex-math notation="LaTeX">$\tilde O({}({2^{n}}/[{m+n}])+n)$ </tex-math></inline-formula> and size <inline-formula> <tex-math notation="LaTeX">$O(2^{n})$ </tex-math></inline-formula>, achieving the optimal value for both measures simultaneously. These results also imply a depth complexity of <inline-formula> <tex-math notation="LaTeX">$\Theta ({}{4^{n}}/[{m+n}])$ </tex-math></inline-formula> for quantum circuits implementing a general <inline-formula> <tex-math notation="LaTeX">$n$ </tex-math></inline-formula>-qubit unitary for any <inline-formula> <tex-math notation="LaTeX">$m \le O(2^{n}/n)$ </tex-math></inline-formula> number of ancillary qubits. This resolves the depth complexity for circuits without ancillary qubits. And for circuits with exponentially many ancillary qubits, our result quadratically improves the currently best upper bound of <inline-formula> <tex-math notation="LaTeX">$O(4^{n})$ </tex-math></inline-formula> to <inline-formula> <tex-math notation="LaTeX">$\tilde \Theta (2^{n})$ </tex-math></inline-formula>. Our circuits are deterministic, prepare the state and carry out the unitary precisely, utilize the ancillary qubits tightly and the depths are optimal in a wide parameter regime. The results can be viewed as (optimal) time-space tradeoff bounds, which is not only theoretically interesting, but also practically relevant in the current trend that the number of qubits starts to take off, by showing a way to use a large number of qubits to compensate the short qubit lifetime.

A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits

Polynomial-time T-depth Optimization of Clifford+T circuits via Matroid Partitioning

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

Optimal Toffoli-Depth Quantum Adder

Parallelizing quantum circuit synthesis

Toffoli-depth reduction method preserving in-place quantum circuits and its application to SHA3-256

Automatic Depth-Optimized Quantum Circuit Synthesis for Diagonal Unitary Matrices with Asymptotically Optimal Gate Count

Distributed quantum logic algorithm

Low-depth Quantum Circuit Decomposition of Multi-controlled Gates

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

The Circuit Design and Optimization of Quantum Multiplier and Divider

Quantum State Preparation with Optimal Circuit Depth: Implementations and Applications

Decomposing Quantum Generalized Toffoli with an Arbitrary Number of Ancilla

Asymptotically Optimal Circuit Depth for Quantum State Preparation and General Unitary Synthesis

Scalable algorithm simplification using quantum AND logic

Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers

Measurement-Based Long-Range Entangling Gates in Constant Depth

A polynomial time and space heuristic algorithm for T-count

Optimal, hardware native decomposition of parameterized multi-qubit Pauli gates

Quantum Circuit Designs of Integer Division Optimizing T-count and T-depth

A Synthesis Algorithm for 4-Bit Reversible Logic Circuits with Minimum Quantum Cost.