A Heisenberg Subdivision Scheme with Central Smoothness Loss

Resumen Técnico: Un esquema de subdivisión de Heisenberg con pérdida de suavidad central

Planteamiento del problema
Los esquemas de subdivisión son herramientas fundamentales para generar curvas y superficies suaves a partir de datos de control discretos. Si bien la subdivisión lineal en el espacio euclidiano está bien comprendida, muchas aplicaciones involucran datos que toman valores en variedades no euclidianas o grupos de Lie, donde el refinamiento lineal componente a componente es geométricamente inapropiado. Los enfoques existentes, como los basados en marcos de proximidad (Wallner y Dyn) o construcciones intrínsecas de log-exp, generalmente buscan demostrar que un esquema no lineal hereda la suavidad de su referente lineal bajo supuestos específicos de cercanía cuantitativa.

Este artículo aborda una brecha en la teoría de la subdivisión no conmutativa. Específicamente, investiga si una regla interpolatoria explícita y geométricamente natural, definida directamente sobre el grupo de Heisenberg tridimensional ($Heis_3$) —la geometría de modelo no conmutativo más simple—, preserva la suavidad de su contraparte euclidiana. Los autores construyen un esquema donde la coordenada central es corregida por un término derivado directamente de la ley del grupo y analizan la regularidad de la curva límite resultante.

Metodología
Los autores definen un operador de subdivisión interpolatorio explícito, $S_H$, que actúa sobre polígonos de control en $Heis_3$. La ley del grupo viene dada por:
$$(x, y, z) \cdot (x', y', z') = \left(x + x', y + y', z + z' + \frac{1}{2}(xy' - yx')\right)$$

La regla de refinamiento se construye de la siguiente manera:

1. Coordenadas horizontales ($x, y$): Se refinan utilizando el esquema de cuatro puntos clásico de Dyn, Gregory y Levin ($L_4$) con parámetro $\omega = 1/16$.
2. Coordenada central ($z$): Se refina aplicando la máscara de cuatro puntos lineal a los valores de $z$ existentes y añadiendo un término de corrección $R^k_i$. Esta corrección se deriva explícitamente de la ley del grupo para dar cuenta de la no conmutatividad al insertar un nuevo punto entre dos puntos existentes.
   $$R^k_i = \frac{1}{2}(x^k_i b^k_i - y^k_i a^k_i)$$
   donde $a^k_i$ y $b^k_i$ son los desplazamientos horizontales generados por la regla de cuatro puntos.

El análisis se basa en la estructura de bloque triangular del mapa de refinamiento, que desacopla la evolución horizontal de la central. El núcleo del análisis consiste en derivar una recursión de dos escalas exacta para las primeras diferencias escaladas de la componente central ($e^k_i = 2^k(z^k_{i+1} - z^k_i)$). Esta recursión toma la forma:
$$e^{k+1} = S e^k + \hat{g}^{k+1}$$
donde $S = 2D_1$ es el operador de primera diferencia escalado (que no es una contracción) y $\hat{g}^{k+1}$ es un término de forzamiento derivado de la corrección escalada $F^k_i = 2^k R^k_i$.

Contribuciones clave y resultados

1. Esquema no conmutativo explícito: El artículo proporciona un esquema de subdivisión interpolatorio explícito y basado en coordenadas para $Heis_3$. A diferencia de los esquemas intrínsecos log-exp, esta regla no es equivariante por la izquierda, pero permite una interpretación geométrica directa y un análisis de forma cerrada del término de corrección.

2. Regularidad desacoplada:

   • Límite Horizontal: Las componentes horizontales $(X, Y)$ convergen al límite clásico $C^1$ de cuatro puntos, independientemente de los datos centrales.
   • Límite Central: La componente central $Z$ converge uniformemente a una función continua. Sin embargo, exhibe una pérdida de regularidad distinta respecto al caso euclidiano.

3. Regularidad de Zygmund y pérdida de $C^1$:

   • Los autores demuestran que el límite central $Z$ pertenece a la clase de Zygmund $\Lambda^*$, poseyendo un módulo de continuidad de orden $O(h \log(1/h))$.
   • Crucialmente, las primeras diferencias escaladas de la coordenada central crecen linealmente con el nivel de refinamiento $k$ (es decir, $\sup_i 2^k |z^k_{i+1} - z^k_i| = O(k)$).
   • Bajo una condición de no cancelación con signo explícita y verificable sobre los coeficientes de detalle (que se cumple para datos típicos no degenerados), los autores demuestran un límite inferior coincidente de $\Theta(k)$. Este crecimiento implica que la función límite no es continuamente diferenciable ($Z \notin C^1$).

4. Mecanismo de pérdida de suavidad:
   El artículo identifica el mecanismo preciso de esta pérdida de regularidad. El término de forzamiento en la recursión de la diferencia central es la corrección escalada no diferenciada. Debido a que el límite de la corrección escalada $2^k R^k_i$ converge a una función generalmente no nula $f(t) = \frac{1}{4}(XY' - YX')$, la amplitud del forzamiento no decae a través de las escalas. Este forzamiento persistente es alimentado a través del operador $S$, el cual posee un componente neutro (preserva secuencias alternantes). En consecuencia, una nueva oscilación de amplitud fija se inyecta en cada nivel de refinamiento, causando que las primeras diferencias se acumulen linealmente.

5. Verificación numérica:
   Los experimentos numéricos confirman los hallazgos teóricos. La coordenada central exhibe un perfil visiblemente rugoso y no suave. Las primeras diferencias escaladas crecen linealmente con el nivel de refinamiento, mientras que el cociente de segunda diferencia permanece acotado, confirmando la regularidad de Zygmund y el fallo de la suavidad $C^1$.

Significado y Reivindicaciones
El artículo posiciona este resultado como un ejemplo de regularidad negativa dentro de la teoría de la subdivisión no lineal. No contradice los resultados existentes de transferencia de suavidad positiva (como aquellos basados en marcos de proximidad o log-exp), sino que opera fuera de sus hipótesis.

• Fallo de la proximidad: Los autores demuestran que la corrección de Heisenberg satisface solo un límite lineal respecto a los incrementos horizontales, mientras que la transferencia de proximidad $C^1$ requiere un límite cuadrático ($O(\|\Delta u\|^2)$). El fallo de esta condición cuadrática no es un artefacto técnico, sino un reflejo fiel de la no suavidad genuina del límite.
• Lección de cautela: El trabajo sirve como una advertencia para las construcciones basadas en coordenadas o en la ley del grupo con un punto base. Una corrección que es geométricamente natural e inofensiva en un único paso de refinamiento puede destruir la regularidad de la curva límite si se inyecta con una amplitud que no decae en cada escala.
• Alcance: El resultado es específico para este esquema de subdivisión explícito y no equivariante. No sostiene que todos los esquemas de subdivisión de grupos de Lie fallen en preservar la suavidad, sino que destaca cómo el uso de la ley del grupo para generar una corrección de primer orden en un entorno no conmutativo puede conducir a una pérdida de un orden logarítmico de suavidad (de $C^1$ a Zygmund).

En resumen, el artículo establece que, si bien la geometría horizontal permanece suave, la corrección no conmutativa en el canal central introduce un forzamiento persistente que impide que la curva límite sea $C^1$, resultando en un límite continuo de regularidad Zygmund.