Related papers: Formal languages, spin systems, and quasicrystals
We obtain the higher spin tractor equations of motion conjectured by Gover et al. from a BRST approach and use those methods to prove that they describe massive, partially massless and massless higher spins in conformally flat backgrounds.…
We summarize recent developments of the semiclassical description of shell effects in finite fermion systems with explicit inclusion of spin degrees of freedom, in particluar in the presence of spin-orbit interactions. We present a new…
An F-system is a computational model that performs a folding operation on words of a given language, following directions coded on words of another given language. This paper considers the case in which both given languages are regular, and…
A formal context consists of objects, properties, and the incidence relation between them. Various notions of concepts defined with respect to formal contexts and their associated algebraic structures have been studied extensively,…
We establish an equivalence between massive spinning particle models in four spacetime dimensions coupled to electromagnetism or gravity, within the spin-magnitude-preserving sector. Four representative models in the literature are shown to…
A description of many constituent (particle) systems with fuzzy initial conditions is proposed with the help of the field language. In this language correlation functions are defined and equations for them are derived in the free Fock…
We investigate the properties of formal languages expressible in terms of formulas over quantifier-free theories of word equations, arithmetic over length constraints, and language membership predicates for the classes of regular, visibly…
We introduce a minimal model to describe the charge degree of freedom in cuprates with the on-site Hilbert space reduced to only the three valence states CuO$_4^{7-,6-,5-}$ (nominally Cu$^{1+,2+,3+}$) and make use of the S=1 pseudospin…
We prove that the \emph{permutation closure} of a multiple context-free language is multiple context-free, which extends work of Okhotin and Sorokin [LATA 2020] who showed closure under \emph{cyclic shift}, and complements work of…
We study the interaction of massive spin-3/2 field with electromagnetic and gravitational fields in the four dimensional AdS space and construct the corresponding cubic vertices. Construction is based on generalization of Fradkin-Vasiliev…
Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical,…
The asymptotic structure of three-dimensional hypergravity without cosmological constant is analyzed. In the case of gravity minimally coupled to a spin-$5/2$ field, a consistent set of boundary conditions is proposed, being wide enough so…
We construct a massive spin-2 theory in 2+1 dimensions that is immune to the bulk-boundary unitarity conflict in anti-de Sitter space and hence amenable to holography. The theory is an extension of Topologically Massive Gravity, just like…
The Bar-Hillel construction is a classic result in formal language theory. It shows, by a simple construction, that the intersection of a context-free language and a regular language is itself context-free. In the construction, the regular…
We define Modular Linear Differential Equations (MLDE) for the level-two congruence subgroups $\Gamma_\vartheta$, $\Gamma^0(2)$ and $\Gamma_0(2)$ of $\text{SL}_2(\mathbb Z)$. Each subgroup corresponds to one of the spin structures on the…
Almost periodicity has been considered in Formal Language Theory in connection with some topics in Symbolic Dynamics. In (P\u{a}un and Marcus, Bulletin of EATCS 53 (1994)) some problems concerning this property are raised. For instance it…
In this paper we study the shifts, which are the shift-invariant and topologically closed sets of configurations over a finite alphabet in $\mathbb{Z}^d$. The minimal shifts are those shifts in which all configurations contain exactly the…
Lattice gauge theories are a powerful language to theoretically describe a variety of strongly correlated systems, including frustrated magnets, high-$T_c$ superconductors, and topological phases. However, in many cases gauge fields couple…
We review some recent work on AdS/CFT duality involving the 3d O(N) Vector Model and AdS4 Higher Spin Gravity. Our construction is based on bi-local collective field theory which provides an off-shell formulation of Higher Spin Gravity with…
Let $G$ be a split real connected Lie group with finite center. In the first part of the paper we define and study formal elementary spherical functions. They are formal power series analogues of elementary spherical functions on $G$ in…