On infinite cycles. I, II (Q558227)

The authors adapt the definition of the cycle space of a finite graph to locally finite infinite graphs by taking the end-compactification of the infinite graph and using there the homeomorphic images of the unit circle to be infinite cycles. In the first part of the series the authors explain the topological background and then prove a number of basic facts. For example, such a cycle space is proven to consist of precisely the sets of edges that meet every finite cut evenly. Also, the spanning trees the fundamental cycles of which generate this cycle space are precisely the end-faithful spanning trees. In the second part, some of the results are transferred (with appropriate modifications) to infinite but not necessarily locally finite graphs. Overall, the series contains a wealth of interesting results.