Upper Bounds for Binary and Spherical Codes
Prior state unknown→proved
exponential improvement over the 1977 MRRW bounds; the exact rate-distance trade-off remains open
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review