Related papers: An ordered structure of rank two related to Dulac'…
In this paper we present a novel approach to graph (and structural) limits based on model theory and analysis. The role of Stone and Gelfand dualities is displayed prominently and leads to a general theory, which we believe is naturally…
First-order model counting (FOMC) is a computational problem that asks to count the models of a sentence in finite-domain first-order logic. In this paper, we argue that the capabilities of FOMC algorithms to date are limited by their…
A new tree model is introduced based on ordered trees, by distinguishing exactly one child of each node that \emph{has} children. The basic enumeration leads to a cubic equation of the generating function. The extraction of its coefficients…
We equip the categorified quantum group attached to a KLR algebra and an arbitrary choice of scalars with duality functor which is cyclic, that is, such that f=f^** for all 2-morphisms f. This is accomplished via a modified diagrammatic…
This work deals with the presence of localized structures in relativistic systems described by two real scalar fields in two-dimensional spacetime. We consider the usual two-field model with the inclusion of the cuscuton term, which couples…
We construct a lagrangian geometric formulation for first-order field theories using the canonical structures of first-order jet bundles, which are taken as the phase spaces of the systems in consideration. First of all, we construct all…
Inspired by the works in [1] and [8] we introduce what we call $k$-th-order fluctuation fields and study their scaling limits. This construction is done in the context of particle systems with the property of orthogonal self-duality. This…
We show that descriptive complexity's result extends in High Order Logic to capture the expressivity of Turing Machine which have a finite number of alternation and whose time or space is bounded by a finite tower of exponential. Hence we…
In a recent work it was suggested that the number of limit cycles in a piecewise-linear system could be closely related to the number of zones, that is the number of parts of the phase plane where the system is linear. In this note we…
It is shown that order-invariance of two-variable first-logic is decidable in the finite. This is an immediate consequence of a decision procedure obtained for the finite satisfiability problem for existential second-order logic with two…
There is both theoretical and numerical evidence that the set of irreducible representations of a reductive group over local or finite fields is naturally partitioned into families according to analytic properties of representations.…
We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on a given structure is considered intractable in general, but…
For a countable, complete, first-order theory $T$, we study $At$, the class of atomic models of $T$. We develop an analogue of $U$-rank and prove two results. On one hand, if some tp(d/a) is not ranked, then there are $2^{\aleph_1}$…
We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures. We show that the problem is undecidable in the case of…
Hamiltonian systems with functionally dependent constraints (irregular systems), for which the standard Dirac procedure is not directly applicable, are discussed. They are classified according to their behavior in the vicinity of the…
We consider topological order and dimer order in several frustrated spin ladder models, which are related to higher dimensional models of current interest; we also address the occurrence of fractionalized phases with deconfined spinon…
We continue the study of symmetries in the Lagrangian formalism of arbitrary order with the help of the so-called Anderson-Duchamp-Krupka equations. For the case of second-order equations and arbitrary vector fields we are able to establish…
It is proved that there exist a vector representation of Dirac's spinor field and in one sense it is equivalent to biquaternion (i.e. complexified quaternion) representation. This can be considered as a generalization of Cartan's idea of…
Recent work on Euler hierarchies of field theory Lagrangians iteratively constructed {}from their successive equations of motion is briefly reviewed. On the one hand, a certain triality structure is described, relating arbitrary field…
The equation of motion of a general class of macroscopic traffic flow models is linearized around a steady uniform flow. A closed-form solution of a boundary-initial value problem is obtained, and it is used to describe several phenomena.…