Related papers: A P\'olya criterion for (strict) positive definite…

Given a measure $\mu$ on the unit sphere $\partial\mathbb{B}^d$ in $\mathbb{C}^d$ with Lebesgue decomposition ${\rm d} \mu = w \, {\rm d} \sigma + {\rm d} \mu_s$, with respect to the rotation-invariant Lebesgue measure $\sigma$ on $\partial…

We examine homogeneous metrics on spheres and determine which ones have positive sectional curvature. The answer is subtle and surprisingly difficult to prove. In some cases we also determine their pinching constants. This completes the…

Denote by $N_{\cal N} (\Omega,\lambda)$ the counting function of the spectrum of the Neumann problem in the domain $\Omega$ on the plane. G. P\'olya conjectured that $N_{\cal N} (\Omega,\lambda) \ge (4\pi)^{-1} |\Omega| \lambda$. We prove…

It is known that spheres have negative type, but only subsets with at most one pair of antipodal points have strict negative type. These are conditions on the (angular) distances within any finite subset of points. We show that subsets with…

The following theorem on the circle group $\mathbb{T}$ is due to Norbert Wiener: If $f\in L^{1}\left( \mathbb{T}\right) $ has non-negative Fourier coefficients and is square integrable on a neighbourhood of the identity, then $f\in…

A result of P\'olya states that every sequence of quadrature formulas $Q_n(f)$ with $n$ nodes and positive numbers converges to the integral $I(f)$ of a continuous function $f$ provided $Q_n(f)=I(f)$ for a space of algebraic polynomials of…

Characterizing in a constructive way the set of real functions whose Fourier transforms are positive appears to be yet an open problem. Some sufficient conditions are known but they are far from being exhaustive. We propose two constructive…

We investigate the notion of conditionally positive definite in the context of Hilbert $C^*$-modules and present a characterization of the conditionally positive definiteness in terms of the usual positive definiteness. We give a Kolmogorov…

Tchakaloff's theorem from 1957 asserts the existence of exact quadrature rules with non-negative weights for any polynomial space of finite degree on $\mathbb{R}^d$ if the underlying measure is positive, compactly supported, and absolutely…

The complete positivity, i.e., positivity of the resolvent kernels, for convolutional kernels is an important property for the positivity property and asymptotic behaviors of Volterra equations. We inverstigate the discrete analogue of the…

We prove some Liouville-type theorems for positive harmonic functions on compact Riemannian manifolds with nonnegative Ricci curvature and strictly convex boundary, thereby confirming some cases of Wang's conjecture (J. Geom. Anal. 31,…

We obtain some Liouville type theorems for positive harmonic functions on compact Riemannian manifolds with nonnegative Ricci curvature and strictly convex boundary and partially verifies Wang's conjecture (J. Geom. Anal. 31 (2021)). For…

A function of positive type can be defined as a positive functional on a convolution algebra of a locally compact group. In the case where the group is abelian, by Bochner's theorem a function of positive type is, up to normalization, the…

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…

We say that Wiener's property holds for the exponent $p>0$ if we have that whenever a positive definite function $f$ belongs to $L^p(-\epsilon,\epsilon)$ for some $\epsilon>0$, then $f$ necessarily belongs to $L^p(\TT)$, too. This holds…

For a 4th order 3-dimensional symmetric tensor with its some entries $1$ or $-1$, we show the analytic sufficient and necessary conditions of its positive definiteness. By applying these conclusions, several strict inequalities is bulit for…

We introduce the notion of strongly orthogonal set relative to an element in the sense of Birkhoff-James in a normed linear space to find a necessary and sufficient condition for an element $ x $ of the unit sphere $ S_{X}$ to be an exposed…

Deciding the positivity of a sequence defined by a linear recurrence and initial conditions is, in general, a hard problem. When the coefficients of the recurrences are constants, decidability has only been proven up to order 5. The…

In this article, I introduce a group-theoretical method to prove positivity of certain linear combinations (with coefficients generally lying in $\mathbb{C}$) of exponential functions under a set of semidefinite linear constraints. The…

We consider a kernel based harmonic analysis of "boundary," and boundary representations. Our setting is general: certain classes of positive definite kernels. Our theorems extend (and are motivated by) results and notions from classical…