A Heisenberg Subdivision Scheme with Central Smoothness Loss

Technische Zusammenfassung: Ein Heisenberg-Subdivisionsverfahren mit Verlust der zentralen Glattheit

Problemstellung
Subdivisionsverfahren sind grundlegende Werkzeuge zur Erzeugung glatter Kurven und Oberflächen aus diskreten Kontrolldaten. Während die lineare Subdivision im euklidischen Raum gut verstanden ist, nehmen viele Anwendungen Werte in nicht-euklidischen Mannigfaltigkeiten oder Lie-Gruppen an, wo eine komponentenweise lineare Verfeinerung geometrisch unangebracht ist. Bestehende Ansätze, wie etwa jene auf Proximitätsrahmenwerken (Wallner und Dyn) oder intrinsischen Log-Exp-Konstruktionen basieren, zielen im Allgemeinen darauf ab, zu beweisen, dass ein nichtlineares Verfahren die Glattheit seines linearen Referenzmodells unter spezifischen quantitativen Näherungsannahmen erbt.

Diese Arbeit adressiert eine Lücke in der Theorie der nichtkommutativen Subdivision. Insbesondere wird untersucht, ob eine geometrisch natürliche, explizite interpolierende Regel, die direkt auf der dreidimensionalen Heisenberg-Gruppe ($Heis_3$) – der einfachsten nichtkommutativen Modellgeometrie – definiert ist, die Glattheit ihres euklidischen Gegenstücks bewahrt. Die Autoren konstruieren ein Verfahren, bei dem die zentrale Koordinate durch einen Term korrigiert wird, der direkt aus dem Gruppengesetz abgeleitet ist, und analysieren die Regularität der resultierenden Grenzkurve.

Methodik
Die Autoren definieren einen expliziten interpolierenden Subdivisionsoperator $S_H$, der auf Kontrollpolygonen in $Heis_3$ operiert. Das Gruppengesetz ist gegeben durch:
$$(x, y, z) \cdot (x', y', z') = \left(x + x', y + y', z + z' + \frac{1}{2}(xy' - yx')\right)$$

Die Verfeinerungsregel wird wie folgt konstruiert:

1. Horizontale Koordinaten ($x, y$): Diese werden mittels des klassischen, linearen Vierpunkt-Schemas von Dyn, Gregory und Levin ($L_4$) mit dem Parameter $\omega = 1/16$ verfeinert.
2. Zentrale Koordinate ($z$): Diese wird verfeinert, indem das klassische lineare Vierpunkt-Schema auf die bestehenden $z$-Werte angewendet und ein Korrekturterm $R^k_i$ addiert wird. Dieser Korrekturterm leitet sich explizit aus dem Gruppengesetz ab, um die Nichtkommutativität beim Einfügen eines neuen Punktes zwischen zwei bestehende Punkte zu berücksichtigen.
   $$R^k_i = \frac{1}{2}(x^k_i b^k_i - y^k_i a^k_i)$$
   wobei $a^k_i$ und $b^k_i$ die durch die Vierpunkt-Regel erzeugten horizontalen Verschiebungen sind.

Die Analyse stützt sich auf die blocktrianguläre Struktur der Abbildung, welche die horizontale Evolution von der zentralen entkoppelt. Der Kern der Analyse besteht in der Ableitung einer exakten Zwei-Skalen-Rekursion für die skalierten zentralen ersten Differenzen ($e^k_i = 2^k(z^k_{i+1} - z^k_i)$). Diese Rekursion nimmt die Form an:
$$e^{k+1} = S e^k + \hat{g}^{k+1}$$
wobei $S = 2D_1$ der skalierte erste-Differenzen-Operator ist (der keine Kontraktion darstellt) und $\hat{g}^{k+1}$ ein erzwungener Term ist, der aus der skalierten Korrektur $F^k_i = 2^k R^k_i$ abgeleitet wurde.

Wesentliche Beiträge und Ergebnisse

1. Explizites nichtkommutatives Verfahren: Die Arbeit liefert ein vollständig explizites, koordinatenbasiertes interpolierendes Subdivisionsverfahren für $Heis_3$. Im Gegensatz zu intrinsischen Log-Exp-Verfahren ist diese Regel nicht links-äquivariant, erlaubt aber eine direkte geometrische Interpretation und eine geschlossene Analyse des Korrekturterms.

2. Entkoppelte Regularität:

   • Horizontale Grenzwertfunktion: Die horizontalen Komponenten $(X, Y)$ konvergieren gegen das klassische $C^1$ Vierpunkt-Limit, unabhängig von den zentralen Daten.
   • Zentraler Grenzwert: Die zentrale Komponente $Z$ konvergiert gleichmäßig gegen eine stetige Funktion. Sie weist jedoch eine deutlich geringere Regularität auf als der euklidische Fall.

