[論文レビュー] A sharp refinement of a result of Alon, Ben-Shimon and Krivelevich on bipartite graph vertex sequences

Grant Cairns, Stacey Mendan+1 more|arXiv (Cornell University)|Mar 25, 2014

Digital Image Processing Techniques参考文献 2被引用数 2

ひとこと要約

本稿は、有限の正の整数列が二部グラフの両側部の次数列であるための鋭い十分条件を提示する。この条件は、列の長さ、最大値、最小値にのみ依存する。Alon, Ben-Shimon, Krivelevich の結果を、⌊(a+b)²/4⌋ を含む明確な閾値を導入することで精緻化し、a と b の偶奇に応じた等号成立条件を提示する。また、条件が最適であることを、不成立な場合の明示的反例により証明する。

ABSTRACT

Blank

研究の動機と目的

• Alon, Ben-Shimon, Krivelevich が提示した二部グラフ次数列に関する先行結果を精緻化すること。
• 列の長さ、最大次数、最小次数のみに依存する、二部グラフ次数列であるための鋭い十分条件を確立すること。
• 導出された条件が、不成立となるすべてのパrameter三つ組に対して非二部グラフ次数列を明示的に構成することで、最適性を証明すること。
• 強インデックスと補助的補題を用いた証明と、ループ付きグラフを介した次数列への還元を用いた証明の二通りの証明を提供すること。
• 特に Zverovich–Zverovich および Alon–Ben-Shimon–Krivelevich の定理を統合・精緻化すること。

提案手法

• Gale–Ryser の定理の再定式化を用いて、二要素列 (as, bn−s) が二部グラフ次数列であるための必要十分条件を証明する。
• 強インデックスの概念を導入し、それを用いて次数列を分析し、(di + ink−i) の部分和に対する境界を導出する。
• 二次的最適化の議論を用いて、強インデックス k における ∑(di + ink−i) の和が、導出された閾値のもとで ≤ kn であることを示す。
• 変換を適用する：列の最初の s 要素を 1 減少させて新たな列 d′ を作成し、この列が閾値条件のもとでグラフ次数列であることを示す。
• 文献[3] の結果を活用する：列が二部グラフ次数列であることと、ループ付きグラフの減少次数列であることとは同値である。
• d′ の実現における最初の s 個の頂点にそれぞれ 1 つのループを追加することで、元の列を減少次数列として回復する。

実験結果

リサーチクエスチョン

• RQ1 長さ、最大度、最小度にのみ依存する、最も鋭い十分条件は何か？ その条件下で列が二部グラフ次数列である。
• RQ2 Alon, Ben-Shimon, Krivelevich の条件を、十分かつ必要となるように厳密化できるか？
• RQ3 最大度と最小度の偶奇が、二部グラフ次数列の閾値にどのように影響するか？
• RQ4 ループを含む変換を用いることで、問題をグラフ次数列問題に還元できるか？
• RQ5 提案された条件を満たさないすべてのパrameter三つ組に対して、非二部グラフ次数列の明示的構成が可能か？

主な発見

• 本稿は、長さ n、最大度 a、最小度 b である列が二部グラフ次数列であるための十分条件を、a と b が異なる偶奇を持つ場合 nb ≥ ⌊(a+b)²/4⌋、同じ偶奇を持つ場合 nb ≥ (a+b)²/4 と示している。
• この条件は鋭い：b < a ≤ n かつ不等式を満たさない任意の三つ組 (a,b,n) に対して、最大度 a、最小度 b であるが二部グラフ次数列でない列が存在する。
• 最初の証明では、強インデックスと形 ∑(di + ink−i) の部分和に対する境界を用い、閾値条件のもとでこの和が ≤ kn であることを示している。
• 二番目の証明では、最初の s 要素を 1 減少させることで問題をグラフ次数列問題に還元し、結果として得られる列 d′ が閾値条件下でグラフ次数列であることを示し、その後ループ付きグラフを用いて元の列を減少次数列として回復している。
• 閾値は最適である：不等式が成立しない場合、2 要素列 (as, bn−s) を用いた二次条件 s² − (a+b)s + nb ≥ 0 を用いて明示的な反例が構成できる。
• 本結果は、補助変数 x に依存しない、整数に基づく明快な基準を提示することで、Alon–Ben-Shimon–Krivelevich の定理を一般化・精緻化している。