The longest-edge bisection algorithm may produce degenerating tetrahedra

技術要約：「最長辺二等分アルゴリズムは退化した四面体を生成する可能性がある」

問題提起
本論文は、四面体メッシュ細分化の理論における決定的な空白を扱っている。最長辺二等分アルゴリズムは、入れ子状の単体メッシュを構築するための標準的な手法であるが、その非退化性に関する3次元での挙動は完全には解明されていない。2次元においては、最長辺二等分を繰り返して生成される三角形の収束性と形状の正則性は確立されている。しかし、3次元においては、幾何学的な指示（現在最も長いエッジを二等分しなければならないが、複数のエッジが同等の長さである場合は任意のものを選択できる）が制限されていない場合、非退化性の保証が欠如している。これまでの研究は、マーク付きエッジ・スキーム（有限の相似クラスを保証するもの）や特定の四面体ファミリーに焦点を当ててきたが、任意のタイブレーク（同値判定時の選択）を伴う一般的な無制限ルールにおける挙動は、未解決の課題である。

手法
著者は、無制限ルールが退化を招き得ることを示すために、明示的かつ厳密な反例を構築している。その手法は以下の通りである：

1. パラメトリック・ファミリーの定義： パラメータ $0 < a \le 1$ に依存する頂点を持つ特定の四面体 $E(a)$ を定義する。
2. 2ステップの再帰プロセス： 著者は、2ステップの二等分プロセスを分析する：
   • ステップ1： $E(a)$ の唯一の最長辺 $AD$ を二等分し、子四面体 $O(a)$ を保持する。
   • ステップ2： $O(a)$ において、エッジ $BD$ と $DC$ が最長辺として等しくなっている。著者は $BD$ を二等分対象として選択し、結果として得られる子四面体 $F(a)$ を保持し、その頂点を再ラベル付けする。
3. 厳密な合同性の証明： 結果として得られる四面体 $F(a)$ が、元のファミリーのメンバー $E(a/2)$ と合同であることを証明する。これにより、2回の二等分ステップごとに形状パラメータ $a$ が半分になるという再帰関係が確立される。
4. 反復構築： $E(1)$ から開始することで、このプロセスは無限のシーケンス $E(1) \to O(1) \to E(1/2) \to O(1/2) \to \dots$ を生成する。
5. 正則性分析： 標準的な正則性基準に照らしてテストするため、$a \to 0$ （ここで $a_k = 2^{-k}$）における正規化体積比（$|T|/h_T^3$）および特定の二面角を計算する。

主な貢献と結果
本論文は、無制限の最長辺二等分アルゴリズムが、退化した四面体のシーケンスを生成し得ることを厳密に証明している。具体的な知見は以下の通りである：

• 形状正則性の違反： 正規化体積比 $|E_k|/h_{E_k}^3$ は $k \to \infty$ においてゼロに収束する。具体的には、比率は漸近的に $2^{-k/2}$ として減衰し、このファミリーにおいて一様な正の下限が存在しないことを証明している。
• 最小角条件の違反： $E(a)$ におけるエッジ $CD$ の内角二面角 $\delta(a)$ はゼロに近づく。論文では $\delta(a) \sim \sqrt{8a/7}$ であることを示しており、このシーケンスには任意に「平坦な」角度が含まれることを意味している。
• 最大角条件の違反： $O(a)$ におけるエッジ $MC$ の内角二面角 $\Theta(a)$ は $\pi$ に近づく。この角度の余弦（コサイン）は $-1$ に近づき、四面体が異なる構成において任意に「スリバー状（薄い板状）」または平坦になることを示している。
• タイブレークの役割： 退化は、最長辺の長さにおける再帰的なタイ（$BD = DC$）によって引き起こされる。著者は、決定論的なタイブレーク・ルール（より長いエッジの反対側のエッジを選択する）であっても、この「悪い」分岐を選択するのに十分であることを示している。

意義と主張
本論文の主要な主張は控えめながらも決定定的である：それは、無制限の最長辺ルール下において、退化した許容軌道（admissible orbit）が存在することを証明したことである。タイトルにある「可能性がある（may）」という表現は、不可欠なものとして強調されている。この構成は、すべてのタイブレーク慣習が退化を導くと断言しているわけでも、すべての軌道が退化していると主張しているわけでもない。むしろ、アルゴリズムの一部として正則性定理とともに解析されるべき、明示的なタイ解決メカニズムが含まれていない場合、アルゴリズムは非退化なメッシュを生成するという保証を持たないことを確立している。

本研究は、幾何学的な選択ルールのみで3次元の正則性が十分であるという仮定に対する反例として機能している。これは、3次元においては、メッシュの挙動がマーキングおよびタイブレークの慣習に決定的に依存すること、そして、結ばれた最長辺の中から任意に行われる選択が、形状の正則性、最小角の境界、および最大角の境界の同時喪失を招き得ることを浮き彫りにしている。