pith. sign in

arxiv: 2404.17116 · v3 · submitted 2024-04-26 · 🧮 math.CO · math.GN

Topological remarks on end and edge-end spaces

Leandro Fiorini Aurichi , Paulo Magalh\~aes J\'unior , Lucas Real This is my paper

Pith reviewed 2026-05-24 02:28 UTC · model grok-4.3

classification 🧮 math.CO math.GN
keywords infinite graphsends of graphsedge-endstopological spaceshomeomorphismscompactificationsgraph theory
0
0 comments X

The pith

Every edge-end space of a graph is homeomorphic to the ordinary end space of some other graph, but the converse is false.

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

The paper compares the usual end space of an infinite graph, built from equivalence classes of vertex-infinitely-connected rays, with the edge-end space built from equivalence classes of edge-infinitely-connected rays. It proves that every edge-end space arises as the ordinary end space of some auxiliary graph. It also constructs an explicit end space that cannot be realized as the edge-end space of any graph. The result therefore places the collection of all edge-end spaces strictly inside the collection of all end spaces.

Core claim

For every graph G, the edge-end space Ω_E(G) is homeomorphic to the ordinary end space Ω(H) of some graph H; yet there exists a graph H such that Ω(H) fails to be homeomorphic to Ω_E(G) for any graph G.

What carries the argument

The edge-end space Ω_E(G) formed by equivalence classes of infinitely edge-connected rays under the edge-end topology.

Load-bearing premise

The edge-end topology is well-defined on the equivalence classes and the constructed maps between spaces are homeomorphisms.

What would settle it

An explicit graph H whose end space possesses a topological feature (such as a particular separation axiom or connectedness property) that no edge-end space satisfies.

Figures

Figures reproduced from arXiv: 2404.17116 by Leandro Fiorini Aurichi, Lucas Real, Paulo Magalh\~aes J\'unior.

