arXiv++ Combinatorics

We study point configurations on the torus $\mathbb T^d$ that minimize interaction energies with tensor product structure which arise naturally in the context of discrepancy theory and quasi-Monte Carlo integration. Permutation sets on $\mathbb T^2$ and Latin hypercube sets in higher dimensions (i.e. sets whose projections onto coordinate axes are equispaced points) are natural candidates to be energy minimizers. We show that such point configurations that have only one distance in the vector sense minimize the energy for a wide range of potentials, in other words, such sets satisfy a tensor product version of universal optimality. This applies, in particular, to three- and five-point Fibonacci lattices. We also characterize all lattices with this property and exhibit some non-lattice sets of this type. In addition, we obtain several further structural results about global and local minimizers of tensor product energies.

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 $σ(B) \cdot N$ by at least $N^{1/2 - 1/2d}$, where $σ$ is the normalized surface measure. We refine the result and show that, when $d \not\equiv 1 ~(\mbox{mod}~4)$, there exists a (small and very specific) set of real numbers such that for every $r>0$ from the set one is always guaranteed to find a spherical cap $C_r$ with the given radius $r$ for which the result holds. The main new ingredient is a generalization of the notion of badly approximable numbers to the setting of Gegenbauer polynomials: these are fixed numbers $ x \in (-1,1)$ such that the sequence of Gegenbauer polynomials $(C_n^λ(x))_{n=1}^{\infty}$ avoids being close to 0 in a precise quantitative sense.

This paper is devoted to spherical measures and point configurations optimizing three-point energies. Our main goal is to extend the classic optimization problems based on pairs of distances between points to the context of three-point potentials. In particular, we study three-point analogues of the sphere packing problem and the optimization problem for $p$-frame energies based on three points. It turns out that both problems are inherently connected to the problem of nearly orthogonal sets by Erdős. As the outcome, we provide a new solution of the Erdős problem from the three-point packing perspective. We also show that the orthogonal basis uniquely minimizes the $p$-frame three-point energy when $0<p<1$ in all dimensions. The arguments make use of multivariate polynomials employed in semidefinite programming and based on the classical Gegenbauer polynomials. For $p=1$, we completely solve the analogous problem on the circle. As for higher dimensions, we show that the Hausdorff dimension of minimizers is not greater than $d-2$ for measures on $\mathbb{S}^{d-1}$. As the main ingredient of our proof, we show that the only isotropic measure without obtuse angles is the uniform distribution over an orthonormal basis.

We provide new answers about the placement of mass on spheres so as to minimize energies of pairwise interactions. We find optimal measures for the $p$-frame energies, i.e. energies with the kernel given by the absolute value of the inner product raised to a positive power $p$. Application of linear programming methods in the setting of projective spaces allows for describing the minimizing measures in full in several cases: we show optimality of tight designs and of the $600$-cell for several ranges of $p$ in different dimensions. Our methods apply to a much broader class of potential functions, those which are absolutely monotonic up to a particular order as functions of the cosine of the geodesic distance. In addition, a preliminary numerical study is presented which suggests optimality of several other highly symmetric configurations and weighted designs in low dimensions. In one case we improve the best known lower bounds on a minimal sized weighted design in $\mathbb{CP}^4$. All these results point to the discreteness of minimizing measures for the $p$-frame energy with $p$ not an even integer.

It is well-known that for every $N \geq 1$ and $d \geq 1$ there exist point sets $x_1, \dots, x_N \in [0,1]^d$ whose discrepancy with respect to the Lebesgue measure is of order at most $(\log N)^{d-1} N^{-1}$. In a more general setting, the first author proved together with Josef Dick that for any normalized measure $μ$ on $[0,1]^d$ there exist points $x_1, \dots, x_N$ whose discrepancy with respect to $μ$ is of order at most $(\log N)^{(3d+1)/2} N^{-1}$. The proof used methods from combinatorial mathematics, and in particular a result of Banaszczyk on balancings of vectors. In the present note we use a version of the so-called transference principle together with recent results on the discrepancy of red-blue colorings to show that for any $μ$ there even exist points having discrepancy of order at most $(\log N)^{d-\frac12} N^{-1}$, which is almost as good as the discrepancy bound in the case of the Lebesgue measure.

In the current paper we obtain discrepancy estimates in exponential Orlicz and BMO spaces in arbitrary dimension $d \ge 3$. In particular, we use dyadic harmonic analysis to prove that for the so-called digital nets of order $2$ the BMO${}^d$ and $\exp \big( L^{2/(d-1)} \big)$ norms of the discrepancy function are bounded above by $(\log N)^{\frac{d-1}{2}}$. The latter bound has been recently conjectured in several papers and is consistent with the best known low-discrepancy constructions. Such estimates play an important role as an intermediate step between the well-understood $L_p$ bounds and the notorious open problem of finding the precise $L_\infty$ asymptotics of the discrepancy function in higher dimensions, which is still elusive.