English

Biorthogonal eigenvectors of the Holte carry matrix and cascade-free enumeration

Combinatorics 2026-04-07 v1

Abstract

For kk-summand base-NN addition, the carry process is a Markov chain on {0,,k1}\{0,\ldots,k-1\} whose transition matrix--the Holte matrix TT--has eigenvalues {Nj}j=0k1\{N^{-j}\}_{j=0}^{k-1}, all simple and independent of NN. We give the complete biorthogonal eigenvector system. The left eigenvectors factor as iuj[i]xi=ck,j(x1)jAkj(x)\sum_i u_j[i] x^i = c_{k,j} (x-1)^j A_{k-j}(x), where ck,j=s(k,kj)/k!c_{k,j} = |s(k,k-j)|/k! involves unsigned Stirling numbers and An(x)A_n(x) is the Eulerian polynomial. The right eigenvectors satisfy i(k1i)vj[i]xi=(1+x)k1jQj(x)\sum_i \binom{k-1}{i} v_j[i] x^i = (1+x)^{k-1-j} Q_j(x), where the quotient polynomials QjQ_j have palindrome symmetry xjQj(1/x)=(1)jQj(x)x^j Q_j(1/x) = (-1)^j Q_j(x) and converge to (1x)j(1-x)^j as kk \to \infty; for j3j \le 3, we give explicit closed forms in terms of kk. The cascade-free avoidance count satisfies a(L)=(d)LUL(x)a(L) = (\sqrt{d})^L U_L(x) (Chebyshev polynomial of the second kind) whenever the restricted transfer matrix has dimension d2d \le 2; we prove this is sharp: for kk-summand addition, Chebyshev form holds for k=3k = 3 and fails for k4k \ge 4. 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 (N,d)(N, d). The general classification for kk-state systems reduces to the characteristic polynomial of TT.

Keywords

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