2026
CLM-QUANT-003314-1>= R >= 1 - 2 H2(delta) - 2 delta log2(3)LOWER BOUNDThe cited theorem establishes R >= 1 - 2 H2(delta) - 2 delta log2(3) under the recorded assumptions.Source: Good quantum error-correcting codes exist — Quantum Gilbert–Varshamov bound >= ↗
PROVEN