[论文解读] Purely periodic beta-expansions in the Pisot non-unit case
该论文刻画了当 β 为 Pisot 非单位数时，ℚ(β) ∩ [0,1) 中具有纯周期 β-展开式的实数。通过在欧氏空间与 p-进空间的乘积空间中构造一个广义 Rauzy 塔形（作为图自仿射集），该论文证明：此类数恰好是其共轭位于该集合中的数，该集合具有非零哈 measure，并且源于形式幂级数与迭代函数系方法。
It is well known that real numbers with a purely periodic decimal expansion are the rationals having, when reduced, a denominator coprime with 10. The aim of this paper is to extend this result to beta-expansions with a Pisot base beta which is not necessarily a unit: we characterize real numbers having a purely periodic expansion in such a base; this characterization is given in terms of an explicit set, called generalized Rauzy fractal, which is shown to be a graph-directed self-affine compact subset of non-zero measure which belongs to the direct product of Euclidean and p-adic spaces.
研究动机与目标
- 将经典关于纯周期十进制展开的结果推广至 β 为 Pisot 非单位数的非整数基情形。
- 刻画 ℚ(β) ∩ [0,1) 中具有纯周期 β-展开式的有理数。
- 通过形式幂级数与迭代函数系统方法，将 β-移位的几何表示推广至非单位 Pisot 情形。
- 证明广义 Rauzy 塔形作为乘积空间中非零测度的图自仿射集的存在性。
- 为在非单位 Pisot 情形下研究 β-移位的马尔可夫划分、谱性质与度量结构奠定基础工具。
提出的方法
- 构造一个双侧 β-移位 (Xβ, S)，并将其与 ℚ[[X]] 中的形式幂级数关联，以定义一个表示映射。
- 在所有满足 |β| < 1 的绝对值下对 ℚ(β) 进行完备化，从而得到一个具有阿基米德与 p-进拓扑的乘积空间。
- 将广义 Rauzy 塔形 ˜Rβ 定义为表示映射 φ˜β 的像，该映射将符号序列映射至该乘积空间。
- 通过迭代函数系统（IFS）证明 ˜Rβ 是一个图自仿射紧集，且其具有非零哈 measure。
- 利用 β-变换 Tβ 的自然扩张定义几何空间上的映射 ˜Tβ，证明其在 ˜Rβ 上是双射，并保持集合 ˜Rβ 不变。
- 借助移位结构与共轭动力学，将纯周期展开与 ˜Rβ 中的成员关系联系起来。
实验结果
研究问题
- RQ1当 β 为 Pisot 非单位数时，ℚ(β) ∩ [0,1) 中哪些实数具有纯周期 β-展开式？
- RQ2此类数的集合在结合欧氏与 p-进拓扑的空间中如何进行几何刻画？
- RQ3在非单位 Pisot 情形下，广义 Rauzy 塔形 ˜Rβ 的拓扑与测度结构为何？
- RQ4表示映射 φ˜β 如何与 β-移位及其自然扩张的动力学相关联？
- RQ5广义 Rauzy 塔形能否在非单位情形下作为马尔可夫划分或谱工具使用？
主要发现
- 当且仅当实数 x ∈ ℚ(β) ∩ [0,1) 及其所有共轭均位于广义 Rauzy 塔形 ˜Rβ 内时，x 具有纯周期 β-展开式。
- 集合 ˜Rβ 是欧氏空间与 p-进空间乘积空间中一个图自仿射紧子集，其具有非零哈 measure，其中 p 取遍 β 的范数的素因子。
- ˜Rβ 的构造结合了形式幂级数与迭代函数系统（IFS），确保其具有自仿射与可测结构。
- β-变换 Tβ 的自然扩张 ˜Tβ 在 ˜Rβ 上是双射，从而可通过动力学轨道刻画周期性。
- 当 β 为度数等于其展开长度的简单 Parry 数时，˜Rβ 与 Sie03 中定义的底层 β-代换所生成的广义 Rauzy 塔形一致。
- 该形式化方法推广了先前针对 Pisot 单位的结果，并为在非单位情形下研究马尔可夫划分与谱性质提供了框架。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。