Related papers: Quantifier elimination for quasi-real closed field…

We consider the problem of Partial Quantifier Elimination (PQE). Given formula exists(X)[F(X,Y) & G(X,Y)], where F, G are in conjunctive normal form, the PQE problem is to find a formula F*(Y) such that F* & exists(X)[G] is logically…

Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…

We study the quantization of certain classical field theories using reflection positivity. We give elementary conditions that ensure the resulting vacuum state is cyclic for products of quantum field operators, localized in a bounded…

In the present paper we propose a new approach to quantum fields in terms of category algebras and states on categories. We define quantum fields and their states as category algebras and states on causal categories with partial involution…

We quantize massive vector theory in such a way that it has a well-defined massless limit. In contrast to the approach by St\"uckelberg where ghost fields are introduced to maintain manifest Lorentz covariance, we use reduced phase space…

We encapsulate the basic notions of the theory of vertex algebras into the construction of a comonad on an appropriate category of formal distributions. Vertex algebras are recovered as coalgebras over this comonad.

When a quantum field theory in $d$-spacetime dimensions possesses a global $(d-1)$-form symmetry, it can decompose into disjoint unions of other theories. This is reflected in the physical quantities of the theory and can be used to study…

A few quasi-exactly solvable models are studied within the quantum Hamilton-Jacobi formalism. By assuming a simple singularity structure of the quantum momentum function, we show that the exact quantization condition leads to the condition…

We proceed to the canonical quantization of the complex scalar field without making use of its real and imaginary parts. Our motivation is to formally connect, as tightly as possible, the quantum-field notions of particle and antiparticle -…

We study the question of how reliably one can distinguish two quantum field theories (QFTs). Each QFT defines a probability distribution on the space of fields. The relative entropy provides a notion of proximity between these distributions…

We apply quantum field theory in quantum space-time techniques to study the Casimir effect for large spherical shells. As background we use the recently constructed exact quantum solution for spherically symmetric vacuum space-time in loop…

Regularization of quantum field theories (QFT's) can be achieved by quantizing the underlying manifold (spacetime or spatial slice) thereby replacing it by a non-commutative matrix model or a ``fuzzy manifold'' . Such discretization by…

A discussion of different criteria of consistency of quantum field theory from the point of view of physics and mathematics.

A quasi-order is a binary, reflexive and transitive relation. In the Journal of Pure and Applied Algebra 45 (1987), S.M. Fakhruddin introduced the notion of (totally) quasi-ordered fields and showed that each such field is either an ordered…

We give a purely algebraic treatment of reduction theory for connections over the formal punctured disc. Our proofs apply to arbitrary connected linear algebraic groups over an algebraically closed field of characteristic 0. We also state…

Conformal quantum field theory is reviewed in the perspective of Axiomatic, notably Algebraic QFT. This theory is particularly developped in two spacetime dimensions, where many rigorous constructions are possible, as well as some complete…

Jet formalism provides the adequate mathematical formulation of classical field theory, reviewed in hep-th/0612182v1. A formulation of QFT compatible with this classical one is discussed. We are based on the fact that an algebra of…

We improve results of Belair, Macintyre, and Scanlon on valued fields with a valuation preserving automorphism by weakening their assumptions on the residue difference field. In the equicharacteristic zero case we also determine the induced…

Using Araki-Yamagami's characterization of quasi-equivalence for quasi-free representations of the CCRs, we provide an abstract criterion for the existence of isomorphisms of second quantization local von Neumann algebras induced by…

We consider the model theoretic notion of convex orderability, which fits strictly between the notions of VC-minimality and dp-minimality. In some classes of algebraic theories, however, we show that convex orderability and VC-minimality…