A note on Puder's generalised co-growth formula for trees
Wenbo Li, Joe Thomas
TL;DR
The paper proves Puder's generalised co-growth formula for nonnegative functions on bi-regular trees by developing an operator-level resolvent identity that connects the adjacency operator to non-backtracking walk matrices. The authors introduce the bi-resolvent, derive its expansion on bi-regular trees, and leverage the Hashimoto framework to link growth rates $\alpha(f)$ and $\beta(f)$, establishing the explicit threshold-based formulas for bi-regular trees and providing a streamlined proof for regular trees. The results lift to general bi-regular graphs, preserving the growth rates, and have potential implications for understanding spectral outliers and staircase phenomena in random regular/bi-regular graphs. The approach mirrors modern resolvent-based proofs of co-growth, adapting them to the bi-regular setting to yield exact growth-rate characterisations.
Abstract
In this note, we prove a conjecture of Puder on an extension of the co-growth formula to any non-negative function defined on a bi-regular tree. A key component of our proof is the establishment of a resolvent identity, which serves as an operator version of the co-growth formula. We also provide a simpler proof of Puder's generalised co-growth formula for the regular tree.
