The longest-edge bisection algorithm may produce degenerating tetrahedra

Technische Zusammenfassung: „Der Longest-Edge-Bisection-Algorithmus kann degenerierende Tetraeder erzeugen“

Problemstellung
Das Paper adressiert eine kritische Lücke in der Theorie der Tetraeder-Netzverfeinerung. Während der Longest-Edge-Bisection-Algorithmus (Längskanten-Bisektion) eine Standardtechnik zur Konstruktion verschachtelter simplizialer Netze ist, ist sein Verhalten in drei Dimensionen hinsichtlich der Nicht-Degeneration nicht vollständig verstanden. In zwei Dimensionen sind die Konvergenz und die Formregulärheit der durch wiederholte Längskanten-Bisektion erzeugten Dreiecke gut etabliert. In drei Dimensionen jedoch lässt die uneingeschränkte geometrische Anweisung – bei der man zwar die aktuell längste Kante bisektieren muss, aber jede beliebige Kante wählen darf, falls mehrere Kanten gleich lang sind – keine Garantie für Nicht-Degeneration zu. Vorherige Studien konzentrierten sich auf markierte Kanten-Schemata (die endliche Ähnlichkeitsklassen sicherstellen) oder spezifische Tetraeder-Familien, doch das Verhalten der allgemeinen, uneingeschränkten Regel mit beliebiger Bindung (Tie-Breaking) bleibt eine offene Frage.

Methodik
Der Autor konstruiert ein explizites, exaktes Gegenbeispiel, um zu demonstrieren, dass die uneingeschränkte Regel zu Degeneration führen kann. Die Methodik umfasst:

1. Definition einer parametrischen Familie: Ein spezifisches Tetraeder $E(a)$ wird mit Vertices definiert, die von einem Parameter $0 < a \le 1$ abhängen.
2. Zweistufige Rekursion: Das Paper analysiert einen zweistufigen Bisektionsprozess:
   • Schritt 1: Bisiere die eindeutige längste Kante $AD$ von $E(a)$ und behalte das Kind-Tetraeder $O(a)$ bei.
   • Schritt 2: In $O(a)$ sind die Kanten $BD$ und $DC$ exakt gleich lang als längste Kanten. Der Autor wählt $BD$ für die Bisektion aus, behält das resultierende Kind $F(a)$ bei und benennt dessen Vertices um.
3. Exakter Kongruenzbeweis: Es wird bewiesen, dass das resultierende Tetraeder $F(a)$ kongruent zur ursprünglichen Familienmitglieder $E(a/2)$ ist. Dies etabliert eine Rekursionsrelation, bei der der Formparameter $a$ bei jedem zwei Bisektionsschritten halbiert wird.
4. Iterative Konstruktion: Ausgehend von $E(1)$ erzeugt dieser Prozess eine unendliche Sequenz von Tetraedern $E(1) \to O(1) \to E(1/2) \to O(1/2) \to \dots$.
5. Regularitätsanalyse: Der Autor berechnet das normalisierte Volumenverhältnis ($|T|/h_T^3$) und spezifische Diederwinkel für die Sequenz beim Übergang $a \to 0$ (wobei $a_k = 2^{-k}$), um diese gegen Standard-Regularitätskriterien zu testen.

Wesentliche Beiträge und Ergebnisse
Das Paper liefert einen rigorosen Beweis dafür, dass der uneingeschränkte Längskanten-Bisektionsalgorithmus in 3D eine Sequenz degenerierender Tetraeder erzeugen kann. Die spezifischen Befunde sind:

• Verletzung der Formregulärheit: Das normalisierte Volumenverhältnis $|E_k|/h_{E_k}^3$ geht gegen Null, wenn $k \to \infty$. Speziell fällt das Verhältnis asymptotisch als $2^{-k/2}$ ab, was beweist, dass für die Familie keine einheitliche positive untere Schranke existiert.
• Verletzung der Minimum-Winkel-Bedingung: Der innere Diederwinkel $\delta(a)$ an der Kante $CD$ geht gegen Null. Das Paper zeigt, dass $\delta(a) \sim \sqrt{8a/7}$ gilt, was bedeutet, dass die Sequenz beliebig „flache“ Winkel enthält.
• Verletzung der Maximum-Winkel-Bedingung: Der innere Diederwinkel $\Theta(a)$ an der Kante $MC$ in $O(a)$ geht gegen $\pi$. Der Kosinus dieses Winkels nähert sich $-1$, was darauf hindeutet, dass die Tetraeder in einer anderen Konfiguration beliebig „Sliver-ähnlich“ oder flach werden.
• Rolle des Tie-Breaking: Die Degeneration wird durch eine rekursive Gleichheit der längsten Kantenlängen ($BD = DC$) vorangetrieben. Das Paper zeigt, dass eine einfache deterministische Tie-Breaking-Regel (Wahl der Kante, die der längeren Kante gegenüberliegt) ausreicht, um diesen „schlechten“ Zweig auszuwählen.

Bedeutung und Ansprüche
Der primäre Anspruch des Papers ist bescheiden, aber definitiv: Es beweist die Existenz eines degenerierenden zulässigen Orbits unter der uneingeschränkten Längskanten-Regel. Die Verwendung des Wortes „kann“ im Titel ist als essenziell hervorgehoben; die Konstruktion behauptet nicht, dass jede Tie-Breaking-Konvention zur Degeneration führt, noch behauptet sie, dass alle Orbits degeneriert sind. Vielmehr stellt sie fest, dass ohne explizite Mechanismen zur Auflösung von Gleichständen (Tie-Resolution), die als Teil des Regularitätstheorems in den Algorithmus integriert und analysiert sind, der Algorithmus nicht garantiert, nicht-degenerierte Netze zu erzeugen.

Die Arbeit dient als Gegenbeispiel zu der Annahme, dass die geometrische Selektionsregel allein für die 3D-Regularität ausreichend ist. Sie verdeutlicht, dass in drei Dimensionen das Verhalten der Verfeinerung kritisch von den Markierungs- und Tie-Breaking-Konventionen abhängt und dass beliebige Entscheidungen zwischen gleich langen Kanten zu einem gleichzeitigen Verlust der Formregulärheit, der Minimum-Winkel-Schranken und der Maximum-Winkel-Schranken führen können.