頂点数p^a qの整数巡回グラフでSoの予想を証明
So's Conjecture for Integral Circulant Graphs of Order p^aq
この論文をやさしく読む
ひとことで言うと
特定の頂点数を持つ整数巡回グラフで、隣接行列の固有値から約数集合を復元できるという予想を証明します。
何に役立つ？
グラフのスペクトルに、元の構成をどれだけ特定する情報があるかを理解する基礎研究です。
この研究の面白いところ
異なる最大公約数のクラスから同じ固有値が出る問題を、スペクトルの計数測度で扱います。帰納法と連結成分への分解で全体を復元します。
どこまで分かった？
証明するのは頂点数pᵃq、p<qが素数、a≥1の場合です。p=2や非連結も含みますが、任意の頂点数に対する予想全体を解決したという意味ではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Soは、正の整数nを固定したとき、頂点数nの整数巡回グラフの通常の隣接スペクトルから、その約数集合が決まると予想した。私たちは、pとqがp<qを満たす素数、a≥1であるとき、頂点数p^a qのグラフについてこの予想を証明する。 異なる最大公約数クラスから同じ固有値が生じる場合を扱うため、スペクトルの計数測度を用いる。連結グラフでは、厳密な恒等式により、約数集合のうち1とqからなる部分を、それらが含まれている場合に復元すると同時に、頂点数p^(a−1)qのグラフに対する計数測度も復元する。その後、強い数学的帰納法と連結成分への分解によって、p=2の場合と非連結グラフも含め、約数集合全体を復元する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
So conjectured that, for a fixed positive integer n, the ordinary adjacency spectrum of an integral circulant graph of order n determines its divisor set. We prove this for graphs of order p to the power a times q, where p and q are primes with p less than q and a is at least one. To handle coincident eigenvalues arising from distinct greatest-common-divisor classes, we use a spectral counting measure. For connected graphs, an exact identity recovers the part of the divisor set consisting of one and q, when present, together with the counting measure for a graph of order p to the power a minus one times q. Strong induction and decomposition into connected components then recover the full divisor set, including the case p equals two and disconnected graphs.
著者のコメント
14 pages, 0 figures
arXiv ID: 2609.20072 ／ 要約の誤りについて