Quantum circuits will experience failures that lead to computational errors. We introduce Medusa, an automated compilation method for lowering a circuit's failure rate. Medusa uses flags to predict the absence of high-weight errors. Our method can numerically upper bound the failure rate of a circuit in the presence of flags, and fine tune the fault-tolerance of the flags in order to reach this bound. We assume the flags can have an increased fault-tolerance as a result of applying surface QECs to the gates interacting with them. We use circuit level depolarizing noise to evaluate the effectiveness of these flags in revealing the absence of the high-weight stabilizers. Medusa reduces the cost of quantum-error-correction (QEC) because the underlying circuit has a lower failure rate. We benchmark our approach using structured quantum circuits representative of ripple-carry adders. In particular, our flag scheme demonstrates that for adder-like circuits, the failure rate of large-scale implementations can be lowered to fit the failure rates of smaller-scale circuits. We show numerically that a slight improvement in the local fault-tolerance of the flag-qubits can lead to a reduction in the overall failure rate of the entire quantum circuit.Quantum circuits will experience failures that lead to computational errors. We introduce Medusa, an automated compilation method for lowering a circuit's failure rate. Medusa uses flags to predict the absence of high-weight errors. Our method can numerically upper bound the failure rate of a circuit in the presence of flags, and fine tune the fault-tolerance of the flags in order to reach this bound. We assume the flags can have an increased fault-tolerance as a result of applying surface QECs to the gates interacting with them. We use circuit level depolarizing noise to evaluate the effectiveness of these flags in revealing the absence of the high-weight stabilizers. Medusa reduces the cost of quantum-error-correction (QEC) because the underlying circuit has a lower failure rate. We benchmark our approach using structured quantum circuits representative of ripple-carry adders. In particular, our flag scheme demonstrates that for adder-like circuits, the failure rate of large-scale implementations can be lowered to fit the failure rates of smaller-scale circuits. We show numerically that a slight improvement in the local fault-tolerance of the flag-qubits can lead to a reduction in the overall failure rate of the entire quantum circuit.

quant-pharXiv:2511.16289Nov 21, 20250 citations

A Near-Quadratic Lower Bound for the Size of Quantum Circuits of Constant Treewidth

Mateus de Oliveira Oliveira

We show that any quantum circuit of treewidth t, built from r-qubit gates, requires at least gates to compute the element distinctness function. Our result generalizes a near-quadratic lower bound for quantum formula size obtained by Roychowdhury and Vatan [SIAM J. on Computing, 2001]. The proof of our lower bound follows by an extension of Nečiporuk's method to the context of quantum circuits of constant treewidth. This extension is made via a combination of techniques from structural graph theory, tensor-network theory, and the connected-component counting method, which is a classic tool in algebraic geometry. In particular, an essential key to proving our lower bound is the development of a new algorithm for tensor network contraction which may be of independent interest.We show that any quantum circuit of treewidth t, built from r-qubit gates, requires at least gates to compute the element distinctness function. Our result generalizes a near-quadratic lower bound for quantum formula size obtained by Roychowdhury and Vatan [SIAM J. on Computing, 2001]. The proof of our lower bound follows by an extension of Nečiporuk's method to the context of quantum circuits of constant treewidth. This extension is made via a combination of techniques from structural graph theory, tensor-network theory, and the connected-component counting method, which is a classic tool in algebraic geometry. In particular, an essential key to proving our lower bound is the development of a new algorithm for tensor network contraction which may be of independent interest.

arXiv:1609.09643Society for Industrial and Applied Mathematics eBooksJan 1, 20180 citations

Quantum Circuit Depth Lower Bounds For Homological Codes

Dorit Aharonov, Yonathan Touati

