[論文レビュー] Zigzag structure of complexes

Michel Deza, Mathieu Dutour Sikirić|ArXiv.org|May 14, 2004

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

ひとこと要約

本稿は、多面体やマップに対して元々定義されたズイグザッグ回路の概念を、より高次元の複体へ一般化し、d次元多面体およびマップにおけるズイグザッグ構造を分析する体系的な枠組みを導入する。正多面体、半正多面体、ウィットフォード・アーケメデス型、および半立方体多面体といった主要な族のズイグザッグ構造を計算し、リンズの三重性とマップ双対性作用素との関係を確立することで、ズイグザッググラフおよびその不変量を通じて、深い対称性と位相的不変量を明らかにする。

ABSTRACT

Inspired by Coxeter's notion of Petrie polygon for $d$-polytopes (see \cite{Cox73}), we consider a generalization of the notion of zigzag circuits on complexes and compute the zigzag structure for several interesting families of $d$-polytopes, including semiregular, regular-faced, Wythoff Archimedean ones, Conway's 4-polytopes, half-cubes, folded cubes. Also considered are regular maps and Lins triality relations on maps.

研究の動機と目的

• 2次元マップおよび3次元多面体からのズイグザッグの概念を、任意のd次元複体へ拡張すること。
• 正多面体、半正多面体、ウィットフォード・アーケメデス型、および半立方体多面体を含む、d次元多面体の主要な族のズイグザッグ構造を分析すること。
• 表面に描かれたマップにおける双対性作用素（双対、ねじれ、フィアル）とズイグザッグ構造との関係を調査すること。
• 中点構成（メディアル構成）の役割と、ズイグザッグを保存する変換における不変性を調査すること。
• ズイグザッグ不変量と、正則マップにおけるオイラー乗数や genus などの位相的不変量との関係を確立すること。

提案手法

• d次元複体を、2つのランクの差を持つ要素の間に一意な中間要素を持つ、有限でランク付きの半順序集合として定義する。
• 頂点が最大鎖（フラグ）であるフラググラフ G(K) を導入し、1つのσi作用素によって異なるフラグが辺で結ばれる。
• σi作用素（フラグ内の1つの要素を反転する対合）を用いて、交互にσi作用素が現れるシーケンスとしてズイグザッグパスを定義する。
• マップおよび複体への中点構成を適用し、ズイグザッグ構造を保存することを示し、それを組合せ論的に定義可能であることを示す。
• マップにフィアル、ねじれ、双対作用素を適用し、それらがズイグザッグ構造およびオイラー乗数に与える影響を調査する。
• ゴールドバーグ＝コクセター構成を用いて新しい正則マップを生成し、それらのzベクトル（ズイグザッグサイクル分布）を計算する。

実験結果

リサーチクエスチョン

• RQ1 ズイグザッグの概念を2次元マップおよび3次元多面体から、任意のd次元複体へ一般化する方法は何か？
• RQ2 正多面体、半正多面体、および半立方体といった、d次元多面体の主要な族におけるズイグザッグの構造は何か？
• RQ3 双対性作用素（双対、ねじれ、フィアル）は、表面に描かれたマップのズイグザッグ構造および位相的不変量にどのように影響を与えるか？
• RQ4 複体およびマップにおける中点構成とズイグザッグ不変量との関係は何か？
• RQ5 マップのズイグザッグ構造を用いて、そのgenus やオイラー乗数を予測または分類できるか？

主な発見

• 立方体（3-立方体）のズイグザッグ構造は 6^8 であり、長さ6のズイグザッグサイクルが8個存在する。
• クラインのマップ {7,3} の双対について、ズイグザッグ構造は 8^21 であり、ダイクのマップ {8,3} の双対について 6^16 である。
• 立方体に対するねじれ作用素は、8個の頂点と4つの六角形面をもつトーラス上の3価マップ（skew(Cube) と呼ばれる）を生成する。
• 正四面体のフィアルは、対蹠点を同一視した正八面体と同型な複体を生成する。
• Prism_{2k} に対するねじれ作用素は、k個のねじれた頂点を持つマップを生成するが、これは予想通りであり、k ≤ 4 について検証済みである。
• イコサホロンの双対（ドデカホロン）のズイグザッグ構造は 10^6 であり、{11,3} マップについても 10^66 である。これは高い対称性と複雑さを示している。