Related papers: Taming the Leibniz Rule on the Lattice
The U(1) gauge theory on a space with Lie type noncommutativity is constructed. The construction is based on the group of translation in Fourier space, which in contrast to space itself is commutative. In analogy with lattice gauge theory,…
We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $\alpha$, with $0<\alpha<1$, in the vicinity of an exceptional boundary point where all such functions…
We prove a uniqueness theorem for the obstacle problem for linear equations involving the fractional Laplacian with zero Dirichlet exterior condition. The problem under consideration arises as the limit of some logistic-type equations. Our…
Although in general there is no meaningful concept of factorization in fields, that in free associative algebras (over a commutative field) can be extended to their respective free field (universal field of fractions) on the level of…
A formula expressing the fermionic determinant as an infinite product of smaller determinants is derived and discussed. These smaller determinants are of a fixed size, independent of the size of the lattice and are indexed by loops of…
In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) free lattice. We solve this problem by proving that, for every…
We construct a realizability model of linear dependent type theory from a linear combinatory algebra. Our model motivates a number of additions to the type theory. In particular, we add a universe with two decoding operations: one takes…
We show that even if a lattice Dirac operator satisfies the conditions consisting of locality, free of species doublings, correct continuum behavior, $\gm5$-hermiticity and the Ginsparg-Wilson relation, it does not necessarily have exact…
We formulate the theory of a 2-form gauge field on a Euclidean spacetime lattice. In this approach, the fundamental degrees of freedom live on the faces of the lattice, and the action can be constructed from the sum over Wilson surfaces…
In order to better understand what to expect from numerical CORE computations for two-dimensional massless QED (the Schwinger model) we wish to obtain some analytic control over the approach to the continuum limit for various choices of…
Our manuscript studies linear temporal (with UNTIL and NEXT) logic based at a conception of intransitive time. non-transitive time. In particular, we demonstrate how the notion of knowledge might be represented in such a framework (here we…
In this second part of the paper, we consider finite difference Lagrangians which are invariant under linear and projective actions of $SL(2)$, and the linear equi-affine action which preserves area in the plane. We first find the…
We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a generalized setting in which the non-lattice connectives are interpreted as operations mapping tuples of elements of the given lattice to closed or…
In this paper, we carry out the algebraic study of integrable differential-difference equations whose field variables take values in an associative (but not commutative) algebra. We adapt the Hamiltonian formalism to nonabelian difference…
The two-dimensional quantum lattice Toda model for the affine and simple Lie algebras of the type A is considered. For its known L-operator a correction of the second order in the lattice parameter is found. It is proved that the equation…
An explicitly covariant formalism for dealing with Bargmann-Wigner fields is developed. An invariance of the Barmann-Wigner norm can be proved in a unified way for both massive and massless fields. It is shown that there exists some freedom…
We establish finiteness of low-dimensional actions of lattices in higher-rank semisimple Lie groups and establish Zimmer's conjecture for many such groups. This builds on previous work of the authors handling the case of actions by…
Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem,…
We develop the Seiberg-Witten map using the gauge-covariant star product with the noncommutativity tensor $\theta^{\mu\nu}(x)$. The latter guarantees the Lorentz invariance of the theory. The usual form of this map and its other recent…
A transformation is devised to convert any lattice Dirac fermion operator into a Ginsparg-Wilson Dirac fermion operator. For the standard Wilson-Dirac lattice fermion operator, the transformed new operator is local, free of O(a) lattice…