---
title: Approximate Circuit Complexity
url: https://www.emergentmind.com/topics/approximate-circuit-complexity
type: topic
---

# Approximate Circuit Complexity

Approximate circuit complexity is a family of resource measures in which the cost of computing a Boolean function, synthesizing a unitary, or preparing a quantum state is optimized subject to an approximation criterion rather than exact realization. Across current literature, the approximation relation may be multiplicative on a classical complexity measure, pointwise additive error in polynomial approximation, norm-bounded error for operator synthesis, fidelity or energy-constrained channel error for quantum implementations, or restriction to a tractable state-and-gate manifold such as Gaussian states [1403.0417] [1311.1616] [2007.01417] [2604.14277] [2310.04710]. Taken together, these works show that approximate circuit complexity is not a single invariant but a collection of model-dependent notions whose technical content depends on the choice of gate set, ambient geometry, error metric, and computational representation.

## 1. Foundational approximation paradigms

A basic distinction is between **exact circuit complexity** and its approximate analogues. For an \(n\)-qubit unitary \(U\), exact circuit complexity can be defined as
\[
C(U):=\min\{\text{number of 2-qubit gates in any circuit that exactly implements }U\},
\]
whereas a standard approximate version is
\[
C(U,\eta):=\min\{\text{\# of 2-local gates implementing }V\text{ such that }\|U-V\|\le \eta\}
\]
[2106.05305]. In the Boolean setting, approximation may instead mean producing a value within a multiplicative factor of an exact measure, as in approximation of multiplicative complexity from a truth table [1403.0417]. In polynomial-approximation settings, the resource is degree rather than gate count, and approximation is pointwise sup-norm error \(\|p-f\|_\infty\le \epsilon\) [1311.1616].

Quantum synthesis introduces further variants. In the block-encoding framework, a unitary \(U_n\) on \(n=a+s\) qubits is an \((\alpha,a,\epsilon)\)-block-encoding of \(A_s\) if
\[
\tilde A_s=\left(\bra{0}^{\otimes a}\otimes I_s\right)U_n\left(\ket{0}^{\otimes a}\otimes I_s\right),\qquad
\|A_s-\alpha \tilde A_s\|_2\le \epsilon,
\]
so approximation is transferred from exact synthesis of \(A_s\) to an approximate ancilla-assisted embedding [2007.01417]. In passive linear optics, **robust circuit complexity** asks for the minimum number of gates required to realize some \(\tilde U\) such that \(\|U-\tilde U\|_{hs}\) is small, with the Hilbert–Schmidt error subsequently lifted to high-fidelity guarantees for low-energy bosonic states [2604.14277].

A different strand defines approximation through robustness of state preparation. For an \((\!(n,k)\!)\) code, the \(\delta\)-robust all-to-all circuit complexity \(CC^\delta(\psi)\) and its geometrically local analogue \(CC^\delta_{\mathsf G_D}(\psi)\) are lower-bounded in terms of subsystem variance and code rate \(k/n\), with the operative criterion
\[
H_2\!\left(\frac{\varepsilon_{\mathsf G}(\mathfrak C,d)}{2}+\frac{\delta}{2}\right)<\frac{k}{n}
\]
[2310.04710]. A thermodynamic formulation goes ఇంకా further by defining approximate counting of circuits within an \(\epsilon\)-ball around a target unitary,
\[
\Omega_\epsilon(U,m)=\sum_{\{u_1,\dots,u_m\}\in G_Q^m}\delta_\epsilon(U,u_1\cdots u_m),
\]
and the associated approximate complexity
\[
\mathcal K_\delta(U)=\min\{m:\bar\Omega_\delta(U,m)>0\}
\]
[2309.05731].

These formulations are not equivalent. This suggests that “approximate circuit complexity” is best understood as a meta-category of optimization problems rather than a single canonical complexity measure.

## 2. Boolean functions, multiplicative complexity, and polynomial approximation

In Boolean circuit complexity, one exact measure that admits a nontrivial approximation theory is **multiplicative complexity**. For \(f\in B_n\), working over XOR-AND circuits on the basis \((\wedge,\oplus,1)\) with fanin \(2\), the multiplicative complexity is
\[
c_\wedge(f)=\text{the minimum number of AND gates needed in an XOR-AND circuit computing }f
\]
[1403.0417]. Unlike ordinary circuit size, this counts only AND gates and treats XOR as free. The same paper contrasts this with **nonlinearity**
\[
NL(f)=2^n-\max_{\mathbf a\in F_2^n,\ c\in F_2}\left|\{\mathbf x\in F_2^n\mid f(\mathbf x)=\mathbf a\cdot \mathbf x+c\}\right|,
\]
which is the Hamming distance to the nearest affine function.

The computational contrast is sharp. From a truth table, nonlinearity is computable in \(O(n2^n)\) time by the Fast Walsh Transform, while multiplicative complexity is cryptographically hard: under the existence of pseudorandom function families, hence under one-way functions, no \(2^{O(n)}\)-time algorithm computes \(c_\wedge(f)\) from the truth table, and for every constant \(\epsilon>0\), no such algorithm approximates it within factor \((2-\epsilon)^{n/2}\) [1403.0417]. For circuit input, the decision problem
\[
MC_C=\{(C,s)\mid c_\wedge(f_C)\le s\}
\]
lies in \(\Sigma_2^p\), while the same approximation barrier persists for algorithms running in \(poly(m)2^{O(n)}\) time.

A second major approximation framework replaces circuits by low-degree polynomials. The \(\epsilon\)-approximate degree \(\widetilde{\deg}_\epsilon(f)\) is the minimum degree of a real polynomial \(p\) with \(\|p-f\|_\infty\le \epsilon\), and the one-sided version imposes asymmetric constraints on the \(\pm 1\) inputs of \(f\) [1311.1616]. A generic hardness-amplification theorem shows that if \(\widetilde{\deg}_{1/2}^{\,\text{one-sided}}(f)>d\), then for
\[
F=OR_t(f,\dots,f)
\]
on disjoint copies, one has \(\widetilde{\deg}_{1-2^{-t}}(F)>d\) [1311.1616]. Thus OR-composition can amplify constant-error one-sided hardness into near-maximal-error hardness.

This mechanism yields explicit lower bounds for constant-depth circuits. There exists a polynomial-size depth-three circuit \(F:\{-1,1\}^n\to\{-1,1\}\) such that any degree-\(d\) polynomial cannot pointwise approximate \(F\) to error better than
\[
1-\exp\!\left(-\tilde{\Omega}(nd^{-3/2})\right)
\]
[1311.1616]. The same techniques give
\[
\widetilde{\deg}(AND\text{-}OR_{d,n})=\Omega\!\left(\frac{n^{1/2}}{\log^{(d-2)/2}(n)}\right)
\]
for depth-\(d\) AND-OR trees, tight up to polylogarithmic factors for constant \(d\) [1311.1616]. In this literature, approximate circuit complexity is mediated by a surrogate measure—polynomial degree—that controls communication complexity, threshold weight, and learning-theoretic hardness.

## 3. Approximate quantum synthesis and compressibility

Approximate synthesis problems ask when a large operator can be implemented by substantially fewer gates than exact generic synthesis would require. The block-encoding framework provides one structured answer. If an operator \(B_s\) admits a canonical polyadic-like decomposition
\[
B_s=\sum_{j=0}^{m-1} y_j\,A_{s_1}(j)\otimes A_{s_2}(j)\otimes \cdots \otimes A_{s_{d_j}}(j),
\qquad \sum_i s_i=s,
\]
with \(m=\mathcal O(\mathrm{poly}(s))\), efficient block-encodings for each factor, and efficient coefficient-state preparation, then the full operator can be block-encoded with \(poly(s)\) gate complexity, hence polylogarithmic complexity in the matrix dimension \(2^s\) [2007.01417]. The framework composes smaller block-encodings by Kronecker products and LCU-style linear combinations, shifting the synthesis problem from exact unitary realization to structured approximation.

Random linear optics exhibits a different phenomenon: **compressibility of typical finite-depth circuits**. For a depth-\(d\) random one-dimensional brickwall passive linear optical unitary \(U\), with probability \(1-O(n^2d^{-\kappa})\), there exists a unitary \(\tilde U\) built from only
\[
O_\kappa\!\big(n\sqrt{d\log d}\big)
\]
nearest-neighbor gates such that
\[
\|U-\tilde U\|_{hs}=O(n^{3/2}d^{-\kappa})
\]
[2604.14277]. Since the exact circuit uses \(\Theta(nd)\) gates, the robust circuit complexity grows diffusively rather than ballistically in depth. The associated Gaussian unitary \(\tilde{\mathcal U}\) also satisfies
\[
\inf_{\langle\psi|N|\psi\rangle\le E} |\langle\psi|\mathcal U^\dagger \tilde{\mathcal U}|\psi\rangle|^2
\ge 1-(E+1)O(n^{5/2}d^{-\kappa}),
\]
so the reduced gate count has an operational interpretation on bounded-energy inputs [2604.14277].

Approximation in shallow quantum circuit classes may also be highly constrained. In QAC circuits—constant-depth quantum analogues of AC\(^0\) with one-qubit gates and generalized Toffoli gates—there are depth-\(d\) upper bounds for approximating parity of size
\[
\exp\!\big(\mathrm{poly}(n^{1/d})\log(n/\varepsilon)\big)
\]
for all \(d\ge 7\), yet arbitrary depth-\(d\) QAC circuits require at least \(\Omega(n/d)\) multi-qubit gates to achieve a \(1/2+\exp(-o(n/d))\) approximation, and depth-2 QAC circuits cannot achieve \(1/2+\exp(-o(n))\) approximation of parity, fanout, restricted fanout, or cat-state preparation [2008.07470]. Approximate complexity in this setting is therefore governed simultaneously by depth, size, and the nonclassical structure of allowed multi-qubit layers.

A recurring limitation appears in random-circuit lower bounds. The proof that exact complexity of Haar-random two-qubit circuits grows linearly for exponentially long times does not directly extend to standard approximate complexity, because thickening the low-dimensional image of an architecture by an \(\epsilon\)-neighborhood can destroy the dimension-gap obstruction [2106.05305]. The same work proves only a slightly robust statement: for sufficiently small \(R'\), every low-depth circuit \(U'\) remains at a positive Frobenius distance from the random-circuit unitary with high probability. This delineates a methodological gap between exact and approximate lower bounds.

## 4. Geometric and field-theoretic notions of approximate complexity

In quantum field theory, “approximate circuit complexity” often means restricting the admissible states and gates to a tractable submanifold. For the free \(U(1)\) gauge field in Coulomb gauge, the relevant sector is the manifold of Gaussian states connected by Bogoliubov transformations. Complexity is computed via Nielsen’s geometric approach as the length of the shortest path on the Lie group of Bogoliubov transformations equipped with a right-invariant metric [2108.08208]. If \(G_R\) and \(G_T\) are the reference and target covariance matrices and \(\Delta=G_TG_R^{-1}\), then
\[
\mathcal C_2(G_R,G_T)=\frac{1}{2}\sqrt{\mathrm{Tr}\!\left[(\log\Delta)^2\right]}.
\]
For the free vector field in \(d+1\) dimensions, the ground-state complexity becomes
\[
\mathcal C_2(G_R,G_T)=\frac{1}{2}\left[\sum_{i=1}^{(d-1)N^d}(\log\omega_i)^2\right]^{1/2},
\]
and in the continuum limit scales as
\[
\mathcal C_2 \sim \sqrt{\frac{(d-1)V}{2\delta^d}\log\!\left(\frac{1}{m\delta}\right)}
\]
[2108.08208]. The restriction to Gaussian states and symplectic transformations is explicitly an approximation to the full field-theoretic problem.

A related analysis in Proca theory uses both Nielsen and Fubini–Study approaches. After lattice regularization and mode decomposition, the approximate ground state is generated from a reference Gaussian by momentum-dependent squeezing, leading in the FS formulation to
\[
\mathcal C=\sqrt{\mathrm{Vol}\int_{k\le \Lambda} d^2k\,\frac14\log^2\!\frac{\omega_k}{\nu}}
\]
[2108.07252]. For thermofield-double states, the two approaches diverge dynamically: Nielsen’s method gives a complexity that behaves approximately as \(\mathcal C_2\sim \log^2 t\) after subtracting the \(t=0\) value, whereas the FS metric gives linear growth \(\mathcal C\propto t\) [2108.07252]. This demonstrates that approximate complexity in QFT is sensitive to the chosen geometric formalism even when the state family is fixed.

A categorical variant appears in two-dimensional TQFT. In the bordism category \(2Cob\), exact complexity is the minimal pants decomposition count, but after applying the TQFT functor into Hilbert space exact universality typically fails. Approximation then becomes essential: in semisimple theories, repeated application of the handle operator can generate dense orbits on a torus of states, and complexity is interpreted as the minimal number of handle applications needed to approximate a target state to tolerance \(\epsilon\) [2108.13427]. Here approximate circuit complexity is neither gate-synthesis error nor operator norm distance on a unitary group; it is a discrete orbit-hitting problem on a sparse image of Euclidean path integrals.

These constructions share a common pattern. A large or infinite-dimensional synthesis problem is projected onto a structured manifold—Gaussian symplectic or orthogonal transformations, handle-operator dynamics, or other restricted sectors—where geodesic or combinatorial optimization becomes feasible. This suggests that much of field-theoretic approximate circuit complexity is best interpreted as a controlled proxy rather than a direct extension of finite-gate exact complexity.

## 5. Complexity lower bounds from AQEC, local indistinguishability, and many-body order

Approximate quantum error correction provides a robust route to lower bounds on circuit complexity. For an \((\!(n,k)\!)\) code \(\mathfrak C\), the **subsystem variance**
\[
\varepsilon_{\mathsf G}(\mathfrak C,S)=\max_{\sigma\in\mathfrak C}\|\sigma_S-\Gamma_S\|_1,
\qquad
\varepsilon_{\mathsf G}(\mathfrak C,d)=\max_{|S|\le d}\varepsilon_{\mathsf G}(\mathfrak C,S),
\]
quantifies local distinguishability of code states [2310.04710]. If
\[
H_2\!\left(\frac{\varepsilon_{\mathsf g}(\mathfrak C,d)}{2}+\frac{\delta}{2}\right)<\frac{k}{n},
\]
then every code state obeys the all-to-all lower bound
\[
CC^\delta(\psi)>\log d,
\]
and for a \(D\)-dimensional lattice graph \(\mathsf G_D\),
\[
CC^\delta_{\mathsf G_D}(\psi)>\frac{d^{1/D}-1}{2}
\]
[2310.04710]. The threshold is naturally described as \(O(k/n)\), or roughly \(O(1/n)\) when \(k=O(1)\). In this regime, sufficiently good AQEC forces all code states to be circuit-complex.

A complementary 2025 result strengthens the local-indistinguishability mechanism by combining clustering assumptions with a generalized Lovász local lemma. If two states \(|\psi_1\rangle,|\psi_2\rangle\) satisfy \(|\langle\psi_1|\psi_2\rangle|\le \delta\) and both have circuit complexity at most \(t\), then there exists an operator \(O\) with \(\|O\|=1\) and support size at most \(f(t)\) such that
\[
\big|\langle\psi_1|O|\psi_1\rangle-\langle\psi_2|O|\psi_2\rangle\big|
>
\frac{2}{e}\min\!\left\{1-\delta^{2/n},\,\frac{1}{f(4t)}\right\}
\]
[2510.04453]. Orthogonal short-range entangled states therefore cannot remain locally indistinguishable. Applied to AQEC codes with universal transversal gates or transversal Clifford gates, this yields lower bounds on approximate circuit complexity for every code state; applied to \(W_n\), it gives \(C^\delta(|W_n\rangle)=\Omega(n)\) for one-dimensional local circuits and \(C^\delta(|W_n\rangle)=\Omega(\log n)\) for all-to-all circuits in the regimes stated in the paper [2510.04453].

These AQEC-based results connect approximate complexity to long-range entanglement, topological order, and criticality. Exact \([[n,k,d]]\) codes are recovered as the \(\varepsilon=0\) special case, while approximate codes interpolate between strict local indistinguishability and complexity lower bounds. The common principle is that if logical information is hidden too well from local probes, then shallow preparation becomes impossible.

## 6. Adjacent optimization problems and broader structural themes

Several recent works study optimization problems that are not themselves standard approximate complexity measures but are closely adjacent to the subject. One example is the **circuit width problem** for Montanaro’s polynomial representation of quantum circuits over \(\{H,Z,CZ,CCZ\}\). For a degree-three polynomial \(f\in\mathbb F_2[\mathcal S]\) with no constant term,
\[
w(f):=\min\{\text{number of qubits of a circuit }\mathcal C\text{ such that }f_{\mathcal C}=f\},
\]
and deciding whether \(w(f)\le k\) is NP-complete [2606.18201]. Approximation is also hard: for every \(0<\epsilon<1/48\), it is NP-hard to distinguish
\[
w(f)\le k
\quad\text{from}\quad
w(f)\ge \left(\frac{49}{48}-\epsilon\right)k,
\]
even for degree-two polynomials [2606.18201]. Since efficient width minimization would provide an approximate-counting route for normalized polynomial gaps, this parameter links structural circuit optimization to approximate simulation.

Another example is **quantum circuit cutting**. Representing a circuit as a legal DAG, wire cuts are modeled by edge duplication, and the optimization problem asks for a set of duplicated edges that partitions the circuit into acceptable bounded-size clusters while minimizing the number of cuts [2604.23700]. The resulting Graph Duplication problem is NP-complete in general, NP-complete even for 2-legal DAGs corresponding to one- and two-qubit gate sets, and admits only exact exponential-time methods such as an SMT formulation for bounded instances [2604.23700]. Because wire cuts induce classical overhead scaling as \(|c|=8^K\) for \(K\) cut edges in the discussed framework, optimal cut placement is an approximate-execution resource tradeoff rather than a pure exact-synthesis problem.

A broader statistical interpretation is developed in the thermodynamic treatment of circuit functionality. There, for fixed functionality \(P\) and size \(m\), the circuit entropy is
\[
\mathcal S(P,m)=\log_2\Omega(P,m),
\]
while for approximate quantum circuits the count \(\Omega_\epsilon(U,m)\) measures the number of length-\(m\) gate sequences within distance \(\epsilon\) of \(U\) [2309.05731]. The induced complexity distribution over fixed-size circuits is sharply peaked at a typical \(\mathcal K^*\sim \kappa^* m\), corresponding to a finite compression factor
\[
\eta=1-\frac{\mathcal K^*}{m},\qquad 0<\eta<1
\]
[2309.05731]. At the same time, the paper argues that the space of same-size, same-function circuits generically fragments into disconnected ergodic sectors under local functionality-preserving moves, and that a universal polynomial-length connectivity witness would imply \(\mathrm{NP}=\mathrm{coNP}\) and collapse the polynomial hierarchy [2309.05731]. Approximate circuit complexity therefore has a second, coarse-grained meaning: not merely distance to a target object, but compressibility and mixing within constrained sectors of circuit space.

A common misconception is that approximation invariably makes circuit optimization easy. The literature surveyed here shows the opposite. Multiplicative complexity remains exponentially inapproximable from truth tables under standard cryptographic assumptions [1403.0417]; circuit width is NP-hard to approximate within a nontrivial constant factor [2606.18201]; optimal circuit cutting is NP-complete even on heavily restricted gate models [2604.23700]; and random or highly ordered quantum states can remain provably resistant to shallow approximate preparation [2510.04453] [2310.04710]. Approximation changes the question, but it does not uniformly soften it.

Approximate circuit complexity is therefore best viewed as a structured landscape rather than a single doctrine. In some regimes it exposes compressibility, as in random linear optics [2604.14277]; in others it sharpens hardness, as in one-sided approximate degree and multiplicative complexity [1311.1616] [1403.0417]; and in field theory or many-body physics it often serves as a controlled proxy tied to geometry, symmetry, or local indistinguishability [2108.08208] [2310.04710]. The unifying theme is resource minimization under relaxation, but the mathematics depends decisively on what is being approximated, by which circuits, and in what metric.

Source: https://www.emergentmind.com/topics/approximate-circuit-complexity