Pith. sign in

REVIEW 2 minor 51 references

Magnetic Brunn-Minkowski inequalities

T0 review · 0 major / 2 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Brunn-Minkowski inequalities for magnetic geodesic averages are equivalent to lower bounds on magnetic Ricci curvature.

desk verdict The paper defines Minkowski averages via action-minimizing magnetic geodesics and proves equivalence to lower bounds on a magnetic Ricci curvature, plus a sharp result on the Heisenberg group. read the letter →

arxiv 2606.08626 v1 pith:7PKT22RK submitted 2026-06-07 math.DG math.MG

Rotem Assouline This is my paper · ORCID
classification math.DGmath.MG
keywords Brunn-MinkowskiinequalitymagneticgeodesicsRiccicurvatureRiemannianmanifoldHeisenberggroupKahlerSasakiancontactgeometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper examines averages of sets on Riemannian manifolds where points are connected by action-minimizing magnetic geodesics determined by a closed magnetic potential. It proves that the Brunn-Minkowski inequality holds for these averages precisely when the magnetic Ricci curvature satisfies a lower bound. This equivalence provides a curvature-based criterion for volume growth under magnetic interpolation. Examples are given for Kähler and Sasakian manifolds, and a sharp version is proved for contact magnetic geodesics on the Heisenberg group. The work also notes that different cohomology classes of potentials can produce distinct averages.

What carries the argument

The magnetic geodesic interpolation operation, defined using action-minimizing curves for a closed magnetic potential, which is shown to satisfy Brunn-Minkowski inequalities exactly when the magnetic Ricci curvature is bounded from below.

What would settle it

A counterexample would be a Riemannian manifold with a closed magnetic potential where the magnetic Ricci curvature is positive but the Brunn-Minkowski inequality fails for some sets under the magnetic geodesic interpolation.

Watch

Extended reading notes

Core claim

The central discovery is the equivalence between Brunn-Minkowski inequalities for Minkowski averages interpolated by magnetic geodesics and lower bounds on the magnetic Ricci curvature. The interpolation uses action-minimizing curves with respect to a magnetic potential on the manifold. This is shown to be equivalent, and applied to prove a sharp inequality on the Heisenberg group.

Load-bearing premise

The magnetic potential must be closed so that the magnetic geodesics are well-defined as action minimizers and the magnetic Ricci curvature controls the volume distortion along them.

Editorial extensions

If this is right

  • The equivalence allows proving Brunn-Minkowski type inequalities via curvature conditions in the magnetic setting.
  • Natural magnetic fields on Kähler and Sasakian manifolds admit such inequalities.
  • A sharp undistorted Brunn-Minkowski inequality holds for contact magnetic geodesics on the Heisenberg group.
  • Magnetic potentials from different cohomology classes can induce different Minkowski averages.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This framework could extend to other curvature-based inequalities like isoperimetric ones in magnetic geometry.
  • Connections might exist to magnetic optimal transport problems on manifolds.
  • The approach may generalize to non-closed potentials or other geometric structures if the magnetic curvature can be defined similarly.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The manuscript studies Minkowski averages on Riemannian manifolds interpolated by action-minimizing magnetic geodesics with respect to a closed magnetic potential. It establishes an equivalence between Brunn-Minkowski inequalities for these averages and lower bounds on a magnetic Ricci curvature. Examples are provided for natural magnetic fields on Kähler and Sasakian manifolds, a sharp undistorted Brunn-Minkowski inequality is proved for contact magnetic geodesics on the Heisenberg group, and it is observed that closed magnetic potentials from different cohomology classes may induce different geodesic Minkowski averages.

Significance. If the equivalence holds, the result supplies a curvature characterization of a generalized Brunn-Minkowski inequality in the magnetic setting, extending classical Riemannian results to magnetic flows. The sharp inequality on the Heisenberg group and the explicit examples on Kähler/Sasakian manifolds provide concrete, verifiable instances that strengthen the contribution. The cohomology-class observation underscores the dependence of the averages on the magnetic structure.

minor comments (2)
  1. [Introduction] The notation for the magnetic potential and the precise definition of the associated magnetic Ricci curvature should be stated explicitly at the first appearance in the introduction to aid readability for readers outside the immediate subfield.
  2. [Heisenberg group section] In the Heisenberg-group example, a brief comparison of the obtained constant with the classical (non-magnetic) Brunn-Minkowski constant on the same space would clarify the effect of the magnetic perturbation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, recognition of its significance, and recommendation to accept.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; equivalence derived from independent geometric definitions

