{"id":"34f6893d-85c6-4ca5-bf3b-83342594f137","arxiv_id":"2501.01605","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"It extends combinatorial Calabi flow to ideal circle patterns in Euclidean and hyperbolic geometry, with global existence proved and exponential convergence claimed.","lead":"The paper defines discrete Calabi flows for ideal circle patterns on surfaces and claims they exist for all time and converge exponentially fast to a flat or hyperbolic metric. The hyperbolic proof is sketched from prior rigidity results; the Euclidean proof only shows global existence, not the claimed convergence.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The Euclidean half of the abstract is not proved: Section 5 of the paper ends after deriving global existence, and the convergence and iff claims of Theorem 3.2 are never addressed.","rationale":"The paper's abstract promises exponential convergence for both hyperbolic and Euclidean ideal combinatorial Calabi flows. The hyperbolic theorem has an identifiable missing lemma, but the role of that lemma is clear and it might be supplied by the cited literature [16]. The Euclidean theorem, by contrast, is structurally incomplete: the proof never leaves the global-existence stage. This is not a hard technical gap that can be repaired by citing a standard lemma; it is the absence of the main argument for one half of the advertised result. Therefore this is the single most load-bearing concern. The reader's weakest_assumption targeted the hyperbolic properness assertion; I agree that gap is real, but the Euclidean omission is more decisive because no amount of fixing the hyperbolic lemma helps Theorem 3.2. I partially agree with the reader: overall REJECT is justified, but the strongest reason is the unfinished Euclidean proof, with the hyperbolic properness issue as a separate unresolved gap.","tokens_in":10281,"tokens_out":14453,"duration_ms":156927,"concrete_test":"Re-do Section 5 starting from equation (5.2) with a complete convergence argument: write the Euclidean flow explicitly, define the natural energy E = Σ(K_i − K_av)^2, and prove dE/dt ≤ −cE together with compactness of the trajectory in R_{>0}^{|V|} when a constant-curvature ideal pattern exists; then prove the converse by the same u(n+1)−u(n) → 0 argument used in the hyperbolic case with L positive definite. If any of these steps cannot be carried out, Theorem 3.2's convergence and iff claims remain unproved. A minimal textual check: there is no sentence after (5.2) that proves exponential convergence.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 5, the proof of Theorem 3.2 introduces u_i = ln r_i, proves the bound |ω_ij| ≤ 1/sin Θ_ij ≤ c(Θ), derives |du_i/dt| ≤ c1, integrates to −c1t ≤ u_i(t) ≤ c1t, and concludes that the flow has a solution for all time. Even if this bound is correct, it establishes only global existence, which is the first sentence of Theorem 3.2. The theorem then asserts: (1) exponential convergence of r(t) to a constant-curvature ideal circle pattern metric; (2) an equivalence between convergence and existence of such a constant-curvature pattern. Neither assertion is shown. There is no Calabi-energy/Lyapunov argument, no compactness of the trajectory in R_{>0}^{|V|}, no use of the positive-definiteness of L to drive K(t) to a constant vector, and no exponential-rate estimate. Consequently the central claim in the abstract about Euclidean combinatorial Calabi flows is unsupported, independent of any repair to the hyperbolic proof. Separately, the hyperbolic proof of Theorem 3.1 relies on the uncited properness assertion 'By lemma 6.1 in [?], lim F(u)=+∞' (Section 4, after (4.11)); this is the step that prevents radii from collapsing to zero and is not supplied.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript defines combinatorial Calabi flows for ideal circle patterns in hyperbolic and Euclidean background geometry (Definition 2.1 and equation (3.5), with the Euclidean analogue in Section 5) and claims, in Theorems 3.1 and 3.2, global existence and exponential convergence to a nonsingular hyperbolic metric or to a constant-curvature flat cone metric, respectively, with an if-and-only-if characterization in terms of the existence of a zero-curvature or constant-curvature ideal circle pattern. The hyperbolic proof uses the ideal Ricci potential and known rigidity results of Ge-Hua-Zhou; the Euclidean proof derives a uniform bound on the logarithmic radii and concludes global existence.","tokens_in":10496,"tokens_out":3386,"duration_ms":35458,"significance":"If the results were correctly proved, they would be a natural and useful extension of Ge-Hua-Zhou's combinatorial Ricci flow theorems for ideal circle patterns to Calabi-type flows, and the use of discrete Calabi energy, positive definiteness of the curvature Jacobian, and Andreev-Thurston rigidity is a reasonable strategy. The manuscript also helpfully recalls the relevant equivalence conditions H1-H5 and E1-E4 from Ge-Hua-Zhou. However, as written, the main convergence and equivalence claims are not established: the Euclidean proof stops after global existence, and the hyperbolic proof depends on an uncited properness lemma. The significance of the paper is therefore conditional on substantial additional arguments.","major_comments":[{"comment":"The proof of Theorem 3.2 derives only global existence. After bounding |ω_ij| and hence |du_i/dt|, the text concludes with the estimate c0 e^{-c1 t} ≤ r_i(t) ≤ c0 e^{c1 t} and states that the flow has a solution for all time. Yet Theorem 3.2 also asserts exponential convergence to a constant-curvature circle pattern metric and an equivalence between convergence and the existence of such a pattern. No Lyapunov or Calabi-energy monotonicity argument is given, no compactness of the trajectory in R_{>0}^{|V|} is established, no use is made of the positive definiteness of the Euclidean Jacobian L, and no exponential-rate estimate appears. The Euclidean half of the abstract and Theorem 3.2 is therefore unsupported by the proof as written.","section":"Section 5, proof of Theorem 3.2"},{"comment":"The proof of the 'if' direction of Theorem 3.1 relies on the assertion 'By lemma 6.1 in [?], there holds lim_{||u||→+∞, u∈R^{|V|}_{<0}} F(u)=+∞.' This properness of the ideal Ricci potential is load-bearing: it is used to obtain the uniform lower bound r_i(t) ≥ C > 0, which prevents radii from collapsing and is then used for compactness and exponential convergence. The lemma is neither stated nor cited with a valid reference. Without a proof or a correct citation, the hyperbolic convergence theorem is not established. The missing reference must be supplied and the proof of the properness step must be included.","section":"Section 4, after equation (4.11)"},{"comment":"The argument 'u(n+1)-u(n) = u'(ξ_n)' applies the scalar mean value theorem to a vector-valued function without justification; one would need to apply the mean value theorem componentwise or use an integral identity. This is not the central obstruction, but it is part of the convergence argument and should be fixed.","section":"Section 4, proof of Theorem 3.1, '⇒' direction"}],"minor_comments":[{"comment":"The sentence 'By lemma 4.3, we know ∂θ_j/∂r_i > 0' is a mis-citation: Lemma 4.3 states that θ_i becomes small when r_i is large, while the positivity of ∂θ_j/∂r_i follows from Lemma 4.2(ii) together with the identity ∂θ_i/∂r_j sinh r_j = ∂θ_j/∂r_i sinh r_i. Please correct the citation.","section":"Section 4, proof of Lemma 4.4"},{"comment":"The placeholder citation 'By lemma 6.1 in [?]' must be replaced with a real statement and reference; the same applies to any other unresolved '?' markers.","section":"Throughout"},{"comment":"In the final line of the proof of Theorem 3.2, 'for all time y ∈ [0, ∞)' should read 't ∈ [0, ∞)'.","section":"Section 5"},{"comment":"The phrase 'constant curvature circle pattern metric' in Theorem 3.2 and 'flat cone metric' in the abstract is not defined precisely; in particular, it should be stated whether 'constant curvature' means all vertex curvatures equal to a common value, and how that value is determined.","section":"Theorems 3.1-3.2"},{"comment":"The definition of an ideal circle pattern refers to circles meeting at an 'interior common point'; the distinction between interior and exterior common points is supported only by figures and would benefit from a precise geometric definition in the text.","section":"Section 2.1"}],"recommendation":"reject","confidential_remarks":"The manuscript appears to be an early draft: one cited lemma is missing, and the Euclidean half of the main theorem is essentially unproved after global existence. The acknowledgment that similar results were independently obtained elsewhere may also bear on novelty, but the decisive issue is that the central claims are not supported by the present text. A substantial rewrite, including a complete proof of Theorem 3.2 and a correct proof or citation for the properness lemma, would be needed before this could be reconsidered."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the paper is not close to proving what it claims. It extends combinatorial Calabi flow to ideal circle patterns, a natural next step after Ge-Hua-Zhou's Ricci flow and Ge's Calabi flow for ordinary circle patterns, and the flow definition is sensible. But the abstract promises exponential convergence in both geometries, and neither theorem delivers it.\n\nStart with the Euclidean part, because it is cleanly checkable. Section 5 proves only global existence: the author bounds |du_i/dt| by a constant, integrates to get two-sided exponential bounds on r_i(t), and stops. There is no Calabi-energy decay estimate, no compactness of the trajectory, no use of the positive-definite Jacobian to drive K to a constant vector, and no exponential rate. The convergence and iff claims of Theorem 3.2 are never addressed. The stress-test note is right: this is not a missing detail, it is the main statement.\n\nThe hyperbolic proof has a different, equally serious hole. In Section 4, after constructing the ideal Ricci potential F, the lower bound on the radii r_i(t) depends on 'By lemma 6.1 in [?], lim F(u) = +∞' (just after (4.11)). That lemma is not in the bibliography. Without it, compactness of the trajectory in R_{>0}^{|V|} fails, and the exponential convergence argument for Theorem 3.1 collapses. The 'only if' direction of Theorem 3.1 is fine, and the rest of the 'if' direction would be standard if the properness were supplied.\n\nCredit where it is due. The paper is the first to write down this flow for ideal circle patterns, and some of the technical pieces are correct: Lemma 4.4, the uniform bound on |ω_ij| in Section 5, and the use of Ge-Hua-Zhou's rigidity results. The acknowledgment of a competing independent result (Shengyu Li and Zhigang Wang) is honest. The setup and notation are clear.\n\nWho is this for? A specialist in discrete conformal geometry might profit from the formulation and might be able to repair the gaps by adapting Ge-Xu or Ge-Hua's Calabi-flow arguments. But as submitted, the main theorems are unsupported. I would not cite it as a convergence theorem. If it is submitted to a journal, the right response is a reject/resubmit, not a full referee cycle: ask the author to supply the missing properness lemma and to actually prove the Euclidean convergence. A serious editor should not send this to referees in its current state.","headline":"A plausible extension of Calabi flow to ideal circle patterns, but the convergence theorems are not proved: the Euclidean half stops at global existence and the hyperbolic half relies on a missing lemma.","tokens_in":11043,"tokens_out":3917,"would_cite":false,"duration_ms":37558,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C44","52C26"],"pacs":[],"model":"deepseek-v4-flash","headline":"The combinatorial Calabi flow for ideal circle patterns exists for all time and converges exponentially fast to a zero-curvature pattern on a closed surface whenever such a pattern exists.","keywords":["combinatorial Calabi flow","ideal circle patterns","discrete curvature","Calabi energy","hyperbolic background geometry","Euclidean background geometry","exponential convergence","gradient flow"],"falsifier":"A direct test is to compute the ideal Ricci potential $F(u)$ for a small explicit ideal circle pattern, such as a tetrahedral pattern on the sphere or a genus-2 triangulation with weights satisfying the star condition, and check whether $F(u)\\to+\\infty$ as $\\|u\\|\\to+\\infty$; a bounded sequence along a ray would disprove the properness used in the hyperbolic proof. A numerical integration of the flow for the same data should also be run: if radii $r_i(t)$ approach zero at finite or infinite time for some initial pattern while a zero-curvature pattern exists, the theorem's conclusion is false.","tokens_in":9990,"feed_emoji":"⭕","tokens_out":13666,"duration_ms":116010,"temperature":0.7,"pith_summary":"This paper proves that the combinatorial Calabi flow, a discrete analogue of the smooth Calabi flow, can be run on ideal circle patterns in both hyperbolic and Euclidean background geometry. For any initial ideal circle pattern on a closed oriented surface with an edge-weight function satisfying the cell-wise angle sum condition, the flow has a unique solution for all time. If, and only if, an ideal circle pattern with zero curvature exists, the flow converges exponentially fast to that pattern, giving a non-singular hyperbolic metric in the hyperbolic setting and a constant-curvature circle-pattern metric (described in the abstract as a flat cone metric) in the Euclidean setting. This matters because it turns a hard existence question about canonical discrete metrics into a dynamical one: the flow itself finds the pattern, and it does so without the small-energy or extra assumptions needed in earlier hyperbolic Calabi-flow results.","feed_headline":"Ideal circle patterns converge exponentially under Calabi flow","feed_subtitle":"On a closed surface, the circle-pattern flow runs forever and lands on a zero-curvature pattern whenever one exists.","key_machinery":"The engine is the combinatorial Calabi flow $u'(t)=-LK=-\\tfrac12\\nabla_u C$, the negative gradient flow of the discrete Calabi energy $C(r)=\\sum_i K_i^2$; here $u_i=\\ln\\tanh(r_i/2)$ in hyperbolic geometry and $u_i=\\ln r_i$ in Euclidean geometry, and $L$ is the Jacobian of the curvature map $K(u)$. The paper's key structural inputs are the angle-monotonicity and symmetry identities of Lemma 4.2, the positivity of $L$ (Lemma 4.5), a lower bound on a certain area-derivative (Lemma 4.4), and the ideal Ricci potential $F(u)=\\int_{\\bar u}^{u}\\sum_i K_i\\,du_i$, whose properness is invoked to force radii to stay away from zero. The edge weights $\\Theta$ must satisfy the star condition $\\sum_{i=1}^{m}\\Theta(e_i)=(m-2)\\pi$ around each 2-cell, which is exactly what makes an ideal circle pattern possible.","core_discovery":"The central claim is stated as Theorems 3.1 and 3.2. Let $D$ be a cellular decomposition of an oriented closed surface, with edge weights $\\Theta:E\\to(0,\\pi)$ satisfying the star condition $\\sum_{i=1}^{m}\\Theta(e_i)=(m-2)\\pi$ on every 2-cell. Under the flow $u'(t)=-LK$, where $u_i=\\ln\\tanh(r_i/2)$ in the hyperbolic setting, $u_i=\\ln r_i$ in the Euclidean setting, $K$ is the discrete curvature vector and $L$ is the Jacobian of $K$ as a function of $u$, any initial ideal circle pattern $r(0)$ produces a global solution. In the hyperbolic case the solution converges exponentially fast to a zero-curvature ideal circle pattern, equivalently to a hyperbolic metric without singularities, if and only if such a pattern exists; in the Euclidean case the analogous statement holds with convergence to a constant-curvature circle-pattern metric if and only if that constant-curvature ideal pattern exists. The proof runs the discrete Calabi energy $C(r)=\\|K\\|^2$ down its gradient flow, uses positivity of $L$ to get energy decay, and uses compactness of the trajectory plus injectivity of the curvature map to identify the limit.","pith_inferences":["Editorial inference: the hyperbolic half of the theorem inherits its guarantee that radii do not collapse from a properness claim about the ideal Ricci potential that the manuscript invokes after equation (4.11) as 'lemma 6.1 in [?]' without stating or referencing it; if that properness fails, the convergence proof would need a different lower-bound argument.","Editorial inference: the same gradient-flow mechanism—positive definiteness of the curvature Jacobian plus properness of the associated potential—should transfer to other discrete curvature functionals, so the paper suggests a general template for discrete Calabi-type flows.","Editorial inference: the Euclidean bound on $|\\omega_{ij}|\\le c(\\Theta)$ yields only exponential-in-time bounds on radii; a sharper estimate using dissipation of the Calabi energy might upgrade global existence to a bound independent of time, which would be a natural test of the method.","Editorial inference: the combinatorial conditions from the Ricci-flow theorems (H3–H5 and E3–E4) characterize existence of zero-curvature patterns; combined with this paper's Calabi-flow convergence, they give a purely combinatorial criterion for when the discrete Calabi flow lands on a canonical metric."],"forward_implications":["Any initial ideal Euclidean circle pattern evolves without ever ceasing to exist: radii remain bounded above and the logs of radii grow at most linearly, so the flow is defined for all $t\\ge0$.","In the hyperbolic setting, if a zero-curvature ideal circle pattern exists, it is unique, and every trajectory converges to it with exponential decay of the discrete Calabi energy $C(r(t))$.","The 'only if' direction gives an obstruction: if no zero-curvature ideal circle pattern exists, the hyperbolic Calabi flow cannot converge, even though the solution still exists for all time.","Since convergence is characterized by existence of a target pattern, the flow can be used constructively: numerically following $u'=-LK$ is a method for finding zero-curvature ideal circle patterns on a given surface.","The Euclidean convergence statement parallels the hyperbolic one with the target replaced by a constant-curvature ideal circle-pattern metric, so the two background geometries are unified by the same gradient-flow mechanism."],"supporting_citations":[{"why":"Supplies the rigidity (injectivity) of the curvature map and the existence characterization that the 'if and only if' convergence criteria inherit.","marker":"[16]"},{"why":"Introduces combinatorial Ricci flow on surfaces and the intersection-angle circle-pattern setup used throughout.","marker":"[6]"},{"why":"Introduces the Euclidean combinatorial Calabi flow that this paper extends to ideal patterns.","marker":"[13]"},{"why":"Introduces the hyperbolic combinatorial Calabi flow and the convergence strategy the proof adapts.","marker":"[15]"},{"why":"Provides the variational principle and the ideal Ricci potential line integral used as the energy properness input.","marker":"[29]"},{"why":"Certifies unique existence of ideal circle patterns from star-condition weights for genus greater than zero.","marker":"[26]"},{"why":"Proves the genus-zero existence and characterization of ideal circle patterns used as convergent targets.","marker":"[25]"},{"why":"Establishes the circle-pattern-to-cone-metric construction that defines the geometry of the flow.","marker":"[28]"}],"fun_headline_variants":["Calabi flow on circle patterns converges exponentially","Ideal circle patterns flatten via Calabi flow","Combinatorial Calabi flow: global solutions, exponential decay","Exponential convergence of ideal circle patterns under Calabi flow","Calabi flow drives circle patterns to zero curvature"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption is that a certain energy function of the circle radii (the ideal Ricci potential) grows without bound as the radii approach zero or infinity; the proof invokes this after equation (4.11) as 'lemma 6.1 in [?]' without stating it, and without that growth the radii could collapse and hyperbolic exponential convergence would fail.","fun_headline_variants_meta":{"raw":{"variants":["Calabi flow on circle patterns converges exponentially","Ideal circle patterns flatten via Calabi flow","Combinatorial Calabi flow: global solutions, exponential decay","Exponential convergence of ideal circle patterns under Calabi flow","Calabi flow drives circle patterns to zero curvature"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000424,"raw_usage":{"total_tokens":2141,"prompt_tokens":878,"completion_tokens":1263,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":494,"completion_tokens_details":{"reasoning_tokens":1188}},"tokens_in":494,"tokens_out":1263,"duration_ms":9564,"temperature":1.0,"reasoning_tokens":1188,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T22:23:55.041251+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct test is to compute the ideal Ricci potential $F(u)$ for a small explicit ideal circle pattern, such as a tetrahedral pattern on the sphere or a genus-2 triangulation with weights satisfying the star condition, and check whether $F(u)\\to+\\infty$ as $\\|u\\|\\to+\\infty$; a bounded sequence along a ray would disprove the properness used in the hyperbolic proof. A numerical integration of the flow for the same data should also be run: if radii $r_i(t)$ approach zero at finite or infinite time for some initial pattern while a zero-curvature pattern exists, the theorem's conclusion is false.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the rigidity (injectivity) of the curvature map and the existence characterization that the 'if and only if' convergence criteria inherit."},{"cited_title":"Chow and F","cited_arxiv_id":null,"evidence_quote":"Introduces combinatorial Ricci flow on surfaces and the intersection-angle circle-pattern setup used throughout."},{"cited_title":"Ge, Combinatorial Calabi flows on surfaces , Trans","cited_arxiv_id":null,"evidence_quote":"Introduces the Euclidean combinatorial Calabi flow that this paper extends to ideal patterns."},{"cited_title":"Ge and B","cited_arxiv_id":null,"evidence_quote":"Introduces the hyperbolic combinatorial Calabi flow and the convergence strategy the proof adapts."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the variational principle and the ideal Ricci potential line integral used as the energy properness input."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Certifies unique existence of ideal circle patterns from star-condition weights for genus greater than zero."},{"cited_title":"Rivin, A characterization of ideal polyhedra in hyperbolic 3-space, Ann","cited_arxiv_id":null,"evidence_quote":"Proves the genus-zero existence and characterization of ideal circle patterns used as convergent targets."},{"cited_title":"Thurston, Geometry and topology of 3-manifolds , Princeton lecture notes 1976","cited_arxiv_id":null,"evidence_quote":"Establishes the circle-pattern-to-cone-metric construction that defines the geometry of the flow."}],"review_version":1}