Biorthogonal eigenvectors of the Holte carry matrix and cascade-free enumeration
Abstract
For -summand base- addition, the carry process is a Markov chain on whose transition matrix--the Holte matrix --has eigenvalues , all simple and independent of . We give the complete biorthogonal eigenvector system. The left eigenvectors factor as , where involves unsigned Stirling numbers and is the Eulerian polynomial. The right eigenvectors satisfy , where the quotient polynomials have palindrome symmetry and converge to as ; for , we give explicit closed forms in terms of . The cascade-free avoidance count satisfies (Chebyshev polynomial of the second kind) whenever the restricted transfer matrix has dimension ; we prove this is sharp: for -summand addition, Chebyshev form holds for and fails for . The proof uses oscillatory matrix theory to establish non-vanishing of all spectral residues. The characteristic polynomial of the restricted transfer matrix is determined in closed form by a Stirling-weighted Lagrange interpolation at the Holte eigenvalues. Two systems with binary carry state spaces are shadow-equivalent if and only if they share the pair . The general classification for -state systems reduces to the characteristic polynomial of .
Cite
@article{arxiv.2604.04591,
title = {Biorthogonal eigenvectors of the Holte carry matrix and cascade-free enumeration},
author = {Daniel Andreas Moj},
journal= {arXiv preprint arXiv:2604.04591},
year = {2026}
}
Comments
22 pages, 4 tables, 1 figure