[论文解读] Recurrence matrices

Roland Bacher|ArXiv.org|Jan 16, 2006

semigroups and automata theory参考文献 8被引用 5

一句话总结

本文引入了递归矩阵——在域 K 上的有限维矩阵表示，用于编码由 p 进或类似递归结构索引的无限矩阵族。研究证明这些矩阵在乘法下构成一个代数，其可逆元构成一个群 GL_{p-rec}(K)，该群自然包含自动机群和自相似群（包括格里戈里丘克群），其关联源于自动序列与汉克尔矩阵。

ABSTRACT

We define recurrence matrices and study a few properties (links with automatic sequences, branch groups etc.) of them.

研究动机与目标

• 定义并形式化递归矩阵作为具有有限递归描述的无限矩阵族的计算框架。
• 建立递归矩阵集合构成一个向量空间，并在乘法下形成域 K 上的代数。
• 证明可逆递归矩阵构成一个群 GL_{p-rec}(K)，该群包含重要的自相似群与自动机群类。
• 通过自由幺半群的矩阵表示，将递归矩阵与自动函数及有限状态自动机联系起来。
• 证明与自动序列相关的某些汉克尔矩阵可表示为递归矩阵，从而实现算法化计算与求逆。

提出的方法

• 将递归矩阵定义为满足有限性条件的 ∏_{l=0}^∞ K^{p^l × q^l} 中的元素，以确保有效计算。
• 引入使用移位矩阵 ρ(i,j) 的递归表示，描述矩阵块在 p 进索引下的演化方式。
• 通过两个递归矩阵 A ∈ Rec_{p×r}(K), B ∈ Rec_{r×q}(K) 的乘积 AB 定义一个新的递归矩阵，属于 Rec_{p×q}(K)，确保封闭性。
• 将群 GL_{p-rec}(K) 表示为可逆递归矩阵的集合，其逆矩阵通过递归移位矩阵计算。
• 通过生成函数如 ∏_{k=0}^∞(1 + i x^{2^k}) 构造显式例子，证明其属于 Rec_{2×2}(Z[i])，并可进行 LU 分解。
• 利用幺半群的有限因子分解性质，确保形式幂级数与矩阵乘积的收敛性与良定义性。

实验结果

研究问题

• RQ1 如何对无限矩阵族进行有限描述并代数化操作？
• RQ2 递归矩阵在矩阵乘法下形成何种代数结构？
• RQ3 在递归矩阵框架中，哪些正则树上的自同构群自然出现？
• RQ4 与自动序列相关的汉克尔矩阵能否表示为递归矩阵，并实现算法化求逆？
• RQ5 递归矩阵与有限状态自动机或幺半群表示之间存在何种关系？

主要发现

• 递归矩阵集合 Rec_{p×q}(K) 构成一个向量空间，并在矩阵乘法下封闭，当 p=q 时形成一个代数。
• 可逆递归矩阵群 GL_{p-rec}(K) 包含所有自动机群与 p-自相似群，包括格里戈里丘克群。
• 与生成函数 (x²−1)/(1−i) ∏_{k=0}^∞(1 + i x^{2^k}) 相关的汉克尔矩阵被证明属于 Rec_{2×2}(Z[i])，且其逆在相同代数中良定义。
• 为 Rec_{2×2}(Z[i]) 中的汉克尔矩阵构造了显式 LU 分解，其中移位矩阵通过递归方式定义。
• 在 LU 分解中，下三角单峰矩阵 L 的逆 M = L⁻¹ 被计算，其结构具有四级递归层次。
• 与序列 (−1)^{τ(n)} 相关的汉克尔矩阵在 Rec_{2×2}(Q) 中不可逆，但其广义逆存在，可通过递归序列 σ(k) 构造。