2025-11-10T02:46:50.728010

Recognising perfect fits

Hall

A pseudo-Anosov flow is said to have perfect fits if there are stable and unstable leaves that are asymptotic in the universal cover. We give an algorithm to decide, given a box decomposition of a pseudo-Anosov flow, if the flow has perfect fits. As a corollary, we obtain an algorithm to decide whether two flows without perfect fits are orbit equivalent.

academic

完全フィットの認識

基本情報

論文ID: 2501.00232
タイトル: Recognising perfect fits
著者: Layne Hall
分類: math.GT（幾何位相幾何学）
発表日: 2024年12月31日
論文リンク: https://arxiv.org/abs/2501.00232

要旨

疑似Anosov流が普遍被覆において漸近的な安定葉と不安定葉を持つ場合、その流は完全フィット(perfect fits)を持つという。本論文は、疑似Anosov流のボックス分解から、その流が完全フィットを持つかどうかを判定するアルゴリズムを提供する。その系として、完全フィットを持たない2つの流が軌道同値であるかどうかを判定するアルゴリズムを得る。

研究背景と動機

問題の重要性

理論的意義：疑似Anosov流と3次元多様体位相幾何学の間に豊かな相互作用が存在し、完全フィットの存在性はこの関係を理解するための鍵である
実用的応用：完全フィットの判定は直接veering三角分割の存在性に影響し、後者は3次元多様体の研究における重要なツールである
アルゴリズム的需要：3次元多様体の豊かな計算理論に触発されて、アルゴリズム的観点から疑似Anosov流を研究することは自然かつ重要な問題である

既存手法の限界

ボックス分解はすべての流を記述できるが、それらは過度に柔軟で任意に細分化できる
veering三角分割は流の規範不変量であるが、常に存在するわけではない
与えられた流が完全フィットを持つかどうかを判定する有効なアルゴリズムが欠けている

研究動機

本論文の核心的動機は、ボックス分解とveering三角分割の間のアルゴリズム的橋渡しを確立し、これら2つの表現の間で変換できる場合を解決することである。

核心的貢献

主要アルゴリズム：HasPerfectFitsアルゴリズムを提案し、与えられたボックス分解の疑似Anosov流が完全フィットを持つかどうかを判定できる
理論的特性化：完全フィットとveering三角分割の存在性の間のアルゴリズム的関連性を確立する
軌道同値問題：完全フィットを持たない疑似Anosov流の軌道同値判定問題を解決する
懸垂流の認識：疑似Anosov流が懸垂流であるかどうかを判定するアルゴリズムを提供する
一般化結果：標識軌道を持つ（疑似）Anosov流の場合に結果を一般化する

Algorithm 5.1 HasPerfectFits(B)
1: n := 0
2: while True
3:   if FindFit(n,B) = True then
4:     return True
5:   else if FindVeering(B(n)) = True then
6:     return False
7:   n := n + 1