A Heisenberg Subdivision Scheme with Central Smoothness Loss

Sintesi Tecnica: Uno Schema di Sottodivisione di Heisenberg con Perdita di Smoothness Centrale

Enunciato del Problema
Gli schemi di sottodivisione sono strumenti fondamentali per generare curve e superfici lisce a partire da dati di controllo discreti. Mentre la sottodivisione lineare nello spazio euclideo è ben compresa, molte applicazioni coinvolgono dati che prendono valori in varietà non euclidee o gruppi di Lie, dove il raffinamento lineare componente per componente è geometricamente inappropriato. Gli approcci esistenti, come quelli basati su framework di prossimità (Wallner e Dyn) o costruzioni log-exp intrinseche, mirano generalmente a dimostrare che uno schema non lineare erediti la regolarità (smoothness) del suo riferimento lineare sotto specifiche ipotesi quantitative di vicinanza.

Questo articolo affronta una lacuna nella teoria della sottodivisione non commutativa. Nello specifico, investiga se una regola interpolatoria esplicita e geometricamente naturale, definita direttamente sul gruppo di Heisenberg tridimensionale ($Heis_3$) — il più semplice modello geometrico non commutativo — preservi la regolarità del suo equivalente euclideo. Gli autori costruiscono uno schema in cui la coordinata centrale è corretta da un termine derivato direttamente dalla legge del gruppo e analizzano la regolarità della curva limite risultante.

Metodologia
Gli autori definiscono un operatore di sottodivisione interpolatorio esplicito, $S_H$, che agisce su poligoni di controllo in $Heis_3$. La legge del gruppo è data da:
$$(x, y, z) \cdot (x', y', z') = \left(x + x', y + y', z + z' + \frac{1}{2}(xy' - yx')\right)$$

La regola di raffinamento è costruita come segue:

1. Coordinate Orizzontali ($x, y$): Raffinate utilizzando lo schema a quattro punti classico di Dyn, Gregory e Levin ($L_4$) con parametro $\omega = 1/16$.
2. Coordinata Centrale ($z$): Raffinata applicando la maschera a quattro punti lineare ai valori $z$ esistenti e aggiungendo un termine di correzione $R^k_i$. Questa correzione è derivata esplicitamente dalla legge del gruppo per tenere conto della non commutatività durante l'inserimento di un nuovo punto tra due punti esistenti.
   $$R^k_i = \frac{1}{2}(x^k_i b^k_i - y^k_i a^k_i)$$
   dove $a^k_i$ e $b^k_i$ sono gli spostamenti orizzontali generati dalla regola a quattro punti.

L'analisi si basa sulla struttura a blocchi triangolare della mappa di raffinamento, che disaccoppia l'evoluzione orizzontale da quella centrale. Il nucleo dell'analisi consiste nel derivare una ricorsione a due scale esatta per le differenze prime scalate della coordinata centrale ($e^k_i = 2^k(z^k_{i+1} - z^k_i)$). Questa ricorsione assume la forma:
$$e^{k+1} = S e^k + \hat{g}^{k+1}$$
dove $S = 2D_1$ è l'operatore di prima differenza scalato (che non è una contrazione) e $\hat{g}^{k+1}$ è un termine di forzamento derivato dalla correzione scalata $F^k_i = 2^k R^k_i$.

Contributi Chiave e Risultati

1. Schema Non Commutativo Esplicito: L'articolo fornisce uno schema di sottodivisione interpolatorio esplicito, basato su coordinate, per $Heis_3$. A differenza degli schemi log-exp intrinseci, questa regola non è equivariante a sinistra, ma permette un'interpretazione geometrica diretta e un'analisi in forma chiusa del termine di correzione.

2. Regolarità Disaccoppiata:

   • Limite Orizzontale: Le componenti orizzontali $(X, Y)$ convergono al classico limite $C^1$ a quattro punti, indipendentemente dai dati centrali.
   • Limite Centrale: La componente centrale $Z$ converge uniformemente a una funzione continua. Tuttavia, essa esibisce una distinta perdita di regolarità rispetto al caso euclideo.