3. Zygmund-Regularität und Verlust von $C^1$:

   • Die Autoren beweisen, dass die zentrale Grenzwertfunktion $Z$ zur Zygmund-Klasse $\Lambda^*$ gehört und einen Modulus der Stetigkeit der Ordnung $O(h \log(1/h))$ besitzt.
   • Entscheidend ist, dass die skalierten ersten Differenzen der zentralen Koordinate linear mit dem Verfeinerungsgrad $k$ wachsen (d. h. $\sup_i 2^k |z^k_{i+1} - z^k_i| = O(k)$).
   • Unter einer explizit verifizierbaren bedingten Nicht-Auslöschung (signed non-cancellation condition) der Detailkoeffizienten, die für typische nicht-degenerierte Daten gilt, beweisen die Autoren eine passende untere Schranke $\Theta(k)$. Dieses Wachstum impliziert, dass die Grenzwertfunktion nicht kontinuierlich differenzierbar ($Z \notin C^1$) ist.

4. Mechanismus des Regularitätsverlusts:
   Die Arbeit identifiziert den präzisen Mechanismus für diesen Verlust der Regularität. Der erzwungene Term in der zentralen Differenzen-Rekursion ist die unskalierte (undifferenzierte) skalierte Korrektur. Da der Grenzwert der skalierten Korrektur $2^k R^k_i$ gegen eine allgemein nicht-verschwindende Funktion $f(t) = \frac{1}{4}(XY' - YX')$ konvergiert, zerfällt die Amplitude des erzwungenen Terms über die Skalen hinweg nicht. Dieser persistente Zwang wird durch den Operator $S$ gespeist, der eine neutrale Komponente besitzt (er erhält alternierende Sequenzen). Infolgeddessen wird auf jeder Verfeinerungsstufe eine neue Oszillation fester Amplitude injiziert, was dazu führt, dass die ersten Differenzen linear akkumulieren.

5. Numerische Verifizierung:
   Numerische Experimente bestätigen die theoretischen Befunde. Die zentrale Koordinate zeigt ein sichtbar raues, nicht-glattes Profil. Die skalierten ersten Differenzen wachsen linear mit dem Verfeinerungsgrad, während das zweite-Differenzen-Quotienten-Verhältnis beschränkt bleibt, was die Zygmund-Regularität bestätigt und das Versagen der $C^1$-Glattheit belegt.

Bedeutung und Ansprüche
Die Arbeit positioniert dieses Ergebnis als ein negatives Regularitätsbeispiel innerhalb der nichtlinearen Subdivisionstheorie. Sie widerspricht nicht den bestehenden positiven Ergebnissen zum Transfer von Glattheit (wie etwa auf Proximitäts- oder Log-Exp-Rahmenwerken basierend), sondern operiert außerhalb deren Hypothesen.

• Versagen der Proximität: Die Autoren zeigen, dass die Heisenberg-Korrektur nur eine lineare Bindung relativ zu den horizontalen Inkrementen erfüllt, während eine proximitätsbasierte $C^1$-Übertragung eine quadratische Bindung ($O(\|\Delta u\|^2)$) erfordert. Das Versagen dieser quadratischen Bedingung ist kein technisches Artefakt, sondern spiegelt die echte Nicht-Glattheit des Grenzwerts wider.
• Warnhinweis: Die Arbeit dient als Warnung für koordinatenbasierte oder basenpunktierte Gruppengesetz-Konstruktionen. Eine Korrektur, die geometrisch natürlich und in einem einzelnen Verfeinerungsschritt harmlos ist, kann die Regularität der Grenzkurve zerstören, wenn sie auf jeder Skala mit nicht-zerfallender Amplitude injiziert wird.
• Geltungsbereich: Das Ergebnis ist spezifisch für dieses explizite, nicht-äquivariante Koordinatenschema. Es wird nicht behauptet, dass alle Lie-Gruppen-Subdivisionsverfahren die Glattheit nicht bewahren, aber es hebt hervor, dass der spezifische Mechanismus, die Verwendung des Gruppengesetzes zur Generierung einer Korrektur erster Ordnung in einem nichtkommutativen Setting, zu einem Verlust von einer logarithmischen Ordnung der Glattheit (von $C^1$ zu Zygmund) führen kann.

Zusammenfassend stellt die Arbeit fest, dass während die horizontale Geometrie glatt bleibt, die nichtkommutative Korrektur im zentralen Kanal einen persistenten Zwang einführt, der verhindert, dass die Grenzkurve $C^1$ ist, was stattdessen zu einer kontinuierlichen, Zygmund-regulären Grenzwertfunktion führt.