Konig's Infinity Lemma for locally finite ultrametric spaces generated by labeled trees

Oleksiy Dovgoshey; Olga Rovenska

REVIEW 4 major objections 4 minor 2 references

Konig's Infinity Lemma for locally finite ultrametric spaces generated by labeled trees

T0 review · 4 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For labeled-tree ultrametrics, local finiteness is decided by rays and star subgraphs.

desk verdict A clear, honest announcement of a result already proved in the authors' own 2026 paper; there is no new derivation here, so treat it as a pointer, not a self-contained contribution. read the letter →

arxiv 2607.14098 v1 pith:UMFAUACO submitted 2026-04-24 math.GN

Oleksiy Dovgoshey , Olga Rovenska This is my paper · ORCID

classification math.GN MSC 05C0554E35

keywords ultrametricspaceslabeledtreeslocallyfiniteseparableinfinitylemmaraysstargraphstreelabeling

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper's aim is a metric analogue of the classical infinity lemma: for ultrametric spaces generated by labeled trees, it claims that local finiteness of the whole space reduces to local finiteness along one-way infinite paths and at stars. A second claim characterizes separability: a tree generates a separable ultrametric space exactly when its vertex set is countable, which happens for every labeling if it happens for any. The paper presents these as theorems proved in a companion article and uses them to exhibit locally finite ultrametric spaces on trees that contain rays or infinite-degree vertices. The upshot is a two-part structural test for when an infinite labeled tree presents a locally finite ultrametric.

What carries the argument

The central object is a labeled tree T(l), where l: V(T) → ℝ⁺ assigns positive real labels to vertices; the generated ultrametric takes the maximum label along the unique path between two vertices, and it is a genuine ultrametric when adjacent vertices are not both zero-labeled. The argument's engine is the decomposition of infinite trees into rays — one-way infinite paths — and star graphs — a vertex together with all its neighbors. This is the same dichotomy used in the classical infinity lemma, and the paper's claim is that these two kinds of subtrees fully control the metric property of local finiteness.

What would settle it

Build a separable labeled tree whose every ray and every star subgraph is locally finite as a restricted ultrametric space, but whose full space has an infinite ball of finite radius. The natural candidate is a root with countably many rays attached; if any ball around the root of positive radius is infinite despite each ray and the star being locally finite, Theorem 2 fails. Alternatively, check the companion paper's proof to see where ray-and-star finiteness is assembled into global finiteness.

Watch

Extended reading notes

Core claim

The paper establishes an analogue of the classical infinity lemma for locally finite ultrametric spaces generated by labeled trees. Let T(l) be a tree with a positive-real labeling of its vertices, inducing the ultrametric d_l(u,v) = max{l(w) : w lies on the path between u and v}. Theorem 2 states that if the generated space (V(T),d_l) is separable, then it is locally finite if and only if the restricted ultrametric spaces on every ray R ⊆ T and every star graph S ⊆ T are locally finite. Theorem 1 states that the vertex set of T is countable if and only if every labeling generates a separable ultrametric space, and this is also equivalent to the existence of a separable generated ultrametric

Load-bearing premise

The equivalence stands on the correctness of the companion paper's proof of Theorems 1 and 2, and on the two papers using exactly the same definitions of separability, local finiteness, and non-degenerate labeling; the present text does not prove either theorem.

Editorial extensions

If this is right

To certify that a separable labeled tree generates a locally finite ultrametric space, one only needs to check the induced ultrametric on every ray and every star, not on arbitrary subtrees.
A tree can have a ray with unbounded labels and still generate a locally finite ultrametric, as in Example 1.
A tree can have a vertex of infinite degree and still generate a locally finite ultrametric, provided the star labeling is injective with values in the natural numbers, as in Example 2.
The equivalence gives a constructive dictionary: metric local finiteness of the generated space corresponds to ray-finiteness plus star-finiteness in the underlying labeled tree.
It complements the known characterizations for totally bounded ultrametric spaces generated by labeled rays and stars, extending them to the locally finite case.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A natural next question, not addressed in the paper, is whether the separability assumption in Theorem 2 can be dropped; if the ray/star criterion held without it, the characterization would be purely tree-theoretic.
The theorem suggests an algorithmic test for local finiteness: enumerate rays and stars of the tree and check finiteness of the restricted balls, which is feasible for recursively presented trees.
Read backwards, the equivalence implies that any failure of local finiteness in a separable generated ultrametric must be witnessed by either a single ray or a single star, so infinite balls can be traced to a one-dimensional or one-node obstruction.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: this is an announcement, not a paper. The abstract says “we provide characterizations,” but the body explicitly says Theorems 1 and 2 were proved in the authors’ own [15] and no proof or proof sketch follows. If you want the result, read [15]; this note is a two-page summary with examples.

What the note does well is to put a clean statement of a König-type lemma on the table. Theorem 2—local finiteness of the generated ultrametric space is equivalent to local finiteness along every ray and at every star graph—is a natural structural characterization, and the two examples show how to apply it without drowning in notation. For specialists in the labeled-tree/ultrametric program, it’s a useful thumbnail.

