Related papers: Diego's Theorem for nuclear implicative semilattic…
A general result by Jackson (Flat algebras and the translation of universal Horn logic to equational logic, J. Symb. Log. 73(1) (2008) 90--128) implies that the lattice of all quasivarieties of groups of exponent dividing $n$ embeds into…
We consider sections of the \'etale homotopy exact sequence of a hyperbolic curve over a number field. We prove that two sections whose restrictions to decomposition groups are conjugate on a set of valuations of density one are globally…
An important, if relatively less well known aspect of the singularity theorems in Lorentzian Geometry is to understand how their conclusions fare upon weakening or suppression of one or more of their hypotheses. Then, theorems with modified…
Franson showed that Aspect's experiment to test Bell's inequality did not rule out local realistic theories with delayed determinism. A class of local, deterministic discrete mathematical models with delayed determinism is described that…
We consider a class of quantum lattice models in $1+1$ dimensions represented as local quantum circuits that enjoy a particular "dual-unitarity" property. In essence, this property ensures that both the evolution "in time" and that "in…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…
This paper studies the Cohomological Donaldson-Thomas theory of $G$-local systems on the topological three torus. Using an exponential map we prove cohomological integrality for $\mathrm{GL}_n$-local systems using the statement of…
Emerton's theory of Jacquet modules for locally analytic representations provides necessary conditions for the existence of integral structures in locally analytic representations. These conditions are also expected to be sufficient for the…
We identify new families of duality-invariant theories of electrodynamics. We achieve this in two different ways. On the one hand, we present an algorithm to construct a one-parameter family of exactly duality-invariant theories from a…
In this paper I consider locally finite Lie algebras of characteristic zero satisfying the condition that for every finite number of elements $x_{1}, x_{2},..., x_{k}$ of such an algebra $L$ there is finite-dimensional subalgebra $A$ which…
Unimodular triangulations of lattice polytopes arise in algebraic geometry, commutative algebra, integer programming and, of course, combinatorics. In this article, we review several classes of polytopes that do have unimodular…
Gauging and duality transformations, two of the most useful tools in many-body physics, are shown to be equivalent up to constant depth quantum circuits in the case of one-dimensional quantum lattice models. This is demonstrated by making…
We construct the first example of a lattice on an irreducible Euclidean building that is not residually finite. Conjecturally, the normal subgroup theorem extends to this lattice making it virtually simple.
We prove completeness, interpolation, decidability and an omitting types theorem for certain multi dimensional modal logics where the states are not abstract entities but have an inner structure. The states will be sequences. Our approach…
We study the Klein paradox for the semi-classical Dirac operator on $\R$ with potentials having constant limits, not necessarily the same at infinity. Using the complex WKB method, the time-independent scattering theory in terms of incoming…
Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational…
A Green-function formalism for the Kondo lattice model is presented, which is designed to be combined with the dynamical mean-field theory. With use of Wick's theorem only for conduction electrons, dynamical quantities are represented in…
Under hypotheses required for the Taylor-Wiles method, we prove for forms of $U(3)$ which are compact at infinity that the lattice structure on upper alcove algebraic vectors or on principal series types given by the $\lambda$-isotypic part…
A variety is said to be coherent if the finitely generated subalgebras of its finitely presented members are also finitely presented. In a recent paper by the authors it was shown that coherence forms a key ingredient of the uniform…