full rationale

The paper defines the Minkowski averages via action-minimizing magnetic geodesics (with closed magnetic potential) and defines magnetic Ricci curvature as a tensor controlling volume distortion along those geodesics. The claimed equivalence is a standard if-and-only-if statement between an inequality for these averages and a lower bound on that curvature tensor. No parameter is fitted to data and then relabeled a prediction, no self-citation supplies a load-bearing uniqueness theorem, and no ansatz is smuggled in. The derivation chain is self-contained within differential geometry and does not reduce to its own inputs by construction.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Abstract provides no explicit free parameters, axioms, or invented entities; magnetic Ricci curvature and action-minimizing magnetic geodesics are referenced but not defined here.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Magnetic Brunn-Minkowski inequalities." pith.science (2026). https://pith.science/paper/7PKT22RK

@misc{pith2026260608626,
  author       = {Pith},
  title        = {Pith review of: Magnetic Brunn-Minkowski inequalities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7PKT22RK}},
  note         = {Machine review of arXiv:2606.08626}
}
read the original abstract

We study Minkowski averages on Riemannian manifolds in which the interpolation is by action-minimizing magnetic geodesics with respect to a given magnetic potential. We establish equivalence between Brunn-Minkowski inequalities for this operation and lower bounds on a magnetic Ricci curvature. We then discuss various examples, including natural magnetic fields on K\"ahler and Sasakian manifolds, and prove a sharp, undistorted Brunn-Minkowski inequality for contact magnetic geodesics on the Heisenberg group. We also observe that closed magnetic potentials from different cohomology classes may give rise to different geodesic Minkowski averages.

Figures

Figures reproduced from arXiv: 2606.08626 by the authors.

