Reducing the Large Set Threshold for the Basu-Oertel Conjecture

Andrés Cristi,David Salas

2024-11-03

Abstract: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 2017, Basu and Oertel conjectured that a similar result holds for mixed-integer convex sets. Concretely, they 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 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 the Basu-Oertel conjecture holds true.

Metric Geometry,Optimization and Control

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to reduce the "large - set" threshold in the Basu - Oertel conjecture. Specifically, in 2017, Basu and Oertel proposed a conjecture that for any mixed - integer convex set \(S = C\cap(\mathbb{Z}^n\times\mathbb{R}^d)\), there exists a point \(x\in S\) such that for any half - space \(H\) containing \(x\), the following inequality holds:

\[
\frac{\mathcal{H}_d(H\cap S)}{\mathcal{H}_d(S)}\geq\frac{1}{2^n}\cdot\frac{1}{e}
\]

where \(\mathcal{H}_d\) represents the d - dimensional Hausdorff measure.

Although this conjecture remains unproven, Basu and Oertel have already proven that the above inequality holds when the set is large enough. Here, "large enough" is measured by a metric called lattice width. In this paper, the authors significantly reduce this "large - set" threshold through geometric methods, reducing the exponential dependence on the dimension to a polynomial dependence, thereby greatly expanding the range of mixed - integer convex sets that satisfy the Basu - Oertel conjecture.

### Main contributions
- **Reducing the threshold**: The authors reduce the threshold at which a set is considered "large" from an exponential dependence on the dimension to a polynomial dependence through geometric methods.
- **Expanding the scope of application**: This improvement significantly expands the family of mixed - integer convex sets that satisfy the Basu - Oertel conjecture.

### Method overview
To achieve this goal, the authors adopt geometric methods and focus on how to approximate volumes and move centroids in high - dimensional spaces. They achieve this through the following steps:
1. **Approximating volumes with slices**: Prove that when the projection contains a large sphere, the volume of a convex body can be well approximated by its slice measurements.
2. **Moving the centroid**: By losing a small part of the volume, assume that the centroid is located in \(\mathbb{Z}^n\cap\mathbb{R}^d\).
3. **Cutting and using continuous boundaries**: Cut the convex body by an arbitrary hyperplane, ensuring that the volume of each part is at least \(1/e\) of the original volume.
4. **Approximating the volumes of each part with slices**: Use slice approximation to calculate the volumes of each part.

These improvements not only give us a deeper understanding of the Basu - Oertel conjecture but also provide new ideas and tools for further research.