arXiv++ Combinatorics

Bass-Serre theory provides a powerful framework for studying group actions on trees. While extremely effective for structural questions in group theory, it is less suited to the systematic construction of group actions with prescribed local behaviour. Motivated by local-to-global constructions such as the Burger-Mozes universal groups and local action diagrams, we develop an analogue of Bass-Serre theory for group actions. The central object of study in our are graphs of group actions, combinatorial structures similar to graphs of groups from Bass-Serre theory, encoding compatible local permutation actions on a base graph. From these we can construct groups which act on tree-like graphs called scaffoldings and hence also on trees. We prove uniqueness and universality results for the resulting groups and show that our framework unifies and generalises (among other known constructions) both graphs of groups and local action diagrams. Remarkably, we are able to encapsulate the full generality of the former while still allowing for efficient construction of groups with certain local properties like in the latter.

Let $(X,E_X)$ and $(V,E_V)$ be finite connected graphs without loops. We assume that $V$ has two distinguished vertices $a,b$ and an automorphism $γ$ which exchanges $a$ and~$b$. The $V$-edge substitution of $X$ is the graph $X[V]$ where each edge $[x,y] \in E_X$ is replaced by a copy of $V$, identifying $x$ with $a$ and $y$ with $b$ or vice versa. (The latter choice does not matter; it yields isomorphic graphs.) The aim is to describe the spectrum of $X[V]$ in terms of the spectra of $X$ and $V$. Instead of the spectra of the adjacency matrices, we consider the versions which are normalised by dividing each row by the row sum (the vertex degree). These are stochastic, reversible matrices, and our approach applies more generally to reversible transition matrices corresponding to arbitrary positive edge weights invariant under $γ$. We write $P$ for the transition matrix over $X$ and $Q$ for the one over $V$. Together, they induce the matrix $P_*$ over $X[V]$. The main part of the spectrum of $P_*$ is the response of the natural frequencies of $X$ to substituting $V$, given by a functional equation coming from a rational function induced by~$Q$. A second part comes from specific eigenvalues of $Q$, if present. Finally, there is the part of $\mathsf{spec}(P_*)$ whose eigenfunctions have $X$ as a nodal set. The results depend on issues like whether $X$ has circles of even length and on the eigenvalues of the restriction of $Q$ to $V \setminus \{ a,b\}$, which are classified into 4 possible types. Quite subtle is the issue of determining the multiplicities of the latter as eigenvalues of $P_*$ in terms of the input.

We introduce a Green function and analogues of other related kernels for finite and infinite networks whose edge weights are complex-valued admittances with positive real part. We provide comparison results with the same kernels associated with corresponding reversible Markov chains, i.e., where the edge weights are positive. Under suitable conditions, these lead to comparison of series of matrix powers which express those kernels. We show that the notions of transience and recurrence extend by analytic continuation to the complex-weighted case even when the network is infinite. Thus, a variety of methods known for Markov chains extend to that setting.

Let $X=(V\!X,E\!X)$ be an infinite, locally finite, connected graph without loops or multiple edges. We consider the edges to be oriented, and $E\!X$ is equipped with an involution which inverts the orientation. Each oriented edge is labelled by an element of a finite alphabet $\mathbfΣ$. The labelling is assumed to be deterministic: edges with the same initial (resp. terminal) vertex have distinct labels. Furthermore it is assumed that the group of label-preserving automorphisms of $X$ acts quasi-transitively. For any vertex $o$ of $X$, consider the language of all words over $\mathbfΣ$ which can be read along self-avoiding walks starting at $o$. We characterize under which conditions on the graph structure this language is regular or context-free. This is the case if and only if the graph has more than one end, and the size of all ends is $1$, or at most $2$, respectively.

One of the purposes of this paper is to clarify the strong analogy between potential theory on the open unit disk and the homogeneous tree, to which we dedicate an introductory section. We then exemplify this analogy by a study of Riesz measures. Starting from interesting work by Favorov and Golinskii [A Blaschke-type condition for analytic and subharmonic functions and application to contraction operators. Linear and complex analysis, pp. 37-47, Amer. Math. Soc. Transl. (2) 226, Amer. Math. Soc., Providence, RI, 2009], we consider subharmonic functions on the open unit disk, resp. on the homogenous tree. Supposing that we can control the way how those functions may tend to infinity at the boundary, we derive moment type conditions for the Riesz measures. One one hand, we generalise the previous results for the disk, and on the other hand, we show how to obtain analogous results in the discrete setting of the tree.

This is a rather personal introductory outline of an interesting class of geometric, resp. graph- and group-theoretical structures. After an introductive section about their genesis, the general construction of horocyclic products is presented. Three closely related basic structures of this type are explained in more detail: Diestel-Leader graphs, treebolic spaces, and Sol-groups, resp. -manifolds. Emphasis is on their geometry, isometry groups, quasi-isometry classification and boundary at infinity. Subsequently, it is clarified under which parametrisation they admit discrete groups of isometries acting with compact quotient. Finally, further develpoments are reviewed briefly. Remark: the posted version contains a correction of a misprint that appeared on the bottom of page 22 in the version which appeared in IMN.

Let T_1,..., T_d be homogeneous trees with degrees q_1+1,..., q_d+1>=3, respectively. For each tree, let h:T_j->Z be the Busemann function with respect to a fixed boundary point (end). Its level sets are the horocycles. The horocyclic product of T_1,...,T_d is the graph DL(q_1,...,q_d) consisting of all d-tuples x_1...x_d in T_1x...xT_d with h(x_1)+...+h(x_d)=0, equipped with a natural neighbourhood relation. In the present paper, we explore the geometric, algebraic, analytic and probabilistic properties of these graphs and their isometry groups. If d=2 and q_1=q_2=q then we obtain a Cayley graph of the lamplighter group (wreath product) (Z/qZ) wr Z. If d=3 and q_1=q_2=q_3=q then DL is the Cayley graph of a finitely presented group into which the lamplighter group embeds naturally. Also when d>=4 and q_1=...=q_d=q is such that each prime power in the decomposition of q is larger than d-1, we show that DL is a Cayley graph of a finitely presented group. This group is of type F_{d-1}, but not F_d. It is not automatic, but it is an automata group in most cases. On the other hand, when the q_j do not all coincide, DL(q_1,...,q_d) is a vertex-transitive graph, but is not the Cayley graph of a finitely generated group. Indeed, it does not even admit a group action with finitely many orbits and finite point stabilizers. The l^2-spectrum of the ``simple random walk'' operator on DL is always pure point. When d=2, it is known explicitly from previous work, while for d=3 we compute it explicitly. Finally, we determine the Poisson boundary of a large class of group-invariant random walks on DL. It coincides with a part of the geometric boundary of DL.

Let X be a locally finite, connected graph without vertices of degree 1. Non-backtracking random walk moves at each step with equal probability to one of the "forward" neighbours of the actual state, i.e., it does not go back along the preceding edge to the preceding state. This is not a Markov chain, but can be turned into a Markov chain whose state space is the set of oriented edges of X. Thus we obtain for infinite X that the n-step non-backtracking transition probabilities tend to zero, and we can also compute their limit when X is finite. This provides a short proof of old results concerning cogrowth of groups, and makes the extension of that result to arbitrary regular graphs rigorous. Even when X is non-regular, but "small cycles are dense" in X, we show that the graph X is non-amenable if and only if the non-backtracking n-step transition probabilities decay exponentially fast. This is a partial generalization of the cogrowth criterion for regular graphs which comprises the original cogrowth criterion for finitely generated groups of Grigorchuk and Cohen.