Showing 1–11 of 11 results for author: Manin, Y I

Geometry of Information: classical and quantum aspects

Authors: Noemie Combe, Yuri I. Manin, Matilde Marcolli

Abstract: In this article, we describe various aspects of categorification of the structures appearing in information theory. These aspects include probabilistic models both of classical and quantum physics, emergence of F-manifolds, and motivic enrichments. In this article, we describe various aspects of categorification of the structures appearing in information theory. These aspects include probabilistic models both of classical and quantum physics, emergence of F-manifolds, and motivic enrichments. △ Less

Submitted 11 August, 2021; v1 submitted 16 July, 2021; originally announced July 2021.

Comments: LaTeX, 40 pages

MSC Class: 14G10; 18F30; 55R99

Moufang Patterns and Geometry of Information

Authors: Noemie Combe, Yuri I. Manin, Matilde Marcolli

Abstract: Technology of data collection and information transmission is based on various mathematical models of encoding. The words "Geometry of information" refer to such models, whereas the words "Moufang patterns" refer to various sophisticated symmetries appearing naturally in such models. In this paper we show that the symmetries of spaces of probability distributions, endowed with their canonical Riem… ▽ More Technology of data collection and information transmission is based on various mathematical models of encoding. The words "Geometry of information" refer to such models, whereas the words "Moufang patterns" refer to various sophisticated symmetries appearing naturally in such models. In this paper we show that the symmetries of spaces of probability distributions, endowed with their canonical Riemannian metric of information geometry, have the structure of a commutative Moufang loop. We also show that the F-manifold structure on the space of probability distribution can be described in terms of differential 3-webs and Malcev algebras. We then present a new construction of (noncommutative) Moufang loops associated to almost-symplectic structures over finite fields, and use then to construct a new class of code loops with associated quantum error-correcting codes and networks of perfect tensors. △ Less

Submitted 2 March, 2022; v1 submitted 15 July, 2021; originally announced July 2021.

Comments: amstex, 42 pages

MSC Class: 53D45; 62B10

Asymptotic bounds for spherical codes

Authors: Yuri I. Manin, Matilde Marcolli

Abstract: The set of all error-correcting codes C over a fixed finite alphabet F of cardinality q determines the set of code points in the unit square with coordinates (R(C), delta (C)):= (relative transmission rate, relative minimal distance). The central problem of the theory of such codes consists in maximizing simultaneously the transmission rate of the code and the relative minimum Hamming distance bet… ▽ More The set of all error-correcting codes C over a fixed finite alphabet F of cardinality q determines the set of code points in the unit square with coordinates (R(C), delta (C)):= (relative transmission rate, relative minimal distance). The central problem of the theory of such codes consists in maximizing simultaneously the transmission rate of the code and the relative minimum Hamming distance between two different code words. The classical approach to this problem explored in vast literature consists in the inventing explicit constructions of "good codes" and comparing new classes of codes with earlier ones. Less classical approach studies the geometry of the whole set of code points (R,delta) (with q fixed), at first independently of its computability properties, and only afterwords turning to the problems of computability, analogies with statistical physics etc. The main purpose of this article consists in extending this latter strategy to domain of spherical codes. △ Less

Submitted 4 January, 2018; originally announced January 2018.

Comments: 34 pages amstex, 3 figures

MSC Class: 94B60; 94B65

Cognitive networks: brains, internet, and civilizations

Authors: Dmitrii Yu. Manin, Yuri I. Manin

Abstract: In this short essay, we discuss some basic features of cognitive activity at several different space-time scales: from neural networks in the brain to civilizations. One motivation for such comparative study is its heuristic value. Attempts to better understand the functioning of "wetware" involved in cognitive activities of central nervous system by comparing it with a computing device have a lon… ▽ More In this short essay, we discuss some basic features of cognitive activity at several different space-time scales: from neural networks in the brain to civilizations. One motivation for such comparative study is its heuristic value. Attempts to better understand the functioning of "wetware" involved in cognitive activities of central nervous system by comparing it with a computing device have a long tradition. We suggest that comparison with Internet might be more adequate. We briefly touch upon such subjects as encoding, compression, and Saussurean trichotomy langue/langage/parole in various environments. △ Less

