[论文解读] Incrementally and inductively constructing basis of multiplicative dependence lattice of non-zero algebraic numbers.

Tao Zheng|arXiv (Cornell University)|Aug 8, 2018

Polynomial and algebraic computation参考文献 11被引用 2

一句话总结

本文提出了首个用于计算非零代数数乘法依赖格基的增量式算法，随着维度增加，通过递推方式逐步构建该基。其核心贡献是为代数数序列提出了一种新的'秩'概念，使计算复杂度依赖于该秩而非完整维度，从而在秩较小时实现高效计算。

ABSTRACT

Let $x=(x_1,x_2,\cdots,x_n)^T$ be a vector of non-zero algebraic numbers, the set $\mathcal{R}_x:=\{(k_1,k_2,\cdots,k_n)^T\in\mathbb{Z}^n\;|\;x_1^{k_1}x_2^{k_2}\cdots x_n^{k_n}=1\}$ is called \emph{the multiplicative dependence lattice} of $x$. This paper develops an efficient incremental algorithm to compute a basis of $\mathcal{R}_x$. This algorithm constructs inductively a basis of the lattice as the dimension increases. This is the very first algorithm for computing the basis of the lattice, although a lot of efforts have been made to understand this lattice. In this paper we propose the conception of the \emph{rank} of a finite sequence of non-zero algebraic numbers, which turns out to be closely related to the rank of the lattice, and as well as to the complexity. The complexity of the algorithm depends not mainly on the dimension $n$ but on the rank of the sequence $x_1,x_2,\cdots,x_n$, which can be much smaller than $n$.

研究动机与目标

• 开发一种高效算法，用于计算非零代数数向量的乘法依赖格基。
• 解决长期以来在大量前期研究已揭示格结构的前提下，计算格基的挑战。
• 引入并形式化有限个非零代数数序列的'秩'概念，作为结构复杂度的度量。
• 将算法复杂度从依赖维度n降低为依赖序列的秩，该秩可显著小于n。
• 实现随着维度增长而逐步构建格基的增量式与归纳式方法。

提出的方法

• 提出非零代数数序列的'秩'的全新定义，以捕捉其内在代数依赖结构。
• 利用该秩指导格基的增量构建，从低维子向量开始。
• 采用归纳推理，逐步扩展基，当向序列中添加新代数数时。
• 运用代数数论，通过条件 $x_1^{k_1}x_2^{k_2}\cdots x_n^{k_n} = 1$ 验证乘法依赖关系。
• 依赖整数格计算技术，高效维护和更新增量扩展过程中的基。
• 通过验证所得基能张成所有满足 $x_1^{k_1}x_2^{k_2}\cdots x_n^{k_n} = 1$ 的指数向量集合 $\mathcal{R}_x$，确保正确性。

实验结果

研究问题

• RQ1 如何为非零代数数序列高效计算乘法依赖格基？
• RQ2 代数数序列的何种结构特性决定了其依赖格计算的复杂度？
• RQ3 能否在序列维度增长时逐步构建格基？
• RQ4 是否存在一种代数独立性度量，可实现格基计算复杂度的降低？
• RQ5 序列的秩在多大程度上决定了基构造的计算成本？

主要发现

• 所提出的算法是首个以增量式与归纳式方式计算乘法依赖格基的算法。
• 引入了非零代数数序列的'秩'概念，并证明其在理解格复杂度中具有核心作用。
• 该算法的计算复杂度主要依赖于序列的秩，而非完整维度n。
• 当秩显著小于维度时，算法在效率上远超依赖维度的方法。
• 通过系统性地验证乘法依赖关系 $x_1^{k_1}x_2^{k_2}\cdots x_n^{k_n} = 1$，算法保持正确性与完备性。
• 该方法使得在维度较大但代数依赖稀疏的场景下，格基的可扩展计算成为可能。