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

We give foundational results for the model theory of the ring of finite adeles over a number field, construed as a restricted product of local fields. In contrast to Weispfenning we work in the language of ring theory, and various sortings…

For a quantale $\V$, first a closure-theoretic approach to completeness and separation in $\V$-categories is presented. This approach is then generalized to $\Tth$-categories, where $\Tth$ is a topological theory that entails a set monad…

The Lorentz-covariant quantization performed in the Hamiltonian path-integral formalism for massless non-Abelian gauge fields has been achieved. In this quantization, the Lorentz condition, as a constraint, must be introduced initially and…

It is a theorem of Ribet that an abelian variety defined over a number field $K$ has only finitely many torsion points with values in the maximal cyclotomic extension field $K^{\mathrm{cyc}}$ of $K$. Recently, R\"ossler and Szamuely…

Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…

In this note, we show that the algebraic K-theory of generalized archimedean valuation rings occurring in Durov's compactification of the spectrum of a number ring is given by stable homotopy groups of certain classifying spaces. We also…

The paper considers a boundary value problem for the high-order Lavrent'ev-Bitsadze equation. Necessary and sufficient conditions for the uniqueness of the solution are found. When substantiating the existence, the problem of "small…

Generalizations of the q-Onsager algebra are introduced and studied. In one of the simplest case and q=1, the algebra reduces to the one proposed by Uglov-Ivanov. In the general case and $q\neq 1$, an explicit algebra homomorphism…

Quantization procedure of the Gardner-Zakharov-Faddeev and Magri brackets by means of the fermionic representation for the KdV field is considered. It is shown that in both cases the corresponding Hamiltonians are given as sums of two well…

The growing size of Large Language Models (LLMs) makes efficient inference challenging, primarily due to the memory demands of the autoregressive Key-Value (KV) cache. Existing eviction or compression methods reduce cost but rely on…

We introduce the notion of $V$-minimality, for $V$ a smooth vector field on a Riemannian manifold, a natural extension of the classical notion of minimality, and we prove several basic properties. One featured example is given for locally…

These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…

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…

Some mathematical questions relating to Coset Conformal Field Theories (CFT) are considered in the framework of Algebraic Quantum Field Theory as developed previously by us. We consider the issue of fixed point resolution in the diagonal…

Given a generically finite local extension of valuation rings $V \subset W$, the question of whether $W$ is the localization of a finitely generated $V$-algebra is significant for approaches to the problem of local uniformization of…

Divergences that arise in the quantization of scalar quantum field models by means of a lattice-space functional integration may be attributed to a single integration variable, and this fact is demonstrated by showing that if the integrand…

Application of the so-called refined algebraic quantization scheme for constrained systems to the relativistic particle provides an inner product that defines a unique Fock representation for a scalar field in curved space-time. The…

The multilevel geometrically--covariant generalization of the field--antifield BV--formalism is suggested. The structure of quantum generating equations and hypergauge conditions is studied in details. The multilevel formalism is…

We present a rigorous quantization scheme that yields a quantum field theory in general boundary form starting from a linear field theory. Following a geometric quantization approach in the K\"ahler case, state spaces arise as spaces of…

In [1] we proved a strengthened Kochen-Specker theorem in 3 dimensions: non-contextual hidden variable (NCHV) models cannot reproduce all the quantum correlations of two compatible observables, which is a minimal requirement imposed on the…