[論文レビュー] An improvement of a result of Zverovich--Zverovich

Grant Cairns, Stacey Mendan|arXiv (Cornell University)|Mar 8, 2013

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

ひとこと要約

この論文は、正の整数の単調減少列がグラフの次数列として実現可能（グラフ的）であるための十分条件を改善している。Zverovich–Zverovichの結果における境界を精緻化することで、n ≥ ⌊d₁²/4 + d₁⌋ であれば、列がグラフ的であることが示された。これは以前の境界 d₁²/4 + d₁ + 1 よりもタイトである。証明はErdős–Gallaiの定理と d₁ の偶奇に関する場合分けを用い、新しい境界を満たす列は奇数の和を取り得ないことを示し、したがって実現可能性が保証される。

ABSTRACT

We give an improvement of a result of Zverovich and Zverovich which gives a condition on the first and last elements in a decreasing sequence of positive integers for the sequence to be graphic, that is, the degree sequence of a finite graph.

研究の動機と目的

• 次数列がグラフ的であるための十分条件を精緻化し、Zverovich–Zverovichの結果を改善すること。
• 既知の十分条件の境界と鋭い閾値の間のギャップを埋めること、特に整数 d₁ に対して。
• コロナリー1で得られた境界 d₁²/4 + d₁ + 1 が整数 d₁ に対して最適でないことを示し、よりタイトな境界が十分であることを証明すること。
• n が境界より1小さい場合に次数列がグラフ的でない例を明示的に構成することで、新しい境界が鋭いかどうかを証明すること。
• Erdős–Gallaiの定理と d₁ の偶奇に関する場合分けを用いて、改善された条件に対するより明確で直接的な証明を提供すること。

提案手法

• 証明は主にErdős–Gallaiの定理を用い、次数列がグラフ的であるためには和が偶数で、かつすべての k ≤ n に対して次数の不等式を満たす必要があることを根拠とする。
• 比較の議論を用いる：Erdős–Gallaiの不等式の左辺と右辺を、d₁ と dn に置き換えた項で抑え込む。
• d₁ が偶数の場合、列がグラフ的でないと仮定し、その結果和が奇数になることを示すことで、矛盾を導く。
• d₁ が奇数の場合、境界よりわずかに小さい2つの n の値を検討し、両方のケースで列の和が奇数になることを示し、偶数和の仮定に反することを証明する。
• Erdős–Gallai条件から導かれる二次不等式を分析し、仮定のもとで整数 k がその不等式を満たすことはないことを示す。
• 境界を満たし、かつ和が偶数である列に対して、違反する k が存在しないことを示すことで、グラフ的であることが保証される。

実験結果

リサーチクエスチョン

• RQ1 Zverovich–Zverovichが与えた次数列がグラフ的であるための十分条件を、整数 d₁ に対して改善できるか？
• RQ2 d₁²/4 + d₁ + 1 という境界は、整数 d₁ と偶数和を持つ列に対して、実際に最適でないのか？
• RQ3 n ≥ ⌊d₁²/4 + d₁⌋ が、偶数和を持つ単調減少列がグラフ的であることを保証するのに十分か？
• RQ4 新しい境界を満たすが、古い境界を満たさない次数列の明示的構成は可能か？ これにより改善が実証される。
• RQ5 新しい境界が鋭いかどうか、すなわち n が境界より1小さい場合に偶数和を持つ次数列がグラフ的でない例が存在するか？

主な発見

• n ≥ ⌊d₁²/4 + d₁⌋ が、偶数和を持つ正の整数の単調減少列がグラフ的であるための十分条件である。これは以前の d₁²/4 + d₁ + 1 よりも改善されたものである。
• 新しい境界は鋭い：d₁ が偶数の場合、d₁ = 2x かつ n = x² + 2x の列 (d₁^{x+1}, 1^{x²+x−1}) はグラフ的でない。これは境界をさらに下げることはできないことを示している。
• d₁ が奇数の場合、d₁ = 2x−1 かつ n = x² + 2x−1 の列 (d₁^{x+1}, 1^{x²+x−2}) はグラフ的でない。再び境界の鋭さが示された。
• 証明は、新しい境界を満たし、かつ和が偶数である任意の列がErdős–Gallai条件を違反しないことを示しており、したがってグラフ的であることが保証される。
• 著者らは、新しい境界を満たすが古い境界を満たさない例（例えば、奇数 x に対して (2x, 1^{x²+2x−1})）が存在することを示し、改善が確認された。
• 臨界となる反例列の和は常に奇数であり、これは偶数和の要件に反する。これにより、境界付近で非グラフ的であるような列が存在し得ないことが証明される。