2 papers
cs.CR2026
A Public-Key-Dependent Adversarial-Deletion Ceiling for Fixed-Alphabet Multi-Bit Pseudorandom Codes
Frederick Dehmel, Shilun Li
A pseudorandom code (PRC) is a keyed error-correcting code whose codewords are computationally indistinguishable from uniform strings. We study public-key PRCs over fixed alphabets…
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…