Related papers: Formal languages, spin systems, and quasicrystals
We embark on computing the longitudinal magnetoconductivity within the semiclassical Boltzmann formalism, where an isotropic triple-point semimetal (TSM) is subjected to collinear electric ($\boldsymbol E $) and magnetic ($\boldsymbol B$)…
Stone-type dualities provide a powerful mathematical framework for studying properties of logical systems. They have recently been fruitfully explored in understanding minimisation of various types of automata. In Bezhanishvili et al.…
A simplified formalism of first quantized massless fields of any spin is presented. The angular momentum basis for particles of zero mass and finite spin s of the D^(s-1/2,1/2) representation of the Lorentz group is used to describe the…
We construct a range of supersymmetric cubic vertices for three massless higher spin supermultiplets in the four-dimensional space. We use frame-like multispinor formalism, which allows to avoid most of the technical difficulties and…
Spin generalization of the relativistic Calogero-Sutherland model is constructed by using the affine Hecke algebra and shown to possess the quantum affine symmetry $\uqglt$. The spin-less model is exactly diagonalized by means of the…
We construct a string sigma-model which low energy limit describes the anti de Sitter gravity and spin 3 massless fields in Vasiliev's frame-like formalism. The model is based on vertex operators generating vielbein and connection fields in…
In this paper we elaborate on higher spin cubic interactions for massless, massive and partially massless fields. We work in the gauge invariant frame-like multispinor formalism, combining Lagrangian and unfolded formulations.
A simple realization of the conformal higher spin symmetry on the free $3d$ massless matter fields is given in terms of an auxiliary Fock module both in the flat and $AdS_3$ case. The duality between non-unitary field-theoretical…
In weighted automata theory, many classical results on formal languages have been extended into a quantitative setting. Here, we investigate weighted context-free languages of infinite words, a generalization of $\omega$-context-free…
In this thesis we use quasiorders on words to offer a new perspective on two well-studied problems from Formal Language Theory: deciding language inclusion and manipulating the finite automata representations of regular languages. First, we…
We interpret the chiral WZNW model with general monodromy as an infinite dimensional quasi-Hamiltonian dynamical system. This interpretation permits to explain the totality of complicated cross-terms in the symplectic structures of various…
The word problem of a finitely generated group is the formal language of words over the generators which are equal to the identity in the group. If this language happens to be context-free, then the group is called context-free. Finitely…
We argue that several empirical constraints strongly restrict parameters of the effective microscopic spin model describing $\alpha$-RuCl$_3$. In particular, such constraints dictate a substantial \emph{positive} off-diagonal anisotropic…
We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in…
The models of spin systems defined on Euclidean space provide powerful machinery for studying a broad range of condensed matter phenomena. While the non-relativistic effective description is sufficient for most of the applications, it is…
Functionals that explicitly depend on occupied, unoccupied, or fractionally-occupied orbitals are rigorously formalized using Clifford algebras, and a variational principle is established that facilitates orbital (and occupation)…
We attempt to generalize the AdS/CFT correspondence to non-relativistic conformal field theories which are invariant under Galilean transformations. Such systems govern ultracold atoms at unitarity, nucleon scattering in some channels, and…
We study the full language of quasigeodesics in Cayley graphs, with fixed error constants. We show that, given a non-virtually-cyclic nilpotent group or Baumslag--Solitar group, and any finite generating set, such languages fail to be…
To formulate gravity in spacetimes bounded by a null boundary, an arbitrary hypothetical null surface, boundary degrees of freedom (d.o.f) should be added to account for the d.o.f and dynamics in the spacetime regions excised behind the…
We introduce $L^2_{K,P}$, a monadic second-order language for reasoning about trees which characterizes the strongly Context-Free Languages in the sense that a set of finite trees is definable in $L^2_{K,P}$ iff it is (modulo a projection)…