  We prove Bowen's conjecture that every sequence of finite graphs that locally
converges to the Cayley graph of a countably infinite group with Kazhdan
Property (T) is essentially a vertex-disjoint union of expander graphs. We
characterize graph sequences that are essentially a vertex-disjoint union of
expander graphs in terms of the Markov operator.
