[논문 리뷰] Packing near the tiling density and exponential bases for product domains

Mihail N. Kolountzakis|arXiv (Cornell University)|2016. 06. 08.

Mathematical Analysis and Transform Methods참고 문헌 11인용 수 3

한 줄 요약

이 논문은 제품 도메인 $ A \times \Omega \subseteq \mathbb{R}^{d+n} $ 가 스펙트럴일 경우, $ A $ 와 $ \Omega $ 둘 다 스펙트럴임을 증명하며, 이는 이전 결과를 간격을 초월하여 두 개의 간격의 합집합으로 확장한다. 높은 밀도의 $ |\widehat{\chi_\Omega}|^2 $ 포장이 타일링을 암시함을 증명함으로써, 저자들은 $ A \times \Omega $ 가 스펙트럴일 경우 두 요소가 모두 스펙트럴임을 보이며, 이는 $ A $ 가 두 개의 이격된 간격의 합집합일 때조차 성립한다.

ABSTRACT

A set $Ω$ in a locally compact abelian group is called spectral if $L^2(Ω)$ has an orthogonal basis of group characters. An important problem, connected with the so-called Spectral Set Conjecture (saying that $Ω$ is spectral if and only if a collection of translates of $Ω$ can partition the group), is the question of whether the spectrality of a product set $Ω= A imes B$, in a product group, implies the spectrality of the factors $A$ and $B$. Recently Greenfeld and Lev proved that if $I$ is an interval and $Ω\subseteq {\mathbb R}^d$ then the spectrality of $I imes Ω$ implies the spectrality of $Ω$. We give a different proof of this fact by first proving a result about packings of high density implying the existence of tilings by translates of a function. This allows us to improve the result to a wider collection of product sets than those dealt with by Greenfeld and Lev. For instance when $A$ is a union of two intervals in ${\mathbb R}$ then we show that the spectrality of $A imes Ω$ implies the spectrality of both $A$ and $Ω$.

연구 동기 및 목표

• 제품 도메인에서 한 요소가 두 개의 간격의 합집합일 경우, 스펙트럴 요소 문제를 해결하기 위해.
• Greenfeld와 Lev의 간격에 대한 결과를 더 넓은 범주인 제품 집합으로 확장하기 위해.
• 높은 밀도 포장 $ |\widehat{\chi_\Omega}|^2 $ 와 타일링 존재성 사이의 일반 원칙을 수립하기 위해.
• 스펙트럴 제품 $ A \times \Omega $ 가 두 요소 $ A $ 와 $ \Omega $ 가 모두 스펙트럴임을 보여주기 위해, 특히 $ A $ 가 두 개의 간격의 합집합일 경우에도 성립함을 보여주기 위해.
• 이전 접근 방식과 독립적인 포장 밀도와 타일링 등가성에 기반한 새로운 증명 기법을 제공하기 위해.

제안 방법

• 함수 $ f = |\widehat{\chi_\Omega}|^2 $ 가 $ |\Omega|^2 $ 에 가까운 임의의 밀도로 포장될 경우, 타일링이 이루어진다는 일반 원칙을 도입한다.
• Bessel의 부등식을 통한 수직성과 포장의 등가성, 그리고 Parseval의 항등식을 통한 완전성과 등가성의 등가성을 $ L^2(\Omega) $ 에 적용한다.
• 밀도 기반 타일링 기준을 적용: $ f $ 의 포장 밀도가 $ L^2 $-노름과 관련된 임계값을 초과하면, $ f $ 는 타일링을 이룬다.
• 이를 $ A = I \cup J $, 즉 두 개의 간격의 합집합인 $ f = |\widehat{\chi_A}|^2 $ 에 적용하고, 푸리에 분석을 통해 그 영점 집합을 분석한다.
• $ D - D $ 가 $ \widehat{\chi_A} $ 의 영점 집합을 피하는 경우, $ A \times \Omega $ 가 스펙트럴이면 $ \Omega $ 도 스펙트럴임을 보여주는 사실을 활용한다.
• 쌍대성 논증을 적용: $ D $ 가 $ D - D $ 가 $ \widehat{\chi_A} $ 의 영점 집합을 피하고 $ |D| \geq 1 $ 이면, $ A \times \Omega $ 가 스펙트럴이면 $ \Omega $ 도 스펙트럴임을 유도한다.

실험 결과

연구 질문

• RQ1 제품 집합 $ A \times \Omega $ 가 스펙트럴일 경우, $ A $ 가 두 개의 간격의 합집합일 때조차 $ A $ 와 $ \Omega $ 가 모두 스펙트럴인지 여쭙는다.
• RQ2 높은 밀도의 $ |\widehat{\chi_\Omega}|^2 $ 포장이 $ |\widehat{\chi_\Omega}|^2 $ 의 이동 복사로 타일링 존재를 보장할 수 있는가?
• RQ3 $ A = I \cup J $ 에 대해 $ \widehat{\chi_A} $ 의 영점 집합에 어떤 조건이 있어야 $ A \times \Omega $ 가 스펙트럴이면 $ \Omega $ 도 스펙트럴임을 보장할 수 있는가?
• RQ4 제품 도메인에서 $ A $ 가 단일 간격이 아니라 두 개의 간격의 합집합일 경우, 스펙트럴 요소 문제는 분리 가능한가?
• RQ5 Fuglede의 추측은 한 요소가 두 개의 간격의 합집합인 제품 도메인으로 확장될 수 있는가?

주요 결과

• 만약 $ A = I \cup J $ 가 두 개의 이격된 간격의 합집합이고 $ |I| + |J| = 1 $ 이며, $ A \times \Omega \subseteq \mathbb{R}^{1+n} $ 가 스펙트럴이면, $ A $ 와 $ \Omega $ 둘 다 스펙트럴이다.
• $ |I| \neq |J| $ 일 경우, 푸리에 변환 $ \widehat{\chi_A} $ 는 $ (-1,1) $ 에 영점이 없으며, 이는 밀도 기반 타일링 논증을 적용할 수 있음을 의미한다.
• $ |I| = |J| = 1/2 $ 일 경우, $ \widehat{\chi_A} $ 의 영점 집합은 명시적으로 $ 2\mathbb{Z} \setminus \{0\} \cup (2\mathbb{Z}+1)\Delta $ 로 기술되며, 여기서 $ \Delta = 1/(2|m_1 - m_2|) $ 이다. 이는 $ |D| = 1 $ 이고 $ D - D $ 가 영점 집합과 겹치지 않는 적절한 $ D $ 를 구성할 수 있음을 의미한다.
• 이러한 $ D $ 를 $ |D| = 1 $ 이고 $ D - D $ 가 $ \widehat{\chi_A} $ 의 영점 집합과 disjoint하도록 구성하면, 정리 2(a)에 의해 $ \Omega $ 가 스펙트럴임을 유도할 수 있다.
• 이 결과는 Greenfeld와 Lev의 정리의 일반화이다: $ [0,1] \times \Omega $ 가 스펙트럴이면 $ \Omega $ 도 스펙트럴이며, 이를 $ A = I \cup J $, 즉 두 개의 간격의 합집합으로 확장한다.
• 논문은 $ [0,1]^d \times B \subseteq \mathbb{R}^{d+n} $ 가 스펙트럴이면 $ B \subseteq \mathbb{R}^n $ 도 스펙트럴임을 인도적 방법과 주요 정리를 통해 증명한다.