[論文レビュー] Two constructions relating to conjectures of Beck on positional games

Fiachra Knox|arXiv (Cornell University)|Dec 13, 2012

Advanced Graph Theory Research参考文献 4被引用数 12

ひとこと要約

本稿は、位置ゲーム理論における長年の予想に挑戦する2つのハイパーグラフを構成する。まず、マーカー・ブレイカー・ゲームでブレイカーが勝つが、チョイサー・ピッカー・ゲームではチョイサーが勝つハイパーグラフを提示し、ベックの直感的予想を反証する。次に、最大次数3の4一様ハイパーグラフを構成し、マーカーが勝つことを示し、リーダーの問いに答え、近隣性予想の閾値がこれまで考えられていたよりも低いことを示唆する。

ABSTRACT

In this paper, we construct two hypergraphs which exhibit the following properties. We first construct a hypergraph $G_{CP}$ and show that Breaker wins the Maker-Breaker game on $G_{CP}$, but Chooser wins the Chooser-Picker game on $G_{CP}$. This disproves an (informally stated) conjecture of Beck. Our second construction relates to Beck's Neighbourhood Conjecture, which (in its weakest form) states that there exists $c > 1$ such that Breaker wins the Maker-Breaker game on any $n$-uniform hypergraph $G$ of maximum degree at most $c^n$. We consider the case n=4 and construct a 4-graph $G_4$ with maximum vertex degree 3, such that Maker wins the Maker-Breaker game on $G_4$. This answers a question of Leader.

研究の動機と目的

• マーカー・ブレイカー・ゲームでブレイカーが勝つならば、同じハイパーグラフ上でピッカーがチョイサー・ピッカー・ゲームで勝つという、ベックの直感的予想を反証すること。
• 特に4一様ハイパーグラフで有界な次数をもつ場合に、ベックの近隣性予想の最も弱い形の妥当性を調査すること。
• リーダーが提示した、最大次数3の4一様ハイパーグラフが存在し、マーカー・ブレイカー・ゲームでマーカーが勝つ可能性があるかという具体的な問いに答えること。
• 位置ゲーム理論における既存の十分条件の限界を示す明示的な反例を構成すること。

提案手法

• マーカーが先手でブレイカーが後手であるマーカー・ブレイカー・ゲームにおいて、勝利戦略を有する155頂点と110辺をもつ基本ハイパーグラフΓを構築する。
• 補助頂点を用いて3辺を4辺に置き換えることでΓを変形し、最大次数3の新しい4一様ハイパーグラフΓ′を構成し、マーカーが勝利戦略を有することを示す。
• Γ′の互いに交わらない3つのコピーをとり、新たな頂点v₁, v₂, v₃, v₄, s₁, s₂, s₃を追加し、辺をvᵢまたはsᵢと結合することで、4一様ハイパーグラフG₄を構成する。
• G₄を完成させるために、最終的な4辺v₁v₂v₃v₄を追加し、4一様性と最大次数3の維持を保証する。
• 戦略を盗む手法とケース別分析を用いて、ブレイカーの応答にかかわらず、マーカーがG₄におけるマーカー・ブレイカー・ゲームで勝利を確実にできると示す。
• 既知のErdős-Selfridge条件とペアリング戦略の結果を活用し、構成の妥当性と結果の非自明性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 マーカー・ブレイカー・ゲームでブレイカーが勝つが、チョイサー・ピッカー・ゲームではチョイサーが勝つハイパーグラフが存在するか。これはベックの直感的予想に反する。
• RQ2 最大頂点次数3の4一様ハイパーグラフを構成し、マーカー・ブレイカー・ゲームでマーカーが勝つことができるか。これにより、近隣性予想における閾値が反証される。
• RQ3 Erdős-Selfridge条件は、チョイサー・ピッカー・ゲームでピッカーが勝つために十分か。また、この条件は構築された反例とどのように関係するか。
• RQ4 マーカーがまだ4一様ハイパーグラフで勝利できる最小の最大次数は何か。また、これは既知のf(n)に関する下界を挑戦するか。
• RQ5 明示的な構成を用いて、さまざまなタイプの位置ゲーム間の一般的含意の失敗を示すことができるか。

主な発見

• 本稿は、ブレイカーがマーカー・ブレイカー・ゲームに勝つが、チョイサーがチョイサー・ピッカー・ゲームに勝つハイパーグラフG_CPを構成し、ベックの直感的予想を直接反証した。
• 最大頂点次数3の4一様ハイパーグラフG₄を構成し、G₄におけるマーカー・ブレイカー・ゲームでマーカーが勝利戦略を有することを証明した。
• G₄は472頂点と331辺をもち、すべての辺がサイズ4であるため、有効な4一様ハイパーグラフであり、次数が有界であることが確認された。
• 構成により、ベックの近隣性予想（最も弱い形）の閾値はc^n（c>1）未満である必要があることが示された。なぜなら、マーカーが次数3 < 4^{4-1} = 64の4グラフで勝利しているからである。
• リーダーの問いに答え、最大次数3の4一様ハイパーグラフでマーカーが勝つ例を示し、このようなグラフはブレイカーが勝つと予想されていたが、実際にはマーカーが勝つことを反証した。
• 証明は、マーカーが部分グラフΓ′を制御し、ブレイカーのvᵢまたはsᵢの応答に対しても、辺の拡張と応答制御を通じて勝利を強制する戦略に依拠している。