[論文レビュー] Universal Cycles of Restricted Words

KB Gardner, Anant P. Godbole|arXiv (Cornell University)|Nov 19, 2017

Advanced Combinatorial Mathematics参考文献 7被引用数 5

ひとこと要約

本稿では、単調関数、拡張された全射関数、リプシッツ関数、格子パス、および高次元におけるランダムウォークを含む、さまざまな制限付き組合せ的対象に対する普遍サイクル（U-サイクル）の存在を確立する。エラー図理論（各頂点における入次数と出次数がバランスしているとエラー図が存在することを保証する）を用い、パス長の偶奇性やアルファベット制約といった特定の条件下で、これらのクラスに対してU-サイクルが存在することを証明する。

ABSTRACT

A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian, this baseline result is used as the basis of existence proofs for universal cycles (also known as generalized deBruijn cycles or U-cycles) of several combinatorial objects. We extend the body of known results by presenting new results on the existence of universal cycles of monotone, "augmented onto", and Lipschitz functions in addition to universal cycles of certain types of lattice paths and random walks.

研究の動機と目的

• 制限なしの語を超えて、構造的制約を伴う組合せ的対象へ普遍サイクル（U-サイクル）の理論を拡張すること。
• 有限定義域上の単調関数、拡張された全射関数、およびリプシッツ関数に対してU-サイクルが存在するかどうかを調査すること。
• 格子パスおよび多変数空間におけるランダムウォークに対して、U-サイクルが存在する条件を特定すること。
• 均等分布や重み制限付き部分集合といった、制限付き語のU-サイクルに関する先行結果を一般化すること。
• 頂点ラベル付きパスグラフにおけるバランスの取れたダイグラフと弱連結性を用いた、U-サイクル存在の証明フレームワークを確立すること。

提案手法

• 制約（例えば3次元格子パスでは原点からの距離が$k+1$以内に終わること）を満たす長さ$k-1$の文字列（またはパス）を頂点とする有向グラフを構築する。
• 最初の文字列の接尾辞と2番目の文字列の接頭辞が一致する場合に有向辺を張り、デ・ブルージュ型のオーバーラップ構造を形成する。
• 有効な延長の数が順序に依存せず、文字の頻度にのみ依存することを示すことにより、ダイグラフがバランスされている（各頂点で入次数と出次数が等しい）ことを証明する。
• 隣接する文字の交換（度数6の交換）を用いて、すべての頂点が標準的頂点（例：文字がブロックにまとまっているもの）へエッジの交換で接続可能であることを示し、弱連結性を確立する。
• 弱連結でバランスの取れたダイグラフはエラー図を含むことを利用し、これは元の対象クラスに対する普遍サイクルに対応する。
• このフレームワークを、単調関数、全射関数、均等語、競技順位、強力なパスワード、および$m$次元の格子パスなど、複数のクラスに適用する。

実験結果

リサーチクエスチョン

• RQ1 単調関数$[k] \to [n]$に対して、どのような条件下で普遍サイクルが存在するか？
• RQ2 コドメインにちょうど1つの値を欠いている「ほぼ全射」関数に対して、普遍サイクルを構成できるか？
• RQ3 原点からの距離が$k+1$以内に終わる長さ$n-1$の3次元格子パスに対して、普遍サイクルが存在するか？
• RQ4 均等語（ほぼ均等な文字頻度）のための、語長とアルファベットサイズの制約は何か？
• RQ5 構造的制約のもとで、ランダムウォークやハイパーグラフに対しても、普遍サイクルの存在を拡張できるか？

主な発見

• すべての単調関数$[k] \to [n]$に対してU-サイクルが存在する。$k < n$のとき、これは単射関数に対する先行結果を拡張する。
• ちょうど1つのコドメイン要素を欠いている「拡張された全射関数」に対してU-サイクルが存在する。$n \neq 1,3$かつ$k > n$のとき、バランスの取れたダイグラフを用いて存在を証明する。
• 原点からの距離が$k+1$以内に終わる長さ$n-1$の3次元格子パスに対して、U-サイクルが存在する。$n \neq k+1$または$n \to \text{奇数}$のとき、バランスの取れた弱連結ダイグラフにより存在が保証される。
• すべての均等$k$文字語$[n]$に対してU-サイクルが存在する。$k \not\to 0 \bmod n$のとき、これは二値語の重みが均等な場合の先行結果を一般化する。
• 3次元空間の$P_{n,k}$のすべてのパスに対してU-サイクルが存在する。$n \to k+1 \to 4$のとき、類似のダイグラフ構築により$m$次元パスへ拡張可能。
• 競技順位、非単射関数、非強力パスワードに対しても、$k \to 4$の非単射関数など、指定されたパrameter制約のもとでU-サイクルの存在が確立される。