相关论文: Quantifier elimination and minimality conditions i…
As shown in a previous paper, whenever a rational vector field on $\mathbb C^n$, $n>2$, is Liouvillian integrable, then it admits a first integral obtained by two successive integrations from a one-form with coefficients in a finite…
Large language models have shown exceptional capabilities in a wide range of tasks, such as text generation and video generation, among others. However, due to their massive parameter count, these models often require substantial storage…
Goal of this review is to introduce the algebraic approach to quantum field theory on curved backgrounds. Based on a set of axioms, first written down by Haag and Kastler, this method consists of a two-step procedure. In the first one, a…
We propose a new quantifier elimination algorithm for the theory of linear real arithmetic. This algorithm uses as subroutine satisfiability modulo this theory, a problem for which there are several implementations available. The quantifier…
In this short review we first recall combinatorial or ($0-$dimensional) quantum field theory (QFT). We then give the main idea of a standard QFT method, called the intermediate field method, and we review how to apply this method to a…
The satisfiability problem in real closed fields is decidable. In the context of satisfiability modulo theories, the problem restricted to conjunctive sets of literals, that is, sets of polynomial constraints, is of particular importance.…
The massive non-Abelian gauge fields are quantized Lorentz-covariantly in the Hamiltonian path-integral formalism. In the quantization, the Lorentz condition, as a necessary constraint, is introduced initially and incorporated into the…
For a field k, let G be a reductive k-group and V an affine k-variety on which G acts. Using the notion of cocharacter-closed G(k)-orbits in V, we prove a rational version of the celebrated Hilbert-Mumford Theorem from geometric invariant…
The recognition problem for attribute-value grammars (AVGs) was shown to be undecidable by Johnson in 1988. Therefore, the general form of AVGs is of no practical use. In this paper we study a very restricted form of AVG, for which the…
Work of Eagle, Farah, Goldbring, Kirchberg, and Vignati shows that the only separable C*-algebras that admit quantifier elimination in continuous logic are $\mathbb{C},$ $\mathbb{C}^2,$ $M_2(\mathbb{C}),$ and the continuous functions on the…
We formulate a Kalman-style realization theory for discrete-time affine LPV systems. By an affine LPV system we mean an LPV system whose matrices are affine functions of the scheduling parameter. In this paper we characterize those…
A novel reduction procedure for covariant classical field theories, reflecting the generalized symplectic reduction theory of Hamiltonian systems, is presented. The departure point of this reduction procedure consists in the choice of a…
Topological quantum field theory (TQFT) is a powerful tool to describe homologies, which normally involve complexes and a variety of maps/morphisms, what makes a functional integration approach with a sum over a single kind of maps…
A review is made on some recent studies which support the point of view that the relativistic field theory quantized on the light-front (LF) is more transparent compared to the conventional equal-time one. The discussion may be of relevance…
Building over recent results, we expand the basic theory of algebraic extensions to the realm of superfields -a field with multivalued sum and product-, showing that every superfield has a (unique up to isomorphism) strong algebraic…
For any fundamental quantum field theory, unitarity, renormalizability, and relativistic invariance are considered to be essential properties. Unitarity is inevitably connected to the probabilistic interpretation of the quantum theory,…
Within the geometrical framework developed in arXiv:0705.2362, the problem of minimality for constrained calculus of variations is analysed among the class of differentiable curves. A fully covariant representation of the second variation…
We establish precise spectral criteria for potential functions $V$ of reflectionless Schr\"odinger operators $L_V = -\partial_x^2 + V$ to admit solutions to the Korteweg de-Vries (KdV) hierarchy with $V$ as an initial value. More generally,…
The explicit realizations of quantum field theory (QFT) admitted by a revision to the Wightman axioms for the vacuum expectation values (VEV) of fields includes massless particles when there are four or more spacetime dimensions.
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…