arxiv: 2605.09334 · v1 · submitted 2026-05-10 · 🧮 math.MG

Recognition: 2 theorem links

· Lean Theorem

The non-symmetric Mahler conjecture in dimension three

Dongmeng Xi, Shibing Chen, Yuanyuan Li, Zhefeng Xu

Pith reviewed 2026-05-12 02:41 UTC · model grok-4.3

classification 🧮 math.MG

keywords Mahler conjectureconvex bodiesvolume productSantaló pointthree dimensionsnon-symmetriclower boundconvex geometry

0 comments

The pith

Every convex body in three dimensions has non-symmetric volume product at least 64/9 with respect to its Santaló point.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper proves the non-symmetric Mahler conjecture in three dimensions by establishing a sharp lower bound on the volume product for any convex body. The non-symmetric volume product measures the combined size of a body and its polar taken around a special centering point called the Santaló point. The result shows this product cannot fall below 64/9 and that the bound is achieved for some bodies. A reader would care because it settles a precise quantitative question in convex geometry about the minimal possible product of volumes under polarity.

Core claim

We prove the sharp lower bound P(K) >= 64/9 for every convex body K subset R^3, where P(K) denotes the non-symmetric volume product with respect to the Santaló point.

What carries the argument

The non-symmetric volume product P(K), defined as the product of the volume of K and the volume of its polar body with respect to the Santaló point that minimizes this product.

Load-bearing premise

The Santaló point exists and is unique for every convex body in three-dimensional space so that the volume product can be defined around it.

What would settle it

A single convex body K in R^3 whose non-symmetric volume product P(K) is computed to be strictly less than 64/9.

read the original abstract

We prove the non-symmetric Mahler conjecture in dimension three. More precisely, we prove the sharp lower bound \[ \mathcal P(K) \geq \frac{64}{9} \] for every convex body $K \subset \mathbb R^3$, where $\mathcal P(K)$ denotes the non-symmetric volume product with respect to the Santal\'o point.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

They prove the non-symmetric Mahler conjecture in three dimensions with the bound 64/9.

read the letter

The punchline for this paper is that it proves the non-symmetric Mahler conjecture in three dimensions. The authors establish that the volume product P(K) is bounded below by 64/9 for every convex body K in R^3, and this bound is sharp. This settles a case that had been open. The non-symmetric version of the Mahler conjecture asks for the infimum of the product of volumes of a body and its polar with respect to the Santaló point. In three dimensions, getting the exact constant is a step forward from what was known before. The paper does a good job of using the standard setup. It relies on the existence and uniqueness of the Santaló point, which is classical, and then develops a three-dimensional argument to reach the bound. The equality case is achieved by the tetrahedron, which is consistent with expectations from lower dimensions. One area that might need close attention is how the proof handles the transition from smooth bodies to general convex bodies. Often these proofs use approximation, and in three dimensions the geometry is manageable but requires care with the constants. The abstract gives no hint of the method, so the full text must contain the key estimates or reductions. There do not appear to be any circular arguments or invented entities in the claim. The bound 64/9 comes from the tetrahedron calculation, which is straightforward to check independently. This work is for researchers in convex geometry, particularly those interested in the Mahler conjecture and its variants. A reader who follows volume inequalities and duality would get direct value from the result as it closes the three-dimensional case. The paper shows clear thinking by building on established facts rather than introducing unnecessary complications. It deserves a serious referee because the claim is specific and the area is active. I recommend sending this to peer review so that experts can examine the details of the proof and confirm whether the bound holds as stated.

Referee Report

0 major / 1 minor

Summary. The manuscript asserts a proof of the non-symmetric Mahler conjecture in dimension three, establishing the sharp lower bound P(K) >= 64/9 for the non-symmetric volume product P(K) of every convex body K in R^3 with respect to its Santaló point.

Significance. If correct, the result would resolve a longstanding open problem in convex geometry by determining the exact minimal non-symmetric volume product in three dimensions and confirming the tetrahedron as the extremal body. It relies on the classical existence and uniqueness of the Santaló point and the standard definition of the volume product functional.

