arXiv++ Combinatorics

This is a new and short proof of the main theorem of classical structure tree theory. Namely, we show the existence of certain automorphism-invariant tree-decompositions of graphs based on the principle of removing finitely many edges. This was first done in "Cutting up graphs" by M.J. Dunwoody. The main ideas are based on the paper "Vertex cuts" by M.J. Dunwoody and the author. We extend the theorem to a detailed combinatorial proof of J.R. Stallings' theorem on the structure of finitely generated groups with more than one end.

It is shown explicitly how self-similar graphs can be obtained as `blow-up' constructions of finite cell graphs $\hat C$. This yields a larger family of graphs than the graphs obtained by discretising continuous self-similar fractals. For a class of symmetrically self-similar graphs we study the simple random walk on a cell graph $\hat C$, starting in a vertex $v$ of the boundary of $\hat C$. It is proved that the expected number of returns to $v$ before hitting another vertex in the boundary coincides with the resistance scaling factor. Using techniques from complex rational iteration and singularity analysis for Green functions we compute the asymptotic behaviour of the $n$-step transition probabilities of the simple random walk on the whole graph. The results of Grabner and Woess for the Sierpiński graph are generalised to the class of symmetrically self-similar graphs and at the same time the error term of the asymptotic expression is improved. Finally we present a criterion for the occurrence of oscillating phenomena of the $n$-step transition probabilities.

Locally finite self-similar graphs with bounded geometry and without bounded geometry as well as non-locally finite self-similar graphs are characterized by the structure of their cell graphs. Geometric properties concerning the volume growth and distances in cell graphs are discussed. The length scaling factor $ν$ and the volume scaling factor $μ$ can be defined similarly to the corresponding parameters of continuous self-similar sets. There are different notions of growth dimensions of graphs. For a rather general class of self-similar graphs it is proved that all these dimensions coincide and that they can be calculated in the same way as the Hausdorff dimension of continuous self-similar fractals: \[\dim X=\frac{\log μ}{\log ν}.\]

Combining the study of the simple random walk on graphs, generating functions (especially Green functions), complex dynamics and general complex analysis we introduce a new method of spectral analysis on self-similar graphs. We give an axiomatic definition of self-similar graphs which correspond to general nested but not necessarily finitely ramified fractals. For this class of graphs a graph theoretic analogue to the Banach fixed point theorem is proved. Functional equations and a decomposition algorithm for the Green functions of self-similar graphs with some more symmetric structure are obtained. Their analytic continuations are given by rapidly converging expressions. We study the dynamics of a certain complex rational Green function $d$ on finite directed subgraphs. If the Julia set $\cj$ of $d$ is a Cantor set, then the reciprocal spectrum $\spec^{-1}P=\{1/z\mid z\in\spec P\}$ of the Markov transition operator $P$ can be identified with the set of singularities of any Green function of the whole graph. Finally we get explicit upper and lower bounds for the reciprocal spectrum, where $\cd$ is a countable set of the $d$-backwards iterates of a certain finite set of real numbers.

We prove several criteria for quasi-isometry between non-locally-finite graphs and their structure trees. Results of Möller in \cite{moeller92ends2} for locally finite and transitive graphs are generalized. We also give a criterion which describes quasi-isometry by how edge-ends are split up by the cuts of a structure tree.