Related papers: Algebraic Phase Theory IV: Morphisms, Equivalences…

We prove the first inverse theorem for point--sphere incidence bounds over finite fields in dimensions $d \ge 3$, showing that near-extremality forces algebraic rigidity. While sharp upper bounds have been known for over a decade, the…

We formalise, in Coq, the opening sections of Parity Complexes [Street1991] up to and including the all important excision of extremals algorithm. Parity complexes describe the essential combinatorial structure exhibited by simplexes, cubes…

Within the framework of supersymmetric quantum mechanics, we study the simplified version of potential algebra of shape invariance condition in k steps, where k is an arbitrary positive integer. The associated potential algebra is found to…

This is an invited contribution to the 2nd edition of the Encyclopedia of Mathematical Physics. We review the following algebraic structures which appear in two-dimensional conformal field theory (CFT): The symmetries of two-dimensional…

We develop a theory of perfect algebraic spaces that extend the so-called perfect schemes to the setting of algebraic spaces. We prove several desired properties of perfect algebraic spaces. This extends some previous results of perfect…

We introduce an operational framework to analyze non-adiabatic Abelian and non-Abelian, cyclic and non-cyclic, geometric phases in open quantum systems. In order to remove the adiabaticity condition, we generalize the theory of dynamical…

Group-based models arise in algebraic statistics while studying evolution processes. They are represented by embedded toric algebraic varieties. Both from the theoretical and applied point of view one is interested in determining the ideals…

The so-called algebraic approach to the constraint satisfaction problem (CSP) has been a prevalent method of the study of complexity of these problems since early 2000's. The core of this approach is the notion of polymorphisms which…

The level crossing problem and associated geometric terms are neatly formulated by the second quantized formulation. This formulation exhibits a hidden local gauge symmetry related to the arbitrariness of the phase choice of the complete…

A binding group theorem is proved in the context of quantifier-free internality to the fixed field in difference-closed fields of characteristic zero. This is articulated as a statement about the birational geometry of isotrivial algebraic…

We provide a mathematically rigorous classification of symmetry-protected topological (SPT) phases of neutral free fermions. Our approach utilizes Karoubi triples with negative squares, thought of as polarizations. We prove that neutral…

In this paper we develop an axiomatic setup for algorithmic homological algebra of Abelian categories. This is done by exhibiting all existential quantifiers entering the definition of an Abelian category, which for the sake of…

In the realm of invertible symmetry, the topological approach based on classifying spaces dominates the classification of 't Hooft anomalies and symmetry protected topological phases. We explore the alternative algebraic approach based on…

We show that topological phases include disordered materials if the underlying invariant is interpreted as originating from coarse geometry. This coarse geometric framework, grounded in physical principles, offers a natural setting for the…

We introduce normal cores, as well as the more general action cores, in the context of a semi-abelian category, and further generalise those to split extension cores in the context of a homological category. We prove that, if the category…

Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…

In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary…

A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a…

We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the…