Related papers: Formal languages, spin systems, and quasicrystals
We define parafermionic observables in various lattice loop models, including examples where no Kramers-Wannier duality holds. For a particular rhombic embedding of the lattice in the plane and a value of the parafermionic spin these…
The goal of our work is to characterize the landscape of the frustration-free quantum spin models over the Cayley graph of a finitely generated group $G$. This is achieved by establishing $G$-equivariant morphisms from the partially ordered…
The homogeneous canonical formalism of Rund is applied to the second-order Lagrangian model of the self-interacting particle of Bopp. The quasi-classical free spinning particle of Mathisson appears then as a constrained subsystem of the…
We derive the gauge-free Hamiltonian structure of an extended kinetic theory, for which the intrinsic spin of the particles is taken into account. Such a semi-classical theory can be of interest for describing, e.g., strongly magnetized…
Three geometric formulations of the Hamiltonian structure of the macroscopic Maxwell equations are given: one in terms of the double de Rham complex, one in terms of L2 duality, and one utilizing an abstract notion of duality. The final of…
In this paper, we associate the idea of derivation languages with flat splicing systems and compare the families of derivation languages (Szilard and control languages) of these systems with the family of languages in Chomsky hierarchy. We…
In view of making progress towards establishing a holographic duality for theories defined on a discrete tiling of the hyperbolic plane, we consider a recently proposed boundary spin chain Hamiltonian with aperiodic couplings that are…
We present a complete solution to the problem of Formal Higher Spin Gravities --- formally consistent field equations that gauge a given higher spin algebra and describe free higher spin fields upon linearization. The problem is shown to be…
Substructural logics are formal logical systems that omit familiar structural rules of classical and intuitionistic logic such as contraction, weakening, exchange (commutativity), and associativity. This leads to a resource-sensitive…
We derive compact multiple integral formulas for several physical spin correlation functions in the semi-infinite XXZ chain with a longitudinal boundary magnetic field. Our formulas follow from several effective re-summations of the…
Our aim is to introduce a category-theoretic framework sufficiently general to describe a wide variety of open kinematic systems in classical mechanics while uniquely characterizing systems with specified simplest components. The framework…
The paper is about a class of languages that extends context-free languages (CFL) and is stable under shuffle. Specifically, we investigate the class of partially-commutative context-free languages (PCCFL), where non-terminal symbols are…
While context-free grammars are characterized by a simple proof-theoretic grammatical formalism namely categorial grammar and its logic the Lambek calculus, no such characterizations were known for tree-adjoining grammars, and even for any…
Logical frameworks are meta-formalisms in which the syntax and semantics of object logics and related formal systems can be defined. This allows object logics to inherit implementations from the framework including, e.g., parser, type…
We introduce a quasi-local integral functional and scalar quasi-local variables to examine a wide class of spherically symmetric inhomogeneous spacetimes that generalize the Lemaitre-Tolman-Bondi (LTB) dust solutions ("LTB" spacetimes). By…
Let $O$ be a differential graded (possibly colored) operad defined over rationals. Let us assume that there exists a zig-zag of quasi-isomorphisms connecting $O \otimes K$ to its cohomology, where $K$ is any field extension of rationals. We…
Context-free language theory is a well-established area of mathematics, relevant to computer science foundations and technology. This paper presents the preliminary results of an ongoing formalization project using context-free grammars and…
Long-context large language models remain computationally expensive to run and often fail to reliably process very long inputs, which makes context compression an important component of many systems. Existing compression approaches…
We propose a complete microscopic definition of the Hilbert space of minimal higher spin de Sitter quantum gravity and its Hartle-Hawking vacuum state. The fundamental degrees of freedom are $2N$ bosonic fields living on the future…
In the context of recently proposed holographic dualities between higher spin theories in AdS3 and 1+1-dimensional CFTs with W-symmetry algebras, we revisit the definition of higher spin black hole thermodynamics and the dictionary between…