A Symplectic Proof of the Quantum Singleton Bound
Questo articolo presenta una dimostrazione algebrica basata sulla geometria simplettica e una formalizzazione in Lean4 del limite di Singleton quantistico per i codici di correzione d'errore stabilizzatori, derivando il vincolo attraverso argomenti di conteggio dimensionale che evitano l'uso di strumenti analitici complessi.