[論文レビュー] Polynomial-time algorithms for the curve graph

Mark C. Bell, Richard Webb|arXiv (Cornell University)|Sep 29, 2016

Geometric and Algebraic Topology参考文献 28被引用数 7

ひとこと要約

本稿では、曲線グラフ内の曲線間のタイトジオデシックを計算する多項式時間アルゴリズムを提示する。これにより、ワード長表現からの直接的な計算によって、曲線距離および写像類群の主要な不変量（漸近的移動長、ニールセン＝ターファソン型、標準的曲線系など）を効率的に計算可能となる。

ABSTRACT

We describe a polynomial-time algorithm to compute a (tight) geodesic between two curves in the curve graph. As well as enabling us to compute the distance between a pair of curves, this has several applications to mapping classes. For example, we can use these geodesics to compute the asymptotic translation length, Nielsen--Thurston type, and canonical curve system of a mapping class in polynomial time in its word length.

研究の動機と目的

• 曲線グラフ内の2つの曲線間のタイトジオデシックを、ワード長に相応する多項式時間で計算するアルゴリズムの開発を目的とする。
• 入力のワード長表現のみを用いて、2つの曲線間の距離を効率的に計算可能とする。
• アルゴリズムの枠組みを拡張し、写像類群の基本的不変量を多項式時間で計算可能とする。
• 曲線グラフを介した写像類群の幾何的・力学的性質を研究するための計算ツールを提供する。

提案手法

• 曲線グラフの構造を活用し、組合せ的・アルゴリズム的技法を用いて、曲線間のタイトジオデシックを定義および計算する。
• 曲線系および曲線グラフパスの再帰的分解を用いて、多項式時間の複雑度を保証する。
• 計算中の表現サイズの指数的増大を避けるために、ワード長を入力として用いる。
• ジオデシックに沿った曲線のずれを用いて、漸近的移動長を計算する。
• ジオデシック計算を、写像類群の分類アルゴリズム（ニールセン＝ターファソン型、標準的曲線系など）に統合する。
• 既知の双曲的性質および曲線グラフの組合せ的性質に依拠することで、正しさと効率性を保証する。

実験結果

リサーチクエスチョン

• RQ1 曲線グラフ内のタイトジオデシックは、入力曲線のワード長に相応する多項式時間で計算可能か？
• RQ2 2つの曲線間の曲線グラフ上の距離は、ワード長表現のみを用いて効率的に計算可能か？
• RQ3 新しいジオデシックアルゴリズムを用いて、写像類群の漸近的移動長を多項式時間で計算可能か？
• RQ4 このフレームワークを用いて、写像類群のニールセン＝ターファソン型を多項式時間で決定可能か？
• RQ5 アルゴリズム的ジオデシック構成を用いて、写像類群の標準的曲線系を効率的に計算可能か？

主な発見

• 本稿では、曲線グラフ内の任意の2曲線間のタイトジオデシックを計算する多項式時間アルゴリズムを成功裏に構築した。
• アルゴリズムは、入力曲線のワード長に多項式時間で、2曲線間の距離を計算可能である。
• ジオデシックアルゴリズムを用いることで、写像類群の漸近的移動長を多項式時間で計算可能である。
• 提案手法により、写像類群のニールセン＝ターファソン型は多項式時間で決定可能である。
• アルゴリズム的枠組みを用いることで、写像類群の標準的曲線系は多項式時間で計算可能である。
• 写像類群のすべての主要な不変量が、入力のワード長の多項式関数で時間計算量が上限づけられている。