[논문 리뷰] Fuglede's conjecture is false in 5 and higher dimensions

Terence Tao|ArXiv.org|2003. 06. 08.

Mathematical Analysis and Transform Methods참고 문헌 12인용 수 4

한 줄 요약

이 논문은 ℝ⁵ 및 그 이상의 차원에서 Fuglede의 추측을 반증한다. ℝ⁵ 내의 단위 정육면체 유한 합집합인 집합을 구성함으로써, 이 집합이 지수 함수의 정규직교 기저를 가지며 스펙트럴 집합임을 보이고, 동시에 이 집합이 이동을 통해 ℝ⁵를 테일링하지 못함을 보였다. 반례는 ℤ₂¹² 및 ℤ₃⁶에서의 유한 아벨 군 반례를 허드슨 행렬을 이용해 유도한 후, 전달 원리(transference principles)를 통해 ℝ⁵로 이전하여 도출되었으며, 이는 고차원에서 스펙트럴 집합과 이동 테일링 집합이 동치가 아님을 보여준다.

ABSTRACT

We give an example of a set $Ω\subset \R^5$ which is a finite union of unit cubes, such that $L^2(Ω)$ admits an orthonormal basis of exponentials $\{\frac{1}{|Ω|^{1/2}} e^{2πi ξ_j \cdot x}: ξ_j \in Λ\}$ for some discrete set $Λ\subset \R^5$, but which does not tile $\R^5$ by translations. This answers a conjecture of Fuglede in the negative, at least in 5 and higher dimensions.

연구 동기 및 목표

• 집합이 스펙트럴(지수 함수의 정규직교 기저를 가짐)임과 동시에 이동을 통해 ℝⁿ를 테일링하는 것 사이에 동치 관계가 성립한다는 Fuglede의 추측을 반증하기 위함.
• n ≥ 5인 차원에서 스펙트럴이지만 테일링하지 못하는 구체적인 반례를 구성함으로써, 고차원에서 추측이 성립하지 않음을 입증하기 위함.
• ℤ₂¹² 및 ℤ₃⁶에서의 유한 아벨 군 반례를 전달 기법을 통해 연속 공간 ℝ⁵로 확장하기 위함.
• 스펙트럼 집합 추측의 한계를 명확히 하고, 예를 들어 저차원 또는 볼록성 조건 하에서는 여전히 성립할 수 있는 조건을 규명하기 위함.

제안 방법

• 12개의 표준 기저 벡터로 구성된 유한 집합 Ω₀ ⊂ ℤ₂¹²를 구성함. 이는 12가 2¹²를 나누지 못하므로 ℤ₂¹²에서 테일링하지 못함.
• 12×12 허드슨 행렬을 사용해 Λ₀ ⊂ ℤ₂¹²를 정의함. 이때 지수 함수 {e²πiξ·x / √12}가 l²(Ω₀)에서 정규직교 기저를 이룸.
• 6원소 부분집합 Ω₁ ⊂ ℤ₃⁵를 사용해 ℤ⁵로의 전이를 수행함. 이 집합은 스펙트럴이지만 3⁵가 6을 나누지 못하므로 ℤ⁵에서 테일링하지 못함.
• 전달 추론을 적용해 이산 반례를 ℝ⁵로 옮김. Ω₂ = Ω₁ + [0,1)⁵ 및 Λ₂ = Λ₁ + ℤ⁵를 정의함으로써 스펙트럴 성질을 유지함.
• Ω₂가 ℝ⁵를 이동으로 테일링하지 못함을 모순에 의해 증명함. 테일링이 존재한다고 가정하면 국소 밀도 추정에서 기수의 불일치가 발생하며, 경계 효과와 정육면체 덮개 분석을 활용함.
• 환형 및 정육면체 겹침을 포함한 측도론적 및 조합론적 추정을 사용해, Ω₂의 국소 밀도가 6/3⁵ = 2/81임을 보임. 이는 무리수 비율으로 인해 테일링과 호환되지 않음.

실험 결과

연구 질문

• RQ1 모든 지수 함수의 정규직교 기저를 가지는 집합(즉, 스펙트럴 집합)은 반드시 이동을 통해 ℝⁿ를 테일링해야 하는가? Fuglede의 추측이 주장하는 바이다.
• RQ2 ℝⁿ에서 단위 정육면체의 유한 합집합이 스펙트럴이지만 이동 테일링을 하지 못할 수 있는가? 특히 n ≥ 5인 차원에서 그러한 경우가 존재하는가?
• RQ3 유한 체 위의 허드슨 행렬은 어떤 역할을 하여 스펙트럼 집합 추측의 반례를 구성하는가?
• RQ4 유한 군 반례는 어느 정도까지 전달 원리에 의해 연속 공간 ℝⁿ로 이전될 수 있는가?
• RQ5 Fuglede의 추측은 ℝ¹ 또는 ℝ²와 같은 저차원에서나 볼록성과 같은 추가 기하 조건 하에서도 여전히 성립하는가?

주요 결과

• 논문은 ℝ⁵ 내의 유한한 단위 정육면체 합집합인 집합 Ω₂를 명시적으로 구성하였으며, 이 집합이 지수 함수의 정규직교 기저를 가지므로 스펙트럴임을 증명함.
• Ω₂가 ℝ⁵를 이동으로 테일링하지 못함을 보였으며, 이는 테일링이 존재한다고 가정할 경우 국소 밀도 추정에서 모순이 발생함을 통해 입증됨.
• 반례는 3⁵가 6을 나누지 못하므로 ℤ₃⁵의 6원소 부분집합이 스펙트럴이지만 테일링하지 못함에 기반함.
• 전달 구성에서 스펙트럴 성질이 유지되므로, ℝ⁵에서 Λ₂ = Λ₁ + ℤ⁵는 Ω₂ = Ω₁ + [0,1)⁵에 대한 스펙트럼을 이룸.
• 이 증거는 모든 n ≥ 5에 대해 확장 가능하며, Fuglede의 추측이 이 모든 경우에서 실패함을 보여줌.
• 결과적으로 고차원 유클리드 공간에서 스펙트럼 성질과 테일링 성질이 동치가 아니며, 정육면체 합집합과 같은 간단한 기하 집합이라도 이는 성립하지 않음을 시사함.