🔢 mathematics

Logarithmic Brunn--Minkowski Inequality under $n-2$ Reflection Symmetries

This paper establishes the log-Brunn-Minkowski inequality for origin-symmetric convex bodies possessing $n-2$ orthogonal reflection symmetries, analyzes the associated equality conditions and uniqueness in the logarithmic Minkowski problem, and extends these results to specific log-concave measures.

Original authors: XiaoRui Lu

Published 2026-08-24

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: XiaoRui Lu

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

In the world of geometry, shapes are more than just static drawings; they are dynamic objects that can be blended together to create new forms. Imagine taking two solid, smooth objects, like a sphere and a cube, and mixing them in a specific way. If you blend them equally, you get a new shape that sits somewhere between the two. A fundamental rule discovered over a century ago, known as the Brunn-Minkowski inequality, tells us that when you mix two shapes, the volume of the result is never smaller than a specific average of the original volumes. This rule is a cornerstone of convex geometry, a field that studies shapes that bulge outward without any dents or holes. It helps mathematicians understand how space is filled and how objects relate to one another.

However, there is a more subtle and powerful way to mix these shapes, called the logarithmic combination. Instead of adding the shapes in the usual way, this method multiplies their defining features. It is a stricter, more demanding rule than the original one. For decades, mathematicians have wondered if this stricter rule holds true for all shapes that are perfectly balanced around a center point. The question has remained open for shapes in three or more dimensions, despite being proven for flat, two-dimensional shapes. Understanding this rule is crucial because it connects the geometry of shapes to the behavior of probability and the distribution of mass in space, influencing everything from the design of materials to the study of high-dimensional data.

A researcher named Xiaorui Lu has now taken a significant step forward in solving this puzzle. The paper proves that this stricter mixing rule works for a large and important class of three-dimensional and higher-dimensional shapes, provided they possess a specific type of symmetry. The researcher focused on shapes that are symmetric not just around a central point, but also across a series of flat planes. Specifically, the proof applies to shapes that look the same if you flip them across any of several mutually perpendicular planes, as long as there are at least two fewer such planes than the total number of dimensions. For example, in a three-dimensional space, the rule holds for shapes that are symmetric across just one plane, provided they are also balanced around the center.

The core of the discovery lies in how the researcher broke down these complex shapes. Instead of trying to analyze the entire object at once, the paper treats the shape as a stack of thinner, two-dimensional slices. Because of the symmetry requirements, each of these slices is also a balanced, two-dimensional shape. The researcher showed that if you mix the original shapes using the strict logarithmic method, the resulting shape contains a mixture of these individual slices. By proving that the rule works for each slice and then carefully reassembling the pieces, the paper demonstrates that the rule must hold for the entire object. This approach allowed the researcher to bypass the difficulties that have blocked progress in higher dimensions for so long.

The findings also clarify when two shapes are essentially the same. The paper establishes that if the mixing rule produces a result that is exactly as small as the rule allows, then the two original shapes must be scaled versions of each other. They are identical in form, just larger or smaller. This result is particularly strong when the shapes have smooth, curved boundaries without any flat edges. The researcher also extended this logic to show that the rule applies not just to the standard measure of volume, but also to other ways of measuring space, such as the Gaussian measure, which is used to describe how mass is distributed in a bell-curve fashion. This means the geometric principles hold true even when the space itself is weighted differently.

One of the most practical outcomes of this work is its application to objects that spin, known as bodies of revolution. These are shapes like vases or cylinders that look the same when rotated around a central axis. The paper proves that the strict mixing rule works for any two such objects, even if they spin around different axes that are not parallel or perpendicular to each other. This is a new result that previous methods could not reach. By confirming that the rule holds for these spinning objects, the research opens the door to better understanding the geometry of rotational forms in higher dimensions.

The paper also addresses a related problem concerning the uniqueness of shapes. In geometry, there is a challenge called the Minkowski problem, which asks if a shape is uniquely determined by how its surface area is distributed. The researcher showed that for shapes with the specific symmetries discussed, there is at most one such shape that fits a given distribution of surface area. This confirms that the geometric information provided by the symmetry and the surface distribution is enough to pin down the shape's identity, at least within the class of smooth, curved objects.

While the paper does not claim to have solved the problem for every possible shape in every dimension, it has firmly established the rule for a vast and significant category of objects. The work relies on rigorous mathematical proof rather than simulation or suggestion, offering a definitive answer for the cases it covers. By focusing on the interplay between symmetry and the way shapes are mixed, the research provides a clearer picture of the fundamental laws governing the geometry of space. It demonstrates that even in the complex world of higher dimensions, symmetry acts as a powerful guide, revealing order where it might otherwise seem hidden.

Technical Summary: Logarithmic Brunn–Minkowski Inequality under $n-2$ Reflection Symmetries

Problem Statement
The classical Brunn–Minkowski inequality is a cornerstone of convex geometry, relating the volume of Minkowski sums to the volumes of the summands. In the 1990s, Lutwak and others developed the $L_p$ -Brunn–Minkowski theory for $p \ge 1$ . However, the case $p \in (0, 1)$ , particularly the limit case $p=0$ (the log-Brunn–Minkowski inequality), presents significant challenges. For $p=0$ , the standard $L_p$ -Minkowski combination does not generally yield a support function for a convex body. Böröczky, Lutwak, Yang, and Zhang [4] proposed a natural definition for the log-Minkowski sum (or $L_0$ -sum) and conjectured that the log-Brunn–Minkowski inequality holds for all origin-symmetric convex bodies in $\mathbb{R}^n$ .