Submitted 10 September, 2017; originally announced September 2017.

Comments: 16 pages

MSC Class: 68M10; 62M45; 97C30

Complexity vs Energy: Theory of Computation and Theoretical Physics

Authors: Yuri I. Manin

Abstract: This paper is a survey dedicated to the analogy between the notions of {\it complexity} in theoretical computer science and {\it energy} in physics. This analogy is not metaphorical: I describe three precise mathematical contexts, suggested recently, in which mathematics related to (un)computability is inspired by and to a degree reproduces formalisms of statistical physics and quantum field theor… ▽ More This paper is a survey dedicated to the analogy between the notions of {\it complexity} in theoretical computer science and {\it energy} in physics. This analogy is not metaphorical: I describe three precise mathematical contexts, suggested recently, in which mathematics related to (un)computability is inspired by and to a degree reproduces formalisms of statistical physics and quantum field theory. △ Less

Submitted 27 February, 2013; originally announced February 2013.

Comments: 23 pages. Talk at the satellite conference to ECM 2012, "QQQ Algebra, Geometry, Information", Tallinn, July 9-12, 2012

MSC Class: 68Q05; 68Q12; 68Q25

Zipf's law and L. Levin's probability distributions

Authors: Yuri I. Manin

Abstract: Zipf's law in its basic incarnation is an empirical probability distribution governing the frequency of usage of words in a language. As Terence Tao recently remarked, it still lacks a convincing and satisfactory mathematical explanation. In this paper I suggest that at least in certain situations, Zipf's law can be explained as a special case of the a priori distribution introduced and studied… ▽ More Zipf's law in its basic incarnation is an empirical probability distribution governing the frequency of usage of words in a language. As Terence Tao recently remarked, it still lacks a convincing and satisfactory mathematical explanation. In this paper I suggest that at least in certain situations, Zipf's law can be explained as a special case of the a priori distribution introduced and studied by L. Levin. The Zipf ranking corresponding to diminishing probability appears then as the ordering determined by the growing Kolmogorov complexity. One argument justifying this assertion is the appeal to a recent interpretation by Yu. Manin and M. Marcolli of asymptotic bounds for error--correcting codes in terms of phase transition. In the respective partition function, Kolmogorov complexity of a code plays the role of its energy. This version contains minor corrections and additions. △ Less

Submitted 28 April, 2013; v1 submitted 3 January, 2013; originally announced January 2013.

Comments: 19 pages

MSC Class: 97M99

Kolmogorov complexity and the asymptotic bound for error-correcting codes

Authors: Yuri I. Manin, Matilde Marcolli

Abstract: 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,δ)$:= (relative transmission rate, relative minimal distance). Limit points of this set form a closed subset, defined by $R\le α_q(δ)$, where $α_q(δ)$ is a continuous decreasing function called asymptotic bound. Its e… ▽ More 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,δ)$:= (relative transmission rate, relative minimal distance). Limit points of this set form a closed subset, defined by $R\le α_q(δ)$, where $α_q(δ)$ is a continuous decreasing function called asymptotic bound. Its existence was proved by the first--named author in 1981 ([Man1]), but no approaches to the computation of this function are known, and in [Man5] 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. △ Less

Submitted 17 December, 2012; v1 submitted 3 March, 2012; originally announced March 2012.

Comments: Typos corrected, dedication added. 21 pages

MSC Class: 94B65; 82B26

A computability challenge: asymptotic bounds and isolated error-correcting codes

Authors: Yuri I. Manin

