Old and New Minimalism: a Hopf algebra comparison
- URL: http://arxiv.org/abs/2306.10270v1
- Date: Sat, 17 Jun 2023 06:31:36 GMT
- Title: Old and New Minimalism: a Hopf algebra comparison
- Authors: Matilde Marcolli, Robert C. Berwick, Noam Chomsky
- Abstract summary: We show that the newer formulation of Minimalism has a clear advantage purely in terms of the underlying mathematical structure.
This mathematical structure shows that Internal and External Merge have significantly different roles in the old formulations of Minimalism.
- Score: 0.12891210250935145
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- 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 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.
Related papers
- Volichenko-type metasymmetry of braided Majorana qubits [0.0]
This paper presents different mathematical structures connected with the parastatistics of braided Majorana qubits.
Mixed-bracket Heisenberg-Lie algebras are introduced.
arXiv Detail & Related papers (2024-06-02T21:50:29Z) - Syntax-semantics interface: an algebraic model [0.046040036610482664]
We show that methods adopted in the formulation of renormalization in theoretical physics are relevant to describe the extraction of meaning from syntactic expressions.
We answer some recent controversies about implications for generative linguistics of the current functioning of large language models.
arXiv Detail & Related papers (2023-11-10T17:12:09Z) - Enriching Diagrams with Algebraic Operations [49.1574468325115]
We extend diagrammatic reasoning in monoidal categories with algebraic operations and equations.
We show how this construction can be used for diagrammatic reasoning of noise in quantum systems.
arXiv Detail & Related papers (2023-10-17T14:12:39Z) - Mathematical Structure of Syntactic Merge [0.0]
The Merge operation 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.
arXiv Detail & Related papers (2023-05-29T17:50:32Z) - The Transformation Logics [58.35574640378678]
We introduce a new family of temporal logics designed to balance the trade-off between expressivity and complexity.
Key feature is the possibility of defining operators of a new kind that we call transformation operators.
We show them to yield logics capable of creating hierarchies of increasing expressivity and complexity.
arXiv Detail & Related papers (2023-04-19T13:24:04Z) - The tilted CHSH games: an operator algebraic classification [77.34726150561087]
This article introduces a general systematic procedure for solving any binary-input binary-output game.
We then illustrate on the prominent class of tilted CHSH games.
We derive for those an entire characterisation on the region exhibiting some quantum advantage.
arXiv Detail & Related papers (2023-02-16T18:33:59Z) - The Dynamics of Riemannian Robbins-Monro Algorithms [101.29301565229265]
We propose a family of Riemannian algorithms generalizing and extending the seminal approximation framework of Robbins and Monro.
Compared to their Euclidean counterparts, Riemannian algorithms are much less understood due to lack of a global linear structure on the manifold.
We provide a general template of almost sure convergence results that mirrors and extends the existing theory for Euclidean Robbins-Monro schemes.
arXiv Detail & Related papers (2022-06-14T12:30:11Z) - Matrix product operator algebras I: representations of weak Hopf
algebras and projected entangled pair states [0.5872014229110214]
Matrix Product Operators (MPOs) represent operators acting on 1D systems.
MPOs can be used to represent algebras of non-trivial symmetries.
We show that MPOs can be used to construct Kitaev's quantum double models for Hopf algebras.
arXiv Detail & Related papers (2022-04-12T16:43:15Z) - Self-adjoint extension schemes and modern applications to quantum
Hamiltonians [55.2480439325792]
monograph contains revised and enlarged materials from previous lecture notes of undergraduate and graduate courses and seminars delivered by both authors over the last years on a subject that is central both in abstract operator theory and in applications to quantum mechanics.
A number of models are discussed, which are receiving today new or renewed interest in mathematical physics, in particular from the point of view of realising certain operators of interests self-adjointly.
arXiv Detail & Related papers (2022-01-25T09:45:16Z) - Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
We propose LeAR, an end-to-end neural model to learn algebraic recombination for compositional generalization.
Key insight is to model the semantic parsing task as a homomorphism between a latent syntactic algebra and a semantic algebra.
Experiments on two realistic and comprehensive compositional generalization demonstrate the effectiveness of our model.
arXiv Detail & Related papers (2021-07-14T07:23:46Z) - Categories of Br\`egman operations and epistemic (co)monads [0.0]
We construct a categorical framework for nonlinear postquantum inference, with embeddings of convex closed sets of suitable reflexive Banach spaces as objects.
It provides a nonlinear convex analytic analogue of Chencov's programme of study of categories of linear positive maps between spaces of states.
We show that the bregmanian approach provides some special cases of this setting.
arXiv Detail & Related papers (2021-03-13T23:10:29Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.