Arithmetic triangular structures in the transfer-matrix of finite Kronig-Penney models

技术摘要：有限克罗尼格-佩尼模型转移矩阵中的算术三角形结构

问题陈述
本文旨在对有限克罗尼格-佩尼（Kronig–Penney）模型的转移矩阵结构进行数学特征化描述。该模型是凝聚态物理学中的一个基本范式，描述了粒子与由等间距狄拉克 $\delta$ 势组成的有限阵列的相互作用。虽然 Figueroa 等人（2025）此前已经发现，主转移矩阵的 $N$ 次幂 $M^N$ 的各项生成了特定的非对称整数三角形阵列，这些阵列对应于在线整数序列百科全全书（OEIS）中的序列，但其分析仍停留在探索阶段。这些整数结构的驱动数学机制尚未得到严格推导，且通用的矩阵项闭式解也未建立。本研究旨在填补这一空白，提供这些结构的完整解析推导。

研究方法
作者采用了一种基于单元格转移矩阵 $M = \begin{pmatrix} \alpha & -K \\ K-1 & \beta \end{pmatrix}$ 性质的严谨代数方法。研究方法通过以下步骤展开：

1. 递推关系： 利用凯莱-哈密顿定理（Cayley-Hamilton theorem），作者推导出了关于 $M$ 的幂次的二阶线性矩阵递推关系。这使得问题可以简化为针对特定项 $M^{(N)}_{11}$ 的标量递推关系。
2. 切比雪夫多项式映射： 通过缩放变换，将标量递推关系映射到第二类切比雪夫多项式 $U_n(x)$ 的标准三项递推关系上。由此得到了 $M^{(N)}_{11}$ 关于这些多项式的闭式表示。
3. 生成函数： 为了严格推导组合恒等式，作者构造了多项式序列 $P_N(\alpha, \beta) = M^{(N)}_{11}$ 的普通生成函数 $G(t)$。通过对分母进行因式分解，并利用几何级数展开和负二项式展开，提取出 $t^N$ 的系数。
4. 组合展开： 对生成函数进行展开以分离参数 $\alpha$ 和 $\beta$ 的各阶幂次，将单求和形式转化为二元多项式。这一过程显式地揭示了其系数为二项式项的乘积。

核心贡献与结果
本文提供了以下具体结果：

• 闭式表达式： 作者推导出了转移矩阵幂 $M^N$ 的 $(1,1)$ 项的显式闭式表示。该结果以两种形式呈现：
  1. 使用第二类切比雪夫多项式的表示形式（公式 7）。
  2. 统一的组合单求和形式（公式 8）。
• 二元多项式展开： 本研究建立了等价的展开二元多项式公式（公式 21），该公式显式地分离了 $\alpha$ 和 $\beta$ 的幂次。研究证明该公式与单求和形式是恒等等价的。
• 与三角形阵列的联系： 展开多项式的系数被识别为对应于非对称整数三角形阵列的二项式系数乘积。论文证明这些阵列与 Figueroa 等人观察到的结构相匹配，并将它们与超复数阿佩尔多项式（Appell polynomials）及广义帕斯卡三角形联系起来。
• 对既往文献的修正： 通过与 Figueroa 等人 [6, Eq. (29)] 中给出的公式进行直接对比，发现存在差异。作者证明了前人工作中错误的求和范围包含了位于推导索引有效范围之外的一项（$m=1$）。本文提供了修正后的求和极限，排除了 $m=1$ 项。

意义与主张
本文声称提供了关于有限克罗尼格-佩尼转移矩阵中观察到的整数三角形结构出现的第一个严谨、自洽的数学证明。通过将矩阵幂通过切比雪夫多项式表达，作者为连接多种量子散射过程、离散卷积模式与超复数组合结构建立了精确的数学基础。

从计算角度来看，作者指出，通过切比雪夫多项式表达矩阵幂消除了对递归矩阵乘法的需求，为评估大规模系统尺寸 $N$ 下的全局透射和反射系数提供了一种更高效的方案。这项工作弥合了观察到的组合模式与底层解析推导之间的鸿沟，证实了散射问题与这些整数阵列之间的联系是植根于克利福德代数（Clifford algebra）的狄拉克型方程表述的自然结果。本文结论指出，这些技术可能成为未来研究非周期性和准晶体阵列，以及对有限量子结构中的共振和束缚态进行解析表征的有力工具。