Über Schnitte konvexer Körper in Johns Position und verallgemeinerter $B_p^n$ Bälle

Grundlegende Informationen

• Papier-ID: 2510.14047
• Titel: Über Schnitte konvexer Körper in Johns Position und verallgemeinerter $B_p^n$ Bälle
• Autoren: David Alonso-Gutiérrez, Silouanos Brazitikos, Giorgos Chasapis
• Klassifikation: math.MG (Metrische Geometrie), math.FA (Funktionalanalysis)
• Veröffentlichungsdatum: 17. Oktober 2025 (arXiv-Preprint)
• Papierlink: https://arxiv.org/abs/2510.14047

Zusammenfassung

Dieses Papier überprüft ein elegantes Argument von K. Ball neu und liefert scharfe Schätzungen für das Volumen von Schnitten konvexer Körper in Johns Position. Die Techniken der Autoren kombinieren die geometrische Brascamp-Lieb-Ungleichung mit verallgemeinerten Parseval-artigen Identitäten. Dies ermöglicht es den Autoren, frühere Ergebnisse der ersten beiden Autoren zu ergänzen und die klassischen Schätzungen von Meyer-Pajor und Koldobsky über extremale Schnitte von $B_p^n$-Bällen auf eine breitere Familie von Normen zu verallgemeinern, die durch Johns Identitätszerlegung in $\mathbb{R}^n$ induziert werden.

Forschungshintergrund und Motivation

1. Kernproblem: Die Untersuchung von Volumenabschätzungen für Hyperebenen-Schnitte und Projektionen konvexer Körper ist ein klassisches und aktiv entwickeltes Gebiet der modernen konvexen Geometrie mit tiefgreifenden Verbindungen zur Funktionalanalysis, geometrischen Tomographie und hochdimensionalen Wahrscheinlichkeiten.
2. Bedeutung des Problems:
   • Extremalprobleme für k-dimensionale Schnitte (wie die Bestimmung des maximalen oder minimalen Volumens solcher Schnitte) kodieren subtile quantitative Informationen über die Geometrie geometrischer Körper
   • Verbunden mit zentralen Fragen des Feldes, wie dem Busemann-Petty-Problem und dem Slice-Problem (kürzlich in KL gelöst)
3. Einschränkungen bestehender Methoden:
   • Balls Methode hängt stark von der Produktstruktur des Würfels ab: Die Fourier-Transformation der Indikatorfunktion eines Produktkörpers kann in ein Produkt eindimensionaler Fourier-Transformationen zerlegt werden
   • Für allgemeine geometrische Körper in Johns Position fehlt diese Koordinatenunabhängigkeit; die direkte Produktzerlegung ist nicht mehr verfügbar, und die Fourier-Methode scheint a priori nicht anwendbar zu sein
4. Forschungsmotivation:
   • Ergänzung und Verallgemeinerung der Ergebnisse in AB über Schnitte konvexer Körper in Johns Position
   • Überwindung der Anforderung der Produktstruktur in Balls Argument
   • Verallgemeinerung der klassischen Schätzungen für $\ell_p^n$-Ballschnitte auf eine breitere Familie von Normen

Kernbeiträge

1. Methodologische Innovation: Zeigt, wie man die Anforderung der Produktstruktur des Würfels in Balls Argument durch Kombination von Parseval-artigen Identitäten mit der Brascamp-Lieb-Ungleichung umgehen kann
2. Scharfe Schätzungen: Liefert scharfe Volumenabschätzungen für k-dimensionale Schnitte zentralsymmetrischer konvexer Körper in Johns Position, insbesondere im Fall $k \geq n/2$
3. Konstruktion von Gegenbeispielen: Konstruiert konvexe Polyeder $L$ in Johns Position, die zeigen, dass Balls Schranke von $2^{\frac{n+k}{2}}$ nicht mehr gilt, wenn $k \geq n/2$ und alle Projektionen $P_H(\sqrt{c_j}v_j)$ groß sind
4. Verallgemeinerung klassischer Ergebnisse: Verallgemeinert bekannte Schranken von Meyer-Pajor und Koldobsky über $\ell_p^n$-Ballschnitte auf die Familie verallgemeinerter $\ell_p$-Normen, die durch Johns Zerlegung induziert werden
5. Nichtsymmetrischer Fall: Etabliert verbesserte Ergebnisse für Hyperebenen-Schnitte konvexer Körper in Johns Position ohne Symmetrieannahmen

