{"id":"3c821eb0-e06a-4c64-9517-b43b113cd69b","arxiv_id":"2505.20091","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An infinite version of the prescribed curvature flow is shown to converge under side conditions, yielding generalized circle packings and smooth infinite-type hyperbolic surfaces with prescribed total geodesic curvature.","lead":"This paper defines a curvature flow for generalized circle packings on infinite polygonal decompositions of noncompact surfaces, and proves the flow exists and, under side conditions, converges to packings with prescribed total geodesic curvature. The intended payoff is a construction technique for smooth infinite-type hyperbolic surfaces with many geodesic boundaries or cusps.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.13's proof misuses formula (2.1): for k_i>1 it uses T_i multiplied by k_i√(k_i²−1) instead of divided; with (2.1) the estimate appears to fail as k_i→∞, leaving uniqueness in Theorems 1.2 and 3.9 unsupported.","rationale":"I agree with the reader's diagnosis and regard Lemma 3.13 as the load-bearing point. The announced well-posedness has an existence half and a uniqueness half; the existence half is a standard exhaustion/Arzelà-Ascoli argument and is not the risk. The uniqueness half depends entirely on applying Lemma 3.10/Corollary 3.11 to the difference equation, and that application needs the uniform weight bound (3.7), which is exactly Lemma 3.13. The printed proof of Lemma 3.13 is internally inconsistent with formula (2.1): in the k_i>1 case the text treats T_i as 2 k_i√(k_i²−1) arccot(...), while (2.1) has this quantity in the denominator; in the 0<k_i<1 case the denominator k_i√(1−k_i²) is omitted. With the correct formula the displayed leading term of the claimed derivative sum has asymptotic order 1/k_i while T_i has order 1/k_i^3 for fixed k_P, so the stated inequality cannot follow from the computation shown. I have not re-derived the exact derivative formula from [21], so I will not assert the lemma is false; but as printed the proof is invalid and the uniqueness theorem is unsupported. The convergence theorems and existence results may survive a corrected estimate, so a conditional verdict rather than outright rejection is appropriate. This matches the reader's assessment.","tokens_in":15257,"tokens_out":13305,"duration_ms":140654,"concrete_test":"Recompute, for a single polygon P and fixed neighbor curvatures, the quantity R(k_i)=|Σ_{j≠i} ∂T_{i,P}/∂s_j| / T_{i,P} directly from (2.1), using the implicit equation for k_P from [21] (or numerical differentiation of the [21] formula) at k_i=10, 100, 1000. If R is unbounded, Lemma 3.13 is false as stated and Theorem 3.9 needs a different argument. Also re-derive the displayed expression in Lemma 3.13 from (2.1): the factor k_i√(k_i²−1) must appear in the denominator of T_i, and the proof's case (1) and case (3) inequalities should be rechecked against that factor.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central well-posedness claim (Theorem 1.2, uniqueness part in Theorem 3.9) rests on Lemma 3.13, the estimate |Σ_{j∼i} ∂T_i/∂s_j| ≤ C T_i. The proof of Lemma 3.13 compares the displayed derivative expression with T_i using formulas that contradict Definition (2.1). For k_i>1, (2.1) gives T_i = 2 arccot(k_P√(k_i²−1))/(k_i√(k_i²−1)), but case (1) of the lemma treats T_i as though it were 2 k_i√(k_i²−1) arccot(...). For 0<k_i<1, the text writes T_i = arccoth(k_P√(1−k_i²)), omitting the denominator 2/(k_i√(1−k_i²)). This is not a notational slip: with the correct formula, the leading term of the displayed derivative bound in case (1) is ~2(k_P²−1)/(k_P k_i) for fixed k_P as k_i→∞, while T_i ~2/(k_P k_i³), so the claimed bound cannot hold for the printed expression. Since Lemma 3.13 is the only input producing the uniform estimate (3.7) for the weights ω_ij(t), the maximum principle argument for Theorem 3.9 collapses if no repair is made. The existence and convergence parts (Theorems 3.1, 1.4, 1.7) may survive, but the 'unique' in Theorem 1.2 and Corollary 1.3 is unsupported as written.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces an infinite prescribed curvature flow for generalized circle packing metrics on infinite polygonal cellular decompositions in hyperbolic background geometry. It claims global well-posedness of the flow, a uniqueness theorem under bounded total geodesic curvatures, and two convergence theorems that produce generalized circle packings with prescribed total geodesic curvatures, including surfaces of infinite topological type with geodesic boundaries or cusps. The proofs use exhaustion by finite subcomplexes, maximum principles, and imported results from prior work of Hu-Qi-Sun-Zhou and Ge-Hua-Zhou.","tokens_in":15591,"tokens_out":13005,"duration_ms":135907,"significance":"If the main results hold, the paper would meaningfully extend the combinatorial Ricci flow / prescribed curvature flow framework from finite triangulations to infinite cellular decompositions, providing a parabolic construction of noncompact hyperbolic surfaces of infinite type. The use of exhaustion and maximum-principle arguments is natural, and the connection to prescribed total geodesic curvature is a timely topic. The existence and convergence parts are presented as plausible consequences of the finite theory, but the uniqueness half of the well-posedness claim rests on a specific estimate in Lemma 3.13 that is not proven as written; this undermines the full well-posedness statement, although the existence and convergence results may be salvageable with a repaired argument.","major_comments":[{"comment":"The proof of Lemma 3.13 is internally inconsistent with the definition (2.1). In case (1), for k_i>1, the proof writes T_i = 2 k_i sqrt(k_i^2-1) arccot(k_P sqrt(k_i^2-1)), while (2.1) gives T_{i,P} = 2 arccot(k_P sqrt(k_i^2-1))/(k_i sqrt(k_i^2-1)). Case (3) similarly omits the denominator factor 2/(k_i sqrt(1-k_i^2)). This is not a harmless typo: with the correct formula, for a one-parameter family with fixed k_P>1 and k_i→∞, the quantity being bounded behaves like 2(k_P^2-1)/(k_P k_i), while T_{i,P} behaves like 2/(k_P k_i^3), so the asserted uniform bound |Σ_{j∼i} ∂T_i/∂s_j| ≤ C T_i cannot hold for the printed expression. Since Lemma 3.13 is the only source of the uniform weight bound (3.7) used in the maximum-principle argument for Theorem 3.9, the uniqueness part of Theorems 1.2 and 3.9 is not substantiated as written.","section":"§3.2, Lemma 3.13"},{"comment":"Corollary 1.3 claims uniqueness for arbitrary initial values s0 under bounded vertex and face degree, but Theorem 3.9 requires the total geodesic curvatures of the two solutions to be uniformly bounded on V×[0,M]. If the prescribed vector T̂ is unbounded, the maximum principle in Proposition 3.8 only bounds T_i(t)-T̂_i, not T_i(t) itself, so the hypotheses of Theorem 3.9 need not hold. The corollary therefore does not follow from the stated uniqueness theorem unless an additional condition such as boundedness of T̂ (or of the solution's total curvatures) is imposed.","section":"§1, Corollary 1.3"},{"comment":"The proof of the claim bounding T_i(τ s(t)+(1-τ) ŝ(t)) uses Lemma 3.13 again to assert |∂ ln T_{i,P}/∂s_j| ≤ C. This does follow from the sum estimate only because all cross-derivatives are negative by Lemma 3.4, but the manuscript does not spell out that step; more importantly, since Lemma 3.13 itself is not established, the entire weight estimate (3.7) and the subsequent comparison argument collapse. This reinforces the need to repair or replace Lemma 3.13 before the uniqueness theorem can be accepted.","section":"§3.2, proof of Theorem 3.9"}],"minor_comments":[{"comment":"The references to \"Theorem 3.11\", \"Theorem 3.12\", and \"Theorem 3.13\" in the proof of Theorem 3.9 should be to Corollary 3.11, Lemma 3.12, and Lemma 3.13, respectively.","section":"§3.2, proof of Theorem 3.9"},{"comment":"In the statement and proof of Lemma 3.5, the references to \"Theorem 3.2 and Theorem 3.4\" should be to Lemma 3.2 and Lemma 3.4, since those are the items containing the variational and monotonicity facts used there.","section":"§3.1, Lemma 3.5"},{"comment":"In the proof of Lemma 3.13, the symbol T_i is used for the single-face quantity T_{i,P}; the subscript P should be kept throughout to avoid confusing the face contribution with the vertex total T_i defined in Definition 2.9.","section":"§3.2, Lemma 3.13 proof"},{"comment":"Several proofs refer to \"Theorem 4.2\" and \"Theorem 4.3\" when the cited statements are Lemma 4.2/Remark 4.2 and Lemma 4.3; this numbering should be corrected throughout Section 4.","section":"§4, proofs of Theorems 1.4, 1.7, 1.9, 1.11"},{"comment":"The inequality u^2/(1+u^2) ≤ C u arctan(1/u) for all u>0 is asserted without explicit constant; since the constant must be uniform across the face-boundedness hypotheses, the argument would benefit from a short derivation or an explicit choice of C.","section":"§3.2, Lemma 3.13 case (1)"}],"recommendation":"major_revision","confidential_remarks":"The referee's main concern is the concrete inconsistency in Lemma 3.13, which is load-bearing for the uniqueness theorem. The existence and convergence results may be correct, but as submitted the well-posedness claim is not proven. I would recommend major revision rather than rejection, because the error appears local and the authors may be able to repair the estimate or appropriately weaken the uniqueness statement."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis paper introduces a prescribed curvature flow for generalized circle packings on infinite polygonal decompositions of noncompact surfaces, proves global existence, and gives two convergence theorems that yield prescribed total geodesic curvature and, in triangulations, smooth hyperbolic surfaces of infinite topological type with geodesic boundaries or cusps. That is a genuine advance over the finite case in [21] and the infinite-triangulation combinatorial Ricci flow in [13]. The flow setup is natural, and the convergence proofs proceed by exhaustion plus the finite maximum principle. If the main theorems hold, this is a useful construction kit for noncompact hyperbolic surfaces.\n\nThe main problem is Lemma 3.13, which underpins the uniqueness part of Theorem 1.2 via Theorem 3.9. The proof displays formulas for T_i that contradict definition (2.1): for k_i>1 they write T_i = 2 k_i sqrt(k_i^2 -1) arccot(...), but (2.1) has that expression divided by k_i sqrt(k_i^2 -1). For 0<k_i<1 they drop the denominator k_i sqrt(1-k_i^2). With the correct formula, the claimed uniform bound |Σ ∂T_i/∂s_j| ≤ C T_i looks false for large k_i. So the uniqueness theorem is unsupported as written, and the 'unique' in Corollary 1.3 and Theorem 1.2 is not proven. The existence and convergence parts might be salvageable, but they need a corrected lemma or a different argument.\n\nThere are also sloppy internal references: 'Theorem 3.2' and 'Theorem 3.4' when the lemmas are 3.2 and 3.4, 'Theorem 3.11' for Corollary 3.11, 'Theorem 3.13' for Lemma 3.13, 'Theorem 4.2' for Lemma 4.2, and so on. These should have been caught in a careful pass. Theorem 1.11's proof is only sketched and has a few steps that look rushed.\n\nNone of this is fatal to the paper's ambitions; the flow construction and the convergence arguments are worth refereeing. But I would not accept it as is. Send it to a referee who knows [21] and [13], and ask them to check Lemma 3.13 and the uniqueness part carefully. If that gets repaired, this is a solid contribution.\n\nMy recommendation: engage with it, but require a substantive revision before publication.\n\nBest,","headline":"A promising flow construction for infinite hyperbolic surfaces with a serious gap in the uniqueness proof; the paper deserves refereeing but needs a real revision.","tokens_in":16118,"tokens_out":4996,"would_cite":false,"duration_ms":48138,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52C26","53E20"],"pacs":[],"model":"deepseek-v4-flash","headline":"An infinite prescribed curvature flow converges to generalized circle packing metrics with prescribed total geodesic curvatures on noncompact hyperbolic surfaces.","keywords":["prescribed curvature flow","generalized circle packing","total geodesic curvature","hyperbolic surfaces","noncompact surfaces","infinite cellular decomposition","geodesic boundaries","cusps"],"falsifier":"Evaluate the left-hand side of Lemma 3.13 numerically from formula (2.1) for a triangle with $k_P=2$ and $k_i$ ranging up to $10^3$; if $|\\sum_{j\\sim i}\\partial T_i/\\partial s_j|/T_i$ is unbounded as $k_i\\to\\infty$, the uniform bound fails and the uniqueness theorem for infinite flows is not established.","tokens_in":15023,"feed_emoji":"🌀","tokens_out":6714,"duration_ms":66187,"temperature":0.7,"pith_summary":"The paper introduces an infinite prescribed curvature flow, a discrete analogue of Ricci flow tailored to infinite polygonal cellular decompositions of noncompact surfaces. It claims that this flow has global solutions for arbitrary initial data and is unique whenever the total geodesic curvatures stay uniformly bounded and face degree is bounded. Under two side conditions on the initial data and the prescribed curvatures, the flow converges to a generalized circle packing metric realizing exactly those total geodesic curvatures. In the triangulated case this gives smooth hyperbolic surfaces of infinite topological type with geodesic boundaries or cusps. The intended payoff is a flow-based construction of hyperbolic metrics on noncompact surfaces that has no other known construction.","feed_headline":"Infinite curvature flow realizes prescribed circle curvatures","feed_subtitle":"Surfaces of infinite topological type emerge as the flow converges to generalized circle packings with prescribed total geodesic curvature.","key_machinery":"The flow itself is the central object: $s_i(t)=\\ln k_i(t)$ evolves by the negative of the discrepancy $T_i-\\hat T_i$, with $T_i$ assembled from per-face arcs $T_{i,P}$ given by formula (2.1). The proof machinery is an exhaustion argument: restrict the flow to finite subcomplexes, obtain uniform $C^2$ estimates from the maximum principle and curvature bounds, then pass to a diagonal limit. Uniqueness is obtained by writing the difference of two solutions as a weighted graph Laplacian plus a negative zero-order term and applying a maximum principle for infinite graphs, with the key estimate being a uniform bound on the Laplacian weights.","core_discovery":"The central claim is that the system $ds_i/dt = -(T_i - \\hat T_i)$ on an infinite vertex set $V$, with $s_i=\\ln k_i$ and $T_i$ the total geodesic curvature of the generalized circle at vertex $i$, is well-posed: existence for every $s_0$, and uniqueness among solutions with uniformly bounded total curvatures when face degree is bounded. The paper's two convergence theorems show that, if the initial discrepancy $T_i(s_0)-\\hat T_i$ is everywhere nonnegative (Theorem 1.4) or everywhere nonpositive with the prescribed vector satisfying the finite-subset inequality (1.3) (Theorem 1.7), the flow converges to a generalized circle packing metric whose total geodesic curvatures are exactly $\\hat T$. The corollary for infinite triangulations is that every prescribed curvature vector with $\\hat T_v\\le \\deg(v)$ is realized, and because the flow keeps $s_i\\le 0$ the realizing circles are horocycles or hypercycles, so the glued surface is smooth and noncompact with geodesic boundaries or cusps.","pith_inferences":["[editorial] The numerical content of (1.3) suggests a sharpness question: whether the $\\pi\\min\\{N(P,W),N(P)-2\\}$ budget for each face is also necessary for convergence in the nonpositive case; the paper does not address necessity.","[editorial] A direct check of Lemma 3.13 using formula (2.1) is the first place to test the uniqueness claim; if the uniform weight bound fails for large $k_i$, the existence and convergence theorems could survive while uniqueness needs a different argument.","[editorial] The construction yields surfaces whose conformal boundary data are encoded in the prescribed curvatures; a natural extension would be to use the same flow to realize prescribed curvatures in Euclidean or spherical background geometry, following the finite-case analogues."],"forward_implications":["Global solutions of the prescribed curvature flow exist on every infinite polygonal cellular decomposition, so the flow is a well-defined deformation of generalized circle packing metrics on noncompact surfaces.","With bounded face degree and uniformly bounded total curvatures, the solution is unique, matching the uniqueness phenomenon known for continuous Ricci flows on noncompact manifolds.","When initial total curvature is at least the prescribed value everywhere, convergence to the prescribed packing is guaranteed; this is the route to Corollary 1.5.","For infinite triangulations, any prescribed vertex curvatures not exceeding vertex degree are realized by packings of horocycles and hypercycles, producing smooth hyperbolic surfaces of infinite topological type with infinitely many geodesic boundaries or cusps.","The second convergence theorem supplies existence under the finite-subset sum condition (1.3), and the simple-decomposition version weakens the condition to (1.4)."],"supporting_citations":[{"why":"Supplies the generalized circle packing construction on polygons, the formula (2.1) for $T_{i,P}$, and the finite-decomposition flow and convergence results this paper extends.","marker":"[21]"},{"why":"Supplies the infinite-flow well-posedness strategy and the maximum principle for parabolic equations on infinite graphs used in the uniqueness proof.","marker":"[13]"},{"why":"Introduces total geodesic curvature for generalized circle packings and the closed differential form used for symmetry of derivatives.","marker":"[1]"},{"why":"Provides the discrete maximum principle for combinatorial curvature flows that controls $\\max(T_i-\\hat T_i)$ along the flow.","marker":"[9]"},{"why":"Provides the exhaustion-and-approximation method adapted here to construct global solutions on infinite decompositions.","marker":"[32]"}],"fun_headline_variants":["Flow on infinite surfaces lands on prescribed circle curvatures","Infinite-type surfaces get prescribed curvature via flow","Convergent flow builds hyperbolic surfaces with prescribed curvatures","Flow on infinite hyperbolic surfaces realizes prescribed geodesic curvatures","Infinite surfaces yield to prescribed curvature flow"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness half depends on the uniform estimate $|\\sum_{j\\sim i}\\partial T_i/\\partial s_j|\\le C T_i$ proved in Lemma 3.13; the proof of that lemma appears to use formula (2.1) with the factor $k_i\\sqrt{k_i^2-1}$ multiplied rather than divided, and if the estimate does not hold the uniqueness statement is unsupported.","fun_headline_variants_meta":{"raw":{"variants":["Flow on infinite surfaces lands on prescribed circle curvatures","Infinite-type surfaces get prescribed curvature via flow","Convergent flow builds hyperbolic surfaces with prescribed curvatures","Flow on infinite hyperbolic surfaces realizes prescribed geodesic curvatures","Infinite surfaces yield to prescribed curvature flow"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000525,"raw_usage":{"total_tokens":2508,"prompt_tokens":889,"completion_tokens":1619,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":505,"completion_tokens_details":{"reasoning_tokens":1544}},"tokens_in":505,"tokens_out":1619,"duration_ms":12651,"temperature":1.0,"reasoning_tokens":1544,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:00:51.678215+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the left-hand side of Lemma 3.13 numerically from formula (2.1) for a triangle with $k_P=2$ and $k_i$ ranging up to $10^3$; if $|\\sum_{j\\sim i}\\partial T_i/\\partial s_j|/T_i$ is unbounded as $k_i\\to\\infty$, the uniform bound fails and the uniqueness theorem for infinite flows is not established.","supporting_citations":[{"cited_title":"Hyperbolic circle packings and total geodesic curvatures on surfaces with boundary.Nonlinear Anal., 253:Paper No","cited_arxiv_id":null,"evidence_quote":"Supplies the generalized circle packing construction on polygons, the formula (2.1) for $T_{i,P}$, and the finite-decomposition flow and convergence results this paper extends."},{"cited_title":"Circle packings and hyperbolic surfaces of finite type","cited_arxiv_id":"2307.13572","evidence_quote":"Introduces total geodesic curvature for generalized circle packings and the closed differential form used for symmetry of derivatives."},{"cited_title":"Combinatorial Ricci flows on surfaces.J","cited_arxiv_id":null,"evidence_quote":"Provides the discrete maximum principle for combinatorial curvature flows that controls $\\max(T_i-\\hat T_i)$ along the flow."},{"cited_title":"Deforming the metric on complete Riemannian manifolds","cited_arxiv_id":null,"evidence_quote":"Provides the exhaustion-and-approximation method adapted here to construct global solutions on infinite decompositions."}],"review_version":1}