[논문 리뷰] Uniqueness in Discrete Tomography of Planar Model Sets

Christian Huck|ArXiv.org|2007. 01. 04.

Quasicrystal Structures and Properties인용 수 4

한 줄 요약

이 논문은 수학적 퀀티크리스탈인 원분할 모델 집합의 볼록 부분집합이 네 개의 특정 Λ-방향에서의 X선 측정을 통해 유일하게 재구성될 수 있음을 입증한다. 반면 세 개의 방향은 부족하다. 대수적 수론과 볼록 기하학을 사용하여, 두 개의 Λ-방향으로도 유한한 부분집합을 순차적으로 유일하게 결정할 수 있음을 증명하며, 이 결과는 아만-비inker 및 뷰링겐 삼각형 타일링과 같은 잘 알려진 퀀티크리스탈 타일링에 적용된다.

ABSTRACT

The problem of determining finite subsets of characteristic planar model sets (mathematical quasicrystals) $\varLambda$, called cyclotomic model sets, by parallel $X$-rays is considered. Here, an $X$-ray in direction $u$ of a finite subset of the plane gives the number of points in the set on each line parallel to $u$. For practical reasons, only $X$-rays in $\varLambda$-directions, i.e., directions parallel to non-zero elements of the difference set $\varLambda - \varLambda$, are permitted. In particular, by combining methods from algebraic number theory and convexity, it is shown that the convex subsets of a cyclotomic model set $\varLambda$, i.e., finite sets $C\subset \varLambda$ whose convex hulls contain no new points of $\varLambda$, are determined, among all convex subsets of $\varLambda$, by their $X$-rays in four prescribed $\varLambda$-directions, whereas any set of three $\varLambda$-directions does not suffice for this purpose. We also study the interactive technique of successive determination in the case of cyclotomic model sets, in which the information from previous $X$-rays is used in deciding the direction for the next $X$-ray. In particular, it is shown that the finite subsets of any cyclotomic model set $\varLambda$ can be successively determined by two $\varLambda$-directions. All results are illustrated by means of well-known examples, i.e., the cyclotomic model sets associated with the square tiling, the triangle tiling, the tiling of Ammann-Beenker, the Tübingen triangle tiling and the shield tiling.

연구 동기 및 목표

• 평면 원분할 모델 집합의 유한 부분집합을 유일하게 재구성하기 위해 필요한 최소한의 X선 방향 수를 결정하는 것.
• 수학적 퀀티크리스탈(모델 집합)의 구조가 주기적 격자와 유사하게 유일한 재구성을 가능하게 하는지 조사하는 것.
• 순차적 X선 측정의 상호작용적 방법이 필요한 방향 수를 비상호작용 기준 이하로 줄일 수 있는지 탐색하는 것.
• 대수적 수론을 활용하여 고전적인 이산 탐사 결과를 주기적이지 않은, 퀀티크리스탈적 구조로 확장하는 것.

제안 방법

• 대수적 수체의 민코프스키 표현을 사용하여 원분할 모델 집합을 Z[ζₙ]의 부분집합으로 정의한다. 여기서 ζₙ는 원분할 수의 기본 n차근이다.
• 물리 공간에 있는 모델 집합과 내부 공간의 윈도우를 연결하기 위해 별표 매핑 ⋆ₙ를 적용함으로써 대수적 특성화를 가능하게 한다.
• Λ와 Λ−Λ의 볼록성과 균일한 이산성에 기반하여 유한 부분집합의 구조와 그 X선 데이터를 분석한다.
• 대수적 수론의 결과와 기하학적 추론을 조합하여, Λ-방향에서의 세 개의 X선이 반경 R 이내의 모든 유한 부분집합의 합집합을 유일하게 결정함을 증명한다.
• Λ-방향—Λ−Λ의 영이 아닌 원소에 평행한 방향—의 개념을 사용하여 X선 측정을 물리적으로 의미 있는 방향으로 제한한다.
• 이전 X선 데이터를 기반으로 다음 최적의 방향을 선택함으로써, 두 개의 Λ-방향으로 순차적 결정이 가능함을 보여준다.

실험 결과

연구 질문

• RQ1 원분할 모델 집합의 볼록 부분집합은 소수의 Λ-방향에서의 X선 측정을 통해 유일하게 결정될 수 있는가?
• RQ2 비주기적 평면 모델 집합의 유한 부분집합을 유일하게 재구성하기 위해 필요한 최소한의 X선 방향 수는 얼마인가?
• RQ3 순차적 X선 측정의 상호작용적 방법이 비상호작용 기준 이하의 방향 수로 줄일 수 있는가?
• RQ4 원분할 모델 집합에 대한 결과는 펜로즈 타일링과 같은 다른 퀀티크리스탈적 구조로 확장되는가?
• RQ5 원분할 체의 대칭성과 대수적 성질은 이산 탐사 재구성의 유일성에 어떤 영향을 미치는가?

주요 결과

• 네 개의 Λ-방향이 원분할 모델 집합의 모든 볼록 부분집합을 유일하게 결정하는 데 충분하며, 임의의 세 개의 Λ-방향은 부족하다.
• 원분할 모델 집합에서 반경 R 이내의 직경을 가진 모든 유한 부분집합의 합집합은 Λ-방향에서의 세 개의 X선을 통해 유일하게 결정된다.
• 두 개의 Λ-방향으로도 원분할 모델 집합의 임의의 유한 부분집합을 순차적으로 결정할 수 있으며, 이는 이전 X선 데이터를 기반으로 한 적응적 선택에 의해 가능하다.
• 결과는 아암만-비인커 타일링(n=8) 및 투빙엔 삼각형 타일링과 같은 잘 알려진 퀀티크리스탈 타일링에 적용된다.
• 증명은 명제 6의 조건들 간의 동치성과 특정 대수적 성질을 만족하는 Oₙ의 원소 존재성을 기반으로 하며, 이는 유일성 보장을 위해 필수적이다.
• 모델 집합의 차원 계층성 덕분에 결과는 고차원으로 확장 가능하지만, 비평면 케이스에서는 복잡성이 증가한다.