Closure complexity of longest-edge bisection for triangular meshes
Abstract
On triangular meshes, we analyze local mesh refinement based on longest-edge bisection equipped with the serial longest-edge propagation-path closure. Ties are resolved by terminal priority: if the incoming shared edge is a longest edge of the neighboring triangle, the pair is declared terminal and that edge is bisected. For every adaptive mesh sequence π―0, π―1, β¦, π―L with a sequence of marked sets β³0, β³1, β¦, β³Lβ1, we prove the cumulative closure estimate #π―Lβ#π―0 β²ββ=0Lβ1#β³β. The proof derives single-mark locality from the uniform multiplicative gap between possible descendant diameters implied by finite similarity classes, and converts this locality into the cumulative estimate through a Binev--Dahmen--DeVore-type charging argument.
Related
- Degenerating orbits of the Longest Edge Bisection process
- Multiform Longest Edge Bisection of Tetrahedra via Sextuple Permutations
- The discontinuous Galerkin method for solving the two-dimensional transport equation with distributed-order memory kernel on triangular meshes
- Closure complexity of BΓ€nsch-type algorithms for tetrahedral mesh refinement
- Largest-dihedral-angle bisection algorithm does not preserve mesh regularity for tetrahedral partitions
BibTeX
@misc{li2026closure,
title = {{Closure complexity of longest-edge bisection for triangular meshes}},
author = {Yuwen Li and Zhiyuan Yang},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.04003},
eprint = {2609.04003},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.04003},
}
RIS
TY - UNPB
TI - Closure complexity of longest-edge bisection for triangular meshes
AU - Yuwen Li
AU - Zhiyuan Yang
PY - 2026
DA - 2026/09/04
PB - arXiv
DO - 10.48550/arxiv.2609.04003
UR - https://arxiv.org/abs/2609.04003
AB - On triangular meshes, we analyze local mesh refinement based on longest-edge bisection equipped with the serial longest-edge propagation-path closure. Ties are resolved by terminal priority: if the incoming shared edge is a longest edge of the neighboring triangle, the pair is declared terminal and that edge is bisected. For every adaptive mesh sequence π―_0, π―_1, β¦, π―_L with a sequence of marked sets β³_0, β³_1, β¦, β³_Lβ1, we prove the cumulative closure estimate #π―_Lβ#π―_0 β²β_β=0^Lβ1#β³_β. The proof derives single-mark locality from the uniform multiplicative gap between possible descendant diameters implied by finite similarity classes, and converts this locality into the cumulative estimate through a Binev--Dahmen--DeVore-type charging argument.
ER -