[论文解读] The sign of an elliptic divisibility sequence

Joseph H. Silverman, N. M. Stephens|ArXiv.org|Feb 25, 2004

Algebraic Geometry and Number Theory参考文献 6被引用 25

一句话总结

本文推导出无界非奇异椭圆整除序列（EDS）中各项符号的精确公式，表明符号遵循由实数域中无理数 $ \beta $ 的 $ n\beta $ 的下取整函数决定的模式。此外，本文证明了 EDS 项的绝对值无法作为任何抽象动力系统中固定点计数序列实现，从而解决了关于此类序列可实现性的问题。

ABSTRACT

An elliptic divisibility sequence (EDS) is a sequence of integers W_0,W_1,W_2,... generated by the nonlinear recursion satisfied by the division polyomials of an elliptic curve. We give a formula for the sign of W_n for unbounded nonsingular elliptic divisibility sequences. A typical case is Sign(W_n) = (-1)^[n*b] for an irrational real number b, where [x] denotes the greatest integer in x. As an application, we show that the associated sequence of absolute values |W_1|,|W_2|,|W_3|,... cannot be realized as the sequence counting fixed points of any (abstract) dynamical system.

研究动机与目标

• 确定无界非奇异椭圆整除序列（EDS）中各项的符号行为。
• 通过下取整函数建立 EDS 符号模式与无理旋转数之间的联系。
• 解决 EDS 项绝对值是否可作为任何抽象动力系统中固定点计数序列实现的问题。
• 利用数论与动力系统理论论证，证明与 EDS 相关的序列 $ (|W_n|) $ 不可实现。

提出的方法

• 推导出 $ W_n $ 的符号的闭式表达式，形式为 $ (-1)^{\lfloor n\beta \rfloor} $，其中 $ \beta $ 为无理实数。
• 利用椭圆曲线作为实李群的参数化方法，刻画 $ \beta $ 并确定正确的符号公式。
• 应用 EDS 的逆构造 $ (-1)^{n-1}W_n $ 以标准化符号模式并简化分析。
• 利用 EDS 的递推关系，特别是涉及 $ W_{2^k} $ 的关系，分析序列模 2 的幂次。
• 证明：若 $ (|W_n|) $ 可实现，则 $ \lfloor 2^k\beta \rfloor $ 的奇偶性将最终周期性，导致矛盾。
• 利用最终周期性二进制展开蕴含有理性的事实，与 $ \beta $ 的无理性相矛盾，从而证明不可实现性。

实验结果

研究问题

• RQ1 什么决定了无界非奇异椭圆整除序列中各项的符号？
• RQ2 EDS 的符号模式能否通过单个无理数 $ \beta $ 及其下取整函数表达？
• RQ3 EDS 项绝对值序列 $ (|W_n|) $ 是否可作为任何抽象动力系统中固定点计数序列实现？
• RQ4 从 EDS 项的符号行为中会涌现出 $ \beta $ 的哪些数论性质？
• RQ5 序列 $ \lfloor 2^k\beta \rfloor $ 模 2 的最终周期性是否意味着 $ \beta $ 为有理数？

主要发现

• 在无界非奇异 EDS 中，$ W_n $ 的符号由 $ (-1)^{\lfloor n\beta \rfloor} $ 给出，其中 $ \beta \in \mathbb{R} $ 为无理数，可能需将 $ W_n $ 替换为 $ (-1)^{n-1}W_n $。
• 符号模式由 $ n\beta $ 的小数部分决定，且 $ \beta $ 的无理性确保了符号行为的非周期性。
• 序列 $ (|W_n|) $ 无法作为任何抽象动力系统中固定点计数序列实现。
• 证明的关键在于：若 $ (|W_n|) $ 可实现，则 $ \lfloor 2^k\beta \rfloor $ 的奇偶性将最终周期性，从而推出 $ \beta \in \mathbb{Q} $，与无理性矛盾。
• 对 $ W_{2^k} \mod 2^e $ 的分析表明，符号序列模 4 最终周期性，从而导致矛盾。
• 关键的数论洞见是：$ \beta $ 的小数部分的最终周期性二进制展开意味着 $ \beta \in \mathbb{Q} $，这与 EDS 结构所要求的无理性相矛盾。