[論文レビュー] Fixed-boundary octagonal random tilings: a combinatorial approach

Nicolas Destainville, Rémy Mosseri+1 more|arXiv (Cornell University)|Apr 10, 2000

Quasicrystal Structures and Properties参考文献 32被引用数 6

ひとこと要約

本稿では、固定境界を持つ4→2型八角形ランダムタイリング（4→2 tilings）の組合せ的枠組みを、余次元1の系から高余次元系へ一般化することで構築する。一般化された分割を導入し、非凸的だが局所的凸性を有する配置空間をフラップダイナミクスと単体分解を用いて分析し、降下定理を用いて正確な数え上げ公式を導出する。これにより、完全な閉形式のエントロピー公式が存在しないにもかかわらず、エントロピー計算への道筋が示される。

ABSTRACT

Some combinatorial properties of fixed boundary rhombus random tilings with octagonal symmetry are studied. A geometrical analysis of their configuration space is given as well as a description in terms of discrete dynamical systems, thus generalizing previous results on the more restricted class of codimension-one tilings. In particular this method gives access to counting formulas, which are directly related to questions of entropy in these statistical systems. Methods and tools from the field of enumerative combinatorics are used.

研究の動機と目的

• 余次元1のランダムタイリングにおける組合せ的技法を、特に八角対称性を有する4→2型八角形タイリングを含む高余次元系へ拡張すること。
• 固定境界を持つ菱形タイリングの配置空間を、高次元空間における整数点の部分集合として、部分的に凸であるが全体としては凸でない集合として特徴付けること。
• 繰り返し分割問題と単体分解を用いた体系的なタイリング数え上げ法を開発し、正確な数え上げ公式の導出を可能とすること。
• 分割関係におけるサイクルの役割と、配置空間内の接続性およびウォーク数え上げに与える影響を調査すること。
• 数え上げ多項式における係数和に対して降下定理を確立し、サイクルが全凸性を破壊しても、重要な性質が保たれることを示すこと。

提案手法

• 繰り返し分割問題を用いて、余次元1のタイリングと標準的分割との間の双対性を高余次元へ一般化する。
• タイリングの配置空間を、高次元多面体内の整数点の集合としてモデル化し、局所的再配置（フラップ）を離散的ダイナミカルシステムにおける辺遷移に対応付ける。
• 数え上げ組合せ論の道具、特に母関数と多項係数を用いて、タイリング配置の数え上げ多項式を導出する。
• 数え上げ多項式の先頭係数和を、低次元配置空間内のウォークと関連付けることで、係数和を特徴付ける「降下定理」を導入する。
• 有効次元が低下する（K′ < K）要因となる、ファイバー順序関係内のサイクルを特定・分析し、それらがウォークおよび係数構造に与える影響を示す。
• 正規単体への幾何的分解を用いて、直接的数え上げでは得られない正確な数え上げ公式を計算する。

実験結果

リサーチクエスチョン

• RQ1 固定境界を持つ4→2型八角形ランダムタイリングの配置空間は、一般化された分割を用いて、どのように幾何学的かつ組合せ論的に記述できるか？
• RQ2 フラップダイナミクスおよび局所的再配置は、タイリング配置空間の接続性および構造にどのような役割を果たすか？
• RQ3 分割ファイバーの順序関係におけるサイクルは、タイリング配置の次元および数え上げにどのように影響を与えるか？
• RQ4 サイクルが存在する場合でも、タイリング数え上げ多項式の先頭係数和は、低次元配置空間内のウォークによって特徴付けられるか？
• RQ5 降下定理と配置空間内における最大ウォークの数え上げとの正確な関係は何か？

主な発見

• 4→2タイリングの配置空間は、局所的凸性は保たれるが、全体としては凸でない。これは、有効分割次元によって定義される領域で成立する。
• ファイバー順序関係内のサイクルは、独立な部分の有効数（K′）を減少させる。これにより、標準的な接続性の証明は無効になるが、係数和に対する降下定理は依然有効である。
• 数え上げ多項式の先頭係数和（Σ^K）は、サイクルが存在する場合でも、(D−1)→(d−1)配置空間内の最大ウォークの数に等しい。
• 単体分解を用いて、タイリング数の正確な数え上げ公式が導出され、係数a_j^Kは低次元空間内のウォークと関連づけられる。
• 極端なタイリング（C_minおよびC_max）は、すべての部分が0または1に等しい場合に特徴づけられ、マクロな面状の構造を示す。これは第4のde Bruijn族の選択に依存する。
• 有効次元Kが完全に達成された配置に制限した場合、降下定理は依然有効であり、次元が低下したケース（K′ < K）からの寄与は除外される。