Figure 1
Figure 1. The magnetic Minkowski 1 2 -average of two discs of radius 1 10 in the unit disc, with the Euclidean metric and with the magnetic field Ω = dη = c dx ∧ dy for c = 0 (left), c = 0.85 (middle) and c = 1 (right). 2. Magnetic geodesics, magnetic Ricci curvature, and magnetic Brunn–Minkowski 2.1. Magnetic geodesics and magnetic Minkowski averages. Let (M, g) be a Riemannian manifold of dimension n ≥ 2 and let Ω be a clos… view at source ↗
Figure 2
Figure 2. Geodesic (left) and magnetic (right) Minkowski averages on the cylinder with η = 1 2 dθ (top) and the flat torus with η = 1 2 (dθ1 + dθ2) (bottom). The vector field η ♯ is shown in gray. 4. From magnetic Ricci curvature to magnetic Brunn–Minkowski Throughout this section and the next, we fix a smooth Riemannian manifold (M, g) of dimension n ≥ 2 and a one-form η on M, such that conditions (I)-(III) from Section 2 ho… view at source ↗
Figure 3
Figure 3. The sets A0 and A1 and the map mε. are linear maps satisfying det(Lε,0) = 1 + ε 2 8 · RicΩ(v) + O(ε 3 (33) ) and det(Lε,1) = 1 − 3ε 2 8 · RicΩ(v) + O(ε 3 (34) ). Proof. Let wi ∈ Ei , i = 0, 1. For s ∈ (−1, 1), let γs : [0, ℓ(s)] → M be a unit-speed magnetic geodesic satisfying (35) γs(0) = expx (s · w0) and γs(ℓ(s)) = expγ(ε) (s · dΦεw1), and in particular γ0 = γ. Note that if U is a sufficiently small neighborhood … view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: The choice of E0 and E1. We now choose the sets E0, E1 by requiring that they have equal volumes, and that their respec￾tive images under Lε,0 and Lε,1 be balls centered at the origin in Tγ(ε/2)M, with the ball Lε,0(E0) having radius ε 3 . See [PITH_FULL_IMAGE:figures…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

51 extracted references · 5 canonical work pages

  1. [1]

    A comparison theorem on magnetic Jacobi fields.Proc

    Toshiaki Adachi. A comparison theorem on magnetic Jacobi fields.Proc. Edinburgh Math. Soc. (2), 40(2):293– 308, 1997

    1997

  2. [2]

    Rank of a Hermitian symmetric space of noncompact type and K¨ ahler magnetic fields on a product manifold.Hokkaido Math

    Toshiaki Adachi. Rank of a Hermitian symmetric space of noncompact type and K¨ ahler magnetic fields on a product manifold.Hokkaido Math. J., 35(4):847–864, 2006

    2006

  3. [3]

    A theorem of Hadamard-Cartan type for K¨ ahler magnetic fields.J

    Toshiaki Adachi. A theorem of Hadamard-Cartan type for K¨ ahler magnetic fields.J. Math. Soc. Japan, 64(3):969– 984, 2012

    2012

  4. [4]

    Sub-Riemannian curvature in contact geometry.J

    Andrei Agrachev, Davide Barilari, and Luca Rizzi. Sub-Riemannian curvature in contact geometry.J. Geom. Anal., 27(1):366–408, 2017

    2017

  5. [5]

    The Hopf-Rinow theorem and the Ma˜ n´ e critical value for magnetic geodesics on odd-dimensional spheres

    Peter Albers, Gabriele Benedetti, and Levin Maier. The Hopf-Rinow theorem and the Ma˜ n´ e critical value for magnetic geodesics on odd-dimensional spheres. arXiv:2503.02406

    work page arXiv

  6. [6]

    Magnetic curvature and existence of closed magnetic geodesics on low energy levels.Int

    Valerio Assenza. Magnetic curvature and existence of closed magnetic geodesics on low energy levels.Int. Math. Res. Not. IMRN, pages 13586–13610, 2024

    2024

  7. [7]

    Electromagnetic curvature via Jacobi-Maupertuis and beyond

    Valerio Assenza and Giorgia Testolina. Electromagnetic curvature via Jacobi-Maupertuis and beyond. arXiv:2510.27514

    work page arXiv

  8. [8]

    Brunn-Minkowski inequalities for sprays on surfaces.J

    Rotem Assouline. Brunn-Minkowski inequalities for sprays on surfaces.J. Geom. Anal., 34(11):Paper No. 339, 27, 2024

    2024

Show all 51 references
  1. [9]

    Curvature-dimension for autonomous Lagrangians

    Rotem Assouline. Curvature-dimension for autonomous Lagrangians. InGeometric Aspects of Functional Anal- ysis: Israel Seminar (GAFA), Lecture Notes in Math. Springer, 2025. To appear. Preprint: arXiv:2409.08001

    2025

  2. [10]

    Horocyclic Brunn-Minkowski inequality.Adv

    Rotem Assouline and Bo’az Klartag. Horocyclic Brunn-Minkowski inequality.Adv. Math., 436:Paper No. 109381, 39 pp., 2024

    2024

  3. [11]

    Displacement convexity in electromagnetic optimal transport on Lorentzian manifolds

    Rotem Assouline and Davide Manini. Displacement convexity in electromagnetic optimal transport on Lorentzian manifolds. In preparation

  4. [12]

    An estimate of the spread of trajectories for K¨ ahler magnetic fields.Hokkaido Math

    Pengfei Bai and Toshiaki Adachi. An estimate of the spread of trajectories for K¨ ahler magnetic fields.Hokkaido Math. J., 42(3):445–462, 2013

    2013

  5. [13]

    Balogh, Alexandru Krist´ aly, and Kinga Sipos

    Zolt´ an M. Balogh, Alexandru Krist´ aly, and Kinga Sipos. Geometric inequalities on Heisenberg groups.Calc. Var. Partial Differential Equations, 57(2):Paper No. 61, 41, 2018. MAGNETIC BRUNN–MINKOWSKI INEQUALITIES 31

    2018

  6. [14]

    Unified synthetic Ricci curvature lower bounds for Riemannian and sub-Riemannian structures

    Davide Barilari, Andrea Mondino, and Luca Rizzi. Unified synthetic Ricci curvature lower bounds for Riemannian and sub-Riemannian structures. arXiv:2211.07762

  7. [15]

    Sub-Riemannian interpolation inequalities.Invent

    Davide Barilari and Luca Rizzi. Sub-Riemannian interpolation inequalities.Invent. Math., 215(3):977–1038, 2019

    2019

  8. [16]

    Curvature dimension inequalities and subelliptic heat kernel gradient bounds on contact manifolds.Potential Anal., 40(2):163–193, 2014

    Fabrice Baudoin and Jing Wang. Curvature dimension inequalities and subelliptic heat kernel gradient bounds on contact manifolds.Potential Anal., 40(2):163–193, 2014

    2014

  9. [17]

    Blair.Riemannian geometry of contact and symplectic manifolds, volume 203 ofProgr

    David E. Blair.Riemannian geometry of contact and symplectic manifolds, volume 203 ofProgr. Math.Birkh¨ auser Boston, Ltd., Boston, MA, second edition, 2010

    2010

  10. [18]

    S. G. Bobkov. The Brunn-Minkowski inequality in spaces with bitriangular laws of composition.Journal of Mathematical Sciences, 179(1):2–6, 2011

    2011

  11. [19]

    Boyer, Krzysztof Galicki, and Paola Matzeu

    Charles P. Boyer, Krzysztof Galicki, and Paola Matzeu. On eta-Einstein Sasakian geometry.Comm. Math. Phys., 262(1):177–208, 2006

    2006

  12. [20]

    Mathias Braun and Robert J. McCann. Causal convergence conditions through variable timelike Ricci curvature bounds. arXiv:2312.17158

  13. [21]

    Paternain

    Keith Burns and Gabriel P. Paternain. Anosov magnetic flows, critical values and topological entropy.Nonlin- earity, 15(2):281–314, 2002

    2002

  14. [22]

    J. L. Cabrerizo, M. Fern´ andez, and J. S. G´ omez. The contact magnetic flow in 3D Sasakian manifolds.J. Phys. A, 42(19):195201, 10 pp., 2009

    2009

  15. [23]

    Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds.Invent

    Fabio Cavalletti and Andrea Mondino. Sharp and rigid isoperimetric inequalities in metric-measure spaces with lower Ricci curvature bounds.Invent. Math., 208(3):803–849, 2017

    2017

  16. [24]

    Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications.Camb

    Fabio Cavalletti and Andrea Mondino. Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications.Camb. J. Math., 12(2):417–534, 2024

    2024

  17. [25]

    Contreras

    G. Contreras. Action potential and weak KAM solutions.Calc. Var. Partial Differential Equations, 13(4):427– 458, 2001

    2001

  18. [26]

    Lagrangian flows: the dynamics of globally minimizing orbits

    Gonzalo Contreras, Jorge Delgado, and Renato Iturriaga. Lagrangian flows: the dynamics of globally minimizing orbits. II.Bol. Soc. Brasil. Mat. (N.S.), 28(2):155–196, 1997

    1997

  19. [27]

    McCann, and Michael Schmuckenschl¨ ager

    Dario Cordero-Erausquin, Robert J. McCann, and Michael Schmuckenschl¨ ager. A Riemannian interpolation inequality ` a la Borell, Brascamp and Lieb.Invent. Math., 146(2):219–257, 2001

    2001

  20. [28]

    Magnetic curves in Sasakian manifolds.J

    Simona Luiza Drut ¸˘ a-Romaniuc, Jun-ichi Inoguchi, Marian Ioan Munteanu, and Ana Irina Nistor. Magnetic curves in Sasakian manifolds.J. Nonlinear Math. Phys., 22(3):428–447, 2015

    2015

  21. [29]

    R. J. Gardner. The Brunn-Minkowski inequality.Bull. Amer. Math. Soc. (N.S.), 39(3):355–405, 2002

    2002

  22. [30]

    Magnetic flows of Anosov type.Tohoku Math

    Norio Gouda. Magnetic flows of Anosov type.Tohoku Math. J. (2), 49(2):165–183, 1997

    1997

  23. [31]

    Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1990

    Alfred Gray.Tubes. Addison-Wesley Publishing Company, Advanced Book Program, Redwood City, CA, 1990

    1990

  24. [32]

    Flots magn´ etiques en courbure n´ egative.Ergodic Theory Dynam

    St´ ephane Grognet. Flots magn´ etiques en courbure n´ egative.Ergodic Theory Dynam. Systems, 19(2):413–436, 1999

    1999

  25. [33]

    Curvature-dimension inequalities on sub-Riemannian manifolds obtained from Riemannian foliations: part II.Math

    Erlend Grong and Anton Thalmaier. Curvature-dimension inequalities on sub-Riemannian manifolds obtained from Riemannian foliations: part II.Math. Z., 282(1-2):131–164, 2016

    2016

  26. [34]

    Motion of charged particles in a compact homogeneous Sasakian manifold

    Osamu Ikawa. Motion of charged particles in a compact homogeneous Sasakian manifold. InNew horizons in differential geometry and its related fields, pages 23–39. World Sci. Publ., Hackensack, NJ, [2022]©2022

    2022

  27. [35]

    Homogeneity of magnetic geodesics in the Heisenberg group.arXiv preprint, 2026

    Jun-ichi Inoguchi and Marian Ioan Munteanu. Homogeneity of magnetic geodesics in the Heisenberg group.arXiv preprint, 2026

    2026

  28. [36]

    Finsler metrics and action potentials.Proc

    Renato Iturriaga and H´ ector S´ anchez-Morgado. Finsler metrics and action potentials.Proc. Amer. Math. Soc., 128(11):3311–3316, 2000

    2000

  29. [37]

    Universitext

    J¨ urgen Jost.Riemannian geometry and geometric analysis. Universitext. Springer, Cham, 7 edition, 2017

    2017

  30. [38]

    Needle decompositions in Riemannian geometry.Mem

    Bo’az Klartag. Needle decompositions in Riemannian geometry.Mem. Amer. Math. Soc., 249(1180):v+77 pp., 2017

    2017

  31. [39]

    Ricci curvature type lower bounds for sub-riemannian structures on sasakian manifolds.Discrete and Continuous Dynamical Systems, 36:303–321, 06 2015

    Paul Lee, Chengbo Li, and Igor Zelenko. Ricci curvature type lower bounds for sub-riemannian structures on sasakian manifolds.Discrete and Continuous Dynamical Systems, 36:303–321, 06 2015

    2015

  32. [40]

    On the isoperimetric problem in the Heisenberg groupH n.Ann

    Gian Paolo Leonardi and Simon Masnou. On the isoperimetric problem in the Heisenberg groupH n.Ann. Mat. Pura Appl. (4), 184(4):533–553, 2005

    2005

  33. [41]

    Ricci curvature for metric-measure spaces via optimal transport.Ann

    John Lott and C´ edric Villani. Ricci curvature for metric-measure spaces via optimal transport.Ann. of Math. (2), 169(3):903–991, 2009

    2009

  34. [42]

    The Brunn-Minkowski inequality implies the CD condition in weighted Riemannian manifolds.Nonlinear Anal., 242:Paper No

    Mattia Magnabosco, Lorenzo Portinale, and Tommaso Rossi. The Brunn-Minkowski inequality implies the CD condition in weighted Riemannian manifolds.Nonlinear Anal., 242:Paper No. 113502, 13 pp., 2024

    2024

  35. [43]

    A note on magnetic curves onS 2n+1.C

    Marian Ioan Munteanu and Ana Irina Nistor. A note on magnetic curves onS 2n+1.C. R. Math. Acad. Sci. Paris, 352(5):447–449, 2014

    2014

  36. [44]

    Finsler interpolation inequalities.Calc

    Shin-ichi Ohta. Finsler interpolation inequalities.Calc. Var. Partial Differential Equations, 36(2):211–249, 2009

    2009

  37. [45]

    Needle decompositions and isoperimetric inequalities in Finsler geometry.J

    Shin-ichi Ohta. Needle decompositions and isoperimetric inequalities in Finsler geometry.J. Math. Soc. Japan, 70(2):651–693, 2018. 32 ROTEM ASSOULINE

    2018

  38. [46]

    A direct proof of the Brunn-Minkowski inequality in nilpotent Lie groups.arXiv preprint, 2019

    Juli´ an Pozuelo. A direct proof of the Brunn-Minkowski inequality in nilpotent Lie groups.arXiv preprint, 2019

    2019

  39. [47]

    Theses, Universit´ e Paris-Sud, February 1992

    Michel Rumin.Formes diff´ erentielles sur les vari´ et´ es de contact. Theses, Universit´ e Paris-Sud, February 1992

    1992

  40. [48]

    Cambridge University Press, Cambridge, second expanded edition edition, 2014

    Rolf Schneider.Convex Bodies: The Brunn-Minkowski Theory, volume 151 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, second expanded edition edition, 2014

    2014

  41. [49]

    On the geometry of metric measure spaces

    Karl-Theodor Sturm. On the geometry of metric measure spaces. II.Acta Math., 196(1):133–177, 2006

    2006

  42. [50]

    Old and new, volume 338 ofGrundlehren Math

    C´ edric Villani.Optimal transport. Old and new, volume 338 ofGrundlehren Math. Wiss.Springer-Verlag, Berlin, 2009

    2009

  43. [51]

    Wojtkowski

    Maciej P. Wojtkowski. Magnetic flows and Gaussian thermostats on manifolds of negative curvature.Fund. Math., 163(2):177–191, 2000

    2000

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.