[論文レビュー] Complex Hadamard matrices and the Spectral Set Conjecture

Mihail N. Kolountzakis, Máté Matolcsi|RACO (Revistes Catalanes amb Accés Obert) (Consorci de Serveis Universitaris de Catalunya)|Nov 23, 2004

graph theory and CDMA systems参考文献 13被引用数 147

ひとこと要約

この論文は、有限アーベル群におけるサイズ5以下のすべての集合に対して、スペクトル集合予想の「スペクトル ⇒ テイル」方向を確立し、ℤᵈおよびℝᵈに拡張する。さらに、ℤ₈³における6要素のスペクトル集合でテイルでないものを構成し、次元3における予想の反例を示し、その次元における失敗の最小次元を4から3に低減する。また、巡回群におけるスペクトル性やテイル性を決定する問題がNP完全であることを示す。

ABSTRACT

By analyzing the connection between complex Hadamard matrices and spectral sets we prove the direction ``spectral -> tile'' of the Sectral Set Conjecture for all sets A of size at most 5 in any finite Abelian group. This result is then extended to the infinite grid $\Z^d$ for any dimension d, and finally to Euclidean space. It was pointed out recently by Tao that the corresponding statement fails for |A|=6 in the group $\Z_3^5$, and this observation quickly led to the failure of the Spectral Set Conjecture in $\R^5$ (Tao), and subsequently in $\R^4$ (Matolcsi). In the second part of this note we reduce this dimension further, showing that the direction ``spectral -> tile'' of the Spectral Set Conjecture is false already in dimension 3. In a computational search for counterexamples in lower dimension (one and two) one needs, at the very least, to be able to decide efficiently if a set is a tile (in, say, a cyclic group) and if it is spectral. Such efficient procedures are lacking however and we make a few comments for the computational complexity of some related problems.

研究の動機と目的

• 有限アーベル群におけるサイズ5以下のすべての集合に対して、スペクトル集合予想の「スペクトル ⇒ テイル」方向を証明すること。
• この結果を無限格子ℤᵈおよびユークリッド空間ℝᵈに拡張すること。
• 次元3における「スペクトル ⇒ テイル」方向の反例を構成し、既知の失敗次元を4から3に低下させること。
• 巡回群における集合のスペクトル性またはテイル性を決定する計算複雑性を分析すること。
• 巡回群におけるスペクトル性およびテイル性の決定問題がNP完全であることを示すこと。

提案手法

• 複素ヘルミート行列とスペクトル集合の関係を活用し、小さなスペクトル集合を分析する。
• 位数5までの完全な複素ヘルミート行列の分類を用いて、有限アーベル群におけるサイズ≤5の任意のスペクトル集合が必ずテイルであることを証明する。
• スペクトル性およびテイル性が部分群においても保存されることを用いて、問題をℤₙᵈ型の群に還元する。
• 複素ヘルミート行列の性質および特徴関数の直交性を用いて、ℤ₈³における6要素のスペクトル集合でテイルでないものを構成する。
• 独立集合問題を決定問題DIFF’に還元することで、スペクトル性およびテイル性の検出問題がNP完全であることを証明する。
• 最大独立集合問題からの多項式時間還元を用いて、決定問題DIFF’がNP完全であることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群におけるサイズ5以下のすべてのスペクトル集合は、その群をテイルするか？
• RQ2 スペクトル集合予想の「スペクトル ⇒ テイル」方向は、有限群からℤᵈおよびℝᵈに拡張可能か？
• RQ3 次元3における、テイルでないスペクトル集合は存在するか。これにより、この次元における予想が無効化されるか？
• RQ4 巡回群の部分集合がスペクトルまたはテイルであるかどうかを決定する問題の計算複雑性は何か？
• RQ5 巡回群におけるスペクトル性およびテイル性の決定問題はNP完全か？

主な発見

• 任意の有限アーベル群におけるサイズ5以下のすべての集合に対して、スペクトル集合予想の「スペクトル ⇒ テイル」方向が成り立つ。
• この結果は、サイズ≤5の集合について、無限格子ℤᵈおよびユークリッド空間ℝᵈにも拡張可能である。
• ℤ₈³における6要素のスペクトル集合で、テイルでないものが構成され、これにより「スペクトル ⇒ テイル」方向が次元3で成立しないことが証明された。
• ℤ₈³における反例を用いて、ℝ³における反例を構成し、予想が失敗する最小次元を4から3に低下させた。
• k要素の部分集合A ⊆ Eが存在し、A−A ⊆ Dを満たすかどうかを判定する問題DIFF’がNP完全であることが証明された。
• 結果として、巡回群における集合のスペクトル性またはテイル性を決定する問題がNP完全であることが示され、これらの問題に対しては多項式時間アルゴリズムが既知にないことを示唆する。