English
Related papers

Related papers: Quantifier Elimination for Valued Fields Equipped …

200 papers

A random field that is empirically equivalent to the quantized electromagnetic field is constructed. A mapping between the creation and annihilation operator algebras of a random field and of the quantized electromagnetic field provides a…

Quantum Physics · Physics 2011-10-11 Peter Morgan

We establish a correspondence between automorphisms and derivations on certain algebras of generalised power series. In particular, we describe a Lie algebra of derivations on a field $k(\!(G)\!)$ of generalised power series, exploiting our…

Rings and Algebras · Mathematics 2025-09-23 Vincent Bagayoko , Lothar Sebastian Krapp , Salma Kuhlmann , Daniel Panazzolo , Michele Serra

We show that if a field k contains sufficiently many elements(for instance, if k is infinite), and K is an algebraically closed field containing k, then every linear algebraic k-group over K is k-isomorphic to Aut(A\otimes_kK), where A is a…

Rings and Algebras · Mathematics 2007-05-23 Nikolai L. Gordeev , Vladimir L. Popov

This is an introduction to the author theory of cyclic p-extensions of an absolutely unramified complete discrete valuation field K with arbitrary residue field of characteristic p. In this theory a homomorphism is constructed from the…

Number Theory · Mathematics 2009-09-25 Masato Kurihara

We present a rigorous and functorial quantization scheme for affine field theories, i.e., field theories where local spaces of solutions are affine spaces. The target framework for the quantization is the general boundary formulation,…

High Energy Physics - Theory · Physics 2012-09-10 Robert Oeckl

We are concerned with the issue of quantization of a scalar field in a diffeomorphism invariant manner. We apply the method used in Loop Quantum Gravity. It relies on the specific choice of scalar field variables referred to as the polymer…

General Relativity and Quantum Cosmology · Physics 2009-11-11 Wojciech Kaminski , Jerzy Lewandowski , Marcin Bobienski

Recent improvement on Tarski's procedure for quantifier elimination in the first order theory of real numbers makes it feasible to solve small instances of the following problems completely automatically: 1. listing all equality and…

Artificial Intelligence · Computer Science 2013-01-30 Dan Geiger , Christopher Meek

In this article we further develop the theory of valuation independence and study its relation with classical notions in valuation theory such as immediate and defectless extensions. We use this general theory to settle two open questions…

Commutative Algebra · Mathematics 2018-03-28 Anna Blaszczok , Pablo Cubides Kovacsics , Franz-Viktor Kuhlmann

Let $C$ be the class of separable-algebraically maximal equi-characteristic Kaplansky fields of a given imperfection degree, admitting an angular component map. We prove that the common theory of the class $C$ resplendently eliminates…

Logic · Mathematics 2025-05-13 Paulo Andrés Soto Moreno

It is natural to consider a quantum system in the continuum limit of space-time configuration. Incorporating also, Einstein's special relativity, leads to the quantum theory of fields. Non-relativistic quantum mechanics and classical…

Quantum Physics · Physics 2007-05-23 A. C. Manoharan

We resolve an algebraic version of Schoenberg's celebrated theorem [Duke Math.J., 1942] characterizing entrywise matrix transforms that preserve positive definiteness. Compared to the classical real and complex settings, we consider…

Rings and Algebras · Mathematics 2026-02-05 Dominique Guillot , Himanshu Gupta , Prateek Kumar Vishwakarma , Chi Hoi Yip

We use generalized Taylor formulae in order to give some simple constructions in the real closure of an \ovfz. We deduce a new, simple quantifier elimination algorithm for \rcvfs and some theorems about constructible subsets of real…

Commutative Algebra · Mathematics 2022-02-14 Mari-Emi Alonso , Henri Lombardi

There are several equivalent characterizations of the valuation rank of an ordered or valued field. In this paper, we extend the theory to the case of an ordered or valued {\it difference} field (that is, ordered or valued field endowed…

Logic · Mathematics 2018-11-08 Salma Kuhlmann , Mickael Matusinski , Francoise Point

Let $ k $ be a field, $ G $ a totally ordered abelian group and $ \mathbb K = k((G)) $ the maximal field of generalised power series, endowed with the canonical valuation $ v $. We study the group $ v \mathrm{-Aut} K $ of valuation…

Commutative Algebra · Mathematics 2022-05-16 Salma Kuhlmann , Michele Serra

Quantum field theory unifies concepts from quantum theory and from special relativity. Its mathematically rigorous description is quite intricate and is only partially understood; this is particularly true for the construction of operators…

Mathematical Physics · Physics 2015-05-04 Henning Bostelmann

We continue the work of Kaplansky on immediate valued field extensions and determine special properties of elements in such extensions. In particular, we are interested in the question when an immediate valued function field of…

Commutative Algebra · Mathematics 2013-04-02 Franz-Viktor Kuhlmann , Izabela Vlahu

The problems encountered in trying to quantize the various cosmological models, are brought forward by means of a concrete example. The Automorphism groups are revealed as the key element through which G.C.T.'s can be used for a general…

General Relativity and Quantum Cosmology · Physics 2011-07-19 T. Christodoulakis

The quantization of noncommutative scalar field theory is studied from the matrix model point of view, exhibiting the significance of the eigenvalue distribution. This provides a new framework to study renormalization, and predicts a phase…

High Energy Physics - Theory · Physics 2007-05-23 Harold Steinacker

One of the traditional ways of introducing bosons and fermions is through creation-annihilation algebras. Historically, these have been associated with emission and absorption processes at the quantum level and are characteristic of the…

Quantum Physics · Physics 2026-04-15 Nicolás Medina Sánchez , Borivoje Dakić

The new axiomatic system for the quantum field theory is proposed. The new axioms are the description of the distributions. For the finite series these distributions satisfy the linear Wightman axioms.

High Energy Physics - Theory · Physics 2008-11-26 Yury M. Zinoviev