相关论文: Eliminating Field Quantifiers in Strongly Dependen…

The purpose of this article is to investigate relations between W-superalgebras and integrable super-Hamiltonian systems. To this end, we introduce the generalized Drinfel'd-Sokolov (D-S) reduction associated to a Lie superalgebra $g$ and…

We study the algebraic implications of the non-independence property (NIP) and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a…

Suppose that $K$ is an infinite field which is large (in the sense of Pop) and whose first order theory is simple. We show that $K$ is {\em bounded}, namely has only finitely many separable extensions of any given finite degree. We also…

It has long been claimed that the antisymmetric tensor field of the second rank is pure longitudinal after quantization. In my opinion, such a situation is quite unacceptable. I repeat the well-known procedure of the derivation of the set…

Dependency quantified Boolean formulas (DQBFs) are a powerful formalism, which subsumes quantified Boolean formulas (QBFs) and allows an explicit specification of dependencies of existential variables on universal variables. Driven by the…

I consider a Langevin equation with field-dependent kernels and investigate supersymmetry of the stochastic generating functional constructed from the Langevin equation. Moreover I describe the stochastic generating functional in terms of a…

We propose in this paper a quantization scheme for real Klein-Gordon field in de Sitter spacetime. Our scheme is generally covariant with the help of vierbein, which is necessary usually for spinor field in curved spacetime. We first…

We show that the vanishing of higher derived limits of the system $\mathbf{A}_\kappa$ implies the additivity of strong homology on the class of locally compact metric spaces of weight at most $\kappa$, thereby establishing a converse to a…

We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian…

For valued fields $K$ of rank higher than 1, we describe how elements in the henselization $K^h$ of $K$ can be approximated from within $K$; our result is a handy generalization of the well-known fact that in rank 1, all of these elements…

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

We present a superfield formulation of the quantization program for theories with first class constraints. An exact operator formulation is given, and we show how to set up a phase-space path integral entirely in terms of superfields. BRST…

We continue our analysis of establishing the reliability of "simple" effective theories where massive fields are "frozen" rather than integrated out, in a wide class of four dimensional theories with global or local N=1 supersymmetry. We…

We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically…

We introduce an abstract framework to study certain classes of stably embedded pairs of models of a complete $\mathcal{L}$-theory $T$, called \textit{beautiful pairs}, which comprises Poizat's belles paires of stable structures and van den…

We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with analytic structure,…

We present a survey of rigourous quantization results obtained in recent works on quantum free fields in de Sitter space. For the "massive'' cases which are associated to principal series representations of the de Sitter group SO\_0(1,4),…

We consider the O(3) or CP(1) nonlinear sigma model as an effective field theory in a derivative expansion, with the most general Lagrangian that obeys O(3), parity and Lorentz symmetry. We work out the complete list of possible operators…

Let $K$ be an algebraically closed field of arbitrary characteristic. Let $A$ be an affine domain over $K$ with transcendence degree 1 which is not isomorphic to $K[x]$, and let $B$ be a domain over $K$. We show that the AK invariant…

Steinberg showed that when a finite reflection group acts on a real or complex vector space of finite dimension, the Jacobian determinant of a set of basic invariants factors into linear forms which define the reflecting hyperplanes. This…