[論文レビュー] An Exploration of Sequence A000975

Paul K. Stockmeyer|arXiv (Cornell University)|Aug 29, 2016

Algorithms and Data Compression参考文献 1被引用数 3

ひとこと要約

この論文は、2016年7月現在未検証のままだったOEIS列A000975に関するすべての予想される特徴付けと未解決の問題が、数学的に正しいことを証明する。この列の複数の同等な表現形（再帰的定義、2進表現、閉形式）を確立し、中国の輪パズル、グレイコードの距離、円形の親族グループ分割、2色付きオペラッドの色付きバブルなど、多様な文脈における出現を確認する。これらは、単一の組合せ的枠組みの下で統合される。

ABSTRACT

Sequence A000975 in the Online Encyclopedia of Integer Sequences (OEIS) starts out 1, 2, 5, 10, 21, 42, 85, ... . As of July 1, 2016, the description in the OEIS lists several characterizations of this sequence and numerous examples of instances where this sequence occurs. It also presents a "not yet proved" result, a conjecture, and an unanswered question concerning this sequence. In this paper we show that all of these proposed results are in fact true.

研究の動機と目的

• 2016年7月現在未解決のままだったOEISにおける列A000975に関するすべての予想された性質と未解決問題の正当性を検証すること。
• 再帰的定義、2進表現、閉形式の定義を含む、A000975の既存の複数の特徴付けの間の同等性を統一的かつ形式的に証明すること。
• 中国の輪パズル、グレイコードの距離、円形の親族グループ分割といった多様な組合せ的文脈におけるこの列の出現を確認すること。
• バブルの2色付きオペラッドにおける長年の曖昧さを解消し、誤った母関数を是正し、基底付きおよび非基底付きバブルの正しい数を導出すること。
• 親族グループ分割とオペラッド枠組み内の色付きバブルとの間の一対一対応を確立すること。

提案手法

• 再帰的定義、交互に並ぶビットを持つ2進表現、床関数と2の累乗を含む閉形式表現を含む、A(n)の複数の同等な特徴付けを導出する。
• 恒等式 A(n) = ⌊(2/3)·2ⁿ⌋ を用いて、2/3の2進展開と列を統合し、閉形式の新しい導出を提供する。
• 合同算術と組合せ的和分を用いて、S(n) + S(n+1) = 2ⁿ を証明する。ここで S(n) は長さnの2進文字列で、bの数が (2n+1) mod 3 に等しいものの個数を表す。
• グループ遷移に基づく辺の色分けルールを用いて、n+2人の人の親族グループ分割と2色付きオペラッドにおけるarity nの基底付きバブルとの間の全単射を構成する。
• 先行研究における誤った母関数を特定し、分子における変数の入れ替えを同定することで、基底付きおよび非基底付きバブルの正しい2変数母関数を導出する。
• 再帰的関係と構造的制約（例えば、同じ色の辺が2つ連続して存在すること）を用いて、オペラッド内での有効なバブルの定義と数え上げを行う。

実験結果

リサーチクエスチョン

• RQ1 OEISにおける列A000975のすべての予想された特徴付け、特に再帰的定義、2進表現、閉形式定義が、数学的に同等かつ正しいか？
• RQ2 列A(n)は、nリングの中国の輪パズルにおける移動回数を正しく数えているか？
• RQ3 nビットのグレイコードにおける全0と全1の文字列間の距離はA(n)に等しいか？
• RQ4 円形のテーブルの周りにn+2人の人々を3つの非隣接の親族グループに分割する方法の数はA(n)に等しいか？
• RQ5 バブルの2色付きオペラッドにおけるarity nの基底付きおよび非基底付きバブルの数はA(n−1)に一致するか？ また、母関数は正しく定式化されているか？

主な発見

• 列A000975のすべての予想された特徴付けが同等であることが証明された。これには再帰的定義、交互に並ぶビットを持つ2進表現、および閉形式 A(n) = ⌊(2/3)·2ⁿ⌋ が含まれる。
• 列A(n)は、nリングの中国の輪パズルを解くために必要な移動回数を正しく数えている。これは、この古典的な機械的パズルにおける役割を確認する。
• nビットのバイナリ反射グレイコードにおける全0文字列と全1文字列間の距離は正確にA(n)に等しく、グレイコード理論におけるその出現が妥当であることを裏付ける。
• n+2人の人々を円形のテーブルの周りに3つの非隣接の親族グループに分割する方法の数はA(n)に等しく、KnuthとLossersの結果を確認する。
• 修正された基底付きおよび非基底付きバブルの母関数はA(n−1)と一致し、親族グループ分割とそれらのバブルとの間の一対一対応が確立された。
• arity nの有効な基底付きバブルの数はA(n−1)に等しく、この数は再帰式 A(n) = (2ⁿ−1) − A(n−1) を満たす。これは、複数の組合せ的モデル間での一貫性を確認する。