[論文レビュー] On a conjecture of Sokal concerning roots of the independence polynomial

Han Peters, Guus Regts|arXiv (Cornell University)|Jan 27, 2017

Mathematical Dynamics and Fractals参考文献 21被引用数 11

ひとこと要約

本稿は、最大次数 Δ ≥ 3 である任意のグラフの独立多項式が、区間 [0, λΔ) を含む複素数近傍で消えないという、Sokalの予想を裏付ける。ここで λΔ = (Δ−1)^(Δ−1)/(Δ−2)^Δ である。証明は複素力学系、特に有理写像と放物型再正規化の挙動に依拠し、根が λΔ に限りなく近づく可能性があることから、この領域の最適性を示している。

ABSTRACT

A conjecture of Sokal (2001) regarding the domain of non-vanishing for independence polynomials of graphs, states that given any natural number $Δ\ge 3$, there exists a neighborhood in $\mathbb C$ of the interval $[0, \frac{(Δ-1)^{Δ-1}}{(Δ-2)^Δ})$ on which the independence polynomial of any graph with maximum degree at most $Δ$ does not vanish. We show here that Sokal's Conjecture holds, as well as a multivariate version, and prove optimality for the domain of non-vanishing. An important step is to translate the setting to the language of complex dynamical systems.

研究の動機と目的

• 最大次数 Δ ≥ 3 のグラフにおける一変数独立多項式の非消滅領域に関するSokalの予想を解決すること。
• 結果を多変数設定に拡張し、[0, λΔ) の周囲に小さな ε-近傍が存在することを示すこと。
• 根が λΔ に限りなく近づく可能性があることから、領域 [0, λΔ) の最適性を示すこと。
• 独立多項式の非消滅と、特に放物型再正規化およびLavaurs写像を含む複素力学系との間の関係を確立すること。
• 多変数設定における制限を明確にし、一変数の場合に成立する命題が多変数の場合にそのまま成立しないことを示すこと。

提案手法

• 根付き木における再帰関係 x_k = λ_k / (1 + x_{k-1})^{Δ−1} を分析することで、問題を複素力学系の言語に翻訳すること。
• 特に放物型固定点付近での反復有理写像の挙動を分析するため、複素力学の結果、特にLavaurs写像と放物型再正規化を用いること。
• 例外集合が空である有理写像の反復において、近傍の像がリーマン球面全体を覆うことを示すためにMontelの定理を適用すること。
• 頂点の重みが放物型固定点付近と λΔ 付近を交互にとる正則木上の非定常力学系を構築すること。
• 反復写像がLavaurs写像に収束することを用いて、小さな摂動のもとで −1 の逆像に到達できることを示し、これにより独立多項式の消滅を示すこと。
• 任意の [0, λΔ) の近傍 DΔ に対して、Z_G(λ) = 0 となるグラフと λ 値の割り当てが存在することを、反復写像による像の稠密性を用いて証明すること。

実験結果

リサーチクエスチョン

• RQ1 最大次数 ≤ Δ である任意のグラフ G と任意の λ ∈ DΔ に対して、Z_G(λ) ≠ 0 を満たす複素数領域 DΔ が、[0, λΔ) を含む領域として存在するか？
• RQ2 この非消滅結果は、[0, λΔ) の周囲に小さな ε-近傍をとることで、多変数独立多項式に対しても拡張可能か？
• RQ3 根が λΔ に限りなく近づく可能性があることから、領域 [0, λΔ) が最適であると見なせるか？
• RQ4 一変数の場合に成立するが、多変数の場合にそのそのままの命題が失敗する理由は何か？
• RQ5 特に放物型再正規化とLavaurs写像を含む複素力学の結果は、独立多項式の非消滅挙動をどのように説明できるか？

主な発見

• 最大次数 Δ ≥ 3 である任意のグラフの多項式 Z_G(λ) は、区間 [0, λΔ) を含む複素数近傍で消えない。ここで λΔ = (Δ−1)^(Δ−1)/(Δ−2)^Δ である。
• 多変数版の結果は、[0, λΔ) の周囲に小さな ε-近傍が存在するが、そのままの命題は多変数設定では成立しない。
• λΔ の値は最適である：任意の ε > 0 に対して、最大次数 Δ であるグラフと、λΔ から ε 以内の複素数 λ をとる例が存在し、Z_G(λ) = 0 となる。
• 証明は複素力学に依拠しており、特に反復写像がLavaurs写像に収束することにより、−1 の逆像の構成が可能になる。
• 多変数の場合でさえ、2種類の異なる λ 値をとる正則木に対しても、[0, λΔ) の任意の近傍で独立多項式が消えることがあり、結果の鋭さを示している。
• 有理写像の反復において例外集合が空である近傍の像が、最終的にリーマン球面全体を覆うという事実を用いて、−1 が像に含まれることを示している。