arXiv++ Combinatorics

We provide the foundation of the spectral analysis of the Laplacian on the orbital Schreier graphs of the Basilica group, the iterated monodromy group of the quadratic polynomial $z^2-1$. This group is an important example in the class of self-similar amenable but not elementary amenable finite automata groups studied by Grigorchuk, Żuk, \v Sunić, Bartholdi, Virág, Nekrashevych, Kaimanovich, Nagnibeda et al. We prove that the spectrum of the Laplacian has infinitely many gaps and that the support of the KNS Spectral Measure is a Cantor set. Moreover, on a generic blowup, the spectrum coincides with this Cantor set, and is pure point with localized eigenfunctions and eigenvalues located at the endpoints of the gaps.

A "truncation" of Pascal's triangle is a triangular array of numbers that satisfies the usual Pascal recurrence but with a boundary condition that declares some terminal set of numbers along each row of the array to be zero. Presented here is a family of natural truncations of Pascal's triangle that generalize a kind of Catalan triangle. The numbers in each array are realized as differences of binomial coefficients, as counts of certain lattice paths and tableaux, and as entries of representing matrices for certain linear transformations of polynomial spaces. Lucas's theorem is applied to determine precisely those truncations for which the number of odd entries on each row is a power of two.