Abstract:$D$-optimal designs originate in statistics literature as an approach for optimal experimental designs. In numerical analysis points and weights resulting from maximal determinants turned out to be useful for quadrature and interpolation. Also recently, two of the present authors and coauthors investigated a connection to the discretization problem for the uniform norm. Here we use this approach of maximizing the determinant of a certain Gramian matrix with respect to points and weights for the construction of tight frames and exact Marcinkiewicz-Zygmund inequalities in $L_2$. We present a direct and constructive approach resulting in a discrete measure with at most $N \leq n^2+1$ atoms, which discretely and accurately subsamples the $L_2$-norm of complex-valued functions contained in a given $n$-dimensional subspace. This approach can as well be used for the reconstruction of functions from general RKHS in $L_2$ where one only has access to the most important eigenfunctions. We verifiably and deterministically construct points and weights for a weighted least squares recovery procedure and pay in the rate of convergence compared to earlier optimal, however probabilistic approaches. The general results apply to the $d$-sphere or multivariate trigonometric polynomials on $\mathbb{T}^d$ spectrally supported on arbitrary finite index sets~$I \subset \mathbb{Z}^d$. They can be discretized using at most $|I|^2-|I|+1$ points and weights. Numerical experiments indicate the sharpness of this result. As a negative result we prove that, in general, it is not possible to control the number of points in a reconstructing lattice rule only in the cardinality $|I|$ without additional condition on the structure of $I$. We support our findings with numerical experiments.

Bounds on energy and potentials of discrete measures on the sphere

Bounds on Discrete Potentials of Spherical (k,k)-Designs

Energy bounds for weighted spherical codes and designs via linear programming

Lower and upper bounds for configurations of points on a sphere

Bounds on Sphere Sizes in the Sum-Rank Metric and Coordinate-Additive Metrics

Odd strength spherical designs attaining the Fazekas–Levenshtein bound for covering and universal minima of potentials

Universal minima of discrete potentials for sharp spherical codes

Generating Probability Distributions on Intervals and Spheres: Convex Decomposition

Generating Probability Distributions on Intervals and Spheres with Application to Finite Element Method.

Geodesic Distance Riesz Energy on Projective Spaces

Spherical maximal functions and Hardy spaces for Fourier integral operators

Concentration of measure on spheres and related manifolds

Quantitative upper bounds on the Gromov-Hausdorff distance between spheres

Stability of sharp Fourier restriction to spheres

Exact discretization, tight frames and recovery via D-optimal designs

Free energy minimizers with radial densities: classification and quantitative stability

Bounds for Eigenvalue Sums of Schrödinger Operators with Complex Radial Potentials

Tighter bound estimation for efficient biquadratic optimization over unit spheres

Bounds on hyperbolic sphere packings: On a conjecture by Cohn and Zhao

New asymptotic estimates for spherical designs

Weighted Sums and Berry-Esseen type estimates in Free Probability Theory