{"id":"arxiv/2603.19901","url":"https://arxiv.org/abs/2603.19901","tags":["quant-ph","cs.IT"],"score":0,"title":"SDP bounds on quantum codes: rational certificates","domain":"quant-ph","source":"arxiv","authors":["Gerard Anglès Munné","Felix Huber"],"reviews":0,"subject":"quant-ph","summary":"A fundamental problem in quantum coding theory is to determine the maximum size of quantum codes of given block length and distance. A recent work introduced bounds based on semidefinite programming, strengthening the well-known quantum linear programming bounds. However, floating-point inaccuracies prevent the extraction of rigorous non-existence proofs from the numerical methods. Here, we address this by providing rational infeasibility certificates for a range of quantum codes. Using a clustered low-rank solver with heuristic rounding to algebraic expressions, we can improve upon $18$…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-03-20","reactions":{}}