The longest-edge bisection algorithm may produce degenerating tetrahedra

Resumen Técnico: "El algoritmo de bisección de la arista más larga puede producir tetraedros degenerados"

Planteamiento del Problema
El artículo aborda una brecha crítica en la teoría del refinamiento de mallas tetraédricas. Si bien el algoritmo de bisección de la arista más larga es una técnica estándar para la construcción de mallas simpliciales anidadas, su comportamiento en tres dimensiones no se comprende completamente en lo que respecta a la no degeneración. En dos dimensiones, la convergencia y la regularidad de la forma de los triángulos generados mediante la bisección repetida de la arista más larga están bien establecidas. Sin embargo, en tres dimensiones, la instrucción geométrica no restringida —donde uno debe bisecar una arista actualmente más larga pero puede seleccionar cualquier arista si múltiples aristas empatan en longitud— carece de una garantía de no degeneración. Estudios previos se han centrado en esquemas de aristas marcadas (que aseguran clases de similitud finitas) o familias tetraédricas específicas, pero el comportamiento de la regla general y no restringida con resolución de empates arbitraria sigue siendo una cuestión abierta.

Metodología
El autor construye un contraejemplo explícito y exacto para demostrar que la regla no restringida puede conducir a la degeneración. La metodología consiste en:

1. Definición de una Familia Paramétrica: Se define un tetraedro específico $E(a)$ con vértices que dependen de un parámetro $0 < a \le 1$.
2. Recurrencia de Dos Pasos: El artículo analiza un proceso de bisección de dos pasos:
   • Paso 1: Bisecar la arista única más larga $AD$ de $E(a)$ y retener el tetraedro hijo $O(a)$.
   • Paso 2: En $O(a)$, las aristas $BD$ y $DC$ están exactamente empatadas por la longitud más larga. El autor selecciona $BD$ para la bisección, retiene el tetraedro hijo resultante $F(a)$ y relabela sus vértices.
3. Prueba de Congruencia Exacta: Se demuestra que el tetraedro resultante $F(a)$ es congruente con el miembro de la familia original $E(a/2)$. Esto establece una relación de recurrencia donde el parámetro de forma $a$ se reduce a la mitad en cada dos pasos de bisección.
4. Construcción Iterativa: Partiendo de $E(1)$, este proceso genera una secuencia infinente de tetraedros $E(1) \to O(1) \to E(1/2) \to O(1/2) \to \dots$.
5. Análisis de Regularidad: El autor calcula la razón de volumen normalizada ($|T|/h_T^3$) y ángulos diedros específicos para la secuencia a medida que $a \to 0$ (donde $a_k = 2^{-k}$) para contrastarlos con los criterios estándar de regularidad.

Contribuciones Clave y Resultados
El artículo proporciona una prueba rigurosa de que el algoritmo de bisección de la arista más larga no restringido en 3D puede producir una secuencia de tetraedros degenerados. Los hallazgos específicos son:

• Violación de la Regularidad de la Forma: La razón de volumen normalizada $|E_k|/h_{E_k}^3$ tiende a cero cuando $k \to \infty$. Específicamente, la razón decae asintóticamente como $2^{-k/2}$, demostrando que no existe un límite inferior positivo uniforme para la familia.
• Violación de la Condición de Ángulo Mínimo: El ángulo diedro interior $\delta(a)$ en la arista $CD$ en $E(a)$ tiende a cero. El artículo muestra que $\delta(a) \sim \sqrt{8a/7}$, lo que significa que la secuencia contiene ángulos arbitrariamente "planos".
• Violación de la Condición de Ángulo Máximo: El ángulo diedro interior $\Theta(a)$ en la arista $MC$ en $O(a)$ tiende a $\pi$. El coseno de este ángulo se aproxima a $-1$, indicando que los tetraedros se vuelven arbitrariamente similares a "slivers" (láminas) o planos en una configuración diferente.
• Papel de la Resolución de Empates: La degeneración es impulsada por un empate recurrente en las longitudes de las aristas más largas ($BD = DC$). El artículo demuestra que una regla de resolución de empates determinista simple (elegir la arista opuesta a la arista más larga) es suficiente para seleccionar esta rama "mala".

Significancia y Reivindicaciones
La reivindicación principal del artículo es modesta pero definitiva: demuestra la existencia de una órbita admisible degenerada bajo la regla de la arista más larga no restringida. El uso de la palabra "puede" en el título es esencial; la construcción no afirma que cada convención de resolución de empates conduzca a la degeneración, ni afirma que todas las órbitas sean degeneradas. Más bien, establece que sin mecanismos explícitos de resolución de empates incluidos en el algoritmo y analizados como parte del teorema de regularidad, el algoritmo no garantiza la producción de mallas no degeneradas.

El trabajo sirve como un contraejemplo a la suposición de que la regla de selección geométrica por sí sola es suficiente para la regularidad en 3D. Destaca que, en tres dimensiones, el comportamiento del refinamiento depende críticamente de las convenciones de marcado y resolución de empates, y que las elecciones arbitrarias entre las aristas más largas empatadas pueden conducir a una pérdida de regularidad de forma, de los límites de ángulo mínimo y de los límites de ángulo máximo simultáneamente.