[論文レビュー] The Fermat cubic, elliptic functions, continued fractions, and a combinatorial excursion

Eric van Fossen Conrad, Philippe Flajolet|ArXiv.org|Jul 13, 2005

Advanced Combinatorial Mathematics参考文献 22被引用数 15

ひとこと要約

本稿は、フェルマーの三次曲線 $x^3 + y^3 = 1$ に関連するディクソンの楕円関数、分子が六次式で分母が三次式である連分数、およびポーヤのウームや制約付き順列といった組合せ構造との間に深い関係を確立する。連分数が $\text{sm}$ および $\text{cm}$ 関数のラプラス変換から生じることを証明し、その係数が直交多項式および組合せモデルを用いて解析的に解けることを示し、微分方程式系と確率過程との間の新規な同型写像を明らかにする。

ABSTRACT

Elliptic functions considered by Dixon in the nineteenth century and related to Fermat's cubic, $x^3+y^3=1$, lead to a new set of continued fraction expansions with sextic numerators and cubic denominators. The functions and the fractions are pregnant with interesting combinatorics, including a special Pólya urn, a continuous-time branching process of the Yule type, as well as permutations satisfying various constraints that involve either parity of levels of elements or a repetitive pattern of order three. The combinatorial models are related to but different from models of elliptic functions earlier introduced by Viennot, Flajolet, Dumont, and Fran{ç}on.

研究の動機と目的

• フェルマーの三次曲線 $x^3 + y^3 = 1$ に関連する楕円関数から導かれる、分母が三次式で分子が六次式である新しい種類の連分数のクラスを確立すること。
• ディクソンの $\text{sm}$ および $\text{cm}$ 関数のラプラス変換と、これらの連分数および直交多項式系との関係を確立すること。
• 連分数の係数が、ポーヤ型のウームと制約付き順列を含む組合せモデルから生じることを示すこと。
• 連分数の背後にある $\text{sm}$ および $\text{cm}$ の微分方程式系が、連続時間の分岐過程および確率的ウームモデルと同型であることを示すこと。
• フラジョレットおよびフランコン＝ヴィエノの定理を用いて、格子パスおよび重み付きパス系を用いた連分数係数の組合せ的解釈を提供すること。

提案手法

• フェルマーの三次曲線 $x^3 + y^3 = 1$ をパラメトライズするディクソン楕円関数 $\text{sm}(u)$ および $\text{cm}(u)$ が満たす基本的な非線形微分方程式系を導出する。
• ラプラス変換を用いて、$\text{sm}(u)$ および $\text{cm}(u)$ を形 $\cfrac{x^2}{1 + b_0x^3 - \cfrac{1^6 x^6}{1 + b_1x^3 - \cdots}}$ の連分数と関係づける。ここで $b_n = 2(3n+1)((3n+1)^2 + 1)$ である。
• フラジョレットの連分数と重み付き格子パスに関する定理を適用し、パス系を用いた係数の組合せ的解釈を導出する。
• 連分数の係数と、立方成長ダイナミクスを示すポーヤ型ウームモデルの履歴との間の双対写像を確立する。
• 生成関数が $\text{cm}(u)$ のラプラス変換と一致する連続時間二粒子分岐過程（ユール型）を構成し、確率過程と楕円関数を結びつける。
• ハンケル行列式の評価と直交多項式系（OPS）を用いて、収束分数の分母を特徴づけ、ハイブリッド・メイクナー＝ブレーネク分類に従うことを示す。

実験結果

リサーチクエスチョン

• RQ1 分母が三次式で分子が六次式である連分数が、フェルマーの三次曲線に関連する楕円関数から体系的に導けるか。
• RQ2 このような連分数の係数を裏付ける組合せ的構造は何か。また、それらは確率過程とどのように関係しているか。
• RQ3 ディクソンの $\text{sm}$ および $\text{cm}$ 関数のラプラス変換が、直交多項式系およびモーメント問題とどのように関係しているか。
• RQ4 順列の制約、たとえばレベルの偶奇性や二重上昇／二重下降といった要因が、これらの連分数の係数をモデル化する上で果たす役割は何か。
• RQ5 代数的構造としてのフェルマーの三次曲線と、アペリーおよびシュティルチェスの連分数のような算術的性質との間に、より深い関係があるか。

主な発見

• 連分数 $\int_0^\infty \text{sm}(u) e^{-u/x} du = \cfrac{x^2}{1 + b_0x^3 - \cfrac{1^6 x^6}{1 + b_1x^3 - \cdots}}$ で、$b_n = 2(3n+1)((3n+1)^2 + 1)$ であるが、これはディクソン関数 $\text{sm}(u)$ のラプラス変換から導かれる。$\text{sm}(u)$ は超幾何関数 $F[\frac{1}{3}, \frac{2}{3}; \frac{4}{3}]$ の逆関数である。
• 連分数の係数は、現在の組成に依存する確率でボールを引くポーヤ型ウームモデルを用いて解析的に解ける。強化ルールに立方成長が現れる。
• $\text{sm}$ および $\text{cm}$ の微分方程式系は、連続時間二粒子ユール型分岐過程と同型である。これにより、ディクソン関数を用いた正確な解が得られる。
• 連分数から生じる直交多項式系の母関数は $\sum_{n \geq 0} Q_n(z) \frac{t^{3n}}{(3n)!} = (1 - t^3)^{-1/3} E_{3,0}(z \theta(t)^3)$ で表され、ここで $\theta(t) = \int_0^t \frac{dw}{(1 - w^3)^{2/3}}$ である。初めの数個の多項式は $Q_0 = 1$, $Q_1 = 2 + z$, $Q_2 = 160 + 100z + z^2$, $Q_3 = 62720 + 42960z + 672z^2 + z^3$ である。
• 関連する直交性測度のモーメント問題は、ギレヴィツ、ルポルド、ラッフィング、ヴァレントの独立的な研究により、不定であることが示された。これにより測度の一意性の欠如が確認された。
• 連分数の係数は、重み付き格子パスおよび木表現におけるピーク、ボウル、二重上昇、二重下降、ノードレベルの偶奇性を含む順列統計を用いて、組合せ的に解釈可能である。