[论文解读] On the Finiteness property of negative cubic Pisot bases

Tomáš Vávra|arXiv (Cornell University)|Apr 4, 2014

Mathematical Dynamics and Fractals参考文献 2被引用 3

一句话总结

该论文证明了负三次Pisot基 $-\beta$ 的有限性性质（Property -F），其中 $\beta$ 是方程 $x^3 - mx^2 - mx - m$ 的实根，$m \in \mathbb{N}$，并为负Tribonacci基 $-\gamma$ 中的加法与减法构造了一个显式的有限状态转移器。该转移器确保了分数部分数字的增长有界，对 $(-\gamma)$-整数而言，分数部分数字的上界精确为5位。

ABSTRACT

We study arithmetical aspects of Ito-Sadahiro number systems with negative base. We show that the bases $-β

研究动机与目标

• 将已知满足有限性性质（-F）的负非整数基的类扩展，该性质确保有限展开式构成一个环。
• 为负Tribonacci基 $-\gamma$（其中 $\gamma$ 是方程 $x^3 - x^2 - x - 1$ 的实根）提供一种构造性算法，用于实现加法与减法。
• 确定两个 $(-\gamma)$-整数相加或相减时可能产生的最大分数位数。
• 提供一个具体、显式的有限状态转移器，用于 $(-\gamma)$-记数系统中的算术运算，克服了先前存在性证明的非构造性问题。

提出的方法

• 采用Ito-Sadahiro的框架处理基 $-\beta < -1$ 的 $(-\beta)$-展开，定义在区间 $[\ell, \ell+1)$ 上，其中 $\ell = -\beta/(\beta+1)$。
• 应用交替字典序条件来刻画可接受的数字串，确保展开式的唯一性与正确性。
• 构造一个包含13个不同状态 $Q_1$ 到 $Q_{13}$ 的有限状态转移器，每个状态代表一种特定的数字窗口与进位条件配置。
• 基于数字模式（如 $\overline{1}\overline{m}m\overline{n}$ 和 $1m\overline{m}n$）定义状态间的转移规则，以模拟逐位加法及进位传播。
• 通过证明所有路径最终都会进入无需进一步重写的稳定状态，从而验证终止性，这是在给定约束下不存在无限循环的结果。
• 采用系统化的状态分类与递归重写机制，确保转移器对所有有效输入均具有正确性与完备性。

实验结果

研究问题

• RQ1 负基 $-\beta$（其中 $\beta$ 是方程 $x^3 - mx^2 - mx - m$ 的实根）是否满足有限性性质（-F）？
• RQ2 能否为负Tribonacci基 $-\gamma$ 构造一个显式的有限状态转移器以实现加法与减法？
• RQ3 两个 $(-\gamma)$-整数相加或相减时，可能产生的最大分数位数是多少？
• RQ4 有限性性质是否可推广至具有对称系数的更高次负Pisot基？

主要发现

• 对于所有负基 $-\beta$，其中 $\beta$ 是方程 $x^3 - mx^2 - mx - m$ 的实根且 $m \in \mathbb{N}$，有限性性质（-F）成立，这意味着有限 $(-\beta)$-展开式的集合构成一个环。
• 为负Tribonacci基 $-\gamma$（其中 $\gamma$ 是方程 $x^3 - x^2 - x - 1$ 的实根）构造了一个包含13个状态的显式有限状态转移器，用于实现加法与减法。
• 该转移器能正确处理所有有效输入，并在任何以 $0^\omega$ 结尾的输入上终止，确保计算过程有限。
• 两个 $(-\gamma)$-整数相加或相减时产生的最大分数位数被限制在5位以内。
• 转移器的结构证实了分数位数是均匀有界的，这支持了环的性质，并使得算法验证成为可能。
• 该构造为先前工作中非构造性证明的转移器存在性提供了一种具体、构造性的替代方案，支持实际实现与分析。