minor comments (1)

The abstract states the main theorem clearly but provides no outline of the proof strategy, lemmas, or key estimates used to reach the constant 64/9.

Simulated Author's Rebuttal

0 responses · 1 unresolved

We thank the referee for summarizing our manuscript and acknowledging the potential significance of establishing the sharp bound of 64/9 for the non-symmetric volume product in dimension three. The referee's recommendation is listed as uncertain, yet the report contains no major comments detailing any specific concerns with the proof, definitions, or arguments. We stand by the completeness of the proof as presented.

standing simulated objections not resolved

The specific reasons for the uncertain recommendation, as no major comments or points of doubt were identified in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The manuscript states a direct proof of the classical non-symmetric Mahler conjecture in dimension 3, asserting the sharp lower bound P(K) >= 64/9 for the volume product with respect to the Santaló point. The provided abstract and claim structure invoke only the standard existence, uniqueness, and interior location of the Santaló point together with the usual definition of the non-symmetric volume product; these are classical facts external to the paper. No equations, fitted parameters, self-citations, ansatzes, or renamings are exhibited that would reduce the claimed lower bound to a tautology or to the paper's own inputs by construction. The derivation is therefore self-contained as a 3-dimensional geometric argument establishing an independent inequality.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Ledger constructed from abstract alone; no further parameters, axioms, or entities are described.

axioms (1)

domain assumption The Santaló point exists and is unique for every convex body in R^3
Invoked by the definition of the non-symmetric volume product P(K)

pith-pipeline@v0.9.0 · 5347 in / 1113 out tokens · 66454 ms · 2026-05-12T02:41:44.457024+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking echoes
We prove the sharp lower bound P(K) ≥ 64/9 for every convex body K ⊂ R^3... Main Result. Every convex body K ⊂ R^3 satisfies P(K) ≥ 64/9. If K is a polytope and attains the minimum, then K must be a tetrahedron.
IndisputableMonolith/Foundation/AlexanderDuality.lean D3_admits_circle_linking unclear
Lemma 5.1... dim A_θ(P) ≥ F(P) - V(P) + Δ(P) + 1... using Euler’s formula V + F - E = 2.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

The Symmetric Mahler Inequality in Dimension Three via Admissible Shadow Systems
math.MG 2026-05 unverdicted novelty 6.0

A new proof shows that every origin-symmetric convex body K in R^3 satisfies |K| |K^o| >= 32/3 via symmetric admissible shadow systems.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 1 Pith paper

[1]

M. M. Bayer and C. W. Lee,Combinatorial aspects of convex polytopes, in Handbook of Convex Geometry, Vols. A–B, P. M. Gruber and J. M. Wills, eds., North-Holland, Amsterdam, 1993, pp. 485–534

work page 1993
[2]

Bourgain and V

J. Bourgain and V. D. Milman,New volume ratio properties for convex symmetric bodies inRn, Invent. Math.88(1987), 319–340. DOI: 10.1007/BF01388911

work page doi:10.1007/bf01388911 1987
[3]

Campi and P

S. Campi and P. Gronchi,On volume product inequalities for convex sets, Proc. Amer. Math. Soc.134 (2006), 2393–2402

work page 2006
[4]

Fradelizi, A

M. Fradelizi, A. Hubard, M. Meyer, E. Roldán-Pensado, and A. Zvavitch,Equipartitions and Mahler volumes of symmetric convex bodies, Amer. J. Math.144(2022),1201–1219

work page 2022
[5]

Fradelizi, M

M. Fradelizi, M. Meyer, and A. Zvavitch,An application of shadow systems to Mahler’s conjecture, Discrete Comput. Geom.48(2012), 721–734. DOI: 10.1007/s00454-012-9435-3

work page doi:10.1007/s00454-012-9435-3 2012
[6]

Fradelizi, M

