The Reverse-log-Brunn-Minkowski inequality

Dongmeng Xi
2023-07-13
Abstract:Firstly, we propose our conjectured Reverse-log-Brunn-Minkowski inequality (RLBM). Secondly, we show that the (RLBM) conjecture is equivalent to the log-Brunn-Minkowski (LBM) conjecture proposed by Böröczky-Lutwak-Yang-Zhang. We name this as ``reverse-to-forward principle". Using this principle, we give a very simple new proof of the log-Brunn-Minkowski inequality in dimension two. Finally, we establish the ``reverse-to-forward principle" for the log-Minkowski inequality (LM).Using this principle, we prove the log-Minkowski inequality in the case that one convex body is a zonoid (the inequality part was first proved by van Handle). Via a study of the lemma of relations, the full equality conditions (``dilated direct summands") are also characterized, which turns to be new.
Metric Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to conduct in - depth research on the Log - Brunn - Minkowski inequality (LBM) and its related inequalities. Specifically, the paper proposes the Reverse - log - Brunn - Minkowski inequality (RLBM) and proves the equivalence between the RLBM conjecture and the LBM conjecture, namely the "reverse - to - forward principle". In addition, the paper also uses this principle to give a very simple proof of the LBM inequality in two - dimensional space, and in the case where one of the convex bodies is a zonoid, proves the Log - Minkowski inequality (LM) and fully characterizes the conditions for the equality to hold. ### Main contributions 1. **Proposing the RLBM conjecture**: - The paper proposes a new conjecture, that is, for all origin - symmetric convex bodies \( K_0 \) and \( K_1 \), we have: \[ V(\tilde{K}_t) \leq V(K_0)^{1 - t}V(K_1)^t, \quad \forall t\in(0, 1) \] where \( \tilde{K}_t \) is defined through a specific Minkowski problem. 2. **Proving the equivalence between RLBM and LBM**: - By introducing the "reverse - to - forward principle", the paper proves that the RLBM conjecture and the LBM conjecture are equivalent in \( \mathbb{R}^n \). This means that if one of the conjectures holds, then the other also holds. 3. **Simple proof in two - dimensional space**: - Using the "reverse - to - forward principle", the paper gives a very concise proof of the LBM inequality in two - dimensional space. 4. **New proof of the Log - Minkowski inequality**: - In the case where one of the convex bodies is a zonoid, the paper proves the Log - Minkowski inequality and fully characterizes the conditions for the equality to hold. ### Technical details - **Reverse - log - Brunn - Minkowski inequality (RLBM)**: - A new convex body combination \( \tilde{K}_t \) is defined, and the RLBM conjecture is proposed by studying its volume properties. - **Reverse - to - forward principle**: - Through a series of lemmas and theorems, the equivalence between the RLBM conjecture and the LBM conjecture is proved. This includes the study of the variational formula of the surface area measure. - **Simple proof in two - dimensional space**: - Using Hölder's inequality and Minkowski's inequality, the paper gives a concise proof of the LBM inequality in two - dimensional space. - **Log - Minkowski inequality in the case of zonoid**: - By studying the projection properties of the zonoid, the paper proves the Log - Minkowski inequality in the case where one of the convex bodies is a zonoid and characterizes the conditions for the equality to hold. ### Conclusion Through the study of the Reverse - log - Brunn - Minkowski inequality, the paper not only deepens the understanding of the LBM conjecture, but also provides some new proof methods and techniques, especially for the Log - Minkowski inequality in two - dimensional space and in the case of zonoid. These results are of great significance for the fields of geometric analysis and convex geometry.