arXiv++ Combinatorics

We consider a bounded set $P \subset \mathbb{R}^d$ and the lattice-point enumerator $L_P(t) = |tP \cap \mathbb{Z}^d|$ for real $t > 0$. We show that if two bounded measurable sets with boundary of measure zero have the same real-parameter lattice-point enumerators for all integer translates, then their indicator functions agree almost everywhere. As a corollary, any convex body is uniquely determined by this data. Our proof is short and Fourier-analytic, where the key device is a periodic point-counting function whose Fourier coefficients recover the Fourier transform of the indicator function on a dense set. This recovers and extends, with a unified argument, the uniqueness results for rational polytopes and symmetric convex bodies established by Royer [arXiv:1712.01973, arXiv:1712.03937], whose proofs relied on intricate case-specific geometric constructions.

We give a sharp lower bound to the largest possible Euclidean norm of signed sums of $n$ vectors in the plane. This is achieved by connecting the signed vector sum problem to the isoperimetric problem for the circumradius of polygons. In turn, we apply the sharp bound for the signed vector sum problem to establish a sharp lower bound to the circumradius of the Minkowski sum of $n$ planar symmetric convex bodies. We also determine a tight lower bound to the circumradius of the Minkowski sum of general convex bodies in any dimension independent of their number.

We settle the Hadwiger-Boltyanski Illumination Conjecture for all 1-unconditional convex bodies in ${\mathbb R}^3$ and in ${\mathbb R}^4$. Moreover, we settle the conjecture for those higher-dimensional 1-unconditional convex bodies which have at least one coordinate hyperplane projection equal to the corresponding projection of the circumscribing rectangular box. Finally, we confirm the conjectured equality cases of the Illumination Conjecture within the subclass of 1-unconditional bodies which, just like the cube $[-1,1]^n$, have no extreme points on coordinate subspaces. Our methods are combinatorial, and the illuminating sets that we use consist primarily of small perturbations of the standard basis vectors. In particular, we build on ideas and constructions from [Sun-Vritsiou, "On the illumination of 1-symmetric convex bodies", preprint available at arXiv:2407.10314], and mainly on the notion of 'deep illumination' introduced there.

In ["Illumination of convex bodies with many symmetries", Mathematika 63 (2017)], Tikhomirov verified the Hadwiger-Boltyanski Illumination Conjecture for the class of 1-symmetric convex bodies of sufficiently large dimension. We propose an alternative approach which allows us to settle the conjecture for this class in all dimensions in a uniform way. We also demonstrate that an alternative approach was indeed needed for the low dimensions. Finally, with this alternative method it is possible to solely use illuminating sets which consist of pairs of opposite directions; we thus also answer a question by Lassak, who has suggested this may be possible for any origin-symmetric convex body. As a consequence of this, we can also confirm the X-ray conjecture by Bezdek and Zamfirescu for all 1-symmetric convex bodies.

In this paper, we prove that if $K$ is an $o$-symmetric cylinder and $L$ is an $o$-symmetric convex body in $\mathbb R^3$, then the logarithmic Minkowski inequality \[\frac{1}{V(K)}\int_{\mathbb S^{2}}\log\frac{h_L}{h_K}\,dV_K\geq\frac{1}{3}\log\frac{V(L)}{V(K)}\] holds, with equality if and only if $K$ and $L$ are relative cylinders.

