Pith. sign in

REVIEW 4 minor 41 references

Uniqueness of solutions to the isotropic $L_{p}$ Gaussian Minkowski problem

T0 review · 0 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

Pith's one-line read For -n-1 < p < -1, every admissible solution inside the unit ball is a sphere.

desk verdict A clean, checkable uniqueness proof for the Lp Gaussian Minkowski problem in a narrow but genuinely new range; worth refereeing, with the R(K)<=1 caveat kept visible. read the letter →

arxiv 2412.12851 v2 pith:2OH665RD submitted 2024-12-17 math.AP math.MG

classification math.APmath.MG MSC 35A0252A20
keywords uniquenessisotropicL_pGaussianMinkowskiproblemsurfaceareameasureMonge-AmpèreequationconvexbodieslocalBrunn-Minkowskiinequalitysupportfunction
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 proves a uniqueness theorem for the isotropic $L_p$ Gaussian Minkowski problem in every dimension $n \ge 1$, in the negative range $-(n+1) < p < -1$. The equation studied is the Monge-Ampère type equation $h^{1-p}e^{-|Dh|^2/2}/\kappa = c$ on the sphere, which says that the $L_p$ Gaussian surface area measure of the body is uniform. The theorem removes the usual assumption that the body is centered at the origin: any smooth strictly convex solution with support function $h>0$ and with the body lying in the unit ball ($R(K) \le 1$) must be a sphere. This matters because uniqueness of such solutions is what makes degree-theoretic existence proofs for the non-normalized problem well defined, so the result opens the way to existence of small solutions in a nonsymmetric setting. The proof uses a spectral formulation of the Alexandrov-Fenchel inequality with Gaussian-weighted test functions, and the unit-ball condition supplies the final sign.

What carries the argument

The argument is carried by a spectral formulation of the Alexandrov-Fenchel inequality (Lemma 3.1): for functions with zero mean against $h\sigma_k$, one has $k\int_{S^n} f^2 h\sigma_k\,d\sigma \le \int_{S^n} h^2\sigma^{ij}_k\nabla_i f\nabla_j f\,d\sigma$, with equality only for $f=\langle x/h,v\rangle$. The proof feeds in the Gaussian-weighted coordinate functions $f_l=e^{-|X|^\alpha/2}\langle X,E_l\rangle$ minus their means, sums over an orthonormal basis, and obtains the weighted inequality of Lemma 3.2. Substituting the equation in the form $h^{n+2}/\kappa=ce^{|X|^\alpha/2}h^{n+1+p}$ converts the main term into $(n+1+p)\int |\nabla h|^2 e^{-|X|^\alpha}\,dV_n$ plus a leftover term, and the condition $R(K)\le1$ makes that leftover term carry the sign $(|X|^2-1)\le0$. The chain forces $|\nabla h|\equiv0$, so $h$ is constant and $\partial K$ is a sphere.

What would settle it

Compute the linearized isotropic $L_p$ Gaussian Minkowski equation around a centered ball of radius $r<1$ in dimension $n=1$ or $n=2$. The theorem predicts that every nonconstant mode vanishes for $-(n+1)<p<-1$; exhibiting a nonzero mode, or producing a non-spherical solution with $R(K)\le1$ for some $c>e^{-1/2}$, would falsify the claim.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 1.1: let $n\ge1$ and $-(n+1)<p<-1$. If $\partial K$ is a smooth, strictly convex hypersurface with support function $h>0$ and $R(K)\le1$, and if $h^{1-p}e^{-|Dh|^2/2}/\kappa=c$ for some constant $c>0$ on $S^n$, then $\partial K$ is a sphere. Consequently, for $c\in(0,e^{-1/2}]$ the unique solution is the centered ball of radius $r\in(0,1]$ solving $r^{n+1-p}e^{-r^2/2}=c$, while for $c>e^{-1/2}$ there is no solution at all in this class. The advance over prior work is that the origin-centred assumption on the body is dropped, at the price of the size condition $R(K)\le1$.

Load-bearing premise

The load-bearing premise is the size bound $R(K)\le1$, meaning every point of the convex body is within distance 1 of the origin. At equation (3.11) this makes $(|X|^2-1)\le0$, which supplies the sign that forces $|\nabla h|=0$; without the bound, centered balls of radius larger than 1 can both satisfy the equation, so uniqueness fails.

