[论文解读] Uniqueness in Discrete Tomography of Planar Model Sets

Christian Huck|ArXiv.org|Jan 4, 2007

Quasicrystal Structures and Properties被引用 4

一句话总结

本文证明，四元数模型集（数学准晶）的凸子集可通过四个特定Λ方向的X射线唯一重建，而三个方向则不足。利用代数数论与凸几何，证明仅需两个Λ方向即可逐次确定任意有限子集，结果在著名的准晶镶嵌（如Ammann-Beenker与T"ubingen三角形镶嵌）上得到验证。

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射线测定方法是否可将所需方向数减少至非交互方法的阈值以下。
• 利用代数数论将经典离散层析成像结果从晶格推广至非周期准晶结构。

提出的方法

• 使用代数数域的Minkowski表示法，将四次模型集定义为Z[ζₙ]的子集，其中ζₙ为本原n次单位根。
• 应用星映射⋆ₙ，将物理空间中的模型集与内部空间中的窗集关联，实现代数表征。
• 利用Λ与Λ−Λ的凸性与均匀离散性，分析有限子集及其X射线数据的结构。
• 结合代数数论结果与几何论证，证明三个Λ方向的X射线可唯一确定半径R内所有有限子集的并集。
• 引入Λ方向概念——平行于Λ−Λ中非零元素的方向——以限制X射线测量至物理上有意义的方向。
• 证明两个Λ方向足以通过迭代利用先前X射线信息，自适应选择最优下一次测量方向，实现逐次确定。

实验结果

研究问题

• RQ1 四次模型集的凸子集能否通过少量Λ方向的X射线唯一确定？
• RQ2 是否存在一个最小数量的X射线方向，足以唯一重建非周期平面模型集中的有限子集？
• RQ3 交互式逐次X射线测量方法是否可使所需方向数低于非交互方法的阈值？
• RQ4 四次模型集的结果是否可推广至其他准晶结构（如Penrose镶嵌）？
• RQ5 四次域的对称性与代数性质如何影响离散层析成像重建的唯一性？

主要发现

• 四个Λ方向足以唯一确定四次模型集的所有凸子集，而任意三个Λ方向均不足。
• 四次模型集中直径小于R的所有有限子集的并集，可由三个Λ方向的X射线唯一确定。
• 两个Λ方向足以通过自适应选择（基于先前X射线数据）实现对任意有限子集的逐次确定。
• 结果在著名的准晶镶嵌上得到验证，包括方形镶嵌（n=4）、三角形镶嵌（n=6）、Ammann-Beenker镶嵌（n=8）与T"ubingen三角形镶嵌。
• 证明依赖于命题6中条件的等价性，以及Oₙ中满足特定代数性质的元素的存在性，以确保唯一性。
• 模型集的维数层次结构使得结果可推广至高维，尽管非平面情况下的复杂度有所增加。