Abstract:We study necessary conditions for local maximizers of the isotropic constant that are related to notions of decomposability. Our main result asserts that the polar body of a local maximizer of the isotropic constant can only have few Minkowski summands; more precisely, its dimension of decomposability is at most $\frac12(n^2+3n)$. Using a similar proof strategy, a result by Campi, Colesanti and Gronchi concerning RS-decomposability is extended to a larger class of shadow systems. We discuss the polytopal case, which turns out to have connections to (affine) rigidity theory, and investigate how the bound on the maximal number of irredundant summands can be improved if we restrict our attention to convex bodies with certain symmetries.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the necessary conditions for local maximizers, especially the local maximizers of the isotropic constant of convex bodies in high - dimensional spaces. Specifically, the paper studies the necessary conditions for local maximizers related to the concept of decomposability.
### Research Background and Problems
1. **Definition of Isotropic Constant**:
The isotropic constant \(L_K\) is an important geometric quantity for measuring a convex body \(K\). For an isotropic convex body \(K\), its covariance matrix \(A_K\) is the identity matrix, and the isotropic constant is defined as:
\[
L_K^2=\frac{\det(A_K)}{\text{vol}(K)^2}
\]
where \(\text{vol}(K)\) represents the volume of \(K\).
2. **Slicing Problem**:
A well - known problem in geometric analysis is the slicing problem, that is, whether a universal constant \(C\) can be found such that for all \(n\)-dimensional convex bodies \(K\), \(L_K\leq C\). This problem is equivalent to asking whether \(L_K\) has an upper bound.
3. **Existing Progress**:
- Bourgain [2] initially studied this problem and proved that \(L_K\leq C\cdot\log n\cdot n^{1/4}\).
- Klartag [19] removed the logarithmic factor and proved that \(L_K\leq C\cdot n^{1/4}\).
- Eldan's random localization method [7] made substantial progress on the KLS conjecture and further improved the upper bound.
- The latest result was given by Klartag [18], proving that \(L_K\leq C\cdot\sqrt{\log n}\).
### Main Contributions of the Paper
1. **Properties of Extremal Bodies**:
The paper studies the properties of local maximizers of the isotropic constant in \(n\geq3\) - dimensional spaces. Some known results show that convex bodies with strictly convex neighborhoods or specific symmetries cannot be local maximizers. For example:
- Meyer and Reisner [24] proved that if the boundary of \(K\) contains a strictly convex open set, then \(K\) cannot be a local maximizer.
- Rademacher [27] proved that a simplex polyhedron that maximizes the isotropic constant must be a simplex.
2. **Concepts of Decomposability**:
The paper introduces multiple concepts of decomposability, especially Minkowski decomposability and RS - decomposability. These concepts are used to describe the decomposition characteristics of convex bodies in certain directions.
3. **Main Results**:
- **Theorem 1.5**: If \(K\) is a local maximizer of the isotropic constant, then the decomposability dimension of its polar body \(K^{\circ}\) satisfies:
\[
\dim S(K^{\circ})\leq\frac{n^2 + 3n}{2}
\]
- **Theorem 1.4** (Campi - Colesanti - Gronchi): If \(K\) is RS - decomposable in a certain direction \(u\), then \(K\) cannot be a local maximizer of the isotropic constant.
### Summary
By introducing and studying various concepts of decomposability, this paper provides new perspectives and tools for understanding local maximizers of the isotropic constant. In particular, it reveals the geometric structural limitations of local maximizers, laying the foundation for further research in this field.