Related papers: Taming the Leibniz Rule on the Lattice
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with…
A new approach to formulate the fermion field on lattice is introduced by proposing a new Dirac operator on lattice.This approach can eliminate the Fermion doubling problem, preserve the chiral symmetry and get the same dispersion relation…
A chain rule for power product is studied with fractional differential operators in the framework of Sobolev spaces. The fractional differential operators are defined by the Fourier multipliers. The chain rule is considered newly in the…
We investigate an integrable property and observables of 2 dimensional N=(4,4) topological field theory defined on a discrete lattice by using the "orbifolding" and "deconstruction" methods. We show that our lattice model possesses the…
We explore the mathematical consequences of the assumption of a discrete space-time. The fundamental laws of physics have to be translated into the language of discrete mathematics. We find integral transformations that leave the lattice of…
The index theorem is employed to extend the no-go theorem for lattice chiral Dirac fermions to translation non-invariant and non-local formulations.
We consider the dynamics $t\mapsto\tau_t$ of an infinite quantum lattice system that is generated by a local interaction. If the interaction decomposes into a finite number of terms that are themselves local interactions, we show that…
In a previous paper I showed how the ideal SLAC derivative and second-derivative operators for an infinite lattice can be obtained in simple closed form in position space, and implemented very efficiently in a stochastic fashion for…
We construct lattice gauge field theory based on a quantum group on a lattice of dimension 1. Innovations include a coalgebra structure on the connections, and an investigation of connections that are not distinguishable by observables. We…
We construct a lattice theory with one exact supersymmetry which consists of fields transforming in both the adjoint and fundamental representations of a U(Nc) gauge group. In addition to gluons and gluinos, the theory contains Nf flavors…
We give a new proof of the Brawley-Carlitz theorem on irreducibility of the composed products of irreducible polynomials. Our proof shows that associativity of the binary operation for the composed product is not necessary. We then…
The lattice definition of the two-dimensional topological quantum field theory [Fukuma, {\em et al}, Commun.~Math.~Phys.\ {\bf 161}, 157 (1994)] is generalized to arbitrary (not necessarily orientable) compact surfaces. It is shown that…
We present a generalization of Bloch's theorem to finite-range lattice systems of independent fermions, in which translation symmetry is broken only by arbitrary boundary conditions, by providing exact, analytic expressions for all energy…
We propose a lattice formulation of the chiral fermion which maximally respects the gauge symmetry and simultaneously is free of the unwanted species doublers. The formulation is based on the lattice fermion propagator and composite…
We study a cyclic Leibniz rule, which provides a systematic approach to lattice supersymmetry, using a numerical method with a transfer matrix. The computation is carried out in N=2 supersymmetric quantum mechanics with the…
We report on recent progress with the definition of lattice chiral gauge theories, using a lattice action that includes a discretized Lorentz gauge-fixing term. This gauge-fixing term has a unique global minimum, and allows us to use…
The notion of a capped tensor product, introduced by G. Gr\"{a}tzer and the author, provides a convenient framework for the study of tensor products of lattices that makes it possible to extend many results from the finite case to the…
Linear lattice gauge theory is based on link variables that are arbitrary complex or real $N\times N$ matrices, in distinction to the usual (non-linear) formulation with unitary or orthogonal matrices. For a large region in parameter space…
The paper studies problems of satisfiability, decidability and admissibility of inference rules, conceptions of knowledge and agent's knowledge in non-transitive temporal linear logic LTL(Past,m). We find algorithms solving mentioned…
We prove that functions defined on a lattice in a finite dimensional torus with bounded finite differences can be smoothly extended to the whole torus, and relate the bounds on the extension's derivatives with bounds on the original…