English
Related papers

Related papers: Taming the Leibniz Rule on the Lattice

200 papers

This paper investigates the extension of lattice-based logics into modal languages. We observe that such extensions admit multiple approaches, as the interpretation of the necessity operator is not uniquely determined by the underlying…

Logic in Computer Science · Computer Science 2025-10-01 Alfredo R. Freire , Manuel A. Martins

We propose a new locally smeared operator product expansion to decompose nonlocal operators in terms of a basis of smeared operators. The smeared operator product expansion formally connects nonperturbative matrix elements determined…

High Energy Physics - Lattice · Physics 2015-04-22 Christopher Monahan , Kostas Orginos

A Lie algebra over a field of characteristic 0 splits over its soluble radical and all complements are conjugate. I show that the splitting theorem extends to Leibniz algebras but that the conjugacy theorem does not.

Rings and Algebras · Mathematics 2011-09-07 Donald W. Barnes

Using a new definition of generalized divisors we prove that the lattice of such divisors for a given linear partial differential operator is modular and obtain analogues of the well-known theorems of the Loewy-Ore theory of factorization…

Symbolic Computation · Computer Science 2007-05-23 Serguei P. Tsarev

Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…

Classical Analysis and ODEs · Mathematics 2007-05-23 Margherita Barile , Fiorella Barone , Wlodzimierz M. Tulczyjew

The well-known Leibniz theorem (Leibniz Criterion or alternating series test) of convergence of alternating series is generalized for the case when the absolute value of terms of series are "not absolutely monotonously" convergent to zero.…

Classical Analysis and ODEs · Mathematics 2017-05-02 Galina A. Zverkina

Recently, Grabowska and Kaplan proposed a four-dimensional lattice formulation of chiral gauge theories on the basis of a chiral overlap operator. We compute the classical continuum limit of the fermion number anomaly in this formulation.…

High Energy Physics - Lattice · Physics 2019-12-06 Hiroki Makino , Okuto Morikawa

A new approach of implementing initial and boundary conditions for the lattice Boltzmann method is presented. The new approach is based on an extended collision operator that uses the gradients of the fluid velocity. The numerical…

comp-gas · Physics 2009-10-22 P. A. Skordos

The derived bracket of a Maurer-Cartan element in a differential graded Lie algebra (DGLA) is well-known to define a differential graded Leibniz algebra. It is also well-known that a Lie infinity morphism between DGLAs maps a Maurer-Cartan…

Differential Geometry · Mathematics 2018-07-24 Camille Laurent-Gengoux , Mohsen Masmoudi

We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also…

Commutative Algebra · Mathematics 2014-03-24 Liam O'Carroll , Francesc Planas-Vilanova , Rafael H. Villarreal

The notorious Wigner's friend thought experiment (and modifications thereof) has in recent years received renewed interest especially due to new arguments that force us to question some of the fundamental assumptions of quantum theory. In…

Quantum Physics · Physics 2021-05-18 Philippe Allard Guérin , Veronika Baumann , Flavio Del Santo , Časlav Brukner

Feynman perturbation theory for nonabelian gauge theory in light-like gauge is investigated. A lattice along two space-like directions is used as a gauge invariant ultraviolet regularization. For preservation of the polinomiality of action…

High Energy Physics - Theory · Physics 2014-11-21 M. S. Karnevskiy , S. A. Paston

In this work we prove a new $L^p$ holomorphic extension result for functions defined on product Lipschitz surfaces with small Lipschitz constants in two complex variables. We define biparameter and partial Cauchy integral operators that…

Classical Analysis and ODEs · Mathematics 2015-04-02 Jarod Hart , Alessandro Monguzzi

We extend our studies of a quantum field model defined on a lattice having the dilation group as a local gauge symmetry. The model is relevant in the cross-disciplinary area of econophysics. A corresponding proposal by Ilinski aimed at…

Computational Finance · Quantitative Finance 2011-12-13 B. Dupoyet , H. R. Fiebig , D. P. Musgrove

In our previous work, we proposed the logic obtained from full non-associative Lambek calculus by adding a sort of linear-logical modality. We call this logic non-associative non-commutative intuitionistic linear logic ($\mathbf{NACILL}$,…

Logic · Mathematics 2020-03-04 Hiromi Tanaka

We provide a rigorous and asymptotically exact expression of the mutual information of translationally invariant free fermionic lattice systems in a Gibbs state. In order to arrive at this result, we introduce a novel frameworkfor computing…

Quantum Physics · Physics 2015-06-12 H. Bernigau , M. J. Kastoryano , J. Eisert

The bicovariant differential calculi on quantum groups of Woronowicz have the drawback that their dimensions do not agree with that of the corresponding classical calculus. In this paper we discuss the first-order differential calculus…

q-alg · Mathematics 2009-10-30 Gustav W. Delius

We study the capability property of Leibniz algebras via the non-abelian exterior product.

K-Theory and Homology · Mathematics 2019-01-29 Emzar Khmaladze , Revaz Kurdiani , Manuel Ladra

This is the sixth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part VI), we construct the appropriate…

Quantum Algebra · Mathematics 2012-05-14 Yi-Zhi Huang , James Lepowsky , Lin Zhang

We consider a family {P} of determinantal point processes arising in representation theory and random matrix theory. The processes live on the one-dimensional lattice and their correlation kernels correspond to projection operators in the…

Probability · Mathematics 2013-03-04 Grigori Olshanski