{"id":"arxiv/2602.20186","url":"https://arxiv.org/abs/2602.20186","tags":["quant-ph","cs.IT"],"score":0,"title":"A Symplectic Proof of the Quantum Singleton Bound","domain":"quant-ph","source":"arxiv","authors":["Frederick Dehmel","Shilun Li"],"reviews":0,"subject":"quant-ph","summary":"We present a symplectic linear-algebraic proof of the Quantum Singleton Bound for stabiliser quantum error-correcting codes together with a Lean4 formalisation of the linear-algebraic argument. The proof is formulated in the language of finite-dimensional symplectic vector spaces modelling Pauli operators and relies on distance-based erasure correctability and the cleaning lemma. Using a dimension-counting argument within the symplectic stabiliser framework, we derive the bound $k + 2(d-1) \\le n$ for any $[[n, k, d]]$ stabiliser code. This approach isolates the algebraic structure underlying…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-02-21","reactions":{}}