M. Fradelizi, M. Meyer, and A. Zvavitch,Volume product, inHarmonic Analysis and Convexity, edited by A. Koldobsky and A. Volberg, De Gruyter, Berlin/Boston, 2023, pp. 163–222. arXiv:2301.06131

work page arXiv 2023
[7]

Gordon, M

Y. Gordon, M. Meyer, and S. Reisner,Zonoids with minimal volume-product – a new proof, Proc. Amer. Math. Soc.104(1988), 273–276

work page 1988
[8]

Iriyeh and M

H. Iriyeh and M. Shibata,Symmetric Mahler’s conjecture for the volume product in the three-dimensional case, Duke Math. J.169(2020), no. 6, 1077–1134. DOI: 10.1215/00127094-2019-0072

work page doi:10.1215/00127094-2019-0072 2020
[9]

Kim and S

J. Kim and S. Reisner,Local minimality of the volume-product at the simplex, Mathematika57(2011), no. 1, 121–134. DOI: 10.1112/S0025579310001555

work page doi:10.1112/s0025579310001555 2011
[10]

Kuperberg,From the Mahler conjecture to Gauss linking integrals, Geom

G. Kuperberg,From the Mahler conjecture to Gauss linking integrals, Geom. Funct. Anal.18(2008), no. 3, 870–892. DOI: 10.1007/s00039-008-0669-4

work page doi:10.1007/s00039-008-0669-4 2008
[11]

Lutwak and G

E. Lutwak and G. Zhang,Blaschke–Santaló inequalities, J. Differential Geom.47(1997), no. 1, 1–16

work page 1997
[12]

Lutwak, D

E. Lutwak, D. Yang, and G. Zhang,A volume inequality for polar bodies, J. Differential Geom.84 (2010), no. 1, 163–178. DOI: 10.4310/jdg/1271271796

work page doi:10.4310/jdg/1271271796 2010
[13]

Mahler,Ein Minimalproblem für konvexe Polygone, Mathematica B (Zutphen) B7 (1938), 118-127

K. Mahler,Ein Minimalproblem für konvexe Polygone, Mathematica B (Zutphen) B7 (1938), 118-127

work page 1938
[14]

Mahler,Ein Übertragungsprinzip für konvexe Körper, Časopis pro pěstování matematiky a fysiky68 (1939), 93–102

K. Mahler,Ein Übertragungsprinzip für konvexe Körper, Časopis pro pěstování matematiky a fysiky68 (1939), 93–102

work page 1939
[15]

Meyer and S

M. Meyer and S. Reisner,Shadow systems and volumes of polar convex bodies, Mathematika53(2006), 129–148. DOI: 10.1112/S0025579300000061

work page doi:10.1112/s0025579300000061 2006
[16]

Reisner,Zonoids with minimal volume-product, Math

S. Reisner,Zonoids with minimal volume-product, Math. Z.192(1986), 339–346. DOI: 10.1007/BF01164009. 16 SHIBING CHEN, YUANYUAN LI, DONGMENG XI, AND ZHE-FENG XU

work page doi:10.1007/bf01164009 1986
[17]

C. A. Rogers and G. C. Shephard,Some extremal problems for convex bodies, Mathematika 5, 93–102, 1958

work page 1958
[18]

Saint-Raymond,Sur le volume des corps convexes symétriques, Séminaire d’Initiation à l’Analyse, 1980–1981, Université Paris VI, Paris, 1981

J. Saint-Raymond,Sur le volume des corps convexes symétriques, Séminaire d’Initiation à l’Analyse, 1980–1981, Université Paris VI, Paris, 1981

work page 1980
[19]

Schneider,Convex Bodies: The Brunn–Minkowski Theory, second expanded edition, Encyclopedia of Mathematics and its Applications, vol

R. Schneider,Convex Bodies: The Brunn–Minkowski Theory, second expanded edition, Encyclopedia of Mathematics and its Applications, vol. 151, Cambridge University Press, 2014. School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui 230026, China Email address:chenshib@ustc.edu.cn Institute for Theoretical Sciences, West...

work page 2014