双曲3次元多様体の長さスペクトルを検証付きで計算
Verified Length Spectrum and Margulis number for Hyperbolic 3-Manifolds
この論文をやさしく読む
ひとことで言うと
双曲3次元多様体に関する幾何学的な量を、数値誤差も考慮して検証できる形で計算する方法です。
何に役立つ?
長さスペクトルや最適なMargulis数を具体的に調べる計算研究に役立ちます。要旨によるとSnapPyに実装されています。
この研究の面白いところ
従来法で必要だったDirichlet領域の構成を避けることで、区間演算による結果の検証を可能にしています。
どこまで分かった?
大幅な高速化は一部の場合についての記述です。要旨には速度の倍率や、すべての入力での計算時間の保証はありません。対象は向き付けられた有限体積の双曲3次元多様体です。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
向き付けられた有限体積の双曲3次元多様体Mについて、長さスペクトルを順次出力する新しいアルゴリズムを提示する。Hodgson–Weeksによる既存アルゴリズムに対する利点は、Dirichlet領域を求める必要がないため、区間演算を使って結果を検証できる点にある。また、場合によっては大幅に高速である。Mの最適なMargulis数を計算する新しいアルゴリズムも示す。著者らは、これらのアルゴリズムをSnapPyで利用できるようにした。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22(UTC)
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We present a new algorithm to compute a stream for the length spectrum of an oriented, finite-volume hyperbolic 3-manifold $M$. The advantage over the existing algorithm by Hodgson-Weeks is that our algorithm does not require finding a Dirichlet domain and thus can use interval arithmetic to verify the result. Our algorithm is also significantly faster in some cases. We also present a new algorithm to compute the optimal Margulis number of $M$. The authors have made these algorithms available in SnapPy.
著者のコメント
53 Pages, 8 Figures, 4 Algorithms
arXiv ID: 2609.26663 / 要約の誤りについて