[論文レビュー] Braidlab: A Software Package for Braids and Loops

Jean‐Luc Thiffeault, Marko Budišić|arXiv (Cornell University)|Oct 2, 2014

Geometric and Algebraic Topology参考文献 32被引用数 14

ひとこと要約

braidlab は、代数的・幾何的ブレード理論を用いてブレードおよび単純閉曲線の位相的解析を可能にする MATLAB ソフトウェアパッケージである。このソフトウェアは、ブレード反復におけるループ座標の成長を用いて位相的エントロピーを計算し、ブレードがループに及ぼす有効な線形作用における極限円周の存在など、新たな観察をもたらす。

ABSTRACT

Braidlab is a Matlab package for analyzing data using braids. It was designed to be fast, so it can be used on relatively large problems. It uses the object-oriented features of Matlab to provide a class for braids on punctured disks and a class for equivalence classes of simple closed loops. The growth of loops under iterated action by braids is used to compute the topological entropy of braids, as well as for determining the equality of braids. This guide is a survey of the main capabilities of braidlab, with many examples; the help messages of the various commands provide more details. Some of the examples contain novel observations, such as the existence of cycles of the linear effective action for arbitrary braids.

研究の動機と目的

• 動的システムにおけるブレードおよびループの解析を目的とした、高性能でオブジェクト指向の MATLAB ツールキットの提供。
• ブレード反復におけるループ座標の成長率を用いて、位相的エントロピーの計算を可能にする。
• 代数的および幾何的不変量を用いて、ブレードの同値性と複雑さの研究を支援する。
• 2次元動的システムにおける周期軌道の解析を、ブレード表現を用いてスケーラブルかつ拡張可能なフレームワークとして提供する。
• ブレードがループ空間に及ぼす線形作用におけるサイクルのような位相的構造の検出を容易にする。

提案手法

• 穴あきディスク上のブレードおよび単純閉曲線の同値類を表すために、オブジェクト指向の MATLAB クラスを用いる。
• トレイントラック写像と遷移行列を用いて、遷移行列のスペクトル半径を用いてブレードの位相的エントロピーを計算する。
• ループ座標へのブレードの有効な線形作用を適用し、動的複雑性およびサイクルを検出する。
• 粒子の軌道データから、粒子の位置を直線に射影し、隣接交換を生成子として検出することでブレードを構築する。
• ブレードの構築やループ変換など、パフォーマンスが求められる演算には、MEX を用いた C++ コードを実装する。
• 生成子 σi を用いた代数的ブレード表現と、データベースクラス databraid を用いた幾何的データ入力を両方サポートし、射影線をカスタマイズ可能にしている。

実験結果

リサーチクエスチョン

• RQ1 ブレード反復におけるループ座標の成長を用いて、ブレードの位相的エントロピーをどのように効率的に計算できるか？
• RQ2 ブレードがループ座標に及ぼす有効な線形作用の構造は何か？ また、この作用に極限円周は存在するか？
• RQ3 2次元動的システムにおける粒子軌道を、どのように体系的に代数的ブレード表現に変換できるか？
• RQ4 ブレードの同値性と複雑さを特定するのに用いられる不変量および表現は何か？
• RQ5 braidlab パッケージを、キャラメル引き機のような実世界の動的システムの解析に、どのように拡張または適応できるか？

主な発見

• トレイントラック写像から導かれる遷移行列のスペクトル半径を用いて、braidlab はブレードの位相的エントロピーを正しく計算している。
• ブレードがループ座標に及ぼす有効な線形作用は、任意のブレードに対して極限円周を示すことが、計算実験により確認された、画期的な観察である。
• 最適化された MEX を用いた C++ 実装のおかげで、braidlab は大規模なブレード問題を効率的に処理できる。
• カスタマイズ可能な射影線と閉じる制約の適用を用いて、柔軟なブレード構築が可能である。
• databraid クラスにより、非標準的な設定であっても、粒子軌道データをブレード表現に堅牢に変換できる。
• グローバルデバッグおよび設定フラグ（例：BRAIDLAB_debuglvl, BRAIDLAB_nomex）により、ユーザーはパフォーマンスや動作の診断・カスタマイズが可能である。