[論文レビュー] Recurrence Relations for Elliptic Sequences: every Somos 4 is a Somos $k$

Alfred J. van der Poorten, Christine Swart|ArXiv.org|Dec 15, 2004

Advanced Combinatorial Mathematics参考文献 4被引用数 9

ひとこと要約

本稿では、4項再帰で定義されるすべてのSomos-4列が、すべてのギャップk ≥ 5に対して3項Somos関係を満たすことを証明しており、したがってこのような列はすべてのk > 4に対して本質的にSomos-kであることを確立している。証明は、特にWeierstrass σ関数と楕円曲線上の点のx座標間の対称的関係を用いた、楕円曲線算術から導かれる代数的恒等式に依拠しており、明示的な楕円曲線モデルを必要としない。これにより、再帰構造の整合性と普遍性が示されている。

ABSTRACT

In his `Memoir on Elliptic Divisibility Sequences', Morgan Ward's definition of the said sequences has the remarkable feature that it does not become at all clear until deep into the paper that there exist nontrivial such sequences. Even then, Ward's proof of coherence of his definition relies on displaying a sequence of values of quotients of Weierstraß$σ$-functions. We give a direct proof of coherence and show, rather more generally, that a sequence defined by a so-called Somos relation of gap 4 always also is given by a three term Somos relation of all larger gaps 5, 6, 7, $... $.

研究の動機と目的

• Morgan Wardによる楕円除法列の定義における基礎的整合性問題を解決すること。特に、すべてのインデックスにわたる再帰の整合性が直ちには明らかでない点に焦点を当てる。
• 4項再帰を満たす任意の列が、すべての大きなギャップk = 5, 6, 7, ... に対して3項Somos再帰を満たすことを示し、Somos列の族を統一すること。
• Weierstrass σ関数や複素解析的構成に依存せずに、直接的な代数的証明によりSomos-4列の整合性を示すこと。
• 初期値に依存せず、すべてのk ≥ 5に対して本質的にSomos-k関係を満たすという、Somos-4列の構造的普遍性を明らかにすること。

提案手法

• 楕円曲線上の点のx座標から、定数α, β, γとの関係をもつ3連続項の積を関係づける、重要な代数的恒等式(4)および(5)を導出する。
• e_h = x(M + hS) を用いた対称的恒等式を用い、Somos-4の再帰構造が代入と対称性によって高次Somos関係を導くことを示す。
• 恒等式 e_{h-1}e_h^2 e_{h+1} = α^2 e_h - β を適用し、すべてのhに対して成り立つ再帰を導出し、定数係数関係を用いてより大きなギャップへ拡張する。
• Somos-5の場合、c_h B_{h-1}B_{h+1} = e_h B_h^2 という変換と c_h c_{h+1} が定数であるという性質により、問題がSomos-4構造に還元されることを示す。
• A_{h-m}A_{h+m} = W_m^2 A_{h-1}A_{h+1} - W_{m-1}W_{m+1} A_h^2 という再帰がすべてのmに対して成り立つことを示し、初期値から完全な列が生成されることを証明する。
• 対称性と代入を用いて、得られるギャップkの再帰がhに依存しないことを示し、これが有効なSomos-k関係であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 すべてのSomos-4列が、すべてのギャップk ≥ 5に対して3項Somos再帰を満たすか？
• RQ2 Weierstrass σ関数を用いずに、Morgan Wardの楕円除法列定義の整合性を直接証明できるか？
• RQ3 なぜSomos-4列が自動的にすべてのk > 4に対してSomos-k関係を満たす構造的根拠が存在するのか？
• RQ4 再帰恒等式における定数α, β, γは、基礎となる楕円曲線のパラメータとどのように関係しているか？
• RQ5 Somos-5再帰は、列の変換を用いてSomos-4構造に還元できるか？

主な発見

• すべてのSomos-4列は、すべてのギャップk ≥ 5に対して3項Somos再帰を満たす。これは、すべてのk ≥ 5に対して同時にSomos-k列であることを意味する。
• W_m が初期値から定義される限り、すべてのm ≥ 1 に対して A_{h-m}A_{h+m} = W_m^2 A_{h-1}A_{h+1} - W_{m-1}W_{m+1} A_h^2 という再帰が成り立つ。これは、列がSomos-4再帰によって完全に決定されることを証明する。
• 楕円曲線のx座標から導かれる恒等式 e_{h-1}e_h^2 e_{h+1} = α^2 e_h - β がSomos-4再帰の根拠となり、高次Somos関係を含意することが示された。
• Somos-5列では、c_h B_{h-1}B_{h+1} = e_h B_h^2 かつ c_h c_{h+1} = v が定数であるという変換により、問題がSomos-4構造に還元され、すべての奇数k ≥ 7に対してSomos-k列であることが証明された。
• 恒等式 e_{h-1}e_h^2 e_{h+1}^2 e_{h+2} = β e_h e_{h+1} + (α^4 - βγ) はhとmに関して対称的であり、インデックス間の整合性が確認された。
• 証明により、Somos-4再帰がすべての高次Somos-k再帰を生成することを示し、関係に含まれる定数がhに依存しないことが示された。これにより、グローバルな整合性が保証された。