The longest-edge bisection algorithm may produce degenerating tetrahedra

Résumé technique : « L'algorithme de la bisection par l'arête la plus longue peut produire des tétraèdres dégénérés »

Énoncé du problème
L'article traite d'une lacune critique dans la théorie du raffinement de maillage tétraédrique. Bien que l'algorithme de la bisection par l'arête la plus longue soit une technique standard pour construire des maillages simpliciaux imbriqués, son comportement en trois dimensions concernant la non-dégénérescence n'est pas pleinement compris. En deux dimensions, la convergence et la régularité de forme des triangles générés par la bisection répétée de l'arête la plus longue sont bien établies. Cependant, en trois dimensions, l'instruction géométrique non restreinte — où l'on doit bisectionner une arête actuellement la plus longue mais où l'on peut choisir n'importe quelle arête si plusieurs arêtes sont à égalité de longueur — manque de garantie de non-dégénérescence. Les études précédentes se sont concentrées sur les schémas à arêtes marquées (qui garantissent des classes de similitude finies) ou sur des familles de tétraèdres spécifiques, mais le comportement de la règle générale et non restreinte avec un arbitrage arbitraire des égalités reste une question ouverte.

Méthodologie
L'auteur construit un contre-exemple explicite et exact pour démontrer que la règle non restreinte peut conduire à la dégénérescence. La méthodologie implique :

1. Définition d'une famille paramétrique : Un tétraèdre spécifique $E(a)$ est défini avec des sommets dépendant d'un paramètre $0 < a \le 1$.
2. Récurrence en deux étapes : L'article analyse un processus de bisection en deux étapes :
   • Étape 1 : Bisection de l'arête $AD$, l'unique arête la plus longue de $E(a)$, et conservation du tétraèdre enfant $O(a)$.
   • Étape 2 : Dans $O(a)$, les arêtes $BD$ et $DC$ sont exactement à égalité pour la longueur la plus longue. L'auteur choisit $BD$ pour la bisection, conserve le tétraèdre enfant $F(a)$ résultant, et renomme ses sommets.
3. Preuve de congruence exacte : Il est prouvé que le tétraèdre $F(a)$ résultant est congruent au membre de la famille originale $E(a/2)$. Cela établit une relation de récurrence où le paramètre de forme $a$ est divisé par deux à chaque deux étapes de bisection.
4. Construction itérative : En partant de $E(1)$, ce processus génère une séquence infinie de tétraèdres $E(1) \to O(1) \to E(1/2) \to O(1/2) \to \dots$.
5. Analyse de la régularité : L'auteur calcule le rapport de volume normalisé ($|T|/h_T^3$) et des angles dièdres spécifiques pour la séquence lorsque $a \to 0$ (où $a_k = 2^{-k}$) afin de tester par rapport aux critères de régularité standards.

Contributions clés et résultats
L'article fournit une preuve rigoureuse que l'algorithme de la bisection par l'arête la plus longue non restreint peut produire une séquence de tétraèdres dégénérés. Les conclusions spécifiques sont :

• Violation de la régularité de forme : Le rapport de volume normalisé $|E_k|/h_{E_k}^3$ tend vers zéro lorsque $k \to \infty$. Plus précisément, le rapport décroît asymptotiquement comme $2^{-k/2}$, prouvant qu'aucune borne inférieure positive uniforme n'existe pour la famille.
• Violation de la condition de l'angle minimum : L'angle dièdre intérieur $\delta(a)$ à l'arête $CD$ dans $E(a)$ tend vers zéro. L'article montre que $\delta(a) \sim \sqrt{8a/7}$, ce qui signifie que la séquence contient des angles arbitrairement « plats ».
• Violation de la condition de l'angle maximum : L'angle dièdre intérieur $\Theta(a)$ à l'arête $MC$ dans $O(a)$ tend vers $\pi$. Le cosinus de cet angle approche $-1$, indiquant que les tétraèdres deviennent arbitrairement semblables à des « slivers » ou s'aplatissent selon une configuration différente.
• Rôle de l'arbitrage des égalités : La dégénérescence est pilotée par une égalité récurrente des longueurs d'arêtes les plus longues ($BD = DC$). L'article démontre qu'une règle d'arbitrage déterministe simple (choisir l'arête opposée à l'arête la plus longue) est suffisante pour sélectionner cette « mauvaise » branche.

Signification et affirmations
La principale affirmation de l'article est modeste mais définitive : il prouve l'existence d'une orbite admissible dégénérée sous la règle de l'arête la plus longue non restreinte. L'usage du mot « peut » dans le titre est essentiel ; la construction ne soutient pas que chaque convention d'arbitrage des égalités mène à la dégénérescence, ni qu' toutes les orbites sont dégénérées. Elle établit plutôt que sans mécanismes explicites de résolution des égalités inclus dans l'algorithme et analysés comme faisant partie du théorème de régularité, l'algorithme n'est pas garanti de produire des maillages non dégénérés.

Ce travail sert de contre-exemple à l'hypothèse selon laquelle la règle de sélection géométrique seule est suffisante pour la régularité en 3D. Il souligne qu'en trois dimensions, le comportement du raffinement dépend de manière critique des conventions de marquage et d'arbitrage des égalités, et que des choix arbitraires parmi les arêtes les plus longues de même longueur peuvent conduire à une perte simultanée de la régularité de forme, des bornes d'angle minimum et des bornes d'angle maximum.