The Constant in the Theorem of Binev-Dahmen-DeVore-Stevenson and a Generalisation of it

05/02/2023
by   Lukas Gehring, et al.
0

A triangulation of a polytope into simplices is refined recursively. In every refinement round, some simplices which have been marked by an external algorithm are bisected and some others around also must be bisected to retain regularity of the triangulation. The ratio of the total number of marked simplices and the total number of bisected simplices is bounded from above. Binev, Dahmen and DeVore proved under a certain initial condition a bound that depends only on the initial triangulation. This thesis proposes a new way to obtain a better bound in any dimension. Furthermore, the result is proven for a weaker initial condition, invented by Alkämper, Gaspoz and Klöfkorn, who also found an algorithm to realise this condition for any regular initial triangulation. Supposably, it is the first proof for a Binev-Dahmen-DeVore theorem in any dimension with always practically realiseable initial conditions without an initial refinement. Additionally, the initialisation refinement proposed by Kossaczký and Stevenson is generalised, and the number of recursive bisections of one single simplex in one refinement round is bounded from above by twice the dimension, sharpening a result of Gallistl, Schedensack and Stevenson.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/05/2018

Unfolding Orthotrees with Constant Refinement

We show that every orthotree can be unfolded with a 4x4 refinement of th...
research
04/20/2021

An Initial Algebra Theorem Without Iteration

The Initial Algebra Theorem by Trnková et al. states, under mild assumpt...
research
06/05/2023

Adaptive Mesh Refinement for arbitrary initial Triangulations

We introduce a simple initialization of the Maubach bisection routine fo...
research
04/03/2022

Combinatorial refinement on circulant graphs

The combinatorial refinement techniques have proven to be an efficient a...
research
06/12/2018

Distributions in the constant-differentials Pólya process

We study a class of unbalanced constant-differentials Pólya processes on...
research
05/14/2021

Ready When You Are: Efficient Condition Variables via Delegated Condition Evaluation

Multi-thread applications commonly utilize condition variables for commu...
research
06/06/2014

Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

This paper reports our initial experiments with using external ATP on so...

Please sign up or login with your details

Forgot password? Click here to reset