Related papers: Positivity Certificates via Integral Representatio…

We develop a framework for function classes generated by parametric ridge kernels: one-dimensional kernels composed with affine projections and averaged over a parameter measure. The induced kernels are positive definite, and the resulting…

The property of isotonicity of a continuous convex function defined on the entire space or only on the positive cone is characterized via subdifferentials. Numerous examples illustrating the obtained results are included.

Let $\gamma_{-1}$ be the absolutely continuous measure on $\mathbb{R}^n$ whose density is the reciprocal of a Gaussian function. Let further $\mathscr{A}$ be the natural self-adjoint Laplacian on $L^2(\gamma_{-1})$. In this paper, we prove…

We characterize a holomorphic positive definite function $f$ defined on a horizontal strip of the complex plane as the Fourier-Laplace transform of a unique exponentially finite measure on $\mathbb{R}$. The classical theorems of Bochner on…

We revisit the problem of property testing for convex position for point sets in $\mathbb{R}^d$. Our results draw from previous ideas of Czumaj, Sohler, and Ziegler (ESA 2000). First, the algorithm is redesigned and its analysis is revised…

All extremal solutions of the truncated $L$-problem of moments in two real variables , with support contained in a given compact set, are described as characteristic functions of semi-algebraic sets given by a single polynomial inequality.…

We consider the lower-triangular matrix of generating polynomials that enumerate $k$-component forests of rooted trees on the vertex set $[n]$ according to the number of improper edges (generalizations of the Ramanujan polynomials). We show…

The paper investigates the properties of certain biorthogonal polynomials appearing in a specific simultaneous Hermite-Pade' approximation scheme. Associated to any totally positive kernel and a pair of positive measures on the positive…

We introduce a notion of Hecke-monicity for functions on certain moduli spaces associated to torsors of finite groups over elliptic curves, and show that it implies strong invariance properties under linear fractional transformations.…

Let $d\in \mathbb{N}$ and let $\gamma_i\in [0,\infty)$, $x_i\in (0,1)$ be such that $\sum_{i=1}^{d+1} \gamma_i = M\in (0,\infty)$ and $\sum_{i=1}^{d+1} x_i = 1$. We prove that \begin{equation*} a \mapsto \frac{\Gamma(aM +…

The Kantorovich-Rubinshtein metric is an $L^1$-like metric on spaces of probability distributions that enjoys several serendipitous properties. It is complete separable if the underlying metric space of points is complete separable, and in…

For arbitrary Coxeter systems, we prove that inverse Kazhdan-Lusztig polynomials satisfy a monotonicity property. This follows from the validity of Soergel's conjecture and the existence of injective morphisms between Rouquier complexes in…

We investigate structural properties of the cone of roots of relative Steiner polynomials of convex bodies. We prove that they are closed, monotonous with respect to the dimension, and that they cover the whole upper half-plane, except the…

Let $\gamma_{-1}$ be the absolutely continuous measure on $\mathbb{R}^n$ whose density is the reciprocal of a Gaussian and consider the natural weighted Laplacian $\mathcal{A}$ on $L^2(\gamma_{-1})$. In this paper, we prove boundedness and…

Suppose that $k$ and $N$ are positive integers. Let $f$ be a newform on $\Gamma_0(N)$ of weight $k$ with $L$-function $L_f(s)$. Previous works have studied the zeros of the period polynomial $r_f(z)$, which is a generating function for the…

We develop a general and unconditional framework for certifying the global nonnegativity of multivariate integer polynomials; based on rewriting them as sum of squares modulo their gradient ideals. We remove the two structural assumptions…

In this work we investigate the transfer of fundamental order and completeness properties between truncated Riesz spaces and their unitizations. Specifically, we provide characterizations and equivalences for several notions of…

Strong asymptotics of polynomials orthogonal on the unit circle with respect to a weight of the form $$ W(z) = w(z) \prod_{k=1}^m |z-a_k|^{2\beta_k}, \quad |z|=1, \quad |a_k|=1, \quad \beta_k>-1/2, \quad k=1, ..., m, $$ where $w(z)>0$ for…

We characterize real functions $f$ on an interval $(-\alpha,\alpha)$ for which the entrywise matrix function $[a_{ij}] \mapsto [f(a_{ij})]$ is positive, monotone and convex, respectively, in the positive semidefiniteness order. Fractional…

We present a Riesz integral representation theory in which functions, operators and measures take values in uniform commutative monoids (a commutative monoid with a uniformity making the binary operation of the monoid uniformly continuous).…