The soft spot is exactly what the reader identified: the central claim is unverifiable from this text. The definitions of “locally finite ultrametric space,” “ray,” “star graph,” and “non-degenerate labeling” are not spelled out; they are referenced to [3]. The proof is in [15], which is cited but not attached. So this manuscript cannot be independently checked. I don’t hold the self-citation against the authors—the result is their own and it is published—but as a standalone submission it has essentially no mathematical content beyond the quoted statements. The examples are illustrative, not new results.

One caveat: the abstract overstates. “We provide characterizations” is true only in the sense that these characterizations are restated from [15]. That mismatch is probably worth pointing out to the authors if they post a revision.

The underlying math, if [15] checks out, is a nice addition to the structural theory of ultrametric spaces generated by labeled trees. The equivalence in Theorem 2 is a local-to-global principle and the two examples are helpful sanity checks. The reference list looks appropriate, with relevant work in the area.

Who is this for? Someone who is already familiar with [15] or the papers [3,6] and wants a compact statement. A general topologist won’t get much, and a referee cannot validate the theorem from the text. My recommendation for peer review: this is not a paper that deserves referee time as-is; it’s an extended abstract. If the authors want a citable announcement, they should either include the full proof or clearly position it as a summary of published work. I’d suggest the editor send it back and ask for either a full version or a change in framing.

Referee Report

4 major / 4 minor

Summary. The manuscript studies labeled trees T(l) with vertex labeling l: V(T)→ℝ⁺ and the induced ultrametric dl defined by taking the maximum label along the path between two vertices. It states two theorems, both attributed to the authors' prior paper [15]: Theorem 1 gives four equivalent conditions for separability of all/some generated ultrametric spaces, and Theorem 2 gives a local-finiteness characterization—an ultrametric space generated by a separable labeled tree is locally finite iff its restrictions to every ray and every star subgraph are locally finite. Two examples illustrate the theorem. The paper contains no proofs; the theorems are quoted verbatim from [15], and the surrounding text only provides definitions and examples.

Significance. If Theorem 2 is correct, it is a structurally appealing analog of König's Infinity Lemma for locally finite ultrametric spaces, and Theorem 1 would give a clean separability criterion for ultrametric spaces generated by labeled trees. The statements are clear, and the examples illustrate the intended applications; no internal inconsistency is visible in the statements themselves. However, the manuscript's central content is entirely contained in the cited companion paper [15], and no independent derivation or proof sketch is provided here. Consequently, the contribution of this particular document cannot be fully assessed from its text; its value as a standalone paper depends on whether it is intended as a research announcement or as a self-contained proof-bearing article. The paper also leaves several load-bearing definitions implicit, which undermines the verifiability of the claims.

major comments (4)

[Theorems 1 and 2 (after definition of dl)] The two central results are not proved, not sketched, and not derived in the manuscript; the text simply states 'The following two results were proved in [15]'. Since Theorem 2 is the announced analog of König's Infinity Lemma and the abstract says 'we establish' it, the reader cannot check the equivalence from this document. This is a load-bearing gap: if the paper is meant to be self-contained, the full proofs (or at least detailed proof outlines) must be included; if it is meant as a research announcement, the title, abstract, and introduction should explicitly say so and state that the proofs are in [15]. As written, the abstract overstates the content of the manuscript.
[Terminology imported from [3]] The manuscript says 'we will use the terminology of [3]' and then invokes 'non-degenerate labeling' (Theorem 1(4)) and 'locally finite ultrametric space' (Theorem 2 and both examples) without defining them. These notions are load-bearing: for example, the exact meaning of 'locally finite'—whether finite balls, finite metric spheres, or finite closed balls—changes the content of Theorem 2. Please state these definitions, or quote them from [3], so that the statements can be checked without consulting multiple external papers.
[Theorem 2 statement] The theorem begins 'Let T = T(l) be a separable ultrametric space generated by labeling l : V(T) → ℝ⁺.' This conflates the tree T with the ultrametric space (V(T), dl), and it is not clear whether the quantifier over l is fixed or existential. The statement should be rephrased, e.g., 'Let (V(T), dl) be a separable ultrametric space generated by a labeling l : V(T) → ℝ⁺.' Without this clarification, the theorem's hypothesis is ambiguous and the subsequent examples inherit the ambiguity.
[Example 1 and Figure 1] Example 1 asserts that if a tree T contains a ray R with labels lR(vn)=n and l is a non-degenerate labeling extending lR, then (V(T), dl) is locally finite by Theorem 2. As written, however, T may contain additional vertices not on R; local finiteness then depends also on the labels and arrangement of those extra vertices. The example needs to specify the full structure of T (or explicitly state that T is exactly the ray, or that all other branches satisfy the star/ray conditions). Similarly, Example 2 asserts local finiteness for a star with infinite degree, but the labeling must be checked against the definition of local finiteness. These examples are meant to illustrate Theorem 2, but in their current form they are under-specified.

minor comments (4)