Methodische Erläuterung

Aufgabendefinition

Untersuchung des Volumenabschätzungsproblems für Schnitte $K \cap H$ von k-dimensionalen linearen Unterräumen H konvexer Körper K in Johns Position. Gegeben eine Johns-Zerlegung $\text{Id}_n = \sum_{j=1}^m c_j v_j \otimes v_j$, besteht das Ziel darin, obere Schranken für $\text{vol}_k(K \cap H)$ zu etablieren.

Technisches Kerngerüst

1. Parseval-artige Identität (Proposition 1)

Für eine Funktionsfamilie $(f_j)_{j=1}^m$, wobei $f_j \in S(\mathbb{R}^{n_j})$:

$\int_H \prod_{j=1}^m f_j(P_{\mathbb{R}^{n_j}} y) dy = \frac{1}{(2\pi)^{N-k}} \int_{H^⊥} \prod_{j=1}^m \hat{f}_j(P_{\mathbb{R}^{n_j}} z) dz$

2. Anwendung der geometrischen Brascamp-Lieb-Ungleichung (Korollar 3)

Für Johns Zerlegung $(c_j, v_j)$:

$\int_{\mathbb{R}^n} \prod_{j=1}^m f_j(\sqrt{c_j}\langle x, v_j \rangle) dx \leq \frac{1}{(2\pi)^{m-n}} \prod_{j=1}^m \left(\int_\mathbb{R} |\hat{f}_j^{\frac{1}{1-c_j}}(\sqrt{1-c_j}t)| dt\right)^{1-c_j}$

3. Schlüsselkonstruktion (Proposition 2)

Gegeben $H \in G_{m,k}$ und $(u_j)_{j=1}^m \subseteq S^{m-1} \cap H$, $(c_j)_{j=1}^m \subseteq (0,\infty)$ mit $\text{Id}_H = \sum_{j=1}^m c_j u_j \otimes u_j$, existieren orthonormale Basen $(x_j)_{j=1}^m$ und $(w_j)_{j=1}^m \subseteq S^{m-1} \cap H^⊥$ so dass:

• $P_H x_j = \sqrt{c_j} u_j$
• $P_{H^⊥} x_j = \sqrt{1-c_j} w_j$

Technische Innovationspunkte

1. Rolle der Parseval-Darstellung: In dieser Formulierung spielt die Parseval-Darstellung die Rolle der Produktzerlegung im Würfelfall: Das Volumen wird als Integral eines Produkts univariater Faktoren dargestellt, aber die Exponenten und Vorfaktoren spiegeln die geometrischen Daten der Johns-Zerlegung wider, nicht die Koordinatenunabhängigkeit
2. Brascamp-Lieb-Reduktion: Sobald die Parseval-Darstellung vorhanden ist, reduziert die Brascamp-Lieb-Reduktion das mehrdimensionale Integral auf ein Produkt eindimensionaler Integrale, wobei die Exponenten durch die euklidischen Normen der Vektorprojektionen bestimmt werden
3. Duale Darstellung: Das Volumen symmetrischer Polyeder hat zwei äquivalente Darstellungen: das Integral des Produkts von Indikatorfunktionen und das Integral der Fourier-Transformationen (auf komplementären Unterräumen)

Hauptergebnisse

Zentralsymmetrischer Fall (Theorem 6)

Für $k \geq n/2$:

• Wenn $\tilde{c}_j \geq \frac{1}{2}$ für alle $j$ gilt, dann: $\text{vol}_k(L \cap H) \leq 2^{\frac{m_0+k}{2}} \prod_{j=1}^{m_0} c_j^{\frac{\tilde{c}_j}{2t_j^2}}$
• Andernfalls: $\text{vol}_k(L \cap H) \leq 2^{\frac{n-k}{2}} \text{vol}_k(B_\infty^k)$

Konstruktion von Gegenbeispielen (Theorem 5)

Es existieren beliebig große $k$, so dass für jedes $n$ mit $n/2 \leq k \leq n$ ein konvexer Körper $L$ in Johns Position existiert mit: $\text{vol}_k(L \cap \mathbb{R}^k) = \binom{n}{k}^{\frac{k}{2}} \text{vol}_k(B_\infty^k)$

Verallgemeinerte $\ell_p$-Bälle (Theorem 16 und 23)

Für verallgemeinerte $\ell_p$-Normen $\|x\|_{K_p} = \left(\sum_{j=1}^m \alpha_j |\langle x, v_j \rangle|^p\right)^{\frac{1}{p}}$, die durch Johns Zerlegung induziert werden:

Obere Schranke für $p=1$: $\text{vol}_k(K_1 \cap H) \leq \text{vol}_k(B_1^k) \prod_{j=1}^m \left(\frac{\sqrt{c_j}}{\alpha_j}\right)^{c_j\|P_H v_j\|_2^2}$

Allgemeiner Fall $p \in [1,2]$: $\text{vol}_k(K_p \cap H) \leq \prod_{j \in J} \left(\frac{\sqrt{c_j}}{\alpha_j^{1/p}}\right)^{\tilde{c}_j} \text{vol}_k(B_p^k)$

Nichtsymmetrischer Fall (Theorem 26)

Für einen konvexen Körper $K$ in Johns Position und $a \in S^{n-1}$, wenn $\kappa_j \geq 1/2$ für alle $j \in J$ gilt: $\text{vol}_{n-1}(K \cap a^⊥) \leq \frac{1}{\sqrt{2}} \sqrt{\frac{n+1}{n}} \left(\frac{n+1}{n-1}\right)^{\frac{n-1}{2}} \text{vol}_{n-1}(S^{n-1})$

Technische Details

Anwendung des Wills-Funktionals

Die Autoren untersuchen auch das Wills-Funktional von Schnitten konvexer Körper in Johns Position: $W(\lambda(K \cap H)) = \sum_{i=0}^k V_i(\lambda(K \cap H)) = \sum_{i=0}^k \lambda^i V_i(K \cap H)$

Durch die Beziehung des Wills-Funktionals zu Volumen und mittlerer Breite:

• $\text{vol}_k(K \cap H) = \lim_{\lambda \to \infty} \frac{W(\lambda(K \cap H))}{\lambda^k}$
• $V_1(K \cap H) = \lim_{\lambda \to 0^+} \frac{W(\lambda(K \cap H)) - 1}{\lambda}$

Fourier-Analysetechniken

Für die Funktion $f(x) = e^{-|x|^p}$ erfüllt ihre Fourier-Transformierte $\gamma_p(y) = \int_\mathbb{R} e^{ixy} e^{-|x|^p} dx$ die Schlüsselschätzung (Lemma 24): $\int_\mathbb{R} \gamma_p\left(\frac{t}{\sqrt{s}}\right)^s dt \leq 2\pi \left(2\Gamma\left(1 + \frac{1}{p}\right)\right)^{s-1}$

Verwandte Arbeiten

