Related papers: Differential Meadows
We consider an operator-differential expression of the form $$ \ell y=\frac{d^m}{dx^m}\Big(By^{(n)}+Cy\Big), \quad 0<x<1, $$ where $B$ is a linear bounded invertible operator, while $C$ is some finite-dimensional linear operator relatively…
We show that any second order linear ordinary diffrential equation with constant coefficients (including the damped and undumped harmonic oscillator equation) admits an exact discretization, i.e., there exists a difference equation whose…
We introduce a new prescription for quantising scalar field theories perturbatively around a true minimum of the full quantum effective action, which is to `complete normal order' the bare action of interest. When the true vacuum of the…
The main scope of this paper is to introduce valuation semirings in general and discrete valuation semirings in particular. In order to do that, first we define valuation maps and investigate them. Then we define valuation semirings with…
We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent. The part of this characterisation that…
We consider finite quantum systems defined by a mixed set of commutation and anti-commutation relations between components of the Hamiltonian operator. These relations are represented by an anti-commutativity graph which contains a…
A new class of noncommutative $k$-algebras (for $k$ an algebraically closed field) is defined and shown to contain some important examples of quantum groups. To each such algebra, a first order theory is assigned describing models of a…
We study natural differential operators transforming two tensor fields into a tensor field. First, it is proved that all bilinear operators are of order one, and then we give the full classification of such operators in several concrete…
Consider an algorithm computing in a differential field with several commuting derivations such that the only operations it performs with the elements of the field are arithmetic operations, differentiation, and zero testing. We show that,…
Comparison of $1$-dimensional distance functions is a basic tool in Alexandrov geometry and it is used to characterize spaces with curvature bounded above or below. For the zero curvature bound there is a differential inequality which…
We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove…
Fix a manifold M, and let V be an infinite dimensional Lie algebra of vector fields on M. Assume that V contains a finite dimensional semisimple maximal subalgebra A, the projective or conformal subalgebra. A projective or conformal…
The realization of a nonlocal quantum field theory without losing unitarity, gauge invariance and causality is investigated. It is commonly retained that such a formulation is possible at tree level, but at quantum level acausality…
We show that a general miraculous cancellation formula, the divisibility of certain characteristic numbers and some other topologiclal results are con- sequences of the modular invariance of elliptic operators on loop spaces. Previously we…
Using the theory of Properly Embedded Graphs developed in an earlier work we define an involutory duality on the set labeled non-crossing trees that lifts the obvious duality in the set of unlabeled non-crossing trees. The set of…
We study the Zariski cancellation problem for Poisson algebras asking whether $A[t]\cong B[t]$ implies $A\cong B$ when $A$ and $B$ are Poisson algebras. We resolve this affirmatively in the cases when $A$ and $B$ are both connected graded…
Differential equation discovery, a machine learning subfield, is used to develop interpretable models, particularly in nature-related applications. By expertly incorporating the general parametric form of the equation of motion and…
A deformed differential calculus is developed based on an associative star-product. In two dimensions the Hamiltonian vector fields model the algebra of pseudo-differential operator, as used in the theory of integrable systems. Thus one…
In this note we consider the problem of integrality of Zariski decompositions for pseudoeffective integral divisors on algebraic surfaces. We show that while sometimes integrality of Zariski decompositions forces all negative curves to be…
The concept of $\lambda$-differential operators is a natural generalization of differential operators and difference operators. In this paper, we determine the $\lambda$-differential Lie algebraic structure on the Witt algebra and the…