[論文レビュー] Parametric Solutions for a Nearly-Perfect Cuboid

Mamuka Meskhishvili|arXiv (Cornell University)|Feb 9, 2015

Coding theory and cryptography参考文献 6被引用数 7

ひとこと要約

本稿では、1つの面対角線が無理数であるほぼ完全な直方体（NPC）のための3つの有理数1パラメータのパラメータ化を提示する。平方数を含むディオファントス的条件の有理数解を活用することで、辺の長さと対角線の明示的な多項式式が導かれ、完全な直方体の探索に向けた構成的基盤が提供される。

ABSTRACT

We consider nearly-perfect cuboids (NPC), where the only irrational is one of the face diagonals. Obtained are three rational parametrizations for NPC with one parameter.

研究の動機と目的

• 1つの面対角線が無理数であるほぼ完全な直方体（NPC）の明示的な有理数パラメータ化を構築すること。
• 1つの有理数パラメータを用いたNPC解の体系的生成法を提供することで、従来の不完全または2パラメータのパラメータ化を発展させること。
• 面対角線が有理数になる条件を導出することで、コンピュータ支援探索の基盤を確立すること。
• 完全な直方体問題が、有理数パラメータにおける3つの平方条件を満たす有理数解の存在に同値であることを明らかにすること。

提案手法

• 恒等式 $(1 - T^2)(1 - (4T^3 - 3T)^2) = [(1 - T^2)(1 - 4T^2)]^2$ の有理数パラメータ化を導出し、NPC問題における3つの平方条件のうち2つを満たす解を生成する。
• 置換 $T = \frac{t^2 + 3}{4t}$ を用いて、有理数パラメータ $\xi$ と $\zeta$ を生成し、$\xi\zeta = \square$ および $(1 - \xi^2)(1 - \zeta^2) = \square$ を満たすようにする。ここで $\square$ は有理数の平方を表す。
• 先行研究から得られた3つの異なる生成系を用い、3つの異なるパラメータ化（I, II, III）を導出し、それぞれが無理数対角線の異なる配置に対応するようにする。
• パラメータ化された有理数パラメータ $\alpha$, $\beta$, $\gamma$ を、辺の長さ $a$, $b$, $c$ およびすべての面対角線・空間対角線の明示的な多項式式に変換する。
• 3つの異なる1パラメータ族のNPC解を導出し、それぞれがすべての辺と対角線が有理数式で表されるが、1つの面対角線を除いてそうである。
• 3つのパラメータ化された $d_{ab}^2$ の式のいずれかが、非自明な有理数 $t$ に対して有理数の平方になるならば、完全な直方体が存在することを示している。

実験結果

リサーチクエスチョン

• RQ1 1つの面対角線が無理数であるほぼ完全な直方体に対して、有理数1パラメータ族を構築できるか？
• RQ2 このような直方体の存在に必要な平方条件を満たす代数的恒等式およびパラメータ化は何か？
• RQ3 完全な直方体のディオファントス系を、計算探索を容易にする有理数パラメータ化にどのように還元できるか？
• RQ4 導出されたパラメータ化はすべての可能なNPC解をカバーしているのか、それとも平方条件を満たす有理数解が欠落しているのか？

主な発見

• 1つの有理数パラメータ $t \neq 0, \pm1, \pm3$ を用いた、1つの面対角線が無理数であるほぼ完全な直方体のための3つの有理数1パラメータのパラメータ化（I, II, III）が構築された。
• 最初のパラメータ化では $a = 16t^2(t^4 - 9)$, $b = (t^4 - 10t^2 + 9)(t^4 + 2t^2 + 9)$ が得られ、$t$ が特定の平方条件を満たす場合に $d_{ab}^2 = [a]^2 + [b]^2$ が有理数になる。
• 2番目のパラメータ化では $a = 16t^2(t^4 - 9)(t^4 - 2t^2 + 9)$ が得られ、同じ条件の下で $d_{ab}^2$ が有理数になる。これは別の生成系から導出された。
• 3番目のパラメータ化では $a = (t^4 - 1)(t^4 - 81)$ が得られ、再び対応する式が有理数の平方になる場合に $d_{ab}^2$ が有理数になる。
• 本稿では、完全な直方体が存在するための必要十分条件として、3つのパラメータ化された $d_{ab}^2$ の式のいずれかが、非自明な有理数 $t$ に対して有理数の平方になることであると確立している。
• これらのパラメータ化は、コンピュータ探索に適した完全な代数的枠組みを提供する。もしもそのような $t$ が見つかったならば、完全な直方体が確認される。