{"id":"38178d0a-4745-46be-ae43-27e309739cfe","arxiv_id":"2507.03901","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"The paper gives explicit, radius-independent upper bounds for the coefficients of the discrete Laplacian on hyperbolic circle patterns for all weights in [0, π) satisfying a structural condition.","lead":"A math paper proves new uniform upper bounds for the discrete Laplace operator on hyperbolic circle patterns with obtuse intersection angles. The bounds do not depend on the circle radii, and they yield new proofs of known long-time existence results for combinatorial Calabi flows.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 4's near-origin boundedness argument is incomplete: pathwise bounds along straight rays do not imply the claimed neighborhood bound for the non-homogeneous ratio s, so the uniform upper estimate in Theorem 1.2 is not established as written.","rationale":"The reader's main concern is substantially correct: the proof of uniform boundedness near the origin in Section 4 is incomplete, and the step from straight-line path bounds to neighborhood bounds is not justified. This is load-bearing because Theorem 1.2 and the long-time-existence applications in Section 5 depend on the boundedness of T1 and T2. However, the reader also cites an algebraic error in equation (4.9); that specific objection appears to be mistaken. Using (Ci e^{ri})(Cj e^{rj}) = (x+1)(y+1) and (Si e^{ri})(Sj e^{rj}) = xy, the displayed identity (4.9) is correct: (Ci Cj + φij Si Sj)^2 e^{2ri+2rj} is indeed ((x+1)(y+1)+φij xy)^2, and expansion gives the stated polynomial. Thus the reader's agreement should be only partial. The strict positivity of Bij is also overstated in the theorem statement; the proof establishes nonnegativity, and explicit equal-weight configurations can make individual derivatives vanish. This does not affect the upper-bound applications, but the theorem should be restated with Bij ≥ 0 unless an additional argument excludes those configurations. Overall, the central claim may be true and repairable, but as written the proof of the key upper estimate has a genuine gap, so a conditional verdict remains appropriate.","tokens_in":32960,"tokens_out":15427,"duration_ms":172835,"concrete_test":"Choose weights with Φij=π/3, Φik=π/3, Φjk=0 (so a3=0, a2≠0). Numerically maximize s(xhat,yhat,zhat) over a fine grid on the closed positive quarter-sphere xhat,yhat,zhat ≥ 0, xhat^2+yhat^2+zhat^2=1, including neighborhoods of (0,0,1), (1,0,0), and (0,1,0). Also compute lim_{x→0} T1(x, x^α, 1) for several α in (0,∞), e.g. α=1/2,1,2. If the grid maximum is finite and the directional limits are uniformly bounded in α, the path-gap is repairable; if any of these is unbounded, the claimed uniform bound (4.22) fails for these weights.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central proof of Theorem 1.2 reduces the problem to showing that T1 and T2 in (4.14) are bounded on (0,∞)^3. The critical step is Case 1 of Section 4, where all three variables approach 0. After rescaling by r = sqrt(x^2+y^2+z^2), the relevant quantity is reduced, up to a controllable error, to s = f4/(g1,2 sqrt(g2,4)) in (4.21). For the subcase a3=0, a2≠0, the denominator vanishes on several boundary points of the closed quarter-sphere, including (0,0,1), (1,0,0), and also (0,1,0), which the proof does not list. The proof bounds s only along the specific straight-line paths yhat = k xhat to (0,0,1), noting the limits as k→0 and k→+∞. It then asserts that this implies boundedness in a full neighborhood of (0,0,1) and hence along any path. This implication is invalid: s is not homogeneous, and a fixed-k bound does not give a uniform bound over all k or over nonlinear paths on which the ratio xhat/yhat varies arbitrarily. No compactness or dominated-convergence argument is supplied to control those variations. Since (4.22), and therefore the final constants M1 and M2, rely on this step, the uniform upper bound for Ai and Bij is unsupported as proven. A secondary but real issue: Theorem 1.2 states 0 < Bij, while the proof only supports Bij ≥ 0; for Φij=0 and adjacent triangle weights Φik=Φjk=π/2, the numerator of (3.2) is identically zero, so Bij can be 0.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the discrete Laplace operator associated with hyperbolic circle patterns on closed triangulated surfaces with edge weights Φ∈[0,π) satisfying Zhou's condition (⋆). The authors give explicit bounds for the quantities Ai and Bij: Theorem 1.1 assumes a uniform lower radius ri≥R, and Theorem 1.2 claims uniform upper bounds independent of R, together with strict positivity of Ai and Bij. The proofs rewrite the relevant angle derivatives in exponential variables x,y,z, partition (0,∞)^3 into Ω1∪Ω2, and perform a case analysis near the boundary. Section 5 then uses these estimates to prove long-time existence of combinatorial Calabi and p-th Calabi flows. The appendix supplies an analytic verification of the Glickenstein-Thomas identity used in Section 2.","tokens_in":33339,"tokens_out":13200,"duration_ms":154705,"significance":"If the estimates were correct, they would be a valuable contribution: they extend Ge-Xu's uniform control for Φ≡0 to all weights satisfying (⋆), provide explicit constants depending only on the weight and the combinatorics, and give a new proof of long-time existence for combinatorial Calabi and p-th Calabi flows. The paper also contains useful explicit computations, including an analytic proof of the Glickenstein-Thomas relation. However, the main new theorem is not established as written: there is a concrete algebraic error in the polynomial g1, the localization argument near the origin in Case 1 is logically invalid, and the claimed strict positivity of Bij is false as stated. These issues are load-bearing but appear repairable, so the appropriate decision is major revision rather than rejection.","major_comments":[{"comment":"Equation (4.9) contains a false algebraic identity. Direct expansion gives ((x+1)(y+1)+φijxy)^2 - (2x+1)(2y+1) = (1+φij)^2 x^2y^2 + 2(1+φij)(x^2y+xy^2) + x^2 + y^2 + 2φijxy, not (3+4φij+φij^2)x^2y^2 + ... . The incorrect coefficient propagates to (4.18), (4.30), (4.36) and (4.49), and it enters the definitions of T1 and T2 in (4.12)-(4.14). Because g1 is a denominator factor in all of Section 4, every estimate built on this expansion must be rechecked. The corrected polynomial is still positive, so the error may be fixable, but as written the central computation of Section 4 is wrong.","section":"§4, Eq. (4.9)"},{"comment":"The proof that s(hat x, hat y, hat z) is bounded near (0,0,1) and (1,0,0) is invalid. The argument fixes k and studies the straight path hat y = k hat x; a bound along each such ray does not imply a uniform bound in a full neighborhood, because s is not controlled along nonlinear paths or as the ratio hat x/hat y varies. The assertion that 'along any path' the bound holds, and the passage to a ball B((0,0,1),δ0), require a compactness or dominated-convergence argument that is not supplied. In addition, in the subcase a3=0, a2≠0, the denominator of s also vanishes at (0,1,0), which is not treated; the text near (1,0,0) also refers to B((0,0,1),δ1), apparently a typo for B((1,0,0),δ1). Since (4.22) is the basis for the final constants M1 and M2, the uniform upper bound in Theorem 1.2 is not established as written.","section":"§4, Case 1, between (4.20) and (4.22)"},{"comment":"The strict positivity 0 < Bij is not supported by the proof and is in fact false in general. The proof only establishes Bij ≥ 0. A concrete example satisfying (⋆) is Φij = 0 and Φik = Φjk = Φil = Φjl = π/2 for the two triangles sharing edge ij; then the numerator in (3.2)/(4.2) is identically zero for both faces, so Bij = 0. This contradicts the statements of Theorem 1.2 and Theorem 4.1. The applications in Section 5 use only Bij ≥ 0, so the statements could be repaired by replacing '0 < Bij' with '0 ≤ Bij' (or by adding hypotheses), but the theorem as advertised is false.","section":"§4, Theorem 4.1 and Theorem 1.2"}],"minor_comments":[{"comment":"The bullet 'z → 0, x → x̄ ≥ δ̄, z → ȳ ≥ δ̄' appears to contain a typo; the last condition should be y → ȳ ≥ δ̄.","section":"§4, Case 3, third bullet"},{"comment":"Theorem 1.2 in the introduction says the constants depend only on Φ and the triangulation, while Theorem 4.1 says 'depending only on Φ'; the final constants in the proof use the maximal degree d, so the wording should be made consistent.","section":"Theorem 1.2 vs. Theorem 4.1"},{"comment":"In the first displayed notation line, Cij = cosh lij and Sij = cosh lij are both defined with the same symbol for the hyperbolic sine; Sij should be sinh lij.","section":"Appendix, §6.1"}],"recommendation":"major_revision","confidential_remarks":"I agree with the conditional verdict in the reader's report: the pathwise-to-neighborhood step in §4 is genuinely invalid, and the algebraic error in (4.9) is real. The false strict positivity of Bij is an additional statement-level problem. None of these issues looks irreparable within the manuscript's scope, since the applications rely only on nonnegativity of Bij and the corrected polynomial g1 remains positive, but the current version is not acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou should know two things about this paper. The main new result, Theorem 1.2, is a uniform upper bound for the discrete Laplacian in hyperbolic circle patterns that depends only on the weight and triangulation, not on the circle radii. That is a real extension of Ge-Xu's zero-weight bound. The second thing is that the proof has a genuine gap, and there is also an algebraic error. I would not trust Theorem 1.2 as written.\n\nWhat is solid: the paper honestly credits Xu-Wu for Theorem 1.1, and the new proof of it is explicit and direct. The application to long-time existence of combinatorial Calabi flows is standard once the estimates are in hand. The polynomial rescaling in Section 4 is a reasonable tactic, and the case breakdown is thorough in spirit.\n\nThe first problem is in equation (4.9). The expansion of ((x+1)(y+1)+φxy)^2 - (2x+1)(2y+1) gives (1+φ)^2 x^2y^2, not (3+4φ+φ^2)x^2y^2. This polynomial is used throughout Section 4. The fix is easy, and because the true coefficient is smaller than the one printed, the bounds would only become easier, but the printed algebra is wrong.\n\nThe bigger problem is in Case 1 of Section 4. The authors need to show that the rational function s on the unit quarter-sphere is bounded near (0,0,1). They check limits along rays ŷ = kx̂ for fixed k, note the limits as k→0 and k→∞, and then assert a uniform bound in a full neighborhood. That implication is false for a non-homogeneous rational function: the ratio x̂/ŷ can vary arbitrarily along nonlinear paths, and no compactness or homogeneity argument is supplied. The subcase analysis also misses the boundary point (0,1,0) when a1=0, where the denominator also vanishes. Since the final constants rest on this step, Theorem 1.2 is unsupported as written.\n\nMinor point: Theorem 1.2 states 0 < B_ij, but the proof only yields B_ij ≥ 0, and equality can occur (e.g., Φij=0 with Φik=Φjk=π/2).\n\nThe citation pattern is fine; the paper is candid about sources. This is a paper for people working on combinatorial curvature flows. It deserves peer review, but the referee should demand a rigorous boundary argument and the algebra fix before acceptance.\n\nMy verdict: accept for review, but only as conditional.","headline":"The paper's removal of the radius lower bound for the discrete Laplacian estimate is a real result, but the proof of the boundary boundedness is not rigorous as written.","tokens_in":33920,"tokens_out":9123,"would_cite":false,"duration_ms":86753,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52C26","53C44"],"pacs":[],"model":"deepseek-v4-flash","headline":"For hyperbolic circle packings, the discrete Laplace operator's coefficients are bounded above by constants that depend only on the intersection-angle weights, not on the circle radii.","keywords":["combinatorial p-th Calabi flows","discrete Laplace operator","long time existence","hyperbolic circle patterns","obtuse intersection angles","circle packing metrics","uniform estimates","discrete curvature"],"falsifier":"Compute $T_1(x,y,z)$ from equation (4.12) along a sequence with $x = y^2$, $z$ fixed, and weights satisfying $(\\star)$, letting $x \\to 0$; if the values are unbounded, the claimed neighborhood boundedness fails. Alternatively, numerically construct a circle packing triangle with one radius tending to zero and a fixed weight $\\Phi$, and check whether $A_i$ exceeds every constant depending only on $\\Phi$.","tokens_in":32716,"feed_emoji":"📐","tokens_out":8251,"duration_ms":86925,"temperature":0.7,"pith_summary":"Geometric flows on circle-packing surfaces need control of a discrete Laplace operator whose coefficients $A_i$ and $B_{ij}$ depend on the hyperbolic circle radii. This paper proves two explicit estimates for those coefficients: a lower-radius version and, more strongly, a radius-free version. The main theorem states that when the edge weights $\\Phi$ lie in $[0,\\pi)$ and satisfy the obtuse-angle condition $(\\star)$, the inequalities $0 < A_i \\le C_1(\\Phi)$ and $0 \\le B_{ij} \\le C_2(\\Phi)$ hold for every circle packing metric. The interest is that the upper constants do not depend on the radii at all, so compactness along combinatorial Calabi flows in hyperbolic geometry can be obtained without an a priori lower bound on circle sizes. As applications, the paper gives new proofs of long-time existence for the combinatorial Calabi flow and the combinatorial $p$-th Calabi flow.","feed_headline":"Laplace coefficients bounded by angles, not radii","feed_subtitle":"Radius-free estimate yields long-time existence of combinatorial Calabi flows from any packing.","key_machinery":"The load-bearing identity is the duality relation of Lemma 2.1, expressed in hyperbolic triangle geometry: $\\partial \\theta_i^{jk}/\\partial u_i = -\\cosh \\ell_{ij}\\,\\partial \\theta_i^{jk}/\\partial u_j - \\cosh \\ell_{ik}\\,\\partial \\theta_i^{jk}/\\partial u_k$, together with its corollary $A_i = \\sum_{v_j \\sim v_i} B_{ij}(\\cosh \\ell_{ij} - 1)$, which writes diagonal coefficients as sums of off-diagonal ones. The explicit estimates then come from a rational-function reduction: after substituting radius variables $x, y, z$, the quantities $T_1$ and $T_2$ take the form $f/(g_1\\sqrt{g_2})$ with explicit polynomials $f, g_1, g_2$ whose nonnegative coefficients are controlled by condition $(\\star)$. The uniform bound follows by analyzing each boundary regime of the positive octant.","core_discovery":"The paper's central claim is Theorem 1.2: on a closed triangulated surface with weight function $\\Phi: E \\to [0,\\pi)$ satisfying $(\\star)$, every circle packing metric $r$ gives coefficients $A_i > 0$ and $B_{ij} \\ge 0$ with uniform upper bounds $A_i \\le C_1(\\Phi)$ and $B_{ij} \\le C_2(\\Phi)$ depending only on $\\Phi$ and the triangulation. The proof rewrites the angle derivatives $T_1 = \\partial \\theta_i^{jk}/\\partial u_j$ and $T_2 = T_1(\\cosh \\ell_{ij} - 1)$, after the change $x = (e^{2r_i}-1)/2$, as rational functions on $(0,\\infty)^3$ and establishes their uniform boundedness by splitting the domain into regions where zero, one, two, or three of the variables are small. This extends the known zero-weight estimate to all admissible obtuse weights and removes the lower-radius assumption from earlier compactness arguments.","pith_inferences":["The same rational-function reduction could be adapted to Euclidean or inversive-distance circle patterns, where the Laplacian coefficients satisfy analogous identities, potentially yielding radius-free bounds there as well.","For triangulations with bounded degree, the constants $C_1(\\Phi)$ and $C_2(\\Phi)$ become uniform across entire families of surfaces, which may be useful in numerical circle-packing applications.","A more robust proof of the boundary boundedness of $T_1$ and $T_2$, for instance by a compactness argument on the sphere of directions, would strengthen confidence in Theorem 1.2 without changing its statement."],"forward_implications":["The discrete Laplace coefficients stay bounded even as some circle radii go to zero, so flow compactness does not require an artificial positive lower radius bound.","The combinatorial Calabi flow and the combinatorial $p$-th Calabi flow exist for all time in hyperbolic background geometry from any initial circle packing metric.","The special case $\\Phi \\equiv 0$ is recovered, so the radius-free estimate subsumes the earlier zero-weight estimate.","The bounds are expressed by explicit constants involving the weight function and the maximal vertex degree, making the compactness quantitative."],"supporting_citations":[{"why":"Supplies the duality relation (Lemma 2.1) and its analytic verification, which the paper's estimates build upon.","marker":"[19]"},{"why":"Gives the zero-weight estimate that Theorem 1.2 generalizes, along with the flow long-time existence being reproved.","marker":"[18]"},{"why":"First proved the lower-radius version (Theorem 1.1) and uses it for fractional combinatorial Calabi flows.","marker":"[31]"},{"why":"Establishes that hyperbolic triangles with obtuse exterior intersection angles are valid under condition (⋆).","marker":"[33]"},{"why":"Provides the angle-decay lemma used to bound radii from above in the long-time existence proof.","marker":"[32]"},{"why":"Introduced the combinatorial $p$-th Calabi flow whose long-time existence the paper reproves.","marker":"[24]"},{"why":"Supplies the symmetry of the curvature Jacobian and the form of the discrete Laplacian in circle packing metrics.","marker":"[8]"}],"fun_headline_variants":["Radius-free bounds for discrete Laplace in hyperbolic patterns","Explicit Laplace bounds free of radius assumptions","Uniform Laplace bounds from angle data alone","New proofs of long-time existence for combinatorial Calabi flows","Combinatorial Calabi flows from radius-free Laplace estimates"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"One load-bearing premise is that the rational functions encoding the Laplacian coefficients are bounded on the whole positive octant; the proof establishes this by checking limits along straight-line paths and then concludes the bound holds in a full neighborhood of the boundary.","fun_headline_variants_meta":{"raw":{"variants":["Radius-free bounds for discrete Laplace in hyperbolic patterns","Explicit Laplace bounds free of radius assumptions","Uniform Laplace bounds from angle data alone","New proofs of long-time existence for combinatorial Calabi flows","Combinatorial Calabi flows from radius-free Laplace estimates"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001109,"raw_usage":{"total_tokens":4613,"prompt_tokens":929,"completion_tokens":3684,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":545,"completion_tokens_details":{"reasoning_tokens":3612}},"tokens_in":545,"tokens_out":3684,"duration_ms":27956,"temperature":1.0,"reasoning_tokens":3612,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:00:39.588573+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $T_1(x,y,z)$ from equation (4.12) along a sequence with $x = y^2$, $z$ fixed, and weights satisfying $(\\star)$, letting $x \\to 0$; if the values are unbounded, the claimed neighborhood boundedness fails. Alternatively, numerically construct a circle packing triangle with one radius tending to zero and a fixed weight $\\Phi$, and check whether $A_i$ exceeds every constant depending only on $\\Phi$.","supporting_citations":[{"cited_title":"Glickenstein, J","cited_arxiv_id":null,"evidence_quote":"Supplies the duality relation (Lemma 2.1) and its analytic verification, which the paper's estimates build upon."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the zero-weight estimate that Theorem 1.2 generalizes, along with the flow long-time existence being reproved."},{"cited_title":"Zhang, X","cited_arxiv_id":null,"evidence_quote":"Provides the angle-decay lemma used to bound radii from above in the long-time existence proof."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduced the combinatorial $p$-th Calabi flow whose long-time existence the paper reproves."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the symmetry of the curvature Jacobian and the form of the discrete Laplacian in circle packing metrics."}],"review_version":1}