---
title: Approximate Quantum Compiling (AQC)
url: https://www.emergentmind.com/topics/approximate-quantum-compiling-aqc
type: topic
---

# Approximate Quantum Compiling (AQC)

Searching arXiv for the cited AQC papers and closely related work.
Approximate quantum compiling (AQC) denotes a family of methods that replace an ideal target state, unitary, or circuit by an implementable approximation subject to constraints such as gate alphabet, connectivity, depth, or error tolerance. In the literature considered here, the term spans several distinct but related problem classes: single-qubit synthesis over fault-tolerant gate sets, variational compilation of multi-qubit circuits into shallow hardware-native layouts, tensor-network-assisted state preparation, and compiler-level allocation of approximation error across algorithmic subroutines [1206.3348] [2106.05649] [2501.07387] [2503.09683].

## 1. Scope and problem formulations

AQC has no single canonical formulation. In one important line of work, the target is a single-qubit unitary and the output is a short sequence over a restricted universal set such as Clifford+\(T\), or the braid generators of Fibonacci anyons [1206.3348] [2501.01746]. In another, the target is a deep circuit or a target state, and the output is a shallower variational circuit compatible with a particular hardware layout, such as a brick-wall CNOT architecture or a nearest-neighbour 1D circuit [2501.07387] [2503.09683]. A further generalization treats approximation parameters themselves as compiler objects, so that synthesis error, Trotter error, approximate QFT error, and phase-estimation error are optimized jointly under a global accuracy constraint [2003.08408].

The variety of targets is central. Some works compile an arbitrary single-qubit \(U \in SU(2)\) up to global phase [1206.3348]. Some compile a target circuit \(U_{\rm target}\) into a shallower brick-wall circuit \(U_{\rm optim}\) with optimized one-qubit gates and CNOT layers [2501.07387]. Some compile a target MPS or a time-evolved tensor-network state into a short-depth preparation circuit [2301.08609] [2503.09683]. Some approximate the QPE unitary inside HHL because the exact circuit is too deep for NISQ hardware [2411.09123]. Some compile the state-preparation and payoff-encoding blocks used in amplitude-estimation circuits for energy risk analysis [2305.09501].

| Formulation | Target and constraints | Representative papers |
|---|---|---|
| Gate synthesis | Single-qubit unitary over Clifford+\(T\) or braids | [1206.3348], [2501.01746] |
| Variational circuit compression | Deep circuit to shallow brick-wall or CNOT-layout ansatz | [2106.05649], [2501.07387] |
| State compilation | MPS or target state to shallow preparation circuit | [2301.08609], [2503.09683] |
| Compiler-level approximation budgeting | Program with symbolic error parameters | [2003.08408] |
| Subroutine compression | QPE/HHL or amplitude-estimation blocks on NISQ hardware | [2411.09123], [2305.09501] |

This breadth corrects a common misconception: AQC is not only single-qubit gate synthesis. The papers collectively show that it also includes fixed-input state compilation, module-level compression, and accuracy-aware program compilation.

## 2. Metrics and objective functions

AQC is organized around explicit approximation metrics. In Fowler-style single-qubit compiling, the distance is the phase-insensitive trace metric
\[
\mathrm{dist}(U,U_l)=\sqrt{\frac{2-\left|\mathrm{tr}(UU_l^\dagger)\right|}{2}},
\]
which is invariant under global phase and obeys the triangle inequality [1206.3348]. In Fibonacci-anyon compiling, the paper uses the global-phase-invariant quantity
\[
d(U_0,U)=1-\frac{1}{2}\big|\mathrm{Tr}(U_0U^\dagger)\big|,
\]
again emphasizing phase insensitivity [2501.01746].

