{"id":"d3b41b94-2999-4830-a01f-5d949df8c76f","arxiv_id":"2507.22375","paper_version":3,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For the constant sum Hessian curvature equation in hyperbolic space, a curvature estimate and conditional existence are proved under an extra lower-bound assumption on sigma_n; the unconditional problem remains open.","lead":"Hyperbolic space has a boundary at infinity, and the asymptotic Plateau problem asks for a complete surface with prescribed curvature ending at a given boundary shape. This paper proves a curvature estimate and a conditional existence result for one such curvature equation, but only under an extra lower-bound assumption that leaves the general problem open.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The main estimate and the resulting existence theorem depend on an unproved lower bound sigma_n(kappa) > -A; the paper gives no mechanism for producing such an A, and Section 1.3 concedes that the unconditional problem remains open.","rationale":"The reader's weakest_assumption identifies the same load-bearing concern, and I agree with that identification. The proof of Theorem 1.1 is a standard maximum-principle argument and the auxiliary lower bound is used at one explicit, identifiable place; removing it breaks the estimate. The condition is not cosmetic: in the admissible cone the equation S_n=sigma permits sigma_n to tend to -infty while all hypotheses except the lower bound hold, so the theorem genuinely excludes a family of curvature regimes. Secondary issues such as the one-line 'Applying Lemma 2.3' step and the typographical errors in formulas are real but less load-bearing, because even a completely correct conditional estimate would not establish the existence theorem as advertised. The paper is honestly labeled conditional in Section 1.3, and the formal Theorem 1.1 may be correct as a conditional statement. Therefore the reader's CONDITIONAL verdict is appropriate; I see no reason to upgrade to ACCEPT or to reject the paper outright.","tokens_in":11513,"tokens_out":25106,"duration_ms":271403,"concrete_test":"Check whether sigma_n > -A can follow from S_n=sigma and kappa in tildeGamma_n by testing the n=2 family lambda_1=t, lambda_2=(sigma-t)/(1+alpha t), t>sigma: it satisfies sigma_1>0 and S_2=sigma for all t>sigma, while sigma_2 -> -infty as t->infty. This settles that the lower bound is not an automatic algebraic consequence of the equation; the burden then falls on the missing boundary-dependent argument that would supply A for the specific graphs in Theorem 1.1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The hypothesis is consumed at the step from (3.16) to (3.17): the proof controls the term ((kappa_1+1)/kappa_1) sum_i S^{ii}_n kappa_i by rewriting it as ((kappa_1+1)/kappa_1)((n-1)sigma_{n-1}+n alpha sigma_n) and then using sigma_n(kappa) > -A to bound it below by -C kappa_1. Without this lower bound, the same term can be negative of order -kappa_1 * |sigma_n| and the absorption in (3.20)-(3.21) fails. The condition is not derived from the equation. It is not a consequence of admissibility: for n=2, the family lambda_1=t, lambda_2=(sigma-t)/(1+alpha t) lies in tildeGamma_2 for every t>sigma and satisfies S_2=sigma, but sigma_2=lambda_1 lambda_2 -> -infty as t->infty. Thus, absent a new argument depending on Omega and the boundary data, Theorem 1.2 is a conditional statement about an unknown solution, not an existence theorem for the asymptotic Plateau problem. The authors' own outline of proof confirms this limitation.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the asymptotic Plateau problem in hyperbolic space for the curvature function S_n = sigma_{n-1} + alpha sigma_n, seeking complete hypersurfaces with prescribed boundary at infinity. Theorem 1.1 states an interior curvature estimate for C^4 vertical graphs over a bounded domain satisfying S_n(kappa) = sigma with kappa in the admissible cone tildeGamma_n, under the additional hypothesis sigma_n(kappa) > -A. Theorem 1.2 asserts existence of complete hypersurfaces under the same condition. The proof uses a test function Q = ln kappa_1 - N ln nu_{n+1}, a curvature perturbation argument, the Li-Ren concavity inequality, and maximum principle estimates.","tokens_in":11720,"tokens_out":9331,"duration_ms":101646,"significance":"If the estimate were established unconditionally, it would be a meaningful contribution to the Guan-Spruck program for sum Hessian curvature and a natural complement to recent work on sigma_k equations. The paper brings modern tools, especially the Li-Ren concavity inequality, to bear on a difficult fully nonlinear curvature estimate, and it usefully identifies the troublesome term involving kappa_1 sigma_{n-1}. However, the advertised result is conditional: the lower bound sigma_n > -A is imposed on the solution and is not derived from the boundary data or the equation, and Section 1.3 explicitly concedes that the unconditional problem remains open. As a result, Theorem 1.2 is not an existence theorem for prescribed boundary data in the form stated, and the main estimate is a conditional statement whose practical applicability depends on an unproved hypothesis.","major_comments":[{"comment":"The statement of Theorem 1.2 is circular as written. The hypothesis \"if there exists a constant A > 0 such that sigma_n(kappa) > -A\" refers to the principal curvatures of the sought solution, not to the data (Gamma, sigma, alpha). In that formulation the theorem says essentially that if a solution satisfying an additional bound exists, then a solution exists; it does not establish existence for any prescribed boundary. Section 1.3 concedes that the problem without this additional condition remains open. The authors should restate Theorem 1.2 as a genuinely conditional result and explain how A would be obtained, or they should remove the existence claim from the abstract and introduction.","section":"§1.2, Theorem 1.2"},{"comment":"The lower-bound hypothesis sigma_n(kappa) > -A is load-bearing and is never derived. At (3.16) the term ((kappa_1+1)/kappa_1) sum_i S^{ii}_n kappa_i is rewritten as ((kappa_1+1)/kappa_1)[(n-1)sigma_{n-1} + n alpha sigma_n] and then bounded below only because sigma_n > -A is assumed. Without this bound, the same term can be as negative as -C kappa_1 in the admissible cone; for n = 2 the family kappa_1 = t, kappa_2 = (sigma - t)/(1 + alpha t) lies in tildeGamma_2 and satisfies S_2 = sigma while sigma_2 -> -infinity as t -> infinity. Thus the estimate controls the maximum only for solutions that are already assumed to satisfy an unproved lower bound. The authors' own outline of proof in Section 1.3 confirms that no mechanism is provided for producing A from Omega and Gamma.","section":"§3, Eqs. (3.16)-(3.17)"},{"comment":"The passage from (3.15) to (3.16) via Lemma 2.3 is not justified in adequate detail. Lemma 2.3 asserts nonnegativity of a quadratic form that includes the term kappa_1 K (sum_j S^{jj}_n xi_j)^2, and the proof must specify the vector xi, the parameter epsilon, and how the leftover K-term is absorbed or discarded. As presented, the negative fourth-order terms involving S^{pp,qq}_n and the positive terms C sum_{i neq 1} S^{ii}_n (nabla_1 h_{ii})^2 / kappa_1^2 are simply omitted from (3.16). A referee cannot verify the claimed cancellation or inequality without a precise invocation of Lemma 2.3.","section":"§3, transition from (3.15) to (3.16)"},{"comment":"The derivation of inequality (3.13), which controls the third-order terms, contains unclear and apparently incorrect algebra. The expression after the second equality uses denominators involving kappa_1 - tilde{kappa}_i and then introduces the term 2 sum_{1 < i <= m} S^{11}_n (nabla_i h_{11})^2 / (kappa_1 (kappa_1 - tilde{kappa}_1)); but for i > 1 and i <= m, one has tilde{kappa}_i = kappa_1 - 1, while tilde{kappa}_1 = kappa_1, so that kappa_1 - tilde{kappa}_1 = 0. The subsequent line \"= (2 kappa_1 - 1) sum ... + ...\" is not derived from the preceding expression, and the notation \"a + b - 2/(a-b)\" is ambiguous. Since (3.13) is a key step in eliminating the bad third-order terms, this argument must be rewritten carefully with a consistent definition of tilde{kappa}_i.","section":"§3, Eq. (3.13)"}],"minor_comments":[{"comment":"The statement of Lemma 2.4 is garbled and should be rewritten. The string \"C <= nu_{n+1} <= 1, where nu_{n+1} = 1/sqrt(1+|Du|^2), sum_i u_i^2/u^2 = 1 - (nu_{n+1})^2 <= 1\" mixes several different identities and is not parseable; also, the proof later relies on a positive lower bound for nu_{n+1}, so the intended hypotheses need to be stated clearly.","section":"§2.2, Lemma 2.4"},{"comment":"The displayed formula \"a+b-2/(a-b)\" should presumably read \"(a+b-2)/(a-b)\"; as written, the ambiguity makes the subsequent inequality impossible to check.","section":"§3, Eq. (3.13)"},{"comment":"The range of sigma is inconsistent: the abstract and the main theorems use sigma in (0,n), while the introduction and Eq. (1.1) state sigma in (0,1). This should be harmonized.","section":"§1 and §3"},{"comment":"The proof begins by assuming that Q attains its maximum at an interior point, but it does not explicitly discuss the case where the maximum occurs on the boundary. Since the final estimate includes a boundary term, a sentence explaining that the boundary case is immediate would improve clarity.","section":"§3, proof of Theorem 1.1"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's abstract and introduction present Theorem 1.2 as a solution of the asymptotic Plateau problem, but the theorem is conditional and Section 1.3 concedes that the unconditional problem is open. I would encourage the editor to require that the authors clearly label the main result as conditional, restate Theorem 1.2 non-circularly, and fill the gaps around Eqs. (3.13) and (3.15)-(3.16). The conditional estimate may be of interest, but in its current form the paper overclaims the existence result."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the paper does prove (modulo a fillable gap) a curvature estimate for the new curvature function S_n = sigma_{n-1} + alpha sigma_n, extending Lu's alpha = 0 result. Second, the advertised existence theorem is conditional on a lower bound sigma_n > -A that the authors do not derive; the stress-test example for n = 2 shows admissibility alone does not give it. So read this as a partial result, not a solution of the asymptotic Plateau problem.\n\nThe novelty is real: no one has treated this exact f for all sigma in (0,n). The use of Li-Ren's concavity inequality is appropriate, and the test function is inherited from Lu, which is reasonable. The paper is clearly organized, and the authors are honest in Section 1.3 that the unconditional problem is open.\n\nNow the soft spots. The biggest is the condition sigma_n > -A. It is used at the step from (3.16) to (3.17) to control ((kappa_1+1)/kappa_1) sum_i S^{ii}_n kappa_i = ((kappa_1+1)/kappa_1)((n-1)sigma_{n-1} + n alpha sigma_n). Without it, the absorption in (3.20)-(3.21) fails. The example with n = 2, lambda_1 = t, lambda_2 = (sigma - t)/(1 + alpha t), shows that kappa in tildeGamma_2 does not prevent sigma_2 -> -infty, so the lower bound is an extra geometric or analytic condition, not a consequence of admissibility. Theorem 1.2 should be restated as a conditional statement: if a solution exists with the lower bound, then one has the estimate; as written, it appears circular.\n\nThe second soft spot is the application of Lemma 2.3 at (3.15) to get (3.16). This is the technical heart of the fourth-order term absorption, and it is not shown. It may be correct, but a referee will need to see the details. There are also typos (e.g., Lemma 2.4's 'C ≤ nu_{n+1} <= 1' should be a positive lower bound) and minor notational inconsistencies around the Li-Ren reference.\n\nAll in: this is a serious but partial contribution. It deserves peer review, and a competent referee can likely fill the gap or identify a fix. A revised version that clearly separates the conditional estimate from the existence claim would be acceptable. I would not cite the existence theorem as stated, but the curvature estimate is a legitimate citation for the subfield.","headline":"A genuine but partial curvature estimate for a new sum Hessian curvature function, conditional on an unproved lower bound on sigma_n that is not a consequence of admissibility.","tokens_in":12307,"tokens_out":4308,"would_cite":true,"duration_ms":46407,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","35J60"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a conditional interior curvature estimate for hypersurfaces with constant sum Hessian curvature in hyperbolic space, and uses it to solve the asymptotic Plateau problem under that condition.","keywords":["asymptotic Plateau problem","hyperbolic space","sum Hessian curvature","curvature estimates","Hessian equations","fully nonlinear PDE","hypersurfaces","principal curvatures"],"falsifier":"Build a sequence of admissible vertical graphs over the unit ball, each satisfying $S_n(\\kappa)=\\sigma$ with uniformly bounded boundary curvature, such that the product of principal curvatures tends to $-\\infty$ while the largest interior curvature tends to $+\\infty$; such a sequence would show the extra lower-bound condition is indispensable.","tokens_in":11247,"feed_emoji":"📐","tokens_out":11446,"duration_ms":114318,"temperature":0.7,"pith_summary":"The paper works on the asymptotic Plateau problem in hyperbolic space: given a prescribed boundary at infinity, find a complete hypersurface whose principal curvatures satisfy a fixed symmetric equation. For the sum-Hessian operator $S_n(\\kappa) = \\sigma_{n-1}(\\kappa) + \\alpha \\sigma_n(\\kappa)$, the missing step has been an a priori interior curvature estimate valid for all $\\sigma \\in (0,n)$. The paper proves such an estimate for any $C^4$ vertical graph solving the equation, assuming the extra condition that $\\sigma_n(\\kappa)$ is bounded below by a known constant. Because the estimate is in hand, the paper also obtains a complete hypersurface with the prescribed boundary under the same condition.","feed_headline":"Interior curvature bound proved for sum-Hessian hypersurfaces","feed_subtitle":"Principal curvatures are controlled by the boundary once one extra lower bound holds—enough to build the hypersurface.","key_machinery":"The central object is the sum-Hessian operator $S_n(\\kappa)=\\sigma_{n-1}(\\kappa)+\\alpha\\sigma_n(\\kappa)$ on the admissible cone $\\tilde\\Gamma_n = \\Gamma_{n-1} \\cap \\{\\lambda : S_n(\\lambda)>0\\}$, where the operator is elliptic. The carrying mechanism is the maximum-principle computation with the test function $Q=\\ln\\kappa_1 - N\\ln\\nu_{n+1}$, where $\\kappa_1$ is the largest principal curvature and $\\nu_{n+1}$ measures the graph's tilt; a curvature perturbation is used when $\\kappa_1$ is not simple. Two ingredients do the heavy lifting: a concavity inequality for $S_n$ that cancels the negative third-order terms, and the extra hypothesis $\\sigma_n(\\kappa)>-A$, which controls the second-order term $-\\kappa_1\\sigma_{n-1}$ that would otherwise spoil the estimate.","core_discovery":"Theorem 1.1 is the central discovery: if $\\Sigma \\subset \\mathbb{H}^{n+1}$ is a $C^4$ vertical graph over a bounded smooth domain $\\Omega \\subset \\mathbb{R}^n$ with nonnegative mean curvature, satisfies $S_n(\\kappa) = \\sigma_{n-1}(\\kappa)+\\alpha\\sigma_n(\\kappa)=\\sigma$ with $\\sigma\\in(0,n)$ and $\\kappa\\in\\tilde\\Gamma_n$, and if $\\sigma_n(\\kappa)>-A$ for some $A>0$, then the maximum of $|\\kappa_i|$ over $\\Sigma$ is bounded by a constant depending only on $n$, $\\Omega$, $A$, $\\alpha$, and $\\sigma$, plus the boundary maximum of $|\\kappa_i|$. The proof maximizes the test function $Q=\\ln\\kappa_1 - N\\ln\\nu_{n+1}$ at an interior point; after cancellation of fourth- and third-order terms, the harmful second-order term $-\\kappa_1\\sigma_{n-1}$ is controlled exactly by the hypothesized lower bound on $\\sigma_n$. The paper then records that the same estimate feeds the standard existence scheme to produce a complete hypersurface with boundary $\\Gamma$, under the same extra condition.","pith_inferences":["Removing the lower-bound assumption would make the existence theorem unconditional; the paper explicitly leaves that as the open problem, and a proof of an automatic lower bound from the equation would be the natural completion.","The same test function and concavity inequality are likely adaptable to $S_k(\\kappa)=\\sigma_{k-1}(\\kappa)+\\alpha\\sigma_k(\\kappa)$ for $2\\le k\\le n-1$, a family the paper names as a further direction.","A possible way to test the necessity of the condition is to study radial or rotationally symmetric examples numerically, where the equation becomes an ODE and the lower bound on the curvature product can be checked explicitly."],"forward_implications":["Any admissible graph satisfying the equation and the lower-bound condition has all principal curvatures bounded in terms of the data and the boundary curvature.","The asymptotic Plateau problem for $S_n$ has a solution whenever the lower-bound condition holds, for every $\\sigma \\in (0,n)$ and every $\\alpha>0$.","The estimate is a priori, so it applies uniformly to families of solutions and is available as a compactness tool.","Together with boundary estimates, the interior estimate completes the standard two-step existence proof for this curvature function."],"supporting_citations":[{"why":"The method that converts a curvature estimate into existence of a complete hypersurface, used to derive Theorem 1.2 from Theorem 1.1.","marker":"[13]"},{"why":"Introduces the logarithmic test function whose maximization drives the curvature estimate.","marker":"[14]"},{"why":"Shows the admissible set is convex and the operator is elliptic there, so the maximum principle can be applied.","marker":"[23]"},{"why":"The concavity inequality that eliminates the negative third-order terms in the test-function computation.","marker":"[24]"},{"why":"Supplies the identities for the vertical graph in the upper half-space model that the maximum-principle computation relies on.","marker":"[25]"},{"why":"Provides the curvature perturbation trick used when the largest principal curvature has multiplicity greater than one.","marker":"[26]"}],"fun_headline_variants":["Interior curvature bound for sum-Hessian hypersurfaces","Constant sum-Hessian hypersurfaces: curvature from boundary","Curvature bound for Hessian-sum hypersurfaces under σ_n lower bound","Sum-Hessian curvature: interior bound from boundary data","Hyperbolic space: boundary-bound curvature for Hessian sums"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the product of all principal curvatures is bounded below by a known constant along the solution; the paper assumes such a constant exists rather than deriving it from the equation or the boundary data.","fun_headline_variants_meta":{"raw":{"variants":["Interior curvature bound for sum-Hessian hypersurfaces","Constant sum-Hessian hypersurfaces: curvature from boundary","Curvature bound for Hessian-sum hypersurfaces under σ_n lower bound","Sum-Hessian curvature: interior bound from boundary data","Hyperbolic space: boundary-bound curvature for Hessian sums"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000985,"raw_usage":{"total_tokens":4136,"prompt_tokens":863,"completion_tokens":3273,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":479,"completion_tokens_details":{"reasoning_tokens":3185}},"tokens_in":479,"tokens_out":3273,"duration_ms":31351,"temperature":1.0,"reasoning_tokens":3185,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T11:46:58.445831+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Build a sequence of admissible vertical graphs over the unit ball, each satisfying $S_n(\\kappa)=\\sigma$ with uniformly bounded boundary curvature, such that the product of principal curvatures tends to $-\\infty$ while the largest interior curvature tends to $+\\infty$; such a sequence would show the extra lower-bound condition is indispensable.","supporting_citations":[{"cited_title":"Guan and J","cited_arxiv_id":null,"evidence_quote":"The method that converts a curvature estimate into existence of a complete hypersurface, used to derive Theorem 1.2 from Theorem 1.1."},{"cited_title":"Lu,On the asymptotic Plateau problem in hyperbolic space, Proc","cited_arxiv_id":null,"evidence_quote":"Introduces the logarithmic test function whose maximization drives the curvature estimate."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows the admissible set is convex and the operator is elliptic there, so the maximum principle can be applied."},{"cited_title":"Pogorelov type $C^2$ estimates for sum Hessian equations","cited_arxiv_id":"2504.06711","evidence_quote":"The concavity inequality that eliminates the negative third-order terms in the test-function computation."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the identities for the vertical graph in the upper half-space model that the maximum-principle computation relies on."},{"cited_title":"Chu,A simple proof of curvature estimate for convex solution ofk-Hessian equation, Proc","cited_arxiv_id":null,"evidence_quote":"Provides the curvature perturbation trick used when the largest principal curvature has multiplicity greater than one."}],"review_version":1}