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

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

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