Variational circuit-compilation papers often use Frobenius or Hilbert–Schmidt objectives. “Best approximate quantum compiling” formulates the problem as
\[
\min_{V\in\mathcal{V}\subseteq SU(2^n)} \frac{1}{2}\|V-U\|_F^2,
\]
with \(\mathcal{V}\) determined by the allowed CNOT+rotation architecture and hardware connectivity; the same paper relates this cost to a lower bound on average gate fidelity [2106.05649]. “Sketching the Best Approximate Quantum Compiling Problem” uses the normalized form
\[
\frac{1}{2d}\|V-U\|_F^2 = 1-\frac{1}{d}\Re\langle V,U\rangle,
\]
with \(d=2^n\), and reports average gate fidelity
\[
\bar F(U,V)=\frac{1+\frac{1}{d}\left|\langle V,U\rangle\right|^2}{d+1}
\]
as the success criterion [2205.04025].

State-oriented AQC uses state fidelity directly. AQC-Tensor and ADAPT-AQC adopt
\[
C = 1-|\langle \tilde\psi_t|\psi_t\rangle|^2,
\]
while the Loschmidt-echo formulation in ADAPT-AQC rewrites the same objective as \(1-|\langle 0|\psi_n\rangle|^2\) [2503.09683]. The self-navigation algorithm uses Hilbert–Schmidt fidelity between unitaries,
\[
F=\left|\frac{\mathrm{Tr}(U^\dagger V)}{2}\right|^2,
\]
and sets the approximation parameter as \(\epsilon=1-F\) [2204.02555]. Deep-reinforcement-learning compiling uses average gate fidelity as the operative success criterion, with \(\bar F(\mathcal{U},U_n)\ge 0.99\) in the reported experiments [2105.15048]. Compiler-level symbolic resource estimation instead propagates operator-norm error bounds of the form \(\|U-V\|\le \varepsilon\) through the program structure [2003.08408].

No single metric dominates across the literature. This suggests that AQC is best understood as a constrained approximation program whose objective depends on the physical model, the synthesis task, and the downstream resource metric.

## 3. Search-based and synthesis-oriented methods

The earliest formulation in the present set is Fowler-style approximate compiling over a Steane-code-oriented Clifford+\(T\) library. There the target is a single-qubit unitary, the search space contains 25 non-identity elementary gates in Fowler’s representation, and the compiler enumerates sequences in canonical order while using a unique-sequence tree to skip redundant subtrees [1206.3348]. The 2012 optimization paper preserves the exponential worst-case scaling but introduces two constant-factor improvements: a meet-in-the-middle search using a middle structure of suffixes, and a modified Pauli-basis representation in which an \(SU(2)\) unitary is stored as a real four-vector and trace overlap becomes a dot product. The reported empirical gain is one to two orders of magnitude, and the \(\pi/6\) gate is compiled to Fowler distance \(6.8\times 10^{-5}\) in about 3 hours and 5 minutes with a 72-gate abstract sequence [1206.3348].

The Solovay–Kitaev line remains present, but several papers modify its practical core. The GA-enhanced SKA paper treats the 0-order approximation in Solovay–Kitaev as a search over braid words of Fibonacci anyons and replaces brute force by a genetic algorithm. In that setting, the reported distances \(5.8854870\times 10^{-7}\) for 2nd order with \(l_0=50\) and \(5.1994163\times 10^{-7}\) for 3rd order with \(l_0=30\) are used to argue that longer base searches can reduce final braid length at comparable precision [2501.01746]. By contrast, the deep-reinforcement-learning compiler treats single-qubit compiling as a Markov decision process, stores a policy in a neural network, and reports empirical sequence-length scaling close to \(\mathcal{O}(\log^{1.25}(1/\delta))\) on the tested task, rather than the larger exponents associated with standard Solovay–Kitaev implementations [2105.15048].

