[논문 리뷰] 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)|2004. 11. 23.

graph theory and CDMA systems참고 문헌 13인용 수 147

한 줄 요약

이 논문은 유한 아벨 군 내에서 크기가 5 이하인 모든 집합에 대해 스펙트럴 세트 추측의 '스펙트럴 ⇒ 타일' 방향을 확립하며, 이를 ℤᵈ 및 ℝᵈ로 확장한다. 또한 ℤ₈³ 내에서 타일링하지 않는 6원소 스펙트럴 집합을 구성하여 차원 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으로 낮추었다.
• A−A ⊆ D를 만족하는 k원소 부분집합 A ⊆ E의 존재성을 판단하는 결정 문제 DIFF’가 NP-완전임을 증명하였다.
• 결과적으로, 순환군에서 집합의 스펙트럴성 또는 타일링 여부를 판단하는 것은 NP-완전이며, 이는 이러한 문제들에 대해 알려진 다항 시간 알고리즘이 존재하지 않음을 의미한다.