霍尔特进位矩阵的双正交本征向量及其无级联计数
Biorthogonal eigenvectors of the Holte carry matrix and cascade-free enumeration
AI总结：
本文研究霍尔特进位矩阵的双正交本征向量系统，揭示了无级联计数与特征多项式的关系，证明了当k=3时Chebyshev多项式形式成立，但k≥4时不成立。
摘要：
对于k个加数的N进制加法，进位过程是一个在{0,…,k−1}上的马尔可夫链，其转移矩阵——霍尔特矩阵T——的本征值为{N^{−j}}_{j=0}^{k−1}，均为简单本征值且与N无关。我们给出了完整的双正交本征向量系统。左本征向量可表示为∑_i u_j[i] x^i = c_{k,j} (x−1)^j A_{k−j}(x)，其中c_{k,j} = |s(k,k−j)|/k!涉及无符号斯特林数，A_n(x)是欧拉多项式。右本征向量满足∑_i C(k−1,i) v_j[i] x^i = (1+x)^{k−1−j} Q_j(x)，其中商多项式Q_j具有回文对称性x^j Q_j(1/x) = (−1)^j Q_j(x)且当k→∞时收敛于(1−x)^j；对于j ≤ 3，我们给出了显式闭式表达式。无级联避免计数满足a(L) = (√d)^L U_L(x)（Chebyshev多项式第二类）当受限转移矩阵的维度d ≤ 2时；我们证明这是最优的：对于k个加数加法，Chebyshev形式在k=3时成立，但k≥4时不成立。证明使用震荡矩阵理论来证明所有谱残差不消失。受限转移矩阵的特征多项式通过斯特林加权拉格朗日插值在霍尔特本征值处确定。两个具有二进制进位状态空间的系统若且仅若它们共享对(N, d)则为影子等价。k状态系统的通用分类减少到T的特征多项式。
英文摘要：
For $k$-summand base-$N$ addition, the carry process is a Markov chain on $\{0,\ldots,k-1\}$ whose transition matrix--the Holte matrix $T$--has eigenvalues $\{N^{-j}\}_{j=0}^{k-1}$, all simple and independent of $N$. We give the complete biorthogonal eigenvector system. The left eigenvectors factor as $\sum_i u_j[i] x^i = c_{k,j} (x-1)^j A_{k-j}(x)$, where $c_{k,j} = |s(k,k-j)|/k!$ involves unsigned Stirling numbers and $A_n(x)$ is the Eulerian polynomial. The right eigenvectors satisfy $\sum_i \binom{k-1}{i} v_j[i] x^i = (1+x)^{k-1-j} Q_j(x)$, where the quotient polynomials $Q_j$ have palindrome symmetry $x^j Q_j(1/x) = (-1)^j Q_j(x)$ and converge to $(1-x)^j$ as $k \to \infty$; for $j \le 3$, we give explicit closed forms in terms of $k$. The cascade-free avoidance count satisfies $a(L) = (\sqrt{d})^L U_L(x)$ (Chebyshev polynomial of the second kind) whenever the restricted transfer matrix has dimension $d \le 2$; we prove this is sharp: for $k$-summand addition, Chebyshev form holds for $k = 3$ and fails for $k \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)$. The general classification for $k$-state systems reduces to the characteristic polynomial of $T$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
