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

Cluckers and Lipshitz have shown that real closed fields equipped with real analytic structure are o-minimal. This generalizes the well-known subanalytic structure $\mathbb{R}_{\mathrm{an}}$ on the real numbers. We extend this line of…

This note gives an introduction to Lagrangian field theories in the presence of boundaries. After an overview of the classical aspects, the cohomological formalisms to resolve singularities in the bulk and in the boundary theories (the BV…

Three major misconceptions concerning quantized tachyon fields: the energy spectrum unbounded from below, the frame-dependent and unstable vacuum state, and the non-covariant commutation rules, are shown to be a result of misrepresenting…

Gauge invariant regularization of quantum field theory in the framework of Light-Front (LF) Hamiltonian formalism via introducing a lattice in transverse coordinates and imposing boundary conditions in LF coordinate $x^-$ for gauge fields…

Reducible constrained Hamiltonian systems are quantized accordingly an irreducible BRST manner. Our procedure is based on the construction of an irreducible theory which is physically equivalent with the original one. The equivalence…

Chevalley's theorem on the images of morphisms of schemes and the principle of quantifier elimination for the theory of algebraically closed fields are widely understood to be two perspectives on the same theorem. In this paper, we…

We investigate a class of spatially covariant vector field theories on a flat background, where the Lagrangians are constructed as polynomials of first-order derivatives of the vector field. Because Lorentz and $\mathrm{U}(1)$ invariances…

In this paper, we prove weak elimination of imaginaries for perfect bounded pseudo-algebraically closed fields equipped with finitely many independent valuations. Our approach combines an extension result for types to invariant types with…

Let $K$ be an algebraically closed field of characteristic different from $2$. We provide a positive solution to the Bahturin--Regev conjecture in the general finite-dimensional (non-graded) setting, assuming that $\operatorname{char}(K)$…

An extension of the notion of classical equivalence of equivalence in the Batalin--(Fradkin)--Vilkovisky (BV) and (BFV) framework for local Lagrangian field theory on manifolds possibly with boundary is discussed. Equivalence is phrased in…

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…

Liouville field theory is considered with boundary conditions corresponding to a quantization of the classical Lobachevskiy plane (i.e. euclidean version of $AdS_2$). We solve the bootstrap equations for the out-vacuum wave function and…

We show that the Kashiwara-Vergne (KV) problem for quadratic Lie algebras (that is, Lie algebras admitting an invariant scalar product) reduces to the problem of representing the Campbell-Hausdorff series in the form…

We present a general simplification of quantified SMT formulas using variable elimination. The simplification is based on an analysis of the ground terms occurring as arguments in function applications. We use this information to generate a…

We perform a canonical, reduced phase space quantisation of General Relativity by Loop Quantum Gravity (LQG) methods. The explicit construction of the reduced phase space is made possible by the combination of 1. the Brown -- Kuchar…

The algebra of volume-preserving vector fields is considered. The potentials for that fields are introduced, and induced algebra of potentials is considered. It is shown, that this algebra fails to satisfy the Jacoby identity. Analogy with…

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…

Multiplicative-Additive System Virtual (MAV) is a logic that extends Multiplicative-Additive Linear Logic with a self-dual non-commutative operator expressing the concept of "before" or "sequencing". MAV is also an extenson of the the logic…

Given two $n$-element structures, $\mathcal{A}$ and $\mathcal{B}$, which can be distinguished by a sentence of $k$-variable first-order logic ($\mathcal{L}^k$), what is the minimum $f(n)$ such that there is guaranteed to be a sentence $\phi…

We investigate atomicity of free algebras and various forms of amalgamation for BL and MV algebras, and also Heyting algebras, though the latter algebras may not be linearly ordered, so strictly speaking their corresponding intuitionistic…