Related papers: Quantifier elimination and minimality conditions i…

We perform an analysis of the ultraviolet divergences of the quantum nonprojectable Horava gravity. We work the quantum field theory directly in the Hamiltonian formalism provided by the Batalin-Fradkin-Vilkovisky quantization. In this way…

Let L be a finite dimensional simple Lie algebra over an algebraically closed field of characteristic p>3. We prove in this paper that if all tori of maximal dimansion in the semisimple p-envelope of L are standard, the L is up to…

Studies of geometrical theories suggest that fundmental problems of quantization arise from the disparate usage of displacement operators. These may be the source of a concealed inconsistency in the accepted formalism of quantum physics.…

We introduce the 3-alterfold topological quantum field theory (TQFT) by extending the quantum invariant of 3-alterfolds. The bases of the TQFT are explicitly characterized and the Levin-Wen model is naturally interpreted in 3-alterfold TQFT…

Let $X$ be an irreducible algebraic variety over $\mathbb{C}$, endowed with an algebraic foliation ${\cal{F}}$. In this paper, we introduce the notion of minimal invariant variety $V({\cal{F}},Y)$ with respect to $({\cal{F}},Y)$, where $Y$…

We consider a general reducible gauge theory deformed by mass or/and interaction terms violating gauge invariance. It is shown that in the Abelian case, by using the Stueckelberg-type procedure, this theory with broken gauge symmetry can be…

We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the…

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…

Reinforcement learning with verifiable rewards (RLVR) is a practical, scalable way to improve large language models on math, code, and other structured tasks. However, we argue that many headline RLVR gains are not yet well validated…

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…

We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach…

We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname{DCF}_p$ and…

Some basic topics in the light-front (LF) quantization of relativistic field theory are reviewed. It is argued that the LF quantization is equally appropriate as the conventional one and that they lead, assuming the micro- causality…

We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the…

The purpose of this note is to establish the following theorem: Let N be a Kahler manifold, L be a compact oriented immersed minimal Lagrangian submanifold in N and V be a holomorphic vector field in a neighbourhood of L in N. Let div(V) be…

We are concerned with the relaxation and existence theories of a general class of geometrical minimisation problems, with action integrals defined via differential forms over fibre bundles. We find natural algebraic and analytic conditions…

Some aspects of the algebraic quantization programme proposed by Ashtekar are revisited in this article. It is proved that, for systems with first-class constraints, the involution introduced on the algebra of quantum operators via reality…

We prove the Kawamata-Viehweg vanishing theorem for surfaces of del Pezzo type over imperfect fields of characteristic $p > 5$. As a consequence, we deduce the Grauert-Riemenschneider vanishing theorem for excellent divisorial log terminal…

Entanglement has long been the subject of discussion by philosophers of quantum theory, and has recently come to play an essential role for physicists in their development of quantum information theory. In this paper we show how the…

Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…