{"id":"1e43e6f7-88c1-4cc8-b5d9-7704b52e670b","arxiv_id":"2509.08415","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For Q>4 and α≤2Q/(Q−4), the equation σ_2(Hess_X u)=(−u)^α on the Heisenberg group admits no negative 2-convex entire solution.","lead":"This paper proves a Liouville theorem: the 2-Hessian equation on the Heisenberg group has no negative 2-convex entire solutions when the exponent is at most a critical value. It extends a family of nonexistence results to a noncommutative setting, where integration by parts produces extra commutator terms.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the negative-power integrability concern is resolved by the compact support of the cut-off and strict negativity of u; remaining issues are minor typos.","rationale":"The reader's conditional verdict rests on a claimed gap in integrability of negative powers of (−u). A close reading shows this is not a genuine gap: the cut-off η localizes all integrals to a compact ball B_{2R}, and since u<0 everywhere, −u has a positive minimum on each such ball. Thus every negative power is smooth and bounded, making the formal integration by parts and Hölder/Young steps rigorous for each R, with constants independent of R. The proof's internal logic is consistent after correcting the clear typo in Case 4 ('α=γ' should be 'δ=γ'), and the C²-to-C³ regularity issue is a standard, fixable omission via ellipticity bootstrap. No load-bearing objection to the main Liouville theorem remains. The paper would benefit from a remark on regularization and typo corrections, but these do not affect the central claim.","tokens_in":13033,"tokens_out":39748,"duration_ms":393196,"concrete_test":"Correct the typo in Case 4 to read 'Setting δ=γ<0 in view of (3.11),' then verify that (3.17) indeed follows from (3.11) by moving the nonpositive terms to the left-hand side. Also confirm that the pointwise Young/Hölder steps in (3.12)-(3.13) remain valid when all integrals are taken over the compact set B_{2R}∩{u<0}, using the lower bound −u≥m_R>0. If both checks pass, the proof's central argument is sound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest_assumption points to non-finite integrals like ∫(−u)^{α+δ}η^θ when α+δ<0 (Case 2) or ∫|∂u|^4(−u)^{γ−2}η^θ with γ<0 (Case 4). In every integral, the smooth cut-off η is compactly supported in B_{2R}. Since u is a negative C² solution, on the compact set B_{2R} the continuous function u attains a maximum M_R<0, so −u ≥ −M_R>0 throughout the support. Hence every negative power (−u)^β is bounded and smooth on the support, and all integrals are finite for each fixed R. The constants in the Young/Hölder steps do not depend on M_R or on R, so passing R→∞ is legitimate: the contradiction is obtained for each fixed R before the limit. Thus the reader's integrability concern does not actually land. The proof does contain a clear typo in Case 4: 'Setting α=γ<0' should be 'Setting δ=γ<0' in view of (3.11); with this correction, (3.17) follows because the nonpositive coefficients in (3.11) give upper bounds on the positive integrals. A minor regularity gap also exists: the proof uses third derivatives while the theorem states C², but this is fixable by the standard bootstrap from the ellipticity of σ₂ in Γ₂. Neither issue threatens the central claim.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a Liouville theorem for the 2-Hessian equation σ_2(Hess_X u)=(-u)^α on the Heisenberg group H^n. Theorem 1.1 states that for Q=2n+2>4 and α≤2Q/(Q−4), there is no negative solution u<0 in the horizontal 2-convexity cone Γ_2. The proof multiplies the equation by (-u)^δ η^θ, integrates by parts, and uses commutator identities to obtain integral estimates. Young/Hölder inequalities then yield a contradiction either directly or through an absorption argument; the critical exponent is handled separately with a parameter γ and a bootstrap estimate.","tokens_in":13347,"tokens_out":30808,"duration_ms":279555,"significance":"If correct, this extends to the Heisenberg group the Euclidean nonexistence results of Phuc–Verbitsky and Ou for k-Hessian equations (k=2), and it gives the expected sharp exponent 2Q/(Q−4). The treatment of commutator terms is explicit and the constants are tracked; the proof is detailed enough to be checked line by line. The possible integrability issue with negative powers of (-u) does not land: since u<0 and continuous, -u has a positive minimum on the compact support of η, so all integrals are finite for each fixed R, and the constants do not depend on R. The main gap is regularity (C^3 vs C^2), which is standard to patch.","major_comments":[{"comment":"The proof differentiates u three times (e.g. in the computation of term 1 before (3.3)), while Theorem 1.1 assumes u∈C^2. This is a genuine gap in the proof as written. Please state that the estimates are first established for C^3 solutions and then pass to C^2 solutions by the standard bootstrap/approximation argument, using ellipticity of σ_2 on Γ_2; or otherwise justify the formal integration by parts under the stated regularity.","section":"Section 3, after (3.2)"}],"minor_comments":[{"comment":"'Setting α=γ<0' should read 'Setting δ=γ<0' (α=2Q/(Q−4)>2, so it cannot be γ<0). With this correction, (3.17) follows from (3.11).","section":"Case 4, below (3.16)"},{"comment":"The condition 'α≠−δ≠2' is ambiguous; write 'α≠−δ and δ≠−2'.","section":"Section 3, Cases 1–2"},{"comment":"The step 'therefore ∫_{B_{2R}\\B_R}(−u)^αη^θ→0' needs justification: boundedness of the full integral implies ∫_{B_R}(−u)^α is bounded, hence (−u)^α∈L^1 and the annulus integral tends to zero by monotone convergence.","section":"Case 4, after (3.19)"},{"comment":"Numerous typos and grammatical slips ('to to ∂/∂t', 'choosen', 'we now turn on') should be corrected.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is technically substantial and the result is plausible/important. The main issue is the C^2/C^3 regularity gap, which is patchable. The typo in Case 4 must be fixed. I would not reject. The reliance on Lemmas 2.1–2.2 from [30], coauthored by the first author, is not circular: those are algebraic identities used as tools."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper's main result is genuinely new: a Liouville theorem for the 2-Hessian equation on the Heisenberg group, covering subcritical and critical exponents. The proof is a serious adaptation of Phuc-Verbitsky/Ou integral estimates to a noncommutative setting, and the commutator terms are handled with real skill. The paper deserves a serious referee.\n\nThe reader's main worry—that integrals with negative powers of (−u) are not justified—doesn't survive contact with the text. The test function has compact support in B_{2R}, and u is a strictly negative C² solution, so −u is bounded below by a positive constant on that support. Every negative power is bounded and smooth there. For each fixed R the integrals are finite, and the constants in the estimates do not depend on R or on the bound. So the limiting argument is legitimate.\n\nWhat is actually wrong is smaller. In Case 4, 'Setting α=γ<0' is a typo; it should be δ=γ. With that correction, (3.17) follows from the nonpositive coefficients in (3.11). There is also a regularity gap: the theorem assumes C² solutions, but the integration by parts uses third derivatives of u. That is standard to fix by a bootstrap argument, since σ_2 is elliptic on the cone Γ_2, but the paper should say so. There are a few index typos earlier in the expansion of term 1_3, but they do not affect the final estimates.\n\nThe citation pattern is honest. The two lemmas borrowed from Trudinger-Zhang are published and used as tools, not as the target result. The introduction positions the work correctly against Birindelli et al., Ma-Ou, and Phuc-Verbitsky. I would accept this for peer review. The referee is likely to ask for the bootstrap and the typo fixes, and the critical-case argument in Case 4 needs a careful read, but the core theorem and proof structure are sound.\n\nReading group? Maybe, if you want to see the integral estimate technique in a subelliptic setting. I would cite it.","headline":"First Liouville theorem for the 2-Hessian equation on the Heisenberg group; the proof is largely sound, with only local fixable gaps.","tokens_in":13849,"tokens_out":1931,"would_cite":true,"duration_ms":18552,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B08","35B53","35R03"],"pacs":[],"model":"deepseek-v4-flash","headline":"On Heisenberg groups, the 2-Hessian equation σ2(Hess_X u)=(−u)^α admits no negative 2-convex entire solutions when α ≤ 2Q/(Q−4), with Q>4.","keywords":["Liouville theorem","2-Hessian equation","Heisenberg group","integral estimates","horizontal Hessian","2-convex function","nonexistence","critical exponent"],"falsifier":"For n=2 (so Q=6), search numerically for a negative, 2-convex entire solution of σ2(Hess_X u)=(−u)^6, the critical exponent 2Q/(Q−4); finding one would refute Theorem 1.1. On the proof side, check whether the formal integrals ∫(−u)^{δ−1}|∂u|²η^θ and ∫(−u)^{γ−2}|∂u|⁴η^θ, with δ,γ<0, are finite for any candidate solution; exhibiting a solution that makes one infinite would pinpoint the gap.","tokens_in":12905,"feed_emoji":"📐","tokens_out":6448,"duration_ms":70992,"temperature":0.7,"pith_summary":"This paper attempts to establish a Liouville-type theorem on the Heisenberg group: for homogeneous dimension Q>4, the fully nonlinear 2-Hessian equation σ2(Hess_X u)=(−u)^α has no negative entire solution that is 2-convex, provided the exponent α is at most 2Q/(Q−4). In other words, a smooth negative function whose horizontal 2-Hessian is nonnegative cannot balance the nonlinear source (−u)^α in the subcritical and critical range. The significance is that it transfers a family of nonexistence results known for k-Hessian equations in Euclidean space to the noncommutative Heisenberg setting, where integration by parts produces extra commutator terms. The proof multiplies the equation by a carefully chosen test function, integrates by parts, and uses Young's inequalities to force an integral of the solution to vanish as the cutoff radius grows. A sympathetic reader would take the contribution to be the exponent range, including the critical value.","feed_headline":"2-Hessian equation on Heisenberg group has no negative solutions","feed_subtitle":"For Q>4, σ2(Hess_X u)=(−u)^α forbids negative 2-convex solutions whenever α ≤ 2Q/(Q−4).","key_machinery":"The load-bearing construction is the integral-estimate scheme with the test function (−u)^δ η^θ, where η is a smooth cutoff equal to 1 on B_R and 0 outside B_{2R}. The crucial algebraic input is the set of commutation formulas for the second derivatives of σ2 (Lemmas 2.1 and 2.2), which let the proof move derivatives past each other while integration by parts on the noncommutative Heisenberg group introduces commutator terms. These commutators, through [X_i,X_{n+j}]=−4δ_{ij}T, ultimately produce a favorable −24n∫(Tu)²(−u)^δ η^θ term and boundary terms that are controlled by Young's inequality and the cutoff scale C(Q)/R. The choice δ<0 and sufficiently small epsilons turns all leading bulk t","core_discovery":"The central claim is Theorem 1.1: for Q>4 and α ≤ 2Q/(Q−4), the equation σ2(Hess_X u)=(−u)^α on H^n admits no solution u∈C², u<0, that belongs to the cone Γ2 (σ1 and σ2 of the horizontal Hessian are nonnegative). The proof treats α<2, α=2, 2<α<2Q/(Q−4), and the critical α=2Q/(Q−4) separately. It starts from the identity obtained by integrating 2(−u)^δ η^θ against the equation; after repeated integration by parts and the symbolic rules for derivatives of σ2, the noncommutative commutators contribute terms controlled by ∫(Tu)²(−u)^δ η^θ. Choosing δ<0 and sufficiently small epsilon constants makes the leading terms nonpositive, leaving an estimate of the form ∫(−u)^{α+δ}η^θ ≤ C R^{−4}∫(−u)^{δ+2","pith_inferences":["My inference: the same integral-estimate strategy likely extends to k-Hessian equations on H^n for k≥3, with the critical exponent replaced by Qk/(Q−2k); the paper does not make or prove this claim.","My inference: the theorem leaves open α>2Q/(Q−4); by analogy with Euclidean and sub-Laplacian results, one might expect the critical exponent to be sharp for the corresponding inequality, but that is an extrapolation beyond the paper.","My inference: a natural testable extension is to check whether the nonexistence survives for viscosity 2-convex solutions rather than C² solutions, using the same integral estimates with a weaker convexity notion.","My inference: the finiteness of the negative-power integrals is the step to scrutinize; proving local uniform bounds for (−u) or a decay estimate near zero would make the formal estimates unconditional."],"forward_implications":["If Theorem 1.1 is correct, no negative 2-convex entire solution exists for every α<2Q/(Q−4) and for the critical value itself, leaving no room for nontrivial ground-state profiles in that range.","The result gives the Heisenberg analogue, for k=2, of the Euclidean k-Hessian Liouville theorems, and provides a benchmark for what exponent range should be expected for k≥3 on H^n.","The proof shows that commutator terms arising from noncommutativity can be made to have the correct sign, indicating that the integral-estimate method is viable for other fully nonlinear equations on Carnot-type groups.","The critical exponent 2Q/(Q−4) is explicitly included, so the nonexistence statement does not require a separate moving-plane or symmetry argument at the endpoint."],"supporting_citations":[{"why":"Introduced the integral estimate method for Liouville theorems that the proof adapts to the 2-Hessian setting.","marker":"[12]"},{"why":"Supplies the commutation formulas for derivatives of σ2 (Lemmas 2.1 and 2.2) used throughout the integration by parts.","marker":"[30]"},{"why":"Introduced the k-Hessian operator and the cone Γ_k that define the equation and the solution class.","marker":"[2]"},{"why":"Established Euclidean nonexistence for k-Hessian equations that this result extends to the Heisenberg group.","marker":"[23]"},{"why":"Showed how integral estimates prove the Euclidean k-Hessian Liouville theorem, serving as the template for the present proof.","marker":"[19]"},{"why":"Developed the integration-by-parts identity for semilinear equations on H^n that motivates the Heisenberg treatment.","marker":"[17]"},{"why":"Proved the analogous Liouville theorem for the sub-Laplacian equation on H^n, giving the exponent-range pattern.","marker":"[1]"}],"fun_headline_variants":["No negative solutions for 2-Hessian equation on Heisenberg group","Liouville theorem kills negative 2-Hessian solutions on Heisenberg","2-Hessian on Heisenberg: no negative solutions for Q>4","When Q>4, 2-Hessian has no negative solutions on Heisenberg","Liouville theorem: no negative solutions for 2-Hessian on Heisenberg"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The proof applies integration by parts to expressions containing negative powers of (−u), such as (−u)^{δ−1} and (−u)^{γ−2} with negative exponents, but it does not show these integrals are finite for an actual solution; if a solution approached zero anywhere, the estimates could fail.","fun_headline_variants_meta":{"raw":{"variants":["No negative solutions for 2-Hessian equation on Heisenberg group","Liouville theorem kills negative 2-Hessian solutions on Heisenberg","2-Hessian on Heisenberg: no negative solutions for Q>4","When Q>4, 2-Hessian has no negative solutions on Heisenberg","Liouville theorem: no negative solutions for 2-Hessian on Heisenberg"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000701,"raw_usage":{"total_tokens":2953,"prompt_tokens":646,"completion_tokens":2307,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":390,"completion_tokens_details":{"reasoning_tokens":2205}},"tokens_in":390,"tokens_out":2307,"duration_ms":18811,"temperature":1.0,"reasoning_tokens":2205,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T20:42:37.178575+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For n=2 (so Q=6), search numerically for a negative, 2-convex entire solution of σ2(Hess_X u)=(−u)^6, the critical exponent 2Q/(Q−4); finding one would refute Theorem 1.1. On the proof side, check whether the formal integrals ∫(−u)^{δ−1}|∂u|²η^θ and ∫(−u)^{γ−2}|∂u|⁴η^θ, with δ,γ<0, are finite for any candidate solution; exhibiting a solution that makes one infinite would pinpoint the gap.","supporting_citations":[],"review_version":1}