{"id":"aea2b479-3ce9-463c-8405-d4c7a7977845","arxiv_id":"2607.20055","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every finite-perimeter isoperimetric region in complex hyperbolic space CH^m (m≥2) is, up to isometry and null sets, a geodesic ball.","lead":"The paper claims to prove a long-standing conjecture: in complex hyperbolic space of any dimension m≥2, the sets of given volume with smallest perimeter are exactly geodesic balls. If correct, it upgrades several sharp inequalities in Bergman analysis from conditional to unconditional.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The trace identity (3.9) rests on an inconsistent inversion of the deformation matrix: solving (2.10) gives a K(t) different from (3.5), so the central sign identity is not established as written.","rationale":"The paper claims a proof of a major conjecture; the proof strategy is coherent and the polynomial positivity, median construction, BV radiality, and endpoint comparison are well structured. However, the decisive algebraic step is the pointwise trace identity (3.9). On inspection, the differential matrix used to derive the surface Jacobian and the inversion used to obtain K(t) are mutually inconsistent: the matrix (2.10) is upper triangular, but the displayed solution for w_H and w_T in Section 3.1 is not the solution of L^T w = ν for that matrix. A direct algebraic check shows the resulting K(t) differs from (3.5) in the coefficients of h² and q² at order t². Since every later conclusion—radial normal on the reduced boundary, stable-CMC rigidity, and the isoperimetric classification—depends on the identity (3.9), this is a load-bearing concern. The reader flagged the trace identity as the weakest point but stopped at 'not machine-checked'; the concern here is sharper, namely an apparent internal contradiction in its derivation. The independent appendix does not clearly resolve it because its covector normalization also appears inconsistent with the metric calculation. This does not prove the theorem false; it means the central computation must be repaired or independently verified before the proof can be accepted. The appropriate verdict remains conditional rather than accept or reject.","tokens_in":35462,"tokens_out":61808,"duration_ms":625747,"concrete_test":"Symbolically invert the matrix (2.10) (e.g., with SymPy) for general n, compute K(t) = u²|L^{-T}ν|², expand through t², and compare coefficient-by-coefficient with (3.5) for random values of (n, x, β, γ) and φ = φ_j. Also run the Appendix A computation with both q/√a and q√a to see which normalization reproduces (3.10). If the inconsistent inversion nevertheless yields the same truncated K(t), the concern is refuted; if not, recompute (3.8)–(3.10) with the correct expansion to determine whether the negative polynomial identity survives.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central computation has an internal inconsistency. Proposition 2.7 displays the differential matrix (2.10) with off-diagonal entries u t√a_t h and u t√{a a_t}q. Inverting L^T w = ν from that matrix gives w_H = u^{-1}(v - α t a_t h/√a) and w_T = u^{-1}√(a/a_t)(τ - α t a q), so K(t) = u²|w|² takes the form α² a_t/a + |v - α t a_t h/√a|² + (a/a_t)(τ - α t a q)². This is not the K(t) stated in (3.5), where the horizontal term is v - α t h/√a and the Reeb term is (τ a - α t q)²/(a a_t). The displayed solution in the paper, w_H = u^{-1}(v - α t√a h), matches neither the matrix (2.10) nor the printed K(t). Because the trace identity (3.9) is obtained by expanding this K(t) and subtracting nJ'(0,1), an error here propagates to the final radial-normal conclusion in Proposition 6.5 and Theorem 1.1. The Appendix A 'independent' derivation uses a differently scaled covector ξ (q√a, rather than the q/√a that is consistent with the polar metric) and therefore does not currently repair the contradiction. This is not a question of consensus or external input; it is an internal correctness risk in the proof's decisive step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to prove the Gromov–Ros conjecture for complex hyperbolic space CH^m, m≥2, in the finite-perimeter BV setting: every isoperimetric region of positive finite volume is, up to null sets and ambient isometries, a geodesic ball, and equality in the isoperimetric inequality holds only for geodesic balls. The proof is organized around a pointwise trace identity obtained by summing second derivatives of the perimeter of exact-volume radial-angular polar stretches over the coordinate functions of the direction sphere. The resulting polynomial R_{n,x}(β,γ) is explicitly shown to be nonnegative and to vanish only for radial normals. The same trace identity is then used to prove smooth rigidity of stable constant-mean-curvature hypersurfaces. The geometric theorem is applied to remove previously conditional hypotheses in convex Bergman contraction, Faber–Krahn, and Lieb–Wehrl inequalities on the unit ball, with a Gaussian–Fock scaling limit.","tokens_in":35834,"tokens_out":29281,"duration_ms":236651,"significance":"If the proof is correct, this settles a long-standing conjecture and provides a clean explanation of the anisotropic phenomenon: the volume density becomes Euclidean in the radius ρ, while the trace of the second variations detects nonradiality through an explicit positive polynomial. The paper has notable strengths: the exact-volume log-partition family is elegant, the nonnegativity proof is elementary, and Remark 3.9 gives an exact polynomial certificate in Z[n,x,β,γ]. The direct reduced-boundary argument avoids a priori regularity of isoperimetric boundaries, which is a genuine advance. The analytic consequences are conditional only on the geometric theorem and are correctly identified as such. However, as written, the central computation contains displayed scaling inconsistencies that prevent a reader from verifying the decisive identity from the printed equations; these must be corrected before the proof can be accepted.","major_comments":[{"comment":"The displayed differential matrix (2.10) and the inversion in §3.1 are mutually inconsistent, and neither matches the actual derivative of F_{t,φ}(ρ,θ)=(e^{tφ}ρ,θ). The correct off-diagonal entries in the orthonormal polar frames are u t a_t^{-1/2} h (horizontal) and u t (a a_t)^{-1/2} q (Reeb), not u t a_t^{1/2} h and u t (a a_t)^{1/2} q as printed. Solving L^T w=ν from (2.10) gives w_H = u^{-1}(v - α t a_t h/√a) and a Reeb component involving (τ - α t a_t q), which is not the K(t) stated in (3.5). Equation (3.5) itself uses yet another scaling. Since (3.9) is derived by expanding this K(t), the decisive step is not reproducible as printed. A corrected pullback-metric computation with ξ=ρdφ does reproduce the stated R_{n,x}, so the identity appears true, but the manuscript must be repaired at this load-bearing point.","section":"§2.7, Eq. (2.10) and §3.1, Eqs. (3.4)–(3.5)"},{"comment":"The appendix claims an independent verification of the trace identity, but the covector used is not the pullback of the deformation. With ϑ_T=ρ√a η, one has ρ dφ = ∑ h_i ϑ_i + (q/√a) ϑ_T, not q√a ϑ_T. Correspondingly, the coefficient of ϑ_0⊙ξ in (A.2) should be 2/√a, not 2√a. As printed, the appendix does not verify (3.9). If these two scaling errors are corrected, the computation does recover R_{n,x}; the appendix is therefore fixable, but it currently does not serve its stated purpose.","section":"Appendix A, Eqs. (A.1)–(A.3)"},{"comment":"The statement 'complete and homogeneous, hence cocompact' is not a valid inference: homogeneity of the isometry group does not by itself make a noncompact manifold cocompact. Complex hyperbolic space does admit compact quotients by cocompact lattices, so the appeal to Ritoré [20, Thm 4.25] can be justified, but the sentence should cite the existence of a cocompact lattice or quote Ritoré's hypotheses accurately. This matters because the all-volume existence of isoperimetric regions is imported from that theorem.","section":"§6.5, proof of Theorem 6.9"}],"minor_comments":[{"comment":"The notation w_N, w_H, w_T is used ambiguously: after solving L^T w=ν, w is a covector in the target frame, while ν is a source vector. A brief clarification would help.","section":"§3.1"},{"comment":"In the display before Eq. (3.8), the notation ‘E’ is used both as the set E and as the coefficient α²/a. This is typographically confusing; rename one of them.","section":"§3.4"},{"comment":"The phrase 'direct expansion' at the end of the proof is trusted, but given the scaling errors elsewhere, it would be useful to include the coefficient-by-coefficient computation promised in Remark 3.9, perhaps as an ancillary file or a longer appendix.","section":"Theorem 3.4"},{"comment":"The proof of Theorem 6.9 says equality in (6.19) implies E is itself an isoperimetric region and then cites Ritoré's Lemma 4.27 for a bounded representative. Please state the precise boundedness hypothesis of that lemma, since the region E is only assumed to have finite perimeter and positive finite volume.","section":"§6.5"}],"recommendation":"major_revision","confidential_remarks":"I verified by an independent corrected pullback computation that the central trace identity (3.9) is in fact correct: with ξ=ρdφ = ∑h_iϑ_i + (q/√a)ϑ_T and the corresponding coefficient 2/√a, the final polynomial R_{n,x} is recovered exactly. This strongly suggests the errors are typos in scaling factors rather than a genuine flaw in the mathematics. However, because the paper's decisive step is presented through mutually inconsistent displayed formulas and the appendix claims an independence it does not currently provide, these are load-bearing issues that require careful revision before publication. The statement about cocompactness is also sloppy and should be corrected."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. The main theorem—unrestricted finite-perimeter isoperimetric classification in CH^m for all m≥2—would be a major advance, and the paper has real ideas: the volume geometric median, exact-volume log-partition stretches, BV radiality, and the one-dimensional endpoint comparison are all coherent and clearly presented. The positivity of the trace polynomial is proved with exact algebra, though not machine-checked. If the central identity were correct, the conclusion would follow.\n\nBut the central identity (3.9) is not established as written. The stress-test is right. Inverting the differential matrix (2.10) gives w_H = u^{-1}(v − α t a_t h/√a) and w_T = u^{-1}√(a/a_t)(τ − α t a q). That is not the K(t) printed in (3.5). The paper's displayed solution matches neither the matrix nor its own K. Appendix A's 'independent' derivation uses a Reeb covector scaled by q√a instead of the q/√a that comes out of the polar metric, so it doesn't repair the problem. This is load-bearing: the trace identity feeds directly into Proposition 6.5 and Theorem 1.1. Polynomial positivity becomes irrelevant if the polynomial in question isn't the one the geometry produces.\n\nThere is a second, smaller issue: the paper calls CH^m 'cocomplete' because it is complete and homogeneous. Homogeneous does not imply cocompact for a noncompact space; the isometry group action has no compact quotient. The existence of isoperimetric regions for every volume may still be true in CH^m via other routes, but the cited Ritoré theorem as invoked doesn't apply as stated.\n\nCredit where earned: the overall strategy is novel and not in the literature—Silini covers only Hopf-symmetric or near-sphere cases, and the log-partition exact-volume deformations are new. The BV radiality step is clean. The analytic consequences are honestly labeled as conditional on the geometric theorem and would be significant if that theorem held.\n\nBottom line: this is not a sound proof as written, but it is a serious paper by someone who knows the geometry, and the failure is concentrated in one computation. I would send it to a referee who can check the trace identity by hand or with a CAS, rather than desk-reject. If the identity can be corrected—or if a different polynomial still has the right positivity—the paper could be very important. For now, I wouldn't cite it as a proof.","headline":"Serious strategy and a major claim, but the load-bearing trace identity is inconsistent with the displayed matrix; the paper is not sound as written.","tokens_in":729,"tokens_out":703,"would_cite":false,"duration_ms":235572,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","49Q10","53C40","58E12"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that in every complex dimension m≥2, the finite-perimeter isoperimetric regions of complex hyperbolic space are exactly the geodesic balls, up to isometry and null sets.","keywords":["Gromov–Ros conjecture","complex hyperbolic space","isoperimetric inequality","geodesic balls","finite perimeter","trace identity","stable CMC hypersurface","Bergman inequality"],"falsifier":"Re-run the algebraic expansion of Theorem 3.4 at a specific numerical point, e.g. n=4, x=1, β=γ=1/4, comparing the left-hand side of (3.9) computed from the explicit formulas (3.6)–(3.8) with -−R_{4,1}(1/4,1/4)/4; any mismatch refutes the identity and hence the proof. Alternatively, machine-certify the polynomial identity a^2 S + R_{n,x}=0 over the integers in n,x,β,γ using an integer-arithmetic checker.","tokens_in":35361,"feed_emoji":"🏀","tokens_out":4318,"duration_ms":38113,"temperature":0.7,"pith_summary":"This paper claims to settle the Gromov–Ros conjecture in complex hyperbolic space: in every dimension m≥2, the only volume-minimizing regions of prescribed volume are geodesic balls, up to isometry and null sets. The proof works directly on the reduced boundary of finite-perimeter sets, so it does not rely on boundary regularity. The engine is a pointwise trace identity: a family of exact-volume radial–angular stretches has perimeter derivatives that sum to the negative of an explicit nonnegative polynomial in the normal's horizontal and Reeb components. Since the polynomial vanishes only for radial normals, global minimality forces the boundary normal to point at the chosen pole; invariance then leaves one centered ball. A companion argument shows every smooth stable fixed-volume critical domain is also a geodesic ball, and this makes several previously conditional sharp inequalities on the unit ball unconditional.","feed_headline":"Only geodesic balls minimize perimeter in complex hyperbolic space","feed_subtitle":"A trace identity forces every volume-minimizing boundary to be radial, unlocking sharp Bergman and entropy inequalities.","key_machinery":"The load-bearing object is the pointwise trace identity (3.9): for the radial–angular deformations F_{t,φ_j}(ρ,θ)=(e^{tφ_j(θ)}ρ,θ), the sum of the second perimeter derivatives minus n times the radial first derivative equals -−R_{n,x}(β,γ)/(1+x)^2, where x=sinh^2 r and β,γ are the squared horizontal and Reeb components of the measure-theoretic normal. R_{n,x} is an explicit quadratic polynomial that is nonnegative for all n≥4, x≥0 and vanishes exactly when β=γ=0, i.e. when the normal is radial. The identity converts the geometric problem into an algebraic positivity statement on the direction sphere.","core_discovery":"The central claim is that in CH^m with holomorphic sectional curvature -4 (real dimension n=2m≥4), if a finite-perimeter set E and a geodesic ball B have the same positive finite volume, then Per(E)≥Per(B), with equality only when E is a geodesic ball up to ambient isometry and a null set. The argument uses a volume geometric median and exact-volume log-partition polar stretches F_ψ(ρ,θ)=(e^{ψ(θ)}ρ,θ), which are globally bi-Lipschitz and have Jacobian e^{nψ}. The reduced-boundary area formula expresses the perimeter of the stretched set through the ambient cofactor, and summing second derivatives over the coordinate functions of the direction sphere yields the identity -−R_{n,x}(β,γ)/(1+x)^2","pith_inferences":["The trace identity is essentially a Hessian-trace positivity statement, so a natural extension would be to seek analogous spherical coordinate trace polynomials for quaternionic and Cayley hyperbolic spaces; the polynomial structure there is likely different.","The log-partition exact-volume correction and its Gaussian covariance interpretation suggest a probabilistic route to isoperimetric inequalities in which the equilibrium measure is characterized by covariance nonnegativity.","If the trace identity were ever found to contain a sign or coefficient error, the radiality step would break immediately, but the explicit algebraic certificate offered in the paper makes this local and checkable rather than opaque.","The analytic consequences (Bergman contraction, Faber–Krahn, Lieb–Wehrl) now rest on a single geometric input; any future counterexample to the geometric theorem would automatically propagate to those inequalities."],"forward_implications":["If the theorem is correct, the isoperimetric profile of CH^m is explicit: I_n(V)=ω_{n-1}(nV/ω_{n-1})^{(n-1)/n}√(1+(nV/ω_{n-1})^{2/n}), achieved only by geodesic balls.","Every prescribed positive volume admits a bounded finite-perimeter minimizer, and the classification applies without any smoothness or regularity assumptions on the boundary.","Smooth stable constant-mean-curvature domains are geodesic balls, so no non-spherical stable CMC hypersurfaces exist in complex hyperbolic space for m≥2.","The sharp convex Bergman contraction inequality, the associated norm embeddings, and the Faber–Krahn concentration inequality become unconditional on the unit ball in every dimension m≥2.","The SU(m,1) Lieb–Wehrl entropy inequality follows with its full equality cases; in the high-weight flat limit it recovers holomorphic Gaussian hypercontractivity."],"fun_headline_variants":["Complex hyperbolic isoperimetry: balls are the only minimizers","Geodesic balls are the unique minimizers in complex hyperbolic space","Unique minimizers in complex hyperbolic space: geodesic balls","Polar stretch proof: balls are the sole minimizers in complex hyperbolic space","Only geodesic balls solve the isoperimetric problem in CH^m"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof rests on the pointwise trace identity (3.9), which is verified by direct expansion rather than a fully certified computation; a sign or coefficient error in that identity would break the step forcing the boundary normal to be radial.","fun_headline_variants_meta":{"raw":{"variants":["Complex hyperbolic isoperimetry: balls are the only minimizers","Geodesic balls are the unique minimizers in complex hyperbolic space","Unique minimizers in complex hyperbolic space: geodesic balls","Polar stretch proof: balls are the sole minimizers in complex hyperbolic space","Only geodesic balls solve the isoperimetric problem in CH^m"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002037,"raw_usage":{"total_tokens":7821,"prompt_tokens":844,"completion_tokens":6977,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":588,"completion_tokens_details":{"reasoning_tokens":6886}},"tokens_in":588,"tokens_out":6977,"duration_ms":47313,"temperature":1.0,"reasoning_tokens":6886,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T10:57:51.923566+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Re-run the algebraic expansion of Theorem 3.4 at a specific numerical point, e.g. n=4, x=1, β=γ=1/4, comparing the left-hand side of (3.9) computed from the explicit formulas (3.6)–(3.8) with -−R_{4,1}(1/4,1/4)/4; any mismatch refutes the identity and hence the proof. Alternatively, machine-certify the polynomial identity a^2 S + R_{n,x}=0 over the integers in n,x,β,γ using an integer-arithmetic checker.","supporting_citations":[],"review_version":1}