[論文レビュー] Equitable 2-partitions of Johnson graphs with the second eigenvalue

Konstantin Vorob’ev|arXiv (Cornell University)|Mar 24, 2020

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

ひとこと要約

本稿は、$w \geq 4$ および $n \geq 2w$ の条件下で、ジョンソングラフ $J(n,w)$ の公平な2部分割を特徴づけ、その商行列に第二固有値 $\lambda_2(n,w) = (w-2)(n-w-2) - 2$ を含むものに焦点を当てる。$n > 2w$ の場合、このような分割が存在しないことを証明し、$n = 2w$ で $w \geq 7$ の場合、同値性を除いてすべての分割を完全に分類し、2つの新しい無限族の分割を発見した。アプローチは、固有関数解析、部分差分作用素、およびサポート構造から導かれるブロックデザインの組合せ的制約を統合している。

ABSTRACT

We study equitable 2-partitions of the Johnson graphs J(n,w) with a quotient matrix containing the eigenvalue lambda_2(w,n) = (w-2)(n-w-2)-2 in its spectrum. For any w>=4 and n>=2w, we find all admissible quotient matrices of such partitions, and characterize all these partitions for w>=4, n>2w, and for w>=7, n = 2w, up to equivalence.

研究の動機と目的

• ジョンソングラフ $J(n,w)$ の公平な2部分割を、商行列に第二固有値 $\lambda_2(n,w)$ を含むものとして分類すること。
• このような分割が $n > 2w$ および $n = 2w$ の場合に存在するか、その構造を特定すること。
• $w \geq 7$ および $n = 2w$ の場合に、実現可能なすべての商行列を特定し、同値性を除いて分割を特徴づけること。
• 既知の $w=3$ の結果を超えて公平な分割の分類を拡張し、固有値制約を通じてデルサルテ予想の含意を検討すること。

提案手法

• ジョンソングラフの $\lambda_i(n,w)$-固有関数を用い、部分差分作用素 $f_{j_1,j_2}$ を適用して次元を低下させ、$J(n-2,w-1)$ 内の固有関数を導出する。
• 補題1および補題2を適用して固有関数の構造とその部分差分の性質を分析し、それが恒等的に消える条件を特定する。
• 固有関数のサポート構造を用い、ブロックデザイン $BD(g)$ および $SBD(g)$ を定義して、非ゼロ部分差分の分布を分析する。
• $k_0, k_1, k_2$ — ゼロ、$f_1$-同値、$f_2$-同値の部分差分の個数 — を含む方程式系 (1) を導出し、可能な構成の制約を課す。
• 不等式 $bc \leq \left(\frac{b+c}{2}\right)^2$ および補題5を用いて、非ゼロ部分差分の数をバインドし、組合せ的制約に反する構成を除外する。
• 命題3を適用して、$BD(g)$ における大きなブロックサイズと既知の構成との関係を結びつけ、小ブロックサイズの場合は背理法を用いて不正解を除外する。

実験結果

リサーチクエスチョン

• RQ1 ジョンソングラフ $J(n,w)$ の公平な2部分割で、商行列に $\lambda_2(n,w)$ を含むものは、$n > 2w$ の場合に存在するか？
• RQ2 $n = 2w$ で $w \geq 4$ の場合、このような分割の実現可能な商行列は何か？
• RQ3 $w \geq 7$ および $n = 2w$ の場合、すべてのこのような分割を同値性を除いて完全に特徴づけられるか？
• RQ4 これまでに知られていた構成を超えて、新たな無限族の公平な2部分割が存在するか？

主な発見

• $w \geq 4$ および $n > 2w$ の場合、商行列に $\lambda_2(n,w)$ を含むジョンソングラフ $J(n,w)$ の公平な2部分割は存在しない。
• $n = 2w$ で $w \geq 7$ の場合、すべてのこのような公平な2部分割は、構成1〜4に同値であり、それぞれ $b = 3w-2$、$b = 2w$、$b = 2w$、$b = 3w$ である。
• $n = 2w$ で $w \geq 7$ の場合、$b = 3w-2$ および $b = 3w$ に対応する2つの新しい無限族の公平な2部分割が発見された。
• $w = 8$ の場合、$b=16$、$c=14$ の唯一の解は矛盾を引き起こし、非構成的分割を除外する。
• $w = 7$ の場合、唯一の整合的解は $b=14$、$c=12$ であり、$SBD(g) = \{7,7\}$ または $\{8,6\}$ であるが、いずれも既知の構成に同値でなければ矛盾を引き起こす。
• $w \in \{4,5,6\}$ の場合、すべての可能な商行列が既知の構成に属することが示され、小 $w$ に対する完全性が確認された。