Figure 1
Figure 1. Figure 1: This graph has two ends, corresponding to the rays [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
read the original abstract

The notion of ends in an infinite graph $G$ might be modified if we consider them as equivalence classes of infinitely edge-connected rays, rather than equivalence classes of infinitely (vertex-)connected ones. This alternative definition yields the edge-end space $\Omega_E(G)$ of $G$, in which we can endow a natural (edge-)end topology. For every graph $G$, this paper proves that $\Omega_E(G)$ is homeomorphic to $\Omega(H)$ for some possibly another graph $H$, where $\Omega(H)$ denotes its usual end space. However, we also show that the converse statement does not hold: there is a graph $H$ such that $\Omega(H)$ is not homeomorphic to $\Omega_E(G)$ for any other graph $G$. In other words, as a main result, we conclude that the class of topological spaces $\Omega_E = \{\Omega_E(G) : G \text{ graph}\}$ is strictly contained in $\Omega = \{\Omega(H) : H \text{ graph}\}$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that the class of edge-end spaces Ω_E = {Ω_E(G) : G graph} is strictly contained in the class of end spaces Ω = {Ω(H) : H graph}. For every graph G, Ω_E(G) is homeomorphic to Ω(H) for some graph H; conversely, there exists a graph H such that Ω(H) is not homeomorphic to Ω_E(G) for any G. The proofs rely on explicit constructions realizing the homeomorphisms and a concrete counterexample graph, with both directions verified directly via bijective continuous open maps under the cut-based basis for the topologies.

Significance. If the result holds, it establishes a strict topological distinction between vertex-cut and edge-cut notions of ends in infinite graphs. The paper's explicit constructions realizing every edge-end space as an end space, together with the concrete counterexample showing the converse fails, are strengths that make the inclusion verifiable and falsifiable without additional assumptions such as local finiteness or countability.

minor comments (2)
  1. [Abstract] Abstract, paragraph 2: the parenthetical '(edge-)end topology' could be expanded to a single sentence clarifying that the basis consists of sets of edge-ends separated by finite edge-cuts, to make the distinction from the usual end topology immediate for readers.
  2. [Introduction] The manuscript would benefit from an explicit statement, perhaps in the introduction, that the edge-end equivalence relation is defined via infinite edge-connectivity of rays and that the resulting space is compact Hausdorff under the given topology.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive report, accurate summary of our main result, and recommendation to accept. There are no major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No circularity; strict inclusion proved by explicit constructions and counterexample

full rationale

The derivation consists of two independent parts: (1) for any G an explicit construction of H such that Ω_E(G) ≅ Ω(H) via a map shown to be a homeomorphism on the cut-basis topology, and (2) an explicit counterexample graph whose end space lies outside the image of Ω_E. Both rest on direct verification that the relevant maps are bijective, continuous and open under the standard finite-cut basis; the edge-end topology is defined separately via edge-cuts and shown to be compact Hausdorff without invoking prior results of the authors or any definitional reduction. No self-citation is load-bearing, no parameter is fitted and then renamed a prediction, and no ansatz is smuggled. The argument is therefore self-contained against external topological benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; no free parameters, invented entities, or non-standard axioms are identifiable from the given text.

axioms (1)
  • domain assumption Standard definitions of rays, ends, and end topologies in infinite graphs
    The result relies on the usual notions from graph theory and topology as background.

pith-pipeline@v0.9.0 · 5715 in / 1046 out tokens · 23517 ms · 2026-05-24T02:28:23.878734+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Menger's theorem for ends of digraphs

    math.CO 2026-04 unverdicted novelty 7.0

    Menger's theorem is extended to ends of digraphs, equating the maximum number of disjoint paths between ends to the minimum separator size, and applied to characterize the combined degree of ends.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · cited by 1 Pith paper

  1. [1]

    Aurichi and L

    L. Aurichi and L. Real. Edge-connectivity between (edge -)ends of infinite graphs. arXiv:2404.17106, 2024

    work page arXiv 2024

  2. [2]

    J. M. Brochet and R. Diestel. Normal tree orders for infinit e graphs. Transactions of the American Mathematical Society , 345:871–895, 05 1994

    work page 1994

  3. [3]

    Die Theorie der regulären Graphs

    R. Diestel. The end structure of a graph: recent results a nd open problems. Discrete Math., 100(1-3):313–327, 1992. Special volume to mark the centenn ial of Julius Petersen’s “Die Theorie der regulären Graphs”, Part I

    work page 1992

  4. [4]

    R. Diestel. End spaces and spanning trees. Journal of Combinatorial Theory. Series B , 96(6):846–854, 2006. 27

    work page 2006

  5. [5]

    R. Diestel. Locally finite graphs with ends: A topologica l approach, I-III. Discrete Mathe- matics, 311-312, 2010/11

    work page 2010

  6. [6]

    R. Diestel. Graph theory, volume 173 of Graduate Texts in Mathematics . Springer, Berlin, fifth edition, 2017

    work page 2017

  7. [7]

    Freudenthal

    H. Freudenthal. Neuaufbau der Endentheorie. Annals of Mathematics (2) , 43:261–279, 1942

    work page 1942

  8. [8]

    G. Hahn, F. Laviolette, and J. Širáň. Edge-ends in counta ble graphs. Journal of Combina- torial Theory, Series B , 70(2):225–244, 1997

    work page 1997

  9. [9]

    R. Halin. Über unendliche Wege in Graphen. Annals of Mathematics , 157:125–137, 1964

    work page 1964

  10. [10]

    H. Hopf. Enden offener Räume und unendliche diskontinui erliche Gruppen. Commentarii Mathematici Helvetici , 16:81–100, 1944

    work page 1944

  11. [11]

    H. A. Jung. Wurzelbäume und unendliche wege in graphen. Mathematische Nachrichten , 41(1-3):1–22, 1969

    work page 1969

  12. [12]

    Kurkofka, R

    J. Kurkofka, R. Melcher, and M. Pitz. Approximating infi nite graphs by normal trees. Journal of Combinatorial Theory, Series B , 148:173–183, 2021

    work page 2021

  13. [13]

    Kurkofka and M

    J. Kurkofka and M. Pitz. A representation theorem for en d spaces of infinite graphs. arXiv:2111.12670, 2023

    work page arXiv 2023

  14. [14]

    M. Pitz. A unified existence theorem for normal spanning trees. Journal of Combinatorial Theory, Series B , 145:466–469, 2020

    work page 2020

  15. [15]

    M. Pitz. Characterising path-, ray- and branch spaces o f order trees, and end spaces of infinite graphs. arXiv:2303.00547, 2023. 28

    work page arXiv 2023