Two-dimensional Bl{}ocki, L^p-Mahler, and Bourgain conjectures
Pith reviewed 2026-05-24 04:49 UTC · model grok-4.3
The pith
In two dimensions the L^p-Mahler conjectures hold for all p, confirming Blocki's conjectures on Bergman kernels and Bourgain's hyperplane conjecture.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We confirm the two-dimensional L^p-Mahler conjectures by studying the effect of Mahler's sliding of vertices on the L^p-polar body. This establishes the conjectures for p=1 which are Blocki's conjectures on Bergman kernels of tube domains and for p=∞ which are Mahler's conjectures. The same technique yields an elementary proof of Bourgain's strong hyperplane conjectures in dimension two by showing that the isotropic constant to a suitable power is a convex quadratic polynomial in the sliding parameter.
What carries the argument
Mahler's vertex sliding applied to the L^p-polar body of two-dimensional polytopes
If this is right
- The Bergman kernels of two-dimensional tube domains satisfy the sharp lower bounds conjectured by Blocki.
- The classical Mahler volume conjecture holds in dimension two as the p=∞ case of the L^p-Mahler conjectures.
- Bourgain's strong hyperplane conjecture holds in dimension two.
- The isotropic constant raised to an appropriate power is a convex quadratic polynomial in the sliding parameter.
Where Pith is reading between the lines
- If analytic control of the L^p-polar body under sliding can be obtained in higher dimensions, the same conjectures would hold there as well.
- The sliding technique may apply to other functionals on convex bodies that arise in functional analysis or asymptotic convex geometry.
- The explicit quadratic form found for the isotropic constant under sliding suggests that similar low-degree polynomials may govern other extremal quantities in two-dimensional convex geometry.
Load-bearing premise
The effect of sliding vertices on two-dimensional polytopes can be tracked analytically on the L^p-polar body even though duality is lost and the non-symmetric case is more involved.
What would settle it
A single two-dimensional convex body for which the L^p-Mahler volume inequality fails for some real p, or for which the isotropic constant raised to the appropriate power fails to be convex under vertex sliding.
Figures
read the original abstract
We confirm, in dimension two, Blocki's conjectures on sharp lower bounds for Bergman kernels of tube domains. To that end, we verify a broader class of $L^p$-Mahler conjectures due to Berndtsson and the authors, where $p=1$ are Blocki's conjecture, and $p=\infty$ are Mahler's conjectures. The proofs are technically challenging as the $L^p$-Mahler volume is considerably harder to deal with analytically compared to Mahler's volume, and furthermore duality is lost. In addition, unlike in the classical Mahler setting, the non-symmetric setting is considerably more involved than the symmetric one. The proofs involve studying the effect of Mahler's classical sliding of vertices on two-dimensional polytopes on the $L^p$-polar body (no longer a polytope). Some arguments are inspired by works of Campi--Gronchi and Meyer--Reisner on volumes of classical polar bodies of shadow systems. In passing, we also explore how Mahler's sliding affects the isotropic constant. This leads to an elementary proof of Bourgain's strong hyperplane conjectures in dimension two, originally due to Bisztriczky--B\"or\"oczky, Campi--Colesanti--Gronchi and Meckes. Specifically, we show that, as a function of the sliding parameter, the isotropic constant raised to an appropriate power is a convex quadratic polynomial.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript confirms the two-dimensional cases of Błocki's conjectures on sharp lower bounds for Bergman kernels of tube domains by verifying the L^p-Mahler conjectures (p=1 recovers Błocki; p=∞ recovers Mahler). Proofs proceed by analyzing the effect of Mahler's classical vertex sliding on 2D polytopes upon the L^p-polar body (no longer a polytope). In passing, the isotropic constant raised to a suitable power is shown to be a convex quadratic polynomial in the sliding parameter, yielding an elementary proof of Bourgain's strong hyperplane conjecture in dimension two.
Significance. If the central claims hold, the work resolves several long-standing conjectures in convex geometry and complex analysis in the planar case. The elementary quadratic-polynomial argument for the isotropic constant and the extension of sliding techniques to L^p-Mahler volumes (despite loss of duality and greater difficulty in the non-symmetric setting) are technically noteworthy and may inform higher-dimensional approaches.
major comments (2)
- [sliding argument for non-symmetric polytopes] The load-bearing step is the analytic control of the L^p-Mahler volume functional under vertex sliding for non-symmetric 2D polytopes (abstract and the section developing the sliding argument). Because the L^p-polar body is not a polytope, duality is unavailable and separate estimates are required; the manuscript must supply the explicit first derivative (or monotonicity/convexity statement) with respect to the sliding parameter together with boundary analysis to guarantee that the minimum occurs at the conjectured extremizer.
- [isotropic-constant paragraph] The claim that the isotropic constant to an appropriate power is a convex quadratic polynomial in the sliding parameter (the paragraph beginning 'In passing, we also explore...') is used to obtain the elementary proof of the 2D hyperplane conjecture. The coefficients of this quadratic must be computed explicitly and shown to be non-negative to confirm convexity; without this, the reduction to the known extremal cases is incomplete.
minor comments (2)
- Clarify the precise range of p for which the L^p-Mahler conjectures are proved and state whether the arguments are uniform in p or require separate treatment at the endpoints p=1 and p=∞.
- Expand the discussion of the inspiration from Campi–Gronchi and Meyer–Reisner to indicate which specific shadow-system estimates are adapted and where the new difficulties arising from the L^p setting appear.
Simulated Author's Rebuttal
We thank the referee for the careful reading and valuable comments on our manuscript. We address each major comment below and will revise the paper accordingly to provide the requested explicit details.
read point-by-point responses
-
Referee: [sliding argument for non-symmetric polytopes] The load-bearing step is the analytic control of the L^p-Mahler volume functional under vertex sliding for non-symmetric 2D polytopes (abstract and the section developing the sliding argument). Because the L^p-polar body is not a polytope, duality is unavailable and separate estimates are required; the manuscript must supply the explicit first derivative (or monotonicity/convexity statement) with respect to the sliding parameter together with boundary analysis to guarantee that the minimum occurs at the conjectured extremizer.
Authors: We agree that an explicit derivative computation would strengthen the presentation. The section developing the sliding argument already derives the monotonicity of the L^p-Mahler volume functional via direct differentiation with respect to the sliding parameter and analyzes the boundary behavior to locate the minimum. In the revision we will extract and display the explicit first-derivative formula together with the boundary analysis in a dedicated lemma, making the control fully transparent. revision: yes
-
Referee: [isotropic-constant paragraph] The claim that the isotropic constant to an appropriate power is a convex quadratic polynomial in the sliding parameter (the paragraph beginning 'In passing, we also explore...') is used to obtain the elementary proof of the 2D hyperplane conjecture. The coefficients of this quadratic must be computed explicitly and shown to be non-negative to confirm convexity; without this, the reduction to the known extremal cases is incomplete.
Authors: We accept the referee's observation. While the manuscript establishes that the relevant power of the isotropic constant is a quadratic polynomial in the sliding parameter, the coefficients are not written out explicitly. In the revised version we will compute these coefficients in closed form, verify that each is non-negative, and thereby complete the convexity argument and the reduction to the extremal cases. revision: yes
Circularity Check
Direct analytic verification of L^p-Mahler conjectures via vertex sliding; self-contained with external inspirations
full rationale
The paper derives its confirmations of the Blocki and L^p-Mahler conjectures (and the Bourgain result) by explicitly analyzing the variation of the L^p-polar volume under Mahler's vertex sliding on 2D polytopes, showing the minimum occurs at the conjectured position. This rests on direct computations of the functional's derivative and convexity properties with respect to the sliding parameter, plus an explicit verification that the isotropic constant (to a power) is a convex quadratic polynomial in that parameter. Arguments draw inspiration from the external Campi-Gronchi and Meyer-Reisner works on classical polars; the sole self-reference attributes the conjecture statement itself rather than supplying any load-bearing step of the proof. No parameters are fitted to data, no quantity is renamed as a prediction, and no uniqueness or ansatz is imported via self-citation chain. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
- [1]
-
[2]
F. Balacheff, G. Solanes, K. Tzanev, Projective transformations of convex bodies and volume product, preprint, 2023, arxiv: 2303:17794
work page 2023
-
[3]
K. Ball, Isometric problems in lp and sections of convex sets , PhD thesis, University of Cambridge, 1986
work page 1986
-
[4]
Ball, Logarithmically concave functions and sections of convex s ets in Rn, Studia Math
K. Ball, Logarithmically concave functions and sections of convex s ets in Rn, Studia Math. 88 (1988), pp. 69–84. 42
work page 1988
-
[5]
B. Berndtsson, Subharmonicity properties of the Bergman kernel and some ot her functions associated to pseudoconvex domains , Ann. Inst. Fourier 56 (2006), pp. 1633–1662
work page 2006
-
[6]
B. Berndtsson, Bergman kernels for Paley-Wiener space and Nazarov’s proof of the Bourgain- Milman theorem, Pure Appl. Math. Q. 18 (2022), pp. 395–409
work page 2022
-
[7]
B. Berndtsson, V. Mastrantonis, Y. A. Rubinstein, Lp-polarity, Mahler volumes, and the isotropic constant, preprint, 2023, arxiv: 2304.14363
-
[8]
T. Bisztriczky, K. B¨ or¨ oczky, About the centroid body and the ellipsoid of interita , Mathe- matika 48 (2001), pp. 1–13
work page 2001
-
[9]
Z. B/suppress locki,A lower bound for the Bergman kernel and the Bourgain–Milman inequality, in: Geometric Aspects of Functional Analysis (B. Klartag, E. Mi lman, Eds.), 2014, pp. 53–63
work page 2014
-
[10]
B/suppress locki,Cauchy-Riemann meet Monge-Amp´ ere, B
Z. B/suppress locki,Cauchy-Riemann meet Monge-Amp´ ere, B. Math. Sci. 4 (2014), pp. 433–480
work page 2014
-
[11]
Z. B/suppress locki,On Nazarov’s complex analytic approach to the Mahler conjec ture and the Bourgain- Milman inequality , in: Complex Analysis and Geometry (F. Bracci et al., Eds.), Springer, 2015, pp. 89–98
work page 2015
-
[12]
Borell, Convex sets and functions in d-space, Period
C. Borell, Convex sets and functions in d-space, Period. Math. Hungar. 6 (1975), pp. 111– 136
work page 1975
-
[13]
Bourgain, On high-dimensional maximal functions associated to conve x bodies, Amer
J. Bourgain, On high-dimensional maximal functions associated to conve x bodies, Amer. J. Math. 108 (1986), pp. 1467–1476
work page 1986
-
[14]
J. Bourgain, On the distribution of polynomials on high dimensional conv ex sets , in: Ge- ometric Aspects of Functional Analysis (J. Lindenstrauss, V.D. Milman, Eds.), Springer, 1991, pp. 127–137
work page 1991
-
[15]
H. Brascamp, E. H. Lieb, On extensions of the Brunn–Minkowski and Pr´ ekopa–Leindle r theorems, including inequalities for log concave function s, and with an application to the diffusion equation , J. Funct. Anal. 22 (1976), pp. 366–389
work page 1976
-
[16]
S. Brazitikos, A. Giannopoulos, P. Valletas, B-H. Vrit siou, Geometry of isotropic convex bodies, Amer. Math. Soc., 2014
work page 2014
- [17]
- [18]
- [19]
-
[20]
Chen, An Almost Constant Lower Bound of the Isoperimetric Coefficient i n the KLS Conjecture, Geom
Y. Chen, An Almost Constant Lower Bound of the Isoperimetric Coefficient i n the KLS Conjecture, Geom. Funct. Anal. 31 (2021), pp. 34–61
work page 2021
-
[21]
G. B. Folland, Real Analysis: Modern Techniques and Applications , Second edition, New York: Wiley, 1999
work page 1999
-
[22]
R. J. Gardner, Geometric tomography, second edition corrections and upda te, https : // faculty.gardner.wwu.edu/Update%20Version%201_6.pdf
-
[23]
H¨ ormander, L2 estimates and existence theorems for the ∂ operator, Acta Math
L. H¨ ormander, L2 estimates and existence theorems for the ∂ operator, Acta Math. 113 (1965), pp. 89–152
work page 1965
-
[24]
Hsin, The Bergman kernel on tube domains , Rev
C-I. Hsin, The Bergman kernel on tube domains , Rev. Uni´ on Mat. Argentina 46 (2005), pp. 23–29. 43
work page 2005
-
[25]
J. Hultgren, Nazarov’s proof of the Bourgain-Milman theorem , Master’s thesis, Gothenburg University, 2013
work page 2013
-
[26]
A. Jambulapati, Y. T. Lee, S. Vempala, A slightly improved bound for the KLS constant , preprint, 2022, arxiv:2208.11644
-
[27]
J. F. C. Kingman, Random secants of a convex body , J. Appl. Prob. 6 (1969), pp. 660–672
work page 1969
-
[28]
Klartag, On convex perturbations with a bounded isotropic constant , Geom
B. Klartag, On convex perturbations with a bounded isotropic constant , Geom. Funct. Anal. 16 (2006), pp. 1274–1290
work page 2006
-
[29]
Klartag, Isotropic constants and Mahler volumes , Adv
B. Klartag, Isotropic constants and Mahler volumes , Adv. Math. 330 (2018), pp. 74–108
work page 2018
-
[30]
B. Klartag, Logarithmic bounds for isoperimetry and slices of convex se ts, preprint, 2023, arxiv:2303.14938
-
[31]
B. Klartag, J. Lehec, Bourgain ’s slicing problem and KLS isoperimetry up to polylo g, Geom. Funct. Anal. 32 (2022), pp. 1134–1159
work page 2022
-
[32]
B. Klartag, V. Milman, The slicing problem by Bourgain , preprint, 2021, https : //www. weizmann.ac.il/math/klartag/sites/math.klartag/files/uploads/bourgain_slicing_problem_v2. pdf
work page 2021
-
[33]
Kor´ anyi, The Bergman kernel function for tubes over convex cones , Pac
A. Kor´ anyi, The Bergman kernel function for tubes over convex cones , Pac. J. Math. 12 (1962), pp. 1355–1359
work page 1962
- [34]
-
[35]
Mahler, Ein Minimalproblem f¨ ur konvexe Polygone , Mathematica Zutphen B7 (1939), pp
K. Mahler, Ein Minimalproblem f¨ ur konvexe Polygone , Mathematica Zutphen B7 (1939), pp. 118–127
work page 1939
-
[36]
Mahler, Ein ¨Ubertragungsprinzip f¨ ur konvexe K¨ orper, ˇCasopis Pˇ est
K. Mahler, Ein ¨Ubertragungsprinzip f¨ ur konvexe K¨ orper, ˇCasopis Pˇ est. Math. Fys.68 (1939), pp. 93–102
work page 1939
-
[37]
Mastrantonis, A Santal´ o inequality for the Lp-polar body, preprint, 2024
V. Mastrantonis, A Santal´ o inequality for the Lp-polar body, preprint, 2024
work page 2024
-
[38]
V. Mastrantonis, Y.A. Rubinstein, The Nazarov proof of the non-symmetric Bourgain– Milman inequality , preprint, 2022, to appear in Indiana Univ. Math. J
work page 2022
-
[39]
M. W. Meckes, Volumes of symmetric random polytopes , Arch. Math. 82 (2004), pp. 85–96
work page 2004
-
[40]
M. W. Meckes, Sylvester’s problem for symmetric convex bodies and related problems, Monatsh. Math. 145 (2005), pp. 307–319
work page 2005
- [41]
- [42]
- [43]
-
[44]
V. D. Milman, A. Pajor, Isotropic position and inertia ellipsoids and zonoids of the unit ball of a normed n-dimensional space , in: Geometric Aspects of Functional Analysis (J. Lindenstrauss, V.D. Milman, Eds.), Springer, 1989, pp. 64– 104
work page 1989
-
[45]
F. Nazarov, The H¨ ormander proof of the Bourgain-Milman theorem, in: Geometric Aspects of Functional Analysis (B. Klartag et al., Eds.), Springer, 2012, pp. 335–343
work page 2012
-
[46]
L. Rademacher, A simplicial polytope that maximizes the isotropic constan t must be a sim- plex, Mathematika 62 (2016), pp. 307–320
work page 2016
-
[47]
T. R. Rockafellar, Convex analysis , Princeton University Press, 1970. 44
work page 1970
-
[48]
O. S. Rothaus, Domains of positivity , Abh. Math. Semin. Hamburg 24 (1960), pp. 189–235. University of Maryland vmastr@umd.edu, yanir@alum.mit.edu 45
work page 1960
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.