Absolutely continuous spectrum for the Anderson model on a product of a tree with a finite graph

We prove the almost sure existence of absolutely continuous spectrum at low disorder for the Anderson model on the simplest example of a product of a regular tree with a finite graph. This graph contains loops of unbounded size.