{"id":"0bca0a78-5e21-48e9-ac5e-fb09f0dfa261","arxiv_id":"2607.25691","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The hyperbolic combinatorial Yamabe flow on infinite triangulated surfaces has short-time well-posedness under angle and degree bounds, and its extended version is globally well-posed under an integrability condition.","lead":"This mathematics paper proves that the combinatorial Yamabe flow, a discrete analogue of Ricci flow for triangle meshes, is well posed on hyperbolic surfaces with infinitely many triangles. The results guarantee local existence and uniqueness of solutions, plus a globally defined extended flow whose solutions are stable under a mild decay condition.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 6.2's stability proof assumes pointwise l^1 finiteness of u-v for every t, but Theorem 1.7 only assumes L^1-in-time integrability; the gap is real but repairable by working almost everywhere in t.","rationale":"I read the full manuscript, including the appendix proof of Lemma 3.1. The short-time existence and uniqueness arguments for the original flow are built on uniform derivative bounds, a diagonal Arzela-Ascoli argument, and a maximum principle with positive weights; these are standard and the supplied estimates appear internally consistent. Proposition 2.2 is quoted from [4] without proof, but that is a citation rather than a circular step, and it is not the weakest point. The genuinely load-bearing weakness is exactly the one the reader identified: the proof of Theorem 6.2 uses pointwise l^1 finiteness at every time, while the statement only supplies L^1-in-time integrability. The counterexample f_i(t)=max(i^{-1}-t,0) shows the asserted pointwise property is not implied. However, the proof can almost certainly be repaired by working on the full-measure set where the l^1 norm is finite and using Lemma 6.3 plus absolute continuity of E(t). Therefore the concern affects rigor, not the plausibility of the central claim, and the conditional verdict should be retained.","tokens_in":19611,"tokens_out":19917,"duration_ms":178256,"concrete_test":"Verify the a.e. repair of Theorem 6.2: replace 'Fix an arbitrary t in [0,T)' with 'For every t outside a null set for which ||u(t)-v(t)||_{l^1} is finite', derive (23)-(24) on that full-measure set, apply Lemma 6.3 to commute d/dt with the infinite sum defining E(t), and check that E'(t)<=0 a.e. then implies E(t)<=E(0) for all t by absolute continuity. Also test the claimed implication by the sequence f_i(t)=max(i^{-1}-t,0), which satisfies (21) but fails pointwise l^1 finiteness at t=0. If the a.e. chain is valid, Theorem 1.7 survives with a corrected proof; if (24) or E'(t)<=0 genuinely requires every t, the theorem is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest load-bearing step is in the proof of Theorem 6.2, which underlies Theorem 1.7. The theorem assumes (21), u-v in L^1([0,T); l^1(V)), i.e. the integral over [0,T) of ||u(t)-v(t)||_{l^1} is finite. This hypothesis implies, via Tonelli, that ||u(t)-v(t)||_{l^1} is finite for almost every t, not for every t. The proof nevertheless fixes an arbitrary t, uses finiteness of that l^1 norm to choose a finite P whose complement has l^1 tail smaller than epsilon, and then lets n go to infinity to obtain the boundary vanishing (23) and the monotonicity inequality (24). At a time where the l^1 norm is infinite, this selection is impossible. Such times can genuinely occur even with uniformly bounded velocities: for example f_i(t)=max(i^{-1}-t,0) satisfies integral_0^infinity sum_i f_i(t) dt < infinity while sum_i f_i(0)=infinity. Thus the proof as written does not justify (24) for all t. This is not a counterexample to the theorem: Lemma 6.3 makes E(t) absolutely continuous, so it suffices to obtain (24) for almost every t and then use E'(t)<=0 a.e. to conclude E(t)<=E(0) for every t. The gap is therefore repairable by replacing 'arbitrary t' with 'almost every t', but the current text contains a genuine hole in the stability and uniqueness argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a well-posedness theory for the hyperbolic combinatorial Yamabe flow on infinitely triangulated surfaces. Under a uniform degree bound and an ε-uniformly nondegenerate initial PH metric, Theorem 1.4 establishes short-time existence of smooth solutions via a finite-subcomplex approximation and a diagonal Arzelà–Ascoli argument. With an additional ε-uniformly Delaunay condition, Theorem 1.5 proves short-time uniqueness using a discrete maximum principle. To handle degenerating triangles, the authors introduce an extended flow with generalized curvature and prove global C^1 existence in Theorem 1.6. The main new result, Theorem 1.7, asserts uniqueness of solutions to the extended flow under the integrability condition u−v∈L^1([0,T);ℓ^1(V)), and it is derived as a consequence of the stability estimate Theorem 6.2. The appendix contains a detailed proof of the geometric perturbation Lemma 3.1.","tokens_in":19856,"tokens_out":7055,"duration_ms":59268,"significance":"If the results are correct, the paper provides the first well-posedness theory for the hyperbolic combinatorial Yamabe flow on infinite triangulations, complementing Ji's Euclidean results [15] and extending them to the hyperbolic setting. The local existence argument avoids the Delaunay assumption for existence, and the stability/uniqueness theorem for the extended flow is new even compared with the Euclidean case (Remark 6.4). A notable strength is that the proof of the key perturbation lemma (Lemma 3.1) is carried out in full detail in the appendix, and the main theorems are stated with explicit hypotheses. However, the stability proof in Section 6 contains a genuine but repairable gap, and Proposition 2.2 is quoted without proof; these issues need to be fixed before the central claims can be considered fully established.","major_comments":[{"comment":"The proof fixes an arbitrary t∈[0,T) and uses the pointwise finiteness of ∥u(t)−v(t)∥ℓ1(V) to choose a finite set P whose ℓ1-complement has norm less than ε, which is then used to show the boundary term vanishes in (23) and to obtain the monotonicity inequality (24). However, the hypothesis (21) only states u−v∈L^1([0,T);ℓ^1(V)), which implies ∥u(t)−v(t)∥ℓ1(V)<∞ almost everywhere but not for every t. Thus the proof does not justify (24) for all t as written. This is load-bearing for Theorem 1.7. The gap is repairable: since Lemma 6.3 makes E(t) absolutely continuous, one can derive (24) for almost every t, use dE/dt≤0 a.e., and then integrate to conclude E(t)≤E(0) for every t. The authors should modify this step explicitly.","section":"Section 6, proof of Theorem 6.2 (Eqs. (21)–(24))"},{"comment":"The curvature evolution formula (6) is stated with the remark 'The proof is identical to that in [4, Proposition 3.2], so we omit the details.' This formula is used in Remark 2.3 to derive equation (8), which is essential for the uniform C^2 estimate in the proof of Theorem 1.4. Since [4] concerns finite-dimensional ODE systems and the present paper treats infinite triangulations in hyperbolic background geometry, the applicability of [4, Proposition 3.2] should be justified explicitly. At minimum, the authors should provide a precise statement of the cited result and explain why it carries over verbatim, or include the derivation of the hyperbolic evolution equation.","section":"Section 2, Proposition 2.2 (Eq. (6))"}],"minor_comments":[{"comment":"The index in 'the sequence {u^{[n]}_j(t)}∞_{i=1}' should be n, not i, and the notation 'sup_i' in (13) and (17) is undefined. These appear to be typographical errors that should be corrected.","section":"Section 3, proof of Theorem 1.4 (Eqs. (13), (17))"},{"comment":"The estimate '(2+D)πT' uses a constant D that is not defined in the statement of Theorem 1.6, which does not assume a uniform degree bound. The bound should depend on deg(j), e.g., (2+deg(j))πT.","section":"Section 5, proof of Theorem 1.6"},{"comment":"In the proof, E(t)=Σ_i(u_i(t)−v_i(t))^2, and the assumption ∥u(0)−v(0)∥ℓ2(V)<ε implies E(0)<ε^2, not E(0)<ε as written. The conclusion should be adjusted accordingly; the monotonicity argument still proves the stated stability estimate after this correction.","section":"Section 6, Theorem 6.2"},{"comment":"The relationship between the finite vertex sets V_n and the subcomplex T_n (defined via combinatorial balls B_n(i)) is not fully specified. In particular, it would help to state explicitly that V_n = V(T_n) or that T_n is the induced subcomplex on V_n, to avoid ambiguity in the boundary terms.","section":"Section 3, finite-subcomplex construction"},{"comment":"The phrase 'some integrability condition' in the abstract is vague; Theorem 1.7 makes it precise, but the abstract could state u−v∈L^1([0,T);ℓ^1(V)) directly.","section":"Abstract and Introduction"}],"recommendation":"major_revision","confidential_remarks":"The paper builds on a chain of external results ([3, 25, 15, 8]) and several of the authors' own previous papers. The novelty over [15] is clear in the hyperbolic setting, but the stability result in Section 6 is also claimed to be new for the Euclidean case (Remark 6.4), so the contribution could be positioned more sharply. The proof of Theorem 6.2 has a fixable but real gap; I would like the revised version to spell out the almost-everywhere argument rather than asserting pointwise ℓ^1 finiteness. The omitted proof of Proposition 2.2 should also be addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a credible, carefully written extension of Ji's Euclidean infinite-surface combinatorial Yamabe flow to the hyperbolic setting, and it adds something Ji did not have—uniqueness for the extended flow. The main theorems are mostly proved. The one real flaw is in Theorem 6.2's proof: it uses pointwise ℓ¹ finiteness of u(t)−v(t) at an arbitrary t, but the standing assumption is only L¹-in-time integrability. That is a genuine gap in the written argument, though an easily repairable one—Lemma 6.3 already gives absolute continuity that lets you run the monotonicity inequality almost everywhere and then integrate. The stress-test note's example shows the gap is real, not pedantic.\n\nWhat is actually new: Theorems 1.4–1.6 are the hyperbolic analogues of [15], but the authors also drop the ε-Delaunay condition from the short-time existence theorem, which is a real improvement. Theorem 1.7, the uniqueness/stability of the extended flow, is not in [15] at all. That is the most interesting result in the paper. The proof strategy is coherent: finite-subcomplex approximations, Arzelà–Ascoli, boundary-term control via ℓ¹ summability, and a convexity-based monotonicity inequality.\n\nWhat is good: the paper is honest about what is quoted. Proposition 2.2 is quoted from Chow–Luo without proof; that is standard and acceptable, though a one-line indication would help. The appendix fully verifies Lemma 3.1, which is the kind of tedious but load-bearing computation that should be checked, and they printed it. No circularity that I can see. The citation pattern is normal—several self-citations point to their own prior work on vertex scaling, but the new claims do not reduce by definition.\n\nThe soft spot beyond Theorem 6.2: the L¹-in-time condition (21) is a global decay condition not derived from the geometry. That keeps Theorem 1.7 a conditional stability statement. For a uniqueness theorem, you would want to know whether the condition is necessary or can be replaced by something geometric. That is a limitation of the result, not a flaw in the proof.\n\nWho this is for: people working in discrete conformal geometry, combinatorial curvature flows, and infinite triangulations. It deserves a serious referee: the claims are plausible, the methods are sound, and the gap in Section 6 is repairable. A referee should ask for the a.e. fix and a remark on the integrability condition. I would send it to review.","headline":"Solid hyperbolic analogue of Ji's infinite-surface combinatorial Yamabe flow, with a genuinely new uniqueness result for the extended flow; the stability proof has a real but repairable pointwise-vs-a.e. gap.","tokens_in":20465,"tokens_out":1930,"would_cite":true,"duration_ms":16565,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52C25","52C26"],"pacs":[],"model":"deepseek-v4-flash","headline":"The hyperbolic combinatorial Yamabe flow is well posed on infinite triangulations.","keywords":["combinatorial Yamabe flow","infinitely triangulated surfaces","piecewise hyperbolic metrics","vertex scaling","extended curvature","discrete curvature flow","stability","well-posedness"],"falsifier":"Find two global solutions of the extended flow with the same initial data whose difference is not $\\ell^1$-summable in time but which separate as time increases; this would falsify the uniqueness theorem. Alternatively, on a bounded-degree infinite triangulation, take an $\\epsilon$-uniformly nondegenerate hyperbolic metric and check numerically whether the flow remains smooth up to time $T_0=\\delta_0/((2+D)\\pi)$; a singularity before that time would falsify the short-time existence theorem.","tokens_in":19310,"feed_emoji":"🔺","tokens_out":9651,"duration_ms":77932,"temperature":0.7,"pith_summary":"This paper establishes a well-posedness theory for the hyperbolic combinatorial Yamabe flow on surfaces triangulated by infinitely many triangles. It proves short-time existence of smooth solutions when the initial piecewise hyperbolic metric is uniformly nondegenerate and the vertex degrees are uniformly bounded, and short-time uniqueness under an additional uniform Delaunay condition. Because triangles may degenerate over time, the paper introduces an extended flow driven by a generalized curvature that stays finite at degenerations, and proves this extended flow has a global smooth-in-time solution. It further proves that two global solutions with the same initial data coincide whenever their difference is ℓ¹-summable in time, a stability result that gives uniqueness of the extended flow. The results bring infinite triangulations to the same level of theory that was previously available only for finite triangulations or for the Euclidean background geometry.","feed_headline":"Yamabe flow now runs on infinite hyperbolic triangulations","feed_subtitle":"New proofs of existence, uniqueness, and global solutions bring infinite surfaces into discrete conformal geometry.","key_machinery":"The argument is carried by the curvature evolution equation $\\frac{dK_i}{dt}=\\sum_{j\\sim i} W_{ij}(K_j-K_i) - R_i K_i$, where the diffusion weight $W_{ij}$ is the sum of angle-derivatives $\\frac{\\partial\\theta_i^{jk_1}}{\\partial u_j}+\\frac{\\partial\\theta_i^{jk_2}}{\\partial u_j}$ over the two triangles sharing edge $\\{ij\\}$, and the reaction coefficient $R_i$ is a signed sum of area derivatives. Under hyperbolic vertex scaling, these quantities have explicit trigonometric expressions, e.g. $W_{ij} = \\frac{1}{2\\cosh^2(d_{ij}/2)}\\left(\\tan\\frac{\\theta_i^{jk_1}+\\theta_j^{ik_1}-\\theta_{k_1}^{ij}}{2} + \\tan\\frac{\\theta_i^{jk_2}+\\theta_j^{ik_2}-\\theta_{k_2}^{ij}}{2}\\right)$. The $\\epsilon$-uniform nondegeneracy bounds the angle denominators away from zero, giving the uniform $C^2$ estimate that yields existence; the $\\epsilon$-uniform Delaunay condition makes $W_{ij}>0$ and the reaction negative, giving the maximum-principle uniqueness; the extension of each angle to degenerate configurations defines the extended curvature $\\tilde K_i$, whose flows are gradient flows of the extended Ricci energy, whose convexity supplies the monotonicity inequality underlying stability.","core_discovery":"The central discovery is that discrete curvature flows on infinite triangulations behave like parabolic PDEs. Concretely, the flow $\\frac{du_i}{dt}=-K_i$, with $K_i$ the combinatorial curvature of a hyperbolic vertex scaling, has a smooth solution on $[0,T_0]$ whenever the initial metric is $\\epsilon$-uniformly nondegenerate and the vertex degree is bounded by $D$, with $T_0$ depending only on $\\epsilon$ and $D$; the proof runs the flow on an exhausting sequence of finite subcomplexes and extracts a limit through uniform $C^2$ bounds. Under the extra $\\epsilon$-uniform Delaunay condition the difference of two solutions satisfies a discrete heat equation with positive weights and a negative reaction term, so a discrete maximum principle forces the difference to vanish. For longer times the paper switches to the extended curvature $\\tilde K_i$, obtained by continuously assigning angle $\\pi$ or $0$ to degenerate triangles; the extended flow $\\frac{du_i}{dt}=-\\tilde K_i$ is the gradient flow of an extended convex Ricci energy and therefore has a global $C^1$ solution. Finally, when two extended-flow solutions differ by a function in $L^1([0,T);\\ell^1(V))$, the $\\ell^2$ energy of the difference is non-increasing, which yields stability and uniqueness.","pith_inferences":["The $\\ell^1$-in-time assumption in the extended-flow uniqueness theorem is likely stronger than necessary; an energy argument using the boundedness of the curvature might yield stability under merely $\\ell^2$ initial closeness, without the summability condition.","The same approximation-plus-limit strategy should apply to other vertex-scaling curvature flows, such as the combinatorial Calabi flow or inversive-distance circle packing flows, on infinite triangulations, provided a convex energy exists.","The locality of the existence time $T_0$ suggests the infinite flow can be approximated well by finite patches, so the theory may be useful for numerical computation of discrete hyperbolic uniformizations."],"forward_implications":["The short-time existence and uniqueness theorems give the hyperbolic infinite-triangulation analogue of well-posedness for parabolic equations, so the combinatorial Yamabe flow can serve as a tool for constructing discrete uniformizations on noncompact surfaces.","The global existence of the extended flow means the flow can be continued past triangle degenerations without surgery, and the limiting object is a $C^1$ solution of an extended curvature evolution.","The stability estimate provides quantitative continuous dependence on initial data: any two solutions close in $\\ell^2$ at time zero stay close at all later times, provided their difference is $\\ell^1$-summable.","The uniqueness of the extended flow implies that, among all possible continuations past singularities, the convex-energy gradient flow selects a canonical one whenever the $\\ell^1$ condition holds."],"supporting_citations":[{"why":"Introduces hyperbolic vertex scaling and the extension of the Ricci energy that underlies the extended flow and its convexity.","marker":"[3]"},{"why":"Supplies the discrete maximum principle on infinite triangulations that forces the difference of two short-time solutions to vanish.","marker":"[8]"},{"why":"The Euclidean infinite-triangulation flow whose approximation and uniqueness strategies are adapted to the hyperbolic case.","marker":"[15]"},{"why":"Gives the admissible-space structure and the continuous extension of angles used to define the extended flow.","marker":"[25]"},{"why":"Used for the $\\epsilon$-uniform Delaunay condition and the existence theory of piecewise hyperbolic metrics.","marker":"[10]"},{"why":"Quoted for the curvature evolution formula that is the basis of the uniform $C^2$ bound.","marker":"[4]"},{"why":"Provides the area variation formula under vertex scaling used in the curvature evolution equation.","marker":"[9]"},{"why":"Provides the term-by-term differentiation lemma used to justify the energy estimate on infinite vertex sets.","marker":"[31]"},{"why":"Used in the convexity argument that gives uniqueness of the extended flow on finitely triangulated surfaces.","marker":"[7]"},{"why":"Used together with [7] for the convexity-based uniqueness of the extended flow on finite surfaces.","marker":"[24]"}],"fun_headline_variants":["Yamabe flow extended to infinite hyperbolic triangulations","Infinite triangulations yield to Yamabe flow","Global Yamabe flow now proven on infinite surfaces","Hyperbolic Yamabe flow tamed on infinite triangulations","Infinite hyperbolic meshes now flow under Yamabe"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness of the extended flow depends on the assumption that the difference of two solutions is summable in total size over time, a decay condition the flow is not shown to guarantee, and the proof uses the stronger condition that this sum is finite at every instant.","fun_headline_variants_meta":{"raw":{"variants":["Yamabe flow extended to infinite hyperbolic triangulations","Infinite triangulations yield to Yamabe flow","Global Yamabe flow now proven on infinite surfaces","Hyperbolic Yamabe flow tamed on infinite triangulations","Infinite hyperbolic meshes now flow under Yamabe"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000518,"raw_usage":{"total_tokens":2529,"prompt_tokens":980,"completion_tokens":1549,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":596,"completion_tokens_details":{"reasoning_tokens":1474}},"tokens_in":596,"tokens_out":1549,"duration_ms":10064,"temperature":1.0,"reasoning_tokens":1474,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:26:38.042808+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find two global solutions of the extended flow with the same initial data whose difference is not $\\ell^1$-summable in time but which separate as time increases; this would falsify the uniqueness theorem. Alternatively, on a bounded-degree infinite triangulation, take an $\\epsilon$-uniformly nondegenerate hyperbolic metric and check numerically whether the flow remains smooth up to time $T_0=\\delta_0/((2+D)\\pi)$; a singularity before that time would falsify the short-time existence theorem.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces hyperbolic vertex scaling and the extension of the Ricci energy that underlies the extended flow and its convexity."},{"cited_title":"The existence and uniqueness of infinite combinatorial Yamabe flows","cited_arxiv_id":"2507.12355","evidence_quote":"The Euclidean infinite-triangulation flow whose approximation and uniqueness strategies are adapted to the hyperbolic case."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the admissible-space structure and the continuous extension of angles used to define the extended flow."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Used for the $\\epsilon$-uniform Delaunay condition and the existence theory of piecewise hyperbolic metrics."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Quoted for the curvature evolution formula that is the basis of the uniform $C^2$ bound."},{"cited_title":"Glickenstein, J","cited_arxiv_id":null,"evidence_quote":"Provides the area variation formula under vertex scaling used in the curvature evolution equation."},{"cited_title":"Zhou,Real Analysis, 3rd edition","cited_arxiv_id":null,"evidence_quote":"Provides the term-by-term differentiation lemma used to justify the energy estimate on infinite vertex sets."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Used in the convexity argument that gives uniqueness of the extended flow on finitely triangulated surfaces."},{"cited_title":"Xu,Deformation of discrete conformal structures on surfaces","cited_arxiv_id":null,"evidence_quote":"Used together with [7] for the convexity-based uniqueness of the extended flow on finite surfaces."}],"review_version":1}