A Heisenberg Subdivision Scheme with Central Smoothness Loss

Technische Samenvatting: Een Heisenberg-subdivisiemethode met verlies van centrale gladheid

Probleemstelling
Subdivisiemethoden zijn fundamentele instrumenten voor het genereren van gladde curven en oppervlakken uit discrete controlegegevens. Hoewel lineaire subdivisie in de Euclidische ruimte goed begrepen is, hebben veel toepassingen te maken met gegevens die waarden aannemen in niet-Euclidische manifolds of Lie-groepen, waarbij componentgewijze lineaire verfijning geometrisch ongepast is. Bestaande benaderingen, zoals die gebaseerd op nabijheidskaders (Wallner en Dyn) of intrinsieke log-exp-constructies, beogen over het algemeen te bewijzen dat een niet-lineaire methode de gladheid van haar lineaire referentie overneemt onder specifieke kwantitatieve nabijheidsveronderstellingen.

Dit artikel adresseert een gat in de theorie van niet-commutatieve subdivisie. Specifiek onderzoekt het of een geometrisch natuurlijke, expliciete interpolatierule die direct gedefinieerd is op de driedimensionale Heisenberg-groep ($Heis_3$) — de eenvoudigste niet-commutatieve modelgeometrie — de gladheid van haar Euclidische tegenhanger behoudt. De auteurs construeren een methode waarbij de centrale coördinaat wordt gecorrigeerd door een term die direct afgeleid is van de groepswet, en analyseren de regulariteit van de resulterende limietcurve.

Methodologie
De auteurs definiëren een expliciete interpolerende subdivisie-operator, $S_H$, werkend op controlepolygonen in $Heis_3$. De groepswet wordt gegeven door:
$$(x, y, z) \cdot (x', y', z') = \left(x + x', y + y', z + z' + \frac{1}{2}(xy' - yx')\right)$$

De verfijningsregel wordt als volgt geconstrueerd:

1. Horizontale coördinaten ($x, y$): Verfijnd met behulp van de klassieke, lineaire vierpuntsmethode van Dyn, Gregory en Levin ($L_4$) met parameter $\omega = 1/16$.
2. Centrale coördinaat ($z$): Verfijnd door de klassieke lineaire vierpuntsmasker toe te passen op de bestaande $z$-waarden en een correctieterm $R^k_i$ toe te voegen. Deze correctie is expliciet afgeleid van de groepswet om de niet-commutativiteit te compenseren bij het invoegen van een nieuw punt tussen twee bestaande punten.
   $$R^k_i = \frac{1}{2}(x^k_i b^k_i - y^k_i a^k_i)$$
   waarbij $a^k_i$ en $b^k_i$ de horizontale verplaatsingen zijn die door de vierpuntsregel worden gegenereerd.

De analyse steunt op de blok-driehoeksstructuur van de verfijningsafbeelding, die de horizontale evolutie ontkoppelt van de centrale evolutie. De kern van de analyse bestaat uit het afleiden van een exacte tweeschaal-recursie voor de geschaalde centrale eerste verschillen ($e^k_i = 2^k(z^k_{i+1} - z^k_i)$). Deze recursie heeft de vorm:
$$e^{k+1} = S e^k + \hat{g}^{k+1}$$
waarbij $S = 2D_1$ de geschaalde eerste-verschil-operator is (die geen contractie is) en $\hat{g}^{k+1}$ een forceringsterm is afgeleid van de geschaalde correctie $F^k_i = 2^k R^k_i$.

Belangrijkste Bijdragen en Resultaten

1. Expliciete Niet-Commutatieve Methode: Het artikel biedt een volledig expliciete, coördinaat-gebaseerde interpolerende subdivisiemethode voor $Heis_3$. In tegen tegenstelling tot intrinsieke log-exp-schema's is deze regel niet links-equivariant, maar staat deze directe geometrische interpretatie en een gesloten vorm voor de analyse van de correctieterm toe.

2. Ontkoppelde Regulariteit:

   • Horizontale Limiet: De horizontale componenten $(X, Y)$ convergeren naar de klassieke $C^1$ vierpuntslimiet, onafhankelijk van de centrale gegevens.
   • Centrale Limiet: De centrale component $Z$ convergeert uniform naar een continue functie. Deze vertoont echter een duidelijke verlies van regulariteit vergeleken met het Euclidische geval.