3. Regolarità di Zygmund e Perdita di $C^1$:

   • Gli autori dimostrano che il limite centrale $Z$ appartiene alla classe di Zygmund $\Lambda^*$, possedendo un modulo di continuità dell'ordine $O(h \log(1/h))$.
   • Crucialmente, le differenze prime scalate della coordinata centrale crescono linearmente con il livello di raffinamento $k$ (ovvero, $\sup_i 2^k |z^k_{i+1} - z^k_i| = O(k)$).
   • Sotto una condizione di non-cancellazione con segno esplicita e verificabile sui coefficienti di dettaglio (che vale per dati tipici non degeneri), gli autori dimostrano un limite inferiore corrispondente $\Theta(k)$. Questa crescita implica che la funzione limite non è continuamente differenziabile ($Z \notin C^1$).

4. Meccanismo di Perdita di Smoothness:
   L'articolo identifica il meccanismo preciso di questa perdita di regolarità. Il termine di forzamento nella ricorsione della differenza centrale è la correzione scalata non differenziata. Poiché il limite della correzione scalata $2^k R^k_i$ converge a una funzione generalmente non nulla $f(t) = \frac{1}{4}(XY' - YX')$, l'ampiezza del forzamento non decade attraverso le scale. Questo forzamento persistente viene alimentato attraverso l'operatore $S$, il quale possiede una componente neutra (preserva le sequenze alternate). Di conseguenza, una nuova oscillazione di ampiezza fissa viene iniettata ad ogni livello di raffinamento, causando un accumulo lineare delle differenze prime.

5. Verifica Numerica:
   Esperimenti numerici confermano i risultati teorici. La coordinata centrale esibisce un profilo visibilmente ruvido e non liscio. Le differenze prime scalate crescono linearmente con il livello di raffinamento, mentre il rapporto della seconda differenza rimane limitato, confermando la regolarità di Zygmund e il fallimento della regolarità $C^1$.

Significato e Rivendicazioni
L'articolo posiziona questo risultato come un esempio negativo di regolarità all'interno della teoria della sottodivisione non lineare. Esso non contraddice i risultati esistenti di trasferimento positivo della regolarità (come quelli basati su framework di prossimità o log-exp), ma opera al di fuori dei loro ipotesi.

• Fallimento della Prossimità: Gli autori dimostrano che la correzione di Heisenberg soddisfa solo un vincolo lineare rispetto agli incrementi orizzontali, mentre la prossimità per il trasferimento $C^1$ richiede un vincolo quadratico ($O(\|\Delta u\|^2)$). Il fallimento di questa condizione quadratica non è un artefatto tecnico, ma un riflesso fedele della reale mancanza di regolarità del limite.
• Lezione di Cautela: Il lavoro funge da avvertimento per le costruzioni basate su coordinate o sulla legge del gruppo con un punto di base. Una correzione che è geometricamente naturale e innocua in un singolo passo di raffinamento può distruggere la regolarità della curva limite se viene iniettata con un'ampiezza non decrescente a ogni scala.
• Ambito: Il risultato è specifico per questo schema di sottodivisione esplicito e non equivariante. Non sostiene che tutti gli schemi di sottodivisione per gruppi di Lie falliscano nel preservare la regolarità, ma evidenzia come l'uso specifico della legge del gruppo per generare una correzione del primo ordine in un contesto non commutativo possa portare a una perdita di un ordine logaritmico di regolarità (da $C^1$ a Zygmund).

In sintesi, l'articolo stabilisce che, sebbene la geometria orizzontale rimanga liscia, la correzione non commutativa nel canale centrale introduce un forzamento persistente che impedisce alla curva limite di essere $C^1$, risultando invece in un limite continuo con regolarità di Zygmund.