Related papers: Formal languages, spin systems, and quasicrystals
Classical nonlinear theories are highly successful in describing far-from-equilibrium dynamics of magnets, encompassing phenomena such as parametric resonance, ultrafast switching, and even chaos. However, at ultrashort length and time…
In this paper, we prove decidability properties and new results on the position of the family of languages generated by (circular) splicing systems within the Chomsky hierarchy. The two main results of the paper are the following. First, we…
We survey recent results on the topological complexity of context-free omega-languages which form the second level of the Chomsky hierarchy of languages of infinite words. In particular, we consider the Borel hierarchy and the Wadge…
Let $A_N$ denote nondeterministic automatic complexity and \[ L_{k,c}=\{x\in [k]^* : A_N(x)> |x|/c\}. \] In particular, $L_{k,2}$ is the language of all $k$-ary words for which $A_N$ is maximal, while $L_{k,3}$ gives a rough dividing line…
The generalization of Kasteleyn and Fortuin clusters formalism is introduced in XY (or more generally O(n)) models. Clusters geometrical structure may be linked to spin physical properties as correlation functions. To investigate…
How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may…
The formal algebraic structures that govern higher-spin theories within the unfolded approach turn out to be related to an extension of the Kontsevich Formality, namely, the Shoikhet-Tsygan Formality. Effectively, this allows one to…
This article presents a general description of dynamical systems using the language of enriched functors and enriched natural transformations. This framework is essential to establish the equivalence of three descriptions of dynamics -- a…
We perform the Hamiltonian analysis of the specific model of the non-linear massive gravity in Stuckelberg formalism where the square root structure is replaced by introducing auxiliary fields. We show that the constraint structure of given…
Monoidal categories with additional structure such as a braiding or some form of duality abound in quantum topology. They often appear in tandem with Frobenius algebras inside them. Motivations for this range from the theory of module…
In this paper, a gauge invariant description of massive higher spin bosonic and fermionic particles in frame-like Lagrangian and unfolded formalism in (A)dS${}_4$ is built. A complete set of gauge invariant object is also constructed and…
Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell 96]. This paper clarifies the mathematical foundations of these…
A recently conjectured microscopic realization of the dS$_4$/CFT$_3$ correspondence relating Vasiliev's higher-spin gravity on dS$_4$ to a Euclidean $Sp(N)$ CFT$_3$ is used to illuminate some previously inaccessible aspects of the dS/CFT…
Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal…
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in…
We show that spin generalization of elliptic Calogero-Moser system, elliptic extension of Gaudin model and their cousins can be treated as a degenerations of Hitchin systems. Applications to the constructions of integrals of motion,…
We observe that pre-trained large language models (LLMs) are capable of autoregressively completing complex token sequences -- from arbitrary ones procedurally generated by probabilistic context-free grammars (PCFG), to more rich spatial…
There is a general phenomenon in algebra that numerous functors of homological significance admit characterization as derived limits of elementary functors defined over categories of free extensions. We demonstrate that upon restriction to…
We elaborate on the partially massless spin 5/2 supermultiplet, which contains partially massless spin 5/2, massless and partially massless spin 2, as well as massless spin 3/2. We consider the global supertransformations connecting…
Nonholonomic systems are variational models commonly used for mechanical systems with ideal no-slip constraints. This note provides a differential-geometric derivation of the nonholonomic equations of motion for an arbitrary rigid body…