The longest-edge bisection algorithm may produce degenerating tetrahedra

Resumo Técnico: "O algoritmo de bisseção da aresta mais longa pode produzir tetraedros degenerados"

Enunciado do Problema
O artigo aborda uma lacuna crítica na teoria do refinamento de malhas tetraédricas. Embora o algoritmo de bisseção da aresta mais longa seja uma técnica padrão para a construção de malhas simpliciais aninhadas, seu comportamento em três dimensões não é totalmente compreendido no que diz respeito à não degeneração. Em duas dimensões, a convergência e a regularidade de forma dos triângulos gerados pela bisseção repetida da aresta mais longa são bem estabelecidas. No entanto, em três dimensões, a instrução geométrica irrestrita — onde se deve bissecar uma aresta atualmente mais longa, mas pode-se selecionar qualquer aresta se múltiplas arestas estiverem empatadas em comprimento — carece de uma garantia de não degeneração. Estudos anteriores focaram em esquemas de arestas marcadas (que garantem classes de similaridade finitas) ou famílias específicas de tetraedros, mas o comportamento da regra geral e irrestrita com desempate arbitrário permanece uma questão em aberto.

Metodologia
O autor constrói um contraexemplo explícito e exato para demonstrar que a regra irrestrita pode levar à degeneração. A metodologia envolve:

1. Definição de uma Família Paramétrica: Um tetraedro específico $E(a)$ é definido com vértices dependentes de um parâmetro $0 < a \le 1$.
2. Recorrência de Dois Passos: O artigo analisa um processo de bisseção de dois passos:
   • Passo 1: Bissecar a aresta única mais longa $AD$ de $E(a)$ e reter o tetraedro filho $O(a)$.
   • Passo 2: Em $O(a)$, as arestas $BD$ e $DC$ estão exatamente empatadas pelo maior comprimento. O autor seleciona $BD$ para bisseção, retém o filho resultante $F(a)$ e relabela seus vértices.
3. Prova de Congruência Exata: É provado que o tetraedro resultante $F(a)$ é congruente ao membro da família original $E(a/2)$. Isso estabelece uma relação de recorrência onde o parâmetro de forma $a$ é reduzido à metade a cada dois passos de bisseção.
4. Construção Iterativa: Partindo de $E(1)$, este processo gera uma sequência infinita de tetraedros $E(1) \to O(1) \to E(1/2) \to O(1/2) \to \dots$.
5. Análise de Regularidade: O autor calcula a razão de volume normalizada ($|T|/h_T^3$) e ângulos diedros específicos para a sequência conforme $a \to 0$ (onde $a_k = 2^{-k}$) para testar contra critérios padrão de regularidade.

Principais Contribuições e Resultados
O artigo fornece uma prova rigorosa de que o algoritmo de bisseção da aresta mais longa irrestrito em 3D pode produzir uma sequência de tetraedros degenerados. As descobertas específicas são:

• Violação da Regularidade de Forma: A razão de volume normalizada $|E_k|/h_{E_k}^3$ tende a zero quando $k \to \infty$. Especificamente, a razão decai assintoticamente como $2^{-k/2}$, provando que não existe um limite inferior positivo uniforme para a família.
• Violação da Condição de Ângulo Mínimo: O ângulo diedro interior $\delta(a)$ na aresta $CD$ tende a zero. O artigo mostra que $\delta(a) \sim \sqrt{8a/7}$, o que significa que a sequência contém ângulos arbitrariamente "chatos".
• Violação da Condição de Ângulo Máximo: O ângulo diedro interior $\Theta(a)$ na aresta $MC$ em $O(a)$ tende a $\pi$. O cosseno deste ângulo aproxima-se de $-1$, indicando que os tetraedros tornam-se arbitrariamente "tipo sliver" ou planos em uma configuração diferente.
• Papel do Desempate: A degeneração é impulsionada por um empate recorrente nos comprimentos das arestas mais longas ($BD = DC$). O artigo demonstra que uma regra de desempate determinística simples (escolher a aresta oposta à aresta mais longa) é suficiente para selecionar este ramo "ruim".

Significância e Alegações
A principal alegação do artigo é modesta, mas definitiva: ele prova a existência de uma órbita admissível degenerante sob a regra da aresta mais longa irrestrita. O uso de "pode" no título é enfatizado como essencial; a construção não afirma que cada convenção de desempate leva à degeneração, nem afirma que todas as órbitas são degeneradas. Em vez disso, estabelece que, sem mecanismos de resolução de empate explicitamente incluídos no algoritmo e analisados como parte do teorema de regularidade, o algoritmo não é garantido a produzir malhas não degeneradas.

O trabalho serve como um contraexemplo à suposição de que a regra de seleção geométrica isolada é suficiente para a regularidade em 3D. Ele destaca que, em três dimensões, o comportamento do refinamento depende criticamente das convenções de marcação e de desempate, e que escolhas arbitrárias entre arestas mais longas empatadas podem levar à perda de regularidade de forma, limites de ângulo mínimo e limites de ângulo máximo simultaneamente.