arXiv++ Combinatorics

Erdos, Herzog and Piranian asked whether, for $n$ points in the plane with fixed diameter (maximum distance between points), an arrangement of a regular $n$-gon maximizes their product of all pairs of distances. Recently, it was discovered that, for every even $n \geq 4$, a regular $n$-gon is not a maximizer. However, the discovered improvement turns out to be very small. Indeed, for a fixed diameter of $2$, let $Δ$ be the square of the product of all pairs of distances (the "square" is here due to connections with polynomial discriminants). Then, for a regular $n$-gon, $Δ= n^n$ for even $n$. The discovered arrangements have proven $Δ= (1+o(1))n^n$ thus far, and it was not known whether one can have $Δ\geq C n^n$ for some $C > 1$ and all sufficiently large even $n$. In this note, we show that indeed $\liminf_{n\to\infty} Δ_{\max}/n^n > 1.037$ for even $n$ which settles this conjecture. Other arrangements with higher conjectured $Δ/n^n$ values are in fact known, but we have not been able to obtain proofs that they have large products of distances. Finally, no arrangements such that $Δ/n^n \to \infty$ are known and we do not know whether they exist.

We describe computer programs accompanying our paper and show that running them suffices to verify Fuglede's conjecture in $\mathbb{Z}_2^5$ and $\mathbb{Z}_2^6$.

Motivated by the open problem of exhibiting a subset of Euclidean space which has no exponential Riesz basis, we focus on exponential Riesz bases in finite abelian groups. We point out that that every subset of a finite abelian group has such a basis, removing interest in the existence question in this context. We then define tightness quantities for subsets to measure the conditioning of Riesz bases; for normalized tightness quantities, a value of one corresponds to an orthogonal basis, and a value of infinity corresponds to nonexistence of a basis. As an application, we obtain new weak evidence in favor of the open problem by giving a sequence of subsets of finite abelian groups whose tightness quantities go to infinity in the limit. We also prove that the Cartesian product of a set with a finite abelian group has the same tightness quantities as the original set. Lastly, under an additional hypothesis, explicit bounds are given for tightness quantities in terms of a subset's lowest multi-tiling level by a subgroup and its geometric configuration. This establishes a quantitative link between discrete geometry and harmonic analysis in this setting.

In this paper, we construct an injection $A \times B \rightarrow M \times M$ from the product of any two nonempty subsets of the symmetric group into the square of their midpoint set, where the metric is that corresponding to the conjugacy class of transpositions. If $A$ and $B$ are disjoint, our construction allows to inject two copies of $A \times B$ into $M \times M$. These injections imply a positively curved Brunn-Minkowski inequality for the symmetric group analogous to that obtained by Ollivier and Villani for the hypercube. However, while Ollivier and Villani's inequality is optimal, we believe that the curvature term in our inequality can be improved. We identify a hypothetical concentration inequality in the symmetric group and prove that it yields an optimally curved Brunn-Minkowski inequality.