Editorial extensions

If this is right

  • For every $n\ge1$ and every $p\in(-(n+1),-1)$, the only smooth strictly convex solution of the isotropic $L_p$ Gaussian Minkowski problem with $R(K)\le1$ is a centered sphere.
  • The origin-centred assumption, previously required for $p>-n-1$, is not needed in this range once the body lies in the unit ball.
  • For $0<c\le e^{-1/2}$, the unique solution is the centered ball of radius $r\in(0,1]$ with $r^{n+1-p}e^{-r^2/2}=c$; for $c>e^{-1/2}$, the theorem implies there is no solution at all in this class.
  • The uniqueness statement is what makes the degree-theoretic construction of small solutions to the non-normalized $L_p$ Gaussian Minkowski problem well defined for $-(n+1)<p<-1$.
  • The obstruction to larger bodies is real: without $R(K)\le1$, centered balls of radius greater than 1 provide non-unique solutions, so any extension needs a new inequality.

Reading between the lines

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

  • Editorial inference: the same test-function scheme should transpose to other radial densities $e^{-\varphi(|X|)}$, with the unit-ball bound replaced by a monotonicity condition on $\varphi$, since the decisive sign in the proof comes from the derivative of the Gaussian exponent.
  • Editorial inference: at the endpoint $p=-1$ the coefficient $(n+1+p)(-1-p)$ in the main estimate vanishes, so this argument degenerates and cannot by itself decide the logarithmic Gaussian case.
  • Editorial inference: the appendix's local spectral Ehrhard inequality suggests that a suitably chosen test function could replace $R(K)\le1$ by a Gaussian-volume condition such as $\gamma(K)\ge1/2$, extending uniqueness beyond the unit ball.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 4 minor

Summary. The paper establishes a uniqueness theorem for the isotropic L_p Gaussian Minkowski problem in R^{n+1}. Theorem 1.1 states that for -(n+1)<p<-1, any smooth strictly convex hypersurface with support function h>0 and R(K)<=1 satisfying h^{1-p} e^{-|Dh|^2/2} (1/kappa) = c for c>0 must be a sphere. The proof uses the spectral formulation of the Alexandrov-Fenchel inequality (Lemma 3.1) with carefully chosen test functions depending on the position vector X=Dh, derives a differential inequality via Lemmas 3.2 and 3.3, and then uses the size condition R(K)<=1 to force |grad h|=0. The paper also discusses constant solutions and includes an appendix on a local Ehrhard inequality.

Significance. If correct, the result is a genuine advance: it removes the origin-centred assumption for p<1 in the supercritical range -(n+1)<p<-1, under the explicit and honestly stated size condition R(K)<=1. The proof is coherent and self-contained modulo the standard spectral Alexandrov-Fenchel inequality, and the algebraic identities in Lemmas 3.2 and 3.3 check out, including the sign in Eq. (3.11) and the use of R(K)<=1. The paper also correctly identifies the obstruction to the method for R(K)>1 by exhibiting non-uniqueness among centered balls of different radii. These are concrete strengths. The main limitation is that the theorem is not as general as the abstract suggests, since the R(K)<=1 hypothesis is omitted there.

minor comments (4)
  1. [Abstract] The abstract states uniqueness in the range -(n+1)<p<-1 without mentioning the hypothesis R(K)<=1. As written, this overclaims: without that condition the statement is false, since centered balls of different radii larger than 1 can satisfy the same equation. The abstract should include the size restriction.
  2. [Theorem 1.1] The final sentence of Theorem 1.1 says that for c>e^{-1/2} there is no constant solution. This is only true under the standing assumption R(K)<=1; without it, the function g(t)=t^{n+1-p}e^{-t^2/2} has values above e^{-1/2} on (1, sqrt(n+1-p)), giving two constant solutions with R(K)>1. Please add an explicit qualifier such as 'under the condition R(K)<=1' to this sentence.
  3. [References] There are several typographical errors in the references: [5] contains 'and and', [26] contains 'Gauassian', and [33] contains 'to apprear'. The spelling of Alexandrov/Aleksandrov is inconsistent between Lemma 3.1 and references [1,2].
  4. [Appendix A] The notation in the proof of Lemma A.2, especially the terms involving 'h_i|Dh|_j|Dh|' in Eq. (A.3), is very difficult to parse. Since this appendix is not used in the proof of the main theorem, consider rewriting it more carefully or clearly marking it as heuristic. This does not affect the main result.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof derives uniqueness from an external spectral Alexandrov–Fenchel inequality and the PDE itself, with no fitted parameters or load-bearing self-citations.

