  We consider matrices on infinite trees which are universal covers of Jacobi
matrices on finite graphs. We are interested in the question of the existence
of sequences of finite covers whose normalized eigenvalue counting measures
converge to the density of states of the operator on the infinite tree. We
first of all construct a simple example where this convergence fails and then
discuss two ways of constructing the required sequences: with random boundary
conditions and through normal subgroups.
