{"id":"06409fc4-66b8-4b37-be6b-97070ca9d67e","arxiv_id":"2502.02313","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A new envelope-based reduction proves uniform a priori estimates from Yau's L^p bound, recovering and extending Kolodziej's Orlicz-type criterion.","lead":"The paper gives a new way to prove uniform bounds for solutions of complex Monge-Ampere equations and related geometric PDEs, reducing refined Orlicz hypotheses to Yau's classical L^p estimate. It recovers Kolodziej's optimal condition with a simpler proof and extends the method to a broad family of fully nonlinear equations.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem B's proof uses a false Hölder-Young inequality: ∫ h(−φ)f ≤ ‖f‖_w∫(−φ) is not valid for Condition-K weights (e.g., t^2), leaving the claimed uniform control of B unjustified as written.","rationale":"The paper's main new contribution is Theorem B, and both proofs of it pass through the estimate ∫ h(−φ)f ≤ ‖f‖_w∫(−φ). I checked this estimate against the definition of Luxembourg norms and Young's inequality. For Condition-K weights such as t^2, h=(w*)^{-1} grows like s^{1/2}, so h(−φ) is not bounded by −φ pointwise, and the displayed integral inequality is false. Since this estimate is used to conclude that h(−sup ψ) is bounded (§3.2) and that B=∫h(−φ)f is bounded (§3.3), the proof as written does not establish the claimed uniform bound. The failure is not catastrophic: Young's inequality gives an extra additive constant w(1) or a dual Luxembourg norm, and those quantities are uniformly bounded for functions in SH0 by the Skoda-Zeriahi theorem. Thus I would ask the authors to correct this step before accepting; the theorem itself is credible. I do not share the reader's identification of envelope regularity as the weakest point; the C^{1,1} issue is acknowledged and avoided by the alternative proof, whereas the Hölder-Young line is used in both proofs.","tokens_in":12342,"tokens_out":40711,"duration_ms":386200,"concrete_test":"Re-derive the last inequality in §3.2 from Young's inequality, or test it with w(t)=t^2/2, f≡1, φ=−εu (u≥0, inf u=0, ∫u=1, ε=0.01): the asserted bound ∫h(−φ)f ≤ ‖f‖_w∫(−φ) fails because the left side has order √ε while the right side has order ε. If the corrected estimate adds a w(1) term or a dual Orlicz norm that is bounded in the setting of Theorem B, the theorem can be accepted with the proof amended; otherwise the uniform bound on B is not established.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"In both proofs of Theorem B (§3.2 and §3.3), the authors need the estimate ∫ h(−φ) f ≤ ‖f‖_w ∫(−φ), attributed to Hölder-Young, where h=(w*)^{-1}. This inequality is false for weights satisfying Condition K. Take w(t)=t^2/2, which satisfies Condition K; then ‖f‖_w=‖f‖_2, w*(s)=s^2/2, and h(s)=√(2s). Choose f≡1 and φ∈SH0 with ∫(−φ)=ε and ∫√(−φ)≈√ε (e.g., φ=−εu, u≥0, inf u=0, ∫u=1, ε small). Then ∫ h(−φ)f ≈ √(2ε), while ‖f‖_w∫(−φ)=ε; for ε<2 the first is larger. Thus the displayed chain does not follow. The same incorrect step is used to assert that B=∫ h(−φ)f is uniformly bounded, which controls sup ψ and the normalizing constant b_M. The correct Young inequality gives instead ∫ f h(−φ) ≤ ‖f‖_w(w(1)+∫(−φ)) (or ‖f‖_w‖h(−φ)‖_{w*}), and the extra term is uniformly bounded for φ∈SH0 by Skoda-Zeriahi, so the theorem is likely repairable. But as written, the proof of Theorem B is incomplete.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper gives a short reduction argument for uniform a priori estimates in complex Monge-Ampere theory. Theorem A states that if a uniform oscillation bound is known for smooth solutions when the right-hand side has L^p norm controlled for some p>n (Yau's setting), then the same type of bound holds when the L^p norm is replaced by the Luxembourg norm ||f||_w for any weight satisfying Kolodziej's Condition (K). The proof constructs an auxiliary Monge-Ampere solution with density e^{-\\gamma\\phi}f, applies Yau's estimate to it, and uses a comparison lemma to transfer the bound to the original solution. Theorem B extends this to nonlinear equations g(\\lambda(\\phi))=c f^{1/n} under symmetry, ellipticity, and determinantal majorization, proving a uniform oscillation bound depending on ||f||_w. The proof uses the \\omega-psh envelope \\psi=P_\\omega(\\phi), whose Monge-Ampere measure is concentrated on the contact set, and reduces the nonlinear equation to a Monge-Ampere inequality; an alternative smooth proof via an auxiliary Monge-Ampere equation and a domination principle is also provided. The paper closes with radial examples and a question on the optimality of Condition (K).","tokens_in":12676,"tokens_out":17340,"duration_ms":171412,"significance":"If the proof is completed as written, the paper offers a genuinely efficient route from Yau's classical L^p estimate to Kolodziej's optimal Orlicz-space criterion, and it extends the Guo-Phong-Tong type a priori estimates to Orlicz-normalized right-hand sides for equations satisfying a determinantal majorization. The envelope argument is conceptually clean and the geometric dependence of the constants is tracked more explicitly than in some earlier approaches. The paper also honestly attributes Theorem A to Kolodziej and clearly identifies the new proof as the contribution. However, the proof of Theorem B currently contains a false Hölder-Young type inequality that is load-bearing in both the envelope proof and the alternative smooth proof; the claim is likely repairable with a small modification, but the manuscript as submitted does not establish the advertised estimate.","major_comments":[{"comment":"The displayed chain in §3.2, namely h(-sup ψ) ≤ ∫ h(-ψ) MA(ψ) ≤ (c^n/δ^n)∫ h(-φ) f ω^n ≤ (c^n/δ^n) ||f||_w ∫(-φ)ω^n, and the analogous assertion at the start of §3.3, use the inequality ∫ h(-φ) f ω^n ≤ ||f||_w ∫(-φ)ω^n as a consequence of Hölder-Young. This inequality is false for weights satisfying Condition (K). For example, take w(t)=t^2/2, which satisfies Condition (K); then w*(s)=s^2/2 and h(s)=√(2s). With f≡1 and φ=-εχ for a normalized smooth ω-psh function χ≤0 with ∫(-χ)=1 and ε>0 small, the left side behaves like C√ε while the right side equals ε, so the asserted inequality fails. The correct Young inequality gives ∫ f h(-φ) ≤ ||f||_w (w(1)+∫(-φ)), and the extra term is uniformly bounded on the normalized class by L^1 compactness of Γ_0(X,ω). Thus the theorem is repairable, but as written the uniform bound on B is not proved in either proof, and B is used in §3.2 to control h(-sup ψ) and in §3.3 to choose M and to bound the normalization constant b_M.","section":"§3.2"}],"minor_comments":[{"comment":"In Step 3 the line MA(φ) ≤ (3/4) MA(χ∘v) + e^B e^{-v} dV_X should read e^{-αv} (or the exponent should be absorbed by redefining α), since the preceding inequality on the set {log f < -αv+B} gives e^{-αv}; the L^p integrability needed for Lemma 2.2 is clearer with this correction.","section":"§2.1"},{"comment":"The definition of b(x) appears to have a sign error: it should be b(x) = -χ((B - e^x)/α) rather than -χ(-(e^x+B)/α). Also the displayed formula for χ'(0) omits the constant c' and uses h(B) where h(log B) seems intended; these are minor notational slips but should be corrected.","section":"§2.1"},{"comment":"The proof invokes Theorem A for the C^{1,1} envelope ψ with only a parenthetical promise that one can reduce to the smooth case by approximation. Since Theorem A is stated and proved for smooth functions, either the approximation argument should be supplied or the text should explicitly state that the alternative proof in §3.3 is the justification for this step.","section":"§3.2"},{"comment":"The notation is inconsistent about whether f is a density with respect to dV_X or a density with respect to ω^n; the proof writes integrals of both f dV_X and f ω^n. Please clarify the normalization (for instance, whether V_ω=1 and dV_X=ω^n are imposed) so that the constants in the final estimate are unambiguous.","section":"§3.2"},{"comment":"There are several typographical issues, including 'asympototic' for 'asymptotic' and the recurring 'Ko/suppress lodziej' rendering of Kolodziej's name; these should be cleaned up in revision.","section":"§2.2"}],"recommendation":"major_revision","confidential_remarks":"The reader's report recommends acceptance, and I agree that the overall strategy and Theorem A are sound. However, the false Hölder-Young inequality in the proof of Theorem B is a genuine error in a central argument; both proofs of Theorem B use it. The fix is short and the theorem is very likely correct after replacing the inequality with the correct Young bound and using L^1 compactness, but this is more than a typographical issue. I therefore recommend major revision rather than minor revision or acceptance as is."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper is worth reading: it gives a clean reduction of Kolodziej's Orlicz-type a priori estimates to Yau's L^p estimate, and extends the method to fully nonlinear equations satisfying a determinantal majorization. Theorem A recovers a known result, but the proof is genuinely new—one solves an auxiliary Monge-Ampere equation with density e^{-αφ}f and compares to the original solution via an envelope-type argument. Theorem B generalizes Guo-Phong-Tong's estimates to Orlicz weights. The exposition is careful and the background is well chosen.\n\nThe main soft spot is in the proof of Theorem B, in both versions. The authors repeatedly use the inequality ∫ h(−φ)f ≤ ||f||_w ∫(−φ), attributed to Hölder-Young, where h=(w*)^{−1}. This is false for Condition K weights; for w(t)=t^2, h(s)=√(2s), and with f≡1, φ=−εu, the left side is of order √ε while the right side is ε. The correct Young inequality gives ∫ h(−φ)f ≤ ||f||_w ||h(−φ)||_{w*}, and for these weights one can bound ||h(−φ)||_{w*} uniformly via Skoda–Zeriahi. So the theorem is likely repairable, but as written the displayed chain does not follow and the claimed uniform bound on B is not established.\n\nThere are also minor issues: the first proof applies Theorem A to C^{1,1} envelopes with only a sketched approximation argument, and there is a typo in the pointwise comparison in Step 3 (e^{-v} should likely be e^{-αv}). The alternative proof in §3.3 avoids the envelope regularity issue but repeats the same Hölder-Young error.\n\nNone of this affects Theorem A, which is solid. The radial examples and the discussion of optimality of Condition (K) are useful.\n\nBottom line: the paper deserves serious refereeing. The proof of Theorem B needs a corrected inequality and a clean approximation argument, but the methods and results are likely correct. I'd send it to a good journal with a request for revision.","headline":"A genuinely new reduction of Kolodziej's estimate to Yau's L^p theorem, plus a useful extension to fully nonlinear equations, but Theorem B as written rests on a false Hölder-Young inequality that is repairable.","tokens_in":13194,"tokens_out":4789,"would_cite":true,"duration_ms":43312,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32W20","32U05","32Q15","35A23"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a single $L^p$ oscillation bound for the complex Monge-Ampere equation implies the sharp Orlicz-space bound, and the same reduction controls many nonlinear geometric PDEs.","keywords":["complex Monge-Ampere equations","a priori estimates","Orlicz spaces","Luxembourg norm","plurisubharmonic envelopes","determinantal majorization","fully nonlinear elliptic equations","Kähler manifolds"],"falsifier":"Find a smooth solution $\\varphi$ of an equation of type $(NL)$ with $g$ satisfying the determinantal majorization and a weight $w$ satisfying Condition (K) for which $\\|f\\|_w$ is bounded but $\\mathrm{Osc}_X(\\varphi)$ is unbounded; a more local test is to verify in a radial example that $(\\omega+dd^c P_\\omega(\\varphi))^n = \\mathbf{1}_{\\{P_\\omega=\\varphi\\}}(\\omega+dd^c\\varphi)^n$, since a failure there would invalidate the proof of Theorem B.","tokens_in":12156,"feed_emoji":"📐","tokens_out":15158,"duration_ms":117086,"temperature":0.7,"pith_summary":"This paper proves that a uniform oscillation bound for smooth solutions of the complex Monge-Ampere equation, of the type known for densities in $L^p$ with $p>n$, automatically holds when the $L^p$ norm is replaced by the Luxembourg norm of any Orlicz weight satisfying Condition (K) — the (quasi-)optimal integrability condition. The proof is a reduction: it shows the Orlicz estimate follows from the $L^p$ estimate by building an auxiliary solution with density $e^{-\\gamma\\varphi}f$ and applying a comparison lemma. The same reduction is then applied to nonlinear elliptic equations whose operator $g$ is symmetric, elliptic, and satisfies the determinantal majorization $g(\\lambda)\\ge\\delta(\\prod_j\\lambda_j)^{1/n}$; any smooth solution of such an equation has oscillation bounded by a constant depending only on the Luxembourg norm of the right-hand side. A sympathetic reader cares because the $C^0$ estimate is the main obstacle in degenerate Monge-Ampere and complex Hessian equations, and this route gives uniform bounds that are independent of the complex structure.","feed_headline":"One L^p bound upgrades to the sharp Orlicz estimate","feed_subtitle":"The same reduction gives uniform oscillation bounds for Monge-Ampere and many geometric PDEs.","key_machinery":"The load-bearing object is the $\\omega$-plurisubharmonic envelope $P_\\omega(h)=\\sup\\{u\\in PSH(X,\\omega): u\\le h\\}^*$, which for smooth $h$ is $C^{1,1}$ and has Monge-Ampere measure concentrated on the contact set $\\{P_\\omega(h)=h\\}$, with $MA(P_\\omega(h))=\\mathbf{1}_{\\{P_\\omega=h\\}}MA(h)$. This concentration property is what allows the equation on $\\varphi$ to be passed to the envelope. The proof of Theorem A rests on an auxiliary function $\\rho$ solving a Monge-Ampere equation with density proportional to $e^{-\\gamma\\varphi}f$ (which lies in $L^{\\tilde p}$ for some $\\tilde p>n$), and on a comparison lemma (Lemma 2.2) asserting that a pointwise domination $MA(\\varphi)\\le a MA(v)+b f\\,dV$ with $v$ uniformly bounded forces $\\varphi$ to be uniformly bounded. The sup of the envelope is controlled through the Legendre transform of the weight and the compactness of normalized $\\omega$-subharmonic functions.","core_discovery":"The central claim of the paper is two-fold. First (Theorem A), if every smooth solution of the normalized complex Monge-Ampere equation $(\\omega+dd^c\\varphi)^n = f\\,dV$ satisfies $\\mathrm{Osc}_X(\\varphi)\\le C(\\|f\\|_p)$ for some $p>n$, then the same bound holds with the Luxembourg norm $\\|f\\|_w$ for every convex increasing weight $w$ satisfying Condition (K); this recovers the sharp Orlicz criterion from the classical $L^p$ method. Second (Theorem B), any smooth solution $\\varphi\\in\\Gamma(X,\\omega)$ of the fully nonlinear equation $g(\\lambda(\\varphi))=c f^{1/n}$, where $g$ is symmetric, elliptic, and $g(\\lambda)\\ge\\delta(\\prod_j\\lambda_j)^{1/n}$, satisfies $\\mathrm{Osc}_X(\\varphi)\\le M_0$ with $M_0$ depending only on an upper bound of $\\|f\\|_w$. The proof of Theorem B works by forming the $\\omega$-psh envelope $\\psi=P_\\omega(\\varphi)$; the determinantal majorization turns the equation into a Monge-Ampere inequality $\\delta^n MA(\\psi)\\le c^n f\\,\\omega^n$ on the contact set, after which Theorem A applies.","pith_inferences":["The reduction suggests a meta-principle: any uniform estimate that is stable under the comparison lemma can be pushed from $L^p$ to Orlicz weights, so similar transfers should hold for other complex Hessian operators or degenerate cohomology classes.","If Condition (K) is indeed optimal, as Question 2.5 asks, then Theorem A cannot be improved; the radial examples in Section 2.2 give a concrete place to test the gap.","The envelope-based transfer may be useful beyond the compact setting, for instance in the Dirichlet problem where envelope regularity is subtler, as the authors note in Remark 3.6.","The independence from the complex structure suggests the estimates could control families of solutions, such as Kähler-Einstein metrics under degenerations, without tracking the underlying metric."],"forward_implications":["The classical $L^p$ method already contains the sharp Orlicz criterion: no separate pluripotential machinery is needed to obtain Condition (K).","Any equation satisfying the determinantal majorization inherits a uniform $C^0$ bound, so the result covers complex Hessian equations and other geometric PDEs comparable to Monge-Ampere.","The estimates are independent of the complex structure, both in the Kähler and the hermitian setting.","The alternative proof via an auxiliary Monge-Ampere equation yields a fully smooth route, extending the bound to the Dirichlet problem in strongly pseudoconvex domains.","The constants depend explicitly on an upper bound for $\\|f\\|_w$ and on geometric constants, making the dependence easy to track."],"supporting_citations":[{"why":"Supplies the classical $L^p$ oscillation estimate that Theorem A assumes and ultimately reduces to.","marker":"[Yau78]"},{"why":"Proves the Orlicz-space uniform estimate under Condition (K); Theorem A gives a new proof of the same result.","marker":"[Kol98]"},{"why":"Used in Theorem 1.4 for the $C^{1,1}$ regularity of $\\omega$-psh envelopes.","marker":"[Ber19]"},{"why":"Used in Theorem 1.4 for the regularity and contact concentration of envelopes.","marker":"[Tos18]"},{"why":"Used in Theorem 1.4 for the hermitian version of envelope regularity.","marker":"[CZ19]"},{"why":"Introduces the technique of uniform estimates for nonlinear equations with determinantal majorization, which Theorem B extends to Orlicz norms.","marker":"[GPT23]"},{"why":"Provides the idea of reducing nonlinear equations to a Monge-Ampere inequality via envelopes, used in the proof of Theorem B.","marker":"[GL25b]"},{"why":"Supplies the comparison lemma that Lemma 2.2 of this paper simplifies and reproves.","marker":"[DDL21]"},{"why":"Shows that the determinantal majorization covers a huge variety of complex geometric PDEs.","marker":"[HL23]"},{"why":"Presents the iteration proof of the $L^p$ estimate that the paper follows.","marker":"[Blo12]"}],"fun_headline_variants":["Uniform estimates for Monge-Ampere: from L^p to sharp Orlicz","L^p to Orlicz: new proof of uniform oscillation bounds","Envelope argument upgrades L^p bounds to sharp Orlicz criteria","Determinantal majorization yields uniform estimates for PDEs","Yau-Kolodziej method gets a modern shortcut via envelopes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of Theorem B transfers the equation to the $\\omega$-psh envelope $\\psi=P_\\omega(\\varphi)$ and needs $\\psi$ to be $C^{1,1}$ with its Monge-Ampere measure concentrated on the contact set; if this regularity or concentration fails, the comparison inequality $\\delta^n MA(\\psi)\\le c^n f\\,\\omega^n$ does not follow.","fun_headline_variants_meta":{"raw":{"variants":["Uniform estimates for Monge-Ampere: from L^p to sharp Orlicz","L^p to Orlicz: new proof of uniform oscillation bounds","Envelope argument upgrades L^p bounds to sharp Orlicz criteria","Determinantal majorization yields uniform estimates for PDEs","Yau-Kolodziej method gets a modern shortcut via envelopes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000574,"raw_usage":{"total_tokens":2649,"prompt_tokens":823,"completion_tokens":1826,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":439,"completion_tokens_details":{"reasoning_tokens":1731}},"tokens_in":439,"tokens_out":1826,"duration_ms":11907,"temperature":1.0,"reasoning_tokens":1731,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T12:35:09.539101+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a smooth solution $\\varphi$ of an equation of type $(NL)$ with $g$ satisfying the determinantal majorization and a weight $w$ satisfying Condition (K) for which $\\|f\\|_w$ is bounded but $\\mathrm{Osc}_X(\\varphi)$ is unbounded; a more local test is to verify in a radial example that $(\\omega+dd^c P_\\omega(\\varphi))^n = \\mathbf{1}_{\\{P_\\omega=\\varphi\\}}(\\omega+dd^c\\varphi)^n$, since a failure there would invalidate the proof of Theorem B.","supporting_citations":[],"review_version":1}