グラフの最小固有値と最大カットの余剰に下界を与える
Lower bounds for the magnitude of the minimum eigenvalue of graphs with applications to MaxCut and Chowla's cosine problem
この論文をやさしく読む
ひとことで言うと
グラフの形と、その行列の最小固有値や最大カットの大きさとの関係を理論的に調べています。クリークの集まりから離れたグラフでは、特定の量が必ず大きくなると示します。
何に役立つ？
グラフを2つに分けたときに切れる辺の数や、スペクトルの性質を評価する基礎理論に役立ちます。Chowlaの余弦問題やディスクレパンシー理論にも評価の改善が及びます。
この研究の面白いところ
固有値の評価を最大カットの余剰の評価に移す道具を組み合わせ、既存の予想を解決しています。クリークの互いに素な和からの離れ方に応じた2種類の漸近評価を示しています。
どこまで分かった？
数学的な下界の証明であり、実際のグラフ上で最大カットを高速に計算するアルゴリズムの実験ではありません。結果にはクリークの和からの距離やK_tを含まないことなどの条件があり、要旨では距離や余剰の厳密な定義は省かれています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Jin、Milojević、Tomon、Zhangは、最小固有値の絶対値が小さいグラフの正の固有値どうしを関係付ける強力な再帰的評価を確立した。本研究ではその結果を精密化し、スペクトルグラフ理論、ディスクレパンシー理論、Chowlaの余弦問題における評価を改善する。Janzer、Tomon、Yipの最近の結果により、最小固有値の評価を、対応する余剰の評価へ直接移すことができる。 これらの道具を用いて、Räty、Sudakov、Tomonの予想を完全に解決する。頂点数n、最小固有値λₙ、余剰sp(G)を持つグラフGについて、Gがクリークの互いに素な和のすべてからεだけ離れているならば、|λₙ| ≥ Ω_ε(n^(1/4))かつsp(G) ≥ Ω_ε(n^(5/4))であることを示す。さらに、Gがクリークの互いに素な和のすべてからn^(−o(1))だけ離れているとき、|λₙ| ≥ n^(1/4−o(1))およびsp(G) ≥ n^(5/4−o(1))を得る。最後に、m本の辺を持つK_tを含まないグラフの余剰が、mを無限大に近づけると少なくともm^(0.614−o(1))になることを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Jin, Milojević, Tomon and Zhang established a powerful recursive estimate relating the positive eigenvalues of a graph whose least eigenvalue is small in absolute value. We establish a refinement of this result, yielding improved estimates across spectral graph theory and discrepancy theory, and for Chowla's cosine problem. Recent results of Janzer, Tomon and Yip allow us to directly transfer least eigenvalue estimates to the corresponding surplus estimates. Using these tools, we fully resolve a conjecture of Räty, Sudakov and Tomon. We show that, for an $n$-vertex graph $G$ with least eigenvalue $\lambda_n$ and surplus $\operatorname{sp}(G)$, if $G$ is $\epsilon$-far from all disjoint unions of cliques, then $|\lambda_n|\geq \Omega_\epsilon(n^{1/4})$ and $\operatorname{sp}(G)\geq \Omega_\epsilon(n^{5/4})$. Furthermore, we show that when $G$ is $n^{-o(1)}$-far from all disjoint unions of cliques, we have $|\lambda_n|\geq n^{1/4 - o(1)}$ and $\operatorname{sp}(G)\geq n^{5/4 - o(1)}$. Finally, we show that the surplus of a $K_t$-free graph with $m$ edges is at least $m^{0.614 - o(1)}$ as $m$ tends to infinity.
著者のコメント
41 pages
arXiv ID: 2610.01657 ／ 要約の誤りについて