[논문 리뷰] Uniqueness Theorems for Fourier Quasicrystals and Temperate Distributions with Discrete Support

S. Favorov|arXiv (Cornell University)|2020. 06. 13.

Analytic and geometric function theory인용 수 4

한 줄 요약

이 논문은 두 분포의 지지집합과 질량이 무한대에서 점점 가까워지면, 그들이 동일해야 한다는 것을 보여줌으로써 푸리에 퀀티크리스탈과 이산 체계의 온도 분포에 대한 유일성 정리를 수립한다. 핵심 결과는 지지집합과 질량의 점 渐진적 가까움이 전체 등식을 이끌어내며, 특정 기하학적 밀도 조건을 만족하는 집합에서 더 약한 흩어진 정도와 국소화 조건 하에서도 성립한다.

ABSTRACT

It is proved that if some points of the supports of two Fourier quasicrystals approach each other while tending to infinity and the same is true for the masses at these points, then these quasicrystals coincide. A similar statement is obtained for a certain class of discrete temperate distributions.

연구 동기 및 목표

• 두 푸리에 퀀티크리스탈 또는 이산 체계의 온도 분포가 그들의 지지집합과 질량의 점근적 행동에 기반해 언제 반드시 동일한지에 대한 조건을 수립하기.
• 이전의 거의 주기적 함수와 영집합에 대한 결과를 더 넓은 범주인 이산 지지집합과 스펙트럼을 가진 분포로 일반화하기.
• 균일 이산성 또는 흩어진 정도의 조건을 약화시키되, 점근적 가까움 조건 하에서도 유일성 유지 가능성을 확보하기.
• 측도가 아니라도 원자형 또는 이산적인 구조를 가진 온도 분포로 이론을 확장하기.
• 원자적 경우를 초월해 절대 연속 성분이 혼합된 거의 주기적 측도에 대해서도 유일성 원리가 성립하는지 조사하기.

제안 방법

• 희박한 푸리에 퀀티크리스탈을, 푸리에 변환이 원자형이며 총 변동 측도도 온도 분포인 이산 체계의 온도 분포로 정의한다.
• 온도 분포 위에서의 푸리에 변환은 쌍대성에 의해 정의되며, f̂, φ⟩ = ⟨f, φ̂⟩ 를 만족한다. 여기서 φ ∈ S(ℝ^d).
• 지정된 조건 (4)에 따라, r_k → ∞ 이고 r_k/|x_k| → 0 인 구역 B(x_k, r_k)를 포함하는 집합 E에 대해 기하학적 조건을 도입하여, E가 무한대에서 충분히 조밀함을 보장한다.
• 시험 함수 ψ_t 가 컴act 지지된 도함수를 가지는 경우, 이로부터 유도된 이동 함수 H(t) = f(ψ_t) − g(ψ_t) 의 거의 주기성 을 적용한다.
• 균일 수렴하는 분포 계수를 통해 모순을 유도한다: H(t) ≠ 0 이지만 상대적으로 조밀한 집합을 따라 |H(t)| → 0 이면 모순이 발생한다.
• 시험 함수의 도함수가 균일 연속적이고 유계임을 이용하여, 먼 거리의 점에서의 분포 값이 국소적 행동으로 근사 가능하다는 사실을 활용한다.

실험 결과

연구 질문

• RQ1 두 푸리에 퀀티크리스탈이 지지집합과 질량이 점점 가까워지면, 어떤 조건에서 반드시 일치하는가?
• RQ2 유일성 결과가 균일 이산성 또는 희박한 측도를 초월해 더 일반적인 이산 체계의 온도 분포로 확장 가능한가?
• RQ3 전체 흩어진 정도 조건 없이, 조건 (4)를 만족하는 집합 E를 따라 지지집합과 질량이 수렴하면 두 분포가 일치하는가?
• RQ4 원자적 성분 외에 절대 연속 성분이 포함된 분포에 대해서도 유일성 원리가 확장 가능한가?
• RQ5 일반적인 거의 주기적 측도에 대해서도, 특히 이산 스펙트럼과 지지집합을 가진 경우에 한정되지 않고 유일성 결과가 성립하는가?

주요 결과

• 두 희박한 푸리에 퀀티크리스탈 μ와 ν가 n → ∞ 일 때 λ_n − γ_n → 0 이고 μ(λ_n) − ν(γ_n) → 0 이면, μ ≡ ν 이다.
• 유일성 조건은 국소화 가능하다: 지지집합과 질량이 조건 (4)를 만족하는 집합 E에서 점점 가까워지면, 전체 흩어진 정도 조건 없이도 μ ≡ ν 이다.
• 결합된 지지집합으로의 확장: μ와 ν가 원자형이고, 그 성분 Λ_n, Γ_n 가 diam(Λ_n ∪ Γ_n) → 0 이며 μ(Λ_n) − ν(Γ_n) → 0 이면, μ ≡ ν 이다.
• 증명은 H(t) = f(ψ_t) − g(ψ_t) 를 통해 구성된 거의 주기적 함수에 기반한다. 이 함수는 어떤 점에서 0이 아니지만 상대적으로 조밀한 집합을 따라 0으로 수렴하므로 모순이 발생한다.
• 이 방법은 측도가 아니더라도 일반적인 이산 체계의 온도 분포에 적용 가능하며, 이동과 국소화에 따른 분포 계수의 행동을 분석함으로써 적용된다.
• 측도의 총 변동이 S*(ℝ^d) 에 속하지 않아도 결과가 성립하므로, 고전적 푸리에 퀀티크리스탈 이론에서 일반적인 가정을 약화시킨다.