We provide an $Ω(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 $γ$ -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 $Ω(logloglog(n))$ . We conjecture that the correct lower bound is at least $Ω(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.We provide an $Ω(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 $γ$-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 $Ω(logloglog(n))$. We conjecture that the correct lower bound is at least $Ω(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.

arXiv:1810.03912Oct 9, 20189 citations

Improved Circuit Lower Bounds and Quantum-Classical Separations

Sabee Grewal, Vinayak M. Kumar

We continue the study of the circuit class GC^0, which augments AC^0 with unbounded-fan-in gates that compute arbitrary functions inside a sufficiently small Hamming ball but must be constant outside it. While GC^0 can compute functions requiring exponential-size circuits, Kumar (CCC 2023) showed that switching-lemma lower bounds for AC^0 extend to GC^0 with no loss in parameters. We prove a parallel result for the polynomial method: any lower bound for AC^0[p] obtained via the polynomial method extends to GC^0[p] without loss in parameters. As a consequence, we show that the majority function MAJ requires depth- $d$ GC^0[p] circuits of size $2^{Ω(n^{1/2(d-1)})}$ , matching the best-known lower bounds for AC^0[p]. This yields the most expressive class of non-monotone circuits for which exponential-size lower bounds are known for an explicit function. We also prove a similar result for the algorithmic method, showing that E^NP requires exponential-size GCC^0 circuits, extending a result of Williams (JACM 2014). Finally, leveraging our improved classical lower bounds, we establish the strongest known unconditional separations between quantum and classical circuit classes. We separate QNC^0 from GC^0 and GC^0[p] in various settings and show that BQLOGTIME is not contained in GC^0. As a consequence, we construct an oracle relative to which BQP lies outside uniform GC^0, extending the Raz-Tal oracle separation between BQP and PH (STOC 2019).We continue the study of the circuit class GC^0, which augments AC^0 with unbounded-fan-in gates that compute arbitrary functions inside a sufficiently small Hamming ball but must be constant outside it. While GC^0 can compute functions requiring exponential-size circuits, Kumar (CCC 2023) showed that switching-lemma lower bounds for AC^0 extend to GC^0 with no loss in parameters. We prove a parallel result for the polynomial method: any lower bound for AC^0[p] obtained via the polynomial method extends to GC^0[p] without loss in parameters. As a consequence, we show that the majority function MAJ requires depth-$d$ GC^0[p] circuits of size $2^{Ω(n^{1/2(d-1)})}$, matching the best-known lower bounds for AC^0[p]. This yields the most expressive class of non-monotone circuits for which exponential-size lower bounds are known for an explicit function. We also prove a similar result for the algorithmic method, showing that E^NP requires exponential-size GCC^0 circuits, extending a result of Williams (JACM 2014). Finally, leveraging our improved classical lower bounds, we establish the strongest known unconditional separations between quantum and classical circuit classes. We separate QNC^0 from GC^0 and GC^0[p] in various settings and show that BQLOGTIME is not contained in GC^0. As a consequence, we construct an oracle relative to which BQP lies outside uniform GC^0, extending the Raz-Tal oracle separation between BQP and PH (STOC 2019).

arXiv:2408.16406Aug 29, 20241 citation

We provide an

Ω(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

γ

-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

Ω(logloglog(n))

. We conjecture that the correct lower bound is at least

Ω(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.

d

GC^0[p] circuits of size

2^{Ω(n^{1/2(d-1)})}

, matching the best-known lower bounds for AC^0[p]. This yields the most expressive class of non-monotone circuits for which exponential-size lower bounds are known for an explicit function. We also prove a similar result for the algorithmic method, showing that E^NP requires exponential-size GCC^0 circuits, extending a result of Williams (JACM 2014). Finally, leveraging our improved classical lower bounds, we establish the strongest known unconditional separations between quantum and classical circuit classes. We separate QNC^0 from GC^0 and GC^0[p] in various settings and show that BQLOGTIME is not contained in GC^0. As a consequence, we construct an oracle relative to which BQP lies outside uniform GC^0, extending the Raz-Tal oracle separation between BQP and PH (STOC 2019).