The distance amplification procedure of Alon, Edmonds, Luby showed how to transform any high rate code into one with near-optimal rate-distance tradeoff, which is essentially a local to global phenomenon for the distance of a code. We will see a similar local to global phenomenon for average-radius list decoding for the AEL procedure. This would give us codes which approach the generalized Singleton bound.
Based on https://arxiv.org/pdf/2502.07308 by Jeronimo, Mittal, Srivastava, Tulsiani.
