[論文レビュー] Hamilton Cycles in Random Graphs: a bibliography

Alan Frieze|arXiv (Cornell University)|Jan 22, 2019

Limits and Structures in Graph Theory参考文献 159被引用数 18

ひとこと要約

この注釈付き参考文献目録は、ランダムグラフおよびハイパーグラフにおけるハミルトン閉路に関する主要な結果を体系的に収集・統合し、存在閾値、数え上げ、パッキング、構造的性質に焦点を当てる。エレミスとレニイの初期の研究から現代の進展までを統合し、到達時間結果、閉路数の漸近的正規性、閉路パッキングおよび被覆における最適な境界を含む。今後の研究のための選別された未解決問題のリストを提示する。

ABSTRACT

We provide an annotated bibliography for the study of Hamilton cycles in random graphs and hypergraphs.

研究の動機と目的

• ランダムグラフおよびハイパーグラフにおけるハミルトン閉路に関する包括的かつ最新の注釈付き参考文献目録を提供すること。
• G_{n,m}およびG_{n,p}モデルにおけるハミルトン閉路の存在、数え上げ、構造的性質に関する既知の結果を要約すること。
• 特にパッキング、被覆、閉路長分布に関する、分野における主要な未解決問題を特定・強調すること。
• 初期の閾値研究から現代の確率的技法および極値グラフ理論への結果の進化を統合・明確化すること。
• 正確な引用と技術的文脈を添えた、初期の研究と最近の研究を体系的に整理することで、研究者にとっての参考資料としての役割を果たすこと。

提案手法

• エレミス–レニイ、コムロス–ツェメレディ、ポーザらの基礎的研究から、フリーツ、クリヴェレヴィッチ、ノックス–クーファー–オストフスらの現代的研究まで、体系的な結果収集。
• ポーザが導入した回転技法を含む確率的技法を用い、ランダムグラフにおけるパスの延長およびハミルトニアン性を分析する。
• 到達時間の議論を応用し、ハミルトニアン性が最小次数が2に達する瞬間に正確に発生すること、すなわちm_{\text{H}} = m_{\text{min degree } \to 2}であることを示す。
• モーメント法および中心極限定理を用いて閉路数の分布を分析し、異なるエッジ確率の範囲で正規分布または対数正規分布への収束を示す。
• 拡張グラフ理論および確率的構成法を用いて被覆およびパッキング結果を証明し、H_{\text{min degree}}およびA_k性質を含む。
• アルゴリズム的および極値的技法を用いて、誘導閉路、ホール（穴）、および閉路長集合\mathcal{L}(G)に関する結果を統合する。

実験結果

リサーチクエスチョン

• RQ1 G_{n,m}がハミルトニアンであるための閾値は何か？ そしてそれは最小次数2とどのように関係するか？
• RQ2 G_{n,p}にどれだけの辺に沿った互いに素なハミルトン閉路をパッキングできるか？ また、\delta個の独立な閉路を達成するための最適なpは何か？
• RQ3 ランダムグラフのすべての辺を被覆するために必要なハミルトン閉路の最小数は何か？ そして最大次数\Deltaとどのように関係するか？
• RQ4 G_{n,p}におけるハミルトン閉路の数の分布は何か？ いつ正規分布または対数正規分布に収束するか？
• RQ5 G_{n,p}またはG_{n,c/n}における最長の誘導閉路またはホールの長さは何か？ そして最適な漸近的境界は何か？

主な発見

• G_{n,m}におけるハミルトニアン性の閾値はm = \frac{1}{2}n(\log n + \log \log n + c_n)であり、c_n \to cのとき\Pr(\text{ハミルトニアン}) \to e^{-e^{-c}}となる。
• 高確率で、G_{n,m}がハミルトニアンであることと\delta(G_{n,m}) \geq 2であることは同値であり、ハミルトニアン性の到達時間は最小次数2の到達時間と等しい。
• p = \Omega(\log n / n)のとき、G_{n,p}は高確率で\delta(G_{n,p})個の辺に沿った互いに素なハミルトン閉路を含み、\lceil \Delta(G)/2 \rceil個の閉路ですべての辺を被覆するのに十分である。
• np \gg n^{1/2}かつp < \alpha < 1のとき、G_{n,p}におけるハミルトン閉路数は対数正規分布に収束するが、正規分布に収束するのはp \to 1のときのみである。
• 到達時間m_{\mathcal{H}}において、G_{m_{\mathcal{H}}}は\Theta((\log n)^{n-o(n)})個のハミルトン閉路を含み、精密化された境界として(\log n / e)^{n}(1-o(1))^nが得られる。
• m_{\mathcal{H}}におけるハミルトン閉路の期待数はおおよそ8(n-1)! \sqrt{\pi n} \, 4^{-n}であるが、これは高頻度の閉路数を持つレアなグラフに支配されている。