Reducing the Large Set Threshold for Oertel's Conjecture on the Mixed-Integer Volume

2025-10-29T13:53:49Z

In 1960, Grünbaum proved that for any convex body $C\subset\mathbb{R}^d$ and every halfspace $H$ containing the centroid of $C$, one has that the volume of $H\cap C$ is at least a $\frac{1}{e}$-fraction of the volume of $C$. Recently, in 2014, Oertel conjectured that a similar result holds for mixed-integer convex sets. Concretely, he proposed that for any convex body $C\subset \mathbb{R}^{n+d}$, there should exist a point $\mathbf{x} \in S=C\cap(\mathbb{Z}^{n}\times\mathbb{R}^d)$ such that for every halfspace $H$ containing $\mathbf{x}$, one has that \[ \mathcal{H}_d(H\cap S) \geq \frac{1}{2^n}\frac{1}{e}\mathcal{H}_d(S), \] where $\mathcal{H}_d$ denotes the $d$-dimensional Hausdorff measure. While the conjecture remains open, Basu and Oertel proved in 2017 that the above inequality holds true for sufficiently large sets, in terms of a measure known as the \emph{lattice width} of a set. In this work, by following a geometric approach, we improve this result by substantially reducing the threshold at which a set can be considered large. We reduce this threshold from an exponential to a polynomial dependency on the dimension, therefore significantly enlarging the family of mixed-integer convex sets over which Oertel's conjecture holds true.

Solutions to the discrete Pompeiu problem and to the finite Steinhaus tiling problem

2025-10-29T13:53:25Z

Let $K$ be a nonempty finite subset of the Euclidean space $\mathbb{R}^k$ $(k\ge 2)$. We prove that if a function $f\colon \mathbb{R}^k\to \mathbb{C}$ is such that the sum of $f$ on every congruent copy of $K$ is zero, then $f$ vanishes everywhere. In fact, a stronger, weighted version is proved. As a corollary we find that every finite subset $K$ of $\mathbb{R}^k$ having at least two elements is a Jackson set; that is, no subset of $\mathbb{R}^k$ intersects every congruent copy of $K$ in exactly one point.

Minimizing point configurations for tensor product energies on the torus

2025-10-29T12:09:16Z

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.

On a generalization of Godbersen's conjecture

2025-10-29T08:57:59Z

The long-standing Godbersen's conjecture asserts that the Rogers-Shephard inequality for the volume of the difference body is refined by an inequality for the mixed volume of a convex body and its reflection about the origin. The conjecture is known in several special cases, notably for anti-blocking convex bodies. In this note, we propose a generalization of Godbersen's conjecture that refines Schneider's generalization of the Rogers-Shephard inequality to higher-order difference bodies and prove our conjecture for anti-blocking convex bodies. Moreover, we relate the conjectured inequality to the higher-rank mixed volume defined by the author and Wannerer which leads to an equivalent formulation in terms of the Alesker product of smooth, translation invariant valuations.

Circle bundles with PSC over large manifolds

2025-10-29T02:27:55Z

We construct infinitely many examples of macroscopically large manifolds of dimension $m \geq 4$ equipped with circle bundles whose total spaces admit metrics of positive scalar curvature and have macroscopic dimension at most $\lceil m/2 \rceil + 1$. In particular, we answer a question of Gromov on the existence of circle bundles over enlargeable manifolds whose total spaces admit metrics of positive scalar curvature, in all dimensions. Our constructions are based on techniques from symplectic geometry.

When the conformal dimension of a self-affine sponge of Lalley-Gatzouras type is zero

2025-10-29T01:24:04Z

It is well known that if a metric space is uniformly disconnected, then its conformal dimension is zero. First, we characterize when a self-affine sponge of Lalley-Gatzouras type is uniformly disconnected. Thanks to this characterization, we show that a self-affine sponge of Lalley-Gatzouras type has conformal dimension zero if and only if it is uniformly disconnected.

Exact calculation of quantizer constants for arbitrary lattices

2025-10-27T17:44:09Z

