{"id":"b378dfcc-91fe-4313-813e-3f726e269a7a","arxiv_id":"2607.23584","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Under bounded degree and non-degeneracy, original 3D combinatorial Yamabe flows on infinite triangulations exist uniquely for short time; extended solid-angle flows exist globally.","lead":"The paper proves short-time existence and uniqueness for 3D combinatorial Yamabe flows on infinite triangulations, and global existence for extended flows that continue past degenerations. It moves discrete conformal geometry from finite meshes to unbounded, locally finite 3-manifolds.","discovery_kind":"extension","skeptic_critique":null,"referee_report":{"model":"moonshotai/kimi-k3","summary":"The manuscript studies Euclidean and hyperbolic three-dimensional combinatorial Yamabe flows on locally finite infinite triangulations. Using finite Dirichlet exhaustions, local curvature estimates, and Arzelà–Ascoli compactness, it proves short-time existence of the original flows under uniform real-neighborhood assumptions on the initial ball-packing metric (Theorem 1.2). Uniqueness is proved for pairs of solutions whose logarithmic or \\(w\\)-interpolations satisfy uniform strong non-degeneracy conditions, via curvature-evolution formulas and an infinite-graph maximum principle (Theorem 1.3). Finally, continuously extended solid angles are used to construct global extended flows: for arbitrary positive Euclidean initial data, and for bounded hyperbolic initial radii on bounded-degree triangulations (Theorem 1.4).","tokens_in":19170,"tokens_out":9636,"duration_ms":316864,"significance":"This is a useful extension of the finite-triangulation theory of Cooper–Rivin, Glickenstein, Ge–Jiang–Shen, and Ge–Hua to locally finite infinite complexes. The paper supplies a basic well-posedness framework in a genuinely noncompact discrete setting and proves global existence for the extended flows, including arbitrary positive initial data in the Euclidean case. Its strengths are the explicit non-degeneracy hypotheses, self-contained derivations of the Schlaefli identities and curvature evolution, detailed finite-exhaustion estimates, and a clearly stated infinite-graph maximum principle. The arguments introduce no fitted parameters or circular reductions. The main limitation is that uniqueness of the original flows is conditional on non-degeneracy along the entire interpolation between two competitors, rather than being derived from the initial-data hypotheses of Theorem 1.2.","major_comments":[],"minor_comments":[{"comment":"As stated, the first implication is missing the assumption that f(0)\\le 0. For example, f\\equiv 1 with h=0 satisfies the displayed differential inequality and all boundedness hypotheses but not the conclusion. The proof and the uniqueness applications use f(0)=0, so adding the initial condition repairs the statement.","section":"Lemma 2.2"},{"comment":"The interpolation hypotheses in Theorem 1.3 are assumptions on the class of competing solutions, not consequences of Theorem 1.2. This is transparent in the theorem but less so in the abstract and introduction. Please state explicitly that uniqueness is proved among solution pairs whose entire logarithmic or w-interpolation remains uniformly non-degenerate, or derive that property for a stated short time.","section":"Theorem 1.3 and abstract"},{"comment":"The term “circumscripted sphere” is defined here as a sphere tangent to all six edges. In standard usage a circumsphere passes through the vertices; “midsphere” or “interscripted sphere” would be less ambiguous. Please align the terminology with Glickenstein's usage or keep the definition prominently displayed.","section":"Section 3.1, after Proposition 3.3"},{"comment":"The symbol q_i is already used for graph degree, while q_i(t) denotes the zeroth-order coefficient in the hyperbolic uniqueness equation. Renaming the latter, for example b_i(t), would avoid confusion.","section":"Proof of Theorem 1.3(2)"},{"comment":"The phrase “for every ordered tetrahedron {i,j,k,l}” mixes ordered and set notation. It would be clearer to say “for every tetrahedron and every choice of distinguished vertex i.” The same clarification applies to the hyperbolic condition.","section":"Definition 1.1"},{"comment":"Lemma 5.1 is elementary and load-bearing for identifying the C^1 limit. The citation to Evans, Section 5.8, is somewhat indirect; either give a precise statement/page reference or include the short du Bois–Reymond/Fundamental Lemma argument.","section":"Lemma 5.1"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The new piece is clear: short-time existence and uniqueness for the original 3D combinatorial Yamabe flows on locally finite infinite triangulations (Euclidean and hyperbolic), plus global existence for the extended flows via continuous solid-angle extensions. That is the natural infinite analogue of Glickenstein / Ge–Hua / Ge–Jiang–Shen, and it was not already in the literature.\n\nWhat the paper does well is the analytic scaffolding. Finite Dirichlet exhaustions, elementary curvature bounds from degree, Arzelà–Ascoli diagonal limits, passage to the limit in integral form, and the weighted infinite-graph maximum principle are all written carefully and match the template from the infinite-surface program (Ge–Hua–Zhou and the author’s own 2D Yamabe note). Curvature evolution, dual-area weights, and the hyperbolic Schläfli extra term are handled with the right citations. Extended long-time existence is clean once you accept the continuous extension of solid angles from the finite theory.\n\nSoft spots are real but proportionate. Uniqueness for the original flows is conditional: Euclidean needs every logarithmic interpolant to stay in strong non-degeneracy II; hyperbolic needs a uniform positive lower radius bound plus strong non-degeneracy I on interpolants. Those are hypotheses on the solution class, not invariants proved along the flow. Extended-flow uniqueness is not claimed, and there is no convergence or discrete-uniformization statement—only well-posedness and global existence of the extended ODEs. Bounded degree is load-bearing for the hyperbolic extended case and for uniform weight bounds. None of that breaks the theorems as stated; it just marks where the next papers have to work.\n\nCitations look honest and the dependence on prior extension/derivative formulas is standard, not circular. No data, no formal verification—pure existence analysis.\n\nThis is for people already in discrete conformal geometry or combinatorial curvature flows who care about noncompact 3-complexes. A serious editor should send it to referees. I would engage if I were working on infinite discrete Yamabe/Ricci; otherwise it is a clean reference result rather than something I need next month.","headline":"Solid infinite-3D well-posedness for combinatorial Yamabe flows; real step past the finite theory, with uniqueness still conditional on non-degeneracy of interpolants.","tokens_in":19688,"tokens_out":537,"would_cite":false,"duration_ms":17824,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C44","52C25","57Q15","35K55"],"pacs":[],"model":"grok-4.5","headline":"Combinatorial Yamabe flow on infinite 3D triangulations exists for short time, and extended solid-angle flows run forever.","keywords":["combinatorial Yamabe flow","ball-packing metrics","solid-angle extension","infinite triangulations","Euclidean background geometry","hyperbolic background geometry","maximum principle on graphs"],"falsifier":"Exhibit two distinct short-time solutions of the original Euclidean flow whose logarithmic interpolations all satisfy strong non-degeneracy II, or a bounded-degree hyperbolic example with bounded initial radii whose extended flow blows up or ceases to be C1 in finite time.","tokens_in":19926,"feed_emoji":"△","tokens_out":911,"duration_ms":14425,"temperature":0.7,"pith_summary":"This paper takes the discrete Yamabe flow—an evolution of vertex radii that tries to drive solid-angle defects toward constant curvature—and shows it can be run on infinite, locally finite 3-manifold triangulations, not only finite ones. In both Euclidean and hyperbolic background geometries, if the triangulation has bounded degree and the initial ball-packing metric sits in a uniform real neighborhood, the original flow exists and is unique for a short positive time. When tetrahedra degenerate, the author replaces ordinary solid angles by their continuous extensions (2π at a dominant vertex, 0 at the others) and proves that the resulting extended flows exist for all time: globally for every positive Euclidean initial metric, and globally for hyperbolic metrics with uniformly bounded initial radii on bounded-degree triangulations. A sympathetic reader cares because this supplies the basic well-posedness needed before one can ask about long-time convergence, discrete uniformization, or curvature prescription on noncompact 3-complexes.","feed_headline":"Infinite 3D Yamabe flows exist short-term, extended forever","feed_subtitle":"Bounded-degree triangulations get well-posed original flows and global extended solid-angle flows","key_machinery":"The continuous extension of solid angles to virtual tetrahedra (2π at the unique dominant vertex, 0 elsewhere) together with finite Dirichlet exhaustion plus an infinite-graph maximum principle; these turn local ODE theory and dual-area curvature evolution into global C1 solutions on the infinite vertex set.","core_discovery":"On a locally finite triangulation of bounded degree, a real-neighborhood assumption on the initial ball-packing metric yields short-time existence and uniqueness of the original Euclidean and hyperbolic combinatorial Yamabe flows; continuous extension of solid angles then produces globally defined extended flows for all positive Euclidean data and for hyperbolic data with bounded initial radii.","pith_inferences":["Global existence of the extended flows is only the first half of a discrete uniformization program; convergence or asymptotic shape of the metric is left open and would be the natural next target.","If the a-priori interpolation non-degeneracy can be verified along the flow itself, uniqueness would upgrade from conditional to unconditional on the natural solution class.","The large-radius estimate that keeps hyperbolic extended solid angles small may also control diameter growth and thereby feed into future compactness or convergence arguments."],"forward_implications":["Short-time original flows are now available as a well-posed starting point on infinite 3D triangulations of bounded degree.","Extended Euclidean flows exist for every positive initial metric, so degeneration of tetrahedra no longer stops the evolution.","Extended hyperbolic flows exist globally whenever initial radii are uniformly bounded and degree is bounded.","Curvature evolution reduces to a weighted graph Laplacian (plus a lower-order term in hyperbolic geometry), opening maximum-principle arguments on infinite graphs.","The same exhaustion-plus-extension pattern can be reused for other discrete curvature flows on infinite 3-complexes."],"fun_headline_variants":["3D infinite Yamabe flows: short-time existence, extended forever","Bounded-degree triangulations yield short original, global extended flows","Short-time unique 3D Yamabe flows; solid-angle extensions last forever","Infinite 3D Yamabe: original flows local-in-time, extended ones global","Locally finite 3D Yamabe flows exist briefly then extend indefinitely"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"Uniqueness needs every interpolated metric between two candidate solutions to stay uniformly non-degenerate for the whole time interval—an a-priori restriction on the solution class that is assumed rather than proved to follow from the flow.","fun_headline_variants_meta":{"raw":{"variants":["3D infinite Yamabe flows: short-time existence, extended forever","Bounded-degree triangulations yield short original, global extended flows","Short-time unique 3D Yamabe flows; solid-angle extensions last forever","Infinite 3D Yamabe: original flows local-in-time, extended ones global","Locally finite 3D Yamabe flows exist briefly then extend indefinitely"]},"model":"grok-4.5","effort":"low","cost_usd":0.004335,"raw_usage":{"total_tokens":1189,"prompt_tokens":591,"num_sources_used":0,"completion_tokens":84,"cost_in_usd_ticks":43348000,"prompt_tokens_details":{"text_tokens":591,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":514,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":591,"tokens_out":84,"duration_ms":8577,"temperature":1.0,"reasoning_tokens":514,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T18:13:57.291038+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit two distinct short-time solutions of the original Euclidean flow whose logarithmic interpolations all satisfy strong non-degeneracy II, or a bounded-degree hyperbolic example with bounded initial radii whose extended flow blows up or ceases to be C1 in finite time.","supporting_citations":[],"review_version":1}