[논문 리뷰] Stationary processes with pure point diffraction

Daniel Lenz, Robert V. Moody|arXiv (Cornell University)|2011. 11. 15.

Advanced Mathematical Modeling in Engineering참고 문헌 28인용 수 14

한 줄 요약

이 논문은 국소적으로 컴act한 아벨 군 위에서의 에르고딕 공간 정적 확률과정을 순수 점형 회절 측도를 다루는 데 일반적인 프레임워크로 도입한다. 이는 수학적 회절 이론에서 회절 문제와 역문제를 연구하는 데 기여한다. 순수 점형 회절 측도를 갖는 모든 정적 확률과정을 이중 군을 이용해 완전히 분류하며, 순수 점형 회절에 대한 동음성 문제를 해결하고, 고유함수와 바나흐 대수 구조를 통해 순수 점형 회절과 거의 평형성 사이의 연결 고리를 설정한다.

ABSTRACT

We consider the construction and classification of some new mathematical objects, called ergodic spatial stationary processes, on locally compact Abelian groups, which provide a natural and very general setting for studying diffraction and the famous inverse problems associated with it. In particular we can construct complete families of solutions to the inverse problem from any given pure point measure that is chosen to be the diffraction. In this case these processes can be classified by the dual of the group of relators based on the set of Bragg peaks, and this gives a solution to the homometry problem for pure point diffraction. An ergodic spatial stationary process consists of a measure theoretical dynamical system and a mapping linking it with the ambient space in which diffracting density is supposed to exist. After introducing these processes we study their general properties and link pure point diffraction to almost periodicity. Given a pure point measure we show how to construct from it and a given set of phases a corresponding ergodic spatial stationary process. In fact we do this in two separate ways, each of which sheds its own light on the nature of the problem. The first construction can be seen as an elaboration of the Halmos--von Neumann theorem, lifted from the domain of dynamical systems to that of stationary processes. The second is a Gelfand construction obtained by defining a suitable Banach algebra out of the putative eigenfunctions of the desired dynamics.

연구 동기 및 목표

• 일관된 설정에서 회절과 역문제를 연구하기 위한 일반적인 수학적 프레임워크를 개발하는 것.
• 주어진 순수 점형 회절 측도를 생성하는 모든 정적 확률과정을 분류하여 이 맥락에서 동음성 문제를 해결하는 것.
• 고유함수와 동역학계를 통해 순수 점형 회절과 거의 평형성 간의 연결 고리를 설정하는 것.
• 주어진 순수 점형 회절 측도와 위상 데이터로부터 정적 확률과정을 구성하는 방법을 제공하는 것.
• 기하학적 또는 측도론적 기술이 아닌, 시험 함수에 대한 작용을 통해 기저 구조의 성격을 명확히 하는 것.

제안 방법

• 측도론적 동역학계로서의 에르고딕 공간 정적 확률과정을 도입하고, 환경 공간으로의 연결 맵을 갖추어 자코리레이션 및 회절 측도를 정의할 수 있도록 한다.
• 두 가지 다른 구성 방법을 사용한다: 하나는 Halmos–von Neumann 정리의 정적 확률과정에 대한 확장이고, 다른 하나는 고유함수의 바나흐 대수 위에서의 Gelfand 구성이다.
• 국소적으로 컴act한 아벨 군 위에서의 조화 분석을 적용하여, 물리 공간에서의 자코리레이션과 푸리에 공간에서의 회절을 푸리에 변환을 통해 연결한다.
• 관련 동역학계의 스펙트럼 성질을 통해 순수 점형 회절을 특성화하고, 거의 평형성과 연속 고유함수의 존재와 연결한다.
• 브라그 피크에서 유도된 상대군의 이중 군을 통해 역문제의 해를 분류하며, 해 공간이 컨볼루션에 관해 군을 이룬다는 것을 보여준다.
• 리에스 표현 정리를 적용하여, 원래의 구조가 $L^1$-summable가 아니더라도 연결 함수가 연속적이고 유계일 경우에 확률과정이 측도값 과정으로 해석될 수 있는 조건을 규명한다.

실험 결과

연구 질문

• RQ1 모든 양의 중심 대칭 측도가 어떤 정적 확률과정의 회절로 나타날 수 있는가?
• RQ2 주어진 순수 점형 회절 측도를 생성하는 모든 정적 확률과정의 완전한 분류는 무엇인가?
• RQ3 기저가 되는 과정들은 어떤 구조적 성질을 가지며, 구체적인 기하학적 실현 없이 어떻게 묘사할 수 있는가?
• RQ4 주어진 순수 점형 회절 측도로부터 역회절 문제의 모든 해를 어떻게 구성할 수 있는가?
• RQ5 역문제를 해결하는 데 사용되는 순간의 계층적 구조 뒤에 더 깊은 대수적 또는 코homological한 구조가 존재하는가?

주요 결과

• 주어진 순수 점형 회절 측도를 갖는 모든 정적 확률과정은 브라그 피크와 관련된 상대군의 이중 군에 의해 완전히 분류되며, 이는 이 맥락에서 동음성 문제에 대한 완전한 해를 제공한다.
• 고정된 순수 점형 회절 측도를 갖는 과정의 해 공간은 컨볼루션에 관해 군을 이룬다. 이는 풍부한 대수적 구조를 의미한다.
• 순수 점형 회절은 관련 동역학계에서 연속 고유함수의 존재를 통해 거의 평형성과 동치임을 보여준다.
• 이러한 과정의 구성은 두 가지 방식으로 이루어질 수 있다: Halmos–von Neumann 유형의 리프팅과 고유함수의 바나흐 대수 위에서의 Gelfand 구성으로, 각각 다른 통찰을 제공한다.
• 원래의 구조가 $L^1$-summable가 아니더라도, 연결 함수가 적절한 연속성과 유계성 조건을 만족할 경우, 여전히 측도값 과정으로 해석될 수 있다.
• 특히 $2m+1$차까지의 순간들이, $\mathcal{S}+\cdots+\mathcal{S}=\mathcal{E}$ ($m$개의 항목)와 같은 합집합 조건을 만족할 경우, 과정을 완전히 결정할 수 있으며, 이는 해의 계층적 조직을 시사한다.