Uniform tree![]() In mathematics, a uniform tree is a locally finite tree which is the universal cover of a finite graph. Equivalently, the full automorphism group of the tree, which is a locally compact topological group, is unimodular and is finite. Also equivalent is the existence of a uniform X-lattice in . For a graph which contains no cycles, is its own uniform tree. If contains at least 1 cycle, its uniform tree is an infinite tree. Leighton's Graph Covering Theorem states that any two finite graphs that share a common covering must also share a common finite covering. Walter D. Neumann expanded on this in 2011, proving any two graphs that have a common covering necessarily have the same universal covering. This means that every uniform tree corresponds to a unique family of finite graphs. See alsoSources
|