Open Access
May 2014 Kolmogorov complexity and the asymptotic bound for error-correcting codes
Yuri Manin, Matilde Marcolli
J. Differential Geom. 97(1): 91-108 (May 2014). DOI: 10.4310/jdg/1404912104


The set of all error-correcting block codes over a fixed alphabet with $q$ letters determines a recursively enumerable set of rational points in the unit square with coordinates $(R, \delta):=$ (relative transmission rate, relative minimal distance). Limit points of this set form a closed subset, defined by $R \leq \alpha_q(\delta)$, where $\alpha_q(\delta)$ is a continuous decreasing function called the asymptotic bound. Its existence was proved by the first-named author in 1981 (Renormalization and computation I: Motivation and background), but no approaches to the computation of this function are known, and in A computability challenge: Asymptotic bounds and isolated errorcorrecting codes, it was even suggested that this function might be uncomputable in the sense of constructive analysis.

In this note we show that the asymptotic bound becomes computable with the assistance of an oracle producing codes in the order of their growing Kolmogorov complexity. Moreover, a natural partition function involving complexity allows us to interpret the asymptotic bound as a curve dividing two different thermodynamic phases of codes.


Download Citation

Yuri Manin. Matilde Marcolli. "Kolmogorov complexity and the asymptotic bound for error-correcting codes." J. Differential Geom. 97 (1) 91 - 108, May 2014.


Published: May 2014
First available in Project Euclid: 9 July 2014

zbMATH: 1318.94116
MathSciNet: MR3229051
Digital Object Identifier: 10.4310/jdg/1404912104

Rights: Copyright © 2014 Lehigh University

Vol.97 • No. 1 • May 2014
Back to Top