REVIEW 4 major objections 4 minor 66 references
The even Lp Gaussian dual Minkowski problem
T0 review · 4 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper proves that for $p,q>1$, any nonzero finite Borel measure on the sphere with an even density is, up to normalization, the $L_p$ Gaussian dual curvature measure of an origin-symmetric convex body.
desk verdict A repairable parameter-extension paper whose main theorem is not proved as stated: Theorem 1.1 omits the two-sided density bounds that the only proof, Theorem 4.2, uses essentially. 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 load-bearing object is the $L_p$ Gaussian dual curvature measure, defined for a convex body $K$ by $\tilde C_{p,\gamma_{n,q}}(K,\eta)=\int_{\nu_K^{-1}(\eta)} \langle x,\nu_K(x)\rangle^{1-p}|x|^{q-n}e^{-|x|^2/2}\,dH^{n-1}(x)$. The mechanism that carries the argument is the variational identity (3.5): if $h_t=(h_K^p+t f^p)^{1/p}$ is a Wulff-shape deformation, then $\frac{d}{dt}\tilde V_{\gamma_{n,q}}([h_t])|_{t=0}=\frac{1}{p}\int f(v)^p\,d\tilde C_{p,\gamma_{n,q}}(K,v)$. This identity turns the geometric existence problem into an optimization problem, because the desired normalized measure equation appears as the Euler-Lagrange equation for maximizing $\Phi(K)$ under a fixed Gaussian dual quermassintegral. Compactness is supplied by a standard selection theorem for convex bodies once the maximizing sequence is shown to be uniformly bounded below and above; the proof of that boundedness is where the density's positive lower and upper bounds enter.
What would settle it
Take the even density $f(u)=|u_1|$ on the unit circle in the plane with $p=q=2$ and check whether the constrained maximization of $\Phi$ is attained by some origin-symmetric convex body. If no such body exists, the theorem as stated is false; if one does, this example would show the boundedness hypothesis is not always necessary.
Extended reading notes
Core claim
The central claim is Theorem 1.1: for $p,q>1$, if $\mu$ is a nonzero finite Borel measure on $S^{n-1}$ with even density $f$, then there exists an origin-symmetric convex body $K$ such that $\mu/|\mu| = \tilde C_{p,\gamma_{n,q}}(K,\cdot)/|\tilde C_{p,\gamma_{n,q}}(K,\cdot)|$. The measure $\tilde C_{p,\gamma_{n,q}}(K,\cdot)$ is built from the Gaussian dual quermassintegral $\tilde V_{\gamma_{n,q}}(K)=\int_K e^{-|x|^2/2}|x|^{q-n}\,dH^{n-1}(x)$ through an $L_p$ variational formula: under the Wulff-shape deformation $h_t=(h_K^p+t f^p)^{1/p}$, the derivative of $\tilde V_{\gamma_{n,q}}$ at $t=0$ equals $(1/p)\int f^p\,d\tilde C_{p,\gamma_{n,q}}(K,\cdot)$. The proof introduces the functional $\Phi(K)=-(p|\mu|)^{-1}\int h_K^p\,d\mu$ and maximizes it over origin-symmetric convex bodies subject to $\tilde V_{\gamma_{n,q}}(K)=|\mu|$; an optimizing sequence is shown to converge to a body $K_0$, and the first-order condition yields the normalized equality. The paper also records the smooth-case equivalence with a Monge-Ampere equation on $S^{n-1}$.
Load-bearing premise
The proof's compactness step requires the even density to be bounded above and below by positive constants, an assumption the main theorem's statement does not include.
Editorial extensions
If this is right
- For any even density and any $p,q>1$, the normalized $L_p$ Gaussian dual Minkowski problem has an origin-symmetric solution.
- In the smooth case the existence result is equivalent to solvability of a Monge-Ampere equation on the sphere with an even right-hand side.
- The variational method provides a template: the same functional and compactness argument can be adapted to related Gaussian dual Minkowski-type problems.
- The realized curvature measure is matched only up to a normalizing constant, so the theorem does not prescribe the total mass of $\tilde C_{p,\gamma_{n,q}}(K,\cdot)$.
Reading between the lines
- The proof's boundedness step suggests that the theorem is proved at the generality of densities bounded above and below by positive constants; whether the statement with arbitrary even densities holds is a natural testable question.
- Because the conclusion is normalization-invariant, one can also read the result as a statement about probability measures: every even probability density is the normalized $L_p$ Gaussian dual curvature measure of some symmetric body.
- Extrapolating from the variational structure, the most delicate regime is likely $p$ near $0$ or $1$, where the $L_p$ deformation loses coercivity and the logarithmic ($p=0$) counterpart would require different estimates.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the even L_p Gaussian dual Minkowski problem. It introduces an L_p Gaussian dual curvature measure, proves a first-variation formula for the Gaussian dual quermassintegral, and then uses a variational method to claim existence of origin-symmetric solutions for p,q>1. The main theorem (Theorem 1.1) states that for any nonzero finite Borel measure with an even density, the normalized prescribed measure is realized as the normalized L_p Gaussian dual curvature measure of some origin-symmetric convex body.
Significance. If the main theorem were correctly established, the paper would provide a meaningful extension of the Gaussian dual Minkowski problem to the L_p setting, with a new curvature measure and a variational proof. The derivation of the variational formula (3.5) and the optimization framework are potentially useful. However, as written, the proof does not support the advertised theorem: the only existence argument assumes stronger hypotheses than Theorem 1.1 states, and the Lagrange multiplier step is not rigorously justified. The central claim therefore remains unproved, and the paper needs substantial revision before it can be considered for publication.
major comments (4)
- [§4.2, Theorem 4.2 vs. Theorem 1.1] Theorem 4.2 assumes the density satisfies 1/M0 ≤ g(u) ≤ M0, while Theorem 1.1 assumes only an even density f with no lower or upper bound. The boundedness argument for the maximizing sequence uses the lower bound essentially: the inequality Φ(K_i) ≤ -R_i^p/(p M0 |μ|) ∫ |⟨v_i,u⟩|^p du (page 13) is obtained from g ≥ 1/M0. If g is an arbitrary even density, the integral ∫ |⟨v_i,u⟩|^p g(u) du can be arbitrarily small, so the contradiction with (4.7) fails. No approximation of a general even density by densities satisfying two-sided bounds is provided. Thus Theorem 1.1 does not follow from Theorem 4.2.
- [§4.2, lower bound for h_{K_i}] The proof asserts that a uniform positive lower bound, min_v h_{K_i}(v) ≥ M1, 'has been illustrated in [18]'. This is a load-bearing step in the compactness argument, but the precise statement and hypotheses of the cited result are not given, and it is not verified that those hypotheses hold in the setting of Theorem 4.2. If the cited bound itself depends on a two-sided density bound, then this is another unstated assumption that must be made explicit and checked against Theorem 1.1.
- [§4.1, Theorem 4.1, equation (4.5)] The proof differentiates Γ(t,λ) = Φ(h_t) + λ(~V_{γ_{n,q}}([h_t]) - |μ|) at t=0 and sets this derivative to zero. However, the path h_t = (h_{K_0}^p + t g^p)^{1/p} does not generally satisfy the constraint ~V_{γ_{n,q}}([h_t]) = |μ| for t≠0, so the derivative of the objective along this infeasible path at a constrained maximum need not vanish. A rigorous derivation requires either an application of the Lagrange multiplier rule (with a regularity check on the constraint functional) or a reparametrization of the path to stay on the constraint manifold. Without such an argument, equation (4.5) is not established.
- [§4.3, Theorem 4.3] Theorem 4.3 states the result for 'p, q > 0', whereas the whole proof, including the definition of the functional Φ in (4.1) and the variational formula, requires p > 1. This inconsistency indicates that the hypotheses across the theorems are not carefully aligned and leaves the claimed generalization unsupported.
minor comments (4)
- [Abstract] The abstract contains grammatical errors and an incomplete sentence ('The even Gaussian dual Minkowski problem studied by Feng, Hu and Xu, In this paper...'). It should be rewritten.
- [§3, end of section] The text states that it is essential to demonstrate weak convergence of ~C_{p,γ_{n,q}}(K,·) with respect to the Hausdorff metric and absolute continuity with respect to the surface area measure, but no proof of these statements is given in the paper. Either the proof should be supplied or the assertion should be removed.
- [§4.1, notation] The symbol g is used both for the density of μ (in Theorem 4.2) and as an arbitrary test function in C_e^+ (in Theorem 4.1). This overloading is confusing and should be resolved by using different letters.
- [§3, Lemma 3.1] Lemma 3.1 is imported verbatim from the authors' earlier paper [40]. While citing an external lemma is acceptable, the dependency should be stated clearly in the introduction, and the lemma should be quoted with its full hypotheses, since the later proofs rely critically on it.
Circularity Check
No significant circularity: the proof is a genuine variational argument, and the mismatch between the hypotheses of Theorem 1.1 and Theorem 4.2 is a derivation gap, not a circular reduction.
full rationale
The paper's derivation chain is not circular. The Lp Gaussian dual curvature measure is introduced through a variational formula proved in Theorem 3.1, using Lemma 3.1 from [40] and Lemma 3.2 from [18]; these are published technical lemmas that do not assume the target existence result. The optimization problem in (4.3) and the Euler-Lagrange argument in Theorem 4.1 are standard: a constrained maximizer is shown to satisfy the normalized measure equation, and no fitted parameter or target quantity is smuggled into the input. Theorem 4.2 establishes existence of the maximizer under the extra assumption 1/M0 ≤ g(u) ≤ M0, and this assumption is absent from the statement of Theorem 1.1. That is a genuine correctness gap in the proof as written, but it is not a circular step: the theorem is not reduced to its conclusion by definition, and the missing lower bound is not a renamed version of the desired result. The self-citation [40] by co-author Liu supplies a radial-derivative formula, but the central existence claim does not reduce to that citation. No circular step can be exhibited by quoting an equation where the output equals the input by construction.
Assumptions & free parameters
assumptions (5)
- domain assumption Lemma 3.1 from [40]: Lp radial growth formula (3.2) and uniform Lipschitz bound (3.3) for Wulff shapes of h_t=(h_K^p+tf^p)^{1/p}.
- domain assumption Lemma 3.2 from [18]: continuity of the Gaussian dual quermassintegral under Hausdorff convergence for q>1.
- domain assumption Uniform lower bound min_v h_{K_i}(v) ≥ M1 under the constraint ilde V_{γ_{n,q}}(K_i)=|μ| and bounded density, as stated in [18].
- ad hoc to paper The prescribed measure has density g with 1/M0 ≤ g(u) ≤ M0 for some M0>0.
- ad hoc to paper Existence of a Lagrange multiplier λ for the constrained maximization in Theorem 4.1.
Cite this review
Pith. "Pith review of The even Lp Gaussian dual Minkowski problem." pith.science (2026). https://pith.science/paper/4OQDMCAD
@misc{pith2026241213651,
author = {Pith},
title = {Pith review of: The even Lp Gaussian dual Minkowski problem},
year = {2026},
howpublished = {\url{https://pith.science/paper/4OQDMCAD}},
note = {Machine review of arXiv:2412.13651}
}
abstract
The even Gaussian dual Minkowski problem studied by Feng, Hu and Xu, In this paper, we consider the even $L_p$ dual-Gaussian Minkowski problem for $p>1$. The existence of $o$-symmetric solution in the case $p>1$ is obtained.
Reference graph
Works this paper leans on
-
[18]
Y. Feng, S. Hu, and L. Xu. Existence of solutions to the ev en Gaussian dual Minkowski problem. Advances in Applied Mathematics , 163:102808, 2025
work page 2025
-
[40]
J. Liu. The Lp-Gaussian Minkowski problem. Calculus of Variations and Partial Differential Equations , 61(1):28, 2022
work page 2022
-
[1]
A. Aleksandrov. On the theory of mixed volumes. III. Exte nsion of two theorems of Minkowski on convex polyhedra to arbitrary convex bodies. Mat. Sb.(NS) , 3:27–46, 1938
work page 1938
-
[2]
A. Aleksandrov. On the surface area measure of convex bod ies. Mat. Sb.(NS) , 6:167– 174, 1939
work page 1939
-
[3]
A. Aleksandrov. Existence and uniqueness of a convex sur face with a given integral curvature. In CR (Doklady) Acad. Sci. URSS (NS) , volume 35, pages 131–134, 1942
work page 1942
-
[4]
K. B¨or¨oczky, E. Lutwak, D. Yang, and G. Zhang. The logarithmic Minkowski problem. Journal of the American Mathematical Society , 26(3):831–852, 2013
work page 2013
-
[5]
K. J. B¨ or¨oczky, P. Heged¨us, and G. Zhu. On the discrete logarithmic Minkowski problem. International Mathematics Research Notices , 2016(6):1807–1838, 2016
work page 2016
-
[6]
K. J. B¨or¨oczky, M. Henk, and H. Pollehn. Subspace concentration of dua l curvature measures of symmetric convex bodies. Journal of Differential Geometry , 109(3):411– 429, 2018
work page 2018
Show all 66 references
-
[7]
K. J. B¨ or¨oczky, E. Lutwak, D. Yang, G. Zhang, and Y. Zhao. The dual Minko wski problem for symmetric convex bodies. Advances in Mathematics , 356:106805, 2019
2019
-
[8]
L. A. Caffarelli. Interior W 2,p estimates for solutions of the Monge-Ampere equation. Annals of Mathematics , 131(1):135–150, 1990
1990
-
[9]
S. Chen, S. Hu, W. Liu, and Y. Zhao. On the planar Gaussian- Minkowski problem. Advances in Mathematics , 435:109351, 2023
2023
-
[10]
S. Chen, Q. Li, and G. Zhu. On the Lp Monge–Amp`ere equation. Journal of Differ- ential Equations , 263(8):4997–5011, 2017. 14
2017
-
[11]
S. Chen, Q. Li, and G. Zhu. The logarithmic Minkowski pro blem for non-symmetric measures. Transactions of the American Mathematical Society , 371(4):2623–2641, 2019
2019
-
[12]
W. Chen. Lp Minkowski problem with not necessarily positive data. Advances in Mathematics, 201(1):77–89, 2006
2006
-
[13]
S. Y. Cheng and S. T. Yau. On the regularity of the solutio n of the n-dimensional Minkowski problem. Communications on pure and applied mathematics , 29(5):495– 516, 1976
1976
-
[14]
Chou and X.-J
K.-S. Chou and X.-J. Wang. The Lp-Minkowski problem and the Minkowski problem in centro-affine geometry. Advances in Mathematics , 205(1):33–83, 2006
2006
-
[15]
Cianchi, E
A. Cianchi, E. Lutwak, D. Yang, and G. Zhang. Affine Moser- Trudinger and Morrey- Sobolev inequalities. Calculus of Variations and Partial Differential Equations , 36:419–436, 2009
2009
-
[16]
Fenchel and B
W. Fenchel and B. Jessen. Mengenfunktionen und konvexe K ¨orper. 1938
1938
-
[17]
Y. Feng, S. Hu, and L. Xu. On the Lp Gaussian Minkowski problem. Journal of Differential Equations , 363:350–390, 2023
2023
-
[19]
Y. Feng, W. Liu, and L. Xu. Existence of non-symmetric so lutions to the Gaussian Minkowski problem. The Journal of Geometric Analysis , 33(3):89, 2023
2023
-
[20]
W. J. Firey. p-Means of convex bodies. Mathematica Scandinavica, 10:17–24, 1962
1962
-
[21]
R. J. Gardner. Geometric tomography, volume 58. Cambridge University Press Cam- bridge, 1995
1995
-
[22]
R. J. Gardner, D. Hug, and W. Weil. The Orlicz-Brunn-Min kowski theory: a general framework, additions, and inequalities. Journal of Differential Geometry , 97(3):427– 476, 2014
2014
-
[23]
R. J. Gardner, D. Hug, W. Weil, S. Xing, and D. Ye. General volumes in the Orlicz- Brunn-Minkowski theory and a related Minkowski problem I. Calculus of Variations and Partial Differential Equations , 58(1):12, 2019. 15
2019
-
[24]
R. J. Gardner, D. Hug, S. Xing, and D. Ye. General volumes in the Orlicz-Brunn- Minkowski theory and a related Minkowski problem II. Calculus of Variations and Partial Differential Equations , 59(1):15, 2020
2020
-
[25]
Haberl, E
C. Haberl, E. Lutwak, D. Yang, and G. Zhang. The even Orli cz Minkowski problem. Advances in Mathematics , 224(6):2485–2510, 2010
2010
-
[26]
Haberl and F
C. Haberl and F. E. Schuster. Asymmetric affine Lp sobolev inequalities. Journal of Functional Analysis, 257(3):641–658, 2009
2009
-
[27]
Haberl and F
C. Haberl and F. E. Schuster. General Lp affine isoperimetric inequalities. Journal of Differential Geometry , 83(1):1–26, 2009
2009
-
[28]
Henk and H
M. Henk and H. Pollehn. Necessary subspace concentrati on conditions for the even dual Minkowski problem. Advances in Mathematics , 323:114–141, 2018
2018
-
[29]
J. Hu. The Gaussian log-Minkowski problem. arXiv preprint arXiv:2401.08427 , 2024
2024 arXiv
-
[30]
Huang and B
Q. Huang and B. He. On the Orlicz Minkowski problem for po lytopes. Discrete & Computational Geometry, 48:281–297, 2012
2012
-
[31]
Huang, E
Y. Huang, E. Lutwak, D. Yang, and G. Zhang. Geometric mea sures in the dual Brunn- Minkowski theory and their associated Minkowski problems. Acta Math, 216:325–388, 2016
2016
-
[32]
Huang, D
Y. Huang, D. Xi, and Y. Zhao. The Minkowski problem in Gau ssian probability space. Advances in Mathematics , 385:107769, 2021
2021
-
[33]
Huang and Y
Y. Huang and Y. Zhao. On the Lp dual Minkowski problem. Advances in Mathemat- ics, 332:57–84, 2018
2018
-
[34]
D. Hug, E. Lutwak, D. Yang, and G. Zhang. On the Lp Minkowski problem for polytopes. Discrete & Computational Geometry , 33(4):699–715, 2005
2005
-
[35]
Jian and J
H. Jian and J. Lu. Existence of solutions to the Orlicz-M inkowski problem. Advances in Mathematics , 344:262–288, 2019
2019
-
[36]
H. Jian, J. Lu, and G. Zhu. Mirror symmetric solutions to the centro-affine minkowski problem. Calculus of Variations and Partial Differential Equations , 55(2):41, 2016
2016
-
[37]
Kniefacz and F
P. Kniefacz and F. E. Schuster. Sharp Sobolev inequalit ies via projection averages. The Journal of Geometric Analysis , 31(7):7436–7454, 2021. 16
2021
-
[38]
Li and G
A. Li and G. Leng. A new proof of the Orlicz Busemann-Pett y centroid inequality. Proceedings of the American Mathematical Society , pages 1473–1481, 2011
2011
-
[39]
Q. Li, W. Sheng, D. Ye, and C. Yi. A flow approach to the Musi elak-Orlicz-Gauss image problem. Advances in Mathematics , 403:108379, 2022
2022
-
[41]
Lu and X.-J
J. Lu and X.-J. Wang. Rotationally symmetric solutions to the Lp-Minkowski prob- lem. Journal of Differential Equations , 254(3):983–1005, 2013
2013
-
[42]
E. Lutwak. Dual mixed volumes. Pacific Journal of Mathematics , 58(2):531–538, 1975
1975
-
[43]
E. Lutwak. The Brunn-Minkowski-Firey theory I: Mixed v olumes and the Minkowski problem. Journal of Differential Geometry , 38(1):131–150, 1993
1993
-
[44]
Lutwak, D
E. Lutwak, D. Yang, and G. Zhang. Lp affine isoperimetric inequalities. Journal of Differential Geometry , 56(1):111–132, 2000
2000
-
[45]
Lutwak, D
E. Lutwak, D. Yang, and G. Zhang. Sharp affine Lp sobolev inequalities. Journal of Differential Geometry , 62(1):17–38, 2002
2002
-
[46]
Lutwak, D
E. Lutwak, D. Yang, and G. Zhang. Optimal Sobolev norms a nd the Lp Minkowski problem. International Mathematics Research Notices , 2006(9):62987–62987, 2006
2006
-
[47]
Lutwak, D
E. Lutwak, D. Yang, and G. Zhang. Orlicz centroid bodies . Journal of Differential Geometry, 84(2):365–387, 2010
2010
-
[48]
Lutwak, D
E. Lutwak, D. Yang, and G. Zhang. Orlicz projection bodi es. Advances in Mathe- matics, 223(1):220–242, 2010
2010
-
[49]
Minkowski
H. Minkowski. Allgemeine Lehrs¨ atze ¨uber die konvexen Polyeder. Ausgew¨ ahlte Ar- beiten zur Zahlentheorie und zur Geometrie: Mit D. Hilberts Ged¨ achtnisrede auf H. Minkowski, G¨ ottingen 1909, pages 121–139, 1989
1909
-
[50]
Minkowski
H. Minkowski. Volumen und oberfl ¨ache. Springer, 1989
1989
-
[51]
Nirenberg
L. Nirenberg. The Weyl and Minkowski problems in differen tial geometry in the large. Communications on pure and applied mathematics , 6(3):337–394, 1953. 17
1953
-
[52]
Schneider
R. Schneider. Convex bodies: the Brunn-Minkowski theory , volume 151. Cambridge university press, 2013
2013
-
[53]
Sheng and K
W. Sheng and K. Xue. Flow by Gauss curvature to the Lp-Gaussian Minkowski problem. arXiv preprint arXiv:2212.01822 , 2022
2022 arXiv
-
[54]
A. Stancu. The discrete planar L0-Minkowski problem. Advances in Mathematics , 167(1):160–174, 2002
2002
-
[55]
S. Tang. Existence of solutions with small volume to Lp Gaussian Minkowski problem. Proceedings of the American Mathematical Society , 152(12):5381–5394, 2024
2024
-
[56]
N. S. Trudinger and X.-J. Wang. The Monge-Amp` ere equation and its geometric applications. Handbook of geometric analysis , 1:467–524, 2008
2008
-
[57]
Y. Wu, D. Xi, and G. Leng. On the discrete Orlicz Minkowsk i problem. Transactions of the American Mathematical Society , 371(3):1795–1814, 2019
2019
-
[58]
A. V. yevich Pogorelov. The Minkowski multidimensiona l problem, translated from the Russian by Vladimir Oliker, introduction by Louis Niren berg, Scripta Series in Mathematics, VH Winston & Sons
-
[59]
G. Zhang. The affine Sobolev inequality. Journal of Differential Geometry , 53(1):183– 202, 1999
1999
-
[60]
Y. Zhao. The dual Minkowski problem for negative indice s. Calculus of Variations and Partial Differential Equations , 56(2):18, 2017
2017
-
[61]
Y. Zhao. Existence of solutions to the even dual Minkows ki problem. Journal of Differential Geometry , 110(3):543–572, 2018
2018
-
[62]
B. Zhu, S. Xing, and D. Ye. The dual Orlicz-Minkowski pro blem. The Journal of Geometric Analysis, 28:3829–3855, 2018
2018
-
[63]
G. Zhu. The Orlicz centroid inequality for star bodies. Advances in Applied Mathe- matics, 48(2):432–445, 2012
2012
-
[64]
G. Zhu. The logarithmic Minkowski problem for polytope s. Advances in Mathematics, 262:909–931, 2014
2014
-
[65]
G. Zhu. The centro-affine Minkowski problem for polytope s. Journal of Differential Geometry, 101(1):159–174, 2015. 18
2015
-
[66]
Zou and G
D. Zou and G. Xiong. Orlicz-John ellipsoids. Advances in Mathematics , 265:132–168, 2014. 19
2014
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.