[论文解读] Some conjectures on addition and multiplication of complex (real) numbers

Apoloniusz Tyszka|arXiv (Cornell University)|Jul 18, 2008

Mathematical Dynamics and Fractals被引用 7

一句话总结

本文研究了由加法和乘法运算导出的线性与多项式方程组在有理数和复数解上的猜想。提出解存在于指数有界区间内——线性系统为 $[-2^{n-1}, 2^{n-1}]$，含乘法的系统为 $[0, 2^{2^{n-2}}]$，并通过概率验证和基于矩阵代数与伪逆的理论分析予以支持。

ABSTRACT

We discuss conjectures related to the following two conjectures: (1) for each complex numbers x_1,...,x_n there exist rationals y_1,...,y_n \in [-2^{n-1},2^{n-1}] such that \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in {1,...,n} (x_i+x_j=x_k \Rightarrow y_i+y_j=y_k) (2) for each complex (real) numbers x_1,...,x_n there exist complex (real) numbers y_1,...,y_n such that \forall i \in {1,...,n} |y_i| \leq 2^{2^{n-2}} \forall i \in {1,...,n} (x_i=1 \Rightarrow y_i=1) \forall i,j,k \in {1,...,n} (x_i+x_j=x_k \Rightarrow y_i+y_j=y_k) \forall i,j,k \in {1,...,n} (x_i \cdot x_j=x_k \Rightarrow y_i \cdot y_j=y_k)

研究动机与目标

• 为涉及加法与乘法的方程组的有理数与复数解建立紧致的上界。
• 研究一致的线性与多项式方程组的解是否可被限制在指数有界区间内。
• 通过理论分析与概率计算验证所提边界的最小性与紧致性。
• 探讨 Moore-Penrose 伪逆与最小二乘解在推导有界有理数解中的作用。
• 考察这些边界对复数与实数域中最大解集与有限解集的影响。

提出的方法

• 形式化定义系统 $S \subseteq W_n$，包含方程 $x_i = 1$ 和 $x_i + x_j = x_k$，并扩展以包含 $x_i \cdot x_j = x_k$ 以处理多项式系统。
• 应用克莱默法则与矩阵秩分析，证明当系数属于 \{-1, 0, 1, 2\} 时，一致系统的唯一解为有理数。
• 使用 Moore-Penrose 伪逆 $\mathbf{A}^\dagger$ 计算具有最小欧几里得范数的最小二乘解，确保解的元素为有理数。
• 在 MuPAD 中使用概率算法采样随机系统，验证解的范数始终位于 $[-2^{n-1}, 2^{n-1}]$ 与 $[0, 2^{2^{n-2}}]$ 范围内。
• 通过变量代换（例如，将 $x_i = 1$ 替换为 $x_1$）简化系统，以利于证明并针对较小的 $n$ 验证猜想。
• 分析最大解集与有限解集系统，通过 Gröbner 基维数检查与数值求解方法测试解边界的猜想。

实验结果

研究问题

• RQ1 每个在 $\mathbb{C}$ 上一致的线性方程组（含 $x_i = 1$ 与 $x_i + x_j = x_k$）是否都存在一个位于 $[-2^{n-1}, 2^{n-1}]$ 内的有理数解？
• RQ2 对于同时包含加法与乘法方程的系统，复数或实数解的边界 $2^{2^{n-2}}$ 是否紧致？
• RQ3 此类系统的最小欧几里得范数最小二乘解是否始终位于所提出的指数边界内？
• RQ4 对于有有限多个解的系统，所有解是否满足 $|x_i| \leq 2^{2^{n-2}}$？
• RQ5 对于仅含加法与乘法的系统，边界 $2^{2^{n-1}}$ 是否可改进，或其本身即为最优？

主要发现

• 猜想 (I) 在 $n \leq 4$ 时成立，且通过 MuPAD 对 $n=5$ 进行 1000 次迭代的概率确认。
• 系统 $x_1 = 1$，$x_i + x_i = x_{i+1}$ 有唯一解 $(1, 2, 4, \dots, 2^{n-1})$，证明 $2^{n-1}$ 是猜想 (I) 中最紧致的边界。
• 当 $n > 1$ 时，猜想 (II) 中的边界 $2^{2^{n-2}}$ 是紧致的，如系统 $x_1 = 2$，$x_i \cdot x_i = x_{i+1}$ 所示，其解为 $(2, 4, 16, 256, \dots, 2^{2^{n-1}})$。
• 最小二乘解 $\mathbf{x}_0 = \mathbf{A}^\dagger \mathbf{b}$ 为有理数且位于 $[-2^{n-1}, 2^{n-1}]$ 内，支持猜想 1。
• 概率验证表明，对于 $n=5$，1000 个随机系统中解的最大范数始终低于 $2^{n-1}$。
• 通过代码修改支持猜想 5d，表明有限解集系统满足 $|x_i| \leq 2^{2^{n-1}}$，且当 $n > 1$ 时该边界为紧致。