-
Syntax-semantics interface: an algebraic model
Authors:
Matilde Marcolli,
Robert C. Berwick,
Noam Chomsky
Abstract:
We extend our formulation of Merge and Minimalism in terms of Hopf algebras to an algebraic model of a syntactic-semantic interface. We show that methods adopted in the formulation of renormalization (extraction of meaningful physical values) in theoretical physics are relevant to describe the extraction of meaning from syntactic expressions. We show how this formulation relates to computational m…
▽ More
We extend our formulation of Merge and Minimalism in terms of Hopf algebras to an algebraic model of a syntactic-semantic interface. We show that methods adopted in the formulation of renormalization (extraction of meaningful physical values) in theoretical physics are relevant to describe the extraction of meaning from syntactic expressions. We show how this formulation relates to computational models of semantics and we answer some recent controversies about implications for generative linguistics of the current functioning of large language models.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
Gabor frames and higher dimensional boundaries in signal analysis on manifolds
Authors:
Vasiliki Liontou,
Matilde Marcolli
Abstract:
We provide a construction of Gabor frames that encode local linearizations of a signal detected on a curved smooth manifold of arbitrary dimension, with Gabor filters that can detect the presence of higher-dimensional boundaries in the manifold signal. We describe an application in configuration spaces in robotics with sharp constrains. The construction is a higher-dimensional generalization of th…
▽ More
We provide a construction of Gabor frames that encode local linearizations of a signal detected on a curved smooth manifold of arbitrary dimension, with Gabor filters that can detect the presence of higher-dimensional boundaries in the manifold signal. We describe an application in configuration spaces in robotics with sharp constrains. The construction is a higher-dimensional generalization of the geometric setting developed for the study of signal analysis in the visual cortex.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Old and New Minimalism: a Hopf algebra comparison
Authors:
Matilde Marcolli,
Robert C. Berwick,
Noam Chomsky
Abstract:
In this paper we compare some old formulations of Minimalism, in particular Stabler's computational minimalism, and Chomsky's new formulation of Merge and Minimalism, from the point of view of their mathematical description in terms of Hopf algebras. We show that the newer formulation has a clear advantage purely in terms of the underlying mathematical structure. More precisely, in the case of Sta…
▽ More
In this paper we compare some old formulations of Minimalism, in particular Stabler's computational minimalism, and Chomsky's new formulation of Merge and Minimalism, from the point of view of their mathematical description in terms of Hopf algebras. We show that the newer formulation has a clear advantage purely in terms of the underlying mathematical structure. More precisely, in the case of Stabler's computational minimalism, External Merge can be described in terms of a partially defined operated algebra with binary operation, while Internal Merge determines a system of right-ideal coideals of the Loday-Ronco Hopf algebra and corresponding right-module coalgebra quotients. This mathematical structure shows that Internal and External Merge have significantly different roles in the old formulations of Minimalism, and they are more difficult to reconcile as facets of a single algebraic operation, as desirable linguistically. On the other hand, we show that the newer formulation of Minimalism naturally carries a Hopf algebra structure where Internal and External Merge directly arise from the same operation. We also compare, at the level of algebraic properties, the externalization model of the new Minimalism with proposals for assignments of planar embeddings based on heads of trees.
△ Less
Submitted 17 June, 2023;
originally announced June 2023.
-
Mathematical Structure of Syntactic Merge
Authors:
Matilde Marcolli,
Noam Chomsky,
Robert Berwick
Abstract:
The syntactic Merge operation of the Minimalist Program in linguistics can be described mathematically in terms of Hopf algebras, with a formalism similar to the one arising in the physics of renormalization. This mathematical formulation of Merge has good descriptive power, as phenomena empirically observed in linguistics can be justified from simple mathematical arguments. It also provides a pos…
▽ More
The syntactic Merge operation of the Minimalist Program in linguistics can be described mathematically in terms of Hopf algebras, with a formalism similar to the one arising in the physics of renormalization. This mathematical formulation of Merge has good descriptive power, as phenomena empirically observed in linguistics can be justified from simple mathematical arguments. It also provides a possible mathematical model for externalization and for the role of syntactic parameters.
△ Less
Submitted 29 May, 2023;
originally announced May 2023.
-
Computability questions in the sphere packing problem
Authors:
Yuri Manin,
Matilde Marcolli
Abstract:
We consider the sets of dimensions for which there is an optimal sphere packing with special regularity properties (respectively, a lattice, or a periodic set with a given bound on the number of translations, or an arbitrary periodic set). We show that all these sets are oracle-computable, given an oracle that orders an associated set of spherical codes by increasing Kolmogorov complexity.
We consider the sets of dimensions for which there is an optimal sphere packing with special regularity properties (respectively, a lattice, or a periodic set with a given bound on the number of translations, or an arbitrary periodic set). We show that all these sets are oracle-computable, given an oracle that orders an associated set of spherical codes by increasing Kolmogorov complexity.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Quantum Operads
Authors:
Noemie Combe,
Yuri Manin,
Matilde Marcolli
Abstract:
The most standard description of symmetries of a mathematical structure produces a group. However, when the definition of this structure is motivated by physics, or information theory, etc., the respective symmetry objects might become more sophisticated: quasigroups, loops, quantum groups, ... In this paper, we introduce and study quantum symmetries of very general categorical structures: operads…
▽ More
The most standard description of symmetries of a mathematical structure produces a group. However, when the definition of this structure is motivated by physics, or information theory, etc., the respective symmetry objects might become more sophisticated: quasigroups, loops, quantum groups, ... In this paper, we introduce and study quantum symmetries of very general categorical structures: operads. Its initial motivation were spaces of probability distributions on finite sets. We also investigate here how structures of quantum information, such as quantum states and some constructions of quantum codes are algebras over operads.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
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.
-
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.
-
Syntactic structures and the general Markov models
Authors:
Sitanshu Gakkhar,
Matilde Marcolli
Abstract:
We study phylogenetic signal present in syntactic information by considering the syntactic structures data from Longobardi (2017b), Collins (2010), Ceolin et al. (2020) and Koopman (2011). Focusing first on the general Markov models, we explore how well the the syntactic structures data conform to the hypothesis required by these models. We do this by comparing derived phylogenetic trees against t…
▽ More
We study phylogenetic signal present in syntactic information by considering the syntactic structures data from Longobardi (2017b), Collins (2010), Ceolin et al. (2020) and Koopman (2011). Focusing first on the general Markov models, we explore how well the the syntactic structures data conform to the hypothesis required by these models. We do this by comparing derived phylogenetic trees against trees agreed on by the linguistics community. We then interpret the methods of Ceolin et al. (2020) as an infinite sites evolutionary model and compare the consistency of the data with this alternative. The ideas and methods discussed in the present paper are more generally applicable than to the specific setting of syntactic structures, and can be used in other contexts, when analyzing consistency of data with against hypothesized evolutionary models.
△ Less
Submitted 18 October, 2022; v1 submitted 17 April, 2021;
originally announced April 2021.
-
Homotopy Theoretic and Categorical Models of Neural Information Networks
Authors:
Yuri Manin,
Matilde Marcolli
Abstract:
In this paper we develop a novel mathematical formalism for the modeling of neural information networks endowed with additional structure in the form of assignments of resources, either computational or metabolic or informational. The starting point for this construction is the notion of summing functors and of Segal's Gamma-spaces in homotopy theory. The main results in this paper include functor…
▽ More
In this paper we develop a novel mathematical formalism for the modeling of neural information networks endowed with additional structure in the form of assignments of resources, either computational or metabolic or informational. The starting point for this construction is the notion of summing functors and of Segal's Gamma-spaces in homotopy theory. The main results in this paper include functorial assignments of concurrent/distributed computing architectures and associated binary codes to networks and their subsystems, a categorical form of the Hopfield network dynamics, which recovers the usual Hopfield equations when applied to a suitable category of weighted codes, a functorial assignment to networks of corresponding information structures and information cohomology, and a cohomological version of integrated information.
△ Less
Submitted 5 September, 2024; v1 submitted 23 June, 2020;
originally announced June 2020.
-
Topological Analysis of Syntactic Structures
Authors:
Alexander Port,
Taelin Karidi,
Matilde Marcolli
Abstract:
We use the persistent homology method of topological data analysis and dimensional analysis techniques to study data of syntactic structures of world languages. We analyze relations between syntactic parameters in terms of dimensionality, of hierarchical clustering structures, and of non-trivial loops. We show there are relations that hold across language families and additional relations that are…
▽ More
We use the persistent homology method of topological data analysis and dimensional analysis techniques to study data of syntactic structures of world languages. We analyze relations between syntactic parameters in terms of dimensionality, of hierarchical clustering structures, and of non-trivial loops. We show there are relations that hold across language families and additional relations that are family-specific. We then analyze the trees describing the merging structure of persistent connected components for languages in different language families and we show that they partly correlate to historical phylogenetic trees but with significant differences. We also show the existence of interesting non-trivial persistent first homology groups in various language families. We give examples where explicit generators for the persistent first homology can be identified, some of which appear to correspond to homoplasy phenomena, while others may have an explanation in terms of historical linguistics, corresponding to known cases of syntactic borrowing across different language subfamilies.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
Gamma Spaces and Information
Authors:
Matilde Marcolli
Abstract:
We investigate the role of Segal's Gamma-spaces in the context of classical and quantum information, based on categories of finite probabilities with stochastic maps and density matrices with quantum channels. The information loss functional extends to the setting of probabilistic Gamma-spaces considered here. The Segal construction of connective spectra from Gamma-spaces can be used in this setti…
▽ More
We investigate the role of Segal's Gamma-spaces in the context of classical and quantum information, based on categories of finite probabilities with stochastic maps and density matrices with quantum channels. The information loss functional extends to the setting of probabilistic Gamma-spaces considered here. The Segal construction of connective spectra from Gamma-spaces can be used in this setting to obtain spectra associated to certain categories of gapped systems.
△ Less
Submitted 13 July, 2018;
originally announced July 2018.
-
Heat Kernel analysis of Syntactic Structures
Authors:
Andrew Ortegaray,
Robert C. Berwick,
Matilde Marcolli
Abstract:
We consider two different data sets of syntactic parameters and we discuss how to detect relations between parameters through a heat kernel method developed by Belkin-Niyogi, which produces low dimensional representations of the data, based on Laplace eigenfunctions, that preserve neighborhood information. We analyze the different connectivity and clustering structures that arise in the two datase…
▽ More
We consider two different data sets of syntactic parameters and we discuss how to detect relations between parameters through a heat kernel method developed by Belkin-Niyogi, which produces low dimensional representations of the data, based on Laplace eigenfunctions, that preserve neighborhood information. We analyze the different connectivity and clustering structures that arise in the two datasets, and the regions of maximal variance in the two-parameter space of the Belkin-Niyogi construction, which identify preferable choices of independent variables. We compute clustering coefficients and their variance.
△ Less
Submitted 26 March, 2018;
originally announced March 2018.
-
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.
-
Phylogenetics of Indo-European Language families via an Algebro-Geometric Analysis of their Syntactic Structures
Authors:
Kevin Shu,
Andrew Ortegaray,
Robert Berwick,
Matilde Marcolli
Abstract:
Using Phylogenetic Algebraic Geometry, we analyze computationally the phylogenetic tree of subfamilies of the Indo-European language family, using data of syntactic structures. The two main sources of syntactic data are the SSWL database and Longobardi's recent data of syntactic parameters. We compute phylogenetic invariants and likelihood functions for two sets of Germanic languages, a set of Rom…
▽ More
Using Phylogenetic Algebraic Geometry, we analyze computationally the phylogenetic tree of subfamilies of the Indo-European language family, using data of syntactic structures. The two main sources of syntactic data are the SSWL database and Longobardi's recent data of syntactic parameters. We compute phylogenetic invariants and likelihood functions for two sets of Germanic languages, a set of Romance languages, a set of Slavic languages and a set of early Indo-European languages, and we compare the results with what is known through historical linguistics.
△ Less
Submitted 24 June, 2019; v1 submitted 5 December, 2017;
originally announced December 2017.
-
Syntactic Structures and Code Parameters
Authors:
Kevin Shu,
Matilde Marcolli
Abstract:
We assign binary and ternary error-correcting codes to the data of syntactic structures of world languages and we study the distribution of code points in the space of code parameters. We show that, while most codes populate the lower region approximating a superposition of Thomae functions, there is a substantial presence of codes above the Gilbert-Varshamov bound and even above the asymptotic bo…
▽ More
We assign binary and ternary error-correcting codes to the data of syntactic structures of world languages and we study the distribution of code points in the space of code parameters. We show that, while most codes populate the lower region approximating a superposition of Thomae functions, there is a substantial presence of codes above the Gilbert-Varshamov bound and even above the asymptotic bound and the Plotkin bound. We investigate the dynamics induced on the space of code parameters by spin glass models of language change, and show that, in the presence of entailment relations between syntactic parameters the dynamics can sometimes improve the code. For large sets of languages and syntactic data, one can gain information on the spin glass dynamics from the induced dynamics in the space of code parameters.
△ Less
Submitted 2 October, 2016;
originally announced October 2016.
-
Syntactic Phylogenetic Trees
Authors:
Kevin Shu,
Sharjeel Aziz,
Vy-Luan Huynh,
David Warrick,
Matilde Marcolli
Abstract:
In this paper we identify several serious problems that arise in the use of syntactic data from the SSWL database for the purpose of computational phylogenetic reconstruction. We show that the most naive approach fails to produce reliable linguistic phylogenetic trees. We identify some of the sources of the observed problems and we discuss how they may be, at least partly, corrected by using addit…
▽ More
In this paper we identify several serious problems that arise in the use of syntactic data from the SSWL database for the purpose of computational phylogenetic reconstruction. We show that the most naive approach fails to produce reliable linguistic phylogenetic trees. We identify some of the sources of the observed problems and we discuss how they may be, at least partly, corrected by using additional information, such as prior subdivision into language families and subfamilies, and a better use of the information about ancient languages. We also describe how the use of phylogenetic algebraic geometry can help in estimating to what extent the probability distribution at the leaves of the phylogenetic tree obtained from the SSWL data can be considered reliable, by testing it on phylogenetic trees established by other forms of linguistic analysis. In simple examples, we find that, after restricting to smaller language subfamilies and considering only those SSWL parameters that are fully mapped for the whole subfamily, the SSWL data match extremely well reliable phylogenetic trees, according to the evaluation of phylogenetic invariants. This is a promising sign for the use of SSWL data for linguistic phylogenetics.
△ Less
Submitted 10 July, 2016;
originally announced July 2016.
-
Semantic Spaces
Authors:
Yuri Manin,
Matilde Marcolli
Abstract:
Any natural language can be considered as a tool for producing large databases (consisting of texts, written, or discursive). This tool for its description in turn requires other large databases (dictionaries, grammars etc.). Nowadays, the notion of database is associated with computer processing and computer memory. However, a natural language resides also in human brains and functions in human c…
▽ More
Any natural language can be considered as a tool for producing large databases (consisting of texts, written, or discursive). This tool for its description in turn requires other large databases (dictionaries, grammars etc.). Nowadays, the notion of database is associated with computer processing and computer memory. However, a natural language resides also in human brains and functions in human communication, from interpersonal to intergenerational one. We discuss in this survey/research paper mathematical, in particular geometric, constructions, which help to bridge these two worlds. In particular, in this paper we consider the Vector Space Model of semantics based on frequency matrices, as used in Natural Language Processing. We investigate underlying geometries, formulated in terms of Grassmannians, projective spaces, and flag varieties. We formulate the relation between vector space models and semantic spaces based on semic axes in terms of projectability of subvarieties in Grassmannians and projective spaces. We interpret Latent Semantics as a geometric flow on Grassmannians. We also discuss how to formulate Gärdenfors' notion of "meeting of minds" in our geometric setting.
△ Less
Submitted 13 May, 2016;
originally announced May 2016.
-
Prevalence and recoverability of syntactic parameters in sparse distributed memories
Authors:
Jeong Joon Park,
Ronnel Boettcher,
Andrew Zhao,
Alex Mun,
Kevin Yuh,
Vibhor Kumar,
Matilde Marcolli
Abstract:
We propose a new method, based on Sparse Distributed Memory (Kanerva Networks), for studying dependency relations between different syntactic parameters in the Principles and Parameters model of Syntax. We store data of syntactic parameters of world languages in a Kanerva Network and we check the recoverability of corrupted parameter data from the network. We find that different syntactic paramete…
▽ More
We propose a new method, based on Sparse Distributed Memory (Kanerva Networks), for studying dependency relations between different syntactic parameters in the Principles and Parameters model of Syntax. We store data of syntactic parameters of world languages in a Kanerva Network and we check the recoverability of corrupted parameter data from the network. We find that different syntactic parameters have different degrees of recoverability. We identify two different effects: an overall underlying relation between the prevalence of parameters across languages and their degree of recoverability, and a finer effect that makes some parameters more easily recoverable beyond what their prevalence would indicate. We interpret a higher recoverability for a syntactic parameter as an indication of the existence of a dependency relation, through which the given parameter can be determined using the remaining uncorrupted data.
△ Less
Submitted 21 October, 2015;
originally announced October 2015.
-
Spin Glass Models of Syntax and Language Evolution
Authors:
Karthik Siva,
Jim Tao,
Matilde Marcolli
Abstract:
Using the SSWL database of syntactic parameters of world languages, and the MIT Media Lab data on language interactions, we construct a spin glass model of language evolution. We treat binary syntactic parameters as spin states, with languages as vertices of a graph, and assigned interaction energies along the edges. We study a rough model of syntax evolution, under the assumption that a strong in…
▽ More
Using the SSWL database of syntactic parameters of world languages, and the MIT Media Lab data on language interactions, we construct a spin glass model of language evolution. We treat binary syntactic parameters as spin states, with languages as vertices of a graph, and assigned interaction energies along the edges. We study a rough model of syntax evolution, under the assumption that a strong interaction energy tends to cause parameters to align, as in the case of ferromagnetic materials. We also study how the spin glass model needs to be modified to account for entailment relations between syntactic parameters. This modification leads naturally to a generalization of Potts models with external magnetic field, which consists of a coupling at the vertices of an Ising model and a Potts model with q=3, that have the same edge interactions. We describe the results of simulations of the dynamics of these models, in different temperature and energy regimes. We discuss the linguistic interpretation of the parameters of the physical model.
△ Less
Submitted 31 July, 2015;
originally announced August 2015.
-
Persistent Topology of Syntax
Authors:
Alexander Port,
Iulia Gheorghita,
Daniel Guth,
John M. Clark,
Crystal Liang,
Shival Dasu,
Matilde Marcolli
Abstract:
We study the persistent homology of the data set of syntactic parameters of the world languages. We show that, while homology generators behave erratically over the whole data set, non-trivial persistent homology appears when one restricts to specific language families. Different families exhibit different persistent homology. We focus on the cases of the Indo-European and the Niger-Congo families…
▽ More
We study the persistent homology of the data set of syntactic parameters of the world languages. We show that, while homology generators behave erratically over the whole data set, non-trivial persistent homology appears when one restricts to specific language families. Different families exhibit different persistent homology. We focus on the cases of the Indo-European and the Niger-Congo families, for which we compare persistent homology over different cluster filtering values. We investigate the possible significance, in historical linguistic terms, of the presence of persistent generators of the first homology. In particular, we show that the persistent first homology generator we find in the Indo-European family is not due (as one might guess) to the Anglo-Norman bridge in the Indo-European phylogenetic network, but is related to the position of Ancient Greek and the Hellenic branch within the network.
△ Less
Submitted 17 July, 2015;
originally announced July 2015.
-
Graph Grammars, Insertion Lie Algebras, and Quantum Field Theory
Authors:
Matilde Marcolli,
Alexander Port
Abstract:
Graph grammars extend the theory of formal languages in order to model distributed parallelism in theoretical computer science. We show here that to certain classes of context-free and context-sensitive graph grammars one can associate a Lie algebra, whose structure is reminiscent of the insertion Lie algebras of quantum field theory. We also show that the Feynman graphs of quantum field theories…
▽ More
Graph grammars extend the theory of formal languages in order to model distributed parallelism in theoretical computer science. We show here that to certain classes of context-free and context-sensitive graph grammars one can associate a Lie algebra, whose structure is reminiscent of the insertion Lie algebras of quantum field theory. We also show that the Feynman graphs of quantum field theories are graph languages generated by a theory dependent graph grammar.
△ Less
Submitted 26 February, 2015;
originally announced February 2015.
-
Principles and Parameters: a coding theory perspective
Authors:
Matilde Marcolli
Abstract:
We propose an approach to Longobardi's parametric comparison method (PCM) via the theory of error-correcting codes. One associates to a collection of languages to be analyzed with the PCM a binary (or ternary) code with one code words for each language in the family and each word consisting of the binary values of the syntactic parameters of the language, with the ternary case allowing for an addi…
▽ More
We propose an approach to Longobardi's parametric comparison method (PCM) via the theory of error-correcting codes. One associates to a collection of languages to be analyzed with the PCM a binary (or ternary) code with one code words for each language in the family and each word consisting of the binary values of the syntactic parameters of the language, with the ternary case allowing for an additional parameter state that takes into account phenomena of entailment of parameters. The code parameters of the resulting code can be compared with some classical bounds in coding theory: the asymptotic bound, the Gilbert-Varshamov bound, etc. The position of the code parameters with respect to some of these bounds provides quantitative information on the variability of syntactic parameters within and across historical-linguistic families. While computations carried out for languages belonging to the same family yield codes below the GV curve, comparisons across different historical families can give examples of isolated codes lying above the asymptotic bound.
△ Less
Submitted 26 July, 2014;
originally announced July 2014.
-
Quantum computation and real multiplication
Authors:
Matilde Marcolli,
John Napp
Abstract:
We propose a construction of anyon systems associated to quantum tori with real multiplication and the embedding of quantum tori in AF algebras. These systems generalize the Fibonacci anyons, with weaker categorical properties, and are obtained from the basic modules and the real multiplication structure.
We propose a construction of anyon systems associated to quantum tori with real multiplication and the embedding of quantum tori in AF algebras. These systems generalize the Fibonacci anyons, with weaker categorical properties, and are obtained from the basic modules and the real multiplication structure.
△ Less
Submitted 12 December, 2013;
originally announced December 2013.
-
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.
-
Thermodynamic Semirings
Authors:
Matilde Marcolli,
Ryan Thorngren
Abstract:
The Witt construction describes a functor from the category of Rings to the category of characteristic 0 rings. It is uniquely determined by a few associativity constraints which do not depend on the types of the variables considered, in other words, by integer polynomials. This universality allowed Alain Connes and Caterina Consani to devise an analogue of the Witt ring for characteristic one, an…
▽ More
The Witt construction describes a functor from the category of Rings to the category of characteristic 0 rings. It is uniquely determined by a few associativity constraints which do not depend on the types of the variables considered, in other words, by integer polynomials. This universality allowed Alain Connes and Caterina Consani to devise an analogue of the Witt ring for characteristic one, an attractive endeavour since we know very little about the arithmetic in this exotic characteristic and its corresponding field with one element. Interestingly, they found that in characteristic one, the Witt construction depends critically on the Shannon entropy. In the current work, we examine this surprising occurrence, defining a Witt operad for an arbitrary information measure and a corresponding algebra we call a thermodynamic semiring. This object exhibits algebraically many of the familiar properties of information measures, and we examine in particular the Tsallis and Renyi entropy functions and applications to nonextensive thermodynamics and multifractals. We find that the arithmetic of the thermodynamic semiring is exactly that of a certain guessing game played using the given information measure.
△ Less
Submitted 4 June, 2012; v1 submitted 14 August, 2011;
originally announced August 2011.
-
Codes as fractals and noncommutative spaces
Authors:
Matilde Marcolli,
Christopher Perez
Abstract:
We consider the CSS algorithm relating self-orthogonal classical linear codes to q-ary quantum stabilizer codes and we show that to such a pair of a classical and a quantum code one can associate geometric spaces constructed using methods from noncommutative geometry, arising from rational noncommutative tori and finite abelian group actions on Cuntz algebras and fractals associated to the classic…
▽ More
We consider the CSS algorithm relating self-orthogonal classical linear codes to q-ary quantum stabilizer codes and we show that to such a pair of a classical and a quantum code one can associate geometric spaces constructed using methods from noncommutative geometry, arising from rational noncommutative tori and finite abelian group actions on Cuntz algebras and fractals associated to the classical codes.
△ Less
Submitted 28 July, 2011;
originally announced July 2011.
-
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.