While the conjecture is proven for the planar case ( $n=2$ ) [4] and for bodies with $n$ linear reflections (unconditional bodies) [3], the general case for $n \ge 3$ remains open. This paper addresses the conjecture under a specific, intermediate symmetry regime: origin-symmetric convex bodies invariant under $n-2$ orthogonal hyperplane reflections.

Methodology
The author employs a fiber decomposition strategy combined with the Prékopa–Leindler inequality. The core methodological steps include:

Coordinate Decomposition: The space $\mathbb{R}^n$ is decomposed into $E \oplus P$ , where $E \cong \mathbb{R}^{n-2}$ corresponds to the coordinates fixed by the reflection symmetries, and $P \cong \mathbb{R}^2$ is the orthogonal complement.
Fiber Analysis: For a point $x \in E$ , the fibers $K_x$ and $L_x$ are defined as the intersections of the convex bodies $K$ and $L$ with the affine subspace $\{x\} \times P$ . Under the $n-2$ reflection symmetries, these fibers are shown to be origin-symmetric convex sets in $\mathbb{R}^2$ .
Fiber Inclusion: A key lemma establishes that the log-Minkowski sum of the fibers is contained within the fiber of the log-Minkowski sum of the global bodies:
$\{x \cdot_\lambda x'\} \times ((1-\lambda) \cdot K_x +_0 \lambda L_{x'}) \subset (1-\lambda) \cdot K +_0 \lambda L$
Here, $x \cdot_\lambda x'$ denotes the coordinatewise geometric interpolation in $E$ .
Application of Prékopa–Leindler: By defining appropriate functions on $E$ representing the 2-dimensional volumes of these fibers, the author applies the $n$ -dimensional Prékopa–Leindler inequality. This allows the global volume inequality to be derived from the known planar log-Brunn–Minkowski inequality (Theorem 1.1) applied to the fibers.
Equality Analysis: The paper investigates the equality case by analyzing the conditions under which the Prékopa–Leindler inequality and the fiber inclusion become equalities. This involves characterizing the relationship between the fibers $K_x$ and $L_x$ (specifically, whether they are dilates or parallelograms) and using the $C^2_+$ smoothness assumption to rule out the parallelogram case, forcing the bodies to be dilates.

Key Contributions and Results

Theorem 1.2 & 1.3 (Main Inequality): The paper proves the log-Brunn–Minkowski inequality for origin-symmetric convex bodies invariant under $n-2$ orthogonal coordinate reflections. Specifically, for such bodies $K$ and $L$ and $\lambda \in [0, 1]$ :
$V((1-\lambda) \cdot K +_0 \lambda L) \ge V(K)^{1-\lambda} V(L)^\lambda$
This result extends the known validity of the conjecture from the planar case and the $n$ -reflection case to a broader class of bodies with codimension-two symmetry.
Equality Conditions: Under the assumption that at least one body belongs to the class $\mathcal{K}^2_+$ (convex bodies with $C^2$ boundary and strictly positive curvature), equality holds if and only if $K$ and $L$ are dilates. The proof demonstrates that the symmetry constraints combined with the smoothness condition eliminate the possibility of the "parallelogram" equality case found in the planar theorem.
Corollary 1.5 (Bodies of Revolution): A significant geometric application is the proof of the inequality for origin-symmetric bodies of revolution. The paper shows that any two axes (whether coincident, orthogonal, or oblique) admit $n-2$ pairwise orthogonal reflection normals. Consequently, the log-Brunn–Minkowski inequality holds for any pair of origin-symmetric bodies of revolution in $\mathbb{R}^n$ ( $n \ge 3$ ). This resolves a gap where previous local-to-global methods failed for bodies with distinct axes.
Uniqueness in the Logarithmic Minkowski Problem (Theorem 1.7): The paper establishes the uniqueness of solutions to the logarithmic Minkowski problem within the class of $C^2_+$ origin-symmetric bodies sharing the same $n-2$ reflection symmetries. If two such bodies have the same cone volume measure, they must be identical.
Extension to Log-Concave Measures (Theorem 1.9): Using Saroglou's transfer principle, the author generalizes the inequality from the Lebesgue measure to certain log-concave measures, specifically those with rotationally symmetric densities (including the Gaussian measure). The inequality holds for origin-symmetric bodies under the same symmetry assumptions.

Significance and Claims
The paper claims to provide a new geometric regime for the log-Brunn–Minkowski conjecture, moving beyond the restrictive "unconditional" ( $n$ -reflection) case. By utilizing a codimension-two symmetry, the author successfully bridges the gap between the planar case and the general $n$ -dimensional case for a non-trivial class of bodies.

The significance lies in:

Generalization: Extending the validity of the log-Brunn–Minkowski inequality to bodies of revolution with distinct axes, a case where previous local methods were insufficient.
Uniqueness: Providing a uniqueness result for the logarithmic Minkowski problem under these specific symmetries, contributing to the broader understanding of the problem's solvability.
Measure Theory: Demonstrating that the geometric inequality implies corresponding inequalities for log-concave measures (like the Gaussian) under these symmetries, reinforcing the connection between convex geometry and functional inequalities.

The author modestly notes that existence of solutions for the Minkowski problem under these symmetries is not established here, and the uniqueness result is strictly limited to the $C^2_+$ class. The work does not claim to solve the full conjecture for arbitrary origin-symmetric bodies but offers a substantial step forward by identifying a specific, geometrically rich symmetry class where the conjecture holds globally.

More like this