Related papers: Division by zero in common meadows

We generalize the concept of a field by allowing addition to be a partial operation. We show that elements of such a "partially additive field" share many similarities with physical quantities. In particular, they form subsets of mutually…

The basis for the field theory are properties of the closed exterior differential forms (skew-symmetric differential forms defined on manifolds with the closed metric forms), which reflect properties of the conservation laws for physical…

The absolute separation of a polynomial is the minimum nonzero difference between the absolute values of its roots. In the case of polynomials with integer coefficients, it can be bounded from below in terms of the degree and the height…

We give a simple proof of the splitting lemma in singularity theory, also known as generalized Morse lemma, for formal power series over arbitrary fields. Our proof for the uniqueness of the residual part in any characteristic is new and…

Moderate deviations for random complex zeroes are deduced from a new theorem on moderate deviations for random fields.

Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field…

The space of derivations of finite dimensional evolution algebras associated to graphs over a field with characteristic zero has been completely characterized in the literature. In this work we generalize that characterization by describing…

Using kicked differential equations of motion with derivatives of noninteger orders, we obtain generalizations of the dissipative standard map. The main property of these generalized maps, which are called fractional maps, is long-term…

The primes or prime polynomials (over finite fields) are supposed to be distributed `irregularly' , despite nice asymptotic or average behavior. We provide some conjectures/guesses/hypotheses with `evidence' of surprising symmetries in…

In this paper, we extend the notion of a merge tree to that of a generalized merge tree, a merge tree that includes 1-dimensional cycle birth information. Given a discrete Morse function on a $1$-dimensional regular CW complex, we construct…

We show that C-minimal fields (i.e., C-minimal expansions of ACVF) have the exchange property, answering a question of Haskell and Macpherson. Additionally, we strengthen some theorems of Cubides Kovacsics and Delon on C-minimal fields.…

We introduce the model-companion of the theory of fields expanded by a unary function for a multiplicative map, which we call ACFH. Among others, we prove that this theory is NSOP$_1$ and not simple, that the kernel of the map is a generic…

We consider a scalar quantum field theory, in which the interaction takes the form of a field cutoff; the energy diverges to infinity whenever the value of the field at some point falls outside a finite interval. In a simple…

In this paper we form a general conservation law that unifies a class of physics field theories. For this we first introduce the notion of a general field as a formal sum differential forms on a Minkowski manifold. Thereafter, we employ the…

Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions,…

In computable analysis testing a real number for being zero is a fundamental example of a non-computable task. This causes problems for division: We cannot ensure that the number we want to divide by is not zero. In many cases, any real…

The concept of descent algebras over a field of characteristic zero is extended to define descent algebras over a field of prime characteristic. Some basic algebraic structure of the latter, including its radical and irreducible modules, is…

For a general class of non-negative functions defined on integral ideals of number fields, upper bounds are established for their average over the values of certain principal ideals that are associated to irreducible binary forms with…

We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…

The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…