3. Zygmund-Regulariteit en Verlies van $C^1$:

   • De auteurs bewijzen dat de centrale limiet $Z$ tot de Zygmund-klasse $\Lambda^*$ behoort, met een continuïteitsmodulus van orde $O(h \log(1/h))$.
   • Cruciaal is dat de geschaalde eerste verschillen van de centrale coördinaat lineair groeien met het verfijningsniveau $k$ (d.w.z. $\sup_i 2^k |z^k_{i+1} - z^k_i| = O(k)$).
   • Onder een expliciet, verifieerbare signed non-cancellation condition op de detailcoëfficiënten (die geldt voor typische niet-gedegenereerde gegevens), bewijzen de auteurs een overeenkomstige ondergrens $\Theta(k)$. Deze groei impliceert dat de limietfunctie niet continu differentieerbaar is ($Z \notin C^1$).

4. Mechanisme van Gladheidsverlies:
   Het artikel identificeert het precieze mechanisme voor dit verlies van regulariteit. De forceringsterm in de centrale verschil-recursie is de niet-gedifferencieerde geschaalde correctie. Omdat de limiet van de geschaalde correctie $2^k R^k_i$ convergeert naar een over het algemeen niet-nul functie $f(t) = \frac{1}{4}(XY' - YX')$, vervalt de amplitude van de forcering niet over de schalen heen. Deze aanhoudende forcering wordt gevoed door de operator $S$, die een neutrale component heeft (het behoudt alternerende sequenties). Als gevolg hiervan wordt op elk verfijningsniveau een nieuwe oscillatie van vaste amplitude geïnjecteerd, wat ervoor zorgt dat de eerste verschillen lineair accumuleren.

5. Numerieke Verificatie:
   Numerieke experimenten bevestigen de theoretische bevindingen. De centrale coördinaat vertoont een zichtbaar ruw, niet-glad profiel. De geschaalde eerste verschillen groeien lineair met het verfijningsniveau, terwijl de tweede-verschil-quotiënt begrensd blijft, wat de Zygmund-regulariteit en het falen van $C^1$-gladheid bevestigt.

Betekenis en Claims
Het artikel positioneert dit resultaat als een negatief regulariteitsexempel binnen de niet-lineaire subdivisietheorie. Het spreek de bestaande positieve smoothness-transfer resultaten (zoals die gebaseerd op nabijheid of log-exp-kaders) niet tegen, maar opereert buiten hun hypothesen.

• Falen van Nabijheid: De auteurs demonstreren dat de Heisenberg-correctie slechts een lineaire grens voldoet ten opzichte van de horizontale incrementen, terwijl nabijheid-gebaseerde $C^1$-overdracht een kwadratische grens vereist ($O(\|\Delta u\|^2)$). Het falen van deze kwadratische conditie is geen technisch artefact, maar een getrouwe weergave van de werkelijke niet-gladde aard van de limiet.
• Waarschuwend Les: Het werk dient als een waarschuwing voor coördinaat-gebaseerde of basepointed group-law constructies. Een correctie die geometrisch natuurlijk en onschadelijk is bij één enkele verfijningsstap, kan de regulariteit van de limietcurve vernietigen als deze met een niet-verdwijnende amplitude wordt geïnjecteerd op elke schaal.
• Reikwijdte: Het resultaat is specifief voor deze expliciete, niet-equivariante coördinaatmethode. Het beweert niet dat alle Lie-groep subdivisiemethoden het behoud van gladheid niet halen, maar benadrukt dat het specifieke mechanisme van het gebruik van de groepswet om een eerste-orde correctie in een niet-commutatieve setting te genereren, kan leiden tot een verlies van één logaritmische orde aan gladheid (van $C^1$ naar Zygmund).

Samenvattend stelt het artikel vast dat hoewel de horizontale geometrie glad blijft, de niet-commutatieve correctie in het centrale kanaal een aanhoudende forcering introduceert die voorkomt dat de limietcurve $C^1$ is, wat resulteert in een continue, Zygmund-reguliere limiet.