Graphs with polynomial growth are covering graphs (Q1199120): Difference between revisions

Let \(X(V,E)\) be a simple undirected locally finite graph with vertex set \(V(X)\) and edge set \(E(X)\). The growth function of \(X\), with respect to a vertex \(v\in V(X)\) is defined by \(f_ X(v,0)=1\) and \(f_ X(v,n)=|\{w\in V(X)| d(v,w)\leq n\}|\), \(n\in N\), where \(d(v,w)\) denotes the distance between \(v\) and \(w\). If \(X(V,E)\) has a transitive automorphism group, then the growth function is denoted by \(f_ X(n)\). \(X(V,E)\) has polynomial growth if there are constants \(c\), \(d\) such that \(f_ X(n)\leq cn^ d\) for all integers \(n\geq 1\). Let \(\varphi\), \(\varphi:X_ 1\to X_ 2\), denote a homomorphism and let \(S(v)\), \(v\in V(X_ 1)\), be the star consisting of \(v\) and all edges incident to \(v\). If \(\varphi(S(v))\) is isomorphic to \(S(v)\), for every \(v\in V(X_ 1)\), \(X_ 1\) is called a covering graph of \(X_ 2\). The authors prove that there are infinitely many finite graphs \(Y_ 1\), \(Y_ 2,\dots\) such that \(X\) is a covering graph of each of these graphs and every \(Y_ k\), \(k\geq 2\), is covering graph of the graphs \(Y_ 1,\dots,Y_{k-1}\).