Quantum Circuit Depth Lower Bounds For Homological Codes

TL;DR

This paper establishes a logarithmic lower bound on the depth of quantum circuits generating the ground state of Kitaev's spherical code, introducing new topological methods and extending to complex geometries.

Contribution

It provides the first known circuit-depth lower bounds for ground states of gapped local Hamiltonians and introduces the concept of γ-separation using algebraic topology.

Findings

Proves an Ω(log(n)) lower bound for spherical code ground states.

Extends lower bounds to polygonal complexes without bottlenecks.

Introduces γ-separation as a new tool for quantum circuit complexity.

Abstract

We provide an $\Omega(log(n))$ lower bound for the depth of any quantum circuit generating the unique groundstate of Kitaev's spherical code. No circuit-depth lower bound was known before on this code in the general case where the gates can connect qubits even if they are far away; To the best of our knowledge, this is the first time a quantum circuit-depth lower bound is given for unique ground state of a {\it gapped} local Hamiltonian. Providing a lower bound in this case seems more challenging, since such systems exhibit exponential decay of correlations and standard lower bound techniques do not apply. We prove our lower bound by introducing the new notion of $\gamma$-separation, and analyzing its behavior using algebraic topology arguments. We extend out methods also to a wide class of polygonal complexes beyond the sphere, and prove a circuit-depth lower bound whenever the complex does not have a small "bottle neck" (in a sense which we define). Here our lower bound on the circuit depth is only $\Omega(logloglog(n))$. We conjecture that the correct lower bound is at least $\Omega(log(log(n))$, but this seems harder to achieve due to the possibility of hyperbolic geometry. For general simplicial complexes the lack of geometrical restriction on the gates becomes considerably more problematic than for the sphere, and we need to thoroughly modify the original argument in order to get a meaningful bound. To the best of our knowledge, this is the first time the class of trivial quantum states is separated from the class of unique ground states of gapped local Hamiltonians; we provide a survey of the current status of this hierarchy for completeness.The tools developed here will be useful in various contexts in which quantum circuit depth lower bounds are of interest, including the study of topological order, quantum computational complexity and quantum algorithmic speedups.