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.

Full Characterization of the Depth Overhead for Quantum Circuit Compilation with Arbitrary Qubit Connectivity Constraint

Does qubit connectivity impact quantum circuit complexity?

Interaction graph-based characterization of quantum benchmarks for improving quantum circuit mapping techniques

Asymptotically Optimal Topological Quantum Compiling

Improving Qubit Routing by Using Entanglement Mediated Remote Gates

Deep Circuit Compression for Quantum Dynamics via Tensor Networks

Dynamic quantum circuit compilation

Quantum Fourier Transformation Circuits Compilation

Quantum State Preparation with Optimal Circuit Depth: Implementations and Applications

Heuristics for Quantum Compiling with a Continuous Gate Set

Linear Depth QFT over IBM Heavy-hex Architecture

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

Compilation of algorithm-specific graph states for quantum circuits

Scalable algorithm simplification using quantum AND logic

Mapping quantum circuits to shallow-depth measurement patterns based on graph states

Characterization, synthesis, and optimization of quantum circuits over multiple-control $\textit{Z}$-rotation gates: A systematic study

Single-Qubit Gates Matter for Optimising Quantum Circuit Depth in Qubit Mapping

Spatio-Temporal Characterization of Qubit Routing in Connectivity-Constrained Quantum Processors

Lightcone Bounds for Quantum Circuit Mapping via Uncomplexity

Character Complexity: A Novel Measure for Quantum Circuit Analysis

Depth scaling of unstructured search via quantum approximate optimization