[論文レビュー] Arithmetic infinite friezes from punctured discs

Manuela Tschabold|arXiv (Cornell University)|Mar 14, 2015

Algebraic Geometry and Number Theory参考文献 9被引用数 12

ひとこと要約

本稿は、下部の境界行がない正の整数の無限フリーズパターンを導入し、Conway-Coxeterのフリーズを一般化する。一度穿孔された円板の三角形分割が、対角線に等差数列を含む周期的無限フリーズを生成することを確立し、ストリップの周期的三角形分割におけるマッチング数を用いた組合せ的解釈を提供するとともに、これらの等差数列の公差を計算するラベル付けアルゴリズムを提示する。

ABSTRACT

We define the notion of infinite friezes of positive integers as a variation of Conway-Coxeter frieze patterns and study their properties. We introduce useful gluing and cutting operations on infinite friezes. It turns out that triangulations of once-punctured discs give rise to periodic infinite friezes having special properties, a notable example being that each diagonal consists of a collection of arithmetic progressions. Furthermore, we work out a combinatorial interpretation of the entries of infinite friezes associated to triangulations of once-punctured discs via matching numbers for certain combinatorial objects, namely periodic triangulations of strips. Alternatively, we consider a known algorithm that as we show computes as well these entries.

研究の動機と目的

• 下部の境界行を除去することで有限フリーズパターンを一般化し、正の整数の無限フリーズを導入すること。
• 一度穿孔された円板の三角形分割と周期的無限フリーズとの間の対応関係を確立すること。
• ストリップの周期的三角形分割におけるマッチング数を用いて、そのようなフリーズの要素に対する組合せ的解釈を提供すること。
• 対角線の等差数列の公差を計算するラベル付けアルゴリズムを開発すること。
• 有限フリーズとSL2-タイリングの結果を、周期的構造および接合／切断操作を用いて統一的かつ拡張すること。

提案手法

• 無限フリーズを、上部が0と1で境界づけられ、$m_{i,j}m_{i+1,j+1} - m_{i+1,j}m_{i,j+1} = 1$ を満たす正の整数の双方向無限配列として定義する。
• 無限フリーズにおける接合および切断操作を定義し、帰納的構成のためのn-接合およびn-切断を用いて周期的ケースに拡張する。
• 一度穿孔された円板の三角形分割から得られるクイディティーシーケンスを定義し、それが周期的無限フリーズを生成することを証明する。
• 一度穿孔された円板の三角形分割から、ストリップの周期的三角形分割を構成し、マッチング数による組合せ的解釈を可能にする。
• ストリップの周期的三角形分割の頂点にラベルを付与するアルゴリズムを適用し、フリーズの各要素および等差数列の公差を計算する。
• 再帰的関係と帰納法（補題2.5および補題5.2を用いて）を用いて、ラベルがフリーズの正しい要素および差を生成することを検証する。

実験結果

リサーチクエスチョン

• RQ1 有限フリーズパターンは、下部の境界行がない無限フリーズにどのように一般化できるか？
• RQ2 一度穿孔された円板の三角形分割から生じる無限フリーズが示す構造的性質は何か？
• RQ3 このような無限フリーズの要素は、ストリップの周期的三角形分割におけるマッチング数を用いて組合せ的に解釈可能か？
• RQ4 無限フリーズの対角線内に等差数列が出現する背景として、周期性が果たす役割は何か？
• RQ5 周期的三角形分割におけるラベル付けアルゴリズムは、どのようにして等差数列の要素と公差の両方を計算できるか？

主な発見

• 一度穿孔された円板の三角形分割は、ユニモジュラー規則を満たし、上部が0と1で境界づけられた周期的無限フリーズを生成する。
• これらの周期的無限フリーズは、各対角線に複数の等差数列を含み、その数は周期に依存する。
• フリーズの要素は、ストリップの周期的三角形分割における頂点と三角形間のマッチング数として解釈できる。
• ストリップの周期的三角形分割におけるラベル付けアルゴリズムにより、各要素 $m_{i,j}$ は隣接する頂点のラベルの和として計算され、ラベルは $n_x = n_{x-1} + n_{x+1}$ を満たす。
• 対角線 $i, i+k-3$ 沿いの等差数列の公差 $d_{ik}$ は、$d_{ik} = r n_{i-1} n_{i+k-2}$ で与えられ、ここで $r$ はブリッジアークの数で、インデックスは $n$ を法として計算される。
• ラベル付けアルゴリズムと再帰的関係（例：補題2.5）により、フリーズの要素および差の整合性が保証され、インデックス関係の4つのすべてのケースについて帰納的に検証される。