[論文レビュー] Recurrence sequences in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}

László Németh, László Szalay|Acta Biologica Plantarum Agriensis (Eszterházy Károly University, Hungary)|Jan 21, 2017

Advanced Mathematical Theories and Applications参考文献 1被引用数 5

ひとこと要約

本稿は、双曲平面における{4,5}正則タイル張りに基づく双曲パスカルの三角形における再帰的数列を調査する。二項線形再帰 $ f_n = \alpha f_{n-1} \pm f_{n-2} $ は、三角形内の特定の経路パターン $ L^\ell R^r $ を通じて表現可能であり、主な結果として、このような数列は三角形の隣接する要素から出発する経路から生じ、再帰パラメータ $ \alpha $ は $ \alpha = \ell r + 2 $ により経路パラメータと関連付けられる。

ABSTRACT

Recently, a new generalization of Pascal's triangle, the so-called hyperbolic Pascal triangles were introduced. The mathematical background goes back to the regular mosaics in the hyperbolic plane. In this article, we investigate the paths in the hyperbolic Pascal triangle corresponding to the regular mosaic $\{4,5\}$, in which the binary recursive sequences $f_{n}=αf_{n-1}\pm f_{n-2}$ are represented ($α\in\mathbb{N}^+$).

研究の動機と目的

• 双曲パスカルの三角形における{4,5}正則タイル張りに対応する、二項線形再帰数列 $ f_n = \alpha f_{n-1} \pm f_{n-2} $ がどのようなものかを特定すること。
• 再帰数列と三角形の頂点構造内での特定の経路パターン $ L^\ell R^r $ の間の幾何的対応関係を確立すること。
• 与えられた再帰数列が、このような経路を通じて三角形に埋め込める条件を特定すること。
• これらの経路に沿った中間項の明示的公式を導出し、それらを再帰パラメータと関連付けること。

提案手法

• 双曲パスカルの三角形を有向グラフとして用い、頂点が基準頂点からの最短経路数を表し、辺が{4,5}タイル張りの格子内での遷移を表す。
• 定理1を適用し、任意の2つの正の整数が三角形のある行に隣接する要素として現れることを保証し、任意のこのようなペアから経路を構築可能とする。
• 経路パターン $ L^\ell R^r $ を定義し、A型頂点からの左下移動（L）および右下移動（R）を表すことで、三角形の構造に沿った数列のトレースを可能にする。
• このような経路に沿った数列の再帰関係を導出し、2番目のコーナー要素が $ z_{i+2} = (\ell r + 2)z_{i+1} - z_i $ を満たすことを示す。
• 数列 $ u_i, v_i $ 及びそれらの線形結合 $ w_i = u_i + m v_i $ の代数的変形を用い、一般再帰 $ w_i = (\ell r + 2)w_{i-1} - w_{i-2} $ を導出する。
• 系1を適用し、頂点の種別（A型、B型、ウィンガー型）を制限し、再帰構造と整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 双曲パスカルの三角形における{4,5}タイル張りに対し、形式 $ f_n = \alpha f_{n-1} \pm f_{n-2} $ の二項再帰数列のうち、どのようなものが埋め込めるか。
• RQ2 経路パターン $ L^\ell R^r $ のパラメータ $ \ell $ と $ r $ は、数列の再帰パラメータ $ \alpha $ とどのように関係しているか。
• RQ3 初期値のペア $ f_j, f_{j+1} $ が、$ L^\ell R^r $ を通じて三角形内に有効な経路を生成する条件は何か。
• RQ4 経路に沿った中間項の役割は何か。それらは再帰に線形結合を通じてどのように関連しているか。
• RQ5 三角形内の幾何的経路パターンから再帰構造を回復できるか。

主な発見

• すべての二項再帰数列 $ f_n = \alpha f_{n-1} + f_{n-2} $ で $ \alpha \in \mathbb{N}^+ $ を満たすものが、{4,5}タイル張りに対応する双曲パスカルの三角形に現れる。
• 再帰パラメータ $ \alpha $ は、経路パラメータとの間で $ \alpha = \ell r + 2 $ により関連づけられ、ここで $ \ell $ と $ r $ は経路パターン $ L^\ell R^r $ 内の左移動および右移動の回数を表す。
• 三角形内の隣接する要素 $ u, v $（$ u < v $ とする）に対して、次の要素は $ v - u $ であり、値 $ v $ を持つ頂点はA型である。一方、$ u $ および $ v - u $ を持つ頂点はA型でない。
• すべての $ 0 \leq m < \ell $ に対して、数列 $ w_i = u_i + m v_i $ は再帰 $ w_i = (\ell r + 2)w_{i-1} - w_{i-2} $ を満たし、経路に沿った再帰構造のグローバル性を裏付ける。
• $ \ell = r $ のとき、中間数列は $ W_j = \ell W_{j-1} + W_{j-2} $ を満たし、経路の対称性と再帰形式との直接的な関係を示す。
• $ f_i = \alpha f_{i-1} - f_{i-2} $ を満たす同じ再帰数列を表す異なる経路パターンの数は、$ \alpha - 2 $ の約数の個数に等しく、$ \ell r = \alpha - 2 $ であるため。