We present an algorithm for the exact computer-aided construction of the Voronoi cells of lattices with known symmetry group. Our algorithm scales better than linearly with the total number of faces and is applicable to dimensions beyond 12, which previous methods could not achieve. The new algorithm is applied to the Coxeter-Todd lattice $K_{12}$ as well as to a family of lattices obtained from laminating $K_{12}$. By optimizing this family, we obtain a new 13-dimensional lattice, whose quantizer constant is smaller than any published at the time of submission. (For subsequent improvements, see Note added in proof after the Conclusions.)

A reverse entropy power inequality for i.i.d. log-concave random variables

2025-10-27T10:43:04Z

We show that $h_\infty(X+Y)\leq h_\infty(Z+W)$, where $X, Y$ are independent log-concave random variables, and $Z, W$ are exponential random variables having the same respective $\infty$-Rényi entropies. Analogs for integer-valued monotone log-concave random variables are also obtained. Our main tools are decreasing rearrangement, majorization, and the change of measure.

Ergodicity of the geodesic flow for groups with a contracting element

2025-10-27T08:59:28Z

In this article we investigate the dynamical properties of the geodesic flow for a proper metric space endowed with a proper action by isometries of a group with a contracting element. We show that the existence of a contracting isometry is a sufficient evidence of negative curvature to carry in this context various results borrowed from hyperbolic geometry. In particular, we extend the so-called Hopf-Tsuji-Sullivan dichotomy proving that the geodesic flow is either conservative and ergodic or dissipative.

On the Global Optimality of Fibonacci Lattices in the Torus

2025-10-26T18:24:18Z

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.

Approximation of the Euclidean ball by polytopes with a fixed number of $k$-faces

2025-10-26T17:41:56Z

We derive lower estimates for the approximation of the $d$-dimensional Euclidean ball by polytopes with a fixed number of $k$-dimensional faces, $k\in\{0,1,\ldots,d-1\}$. The metrics considered include the intrinsic volume difference and the Hausdorff metric. In the case of inscribed and circumscribed polytopes, our main results extend the previously obtained bounds from $k=0$ and $k=d-1$, respectively, to half of the $f$-vector of the approximating polytope. For arbitrarily positioned polytopes, we also improve a special case of a result of K. J. Böröczky ({\it J. Approx. Theory}, 2000) by a factor of dimension. This paper addresses a question of P. M. Gruber ({\it Convex and Discrete Geometry}, p. 216), who asked for results on the approximation of convex bodies by polytopes with a fixed number of $k$-faces when $1\leq k\leq d-2$.

Geometric Convergence to an Extreme Limit Space with nonnegative scalar curvature

2025-10-26T16:07:43Z

In 2014, Gromov conjectured that sequences of manifolds with nonnegative scalar curvature should have subsequences which converge in some geometric sense to limit spaces with some notion of generalized nonnegative scalar curvature. In recent joint work with Changliang Wang, the authors found a sequence of warped product Riemannian metrics on $\Sph^2\times \Sph^1$ with nonnegative scalar curvature whose metric tensors converge in the $W^{1,p}$ sense for $p<2$ to an extreme warped product limit space where the warping function hits infinity at two points. Here we study this extreme limit space as a metric space and as an integral current space and prove the sequence converges in the volume preserving intrinsic flat and measured Gromov-Hausdorff sense to this space. This limit space may now be used to test any proposed definitions for generalized nonnegative scalar curvature. One does not need expertise in Geometric Measure Theory or in Intrinsic Flat Convergence to read this paper.

Geodesic in the Gromov-Hausdorff class for which the real line is an interior point

2025-10-26T15:00:16Z

In this note we construct a geodesic line in the Gromov-Hausdorff class for which the real line with a natural metric is an interior point.

Lipschitz distance between clouds

2025-10-26T14:43:20Z

In this note we show that the Lipschitz distance between the classes of metric spaces at finite Gromov-Hausdorff distances from the one-point metric space and the real line with the natural metric, respectively, is positive.

Drainage Time and Shape: Inequalities from Torricelli's Law

2025-10-25T22:58:47Z

We derive integral inequalities governing drainage time in convex solids, inspired by Torricelli's Law, and introduce the Torricelli number as a shape invariant. We use these considerations to construct a class of solids that can be used in building asymmetrical clepsydrae.