In the stochastic online vector balancing problem, vectors $v_1,v_2,\ldots,v_T$ chosen independently from an arbitrary distribution in $\mathbb{R}^n$ arrive one-by-one and must be immediately given a $\pm$ sign. The goal is to keep the norm of the discrepancy vector, i.e., the signed prefix-sum, as small as possible for a given target norm. We consider some of the most well-known problems in discrepancy theory in the above online stochastic setting, and give algorithms that match the known offline bounds up to $\mathsf{polylog}(nT)$ factors. This substantially generalizes and improves upon the previous results of Bansal, Jiang, Singla, and Sinha (STOC' 20). In particular, for the Komlós problem where $\|v_t\|_2\leq 1$ for each $t$, our algorithm achieves $\tilde{O}(1)$ discrepancy with high probability, improving upon the previous $\tilde{O}(n^{3/2})$ bound. For Tusnády's problem of minimizing the discrepancy of axis-aligned boxes, we obtain an $O(\log^{d+4} T)$ bound for arbitrary distribution over points. Previous techniques only worked for product distributions and gave a weaker $O(\log^{2d+1} T)$ bound. We also consider the Banaszczyk setting, where given a symmetric convex body $K$ with Gaussian measure at least $1/2$, our algorithm achieves $\tilde{O}(1)$ discrepancy with respect to the norm given by $K$ for input distributions with sub-exponential tails. Our key idea is to introduce a potential that also enforces constraints on how the discrepancy vector evolves, allowing us to maintain certain anti-concentration properties. For the Banaszczyk setting, we further enhance this potential by combining it with ideas from generic chaining. Finally, we also extend these results to the setting of online multi-color discrepancy.

We present a family of sharpness examples for Falconer-type single dot product results. In particular, for $d\geq 2,$ for any $s<\frac{d+1}{2},$ we construct a Borel probability measure $μ$ satisfying the energy estimate $I_s(μ)<\infty,$ yet the estimate \begin{equation} (μ\times μ)\{(x,y):1\leq x\cdot y \leq 1+ε\} \leq Cε\end{equation} does not hold with constants independent of $ε$. It is known (\cite{EIT11}) that such an estimate always holds with $C$ independent of $ε$ if $I_{\frac{d+1}{2}}(μ)<\infty$. Thus our estimate proves the sharpness of the dimensional threshold in this result and generalizes similar results (\cite{Mat95}, \cite{IS16}) established in the case when the dot product $x \cdot y$ is replaced by the Euclidean distance function $|x-y|$, or, more generally, ${||x-y||}_K$, the distance that comes from the norm induced by a symmetric convex body $K$ with a smooth boundary and non-vanishing curvature. Our constructions are partially based on ideas that come from discrete incidence theory.

In a previous paper, we showed how to use the Ehrhart function $L_P(s)$, defined by $L_P(s) = \#(sP \cap \mathbb Z^d)$, to reconstruct a polytope $P$. More specifically, we showed that, for rational polytopes $P$ and $Q$, if $L_{P + w}(s) = L_{Q + w}(s)$ for all integer vectors $w$, then $P = Q$. In this paper we show the same result, but assuming that $P$ and $Q$ are symmetric convex bodies instead of rational polytopes.

The "Mahler volume" is, intuitively speaking, a measure of how "round" a centrally symmetric convex body is. In one direction this intuition is given weight by a result of Santalo, who in the 1940s showed that the Mahler volume is maximized, in a given dimension, by the unit sphere and its linear images, and only these. A counterpart to this result in the opposite direction is proposed by a conjecture, formulated by Kurt Mahler in the 1930s and still open in dimensions 4 and greater, asserting that the Mahler volume should be minimized by a cuboid. In this article we present a seemingly new proof of the 2-dimensional case of this conjecture via the probabilistic method. The central idea is to show that either deleting a random pair of edges from a centrally symmetric convex polygon, or deleting a random pair of vertices, reduces the Mahler volume with positive probability.

We show that the maximum number of pairwise intersecting positive homothets of a $d$-dimensional centrally symmetric convex body, none of which contains the center of another in its interior, is at most $3^{d+1}$. Also, we improve upper bounds for cardinalities of $k$-distance sets in Minkowski spaces.

Answering a question of Füredi and Loeb (1994), we show that the maximum number of pairwise intersecting homothets of a $d$-dimensional centrally symmetric convex body $K$, none of which contains the center of another in its interior, is at most $O(3^d d\log d)$. If $K$ is not necessarily centrally symmetric and the role of its center is played by its centroid, then the above bound can be replaced by $O(3^d\binom{2d}{d}d\log d)$. We establish analogous results for the case where the center is defined as an arbitrary point in the interior of $K$. We also show that in the latter case, one can always find families of at least $Ω((2/\sqrt{3})^d)$ translates of $K$ with the above property.

Minkowski's 2nd theorem in the Geometry of Numbers provides optimal upper and lower bounds for the volume of a $o$-symmetric convex body in terms of its successive minima. In this paper we study extensions of this theorem from two different points of view: either relaxing the symmetry condition, assuming that the centroid of the set lies at the origin, or replacing the volume functional by the surface area.

We give bounds on the successive minima of an $o$-symmetric convex body under the restriction that the lattice points realizing the successive minima are not contained in a collection of forbidden sublattices. Our investigations extend former results to forbidden full-dimensional lattices, to all successive minima and complement former results in the lower dimensional case.

Minkowski's second theorem on successive minima asserts that the volume of a 0-symmetric convex body K over the covolume of a lattice Λcan be bounded above by a quantity involving all the successive minima of K with respect to Λ. We will prove here that the number of lattice points inside K can also accept an upper bound of roughly the same size, in the special case where K is an ellipsoid. Whether this is also true for all K unconditionally is an open problem, but there is reasonable hope that the inductive approach used for ellipsoids could be extended to all cases.

We prove that if $φ: {\Bbb R}^d \times {\Bbb R}^d \to {\Bbb R}$, $d \ge 2$, is a homogeneous function, smooth away from the origin and having non-zero Monge-Ampere determinant away from the origin, then $$ R^{-d} # \{(n,m) \in {\Bbb Z}^d \times {\Bbb Z}^d: |n|, |m| \leq CR; R \leq φ(n,m) \leq R+δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}.$$ This is a variable coefficient version of a result proved by Lettington in \cite{L10}, extending a previous result by Andrews in \cite{A63}, showing that if $B \subset {\Bbb R}^d$, $d \ge 2$, is a symmetric convex body with a sufficiently smooth boundary and non-vanishing Gaussian curvature, then $$ # \{k \in {\mathbb Z}^d: dist(k, R \partial B) \leq δ\} \lesssim \max \{R^{d-2+\frac{2}{d+1}}, R^{d-1} δ\}. (*)$$ Furthermore, we shall see that the same argument yields a non-isotropic analog of $(*)$, one for which the exponent on the right hand side is, in general, sharp, even in the infinitely smooth case. This sheds some light on the nature of the exponents and their connection with the conjecture due to Wolfgang Schmidt on the distribution of lattice points on dilates of smooth convex surfaces in ${\Bbb R}^d$.