1. Bahnbrechendes Werk von Ball: Nutzung der geometrischen Brascamp-Lieb-Ungleichung und Fourier-Analysetechniken zur Untersuchung von Würfelschnitten
2. Meyer-Pajor und Koldobsky: Etablierung klassischer Schätzungen für $\ell_p^n$-Ballschnitte
3. Frühere Arbeiten von AB: Systematische Untersuchung von Schnitten konvexer Körper in Johns Position; dieses Papier ergänzt und verallgemeinert diese Ergebnisse
4. Johns Theorem: Liefert eine kanonische Standardisierung konvexer Körper und bildet die Grundlage des technischen Rahmens dieses Papiers

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Erfolgreiche Überwindung der Abhängigkeit von Balls Methode von der Produktstruktur, Bereitstellung einer systematischen Methode zur Schätzung von Schnittvolumina für allgemeine konvexe Körper in Johns Position
2. Etablierung scharfer Schranken in zentralsymmetrischen und nichtsymmetrischen Fällen mit Identifikation neuer Schwellenwertphänomene
3. Verallgemeinerung klassischer $\ell_p$-Ballergebnisse auf breitere Normenfamilien mit geometrisch sensibleren Schätzungen

Einschränkungen

1. Einige Schätzungen erfordern spezifische Bedingungen für Projektionslängen (wie $\tilde{c}_j \geq 1/2$)
2. Für den allgemeinen Fall $p > 1$ können aufgrund der Unmöglichkeit, $\gamma_p$ explizit zu berechnen, keine ähnlichen Zwischenschranken wie im Fall $p=1$ bereitgestellt werden
3. Die technische Methode ist hauptsächlich auf endlichdimensionale euklidische Räume anwendbar

Zukünftige Richtungen

1. Erkundung von Anwendungen auf allgemeinere geometrische Körper
2. Untersuchung hochdimensionalen asymptotischen Verhaltens
3. Entwicklung verfeinerterer geometrischer Ungleichungstechniken

Tiefgreifende Bewertung

Stärken

1. Starke methodische Innovation: Geschickte Kombination von Parseval-Identitäten und Brascamp-Lieb-Ungleichung, Durchbruch über die Grenzen traditioneller Methoden
2. Vollständigkeit der Ergebnisse: Abdeckung symmetrischer und nichtsymmetrischer Fälle, Bereitstellung eines systematischen theoretischen Rahmens
3. Technische Tiefe: Einbeziehung tiefgreifender Techniken aus Fourier-Analyse, konvexer Geometrie und Funktionalanalysis
4. Praktischer Wert: Verallgemeinerung wichtiger klassischer Ergebnisse, Bereitstellung neuer Werkzeuge für verwandte Forschung

Mängel

1. Technische Komplexität: Die Methode umfasst mehrere hochentwickelte Techniken, die ihren Anwendungsbereich möglicherweise einschränken
2. Bedingungseinschränkungen: Einige Ergebnisse erfordern spezifische geometrische Bedingungen mit begrenzter Anwendbarkeit
3. Rechenkomplexität: Die praktische Anwendung könnte rechnerisch komplex sein

Einflussfähigkeit

1. Theoretischer Beitrag: Liefert wichtige neue Techniken und tiefgreifende Ergebnisse für das Gebiet der konvexen Geometrie
2. Methodologischer Einfluss: Die Parseval-Brascamp-Lieb-Kombinationsmethode könnte die Forschung zu anderen verwandten Problemen inspirieren
3. Anwendungsperspektiven: Potenzielle Anwendungen in hochdimensionaler Datenanalyse, Optimierungstheorie und verwandten Bereichen

Anwendungsszenarien

1. Theoretische Forschung in konvexer Geometrie und Integralgeometrie
2. Hochdimensionale Wahrscheinlichkeit und stochastische Geometrie
3. Ungleichungstheorie in der Funktionalanalysis
4. Geometrische Tomographie und inverse Probleme

Literaturverzeichnis

Das Papier zitiert wichtige Literatur des Feldes, einschließlich:

• Klassische Arbeiten von Ball zu Würfelschnitten
• Geometrische Form der Brascamp-Lieb-Ungleichung
• Johns Theorem und Grundlagen der Konvexkörpertheorie
• Klassische Ergebnisse von Meyer-Pajor, Koldobsky und anderen über $\ell_p$-Bälle