Related papers: Positive definite functions in distance geometry
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…
A spherical two-distance set is a finite collection of unit vectors in $\reals^n$ such that the set of distances between any two distinct vectors has cardinality two. We use the semidefinite programming method to compute improved estimates…
The paper introduces new sufficient conditions of strict positive definiteness for kernels on d-dimensional spheres which are not radially symmetric but possess specific coefficient structures. The results use the series expansion of the…
We generalize the Sarkozy-Furstenberg theorem on squares in difference sets of integers, and show that, given any positive definite function f:Z_N->C with density at least r(N), where r(N)=O((\log N)^{-c}), there is a perfect square s<=N/2…
We give partial generalizations of the classical Descartes' rule of signs to multivariate polynomials (with real exponents), in the sense that we provide upper bounds on the number of connected components of the complement of a hypersurface…
We study some sequences of functions of one real variable and conjecture that they converge uniformly to functions with certain positivity and growth properties. Our conjectures imply a conjecture of Cohn and Elkies, which in turn implies…
In previous work, we proposed a general framework of positive topological field theories (TFTs) based on Eilenberg's notion of summation completeness for semirings. In the present paper, we apply this framework in constructing explicitly a…
Let $\Pi_n^d$ denote the space of all spherical polynomials of degree at most $n$ on the unit sphere $\sph$ of $\mathbb{R}^{d+1}$, and let $d(x, y)$ denote the usual geodesic distance $\arccos x\cdot y$ between $x, y\in \sph$. Given a…
In this note we give a recursive formula for the derivatives of isotropic positive definite functions on the Hilbert sphere. We then use it to prove a conjecture stated by Tr\"ubner and Ziegel, which says that for a positive definite…
Positive definite functions of compact support are widely used for radial basis function approximation as well as for estimation of spatial processes in geostatistics. Several constructions of such functions for ${\mathbb R}^d$ are based…
An elementary construction using binary codes gives new record kissing numbers in dimensions from 32 to 128.
Making use of integral representations, we develop a unified approach to establish blow up profiles, compactness and existence of positive solutions of the conformally invariant equations $P_\sigma(v)= Kv^{\frac{n+2\sigma}{n-2\sigma}}$ on…
Sphere recognition is known to be undecidable in dimensions five and beyond, and no polynomial time method is known in dimensions three and four. Here we report on positive and negative computational results with the goal to explore the…
For a locally compact group $G$ and compact subgroup $K$, we consider a Delsarte-type extremal problem for $G$-invariant positive definite kernels on the homogeneous space $G/K$, generalising a certain Tur\'an problem for isotropic positive…
We establish a precise relation between the modular bootstrap, used to constrain the spectrum of 2D CFTs, and the sphere packing problem in Euclidean geometry. The modular bootstrap bound for chiral algebra $U(1)^c$ maps exactly to the…
We improve upper bounds on sphere packing densities and sizes of spherical codes in high dimensions. In particular, we prove that the maximal sphere packing densities $\delta_n$ in $\mathbb{R}^n$ satisfy \[\delta_n\leq \frac{1+o(1)}{e}\cdot…
The average kissing number of $\mathbb{R}^n$ is the supremum of the average degrees of contact graphs of packings of finitely many balls (of any radii) in $\mathbb{R}^n$. We provide an upper bound for the average kissing number based on…
In this paper we will turn our attention to the problem of obtaining phase-space probability density functions. We will show that it is possible to obtain functions which assume only positive values over all its domain of definition.
Let H be a closed half-space of n-dimensional Euclidean space. Suppose S is a unit sphere in H that touches the supporting hyperplane of H. The one-sided kissing number B(n) is the maximal number of unit nonoverlapping spheres in H that can…
The problem of packing a system of particles as densely as possible is foundational in the field of discrete geometry and is a powerful model in the material and biological sciences. As packing problems retreat from the reach of solution by…