[論文レビュー] 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)

研究の動機と目的

• 加法および乗法を含む方程式系の有理数および複素数解の上限を厳密に特定すること。
• 一貫性を持つ一次方程式および多項方程式系の解が指数的に有界な区間内に収束するかどうかを調査すること。
• 理論的解析および確率的計算を用いて、提案された境界の最小性およびタイトさを検証すること。
• ムーア・ペンローズ疑似逆行列および最小二乗解が有界な有理数解を導出する役割を調査すること。
• これらの境界が複素数および実数領域における最大解数および有限解数の系に与える影響を検討すること。

提案手法

• 方程式 $x_i = 1$ および $x_i + x_j = x_k$ からなる $S \subseteq W_n$ の系を定式化し、多項方程式系のため $x_i \cdot x_j = x_k$ を追加する。
• クラメルの定理および行列のランク解析を適用し、係数が \{-1, 0, 1, 2\} に属する場合、一意解が有理数であることを示す。
• ムーア・ペンローズ疑似逆行列 $\mathbf{A}^\dagger$ を用いて、ユークリッドノルムが最小となる最小二乗解を計算し、有理数成分を保証する。
• MuPADを用いた確率的アルゴリズムにより、ランダムな系をサンプリングし、解のノルムが $[-2^{n-1}, 2^{n-1}]$ および $[0, 2^{2^{n-2}}]$ の範囲に収まることを検証する。
• 変数の置換（例：$x_i = 1$ を $x_1$ に置換）を用いて系を簡略化し、小さい $n$ に対して証明および予想の検証を容易にする。
• グレブナー基底の次元チェックおよび数値的解法を用いて、最大解数および有限解数の系を分析し、解の境界に関する予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 複素数体 $\mathbb{C}$ 上の一次方程式系で、$x_i = 1$ および $x_i + x_j = x_k$ を満たす一貫性を持つ系は、常に $[-2^{n-1}, 2^{n-1}]$ の有理数解を持つだろうか？
• RQ2 加法および乗法の両方を含む系の複素数または実数解に対して、境界 $2^{2^{n-2}}$ はタイトであろうか？
• RQ3 このような系におけるユークリッドノルムが最小となる最小二乗解 $\mathbf{x}_0 = \mathbf{A}^\dagger \mathbf{b}$ は、常に提案された指数的境界内にあるだろうか？
• RQ4 有限個の解を持つ系に対して、すべての解が $|x_i| \leq 2^{2^{n-2}}$ を満たすだろうか？
• RQ5 加法および乗法のみを含む系に対して、境界 $2^{2^{n-1}}$ を改善できるだろうか、あるいはこれが最適であるだろうか？

主な発見

• 予想 (I) は $n \leq 4$ に対して成立し、$n=5$ では MuPAD を用いた 1000 回の反復による確率的確認が得られた。
• 系 $x_1 = 1$, $x_i + x_i = x_{i+1}$ は一意解 $(1, 2, 4, \dots, 2^{n-1})$ を持ち、これにより予想 (I) の境界 $2^{n-1}$ がタイトであることが証明された。
• $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}$ 未満に保たれていることが確認された。
• コードの修正により、有限解数の系が $|x_i| \leq 2^{2^{n-1}}$ を満たすことが示され、$n > 1$ に対して境界がタイトであることが支持された。