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.

We investigate $L_2$-discrepancies of what we call weak Latin hypercubes. In this case it turns out that there is a precise equivalence between the extreme and periodic $L_2$-discrepancy which follows from a much broader result about generalized energies for weighted point sets. Motivated by this we study the asymptotics of the optimal $L_2$-discrepancy of weak Latin hypercubes. We determine asymptotically tight bounds for $d \geq 3$ and even the precise (dimension dependent) constant in front of the dominating term for $d \geq 4$.

We use linear programming bounds to analyze point sets in the torus with respect to their optimality for problems in discrepancy theory and quasi-Monte Carlo methods. These concepts will be unified by introducing tensor product energies. We show that the canonical $3$-point lattice in any dimension is globally optimal among all $3$-point sets in the torus with respect to a large class of such energies. This is a new instance of universal optimality, a special phenomenon that is only known for a small class of highly structured point sets. In the case of $d=2$ dimensions it is conjectured that so-called Fibonacci lattices should also be optimal with respect to a large class of potentials. To this end we show that the $5$-point Fibonacci lattice is globally optimal for a continuously parametrized class of potentials relevant to the analysis fo the quasi-Monte Carlo method.

The Union Closed Sets Conjecture states that in every finite, nontrivial set family closed under taking unions there is an element contained in at least half of all the sets of the family. We investigate two new directions with respect to the conjecture. Firstly, we investigate the frequencies of all elements among a union closed family and pose a question generalizing the Union Closed Sets Conjecture. Secondly, we investigate structures equivalent to union closed families and obtain a weakening of the Union Closed Sets Conjecture. We pose some new open questions about union closed families and related structures and hint at some further directions of research regarding the conjecture.