{"id":"59907b2b-f220-4488-a3ad-b1804e0dc934","arxiv_id":"2601.09893","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Under general Orlicz-space integrability of the Monge-Ampère measure, the paper proves L∞ and stability estimates for the potential and derives uniform diameter and volume lower bounds for the associated Kähler metrics.","lead":"This paper proves uniform diameter and volume bounds for compact Kähler manifolds when the right-hand side of their defining complex Monge-Ampère equation is only required to live in a very general \"Orlicz\" function space. Generalists might care because such bounds are a technical backbone for controlling how these manifolds can degenerate in families, including applications to the minimal model program.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Diameter bound depends on an auxiliary N-function satisfying (4.23); the paper verifies this only by asymptotic casework and shows in Subcase 2.2 it can fail, so the geometric scope is not fully established.","rationale":"The reader's weakest assumption points to the same dependency: the geometric conclusions require an auxiliary Φ1 and the integrability (4.23), and the paper leaves key verifications as sketches or examples. My read of the text confirms this is the most load-bearing soft spot. The failure mode is not a contradiction with the stated hypotheses of Corollary 4.11, since that corollary uses p2=...=2n and p>2n, which is different from Subcase 2.2. Nevertheless, the proof of the corollary chooses Φ1 and immediately invokes the main theorem without displaying the E corresponding to this Φ1 or checking (4.23), and the surrounding asymptotic analysis shows the condition is genuinely restrictive. A direct computation of ∫ dt/(tE(t)) for the corollary's range would settle whether the diameter theorem is actually proved where claimed. The omitted proof of Lemma 4.1 and the 'sketched proof' of Theorem 1.1 add to the uncertainty, but they are secondary: Lemma 4.1 is stated as a direct extension of a known argument, and Theorem 1.1's iteration is mostly written out. I therefore do not see a demonstrated error; I see a conditional result whose main geometric condition is not fully verified in the stated range. This supports keeping the CONDITIONAL verdict.","tokens_in":31214,"tokens_out":20675,"duration_ms":189284,"concrete_test":"For the Φ1 chosen in Corollary 4.11 (Φ1 = g0 g1^n ... g_{k+2}^n g_{k+3}^{2n}), compute the associated E(t)=min(E1(t),E2(t)) explicitly from (4.6)-(4.8) and evaluate I = ∫_1^∞ dt/(tE(t)) in the full claimed range k≥2, p>2n. If I converges for every such pair, Theorem 4.7 applies to Corollary 4.11 and the remaining issue is a missing written verification; if there is any k≥2,p>2n for which I diverges (e.g., by the asymptotic E(t) from Subcase 2.3), the diameter conclusion is unproved in that subrange.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central geometric theorem (Theorem 4.7) is conditional on the existence of an auxiliary N-function Φ1 satisfying (C1)-(C3) whose associated E(t) (from (4.6)-(4.8)) satisfies ∫_1^∞ dt/(tE(t)) < ∞. This integrability condition is exactly what makes the gradient estimate (4.24) and hence the diameter bound work. The paper's proof of Corollary 4.11 chooses a specific Φ1 but does not explicitly verify (4.23) for the resulting E; it relies on asymptotic computations in §4.3. The delicate nature of the condition is exposed in §4.3, Subcase 2.2, where for Φ = g0 g1^n ... g_{k-1}^n g_k^p (k≥3, p>n) the authors state that (4.23) fails, so their method gives no diameter bound in that case even though the a priori L∞ estimate (Theorem 1.1) applies. Thus the geometric claim is genuinely narrower than the analytic estimates, and the boundary of the valid range for the diameter theorem rests on unstated or scattered verification. This is not a demonstrated error, but it is a load-bearing gap: if the hypotheses of Corollary 4.11 do not always force (4.23), the main geometric conclusion is unsupported in part of the claimed range.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the complex Monge-Ampère equation (1.2) on a compact Kähler manifold when the density F lies in an Orlicz space L^Φ. It proves an L∞ a priori estimate (Theorem 1.1) under the integrability condition (1.7), and a stability estimate (Theorem 1.2) under the stronger condition (1.10), following Kołodziej's capacity method and the Guo–Phong–Tong–Wang argument. In the second part, assuming the existence of an auxiliary N-function Φ1 satisfying (C1)–(C3) and an integrability condition (4.23) on the associated function E, it obtains uniform Green function and gradient bounds (Proposition 4.5, Lemma 4.6), a diameter bound (Theorem 4.7), and volume non-collapsing estimates (Proposition 4.9). It applies these to slow-growth and polynomial-growth N-functions, recovering and extending previous Lp and L(log L)^p results, with a specific statement in Theorem 1.4/Corollary 4.11 for Φ ≥ g0 g1^n ... g_{k-1}^{2n} g_k^p.","tokens_in":31695,"tokens_out":21915,"duration_ms":201423,"significance":"If correct, the results provide a unified Orlicz-space framework for a priori estimates and geometric bounds, recovering several known theorems and extending them to very weak integrability. The proofs track constants and depend only on structural assumptions on the N-function, not on fitted parameters. The geometric part is conditional on the auxiliary Φ1 condition; the paper's casework shows this condition is delicate, and the range of validity is narrower than that of the analytic estimates. The analytic iteration arguments are largely standard and plausible. However, the load-bearing Lemma 4.1 is stated without proof, and the verification of (4.23) in Corollary 4.11 is not explicitly supplied, so the geometric conclusions are not yet fully supported as written.","major_comments":[{"comment":"Lemma 4.1 is stated without proof, with only the remark 'The proof in [30, Lemma 2][36, Lemma 5.1] makes only use of the L∞-estimates, so we omit the details.' This lemma is used to prove Lemma 4.2, Lemma 4.3, and ultimately underlies Proposition 4.5, Lemma 4.6, and Theorem 4.7. Since the present setting involves Orlicz-space densities, the reader cannot verify that the cited proofs apply verbatim. Please include a full proof or state precisely the modifications needed and why the cited arguments carry over unchanged.","section":"§4, Lemma 4.1"},{"comment":"The proof of Corollary 4.11 defines Φ1 = g0 g1^n ... g_{k+2}^n g_{k+3}^{2n} and then says 'Applying Main Theorem 4.7'. But Theorem 4.7 requires the associated E to satisfy the integrability condition (4.23). The text does not explicitly verify (4.23) for this particular choice of Φ1; the verification is scattered in the asymptotic casework of §4.3–4.4. The delicacy is real: Subcase 2.2 shows that for Φ ≥ g0 g1^n ... g_{k-1}^n g_k^p with p > n, condition (4.23) fails. The corollary should either state explicitly that (4.23) follows from Subcase 2.3 with j0 = 2 and p > 2n, or give a direct check for the chosen Φ1. Without this, the diameter bound in Corollary 4.11 is not fully established.","section":"§4.3, Corollary 4.11"}],"minor_comments":[{"comment":"The stability hypothesis (1.12) is written as an unnormalized integral ∫(ψδ−φ0)+ ω0^n ≤ δ, but the proof in Step 1 uses the normalized average (1/[ω0^n])∫(ψδ−φ0)+ ≤ δ. Please clarify the normalization convention, otherwise the constants in Theorem 1.2 may depend on [ω0^n] in an unstated way.","section":"§1 and §3.3, Eq. (1.12)"},{"comment":"After Eq. (3.12) and after Eq. (3.22), the text writes t_j = 2^j t0. From ϑ(s_{j+1}) ≤ (1/2)ϑ(s_j) (respectively ϱ(s_{j+1}) ≤ (1/2)ϱ(s_j)) one only obtains t_j ≥ 2^j t0. The integral estimates still follow, but the inequalities should be stated as '≥' and the interval covering argument made explicit.","section":"§3.2 and §3.3, iteration sequences"},{"comment":"The dependence list in Proposition 4.5 contains 'K' twice: C(ω0,Φ,Φ1,E;A,K,L,K,n). This is presumably a typo; the constant should depend on K once.","section":"§4, Proposition 4.5"},{"comment":"The symbol ∼ is used extensively in §4.3–4.4 before its definition in §5. Please add a forward reference and state clearly that the asymptotic computations are used only to verify integrability conditions up to constants and dilation, which is sufficient for (4.23).","section":"§4.3–4.4 and §5"},{"comment":"There are several typos and reference issues: 'celetrated' in the Introduction, 'auxilliary' in §1.1, 'Kiseman-Legendre' in §1.1, 'δ>be' in the proof of Lemma 3.3, reference [13] should be 'Pali', and reference [21] is listed twice in the Introduction.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid contribution if the two gaps are fixed. I do not think rejection is warranted. I would ask the authors to add a proof of Lemma 4.1 or a precise reduction to the cited results, and to verify (4.23) directly for Corollary 4.11 rather than leaving it to scattered asymptotic casework."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nQuick take: the paper delivers what it says — an Orlicz-space version of Kołodziej's L∞ estimate and GPTW stability, plus diameter/volume bounds in the GPSS style. The new part is the general N-function integrability conditions (1.7)/(1.10), which indeed recover the Lp and L(logL)^p cases as examples. That is a genuine, useful extension, not a repackaging.\n\nWhat the paper does well: it tracks constants throughout the iteration, states the structural hypotheses clearly, and is upfront about the limits of the method. In particular, §4.3 works through several slow-growth cases and explicitly flags Subcase 2.2 where condition (4.23) fails. That is honest and helpful — it tells the reader exactly where the geometric argument stops.\n\nSoft spots, in proportion. The analytic core is uneven: Theorem 1.1 is labelled a 'sketched proof' and Lemma 4.1 is quoted with 'we omit the details.' The stability proof is complete but dense; Example 5.2's claimed improvement over [44,12] is stated without the comparison spelled out. The bigger issue is the geometric theorem. Theorem 4.7 is conditional on an auxiliary Φ1 satisfying (C1)-(C3) with E satisfying (4.23). Corollary 4.11 chooses a Φ1 that makes (4.23) hold — the stress-test note worries that this is not verified because the check is asymptotic. On reading, the relevant Subcase 2.3 (with j0=k) does give the needed integrability under the corollary's stronger exponents (p_i=2n for i=2..k-1 and p_k>2n). So the conclusion is not unsupported; it is just supported by asymptotic ∼ computations rather than explicit inequalities. That is a rigor gap in presentation, not a load-bearing flaw. Still, the diameter claim is narrower than the analytic estimates, and a referee should push for a formal verification of (4.23) and the E1/E2 asymptotics.\n\nWho it is for: anyone working on degenerating Kähler families, Gromov-Hausdorff limits, or Orlicz-space regularity for CMA. It deserves a serious referee; the omissions are fixable and the main claim is likely correct in the stated range.\n\nMy recommendation: send it to peer review, with a request that the authors provide full proofs for Theorem 1.1 and Lemma 4.1 and a rigorous check of the asymptotics in §4.3-4.4.","headline":"Orlicz CMA estimates are a real extension, but the diameter theorem's hypotheses are verified by asymptotic casework and the paper says so as much; a solid conditional, worth refereeing.","tokens_in":32090,"tokens_out":3094,"would_cite":true,"duration_ms":30733,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Diameter bounds for Kähler metrics whose volume form lies in a very weak Orlicz space","keywords":["complex Monge-Ampère equation","Orlicz space","diameter bound","Green function estimate","Kähler metric","stability estimate","volume noncollapsing"],"falsifier":"Construct an N-function Φ satisfying (1.7) and (1.10) for which no auxiliary Φ1 satisfies (C1)-(C3) and (4.23); if such a Φ yields a Kähler metric ω with infinite diameter, the main theorem (4.26) is false. A simpler check: verify whether the omitted proof of Lemma 4.1 produces a constant independent of the level-set geometry; if the constant depends on the level sets, the subsequent Green-function estimate (4.12) would fail.","tokens_in":31160,"feed_emoji":"📐","tokens_out":1199,"duration_ms":15732,"temperature":0.7,"pith_summary":"The paper claims that a compact Kähler manifold whose Kähler metric satisfies a complex Monge-Ampère equation with right-hand side in a suitable Orlicz space has uniformly bounded diameter and non-collapsing volume, provided the Orlicz function grows slowly enough. It also proves a priori L∞ bounds and stability estimates for solutions of the complex Monge-Ampère equation in this general setting. The argument combines a Kolodziej-style iteration for the analytic estimates with a Green-function comparison method borrowed from recent work on diameter estimates. If the claims hold, they unify and extend earlier diameter and volume bounds that were known only for Lp or L(log L)^p densities. The weakest point is a geometric hypothesis requiring the existence of an auxiliary function satisfying a strong integrability condition; the paper shows this condition can fail for natural slow-growing Orlicz functions.","feed_headline":"Diameter bounds for very weak densities","feed_subtitle":"Kähler metrics with densities in Orlicz spaces get uniform diameter and volume control, extending Lp results.","key_machinery":"The key object is the auxiliary function E derived from a secondary N-function Φ1, defined by E(t) = min(E1(t), E2(t)) where E1(t)^{n-1} = t^2/Φ1(t) and E2 is defined through complementary functions. The paper shows that a uniform bound on ∫ |G| E(G) (the Green function weighted by E) controls the gradient of the Green function and hence the diameter. The integrability condition ∫ dt/(t E(t)) < ∞ is exactly what makes the Green-function gradient estimate work.","core_discovery":"The central claim is that for any N-function Φ satisfying the integrability condition ∫_0^∞ dt / h(t)^{1/n} < ∞, where h is built from the convex conjugate of Φ, the solution φ0 of the complex Monge-Ampère equation (1.2) has a uniform L∞ bound depending explicitly on the Luxemburg norm of the density F. Under the stronger condition (1.10), a stability estimate holds: L^1-small perturbations of the right-hand side force L∞-small changes in the potential. The geometric part asserts that if a secondary N-function Φ1 exists (conditions (C1)–(C3)) whose associated function E satisfies ∫_1^∞ dt/(t E(t)) < ∞, then the Kähler metric ω = θ + i∂∂̄φ0 has diameter bounded by a constant depending only on","pith_inferences":["The diameter bound likely extends to any N-function whose associated E satisfies (4.23); the paper only verifies this for specific slow-growth and polynomial classes, but the mechanism is general enough to suggest broader validity.","The explicit volume lower bound (4.52) suggests a sharp asymptotic shape for the volume of small balls in the slow-growth case, which could be tested by constructing explicit examples.","The failure of (4.23) for the case Φ = t g_1^n ... g_{k-1}^n g_k^p (Subcase 2.2) hints that there may be an intrinsic obstruction to diameter bounds for densities growing like those, but the paper does not construct a counterexample.","The stability estimate (1.13) could be used to prove Hölder continuity of solutions even when the right-hand side is not in Lp, extending the known moduli for the L(log L)^p case."],"forward_implications":["Provides uniform diameter bounds for Kähler metrics with densities in Orlicz spaces that are not Lp for any p>1, including the iterated-logarithm class.","Recovers classical Lp and L(log L)^p diameter and volume bounds as special cases of a single formal framework.","Yields explicit volume non-collapsing lower bounds for geodesic balls, refining prior estimates in the Lp and L(log L)^p settings.","The stability estimate gives a modulus of continuity for solutions, which the paper notes can lead to H\"older or logarithmic continuity results, and thus further geometric control.","The method compares the original equation with an auxiliary Monge-Ampère equation, providing a route that may extend to degenerating background metrics."],"fun_headline_variants":["Orlicz densities give uniform Kähler diameter bounds","Very weak densities still bound Kähler diameter","Kähler diameter bounds from Orlicz space densities","Stable diameter bounds for weak Kähler measures","Orlicz integrability yields Kähler diameter control"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The geometric diameter theorem relies on the existence of a secondary N-function Φ1 with the integrability condition ∫_1^∞ dt/(t E(t)) < ∞, which is not shown to hold for all admissible Φ; in fact the paper notes it fails in one natural slow-growth case.","fun_headline_variants_meta":{"raw":{"variants":["Orlicz densities give uniform Kähler diameter bounds","Very weak densities still bound Kähler diameter","Kähler diameter bounds from Orlicz space densities","Stable diameter bounds for weak Kähler measures","Orlicz integrability yields Kähler diameter control"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000943,"raw_usage":{"total_tokens":3851,"prompt_tokens":715,"completion_tokens":3136,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":459,"completion_tokens_details":{"reasoning_tokens":3058}},"tokens_in":459,"tokens_out":3136,"duration_ms":22465,"temperature":1.0,"reasoning_tokens":3058,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T10:27:18.611696+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct an N-function Φ satisfying (1.7) and (1.10) for which no auxiliary Φ1 satisfies (C1)-(C3) and (4.23); if such a Φ yields a Kähler metric ω with infinite diameter, the main theorem (4.26) is false. A simpler check: verify whether the omitted proof of Lemma 4.1 produces a constant independent of the level-set geometry; if the constant depends on the level sets, the subsequent Green-function estimate (4.12) would fail.","supporting_citations":[],"review_version":1}