[論文レビュー] Gaps of Summands of the Zeckendorf Lattice

Neelima Borade, Dexter Cai+5 more|arXiv (Cornell University)|Sep 4, 2019

Advanced Algebra and Logic参考文献 20被引用数 4

ひとこと要約

本稿は、2次元格子における合法的分解における和項間のギャップの分布を分析することで、ゼッケンドルフの定理を2次元格子へ拡張する。その結果、格子サイズが大きくなるにつれギャップベクトルが2次元幾何確率変数に分布収束することを証明し、1次元のギャップ減衰結果を高次元に一般化するが、明示的な確率的収束を与える。

ABSTRACT

A beautiful theorem of Zeckendorf states that every positive integer has a unique decomposition as a sum of non-adjacent Fibonacci numbers. Such decompositions exist more generally, and much is known about them. First, for any positive linear recurrence {Gn} the number of summands in the legal decompositions for integers in [Gn, Gn+1) converges to a Gaussian distribution. Second, Bower, Insoft, Li, Miller, and Tosteson proved that the probability of a gap between summands in a decomposition which is larger than the recurrence length converges to geometric decay. While most of the literature involves one-dimensional sequences, some recent work by Chen, Guo, Jiang, Miller, Siktar, and Yu have extended these decompositions to d-dimensional lattices, where a legal decomposition is a chain of points such that one moves in all d dimensions to get from one point to the next. They proved that some but not all properties from 1-dimensional sequences still hold. We continue this work and look at the distribution of gaps between terms of legal decompositions, and prove similar to the 1-dimensional cases that when d = 2 the gap vectors converge to a bivariate geometric random variable.

研究の動機と目的

• 2次元格子上の合法的分解における和項間のギャップの統計的挙動を調査し、1次元のギャップ減衰結果を拡張する。
• 2次元ゼッケンドルフ分解におけるベクトル値ギャップの分布が、既知の確率的モデルに収束するかどうかを特定する。
• 組合せ的格子パス分解と高次元における多変量幾何分布との間の厳密な関係を確立する。
• 1次元からd次元格子へのギャップ分布結果の一般化の可能性を検討し、d=2を基礎的ケースとして焦点を当てる。

提案手法

• 2次元格子上の合法的分解を、各点がすべての座標で厳密に減少する有限な格子点の集合として定義し、『シンプルジャンプパス』を形成する。
• 各減少パスに沿った和として表現できない最小の自然数を再帰的に追加することで、列を構築する。
• 分解における連続する和項間のギャップベクトルを、水平方向および垂直方向のステップを表す2次元ベクトル(v₁, v₂)として扱う。
• 母関数と組合せ的恒等式を用いて、ギャップベクトル(v₁, v₂)が現れる極限確率を計算し、(1/2)^(v₁+v₂)の形で幾何的に減衰することを示す。
• 固定されたギャップ和v = v₁ + v₂ ≥ 2に対して、有効な(v₁, v₂)ペアの数はv−1個であり、それぞれの確率は1/2^vであるため、全確率P(v) = (v−1)/2^vとなることを示す。
• 同じ和を持つペアの寄与が一様であることに基づき、対称性を活用して極限の2変量幾何分布を導出する。

実験結果

リサーチクエスチョン

• RQ1 2次元ゼッケンドルフ格子分解におけるギャップベクトルの分布は、2変量幾何分布に収束するか？
• RQ2 ギャップベクトル(v₁, v₂)の確率は、和v₁ + v₂にどのように依存し、幾何的に減衰するか？
• RQ3 1次元で確率がr^v（r < 1）の形で減衰するという結果は、高次元におけるベクトル値ギャップに一般化可能か？
• RQ4 固定された和vに対して有効な(v₁, v₂)ペアの数といった、組合せ的構造が極限ギャップ分布に与える影響は何か？
• RQ5 2次元の結果は、d次元格子や複合パス分解へどの程度一般化可能か？

主な発見

• 2次元ゼッケンドルフ格子分解におけるギャップベクトルの極限分布は、確率質量関数P(v₁, v₂) = (1/2)^(v₁ + v₂)（v₁, v₂ ≥ 1）をもつ2変量幾何分布に収束する。
• 固定されたギャップ和v = v₁ + v₂ ≥ 2に対して、その和を持つ任意のギャップベクトルの全確率P(v)は(v−1)/2^vであり、幾何的に減衰する。
• 和vを持つ有効なギャップベクトルの数は正確にv−1個であり、これはv₁ + v₂ = vかつv₁, v₂ ≥ 1を満たすすべてのペアに対応する。
• ギャップベクトル分布が2変量幾何モデルに収束することは、格子サイズn → ∞の極限において厳密に確立されている。
• 解析により、ギャップ確率の減衰率は、列の再帰的構築とパス制約に起因するベース1/2に依存していることが明らかになった。
• d ≥ 3次元への一般化の主な障害は、2次元でペアの数を数える根拠となっている補題2.1の一般化が存在しないことであると同定された。