Related papers: On the imaginary part of the characteristic functi…

It is shown that affine functions are the only continuous real valued functions on R whose integrals with respect to compactly supported probability measures depend only on the mean value of the measure.

Let $G = H\times A$ be a group, where $H$ is a purely non-abelian subgroup of $G$ and $A$ is a non-trivial abelian factor of $G$. Then, for $n \geq 2$, we show that there exists an isomorphism $\phi : Aut_{Z(G)}^{\gamma_{n}(G)}(G)…

Let X be an affine irreducible variety over an algebraically closed field k of characteristic zero. Given an automorphism F, we denote by k(X)^F its field of invariants, i.e. the set of rational functions f on X such that f(F)=f. Let n(F)…

We compute characteristic functionals of Dirichlet-Ferguson measures over a locally compact Polish space and prove continuous dependence of the random measure on the parameter measure. In finite dimension, we identify the dynamical symmetry…

The aim of this paper is to investigate the cone of non-negative, radial, positive-definite functions in the set of continuous functions on $\R^d$. Elements of this cone admit a Choquet integral representation in terms of the extremals. The…

Despite a sea of interpretability methods that can produce plausible explanations, the field has also empirically seen many failure cases of such methods. In light of these results, it remains unclear for practitioners how to use these…

Let $F$ be the function field of a projective smooth geometrically connected curve $X$ defined over a finite field $\mathbb{F}_q$. Let $G$ be a split semisimple algebraic group over $\mathbb{F}_q$. Let $S$ be a non-empty finite set of…

If an outer (multilinear) commutator identity holds in a large subgroup of a group, then it holds also in a large characteristic subgroup. Similar assertions are valid for algebras and their ideals or subspaces. Varying the meaning of the…

Let $T$ be a theory. If $T$ eliminates $\exists^\infty$, it need not follow that $T^{eq}$ eliminates $\exists^\infty$, as shown by the example of the $p$-adics. We give a criterion to determine whether $T^{eq}$ eliminates $\exists^\infty$.…

Pairs $\aa \subset \bb$ of local quantum field theories are studied, where $\aa$ is a chiral conformal \qft and $\bb$ is a local extension, either chiral or two-dimensional. The local correlation functions of fields from $\bb$ have an…

Suppose that $F$ is a smooth and connected complex surface (not necessarily compact) containing a smooth rational curve with positive self-intersection. We prove that if there exists a non-constant meromorphic function on $F$, then the…

We obtain results concerning the so-called factorization for the convergence of random variables almost everywhere (almost surely or with probability one), belonging to the classical Lebesgue-Riesz spaces and we extend these results to the…

We discuss several tests for whether a given set of independent and identically distributed (i.i.d.) draws does not come from a specified probability density function. The most commonly used are Kolmogorov-Smirnov tests, particularly…

Let G be a finite, complex reflection group and f its discriminant polynomial. The fibers of f admit commuting actions of G and a cyclic group. The virtual $G\times C_m$ character given by the Euler characteristic of the fiber is a…

The aim of the paper is to give a full characterization of functions f from I into the real line R (where I is an interval in R that satisfies certain natural conditions) such that for any I-valued positive definite kernel K defined on an…

A new integral identity for functions with continuous second partial derivatives is derived. It is shown that the value of any function f(r,t) at position r and time t is completely determined by its previous values at all other locations…

The famous theorem of Belyi can be viewed as a characterization of compact Riemann surfaces which admit a non-empty open subset uniformized by a subgroup of $SL_2(\mathbb{Z})$ of finite index. I show that if $q\geq 5$, then ${\bf F}_q(T)$…

We show that part I of uniform Martin's conjecture follows from a local phenomenon, namely that if a non-constant Turing invariant function goes from the Turing degree $\boldsymbol x$ to the Turing degree $\boldsymbol y$, then $\boldsymbol…

We describe a proof of the Central Limit Theorem that has been formally verified in the Isabelle proof assistant. Our formalization builds upon and extends Isabelle's libraries for analysis and measure-theoretic probability. The proof of…

Within the framework of mappings between affine spaces, the notion of $n$-th polarization of a function will lead to an intrinsic characterization of polynomial functions. We prove that the characteristic features of derivations, such as…