Related papers: A Structural Criterion for the Applicability of Al…
By doubling the target space of a canonical Courant algebroid and subsequently projecting down to a specific subbundle, we identify the data of double field theory (DFT) and hence define its algebroid structure. We specify the properties of…
As one of the paradigmatic models of non-equilibrium systems, the asymmetric simple exclusion process (ASEP) has been widely used to study many physical, chemical, and biological systems. The ASEP shows a range of nontrivial macroscopic…
We introduce a general axiomatic framework for algebras with triangular decomposition, which allows for a systematic study of the Bernstein-Gelfand-Gelfand Category $\mathcal{O}$. The framework is stated via three relatively simple axioms;…
Our goal is to define an algebraic language for reasoning about non-deterministic computations. Towards this goal, we introduce an algebra of string-to-string transductions. Specifically, it is an algebra of partial functions on words over…
We study the term structure equation for single-factor models that predict nonnegative short rates. In particular, we show that the price of a bond or a bond option is the unique classical solution to a parabolic differential equation with…
In this Letter, we construct a set of order parameters for non-Abelian gauge theories which probe directly the unbroken group and are free of the deficiencies caused by quantum fluctuations and gauge fixing which have plagued all previous…
Adiabatic $U(2)$ geometric phases are studied for arbitrary quantum systems with a three-dimensional Hilbert space. Necessary and sufficient conditions for the occurrence of the non-Abelian geometrical phases are obtained without actually…
We propose a new $q$-series formula for a character of parafermion conformal field theories associated to arbitrary non-twisted affine Lie algebra $\widehat{g}$. We show its natural origin from a thermodynamic Bethe ansatz analysis…
In support variety theory, representations of a finite dimensional (Hopf) algebra $A$ can be studied geometrically by associating any representation of $A$ to an algebraic variety using the cohomology ring of $A$. An essential assumption in…
Nondegeneracy conditions need to be imposed in K.A.M. theorems to insure that the set of diophantine tori has a large measure. Although they are usually expressed in action coordinates, it is possible to give a geometrical formulation using…
We confront two integrability criteria for rational mappings. The first is the singularity confinement based on the requirement that every singularity, spontaneously appearing during the iteration of a mapping, disappear after some steps.…
Let $B$ be an affine $k$-domain which admits a nontrivial fundamental pair $(D,U)$ of locally nilpotent derivations, i.e., if $E=[D,U]$ then $(D,U,E)$ is an $\mathfrak{sl}_2$-triple. We prove an algebraic criterion, characterizing under…
In the context of elasticity theory, rigidity theorems allow to derive global properties of a deformation from local ones. This paper presents a new asymptotic version of rigidity, applicable to elastic bodies with sufficiently stiff…
A geometric analysis of the Shake and Rattle methods for constrained Hamiltonian problems is carried out. The study reveals the underlying differential geometric foundation of the two methods, and the exact relation between them. In…
Answer Set Programming (ASP) is a generic problem modeling and solving framework with a strong focus on knowledge representation and a rapid growth of industrial applications. So far, the study of complexity resulted in characterizing…
From a dynamical viewpoint, basic phase transitions of statistical mechanics can be regarded as a breaking of ergodicity. While many random models exhibiting such transitions at the thermodynamics limit exist, finite-dimensional examples…
We systematically study weighted $L^2$ restriction for quadratic manifolds of arbitrary codimensions by sharp uniform Fourier decay estimates and a refinement of the Du-Zhang method. Comparison with prior results is also discussed. In…
(1) Let 1\leq k\leq \omega. Call an atom structure \alpha weakly k neat representable, the term algebra is in \RCA_n\cap \Nr_n\CA_{n+k}, but the complex algebra is not representable. Call an atom structure neat if there is an atomic algebra…
In this paper, we argue that formal systems of first order Arithmetic that admit Goedelian undecidable propositions validly are abnormally non-constructive. We argue that, in such systems, the strong representation of primitive recursive…
The conventional formulation of the non-adiabatic (Aharonov-Anandan) phase is based on the equivalence class $\{e^{i\alpha(t)}\psi(t,\vec{x})\}$ which is not a symmetry of the Schr\"{o}dinger equation. This equivalence class when understood…