[論文レビュー] Equivalence of sparse circulants: the bipartite Ádám problem

Doug Wiedemann, Michael E. Zieve|ArXiv.org|Jun 11, 2007

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

ひとこと要約

本稿は、重みが3以下のスパースな(0,1)巡回行列について、アフィン変換と置換に基づく対称性が等価であることを確立し、2つの行列が置換同値であるための必要十分条件を、そのサポート集合がnを法としてアフィン変換で関係付けられる、という形で示している。主な貢献は、アーダム問題の二部グラフ版における同値関係の完全な特徴付けであり、単位根の和がゼロとなることに関する深い結果に依拠しており、重みが3より大きい場合にこの結果が成り立たない反例も提示している。

ABSTRACT

We consider n-by-n circulant matrices having entries 0 and 1. Such matrices can be identified with sets of residues mod n, corresponding to the columns in which the top row contains an entry 1. Let A and B be two such matrices, and suppose that the corresponding residue sets S_A and S_B have size at most 3. We prove that the following are equivalent: (1) there are integers u,v mod n, with u a unit, such that S_A = uS_B + v; (2) there are permutation matrices P,Q such that A=PBQ. Our proof relies on some new results about vanishing sums of roots of unity. We give examples showing this result is not always true for denser circulants, as well as results showing it continues to hold in some situations. We also explain how our problem relates to the Adam problem on isomorphisms of circulant directed graphs.

研究の動機と目的

• スパースな巡回行列（0と1の成分）について、二部グラフ版のアーダム問題を解くこと。
• 重みが3以下の2つの(0,1)巡回行列が、置換行列PとQを用いてA = PBQと関係付けられる、すなわち置換同値である条件を特定すること。
• サポート集合のアフィン変換と行列の置換同値性の間の同値性を確立し、古典的アーダム問題における既知の結果を拡張すること。
• この同値性の限界を調査し、重みが3より大きい場合に同値性が成立しないことを示し、重み4および5の場合に同値性が成立する条件を同定すること。
• 巡回行列のスペクトル的、代数的、組合せ的同値類の関係を明確にすること。

提案手法

• 同値性問題を、特に重み3の行列の場合に、単位根の和がゼロとなる問題に還元する。
• 数論的技法を用いて、行列AA^TとBB^Tの特性多項式に由来する単位根を含む方程式の解を分類する。
• 重みが3以下の場合、AA^TとBB^Tのスペクトル的類似性が、サポート集合S_AとS_Bのアフィン同値性を示すことを確立する。
• 重み3の場合、自己相関ベクトルの構造とその成分ごとの積を分析し、置換同値性が同じ多重集合の要素を要請するが、反例ではそれが成立しないことを示す。
• 重み>3の場合の反例は、自己相関スペクトルと成分ごとの積のパターンの差異を用いて構成される。
• 既知のシュール代数と群論的技法、特に元のアーダム問題の解決に寄与したムイジチクの結果を活用する。

実験結果

リサーチクエスチョン

• RQ1 重みが3以下の(0,1)巡回行列について、2つの行列が置換行列PとQを用いてA = PBQと関係付けられるのはいつか？
• RQ2 AA^TとBB^Tのスペクトル的類似性が、サポート集合S_AとS_Bのアフィン同値性を示すのはいつか？
• RQ3 なぜ重みが3より大きい行列では、アフィン変換と置換同値性の同値性が成立しなくなるのか？
• RQ4 二部グラフ版のアーダム問題と古典的アーダム問題との関係は何か？また、それらの反例はどのように異なるか？
• RQ5 nとkに関してどのような条件下で、同値性の結果を重み4および5に拡張できるか？

主な発見

• 重みが3以下の(0,1)巡回行列について、4つの条件——サポート集合のアフィン同値性、PとQによる置換同値性、AA^TとBB^Tの共役性、スペクトル的類似性——はすべて論理的に同値である。
• 重み3の場合の(4) ⇒ (1)の証明は、単位根の和がゼロとなるものの分類に依拠しており、それらが正確に必要なアフィン変換に対応することが示されている。
• 重みが3より大きいすべてのケースについて反例が存在し、スペクトル的類似性がアフィン同値性や置換同値性を示さないことが示されている。
• 重み4および5の場合、nのすべての素因数が十分に大きい場合に同値性が成立するため、結果が持続するための密度依存の閾値が存在することが示唆されている。
• 古典的アーダム反例に対応しない重み6の二部グラフ版アーダム反例が存在し、二部グラフ設定における構造的挙動の相違を示唆している。
• 二部グラフ問題の元の反例ペア{0,1,4,7}_8と{0,1,3,4}_8は、古典的アーダム問題の反例でないが、アフィン同値性を用いて古典的反例に変換可能であり、両問題の深い関係を示している。