Related papers: Arity hierarchies for quantifiers closed under par…

We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and…

Modern statistical learning theory and deep learning characterize generalization primarily in terms of continuous capacity control (e.g., norm-based regularization, margin maximization, low-rank bias). While highly successful in continuous…

The geometric quantization of a symplectic manifold endowed with a prequantum bundle and a metaplectic structure is defined by means of an integrable complex structure. We prove that its semi-classical limit does not depend on the choice of…

Let $A$ be a central quantization of an affine Poisson variety $X$ over a field of characteristic $p>0.$ We show that the completion of $A$ with respect to a closed point $y\in X$ is isomorphic to the tensor product of the Weyl algebra with…

A characterization of the general linear equation in standard form admitting a maximal symmetry algebra is obtained in terms of a simple set of conditions relating the coefficients of the equation. As a consequence, it is shown that in its…

We argue that the finiteness of quantum gravity amplitudes in fully compactified theories (at least in supersymmetric cases) leads to a bottom-up prediction for the existence of non-trivial dualities. In particular, finiteness requires the…

We show that for almost every polynomial P(x,y) with complex coefficients, the difference of the logarithmic Mahler measures of P(x,y) and P(x,x^n) can be expanded in a type of formal series similar to an asymptotic power series expansion…

The objective of this paper is the proof of a conjecture of Kontsevich on the isomorphism between groups of polynomial symplectomorphisms and automorphisms of the corresponding Weyl algebra in characteristic zero. The proof is based on the…

We define some new algebraic structures, termed coloured Hopf algebras, by combining the coalgebra structures and antipodes of a standard Hopf algebra set $\cal H$, corresponding to some parameter set $\cal Q$, with the transformations of…

Generalizing deformation quantizations with separation of variables of a K\"ahler manifold $M$, we adopt Fedosov's gluing argument to construct a category $\mathsf{DQ}$, enriched over sheaves of $\mathbb{C}[[\hbar]]$-modules on $M$, as a…

Using a variation of the rainbow construction and various pebble and colouring games, we prove that RRA, the class of all representable relation algebras, cannot be axiomatised by any first-order relation algebra theory of bounded…

This is a common introduction to math.RT/0101170, math.RT/0306333, math.RT/0506043, math.RT/0601028. Compared to these references there are new results including (i) a description of a separable closure of an extension of transcendence…

An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative real exponents. We prove a quantifier elimination and a rectilinearisation…

We prove a finiteness theorem and a comparison theorem in the theory of \'etale cohomology of rigid analytic varieties. By a result of Huber, for a quasi-compact separated morphism of rigid analytic varieties with target being of dimension…

We identify new sufficiency conditions for coercivity of general multivariate polynomials $f\in\mathbb{R}[x]$ which are expressed in terms of their Newton polytopes at infinity and which consist of a system of affine-linear inequalities in…

Let $X$ be a complex manifold and $S\hookrightarrow X$ be an embedding of complex submanifold. Assuming that the embedding is $(k-1)$-linearizable or $(k-1)$-comfortably embedded, we construct via the deformation to the normal cone a…

Consider the polynomial ring in any finite number of variables over the complex numbers, endowed with the $\ell_1$-norm on the system of coefficients. Its completion is the Banach algebra of power series that converge absolutely on the…

Let $\mathcal{S}_H^0(K)$, $K\ge 1$, be the class of normalized $K$-quasiconformal harmonic mappings in the unit disk. We obtain Baernstein type extremal results for the analytic and co-analytic parts of functions in the geometric subclasses…

A theorem of Y. Berest, P. Etingof and V. Ginzburg states that finite dimensional irreducible representations of a type A rational Cherednik algebra are classified by one rational number m/n. Every such representation is a representation of…

We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past.…