[논문 리뷰] Fuglede's conjecture holds in $\mathbb{Q}_p$

Aihua Fan, Shilei Fan외 2명|arXiv (Cornell University)|2015. 12. 30.

Mathematical Analysis and Transform Methods참고 문헌 15인용 수 6

한 줄 요약

이 논문은 $p$-진 수체 $\mathbb{Q}_p$에서 푸글레의 추측을 증명한다: 양의 유한한 하르 측도를 가진 보렐 집합은 이 집합이 $\mathbb{Q}_p$에 평행이동으로 타일링할 때이고 그때서만 스펙트럴 집합이다. 증명은 이러한 스펙트럴 집합과 타일이 모두 거의 컴팩트 오픈 집합이어야 한다는 것을 보여주며, 균일하게 산재한 집합의 푸리에 분석과 관련 측도의 푸리에 변환의 분포적 성질을 활용한다.

ABSTRACT

Fuglede's conjecture in $\mathbb{Q}_p$ is proved. That is to say, a Borel set of positive and finite Haar measure in $\mathbb{Q}_p$ is a spectral set if and only if it tiles $\mathbb{Q}_p$ by translation.

연구 동기 및 목표

• 스펙트럴 집합과 타일링의 등가성을 제시하는 푸글레의 추측을 $p$-진 수체 $\mathbb{Q}_p$에서 해결하는 것.
• $\mathbb{Q}_p$에서 스펙트럴 집합과 타일링 집합의 구조를 규명하여, 이들이 반드시 거의 컴팩트 오픈 집합이어야 한다는 것을 보여주는 것.
• $\mathbb{Q}_p$에서 컴팩트 오픈 스펙트럴 집합에 대한 이전 결과를 일반적인 양의 유한한 하르 측도를 가진 보렐 집합으로 확장하는 것.
• $\mathbb{Q}_p$에서 스펙트럼과 타일링 보완 집합 간의 이중성을 확립하여, 이 설정에서 이중 푸글레 추측을 확인하는 것.

제안 방법

• 스펙트럼 $\Lambda$와 타일링 보완 집합 $T$와 관련된 균일 측도 $\mu_\Lambda$ 및 $\mu_T$의 푸리에 변환의 영점 집합을 분석한다.
• 스펙트럼 조건과 타일링 조건을 통합하는 프레임워크로 컨볼루션 방정식 $\mu_E * f = w$를 사용한다. 여기서 $f = |\widehat{1_\Omega}|^2$ 이고 $w = \mathfrak{m}(\Omega)^2$ 이다.
• 브루하트-슈바르츠 공간에서의 분포 이론을 적용하여 $\mathbb{Q}_p$ 위의 이산 라돈 측도의 푸리에 변환을 연구한다.
• 타일링 집합의 균일한 산재성과 성장 특성을 분석함으로써 $\mathbb{Q}_p$에서 타일링 집합이 거의 컴팩트 오픈 집합임을 보여준다.
• 기존의 $p$-균질 이산 집합에 대한 결과를 활용하여 스펙트럼-타일링 쌍을 구성하고, [5]의 정리 1.2를 일반적인 보렐 집합으로 확장한다.
• 푸리에 변환의 플랑커렐 유형 항등식 $\sum_{\lambda \in \Lambda} |\widehat{1_\Omega}|^2(\xi - \lambda) = \mathfrak{m}(\Omega)^2$ 를 통해 스펙트럼 조건과 타일링 조건 간의 등가성을 이용한다.

실험 결과

연구 질문

• RQ1 모든 양의 유한한 하르 측도를 가진 보렐 집합에 대해 $\mathbb{Q}_p$에서 푸글레의 추측이 성립하는가?
• RQ2 같은 측도 조건 하에서 $\mathbb{Q}_p$에서 스펙트럴 집합은 반드시 타일링 집합이 되고, 그 반대도 성립하는가?
• RQ3 특히 컴팩트성과 오픈성 측면에서 $\mathbb{Q}_p$의 스펙트럴 집합과 타일링 집합이 가지는 구조적 성질은 무엇인가?
• RQ4 컴팩트 오픈 집합에서의 결과를 일반화하여 $\mathbb{Q}_p$에서 스펙트럼과 타일링 보완 집합 간의 이중성을 확립할 수 있는가?
• RQ5 이산 측도의 푸리에 변환의 영점 집합은 $\mathbb{Q}_p$에서 스펙트럴 성질과 타일링 성질과 어떻게 관련이 있는가?

주요 결과

• 푸글레의 추측은 $\mathbb{Q}_p$에서 성립한다: $\mathbb{Q}_p$의 보렐 집합 $\Omega$가 양의 유한한 하르 측도를 가진다면, 이 집합은 이 집합이 $\mathbb{Q}_p$에 평행이동으로 타일링할 때이고 그때서만 스펙트럴 집합이다.
• $\mathbb{Q}_p$에서의 어떤 스펙트럴 집합이나 타일링 집합도 반드시 거의 컴팩트 오픈 집합이어야 한다. 즉, 하르 측도 하에 영집합을 제외하고 컴팩트 오픈 집합과 일치한다.
• 타일링이 스펙트럴을 함의하는 방향은 [5]의 정리 1.2로부터 유도되며, 이는 $p$-균질성에 의해 컴팩트 오픈 집합에 대해 등가성을 보여준다.
• 스펙트럼이 타일링을 함의하는 방향은 브루하트-슈바르츠 분포 프레임워크에서 푸리에 변환의 영점 집합과 컨볼루션 항등식을 직접 분석함으로써 증명된다.
• 스펙트럼과 타일링 보완 집합은 모두 균일하게 산재해 있으며, 이들에 관련된 측도는 $w > 0$ 인 컨볼루션 방정식 $\mu_E * f = w$ 를 만족한다.
• 차원 수가 $d \geq 2$ 인 높은 차원 $\mathbb{Q}_p^d$에서는 유계 타일링 집합이 반드시 거의 컴팩트 오픈 집합이 아니며, 스펙트럴 집합이 타일링을 하지 않을 수도 있다. 이는 추측이 일반적으로 $\mathbb{Q}_p^d$로 확장되지 않음을 시사한다.