Related papers: Formal languages, spin systems, and quasicrystals
Ontologies of research topics are crucial for structuring scientific knowledge, enabling scientists to navigate vast amounts of research, and forming the backbone of intelligent systems such as search engines and recommendation systems.…
We examine zero-form charges in Vasiliev's four-dimensional bosonic higher spin gravities. These are classical observables given by integrals over noncommutative twistor space of adjoint combinations of the zero-form master fields,…
Human beings possess the most sophisticated computational machinery in the known universe. We can understand language of rich descriptive power, and communicate in the same environment with astonishing clarity. Two of the many contributors…
A fundamental motif in frustrated magnetism is the fully mutually coupled cluster of $N$ spins, with each spin coupled to every other spin. Clusters with $N=2$ and $3$ have been extensively studied as building blocks of square and…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
This paper continues a systematic and comprehensive study on the structural properties of CFL functions, which are in general multi-valued partial functions computed by one-way one-head nondeterministic pushdown automata equipped with…
Motivated by the gravity/fluid correspondence, we introduce a new method for characterizing nonlinear gravitational interactions. Namely we map the nonlinear perturbative form of the Einstein equation to the equations of motion of a…
We show that bi-flat $F$-manifolds can be interpreted as natural geometrical structures encoding the almost duality for Frobenius manifolds without metric. Using this framework, we extend Dubrovin's duality between orbit spaces of Coxeter…
Formalising informal mathematical reasoning into formally verifiable code is a significant challenge for large language models. In scientific fields such as physics, domain-specific machinery (\textit{e.g.} Dirac notation, vector calculus)…
We apply Fradkin-Vasiliev formalism to construction of non-trivial cubic interaction vertices for massive spin-2 particles. In this first paper as a relatively simple but instructive example we consider self-interaction and gravitational…
The addition of mass terms in general breaks gauge symmetries which can be recovered usually via Stueckelberg fields. The massive BF model describes massive spin-1 particles while preserving the $U(1)$ symmetry without Stueckelberg fields.…
Morphisms between (formal) contexts are certain pairs of maps, one between objects and one between attributes of the contexts in question. We study several classes of such morphisms and the connections between them. Among other things, we…
This paper is a continuation of the study of topological properties of omega context free languages (omega-CFL). We proved before that the class of omega-CFL exhausts the hierarchy of Borel sets of finite rank, and that there exist some…
A non-distributive two-sorted hypersequent calculus \textbf{PDBL} and its modal extension \textbf{MPDBL} are proposed for the classes of pure double Boolean algebras and pure double Boolean algebras with operators respectively. A relational…
Dialectical frameworks are a unifying model of formal argumentation, where argumentative relations between arguments are represented by assigning acceptance conditions to atomic arguments. Their generality allow them to cover a number of…
This paper solves an open problem concerning the generative power of nonerasing context-free rewriting systems using a simple mechanism for checking for context dependencies, in the literature known as semi-conditional grammars of degree…
We investigate models for learning the class of context-free and context-sensitive languages (CFLs and CSLs). We begin with a brief discussion of some early hardness results which show that unrestricted language learning is impossible, and…
The rapid emergence of foundation models, particularly Large Language Models (LLMs) and Vision-Language Models (VLMs), has introduced a transformative paradigm in robotics. These models offer powerful capabilities in semantic understanding,…
On the basis of our recent modifications of the Dirac formalism we generalize the Bargmann-Wigner formalism for higher spins to be compatible with other formalisms for bosons. Relations with dual electrodynamics, with the…
We construct and analyze a family of $M$-component vectorial spin systems which exhibit glass transitions and jamming within supercooled paramagnetic states without quenched disorder. Our system is defined on lattices with connectivity…