full rationale

The derivation chain is self-contained against external results. Lemma 3.1 is quoted from Andrews [3,5], and the test functions in Lemma 3.2 follow the method of Ivaki-Milman [23], an independent source. The proof of Theorem 1.1 substitutes the PDE relation h^{1-p} e^{-|Dh|^2/2} (1/κ) = c into Lemma 3.3, applies Cauchy-Schwarz and the hypothesis R(K) ≤ 1, and obtains an inequality whose left-hand side is nonnegative while the right-hand side is nonpositive, forcing |∇h| = 0. No parameter is fitted and no 'prediction' is derived from data or from a prior claim of the same paper. The only self-citation, [18], appears in the introduction as contextual literature and plays no role in the proof. The constant-solution count for centered balls is an independent check and is not part of the uniqueness argument. The restriction R(K) ≤ 1 is an explicit hypothesis and is used exactly where stated; its limitation is acknowledged in the text and does not constitute circularity.

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

No free parameters are fitted: p is the fixed exponent in the problem statement and c is the prescribed constant. No new entities are introduced; the proof uses only the support function h, the Gauss curvature κ, and the standard inequality from [3,5].

assumptions (3)
  • standard math Spectral Alexandrov-Fenchel inequality (Lemma 3.1) for f with zero weighted mean and its equality case
    Stated in Section 3 and used in Lemma 3.2 to produce inequality (3.1); it is cited to Andrews [3] and Andrews et al. [5] and not proved in this paper.
  • domain assumption Smoothness and strict convexity of ∂K, h>0
    Assumed in Theorem 1.1 so the support function, Gauss map, principal radii, and the Monge-Ampere equation are classical; also ensures dV_n = hσ_n dσ is a positive measure.
  • domain assumption Size restriction R(K)≤1
    Assumed in Theorem 1.1 and used after Eq. (3.11): with α=2 the right-hand side contains (|X|^2-1), and R(K)≤1 makes this nonpositive, forcing |∇h|=0. The author notes the method does not work for R(K)>1.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Uniqueness of solutions to the isotropic $L_{p}$ Gaussian Minkowski problem." pith.science (2026). https://pith.science/paper/2OH665RD

@misc{pith2026241212851,
  author       = {Pith},
  title        = {Pith review of: Uniqueness of solutions to the isotropic $L_p$ Gaussian Minkowski problem},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2OH665RD}},
  note         = {Machine review of arXiv:2412.12851}
}
abstract

The uniqueness of solutions to the isotropic $L_{p}$ Gaussian Minkowski problem in $\mathbb{R}^{n+1}$ is established when $-(n+1)<p<-1$ with $n\geq 1$, without requiring the origin-centred assumption on convex bodies.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

41 extracted references · 39 canonical work pages

  1. [3]

    Andrews, Monotone quantities and unique limits for ev olving convex hypersurfaces, Internat

    B. Andrews, Monotone quantities and unique limits for ev olving convex hypersurfaces, Internat. Math. Res. Notices 1997, no. 20, 1001–1031

  2. [5]

    Andrews, B

    B. Andrews, B. Chow, C. Guenther and and M. Langford, Extrinsic geometric flows , Graduate Studies in Mathematics, 206, Amer. Math. Soc., Providence, RI, [202 0] ©2020

  3. [1]

    A. D. Aleksandrov, On the surface area measure of convex b odies, Mat. Sb. (N.S.) 6 (1939), 167–174

  4. [2]

    A. D. Aleksandrov, On the theory of mixed volumes. III. Ex tensions of two theorems of Minkowski on convex polyhedra to arbitrary convex bodies, Mat. Sb. 3 (1938), 27–46

  5. [4]

    Andrews, Classification of limiting shapes for isotro pic curve flows, J

    B. Andrews, Classification of limiting shapes for isotro pic curve flows, J. Amer. Math. Soc. 16 (2003), no. 2, 443–459. 12

  6. [6]

    Bianchi, K

    G. Bianchi, K. J. B¨ or¨ oczky, A. Colesanti and D. Yang, Th e Lp-Minkowski problem for − n < p < 1, Adv. Math. 341 (2019), 493–535

  7. [7]

    Bonnesen and W

    T. Bonnesen and W. Fenchel, Theory of convex bodies , translated from the German and edited by L. Boron, C. Christenson and B. Smith, BCS Associates, Moscow, ID, 1987

  8. [8]

    B¨ or¨ oczky, E

    K. B¨ or¨ oczky, E. Lutwak, D. Yang and G. Zhang, The logarithmic Minkowski problem, J. Amer. Math. Soc. 26 (2013), no. 3, 831–852

