Pith. sign in

REVIEW 3 major objections 5 minor 40 references

On uniqueness of solutions to complex Monge-Amp\`ere mean field equations

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read On compact Kähler manifolds, solutions to the complex Monge-Ampère mean field equation are unique once the temperature parameter $\gamma$ is small enough; the same holds on bounded hyperconvex domains.

desk verdict Small-γ uniqueness for complex MA mean field equations is a real advance with a clean proof architecture, but the key stability lemma (Thm 3.2) has an unproven normalization step that needs a fix before the main theorem is accepted. read the letter →

arxiv 2501.18281 v1 pith:KHSWDFUI submitted 2025-01-30 math.CV math.DG

Chinh H. Lu , Trong-Thuc Phung This is my paper · ORCID
classification math.CVmath.DG MSC 32W2032U0532Q1535A23
keywords complexMonge-AmpèreequationsmeanfielduniquenessstabilityestimatessmalltemperatureparameterhyperconvexdomainsKählermanifoldsHermitian
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

This paper proves a low-temperature uniqueness theorem for complex Monge-Ampère mean field equations. On a compact Kähler manifold $(X,\omega)$ of dimension $n$, for every probability density $f \in L^p(X,\omega^n)$ with $p>1$, there is a threshold $\gamma_0>0$ such that the equation $(\omega+dd^c\varphi)^n = e^{-\gamma\varphi} f\omega^n$ has exactly one continuous solution for all $0<\gamma<\gamma_0$. The same mechanism gives uniqueness on bounded hyperconvex domains without smoothness assumptions on $f$ or the boundary, partially confirming a conjecture posed for the local mean field equation, and it adapts to compact Hermitian manifolds when $f$ is bounded below by a positive constant. The proof treats $\gamma$ as a contraction constant: a refined stability estimate bounds the distance between any two solutions by a multiple of $\gamma$ times that same distance, so the solutions coincide when $\gamma$ is small.

What carries the argument

The load-bearing mechanism is the refined stability estimate (Theorems 3.1 and 3.2): if $u,v$ are normalized solutions of $(\omega+dd^c u)^n = f\omega^n$ and $(\omega+dd^c v)^n = g\omega^n$ with $\sup_X u = \sup_X v = 0$, then $\sup_X |u-v|$ is controlled by the $L^p$ distance between $f^{1/n}$ and $g^{1/n}$, up to constants depending on $p$ and uniform bounds on the densities. This estimate is assembled from the mixed Monge-Ampère inequalities, the domination principle for $\omega$-psh functions, and an $L^\infty$ estimate (Theorems 2.5 and 3.3) whose proof uses a variational construction and makes the constant $\gamma_0$ explicit. In the uniqueness argument the same estimate is applied to the two densities of the mean field equation, whose $n$-th root distance is essentially $\gamma |u-v|$ up to constants; the equation therefore becomes contractive in the sup norm.

What would settle it

Take $E=\{u<v+\alpha\}$ with $\int_E\omega^n \le 1/2$ and choose an $L^p$ probability density $f$ with $\int_E f\omega^n = 0.6$; then $2\,1_E f\omega^n + b\omega^n$ has total mass $1.2+b$, so no $b\in[0,1]$ makes it a probability measure, and the auxiliary function used in the stability estimate is not defined.

Watch

Extended reading notes

Core claim

The central claim, Theorem 1.1, is that on a compact Kähler manifold $(X,\omega)$ normalized by $\int_X \omega^n=1$, the equation $(\omega+dd^c\varphi)^n = e^{-\gamma\varphi} f\omega^n$ has a unique continuous solution for every probability density $f\in L^p(X,\omega^n)$, $p>1$, provided $0<\gamma<\gamma_0(X,\omega,n,p,\|f\|_p)$. The proof first establishes uniform boundedness of solutions through an $L^\infty$ estimate, then rewrites any two solutions in normalized form and applies a stability estimate comparing potentials in terms of the $L^p$ distance of the $n$-th roots of their Monge-Ampère densities. The comparison produces $\sup_X |u-v| \le \gamma C \sup_X |u-v|$ with $C$ independent of the solution pair, so $\gamma C<1$ forces $u=v$. In bounded hyperconvex domains the same strategy yields a unique solution in $\mathrm{PSH}(\Omega)\cap L^\infty$ for small $\gamma$, and on compact Hermitian manifolds the conclusion holds when $f$ is strictly positive.

Load-bearing premise

The proof of the stability estimate constructs an auxiliary solution from the measure $2\,1_E f\omega^n + b\omega^n$, which is a probability measure only if the $f$-mass of $E$ is at most $1/2$, but the text verifies only that the $\omega^n$-mass of $E$ is at most $1/2$, not its $f$-mass.

Editorial extensions

If this is right

  • On any compact Kähler manifold, the mean field equation with an $L^p$ density has exactly one continuous solution for all temperatures below an explicit threshold depending only on the manifold, $n$, $p$, and $\|f\|_p$.
  • On bounded hyperconvex domains, uniqueness holds without boundary smoothness and without regularity of $f$, partially confirming the conjecture stated in [BB22].
  • The same construction yields uniqueness on compact Hermitian manifolds once $f$ is bounded below by a positive constant and $\gamma$ is small.
  • The threshold $\gamma_0$ is quantitative: the local version depends only on $n$, $p$, $\|f\|_p$, and the diameter of the domain, so the result can certify uniqueness in concrete problems.
  • The example on projective space in the paper shows uniqueness cannot hold for every $\gamma$, so the threshold is genuinely finite and the optimal value remains open.

Reading between the lines

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

  • The threshold obtained is sufficient, not necessary; the projective-space example shows only that uniqueness fails at some larger $\gamma$, so determining the largest threshold for each manifold and density is a natural open problem.
  • If the missing $f$-mass bound is supplied, the proof becomes unconditional for arbitrary $L^p$ densities; a natural way is to assume $f\in L^\infty$, since then $\int_E f\omega^n \le (\sup f)\int_E\omega^n$.
  • The Hermitian stability result is stated with a proof left to the reader; completing it would require checking whether the same sublevel-set $f$-mass step recurs there.
  • The $L^\infty$ estimates of Theorems 2.5 and 3.3 are derived by solving an auxiliary variational equation; this construction may be reusable for other exponential nonlinearities to obtain explicit bounds rather than qualitative ones.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper studies uniqueness of continuous solutions to complex Monge-Ampère mean field equations (ω+dd^c u)^n = e^{-γu} f ω^n (and the Euclidean analogue on hyperconvex domains) when the temperature parameter γ>0 is small. It claims three theorems: uniqueness for L^p densities on bounded hyperconvex domains (Theorem 1.2), on compact Kähler manifolds (Theorem 1.1), and on compact Hermitian manifolds with a positive density (Theorem 4.4). The strategy is to combine L∞ estimates (Theorems 2.5 and 3.3, with a new proof) with stability estimates for normalized Monge-Ampère equations (Theorems 3.1 and 3.2, and the quoted Theorem 4.2), then use a contraction argument in γ. The Kähler proof is the core of the paper.

Significance. If correct, the Kähler uniqueness theorem is a significant extension of the known small-γ uniqueness results: it allows L^p densities, requires no smoothness assumptions, and gives a quantitative dependence of γ0 on the data. The local theorem partially confirms a conjecture of Berman and Berndtsson. The paper's stability estimates are refinements of earlier work and the L∞ estimates are self-contained. However, the main proof has a specific gap in Theorem 3.2, and the Hermitian section relies on an unproved stability theorem, so the significance is conditional on repair.

major comments (3)
  1. [Theorem 3.2, proof, Step 1] The auxiliary function ψ is defined by (ω+dd^c ψ)^n = 2 1_E f ω^n + b ω^n with b∈[0,1]. For the right-hand side to be a probability measure one needs 2∫_E f ω^n ≤ 1, i.e. ∫_E f ω^n ≤ 1/2. The proof only establishes ∫_E ω^n ≤ 1/2. Hölder's inequality gives ∫_E f ω^n ≤ ||f||_p (ω^n(E))^{1/q} ≤ B 2^{-1/q}, which can be larger than 1/2 for large B, so the L^p bound on f does not supply the missing control. The coefficient 2 is essential: with any smaller coefficient the factor (1+n^{-1}ε^2 log 2)^n would not exceed 1 for small ε, and the subsequent domination-principle step would lose its force. Since Theorem 3.4 and therefore Theorem 1.1 use Theorem 3.2, the central uniqueness proof is not established as written unless an additional estimate for the f-mass of E is supplied.
  2. [Theorem 4.2] Theorem 4.2 is a stated stability result that is load-bearing for the Hermitian uniqueness theorem (Theorem 4.4), but its proof is omitted: the text says only that it follows from [LPT21] with minor adjustments. This is not sufficient for a main theorem in a research paper; either a complete proof should be included or the Hermitian claims should be reduced to what is actually proved.
  3. [Theorem 2.5, proof] In the proof of Theorem 2.5, the variational solution u∈E1(Ω) is used to assert ∫_Ω e^{-γu} dμ ≤ A_μ. But A_μ is defined as the supremum over u∈T0, and u is not shown to belong to T0 (T0 consists of bounded E0 functions, while the variational solution is only constructed in E1 and may be unbounded). Without this estimate the chain (dd^c v)^n ≥ (γ^n/n^n) A_μ^{-1} μ is not justified. This L∞ bound feeds Theorem 2.6 and hence the proof of Theorem 1.2, so the gap is load-bearing for the local uniqueness result.
minor comments (5)
  1. [Throughout] The name 'Kołodziej' is corrupted to 'Ko/suppress lodziej' in several places, including the references and the main text; this should be fixed.
  2. [Theorem 3.2, Step 1] The expression '21Efωn' should be typeset as '2 1_E f ω^n' for readability; the missing space makes the indicator of E hard to distinguish from a factor 21.
  3. [Theorem 4.2, statement] The statement says f,g are 'probability measures', but the proof uses f^{1/n}, g^{1/n} and L^p norms; the authors should clarify that f,g are densities with respect to ω^n.
  4. [Theorem 3.4, proof] The displayed estimate involving ||f||_p^{1/n} is ambiguous; it should state explicitly which L^p norm of (e^{-γu0-b1} - e^{-γv0-b2})^{1/n} f^{1/n} is being bounded.
  5. [Theorem 3.2, domination step] The domination principle [GL22, Proposition 2.8] is used in a set-localized form; including the precise statement would make the argument checkable.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation in the main Kähler uniqueness proof; minor self-citations and a technical gap do not amount to circularity.

full rationale

The central uniqueness result, Theorem 1.1, is proved through Theorem 3.4, which combines the stability estimate Theorem 3.2 with the L∞ estimate Theorem 3.3. Both Theorem 3.1 and Theorem 3.2 are proved in the paper using the mixed Monge–Ampère inequalities, Kolodziej’s L∞ estimate, and the domination principle; they are not assumed from prior work. Theorem 3.3 derives an a priori bound from the Skoda–Zeriahi integrability estimate, with existence of an auxiliary variational solution used only as a device and not to assume the target uniqueness. The constants γ0 are constructed from the data (n,p,ω,X,||f||p) rather than fitted or renamed outputs. The possible gap noted by the reader — in Theorem 3.2, the auxiliary function ψ is normalized by 2·1E·f + b·ω^n, which requires ∫_E fω^n ≤ 1/2, while the proof only verifies ∫_E ω^n ≤ 1/2 — is a missing estimate in the stability argument, not a circular reduction; it is a correctness concern, not an equation reducing to its own input. Section 4’s Theorem 4.2 is stated without proof and refers to the authors’ earlier [LPT21] for the argument, but this does not feed back into the main Kähler theorem and therefore is a minor self-citation rather than load-bearing circularity. Overall, the derivation chain is independent of the conclusion it aims to establish.

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

No data fitting or invented physical entities. The mathematical constants γ0, β, A, and C are existence constants obtained from known analytic estimates, not fitted parameters. The key external pulls are the standard pluripotential theorems listed as axioms.

assumptions (6)
  • standard math Comparison and domination principles for bounded quasi-plurisubharmonic functions (GZ17, Proposition 10.11; GL22, Proposition 2.8)
    Invoked throughout Lemma 2.3 and Theorems 3.1, 3.2, and 3.3 to transfer inequalities between Monge-Ampère measures into pointwise comparison. Not proved in the paper.
  • standard math Kołodziej's L∞ estimate for complex Monge-Ampère equations with L^p densities
    Used to uniformly bound solutions u0, v0, ψ in Theorems 3.1 and 3.2, and in Theorem 3.3. Cited to [Ko/suppress l98].
  • standard math Skoda-Zeriahi uniform integrability estimate for measures with L^p density
    Used to obtain the exponential integrability bound ∫ e^{-βu} f ≤ A needed to define γ0 in Theorems 2.6 and 3.4. Cited to [Zer01] and [ACK+09].
  • standard math Existence of variational solutions to mean field type complex Monge-Ampère equations (BBGZ13; GZ17, Theorem 11.13)
    Used in Theorems 2.5 and 3.3 to produce auxiliary normalized solutions u in the L∞ estimates. The paper does not prove this existence.
  • standard math Mixed Monge-Ampère inequalities from Gårding, Kołodziej, and Dinew
    Lemma 2.4 and the binomial expansion in Theorems 3.1 and 3.2 rely on these inequalities to lower-bound products of Monge-Ampère measures.
  • standard math Cegrell's pluripotential theory classes and Bedford-Taylor convergence theorems
    Background framework for defining (ddc)^n for unbounded plurisubharmonic functions and for continuity along monotone sequences, used throughout Section 2.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On uniqueness of solutions to complex Monge-Amp\`ere mean field equations." pith.science (2026). https://pith.science/paper/KHSWDFUI

@misc{pith2026250118281,
  author       = {Pith},
  title        = {Pith review of: On uniqueness of solutions to complex Monge-Amp\`ere mean field equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KHSWDFUI}},
  note         = {Machine review of arXiv:2501.18281}
}
read the original abstract

We establish the uniqueness of solutions to complex Monge-Amp\`ere mean field equations when the temperature parameter is small. In the local setting of bounded hyperconvex domains, our result partially confirms a conjecture by Berman and Berndtsson. Our approach also extends to the global context of compact complex manifolds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 26 canonical work pages

  1. [1]

    P. hag, U. Cegrell, S. Ko odziej, H. H. Ph a m, and A. Zeriahi. Partial pluricomplex energy and integrability exponents of plurisubharmonic functions. Adv. Math. , 222(6):2036--2058, 2009

    2009

  2. [2]

    T. Aubin. \' E quations du type M onge- A mp\`ere sur les vari\' e t\' e s k\" a hl\' e riennes compactes. Bull. Sci. Math. (2) , 102(1):63--95, 1978

    1978

  3. [3]

    Berman and B

    R.J. Berman and B. Berndtsson. Moser- T rudinger type inequalities for complex M onge- A mp\`ere operators and A ubin's ``hypoth\`ese fondamentale''. Ann. Fac. Sci. Toulouse Math. (6) , 31(3):595--645, 2022

    work page 2022

  4. [4]

    R. J. Berman, S. Boucksom, V. Guedj, and A. Zeriahi. A variational approach to complex M onge- A mp\`ere equations. Publ. Math. Inst. Hautes \' E tudes Sci. , 117:179--245, 2013

    work page 2013

  5. [5]

    Boucksom, V

    S. Boucksom, V. Guedj, and A. Trusiani. K\"ahler-Einstein metrics with positive curvature near an isolated log terminal singularity . Preprint arXiv:2306.07900, to appear in Compositio Math. , 2023

    arXiv 2023

  6. [6]

    Bartolucci and C.-S

    D. Bartolucci and C.-S. Lin. Existence and uniqueness for mean field equations on multiply connected domains at the critical parameter. Math. Ann. , 359(1-2):1--44, 2014

    work page 2014

  7. [7]

    Bedford and B

    E. Bedford and B. A. Taylor. The D irichlet problem for a complex M onge- A mp\`ere equation. Invent. Math. , 37(1):1--44, 1976

    work page 1976

  8. [8]

    Badiane and A

    P. Badiane and A. Zeriahi. The eigenvalue problem for the complex M onge- A mp\`ere operator. J. Geom. Anal. , 33(12):Paper No. 367, 44, 2023

    work page 2023

Show all 40 references
  1. [9]

    U. Cegrell. Pluricomplex energy. Acta Math. , 180(2):187--217, 1998

    1998

  2. [10]

    U. Cegrell. The general definition of the complex M onge- A mp\`ere operator. Ann. Inst. Fourier (Grenoble) , 54(1):159--179, 2004

    2004

  3. [11]

    Cherrier

    P. Cherrier. \'Equations de Monge-Amp\`ere sur les vari\'et\'es Hermitiennes compactes . Bull. Sci. Math. , 2(343--385.), 1987

    1987

  4. [12]

    S. Dinew. An inequality for mixed M onge- A mp\`ere measures. Math. Z. , 262(1):1--15, 2009

    2009

  5. [13]

    S. Dinew. Uniqueness in E(X, ) . J. Funct. Anal. , 256(7):2113--2122, 2009

    2009

  6. [14]

    S. Dinew. Pluripotential theory on compact H ermitian manifolds. Ann. Fac. Sci. Toulouse Math. (6) , 25(1):91--139, 2016

    2016

  7. [15]

    Dinew and Z

    S. Dinew and Z. Zhang. On stability and continuity of bounded solutions of degenerate complex M onge- A mp\`ere equations over compact K \" a hler manifolds. Adv. Math. , 225(1):367--388, 2010

    2010

  8. [16]

    Eyssidieux, V

    P. Eyssidieux, V. Guedj, and A. Zeriahi. Singular K \" a hler- E instein metrics. J. Amer. Math. Soc. , 22(3):607--639, 2009

    2009

  9. [17]

    L. G rding. An inequality for hyperbolic polynomials. J. Math. Mech. , 8:957--965, 1959

    1959

  10. [18]

    Guedj, B

    V. Guedj, B. Kolev, and N. Yeganefar. K\" a hler- E instein fillings. J. Lond. Math. Soc. (2) , 88(3):737--760, 2013

    2013

  11. [19]

    Guan and Q

    B. Guan and Q. Li. Complex M onge- A mp\`ere equations and totally real submanifolds. Adv. Math. , 225(3):1185--1223, 2010

    2010

  12. [20]

    Guedj and C.H

    V. Guedj and C.H. Lu. Quasi-plurisubharmonic envelopes 2: B ounds on M onge- A mp\`ere volumes. Algebr. Geom. , 9(6):688--713, 2022

    2022

  13. [21]

    Guedj and C

    V. Guedj and C. H. Lu. Quasi-plurisubharmonic envelopes 3: S olving M onge-- A mp\`ere equations on hermitian manifolds. J. Reine Angew. Math. , 800:259--298, 2023

    2023

  14. [22]

    Guedj and C

    V. Guedj and C. H. Lu. Quasi-plurisubharmonic envelopes 1: Uniform estimates on K\"ahler manifolds . arxiv:2106.04273, To appear in J. Eur. Math. Soc. , 2024

    2024 arXiv

  15. [23]

    Guedj, C

    V. Guedj, C. H. Lu, and A. Zeriahi. Stability of solutions to complex M onge- A mp\`ere flows. Ann. Inst. Fourier (Grenoble) , 68(7):2819--2836, 2018

    2018

  16. [24]

    Gui and A

    C. Gui and A. Moradifam. Uniqueness of solutions of mean field equations in R^2 . Proc. Amer. Math. Soc. , 146(3):1231--1242, 2018

    2018

  17. [25]

    B. Guo, D. H. Phong, and F. Tong. On L^ estimates for complex M onge- A mp\`ere equations. Ann. of Math. (2) , 198(1):393--418, 2023

    2023

  18. [26]

    Guedj and A

    V. Guedj and A. Zeriahi. Intrinsic capacities on compact K \" a hler manifolds. J. Geom. Anal. , 15(4):607--639, 2005

    2005

  19. [27]

    Guedj and A

    V. Guedj and A. Zeriahi. The weighted M onge- A mp\`ere energy of quasiplurisubharmonic functions. J. Funct. Anal. , 250(2):442--482, 2007

    2007

  20. [28]

    Guedj and A

    V. Guedj and A. Zeriahi. Degenerate complex M onge- A mp\`ere equations , volume 26 of EMS Tracts in Mathematics . European Mathematical Society (EMS), Z\" u rich, 2017

    2017

  21. [29]

    Ko odziej and N.-C

    S. Ko odziej and N.-C. Nguyen. Stability and regularity of solutions of the M onge- A mp\`ere equation on H ermitian manifolds. Adv. Math. , 346:264--304, 2019

    2019

  22. [30]

    Ko odziej

    S. Ko odziej. The complex M onge- A mp\`ere equation. Acta Math. , 180(1):69--117, 1998

    1998

  23. [31]

    Ko odziej

    S. Ko odziej. The complex M onge- A mp\`ere equation on compact K\"ahler manifolds . Indiana Univ. Math. J. , 52(3):667--686, 2003

    2003

  24. [32]

    Lu, T.-T Phung, and T.-D

    C.H. Lu, T.-T Phung, and T.-D. T\^ o . Stability and H \" o lder regularity of solutions to complex M onge- A mp\`ere equations on compact H ermitian manifolds. Ann. Inst. Fourier (Grenoble) , 71(5):2019--2045, 2021

    2019

  25. [33]

    N.-C. Nguyen. The complex M onge- A mp\`ere type equation on compact H ermitian manifolds and applications. Adv. Math. , 286:240--285, 2016

    2016

  26. [34]

    X. Nie. Regularity of a complex M onge- A mp\`ere equation on H ermitian manifolds. Comm. Anal. Geom. , 22(5):833--856, 2014

    2014

  27. [35]

    Y. Shi, J. Sun, G. Tian, and D. Wei. Uniqueness of the mean field equation and rigidity of H awking mass. Calc. Var. Partial Differential Equations , 58(2):Paper No. 41, 16, 2019

    2019

  28. [36]

    Sz \'e kelyhidi and V

    G. Sz \'e kelyhidi and V. Tosatti. Regularity of weak solutions of a complex Monge-Amp \`e re equation . Anal. PDE , 4:369--378, 2011

    2011

  29. [37]

    M. E. Taylor. Partial differential equations III . N onlinear equations , volume 117 of Applied Mathematical Sciences . Springer, New York, second edition, 2011

    2011

  30. [38]

    Tosatti and B

    V. Tosatti and B. Weinkove. The complex M onge- A mp\`ere equation on compact H ermitian manifolds. J. Amer. Math. Soc. , 23(4):1187--1195, 2010

    2010

  31. [39]

    S.-T. Yau. On the R icci curvature of a compact K \" a hler manifold and the complex M onge- A mp\`ere equation. I . Comm. Pure Appl. Math. , 31(3):339--411, 1978

    1978

  32. [40]

    A. Zeriahi. Volume and capacity of sublevel sets of a L elong class of plurisubharmonic functions. Indiana Univ. Math. J. , 50(1):671--703, 2001

    2001

Pith tools

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