[論文レビュー] On the Two Conjectures of the Wiener Index

Ya-Lei Jin, Xiao‐Dong Zhang|arXiv (Cornell University)|Apr 3, 2013

Graph theory and applications参考文献 15被引用数 11

ひとこと要約

本稿は、パスグラフのワイナー行列の特性多項式に関する予想1.2を証明した。これは、二項係数と固有値の逆数の累乗を含む正確な公式を確認するものである。一方で、最大次数が有界なカーブィレットにおいて、高次元頂点がスパインに対称的に分布すればワイナー指数が最大になるとされた予想1.4は、反例を構成することで反証された。この反例では最適構成が非対称的で、スパインの一端に偏っている。

ABSTRACT

The Wiener index of a graph, which is the sum of the distances between all pairs of vertices, has been well studied. Recently, Sills and Wang in 2012 proposed two conjectures on the maximal Wiener index of trees with a given degree sequence. This note proves one of the two conjectures and disproves the other.

研究の動機と目的

• SillsとWang（2012）が提起した、指定された次数列をもつ木における最大ワイナー指数に関する2つの未解決予想を解消すること。
• ワイナーマトリクス $ A_k $ の提案された特性多項式式が正しいかどうかを検証すること。この式はカービレットツリーのワイナー指数を支配する。
• 最大次数が有界な条件下でワイナー指数を最大化する木が、スパインに沿って高次元頂点を対称的に分布させなければならないかどうかを特定すること。
• 最大次数が有界なカービレットにおいて、ワイナー指数を最大化する次数列構成を完全に特徴づけること。

提案手法

• パスグラフの距離行列 $ D(P_k) $ とワイナーマトリクス $ A_k $ の関係を用いて、予想1.2を証明した。$ D(P_k) $ の既知の行列式公式を応用した。
• 恒等式 $ A_k = \frac{1}{2} D(P_k) $ を用い、$ \det(D(P_k) - \lambda I_k) $ の既知の係数から特性多項式 $ C_k(\lambda) $ を導出した。
• グレゴリーとロヴァーズの距離行列係数に関する結果を応用し、組合せ的恒等式を通じて対称ダックパスと接続した。
• 高次元頂点の中央に大きな次数と対称的な下位次数を持つ次数列を選択することで、予想1.4の反例を構成した。最適構成が非対称であることを示した。
• カービレットのワイナー指数を二次形式 $ q(x) = x^T A_k x $ で表現し、$ x_i = \deg(v_i) - 1 $ における制約の下でその最大化を分析した。
• 張たちは（2016）の極値構造定理を用い、スパインに単調または対称的な次数分布を示す候補となる最適木を同定した。

実験結果

リサーチクエスチョン

• RQ1 ワイナーマトリクス $ A_k $ の特性多項式は、二項係数と $ \lambda $ の逆数の累乗を含む、提示された閉形式式に従うか？
• RQ2 $ A_k $ の最大固有値は $ \frac{\sqrt{3}k^2 - 2}{10} $ に漸近的に近似されるか？
• RQ3 最大次数が有界なカービレットにおいて、高次元頂点がスパインの中心の周囲に対称的に分布すれば、ワイナー指数は最大値に達するか？
• RQ4 次数多重集合が対称的であっても、ワイナー指数を最大化する最適次数列構成が非対称であってもよいのか？

主な発見

• 予想1.2は真であることが証明された：$ A_k $ の特性多項式は正確に $ C_k(\lambda) = (-1)^k \lambda^k \left(1 - \frac{k}{4} \sum_{j=1}^{k-1} \frac{j}{j+1} \binom{k+j}{2j+1} \lambda^{-j-1} \right) $ に等しい。
• $ A_k $ の最大固有値は正確に $ \lambda_{\max} = \frac{1}{2(\cosh\theta - 1)} $ に等しく、ここで $ \theta $ は $ \tanh(\theta/2) \tanh(k\theta/2) = 1/k $ を満たす。
• 予想1.4は反証された：$ m_s = 2h+1 $ かつ $ a_s > \sum_{i=1}^{s-1} m_i a_i $ であるが、最適構成が非対称である反例が存在する。
• 反例において、次数列 $ \{k+s^2, k+s^2, k+s^2, s-1, s-1, \dots, 1, \dots, 1\} $（ただし $ k+s^2 > s-1 > \dots > 1 $）は、$ x = (k+s^2, k+s^2, 1, \dots, 1, 2, 2, \dots, s-1, s-1, k+s^2) $ で一意の最大値を示し、これは非対称である。
• 最適構成では $ l_s = h+1 $、$ r_s = h $、かつ $ l_s = r_s + 1 $ であり、対称条件 $ |l_i - r_i| \leq 1 $ および $ l_i + r_i = m_i $ をバランスよく満たさない。
• この結果は、次数列制約下での最大ワイナー指数が、必ずしも対称的配置を好むわけではないことを示し、従来のヒューリスティック仮定に疑問を呈する。