Show all 41 references
  1. [9]

    K. J. B¨ or¨ oczky and H. T. Trinh, The planarLp-Minkowski problem for 0 < p < 1, Adv. in Appl. Math. 87 (2017), 58–81

  2. [10]

    S. Chen, S. Hu, W. Liu and Y. Zhao, On the planar Gaussian- Minkowski problem, Adv. Math. 435 (2023), part A, Paper No. 109351

  3. [11]

    S. Chen, Q. Li and G. Zhu, On the Lp Monge-Amp` ere equation, J. Differential Equations 263 (2017), no. 8, 4997–5011

  4. [12]

    S. Chen, Q. Li and G. Zhu, The logarithmic Minkowski prob lem for non-symmetric measures, Trans. Amer. Math. Soc. 371 (2019), no. 4, 2623–2641

  5. [13]

    S. Y. Cheng and S. T. Yau, On the regularity of the solutio n of the n-dimensional Minkowski problem, Comm. Pure Appl. Math. 29 (1976), no. 5, 495–516

  6. [14]

    Fenchel and B

    W. Fenchel and B. Jessen, Mengenfunktionen und konvexe K¨ orper, Danske Vid. Selsk. Mat.-Fys. Medd. 16 (1938), 1–31

  7. [15]

    Y. Feng, S. Hu and L. Xu, On the Lp Gaussian Minkowski problem, J. Differential Equations 363 (2023), 350–390

  8. [16]

    R. J. Gardner, Geometric tomography, second edition, Encyclopedia of Mathematics and its Appli ca- tions, 58, Cambridge University Press, New York, 2006

  9. [17]

    Haberl, E

    C. Haberl, E. Lutwak, D. Yang and G. Zhang, The even Orlic z Minkowski problem, Adv. Math. 224 (2010), no. 6, 2485–2510

  10. [18]

    Hu, The generalized Gaussian log-Minkowski problem , Proc

    J. Hu, The generalized Gaussian log-Minkowski problem , Proc. Amer. Math. Soc. 153 (2025), no. 5, 2127–2137

  11. [19]

    Hu and M

    Y. Hu and M. N. Ivaki, On the uniqueness of solutions to th e isotropic Lp dual Minkowski problem, Nonlinear Anal. 241 (2024), Paper No. 113493, 6 pp

  12. [20]

    Huang, E

    Y. Huang, E. Lutwak, D. Yang and G. Zhang, Geometric meas ures in the dual Brunn-Minkowski theory and their associated Minkowski problems, Acta Math. 216 (2016), no. 2, 325–388

  13. [21]

    Huang, D

    Y. Huang, D. M. Xi and Y. Zhao, The Minkowski problem in Ga ussian probability space, Adv. Math. 385 (2021), Paper No. 107769, 36 pp

  14. [22]

    M. N. Ivaki, Uniqueness of solutions to a class of non-ho mogeneous curvature problems, arXiv:2307.06252 (2023)

  15. [23]

    M. N. Ivaki and E. Milman, Uniqueness of solutions to a cl ass of isotropic curvature problems, Adv. Math. 435 (2023), part A, Paper No. 109350, 11 pp

  16. [24]

    Jerison, Prescribing harmonic measure on convex dom ains, Invent

    D. Jerison, Prescribing harmonic measure on convex dom ains, Invent. Math. 105 (1991), no. 2, 375–400

  17. [25]

    A. V. Kolesnikov and E. Milman, Local Lp-Brunn-Minkowski inequalities for p < 1, Mem. Amer. Math. Soc. 277 (2022), no. 1360, v+78 pp

  18. [26]

    A. V. Kolesnikov and E. Milman, Sharp Poincar´ e-type in equality for the Gauassian measure on the boundary of convex sets, in Geometric aspects of functional analysis , 221–234, Lecture Notes in Math., 2169, Springer, Cham, arXiv:1601.02925

  19. [27]

    Kryvonos and D

    L. Kryvonos and D. Langharst, Weighted Minkowski’s exi stence theorem and projection bodies, Trans. Amer. Math. Soc. 376 (2023), no. 12, 8447–8493

  20. [28]

    Y. Y. Li, Degree theory for second order nonlinear ellip tic operators and its applications, Comm. Partial Differential Equations 14 (1989), no. 11, 1541–1578

  21. [29]

    Liu, The Lp-Gaussian Minkowski problem, Calc

    J. Liu, The Lp-Gaussian Minkowski problem, Calc. Var. Partial Differenti al Equations 61 (2022), no. 1, Paper No. 28, 23 pp

  22. [30]

    Liu, On the planar Lp Gaussian Minkowski problem, arxiv: 2405.13725

    W. Liu, On the planar Lp Gaussian Minkowski problem, arxiv: 2405.13725. 13

  23. [31]

    Lutwak, The Brunn-Minkowski-Fir ey theory

    E. Lutwak, The Brunn-Minkowski-Fir ey theory. I. Mixed volumes and the Minkowski problem, J. Differential Geom. 38 (1993), no. 1, 131–150

  24. [32]

    Lutwak, D

    E. Lutwak, D. Yang and G. Zhang, On the Lp-Minkowski problem, Trans. Amer. Math. Soc. 356 (2004), no. 11, 4359–4370

  25. [33]

    Milman, Centro-affine differential geometry and the lo g-Minkowski problem, (to apprear in) J

    E. Milman, Centro-affine differential geometry and the lo g-Minkowski problem, (to apprear in) J. Eur. Math. Soc., arxiv: 2104.12408 (2021)

  26. [34]

    Minkowski, Allgemeine Lehrs¨ atze ¨ uber die convexen Polyeder, Nachr

    H. Minkowski, Allgemeine Lehrs¨ atze ¨ uber die convexen Polyeder, Nachr. Ges. Wiss. G¨ ottingen (1897), 198–219

  27. [35]

    Minkowski, Volumen und Ober߬ ache, Math

    H. Minkowski, Volumen und Oberfl¨ ache, Math. Ann. 57 (1903), no. 4, 447–495

  28. [36]

    Schneider, Convex bodies: the Brunn-Minkowski theory , second expanded edition, Encyclopedia of Mathematics and its Applications, 151, Cambridge Universi ty Press, Cambridge, 2014

    R. Schneider, Convex bodies: the Brunn-Minkowski theory , second expanded edition, Encyclopedia of Mathematics and its Applications, 151, Cambridge Universi ty Press, Cambridge, 2014

  29. [37]

    Shenfeld and R

    Y. Shenfeld and R. van Handel, The equality cases of the E hrhard-Borell inequality, Adv. Math. 331 (2018), 339–386

  30. [38]

    Sheng and K

    W. Sheng and K. Xue, Flow by Gauss curvature to the Lp-Gaussian Minkowski problem, arXiv: 2212.01822

  31. [39]

    Zhu, The logarithmic Minkowski problem for polytope s, Adv

    G. Zhu, The logarithmic Minkowski problem for polytope s, Adv. Math. 262 (2014), 909–931

  32. [40]

    Zhu, The Lp Minkowski problem for polytopes for 0 < p < 1, J

    G. Zhu, The Lp Minkowski problem for polytopes for 0 < p < 1, J. Funct. Anal. 269 (2015), no. 4, 1070–1094

  33. [41]

    Zhu, The centro-affine Minkowski problem for polytope s, J

    G. Zhu, The centro-affine Minkowski problem for polytope s, J. Differential Geom. 101 (2015) 159–174. Institut f ¨ur Diskrete Mathematik und Geometrie, Technische Universi t¨at Wien, Wiedner Hauptstrasse 8-10, 1040 Wien, Austria Email address : jinrong.hu@tuwien.ac.at 14

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.