2 papers
quant-ph2026
A Symplectic Proof of the Quantum Singleton Bound
Frederick Dehmel, Shilun Li
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-algebr…
cs.IT2025
A Deterministic Construction of a Large Distance Code from the Wozencraft Ensemble
Venkatesan Guruswami, Shilun Li
We present an explicit construction of a sequence of rate Wozencraft ensemble codes (over any fixed finite field ) that achieve minimum distance …