[論文レビュー] Hard squares on cylinders revisited

Michał Adamaszek|arXiv (Cornell University)|Feb 8, 2012

Topological and Geometric Data Analysis参考文献 16被引用数 3

ひとこと要約

本稿は、再帰的削除と組合せ的モデルを用いて、円柱型正方形グリッド上の独立複体のホモトピー型およびオイラー乗数を調査する。$P_m \times C_n$ に対して偶数および奇数の円周を持つ場合の新しいホモトピー同値を確立し、ウィッテン指数の有理型母関数を証明し、これらの不変量の構造を単純化する可能性があるネックレスモデルを導入する。

ABSTRACT

We consider the independence complexes of square grids with cylindrical boundary conditions. When one of the dimensions is small we use simple reductions induced by edge removals to show explicit natural homotopy equivalences between those spaces. In the second part we expand the results of Jonsson, who calculated the Euler characteristic of cylinders with odd circumference. We describe a series of results for cylinders of even circumference. Finally we define a completely independent combinatorial model (necklaces) which calculates the generating functions of the Euler characteristic of cylindrical grids. We conjecture that this model has some particularly simple structure.

研究の動機と目的

• 奇数の円周を持つ円柱上のハードスクエアのオイラー乗数に関するJonssonの研究を、偶数の円周へと拡張すること。
• エッジ削除還元を用いて、円柱型グリッド $P_m \times C_n$ の独立複体の明示的ホモトピー同値を確立すること。
• 円柱型グリッドのウィッテン指数の母関数を計算する組合せ的ネックレスモデルを開発すること。
• ネックレスモデルに単純な下位構造が存在し、オイラー乗数の有理型母関数を説明できるかを予想すること。

提案手法

• エッジ削除還元を用いて、特に小さな $m$ および偶数の $n$ に対して $\mathrm{Ind}(P_m \times C_n)$ の再帰的ホモトピー同値を導出する。
• スuspension 操作 ($\Sigma$) を適用して、異なるサイズの複体を関連付け、$\mathrm{Ind}(P_m \times C_n) \simeq \Sigma^k \mathrm{Ind}(P_m \times C_{n-d})$ を得る。
• オイラー乗数を再帰的に解析するため、ウィッテン指数 $Z(G) = 1 - \chi(\mathrm{Ind}(G))$ を定義する。
• 偶数の $n$ に対して、生成関数 $f_n(t) = \sum_{m=0}^\infty Z(P_m \times C_n)t^m$ を計算するための組合せ的ネックレスモデルを導入する。
• $f_n(t)$ の分母構造を分析し、すべての極が単位根であることを示し、$n \leq 22$ に対して明示的な有理形式を計算する。
• 有向グラフ $\mathrm{Neck}(k,n)$ をサイクルに分解してネックレス構造をモデル化し、生成関数の振る舞いを予測する。

実験結果

リサーチクエスチョン

• RQ1 円周が偶数の $n$ である円柱型グリッドに対して、独立複体 $\mathrm{Ind}(P_m \times C_n)$ のホモトピー型は何か？
• RQ2 $n$ が偶数の場合、$\mathrm{Ind}(P_m \times C_n)$ のオイラー乗数は再帰的または母関数的手法で計算可能か？
• RQ3 提示されたネックレスモデルは、生成関数 $f_n(t)$ の有理型構造を組合せ的に説明できるか？
• RQ4 ネックレスモデルに、観察された周期性と有理型性を説明する単純な下位構造が存在するか？
• RQ5 $n$ が偶数の場合のホモトピー同値は、$n$ が奇数の場合のそれらとどのように関係するか。特にThapperの予想とどう関連するか？

主な発見

• 新しいホモトピー同値が確立された：$\mathrm{Ind}(P_2 \times C_n) \simeq \Sigma^2 \mathrm{Ind}(P_2 \times C_{n-4})$ および $\mathrm{Ind}(P_3 \times C_n) \simeq \Sigma^6 \mathrm{Ind}(P_3 \times C_{n-8})$（$n$ が偶数のとき）、既知の結果を拡張する。
• $Z(P_m \times C_n)$ の生成関数 $f_n(t)$ は、すべての偶数の $n$ に対して、極が単位根のみの有理型関数である。
• $n=22$ までで $f_n(t)$ の明示的な有理形式が計算され、分母は巡回多項式 $\Phi_d(t)$ に因数分解される。
• ネックレスモデルはサイクルに分解され、サイクル分解表（表3）は $n \leq 36$ の $\mathrm{Neck}(k,n)$ において構造的なパターンを示し、より深い代数的構造を示唆する。
• $f_n(t)$ の分子多項式 $q_n(t)$ は $n \leq 22$ に対して明示的に与えられ、次数は12から62までで、先頭係数が負である。
• 本稿は、ネックレスモデルがウィッテン指数の有理型性と周期性を説明する特に単純な構造を持つと予想しているが、これはまだ未解決のままである。