{"id":"5014f703-a5c3-4ba9-93ca-7ecc29100aba","arxiv_id":"2507.12355","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The infinite combinatorial Yamabe flow exists locally and uniquely on uniformly nondegenerate, uniformly Delaunay triangulations with bounded degree, has a globally defined extension, and converges near the regular metric on the hexagonal lattice.","lead":"This paper proves short-time existence and uniqueness for a discrete version of the Yamabe flow on infinite triangulated surfaces, under uniform nondegeneracy and Delaunay conditions, and it establishes long-time existence for an extended version of the flow. It also shows convergence to the regular metric for small perturbations of the hexagonal triangulation of the plane, extending discrete uniformization ideas to noncompact surfaces.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.4 rests on Lemma 3.4 imported from unpublished [20], and its final step from integrable energy to E(t)->0 is not justified.","rationale":"The reader's CONDITIONAL verdict is appropriate. Theorems 1.1, 1.2, and 1.3 are essentially self-contained: Theorem 1.1 uses finite-dimensional ODE approximations with a diagonal Arzela-Ascoli argument; Theorem 1.2 uses Peano existence plus a weak-derivative regularity lemma; Theorem 1.3 uses the maximum principle Lemma 3.3, whose proof is included. I found no fatal internal flaw in those arguments. The genuine weak point is Theorem 1.4. The reader correctly identifies the dependence on Lemma 3.4 from the unpublished preprint [20]. I partially agree, because my review also found a second, internal gap: the inference from integral_0^infty E(u(t)) dt < infinity to E(u(t)) -> 0 requires an extra regularity argument that is absent from the text. This gap is probably repairable, but it is not written. Therefore the convergence application remains conditional on external verification of [20] and on filling the final analytic detail, while the main existence and uniqueness results stand. The verdict should remain CONDITIONAL, not stronger, because no fatal flaw was found and the missing steps are plausibly fixable. My agreement with the reader is partial because the reader's weakest assumption covered the external lemma but not the energy-decay inference.","tokens_in":10160,"tokens_out":22146,"duration_ms":272261,"concrete_test":"Independently re-derive Lemma 3.4 for the hexagonal lattice from equation (3.13). The decisive check is the energy estimate (3.14): compute d/dt ||u||_{l2}^2 = 2<u, Delta_c u + F(u)> = -2c E(u) + 2<u,F(u)> with c = sqrt(3)/3, and prove the bound |2<u,F(u)>| <= c E(u) for all u with ||u||_{l2} < epsilon_0. If this bound fails, for example for a slowly varying l2 function with very small Dirichlet energy, then (3.14) cannot hold as stated and Lemma 3.4 cannot be invoked. Also check that the proof in [20] provides enough time regularity of E(t), such as Lipschitz continuity or absolute continuity with L^1 derivative, to justify E(t)->0 from the finiteness of the integral of E.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 1.4, the hexagonal-lattice Yamabe flow is reduced to the semilinear equation (3.13), and Lemma 3.4 is then imported from the unpublished preprint [20] as the source of local existence and of the energy inequality (3.14). This is the only place where the paper's claims rely on an external result. If Lemma 3.4 has hidden hypotheses not met here, such as a stronger weighted-l2 space, an l-infinity smallness condition, or a different notion of solution, then the convergence theorem has no independent support; the paper gives no proof and no verification that [20] applies verbatim. Additionally, the proof of Theorem 1.4 contains an internal gap after (3.14): from the conclusion integral_0^infty E(u(t)) dt < infinity, the paper asserts 'E(u(t)) -> 0 as t -> infinity'. This does not follow for a general nonnegative integrable function. A valid inference would require showing that E(t) is, for example, Lipschitz or absolutely continuous with integrable derivative; no such regularity argument is supplied, and it would have to be extracted from the solution theory behind Lemma 3.4. Thus Theorem 1.4 is load-bearing on two unsecured steps: the unverified external lemma and the energy-decay inference.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the combinatorial Yamabe flow (1.3) on infinite triangulated surfaces in Euclidean background geometry. Under the assumptions that the triangulation has bounded vertex degree and the initial PL metric is uniformly nondegenerate and uniformly Delaunay, Theorem 1.1 establishes short-time existence on [0,T0) with T0 depending only on the nondegeneracy/Delaunay constant epsilon and the degree bound M. Theorem 1.2 proves global existence of a C^1 solution for an extended flow that allows generalized triangles. Theorem 1.3 proves uniqueness of solutions on [0,T] provided the linear interpolation of the two solutions remains uniformly Delaunay. As an application, Theorem 1.4 claims that on the hexagonal triangulation of the plane, the flow starting from any l2-small conformal factor converges to the regular metric.","tokens_in":10415,"tokens_out":10773,"duration_ms":116251,"significance":"If valid, Theorems 1.1–1.3 constitute the first existence, long-time existence of the extended flow, and uniqueness results for the combinatorial Yamabe flow on infinite noncompact triangulated surfaces. The proofs of these theorems are largely self-contained and use transparent ODE/diagonal arguments and a discrete maximum principle. Theorem 1.4 would be a natural first convergence result on a noncompact lattice, but its proof rests on an unproved external lemma and contains several invalid inference steps, so the convergence result is not established in the present manuscript.","major_comments":[{"comment":"Lemma 3.4, which supplies local existence and the energy inequality (3.14) for the semilinear equation (3.13), is imported verbatim from the unpublished preprint [20] with no proof and no verification that the hypotheses of Theorem 5.4 in [20] are satisfied in the present setting. Since Theorem 1.4's local existence rests entirely on this lemma, the convergence result is not independently supported; the author should either provide a complete proof of Lemma 3.4 or cite a published version with explicit, checkable hypotheses.","section":"Section 3, Lemma 3.4"},{"comment":"The proof claims that because ||phi||_{l2} < epsilon_0 and the solution satisfies sup_t ||u(t)||_{l2} <= epsilon_0, the metric u(t)*d satisfies the angle bounds (3.15) and (3.16). This inference is invalid: the bounds (3.15),(3.16) were obtained in the preceding paragraph under an l-infinity closeness assumption ||u-phi||_{l-infinity} <= 2 epsilon_1, and an l2 bound does not control the l-infinity norm on the hexagonal lattice. Without an l-infinity estimate for the solution, the restarting argument and the preservation of the uniform Delaunay property are not justified.","section":"Section 3, proof of Theorem 1.4"},{"comment":"From (3.14) the paper concludes integral_0^infty E(u(t)) dt < infinity and then asserts E(u(t)) -> 0 as t -> infinity. For a nonnegative integrable function this implication is false in general; one needs additional regularity of E(t), such as Lipschitz continuity, which is not established. Moreover, even if E(u(t)) -> 0, this only indicates that u(t) becomes asymptotically constant in the Dirichlet sense; because the flow is invariant under adding a constant to u, it does not imply convergence to the specific regular metric u ≡ 0. The assertion that u(t) ∗ d converges to the regular metric therefore requires a specified topology and a normalization argument, neither of which is provided.","section":"Section 3, proof of Theorem 1.4, final paragraph"}],"minor_comments":[{"comment":"There are typos: 'dicrete' in Definition 1.2 should be 'discrete', and 'bouneded' in Theorem 1.3 should be 'bounded'.","section":"Definitions 1.2 and Theorem 1.3"},{"comment":"The phrase 'Arzela-Ascoli theorm' should be 'Arzela-Ascoli theorem'.","section":"Proof of Theorem 1.2"},{"comment":"In condition (3.8), the quantifier '∀(j,t) ∈ V × [0,T]' should range over (i,t) rather than (j,t), since the sum is taken over neighbors j ~ i.","section":"Lemma 3.3"},{"comment":"The norm notation ||u[i]_j(t)||_{C^2[0,T0)} is used without a definition; please clarify that it is the usual C^2 norm on the time interval [0,T0).","section":"Proof of Theorem 1.1"},{"comment":"Reference [20] is an unpublished preprint; please update to a published version or include a permanent identifier such as an arXiv number.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The main concern is the paper's reliance on the unpublished preprint [20] for Lemma 3.4. If [20] is not accepted or its Theorem 5.4 has hidden assumptions, Theorem 1.4 is unsupported. The l2/l-infinity gap and the E(t)->0 inference are additional revision points that can be fixed with more analysis. I recommend asking the author to prove Lemma 3.4 or replace the dependency, and to address the three major comments before reconsideration."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bohao Ji proves short-time existence and uniqueness for the combinatorial Yamabe flow on infinite triangulations with bounded degree and uniformly nondegenerate, uniformly Delaunay initial metrics, plus long-time existence for the extended flow and a hexagonal convergence theorem. Theorems 1.1-1.3 are the real contribution and they hold up: the finite-exhaustion argument with Arzela-Ascoli and the discrete maximum principle (borrowed from Ge-Hua-Zhou, but reproved here as Lemma 3.3) are clean. The variational principle and curvature evolution are standard but correctly deployed. The paper is honest about the extended flow's non-uniqueness (Remark 3.1).\n\nThe soft spot is Theorem 1.4. It depends on Lemma 3.4, imported without proof from the unpublished preprint [20]. The lemma provides local existence and the energy inequality (3.14) for the semilinear reformulation on the hexagonal lattice. If [20] has hidden hypotheses, the application collapses. That dependency alone would make me ask for either a proof or a verified version of [20].\n\nThere is also an internal gap after (3.14): from \\int E(u(t))dt<\\infty the paper asserts E(u(t))->0. That inference does not follow for a general nonnegative integrable function; it needs a regularity argument (e.g., Lipschitz or absolutely continuous E). No such argument is supplied. This is fixable, but as written the convergence conclusion is not fully justified.\n\nMinor notes: the bound in (3.4) is coarse but fine; the proof of Lemma 3.1 is elementary and correct. The citation pattern is appropriate; the new theorems do not secretly re-derive the inputs.\n\nIf I were handling this, I would send it to review. Theorems 1.1-1.3 deserve publication, and Theorem 1.4 is plausible but needs work. A referee should focus on Lemma 3.4 and the energy decay step.","headline":"Solid existence and uniqueness theory for infinite combinatorial Yamabe flow; the hexagonal convergence theorem rests on two unsecured steps.","tokens_in":10915,"tokens_out":3284,"would_cite":true,"duration_ms":35077,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C44","52C26","35K55"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper establishes short-time existence and uniqueness of the combinatorial Yamabe flow on infinite triangulated surfaces, long-time existence of an extended flow, and convergence to the regular metric on the hexagonal lattice.","keywords":["combinatorial Yamabe flow","discrete conformal geometry","infinite triangulation","noncompact surfaces","hexagonal triangulation","PL metric","discrete curvature","semilinear parabolic equation"],"falsifier":"Numerically integrate the flow (1.5) on a large finite hexagonal patch with an initial conformal factor phi whose $\\ell^2$ norm is below the paper's epsilon0 but chosen so that the linearized energy increases initially; then check whether the dissipation inequality d/dt ||u||^2_l2 + ($\\sqrt$(3)/3) E(u) ≤ 0 from (3.14) holds at all times. A violation, or a solution whose Dirichlet energy E(u(t)) does not tend to zero, would disprove Theorem 1.4.","tokens_in":9947,"feed_emoji":"🔺","tokens_out":3977,"duration_ms":46566,"temperature":0.7,"pith_summary":"The paper proves that the combinatorial Yamabe flow, a discrete analogue of the Ricci flow for piecewise-linear metrics, admits solutions on infinite noncompact triangulated surfaces under natural geometric hypotheses. Specifically, it shows short-time existence and uniqueness when the initial metric is uniformly nondegenerate and uniformly Delaunay, and it proves that an extended version of the flow, which permits degenerate triangles, exists for all time. As an application, it shows that on the infinite hexagonal triangulation of the plane, any initial conformal factor with sufficiently small $\\ell^2$ norm flows to the regular flat metric. This gives the first existence, uniqueness, and convergence results for the discrete Yamabe flow on noncompact triangulated surfaces.","feed_headline":"First existence proof for infinite combinatorial Yamabe flow","feed_subtitle":"Flow on noncompact triangulated surfaces is unique and converges on the hexagonal lattice.","key_machinery":"The main mechanism is an exhaustion argument: the flow is solved on finite subcomplexes with boundary conditions, uniform bounds on curvature and on the cotangent-weighted Laplacian give the needed C1 or C2 compactness, and a diagonal Arzela-Ascoli limit produces the infinite solution. The curvature evolution equation dKi/dt = Δ_μ(t) Ki converts the flow into a discrete nonlinear heat equation, and a maximum principle for such equations yields uniqueness. For the hexagonal lattice, the angle function G is expanded in Taylor series around the regular triangle, rewriting the flow as a semilinear parabolic equation ui' - Δ_c ui = F(Du)(i) with a quadratic error term; an energy inequality then forces the Dirichlet energy to zero, giving convergence.","core_discovery":"The central discovery is that the combinatorial Yamabe flow (1.3) has a smooth solution on a time interval [0,T0(epsilon,M)) for any infinite triangulation with vertex degree bounded by M, provided the initial PL metric is uniformly nondegenerate and uniformly Delaunay (Theorem 1.1). The extended flow (1.4), defined through a continuous extension of inner angles to degenerate triangles, has a global C1 solution for all time t≥0 (Theorem 1.2). Uniqueness holds whenever the linear interpolation of two solutions stays uniformly Delaunay (Theorem 1.3). Finally, on the hexagonal triangulation with the regular metric as background, the flow starting from any conformal factor with $\\ell^2$ norm below a universal constant converges to the regular metric (Theorem 1.4).","pith_inferences":["If the imported lemma holds, the hexagonal convergence result applies to any l2-small perturbation, not just pointwise small ones, indicating genuinely parabolic behaviour of the discrete flow.","The method suggests a route to convergence results on other periodic Delaunay triangulations of the plane, where the same Taylor-expansion trick applies around the regular metric.","The dependence of Theorem 1.4 on an unpublished preprint means the convergence theorem is conditional; a self-contained proof of the energy inequality (3.14) would remove that condition."],"forward_implications":["The flow (1.3) can be run for a definite positive time on every infinite triangulation with bounded degree whose initial PL metric is uniformly nondegenerate and uniformly Delaunay.","Two solutions that stay uniformly Delaunay along their linear interpolation must coincide, so the flow is unique in that regime.","The extended flow runs for all time even when triangles degenerate, though uniqueness for the extended flow is left open.","On the hexagonal triangulation, every conformal factor with l2 norm below a universal threshold flows to the regular flat metric."],"supporting_citations":[{"why":"Supplies the definition of discrete conformal factors, the combinatorial Yamabe flow, and the variational principles for angle derivatives used throughout.","marker":"[3]"},{"why":"Provides the extended-flow strategy for avoiding removable singularities on finite triangulations, which the infinite case adapts.","marker":"[5]"},{"why":"Provides the maximum principle for nonlinear discrete heat equations and, crucially, the imported Lemma 3.4 giving local existence and the energy inequality on the hexagonal lattice.","marker":"[20]"},{"why":"Supplies the weak-strong regularity lemma used to upgrade the weak solution of the extended flow to a C1 solution in Theorem 1.2.","marker":"[23]"}],"fun_headline_variants":["Infinite combinatorial Yamabe flow: existence and uniqueness","Extended flow runs forever on noncompact surfaces","Yamabe flow converges on hexagonal lattice","Short-time flow exists for any bounded-degree triangulation","Uniqueness proven for infinite combinatorial Yamabe flow"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The convergence theorem rests on an imported lemma from an unpublished preprint asserting local existence and an energy-dissipation inequality for the semilinear equation on the hexagonal lattice; if that lemma has hidden hypotheses or fails, the convergence result is unsupported.","fun_headline_variants_meta":{"raw":{"variants":["Infinite combinatorial Yamabe flow: existence and uniqueness","Extended flow runs forever on noncompact surfaces","Yamabe flow converges on hexagonal lattice","Short-time flow exists for any bounded-degree triangulation","Uniqueness proven for infinite combinatorial Yamabe flow"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000129,"raw_usage":{"total_tokens":1028,"prompt_tokens":758,"completion_tokens":270,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":374,"completion_tokens_details":{"reasoning_tokens":198}},"tokens_in":374,"tokens_out":270,"duration_ms":3127,"temperature":1.0,"reasoning_tokens":198,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T16:49:11.472596+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically integrate the flow (1.5) on a large finite hexagonal patch with an initial conformal factor phi whose $\\ell^2$ norm is below the paper's epsilon0 but chosen so that the linearized energy increases initially; then check whether the dissipation inequality d/dt ||u||^2_l2 + ($\\sqrt$(3)/3) E(u) ≤ 0 from (3.14) holds at all times. A violation, or a solution whose Dirichlet energy E(u(t)) does not tend to zero, would disprove Theorem 1.4.","supporting_citations":[{"cited_title":"Combinatorial Yamabe flow on surfaces","cited_arxiv_id":null,"evidence_quote":"Supplies the definition of discrete conformal factors, the combinatorial Yamabe flow, and the variational principles for angle derivatives used throughout."},{"cited_title":"On the deformation of discrete con- formal factors on surfaces","cited_arxiv_id":null,"evidence_quote":"Provides the extended-flow strategy for avoiding removable singularities on finite triangulations, which the infinite case adapts."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the weak-strong regularity lemma used to upgrade the weak solution of the extended flow to a C1 solution in Theorem 1.2."}],"review_version":1}