{"id":"arxiv/2609.33719","url":"https://arxiv.org/abs/2609.33719","tags":["cs.IT","math.CO"],"score":0,"title":"A proof of the Braun-Etzion-Vardy bound for binary subspace codes","domain":"cs.IT","source":"arxiv","authors":["Srikanth B. Pai"],"reviews":0,"subject":"cs.IT","summary":"The notion of a linear subspace code in a projective space was introduced by Braun, Etzion and Vardy (2013), who conjectured that a linear subspace code in the projective space has at most 2^n codewords. We resolve this conjecture. A novel character-theoretic argument is used to prove the conjecture and the proof is self-contained.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-27","reactions":{}}