[论文解读] On linear combinations of units with bounded coefficients and double-base digit expansions

Daniel Krenn, Jörg Μ. Thuswaldner+1 more|arXiv (Cornell University)|May 22, 2012

Algebraic Geometry and Number Theory参考文献 15被引用 5

一句话总结

本文通过引入 R-Γ-单位和高度，将 Belcher 在数域中关于单位和表示的准则进行推广，证明若方程 $ u_1 + \cdots + u_I = n $ 存在非平凡解 $ (u_1,\dots,u_I) \neq (1,\dots,1) $，则环 $ R $ 中的每个代数整数均可表示为单位的线性组合，其系数有界于 $ n-1 $。该结果使得在 $ \mathbb{Z}[1/p,1/q] $ 等环中高效计算带符号双基展开成为可能，特别是当 $ 2 = \pm p^a q^b \pm p^c q^d $ 时，可实现多项式时间算法。

ABSTRACT

Let $\ord$ be the maximal order of a number field. Belcher showed in the 1970s that every algebraic integer in $\ord$ is the sum of pairwise distinct units, if the unit equation $u+v=2$ has a non-trivial solution $u,v\in\ord^*$. We generalize this result and give applications to signed double-base digit expansions.

研究动机与目标

• 将 Belcher 在数域中关于单位和表示的准则推广，以允许单位线性组合中出现有界系数。
• 建立环 $ R $ 中所有元素可表示为有界系数（至多 $ n-1 $）的单位线性组合的条件，其中 $ R $ 由有限个单位生成。
• 将推广后的准则应用于环 $ \mathbb{Z}[1/p,1/q] $ 中的带符号双基展开，确保此类展开可高效（多项式时间）计算。
• 识别出有界系数单位表示存在的充分条件——特别是方程 $ u_1 + \cdots + u_I = n $，$ (u_1,\dots,u_I) \neq (1,\dots,1) $ 的解。
• 为构造扩展的带符号 $ p $-$ q $-双基展开提供算法效率保证，前提是 2 的表示满足特定的指数丢番图方程。

提出的方法

• 引入 $ R $-$ \Gamma $-单位和高度 $ \omega_{R,\Gamma}(\alpha) $，定义为在 $ \Gamma \cap R $ 中选取不同单位的任意有限线性组合中，最大系数的最小值。
• 将 $ \omega_\Gamma(R) $ 定义为所有 $ \alpha \in R $ 的 $ \omega_{R,\Gamma}(\alpha) $ 的上确界，并在 $ u_1 + \cdots + u_I = n $ 在 $ \Gamma \cap R $ 中存在非平凡解的条件下，证明 $ \omega_\Gamma(R) \leq n-1 $。
• 将主定理应用于环 $ R = \mathbb{Z}[1/p,1/q] $ 和乘法群 $ \Gamma = \langle -1, p, q \rangle $，其中 $ p $ 和 $ q $ 为互素整数。
• 利用 $ u_1 + \cdots + u_I = n $ 的非平凡解来界定单位表示中的系数，确保表示长度有限且有界。
• 将构造双基展开的问题归约为求解涉及 $ p $ 和 $ q $ 的幂的丢番图方程，特别是当 $ 2 = \pm p^a q^b \pm p^c q^d $ 时。
• 证明此类表示可在 $ h(\alpha) $ 的多项式时间内计算，使用基于系数和与有界表示的递归分解方法。

实验结果

研究问题

• RQ1 在什么条件下，由有限个单位生成的环 $ R $ 中的所有元素，可表示为不同单位的线性组合，且系数有界于 $ n-1 $？
• RQ2 此类表示中的最小最大系数是多少？它与单位方程 $ u_1 + \cdots + u_I = n $ 的解有何关系？
• RQ3 当 $ u_1 + \cdots + u_I = n $ 存在非平凡解时，何时可保证在 $ \mathbb{Z}[1/p,1/q] $ 中实现带符号双基展开的高效（多项式时间）计算？
• RQ4 哪些互素整数对 $ (p,q) $ 允许将 2 表示为 $ p $ 和 $ q $ 的幂的线性组合，从而实现高效的双基展开？
• RQ5 能否最小化带符号 $ p $-$ q $-双基展开中的非零数字个数？有哪些算法方法可支持此目标？

主要发现

• 若方程 $ u_1 + \cdots + u_I = n $ 在 $ \Gamma \cap R $ 中存在非平凡解，则 $ \omega_\Gamma(R) \leq n-1 $，意味着 $ R $ 中的所有元素均可表示为不同单位的线性组合，其系数至多为 $ n-1 $。
• 对于 $ R = \mathbb{Z}[1/p,1/q] $ 和 $ \Gamma = \langle -1, p, q \rangle $，若 $ 2 = \pm p^a q^b \pm p^c q^d $，则 $ \mathbb{Z}[1/p,1/q] $ 中的每个元素均具有可多项式时间计算的扩展带符号 $ p $-$ q $-双基展开。
• 展开规则的应用次数有界于 $ \frac{w^2 - w}{2} $，其中 $ w $ 为 $ p $-进展开中系数绝对值之和，从而确保多项式时间复杂度。
• 当 $ p $ 为索菲热尔曼素数且 $ q = 2p+1 $ 时，恒等式 $ 2 = qp^{-1} - p^{-1} $ 成立，这保证了带符号 $ p $-$ q $-双基展开的高效可计算性。
• 该方法适用于所有 $ p, q > 3 $，且方程 $ 2 = \pm p^a q^b \pm p^c q^d $ 的解必须具有特定形式，如 $ 2 = \pm p^{-a} \pm p^{-a} q^b $，并排除 $ p \mid 2 $ 或 $ q \mid 2 $ 的情况。
• 构造展开的算法在 $ h(\alpha) = \max\{ \log|n|, \log|m|, 1 \} $ 的多项式时间内运行，其中 $ \alpha = n/m $，从而确保 $ \mathbb{Z}[1/p,1/q] $ 中所有有理数的高效计算。