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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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.
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 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.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [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.
- [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].
- [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
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
assumptions (3)
- standard math Spectral Alexandrov-Fenchel inequality (Lemma 3.1) for f with zero weighted mean and its equality case
- domain assumption Smoothness and strict convexity of ∂K, h>0
- domain assumption Size restriction R(K)≤1
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.
Reference graph
Works this paper leans on
-
[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
work page 1997
-
[5]
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
work page 2020
-
[1]
A. D. Aleksandrov, On the surface area measure of convex b odies, Mat. Sb. (N.S.) 6 (1939), 167–174
work page 1939
-
[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
work page 1938
-
[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
work page 2003
-
[6]
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
work page 2019
-
[7]
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
work page 1987
-
[8]
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
work page 2013
Show all 41 references
-
[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
2017
-
[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
2023
-
[11]
S. Chen, Q. Li and G. Zhu, On the Lp Monge-Amp` ere equation, J. Differential Equations 263 (2017), no. 8, 4997–5011
2017
-
[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
2019
-
[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
1976
-
[14]
Fenchel and B
W. Fenchel and B. Jessen, Mengenfunktionen und konvexe K¨ orper, Danske Vid. Selsk. Mat.-Fys. Medd. 16 (1938), 1–31
1938
-
[15]
Y. Feng, S. Hu and L. Xu, On the Lp Gaussian Minkowski problem, J. Differential Equations 363 (2023), 350–390
2023
-
[16]
R. J. Gardner, Geometric tomography, second edition, Encyclopedia of Mathematics and its Appli ca- tions, 58, Cambridge University Press, New York, 2006
2006
-
[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
2010
-
[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
2025
-
[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
2024
-
[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
2016
-
[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
2021
-
[22]
M. N. Ivaki, Uniqueness of solutions to a class of non-ho mogeneous curvature problems, arXiv:2307.06252 (2023)
2023 arXiv
-
[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
2023
-
[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
1991
-
[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
2022
-
[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
-
[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
2023
-
[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
1989
-
[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
2022
-
[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
-
[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
1993
-
[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
2004
-
[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)
2021 arXiv
-
[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
-
[35]
Minkowski, Volumen und Ober߬ ache, Math
H. Minkowski, Volumen und Oberfl¨ ache, Math. Ann. 57 (1903), no. 4, 447–495
1903
-
[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
2014
-
[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
2018
-
[38]
Sheng and K
W. Sheng and K. Xue, Flow by Gauss curvature to the Lp-Gaussian Minkowski problem, arXiv: 2212.01822
-
[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
2014
-
[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
2015
-
[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
2015
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.