🔢 mathematics

Quantitative Stability of the Betke-Henk-Wills Conjecture

This paper establishes the local stability of the Betke-Henk-Wills conjecture by proving it holds for integer boxes under small rotations and for $L_p$ -balls when $p$ is sufficiently large.

Original authors: Chao Wang

Published 2026-02-12

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Chao Wang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The "Perfect Fit" Problem: A Simple Guide to the Betke-Henk-Wills Conjecture

Imagine you are a professional organizer trying to pack a collection of perfectly square, identical wooden blocks into a large, rectangular wooden crate.

In mathematics, there is a famous "rule of thumb" called the Betke-Henk-Wills Conjecture. This rule tries to predict exactly how many "points" (think of these as tiny, invisible marbles) will fit inside a shape, based solely on the shape's dimensions and how "stretched" it is.

For a long time, mathematicians have known this rule works perfectly for boxes that are lined up straight with the grid of the marbles. But for almost every other shape—circles, diamonds, or tilted boxes—the rule is a mystery. It’s like knowing a recipe works perfectly for a square cake, but having no idea if it will work for a round one.

This paper, written by Chao Wang, explores one big question: If we take that perfect square cake and slightly tilt it or nudge its edges, does the recipe still work?

1. The "Wobble" Test (Local Stability)

Imagine you have a perfectly square box sitting on a grid of marbles. Every marble fits snugly against the walls. This is the "Baseline Case."

Now, imagine you give the box a tiny, microscopic nudge—a tiny rotation. In the world of math, things are usually "smooth." If you tilt a box by 0.00001 degrees, you’d expect the number of marbles inside to stay almost the same.

But marbles are stubborn. They are discrete objects; they don't "squish."

The author proves that if you have a box where the edges land exactly on the marbles (an "integer box"), and you tilt it even a tiny bit, the marbles near the edges will suddenly find themselves outside the box. The number of marbles inside drops instantly. Because the number of marbles inside drops, but the mathematical "prediction" stays roughly the same, the rule actually becomes safer and more stable. It’s like a safety margin: the moment you tilt the box, you create a "buffer zone" that protects the rule from breaking.

2. The "How Much Can I Shake It?" Limit (Quantitative Bounds)

The author doesn't just say, "It works if you tilt it a little." They provide a specific mathematical "speed limit."

Think of this like a shipping instruction. If you are moving a delicate vase, a manual might say: "Do not tilt more than 5 degrees, or the contents will shift."

The paper calculates a specific formula (using something called the "operator norm") that tells you exactly how much you can rotate or deform the box before the math starts to get shaky. It gives you a "safety radius"—a mathematical guarantee of how much "wobble" the conjecture can handle before it risks failing.

3. The "Rounding the Corners" Effect ( $L_p$ Balls)

Finally, the paper looks at what happens if you start "melting" the corners of the box.

Imagine you have a square box made of ice. If you turn up the heat, the sharp corners start to melt and round off, turning the square into a circle. In math, we call these "rounding" shapes $L_p$ -balls.

The author asks: At what point does the shape become "too round" for the rule to work?

They discovered there is a "Magic Number" (a threshold called $p_0$ ).

If the shape is mostly boxy (high $p$ ), the marbles inside the shape stay in the exact same spots as they were in the square box. The rule holds.
If the shape becomes too round (low $p$ ), the corners disappear, marbles fall out, and the relationship changes.

Summary

In short, this paper proves that the Betke-Henk-Wills conjecture isn't just a "lucky accident" that only works for perfect, straight boxes. It is robust. Like a well-built house that doesn't fall down just because there's a tiny earthquake, the conjecture can handle small tilts, slight rotations, and even some rounding of the corners, provided you stay within the mathematical "safety zones" the author has mapped out.

Technical Summary: Quantitative Stability of the Betke-Henk-Wills Conjecture

1. Problem Statement

The paper investigates the Betke-Henk-Wills (BHW) conjecture, a fundamental problem in the Geometry of Numbers. The conjecture proposes a sharp upper bound for the lattice point enumerator $G(K, \Lambda)$ (the number of points of a lattice $\Lambda$ contained within a convex body $K$ ) in terms of its successive minima $\lambda_i$ :
$G(K, \Lambda) \leq \prod_{i=1}^{d} \left( \left\lfloor \frac{2}{\lambda_i(K, \Lambda)} \right\rfloor + 1 \right)$
While the conjecture is proven for dimensions $d \leq 2$ and specific shapes like ellipsoids, it remains an open problem for general convex bodies in dimensions $d \geq 5$ . The author specifically addresses the question of stability: if the conjecture holds for a specific body (like an axis-aligned box), does it remain valid under small geometric or structural perturbations?

2. Methodology

The author employs a perturbation-theoretic approach, moving away from purely combinatorial proofs toward analytical stability analysis. The methodology is divided into three distinct types of deformation:

Metric/Rotational Perturbation: Using the operator norm ( $\|\cdot\|_{op}$ ) and the Lipschitz continuity of successive minima to analyze how rotating a box affects the inequality.
Discrete Analysis: Leveraging the "jump" nature of the lattice point counting function (which is discrete) against the continuous nature of the successive minima (which are continuous).
Structural/Asymptotic Deformation: Utilizing $L_p$ -balls to model the transition from a box ( $L_\infty$ -norm) to other convex shapes, applying asymptotic analysis to find thresholds where the discrete structure of the body remains invariant.

3. Key Contributions and Results

A. Local Stability under Rotation (The "Slack" Argument)
The author proves that for an integer box (where the semi-axes $\alpha_i$ are integers), the BHW inequality is strictly stable under small rotations.

Mechanism: In an integer box, the inequality is tight ( $G = R$ ). However, because the vertices of an integer box are lattice points, any infinitesimal rotation moves these vertices off the lattice. This causes a discrete "drop" in the number of lattice points $G(K, \Lambda)$ .
Result: Because the lattice count drops discretely while the successive minima (and thus the RHS) change continuously and slowly, the inequality $G < R$ is immediately restored for small rotations.

B. Explicit Quantitative Bounds
The paper moves beyond qualitative stability by providing a geometry-invariant stability radius.

Result: The conjecture is guaranteed to hold for a rotated box $R K_0$ if the rotation $R$ satisfies:
$\|R - I\|_{op} < \frac{\Delta}{\sqrt{d}(\alpha_1 + \Delta)}$
where $\Delta$ is the distance from the boundary of the box to the nearest external lattice point. This provides a concrete limit on how much a body can be "tilted" before the conjecture might be at risk.

C. Structural Stability via $L_p$ -balls
The author examines the deformation of a box into an $L_p$ -ball.

Result: The author identifies a sharp threshold $p_0$ such that for all $p \geq p_0$ , the "integer hull" (the convex hull of the lattice points inside the body) of the $L_p$ -ball is identical to that of the box.
Threshold Formula: $p_0 = \frac{\ln d}{\min_{i: \alpha_i \notin \mathbb{Z}} \ln(\alpha_i / \lfloor \alpha_i \rfloor)}$ . This relates the stability of the discrete count to the asymptotic geometry of Banach spaces.

4. Significance

This paper shifts the study of the BHW conjecture from a search for a universal proof to an investigation of its robustness. By proving that the conjecture is not an "isolated phenomenon" occurring only in perfectly aligned cases, the author provides evidence for its general validity. The derivation of explicit, quantitative bounds using the operator norm offers a new toolset for researchers to test the conjecture's limits in higher dimensions and more complex geometric settings.