Related papers: Positive definite functions in distance geometry
We show that if a closed discrete subset $A \subseteq \mathbf{R}^d$ is denser than a certain critical threshold, then $A$ is a Fourier uniqueness set, while if $A$ is sparser, then uniqueness fails and one can prescribe arbitrary values for…
This paper is concerned with the construction of positive definite functions on a cartesian product of quasi-metric spaces using generalized Stieltjes and complete Bernstein functions. The results we prove are aligned with a…
In this paper we introduce a polynomial frame on the unit sphere $\sph$ of $\mathbb{R}^d$, for which every distribution has a wavelet-type decomposition. More importantly, we prove that many function spaces on the sphere $\sph$, such as…
We analyze Sz\"oll\H{o}si's recent construction of a conjecturally optimal five-dimensional kissing configuration and produce a new such configuration, the fourth to be discovered. We construct five-dimensional sphere packings from these…
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…
A long-standing open problem asks if there can exist 7 mutually unbiased bases (MUBs) in $\mathbb{C}^6$, or, more generally, $d + 1$ MUBs in $\mathbb{C}^d$ for any $d$ that is not a prime power. The recent work of Kolountzakis, Matolcsi,…
If $n \ge 3$, $q>2$ and $\beta > 0$ then the function $\exp(-(|x_1|^q+|x_2|^q+\dots+|x_n|^q)^{\beta/q})$\ is not positive definite. This result gives an answer to a question posed by I.J.~Schoenberg in 1938. This text is an authorized…
A classical theorem proved in 1942 by I.J. Schoenberg describes all real-valued functions that preserve positivity when applied entrywise to positive semidefinite matrices of arbitrary size; such functions are necessarily analytic with…
The representation of positive polynomials on a semi-algebraic set in terms of sums of squares is a central question in real algebraic geometry, which the Positivstellensatz answers. In this paper, we study the effective Putinar's…
With view to applications in stochastic analysis and geometry, we introduce a new correspondence for positive definite kernels (p.d.) $K$ and their associated reproducing kernel Hilbert spaces. With this we establish two kinds of…
In Descartes' five circle problem integer curvatures (inverse radii) are considered. The positive integer curvature triple [c_1, c_2, c_3] (dimensionless), with non-decreasing entries for three given mutually touching circles, leading to…
Polynomial, or Delsarte's, method in coding theory accounts for a variety of structural results on, and bounds on the size of, extremal configurations (codes and designs) in various metric spaces. In recent works of the authors the…
This paper investigates the behaviour of the kissing number $\kappa(n, r)$ of congruent radius $r > 0$ spheres in $\mathbb{S}^n$, for $n\geq 2$. Such a quantity depends on the radius $r$, and we plot the approximate graph of $\kappa(n, r)$…
The Falconer distinct distance problem asks for a compact set $E\subset\mathbb{R}^d$ how large its Hausdorff dimension needs to be to ensure that the Lebesgue measure of its distance set is positive. In this paper we consider the analogous…
Alfeld and Schumaker provide a formula for the dimension of the space of piecewise polynomial functions, called splines, of degree $d$ and smoothness $r$ on a generic triangulation of a planar simplicial complex $\Delta$, for $d \geq 3r+1$.…
We introduce five and higher dimensional $\gamma$-metrics. The higher dimensional metrics are exact solutions of the vacuum field equations and represent new types of singularities. For dimensions $d>5$ we have obtained $\gamma$-metrics in…
A celebrated result of Beck shows that for any set of $N$ points on $\mathbb{S}^d$ there always exists a spherical cap $B \subset \mathbb{S}^d$ such that number of points in the cap deviates from the expected value $\sigma(B) \cdot N$ by at…
Not every positive functional defined on bi-variate polynomials of a prescribed degree bound is represented by the integration against a positive measure. We isolate a couple of conditions filling this gap, either by restricting the class…
We generalize the recent work of Viazovska by constructing infinite families of Schwartz functions, suitable for Cohn-Elkies style linear programming bounds, using quasi-modular and modular forms. In particular for dimensions $d \equiv 0…
Functional and linear-algebraic approaches to the Delsarte problem of upper bounds on codes are discussed. We show that Christoffel-Darboux kernels and Levenshtein polynomials related to them arise as stationary points of the moment…