Abstract: Consider the set of all error--correcting block codes over a fixed alphabet with $q$ letters. It determines a recursively enumerable set of points in the unit square with coordinates $(R,δ)$:= {\it (relative transmission rate, relative minimal distance).} Limit points of this set form a closed subset, defined by $R\le α_q(δ)$, where $α_q(δ)$ is a continuous decreasing function called {\it asymptot… ▽ More Consider the set of all error--correcting block codes over a fixed alphabet with $q$ letters. It determines a recursively enumerable set of points in the unit square with coordinates $(R,δ)$:= {\it (relative transmission rate, relative minimal distance).} Limit points of this set form a closed subset, defined by $R\le α_q(δ)$, where $α_q(δ)$ is a continuous decreasing function called {\it asymptotic bound.} Its existence was proved by the author in 1981, but all attempts to find an explicit formula for it so far failed. In this note I consider the question whether this function is computable in the sense of constructive mathematics, and discuss some arguments suggesting that the answer might be negative. △ Less

Submitted 21 July, 2011; originally announced July 2011.

Comments: 11 pages

MSC Class: 94 B27

Error-correcting codes and phase transitions

Authors: Yuri I. Manin, Matilde Marcolli

Abstract: The theory of error-correcting codes is concerned with constructing codes that optimize simultaneously transmission rate and relative minimum distance. These conflicting requirements determine an asymptotic bound, which is a continuous curve in the space of parameters. The main goal of this paper is to relate the asymptotic bound to phase diagrams of quantum statistical mechanical systems. We fi… ▽ More The theory of error-correcting codes is concerned with constructing codes that optimize simultaneously transmission rate and relative minimum distance. These conflicting requirements determine an asymptotic bound, which is a continuous curve in the space of parameters. The main goal of this paper is to relate the asymptotic bound to phase diagrams of quantum statistical mechanical systems. We first identify the code parameters with Hausdorff and von Neumann dimensions, by considering fractals consisting of infinite sequences of code words. We then construct operator algebras associated to individual codes. These are Toeplitz algebras with a time evolution for which the KMS state at critical temperature gives the Hausdorff measure on the corresponding fractal. We extend this construction to algebras associated to limit points of codes, with non-uniform multi-fractal measures, and to tensor products over varying parameters. △ Less

Submitted 27 October, 2009; originally announced October 2009.

Comments: amstex 57 pages, 3 eps figures

Renormalization and Computation II: Time Cut-off and the Halting Problem

Authors: Yuri I. Manin

Abstract: This is the second installment to the project initiated in [Ma3]. In the first Part, I argued that both philosophy and technique of the perturbative renormalization in quantum field theory could be meaningfully transplanted to the theory of computation, and sketched several contexts supporting this view. In this second part, I address some of the issues raised in [Ma3] and provide their develo… ▽ More This is the second installment to the project initiated in [Ma3]. In the first Part, I argued that both philosophy and technique of the perturbative renormalization in quantum field theory could be meaningfully transplanted to the theory of computation, and sketched several contexts supporting this view. In this second part, I address some of the issues raised in [Ma3] and provide their development in three contexts: a categorification of the algorithmic computations; time cut--off and Anytime Algorithms; and finally, a Hopf algebra renormalization of the Halting Problem. △ Less

Submitted 24 August, 2009; originally announced August 2009.

Comments: 28 pages

MSC Class: 81T15; 68Q10; 68Q25

Renormalization and computation I: motivation and background

Authors: Yuri I. Manin

Abstract: In this paper I argue that infinities in the classical computation theory such as the unsolvability of the Halting Problem can be addressed in the same way as Feynman divergences in Quantum Field Theory, and that meaningful versions of renormalization in this context can be devised. Connections with quantum computation are also touched upon. In this paper I argue that infinities in the classical computation theory such as the unsolvability of the Halting Problem can be addressed in the same way as Feynman divergences in Quantum Field Theory, and that meaningful versions of renormalization in this context can be devised. Connections with quantum computation are also touched upon. △ Less

Submitted 25 August, 2009; v1 submitted 30 April, 2009; originally announced April 2009.

Comments: 49 pages, 1 figure In the new version typos are fixed, minor corrections made, dedication added, reference to Part II added

MSC Class: 81T15; 68Q10; 68Q25