[Equation for dl] The displayed formula for dl is malformed in the text: the piecewise definition is broken across the line and the equation number/colon appears out of place. Please typeset the cases cleanly.
[Example 1 notation] The text says 'labeling lR : V(T) → ℝ⁺ satisfying lR(vn)=n', but if lR is to be a restriction of l to V(R), its domain should be V(R), not V(T).
[Notation consistency] Example 2 uses 'degT(c)' while elsewhere the manuscript uses 'deg_T'; please standardize. Also, the title uses 'Konig's' while the first paragraph uses 'König's'; keep the spelling consistent.
[References] The paper relies on [3] for terminology and [15] for all main results. In the references, [15] is listed with a DOI but no page numbers; if it is already published, the final version should cite the volume and pages; if it is still in press, the dependence should be stated explicitly in the text.

Circularity Check

0 steps flagged · score 1.0 of 10

No circular derivation; the central theorems are explicitly delegated to a published companion paper [15].

full rationale

The paper does not attempt to derive Theorems 1 and 2 in the present text; it explicitly states 'The following two results were proved in [15]' and then uses them as black boxes. There is no construction by which the theorems reduce to their own assumptions, no fitted parameter renamed as a prediction, and no definitional identification of input and output. The abstract's phrasing 'we provide characterizations' and 'we establish an analog of König's Infinity Lemma' overstates the proof content actually present, since the proofs are delegated to [15]. That is a verification gap and a rhetorical mismatch, but not circularity: [15] is a published, peer-reviewed journal article by the same authors, and the theorem statements are externally checkable mathematical content with no fitted values. Examples 1 and 2 simply apply Theorem 2 rather than re-deriving it. No specific circular step can be exhibited, so the score reflects no significant circularity.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No numeric free parameters and no invented entities appear. The central results are imported from the authors' own [15]; the only nonstandard support is that external proof plus the earlier metric-characterization result [3].

assumptions (3)

standard math Standard ZFC/graph-theoretic background: definitions of tree, path, ray, star graph, countability.
Conventional mathematical background; no nonstandard assumptions.
domain assumption Prior result from [3]: dl(u,v)=max_{w∈V(P)} l(w) is an ultrametric iff max{l(u),l(v)}>0 for all adjacent u,v.
The paper uses this to treat (V(T),dl) as an ultrametric space; it is not proved in the text.
domain assumption Theorems 1 and 2 are accepted as proved in [15] and quoted verbatim.
The paper's entire mathematical content is a restatement of these two theorems; readers must take [15]'s proofs on faith.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Konig's Infinity Lemma for locally finite ultrametric spaces generated by labeled trees." pith.science (2026). https://pith.science/paper/UMFAUACO

@misc{pith2026260714098,
  author       = {Pith},
  title        = {Pith review of: Konig's Infinity Lemma for locally finite ultrametric spaces generated by labeled trees},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UMFAUACO}},
  note         = {Machine review of arXiv:2607.14098}
}

read the original abstract

We analyze the interplay between labeled trees and the ultrametric spaces they present. We provide characterizations of labeled trees that generate separable ultrametric spaces and those that generate locally finite ultrametric spaces. In particular, we establish an analog of Konig's Infinity Lemma for locally finite ultrametric spaces generated by labeled trees.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 1 linked inside Pith

[3]

4.Dovgoshey, O., & Petrov, E. (2020). On some extremal properties of finite ultrametric spaces. p-adic Numbers, Ultrametric Analysis and Applications, 12(1), 1–11. 5.Dovgoshey, O., & Küçükaslan, M. (2022). Labeled trees generating complete, compact, and discrete ultrametric spaces. Annals of Combinatorics, 26, 613–642. 6.Dovgoshey, O., & Kostikov, A. (202...

arXiv 2020
[1]

& Teichert, H.M

1.Dovgoshey, O., Petrov, E. & Teichert, H.M. (2015). On spaces extremal for the Gomory-Hu inequality. p-Adic Numbers, Ultrametric Analysis and Applications, 7, 133–142. 2.Dovgoshey, O., Petrov, E., & Teichert, H.-M. (2017). How rigid finite ultrametric spaces can be? Fixed Point Theory and Applications, 19(2), 1083–1102. 3.Dovgoshey, O. (2020). Isomorphis...

2015

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.

[1] [3]

4.Dovgoshey, O., & Petrov, E. (2020). On some extremal properties of finite ultrametric spaces. p-adic Numbers, Ultrametric Analysis and Applications, 12(1), 1–11. 5.Dovgoshey, O., & Küçükaslan, M. (2022). Labeled trees generating complete, compact, and discrete ultrametric spaces. Annals of Combinatorics, 26, 613–642. 6.Dovgoshey, O., & Kostikov, A. (202...

arXiv 2020

[2] [1]

& Teichert, H.M

1.Dovgoshey, O., Petrov, E. & Teichert, H.M. (2015). On spaces extremal for the Gomory-Hu inequality. p-Adic Numbers, Ultrametric Analysis and Applications, 7, 133–142. 2.Dovgoshey, O., Petrov, E., & Teichert, H.-M. (2017). How rigid finite ultrametric spaces can be? Fixed Point Theory and Applications, 19(2), 1083–1102. 3.Dovgoshey, O. (2020). Isomorphis...

2015