Partial Stabilizer Learning under Fixed Commuting Constraints and the Absence of a Copy-Rate Discount
quant-ph
Submitted: 2026-09-12
Updated: 2026-10-16
Comments: A Lean 4 formalization of our main theorem, Theorem 2.2, is available. The formalization, verification records, and reproducibility instructions are publicly available in release v1.0.0 of the accompanying repository: https://github.com/Imine20/Lean-formalization-for-stabilizer-state-identification/releases/tag/v1.0.0
Code: https://github.com/Imine20/Lean-formalization-for-stabilizer-state-identification
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Sources
- Shadow Tomography of Quantum States
- Improved quantum data analysis
- Triply efficient shadow tomography
- Dimension Independent and Computationally Efficient Shadow Tomography
- Predicting Many Properties of a Quantum System from Very Few Measurements
- Robust shadow estimation
- Measurements of Quantum Hamiltonians with Locally-Biased Classical Shadows
- Shallow shadows: Expectation estimation using low-depth random Clifford circuits
- Quantum Overlapping Tomography
- Nearly Optimal Measurement Scheduling for Partial Tomography of Quantum States
- Local quantum overlapping tomography
- Optimal Overlapping Tomography
- Learning stabilizer states by Bell sampling
- Single-copy stabilizer testing
- Optimal Stabilizer Testing and Learning with Limited Quantum Memory
- Gauss Sums in Algebra and Topology
- Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
Related papers
- Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
- Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
- Polynomial-time classical and quantum simulation of quantum impurity models
- A quasiparticle-protected superconducting qubit
- Theory of quantum-enhanced interferometry with general Markovian light sources
- A convergent hierarchy of spectral gap certificates for qubit Hamiltonians