Classical Clifford+T Sampling without Computing Marginals
arXiv:2611.06119 · doi:10.4204/EPTCS.456.8
Abstract
We introduce a new exact classical sampling algorithm for Clifford+T circuits, called T-by-T sampling. For a circuit with T-count t, it reduces sampling to evaluating 2t amplitudes of circuits with successively increasing T-counts 1,2,...,t, without the need to compute costly marginal probabilities. Crucially, the number of amplitude evaluations is completely independent of the surrounding Clifford structure. This makes T-by-T sampling well suited for use together with low-rank stabiliser decompositions, which enable efficient amplitude evaluations as long as the T-count is not too high. In that sense, T-by-T sampling is an improvement over the gate-by-gate sampling technique introduced by Bravyi, Gosset, and Liu (Phys. Rev. Lett. 128, 2022), where the number of amplitudes instead scales with the number of non-monomial operations such as Hadamard gates, which can remain large even in circuits with low stabiliser rank. Concretely, T-by-T sampling offers significant speedups in regimes where T gates are embedded within large Clifford computations. This makes it well suited for applications such as simulating quantum error correction experiments, which typically have lower T complexity but involve extensive Clifford operations and measurements. In particular, we show how T-by-T sampling allows us to take samples from recent end-to-end magic state cultivation circuits with escape up to distance 19 in a couple of seconds.
arXiv commentIn Proceedings QPL 2026, arXiv:2611.04069
References in corpus (13)
- Improved Simulation of Stabilizer Circuits
- Stim: a fast stabilizer circuit simulator
- Improved classical simulation of quantum circuits dominated by Clifford gates
- Average-case complexity versus approximate simulation of commuting quantum computations
- Simulation of quantum circuits by low-rank stabilizer decompositions
- Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions
- Improved upper bounds on the stabilizer rank of magic states
- How to simulate quantum measurement without computing marginals
- Magic state cultivation: growing T states as cheap as CNOT gates
- Fast Classical Simulation of Quantum Circuits via Parametric Rewriting in the ZX-Calculus
- Efficient simulation of logical magic state preparation protocols
- Clifft: Fast Exact Simulation of Near-Clifford Quantum Circuits
- Simulating magic state cultivation with few Clifford terms