A distinct synthesis-oriented direction is “best approximate quantum compiling,” which recasts AQC as constrained mathematical programming over fixed CNOT+rotation templates. That paper studies smoothness, Hessian bounds, stationary points, and group-LASSO-style regularization for pruning whole CNOT units; among its concrete outcomes are a 14-CNOT 4-qubit Toffoli decomposition and the claim that Quantum Shannon Decomposition can be compressed by a factor of two without practical loss of fidelity [2106.05649]. “Sketching the Best Approximate Quantum Compiling Problem” keeps the same optimization viewpoint but introduces stochastic and sketch-and-solve variants; within roughly one hour it reports successful compilation of 9-qubit 27-CNOT, 12-qubit 24-CNOT, and 15-qubit 15-CNOT targets, whereas standard optimization in that setting does not scale beyond 9-qubit 9-CNOT circuits [2205.04025].

These papers collectively establish a central AQC tension: exhaustive or structure-aware search can be close to optimal at small scale, but scalability rapidly becomes the dominant issue.

## 4. Variational, learning-based, and tensor-network methods

Variational AQC replaces explicit search by a trainable ansatz and a differentiable or sample-based loss. In the reinforcement-learning formulation, the observation is the relative unitary \(O_n\) satisfying \(\mathcal{U}=U_n O_n\), the action space is the gate alphabet, and the reward is chosen either as a dense function of distance or as a sparse success signal with Hindsight Experience Replay for discrete efficiently universal bases [2105.15048]. The paper emphasizes the offline-training/online-compilation tradeoff: training is expensive, but after training the agent returns each gate in \(5.4\times 10^{-4}\,\mathrm{s}\) per time-step on a CPU core [2105.15048].

A hardware-aware single-qubit variant is the self-navigation algorithm. There the allowed controls are rotations about \(\pm z\) and a finite set of axes in the \(XY\)-plane realized through a transmon Hamiltonian with virtual \(Z\) gates. The algorithm iteratively chooses the allowed axis that maximizes the next-step fidelity improvement, and the reported pulse count and classical runtime both scale as \(\mathcal{O}[\log(1/\epsilon)]\) with small prefactors [2204.02555]. The paper’s central practical claim is that the overall rotation distance generated by the algorithm is significantly shorter than the standard \(U3\) gate, so the gate time can be shortened in weakly anharmonic systems [2204.02555].

Tensor-network-assisted AQC broadens the target class from gates to many-body states. AQCtensor introduces a global-optimization approach for producing short-depth circuits from MPS, tailored to time-evolved quantum many-body states, and claims constant depth in the number of qubits for fixed simulation time and fixed error tolerance; on 100-qubit simulation problems it reports at least an order-of-magnitude reduction in circuit depth relative to generic MPS-to-circuit methods [2301.08609]. “Variational preparation of normal matrix product states on quantum computers” develops ADAPT-AQC and a generalized initialization for AQC-Tensor. For a 50-site XXZ ground state with bond dimension \(\chi=14\), it reports fidelity \(0.98\) with CNOT depth 28 for ADAPT-AQC and CNOT depth 18 for AQC-Tensor, compared with depth 157 for the best truncated staircase method and 46,157 for the exact Schön circuit [2503.09683].

Barren plateaus form the main methodological controversy in variational AQC. “Escaping barren plateaus in approximate quantum compiling” shows that global cost functions can produce exponentially vanishing gradient variance, while localized costs based on explicit bit-flip expansions can improve trainability for both state preparation and unitary compilation [2210.09191]. This does not refute barren plateaus as a phenomenon; rather, it relocates the practical question to cost-function design and ansatz locality.

## 5. Hardware alignment and application domains

AQC is strongly hardware-conditioned. In fault-tolerant single-qubit compiling, the gate set is essentially Clifford+\(T\) on the Steane code, and minimizing \(T\)-count is central because \(T\) gates are costly [1206.3348]. In topological compiling, the primitives are braid generators \(\sigma_1,\sigma_2\) of Fibonacci anyons, and braid length directly measures physical exchange cost [2501.01746]. In superconducting control, the self-navigation method is built around a drift Hamiltonian \(H_q=-\frac{1}{2}\Delta \sigma_z\), a driven \(XY\)-plane control Hamiltonian, and the availability of virtual \(Z\) gates [2204.02555].

