Related papers: Formal languages, spin systems, and quasicrystals
We introduce a two-sort weighted modal logic for possibilistic reasoning with fuzzy formal contexts. The syntax of the logic includes two types of weighted modal operators corresponding to classical necessity ($\Box$) and sufficiency…
In this work we define formal grammars in terms of free monoidal categories, along with a functor from the category of formal grammars to the category of automata. Generalising from the Booleans to arbitrary semirings, we extend our…
Using ambient space we develop a fully gauge and o(d,2) covariant approach to boundary values of AdS(d+1) gauge fields. It is applied to the study of (partially) massless fields in the bulk and (higher-order) conformal scalars, i.e.…
Classifying formal languages according to the expressiveness of grammars able to generate them is a fundamental problem in computational linguistics and, therefore, in the theory of computation. Furthermore, such kind of analysis can give…
Generalizing the relation between spin-systems and Fermi-systems on the lattice we construct for a spin-system with dimension d an algebra for which quasifree time-evolutions exist. With appropriate assumptions the gauge invariant…
Causal fermion systems and Riemannian fermion systems are proposed as a framework for describing non-smooth geometries. In particular, this framework provides a setting for spinors on singular spaces. The underlying topological structures…
Fefferman-Graham ambient construction can be formulated as $\mathfrak{sp}(2)$-algebra relations on three Hamiltonian constraint functions on ambient space. This formulation admits a simple extension that leads to higher-spin fields, both…
We review the general formalism of duality rotations for $\cal N$-extended (super)conformal gauge multiplets of arbitrary (super)spin in four dimensions, with ${\cal N} \geq 0$. Self-dual models for a vector field (${\cal N}=0$) and for…
We develop fibrational perspectives on context-free grammars and on nondeterministic finite-state automata over categories and operads. A generalized CFG is a functor from a free colored operad (aka multicategory) generated by a pointed…
Two formalisms, both based on context-free grammars, have recently been proposed as a basis for a non-uniform random generation of combinatorial objects. The former, introduced by Denise et al, associates weights with letters, while the…
We present an alternative formalism for modeling spin. The ontological elements of this formalism are base-2 sequences of length $n$. The machinery necessary to model physics is then developed by considering correlations between base-2…
We present a formalism for strongly correlated systems with fermions coupled to bosonic modes. We construct the three-particle irreducible functional $\mathcal{K}$ by successive Legendre transformations of the free energy of the system. We…
We introduce context-free languages of morphisms in monoidal categories, extending recent work on the categorification of context-free languages, and regular languages of string diagrams. Context-free languages of string diagrams include…
Context-free grammar simplification is a subject of high importance in computer language processing technology as well as in formal language theory. This paper presents a formalization, using the Coq proof assistant, of the fact that…
We study the formulation of massless higher-spin gravity on AdS$_3$ in a gauge in which the fundamental variables satisfy free field Poisson brackets. This gauge choice leaves a small portion of the gauge freedom unfixed, which should be…
This thesis explores how concepts of formal language theory can be used to study left-orderable groups. It analyses the languages formed by their positive cones and demonstrates how the abstract families of languages (AFLs) in the Chomsky…
Kondo lattice models have established themselves as an ideal platform for studying the interplay between topology and strong correlations such as in topological Kondo insulators or Weyl-Kondo semimetals. The nature of these systems requires…
This work constitutes the second part of a series of studies that aim to utilise tools from Hamiltonian mechanics to investigate the motion of an extended body in general relativity. The first part of this work [Refs. [1, 2]] constructed a…
The \emph{word problem} of a group $G = \langle \Sigma \rangle$ can be defined as the set of formal words in $\Sigma^*$ that represent the identity in $G$. When viewed as formal languages, this gives a strong connection between classes of…
In this work we discuss the cubic interactions for massless spin 3/2 gravitino with massive higher spin supermultiplets using three superblocks (2,3/2), (5/2,2) and (3,5/2) as the first non-trivial examples. We use gauge invariant formalism…