A Heisenberg Subdivision Scheme with Central Smoothness Loss

Resumo Técnico: Um Esquema de Subdivisão de Heisenberg com Perda de Suavidade Central

Enunciado do Problema
Esquemas de subdivisão são ferramentas fundamentais para gerar curvas e superfícies suaves a partir de dados de controle discretos. Embora a subdivisão linear no espaço euclidiano seja bem compreendida, muitas aplicações envolvem dados que assumem valores em variedades não euclidianas ou grupos de Lie, onde o refinamento linear componente a componente é geometricamente inapropriado. As abordagens existentes, como aquelas baseadas em estruturas de proximidade (Wallner e Dyn) ou construções intrínsecas de log-exp, geralmente visam provar que um esquema não linear herda a suavidade de sua referência linear sob suposições específicas de proximidade quantitativa.

Este artigo aborda uma lacuna na teoria da subdivisão não comutativa. Especificamente, investiga-se se uma regra interpolatória explícita e geometricamente natural, definida diretamente no grupo de Heisenberg tridimensional ($Heis_3$) — a geometria de modelo não comutativo mais simples — preserva a suavidade de sua contraparte euclidiana. Os autores constroem um esquema onde a coordenada central é corrigida por um termo derivado diretamente da lei do grupo e analisam a regularidade da curva limite resultante.

Metodologia
Os autores definem um operador de subdivisão interpolatório explícito, $S_H$, que atua sobre polígonos de controle em $Heis_3$. A lei do grupo é dada por:
$$(x, y, z) \cdot (x', y', z') = \left(x + x', y + y', z + z' + \frac{1}{2}(xy' - yx')\right)$$

A regra de refinamento é construída da seguinte forma:

1. Coordenadas Horizontais ($x, y$): Refinadas usando o esquema de quatro pontos clássico e linear de Dyn, Gregory e Levin ($L_4$) com parâmetro $\omega = 1/16$.
2. Coordenada Central ($z$): Refinada aplicando a máscara de quatro pontos linear aos valores de $z$ existentes e adicionando um termo de correção $R^k_i$. Esta correção é derivada explicitamente da lei do grupo para dar conta da não comutatividade ao inserir um novo ponto entre dois pontos existentes.
   $$R^k_i = \frac{1}{2}(x^k_i b^k_i - y^k_i a^k_i)$$
   onde $a^k_i$ e $b^k_i$ são os deslocamentos horizontais gerados pela regra de quatro pontos.

A análise baseia-se na estrutura de bloco triangular do mapa de refinamento, que desacopla a evolução horizontal da central. O núcleo da análise envolve a derivação de uma recursão de duas escalas exata para as diferenças de primeira ordem escalonadas da parte central ($e^k_i = 2^k(z^k_{i+1} - z^k_i)$). Esta recursão assume a forma:
$$e^{k+1} = S e^k + \hat{g}^{k+1}$$
onde $S = 2D_1$ é o operador de primeira diferença escalonado (que não é uma contração) e $\hat{g}^{k+1}$ é um termo de forçante derivado da correção escalonada $F^k_i = 2^k R^k_i$.

Contribuições Principais e Resultados

1. Esquema Não Comutativo Explícito: O artigo fornece um esquema de subdivisão interpolatório totalmente explícito e baseado em coordenadas para $Heis_3$. Diferente dos esquemas log-exp intrínsecos, esta regra não é equivariante à esquerda, mas permite interpretação geométrica direta e análise de forma fechada do termo de correção.

2. Regularidade Desacoplada:

   • Limite Horizontal: As componentes horizontais $(X, Y)$ convergem para o clássico limite $C^1$ de quatro pontos, independentemente dos dados centrais.
   • Limite Central: A componente central $Z$ converge uniformemente para uma função contínua. No entanto, ela exibe uma perda de regularidade distinta em relação ao caso euclidiano.

3. Regularidade de Zygmund e Perda de $C^1$:

   • Os autores provam que o limite central $Z$ pertence à classe de Zygmund $\Lambda^*$, possuindo um módulo de continuidade de ordem $O(h \log(1/h))$.
   • Crucialmente, as diferenças de primeira ordem escalonadas da coordenada central crescem linearmente com o nível de refinamento $k$ (ou seja, $\sup_i 2^k |z^k_{i+1} - z^k_i| = O(k)$).
   • Sob uma condição de não-cancelamento assinado explícita e verificável sobre os coeficientes de detalhe (que se mantém para dados típicos não degenerados), os autores provam um limite inferior correspondente $\Theta(k)$. Este crescimento implica que a função limite não é continuamente diferenciável ($Z \notin C^1$).

4. Mecanismo de Perda de Suavidade:
   O artigo identifica o mecanismo preciso para esta perda de regularidade. O termo de forçante na recursão da diferença central é a correção escalonada não diferenciada. Como o limite da correção escalonada $2^k R^k_i$ converge para uma função $f(t) = \frac{1}{4}(XY' - YX')$ geralmente não nula, a amplitude da forçante não decai através das escalas. Esta forçante persistente é alimentada pelo operador $S$, que possui um componente neutro (ele preserva sequências alternadas). Consequentemente, uma nova oscilação de amplitude fixa é injetada em cada nível de refinamento, fazendo com que as diferenças de primeira ordem se acumulem linearmente.

5. Verificação Numérica:
   Experimentos numéricos confirmam os achados teóricos. A coordenada central exibe um perfil visivelmente rugoso e não suave. As diferenças de primeira ordem escalonadas crescem linearmente com o nível de refinamento, enquanto o quociente de segunda diferença permanece limitado, confirmando a regularidade de Zygmund e a falha da suavidade $C^1$.

Significância e Alegações
O artigo posiciona este resultado como um exemplo negativo de regularidade dentro da teoria de subdivisão não linear. Ele não contradiz os resultados existentes de transferência de suavidade positiva (como os baseados em estruturas de proximidade ou log-exp), mas opera fora de suas hipóteses.

• Falha de Proximidade: Os autores demonstram que a correção de Heisenberg satisfaz apenas um limite linear em relação aos incrementos horizontais, ao passo que a transferência $C^1$ baseada em proximidade exige um limite quadrático ($O(\|\Delta u\|^2)$). A falha desta condição quadrática não é um artefato técnico, mas um reflexo fiel da não suavidade genuína do limite.
• Lição de Cautela: O trabalho serve como um aviso para construções baseadas em leis de grupo por coordenadas ou pontos de base. Uma correção que é geometricamente natural e inofensiva em um único passo de refinamento pode destruir a regularidade da curva limite se for injetada com amplitude não decrescente em todas as escalas.
• Escopo: O resultado é específico para este esquema de coordenadas explícito e não equivariante. Não se afirma que todos os esquemas de subdivisão de grupos de Lie falham em preservar a suavidade, mas destaca que o uso específico da lei do grupo para gerar uma correção de primeira ordem em um ambiente não comutativo pode levar a uma perda de uma ordem logarítmica de suavidade (de $C^1$ para Zygmund).

Em resumo, o artigo estabelece que, embora a geometria horizontal permaneça suave, a correção não comutativa no canal central introduz uma forçante persistente que impede que a curva limite seja $C^1$, resultando, em vez disso, em um limite contínuo de regularidade de Zygmund.