Finiteness of Hadamard ranks

Resumen Técnico: Finitud de los Rangos de Hadamard

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la geometría algebraica y la descomposición de tensores: la finitud del rango de Hadamard de un punto respecto a una variedad proyectiva.

• Definición del Producto de Hadamard: Dado un espacio proyectivo $\mathbb{P}^N$, el producto de Hadamard de dos puntos $p = (p_0 : \dots : p_N)$ y $q = (q_0 : \dots : q_N)$ se define como su producto coordenada a coordenada: $p \star q = (p_0q_0 : \dots : p_Nq_N)$.
• Rango de Hadamard: Para una variedad irreducible $X \subset \mathbb{P}^N$, el rango de Hadamard-X de un punto $q$, denotado $Hrk_X(q)$, es el número mínimo $m$ tal que $q$ puede expresarse como el producto de Hadamard de $m$ puntos de $X$. Si tal descomposición no existe, el rango es infinito.
• La Pregunta Central: ¿Bajo qué condiciones sobre la variedad $X$ el rango de Hadamard es finito para todos los puntos del espacio ambiente $\mathbb{P}^N$?
  • Contexto previo: Se sabía que para variedades toricas (como las variedades de Segre-Veronese), el rango es infinito para puntos fuera de la variedad. Sin embargo, para sus variedades secantes, el rango genérico es finito, pero no necesariamente para todos los puntos (especialmente aquellos con coordenadas cero).

2. Metodología y Enfoque

Los autores utilizan herramientas de geometría algebraica, teoría de variedades proyectivas y análisis de ideales de anulación para clasificar las variedades que garantizan la finitud del rango.

• Análisis de Obstrucciones: Se identifican dos tipos principales de obstrucciones para la finitud:
  1. La variedad estar contenida en un hiperplano coordenado (falta de "concisión").
  2. La variedad estar contenida en una hipersuperficie binomial o ser "idempotente bajo Hadamard" (como las variedades toricas).
• Nueva Definición (Concisión Fuerte): Introducen el concepto de variedad fuertemente concisa para superar las limitaciones de la concisión estándar. Una variedad $X$ es fuertemente concisa si, para cada hiperplano coordenado $H_i = \{x_i = 0\}$, la intersección $X \cap H_i$ no está contenida en la unión de los otros hiperplanos coordenados ($\bigcup_{j \neq i} H_j$).
• Continuidad Semi-inferior: Analizan la relación entre el rango y el "rango borde" (border rank), demostrando que bajo ciertas condiciones geométricas (ausencia de puntos con múltiples coordenadas cero), el rango es semi-continuo inferiormente, lo que permite establecer cotas superiores.

3. Contribuciones Clave y Resultados Principales

El trabajo presenta dos teoremas fundamentales que clasifican y acotan el rango de Hadamard.

Teorema A: Clasificación de la Finitud

Este es el resultado central de clasificación.

• Enunciado: El rango de Hadamard-X es finito para todo punto en $\mathbb{P}^N$ si y solo si $X$ es fuertemente concisa.
• Implicación: Esto proporciona una condición necesaria y suficiente algebraica (relacionada con el ideal de anulación de $X$) para garantizar que cualquier punto en el espacio ambiente admita una descomposición de Hadamard finita.
• Contraste: Se demuestra que la finitud del rango genérico (para un punto genérico) no implica la finitud para todos los puntos, especialmente aquellos con coordenadas cero.

Teorema B: Cotas Superiores del Rango Máximo

Una vez establecida la finitud, los autores buscan cotas para el rango máximo ($Hrk_{max}$).

• Enunciado: Sea $X \subset \mathbb{P}^N$ una variedad irreducible de dimensión $n \leq N/2$ tal que $X \cap \Delta_{N-n-1} = \emptyset$ (donde $\Delta_k$ es la variedad de puntos con al menos $N-k$ coordenadas cero). Entonces, para cualquier punto $p \in \mathbb{P}^N$, se cumple:
  $$Hrk_X(p) \leq N$$
• Mecanismo: El resultado se basa en la semi-continuidad inferior del rango de Hadamard para curvas algebraicas que no contienen puntos con al menos dos coordenadas cero. Utilizan el Teorema de Bertini para reducir el problema de una variedad de dimensión $n$ a una curva irreducible, donde se demuestra que el rango está acotado por la dimensión del espacio ambiente.
• Optimalidad: Se demuestra mediante ejemplos que esta cota es aguda (sharp).

4. Aplicaciones a Variedades de Tensores

Los autores aplican el Teorema A para demostrar la finitud del rango de Hadamard en varias familias importantes de variedades de tensores que no son toricas, llenando un vacío en la literatura previa:

1. Variedades de Grassmann: $G(k, n)$ en su inmersión de Plücker. Se demuestra que son fuertemente concisas.
2. Variedades Tangentes a Variedades de Veronese: $\tau_{d,n}$.
3. Variedades de Chow: $X_{d,n}$ (polinomios homogéneos que son productos de formas lineales).
4. Variedades de Formas Reducibles: $R_{d,n}$ (productos de polinomios de grados fijos).

Consecuencia Práctica: Para cualquiera de estas variedades, cualquier tensor (o polinomio homogéneo) en el espacio ambiente puede expresarse como un producto coordenada a coordenada de un número finito de tensores de la variedad base. Esto complementa resultados previos sobre variedades secantes de Segre-Veronese.

5. Significado e Impacto

• Generalización de la Descomposición de Tensores: El trabajo extiende el marco geométrico de las descomposiciones de tensores más allá de la suma (rango clásico) hacia el producto (rango de Hadamard), crucial para modelos estadísticos como las Máquinas de Boltzmann Restringidas (RBM).
• Resolución de Pathologías: Aclara por qué ciertas descomposiciones fallan para puntos específicos (aquellos con coordenadas cero) y establece condiciones precisas para evitar estas singularidades.
• Definición de Rango Borde: Introduce formalmente el concepto de rango borde de Hadamard ($\overline{Hrk}$) para manejar casos donde el rango exacto no es semi-continuo inferiormente, proporcionando una herramienta robusta para el análisis asintótico.
• Herramienta para la Investigación: Proporciona un criterio algebraico verificable (concisión fuerte) para que los investigadores determinen si una nueva variedad de tensores admite descomposiciones de Hadamard universales.

En resumen, el artículo establece una teoría completa sobre cuándo y cómo los puntos en espacios proyectivos pueden descomponerse mediante productos de Hadamard, ofreciendo cotas precisas y aplicando estos resultados a variedades geométricas de alto interés en física matemática y ciencia de datos.