At the NISQ circuit level, approximate compiling is used as a depth-compression mechanism. “Efficient Quantum Circuit Compilation for Near-Term Quantum Advantage” compiles Ising time evolution, QFT, and Haar-random circuits into brick-wall CNOT layouts, defines \(F_{\rm all}=F_{\rm optim}F_{\rm noise}\), and reports a compression rate of \(12.5\) for \(N=12\) on IBM hardware; in numerical simulations up to \(N=30\), the optimal depth \(d_{\rm max}\) for maximal overall fidelity is reported to be independent of \(N\) [2501.07387]. The same paper also argues that compressibility is correlated with the rate of entanglement accumulation: critical Ising dynamics and QFT are compressible, whereas Haar-random circuits are much less so [2501.07387].

Application-specific subroutine compression appears in HHL-based and amplitude-estimation-based workflows. In the quantum multi-output Gaussian-process paper, AQC is applied to the QPE subroutine inside HHL, reducing circuit depth from “order of billions” to “order of few hundreds” and enabling a 13-qubit HHL circuit for a \(32\times 32\) kernel matrix inversion on IBM Auckland [2411.09123]. In energy risk analysis, piecewise AQC segments wide circuits into blocks on at most \(m\) qubits, applies AQC locally, and reinserts the approximate blocks. That work combines pAQC with Dynamic Amplitude Estimation, error mitigation, and IBM hardware experiments to compute expectation, VaR, and CVaR for energy portfolios [2305.09501].

## 6. Limitations, misconceptions, and open directions

The most persistent limitation is that better constants rarely remove the underlying hardness. Fowler’s compiler remains exponential in sequence length even after the meet-in-the-middle and basis-change optimizations [1206.3348]. Best-approximate and sketching formulations still face nonconvex landscapes and barren plateaus, even if sketching extends the reachable system size [2106.05649] [2205.04025]. The HHL/QPE application explicitly notes that AQC can fail to converge for high-dimensional \(U\in SU(2^n)\) because of barren plateau phenomena [2411.09123].

A second misconception is that approximate always means heuristic and uncontrolled. Several papers formulate explicit optimization problems with transparent error objectives: Frobenius-norm minimization over hardware-constrained circuit families [2106.05649], global program optimization under a specified error budget [2003.08408], or fidelity-based MPS compilation with a stopping tolerance [2503.09683]. What varies is not whether the approximation is specified, but which resource is held fixed: sequence length, CNOT depth, ansatz structure, or total program error.

A third recurring issue is task dependence. Some methods are highly specialized. Number-theoretic or braid-based approaches target special gate sets [2501.01746]. Self-navigation is a single-qubit control method for weakly anharmonic hardware [2204.02555]. AQCtensor and ADAPT-AQC rely on short-range-correlated normal MPS and 1D tensor-network efficiency [2301.08609] [2503.09683]. Brick-wall compression works well for Ising dynamics and QFT but not for Haar-random circuits [2501.07387]. This suggests that there is no basis-independent notion of “best” AQC outside a specified hardware and workload model.

Open directions in the cited literature are correspondingly diverse. They include multidimensional indexing and parallelism for exhaustive single-qubit synthesis [1206.3348], systematic mitigation of barren plateaus in classically assisted compiling [2210.09191], adaptive ansätze and better initialization for tensor-network state preparation [2503.09683], application-level error models for approximate HHL and kernel inversion [2411.09123], and compiler frameworks that jointly optimize synthesis precision, Trotter error, approximate QFT, and phase-estimation accuracy through symbolic resource estimation [2003.08408]. A plausible implication is that future AQC systems will remain heterogeneous: discrete search, variational optimization, tensor-network compression, and compiler-level error budgeting are likely to coexist rather than collapse into a single universal methodology.

Source: https://www.emergentmind.com/topics/approximate-quantum-compiling-aqc