A useful formula for periodic Jacobi matrices on trees - Banks, Jess; Breuer, Jonathan; Garza-Vargas, Jorge; Seelig, Eyal; Simon, Barry (Proceedings of the National Academy of Sciences - PNAS, 2024)
Keywords: Labeling; Mathematics; Physical Sciences; Theorem proving; Theorems; Trees; Jacobi matrices; trees; spectral theory