相关论文: Quantifier elimination and minimality conditions i…

We present a unifying framework of residual domination for (expansions of) henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We show that the class of residually dominated types coincides…

This paper is mainly based on the talk I presented at the meeting "The Philosophy and Physics of Noether's Theorems" that took place 5-6 October 2018, but it also contains some original results that were inspired by discussions with…

This is the first in a series of papers on an attempt to understand quantum field theory mathematically. In this paper we shall introduce and study BV QFT algebra and BV QFT as the proto-algebraic model of quantum field theory by exploiting…

Clifford algebras are naturally associated with quadratic forms. These algebras are Z_2-graded by construction. However, only a Z_n-gradation induced by a choice of a basis, or even better, by a Chevalley vector space isomorphism Cl(V) <->…

We study interpretable sets in henselian and sigma-henselian valued fields with value group elementarily equivalent to Q or Z. Our first result is an Ax-Kochen-Ershov type principle for weak elimination of imaginaries in finitely ramified…

While non-contextual hidden-variable theories are proved to be impossible, contextual ones are possible. In a contextual hidden-variable theory, an observable is called a beable if the hidden-variable assigns its value in a given…

We present a new approach to the study of vacuum spacetimes with a Killing symmetry. The central quantity in this approach is the exterior derivative of the Killing vector field, which is a test electromagnetic field. Considering the…

We show here that the $\Lambda$ and V configurations of three-level atomic systems, while they have recently been shown to be equivalent for many important physical quantities when driven with classical fields [M. B. Plenio, Phys. Rev. A…

Reducible representations of CAR and CCR are applied to second quantization of Dirac and Maxwell fields. The resulting field operators are indeed operators and not operator-valued distributions. Examples show that the formalism may lead to…

Kontsevich's formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of…

We obtain a lower estimate for the Hilbert series of Jacobi algebras and their completions by providing analogue of the Golog-Shafarevich-Vinberg theorem for potential case. We especially treat non-homogeneous situation. This estimate…

We give an algorithm determining whether a hermiticity-preserving superoperator is positive. In our approach we apply techniques of quantifier elimination theory for real numbers. Furthermore, we argue that quantifier elimination theory…

We propose an alternative description of the spectrum of local fields in the classical limit of the integrable quantum field theories. It is close to similar constructions used in the geometrical treatment of W-gravities. Our approach…

This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras…

We review and summarize recent works on the relation between form factors in integrable quantum field theory and deformation of geometrical data associated to hyper-elliptic curves. This relation, which is based on a deformation of the…

Due to the works of S. Bozapalidis and A. Alexandrakis, there is a well-known characterization of recognizable weighted tree languages over fields in terms of finite-dimensionality of syntactic vector spaces. Here we prove a…

This paper reviews the progress made over the last five years in studying boundary conditions and semiclassical properties of quantum fields about 4-real-dimensional Riemannian backgrounds. For massless spin-${1\over 2}$ fields one has a…

We describe a canonical reduction of AKSZ-BV theories to the cohomology of the source manifold. We get a finite dimensional BV theory that describes the contribution of the zero modes to the full QFT. Integration can be defined and…

We exhibit a class of effective field theories that have hierarchically small Wilson coefficients for operators that are not protected by symmetries but are not finely tuned. These theories possess bounded target spaces and vacua that break…

We construct logarithmic conformal field theories starting from an ordinary conformal field theory -- with a chiral algebra C and the corresponding space of states V -- via a two-step construction: i) deforming the chiral algebra…