Finiteness of Hadamard ranks

Resumo Técnico: Finitude dos Ranks de Hadamard

1. Problema e Contexto

O artigo aborda a generalização do conceito de decomposição de tensores através da produto de Hadamard (produto coordenada a coordenada) em variedades projetivas.

• Definição Central: O Rank de Hadamard de um ponto $q$ em relação a uma variedade projetiva irreduzível $X \subset \mathbb{P}^N$ é o número mínimo de pontos em $X$ cujo produto de Hadamard resulta em $q$.
• O Problema: Enquanto a finitude do rank genérico (para pontos gerais) já havia sido estudada em trabalhos anteriores (como [AMO25]), a questão central deste trabalho é: Para quais variedades $X$ o Rank de Hadamard é finito para todo ponto no espaço ambiente $\mathbb{P}^N$?
• Motivação: Aplicações em modelos estatísticos (Restricted Boltzmann Machines) e decomposição de tensores. Variedades toricas (como variedades Segre-Veronese) têm rank infinito para pontos fora da variedade, mas seus secantes têm rank finito. O artigo busca estender esses resultados para outras variedades importantes, como Grassmannianas e variedades de Chow, que não são toricas.

2. Metodologia

Os autores utilizam uma abordagem que combina Geometria Algébrica e Geometria Tropical (referenciada em trabalhos prévios), focando na análise da estrutura de interseção das variedades com os hiperplanos coordenados.

• Análise de Concisão: O estudo distingue entre variedades "concisas" (não contidas em nenhum hiperplano coordenado) e "fortemente concisas" (uma condição mais forte sobre a interseção com hiperplanos coordenados).
• Propriedades de Potências de Hadamard: A análise baseia-se no comportamento das potências de Hadamard iteradas ($X^{\star m}$) e no preenchimento do espaço ambiente.
• Continuidade Semi-inferior: O artigo investiga a semicontinuidade inferior do rank de Hadamard, introduzindo o conceito de Rank de Hadamard de Fronteira (Border Hadamard Rank) para lidar com pontos onde o rank pode ser infinito ou instável.
• Técnicas de Interseção: Uso do Teorema de Bertini e análise de dimensões de interseção com variedades de pontos com coordenadas nulas ($\Delta_k$).

3. Contribuições Principais e Resultados

A. Classificação Completa (Teorema A)

O resultado mais significativo é a classificação completa das variedades para as quais o rank de Hadamard é finito para qualquer ponto.

• Definição de "Fortemente Concisa" (Strongly Concise): Uma variedade $X$ é fortemente concisa se, para cada índice $i$, a interseção $X \cap H_i$ (onde $H_i$ é o hiperplano $x_i=0$) não está contida na união dos outros hiperplanos coordenados ($\bigcup_{j \neq i} H_j$).
• Teorema A: O Rank de Hadamard de $X$ é finito para todo ponto $p \in \mathbb{P}^N$ se e somente se $X$ é fortemente concisa.
• Implicação Algébrica: Isso equivale a dizer que o ideal de anulação de $X$ não contém polinômios da forma $x_i F + x^\alpha$, onde $x^\alpha$ é um monômio que não envolve $x_i$.

B. Aplicação a Variedades de Tensores (Seção 3.1)

Os autores aplicam o Teorema A para provar a finitude do rank em variedades de grande interesse na teoria de tensores, que anteriormente não eram cobertas pelos resultados sobre variedades toricas:

1. Grassmannianas: $G(k, n)$ na sua imersão de Plücker.
2. Variedade Tangente à Variedade de Veronese: $\tau_{d,n}$.
3. Variedades de Chow: $X_{d,n}$.
4. Variedades de Formas Redutíveis: $R_{d,n}$.

• Conclusão: Para todas essas variedades e seus secantes, qualquer tensor (ou forma homogênea) no espaço ambiente pode ser escrito como um produto coordenada a coordenada de um número finito de elementos da variedade.

C. Limites Superiores para o Rank Máximo (Teorema B)

O artigo estabelece limites superiores agudos para o rank máximo de Hadamard ($Hrk_{max}$).

• Teorema B: Se $X \subset \mathbb{P}^N$ é uma variedade irreduzível de dimensão $n \le N/2$ tal que $X \cap \Delta_{N-n-1} = \emptyset$ (ou seja, $X$ não contém pontos com pelo menos $n+1$ coordenadas nulas), então:
  $$Hrk_X(p) \le N \quad \text{para todo } p \in \mathbb{P}^N.$$
• Otimização: Este limite é agudo (sharp), como demonstrado no Exemplo 4.9, onde o rank de um ponto coordenado em uma curva satisfazendo as condições é exatamente $N$.

D. Rank de Fronteira e Semicontinuidade

• O artigo demonstra que, para curvas que não contêm pontos com duas coordenadas nulas, o rank de Hadamard é semicontínuo inferiormente.
• Introduz-se o Rank de Fronteira de Hadamard ($\overline{Hrk}$), definido como o menor $m$ tal que $p \in X^{\star m}$.
• É mostrado que, sob certas condições geométricas (ausência de pontos com muitas coordenadas nulas), o rank e o rank de fronteira coincidem para pontos de baixo rank.

4. Significado e Impacto

• Generalização Teórica: O trabalho preenche uma lacuna teórica importante ao fornecer condições necessárias e suficientes para a finitude global do rank de Hadamard, indo além do caso genérico.
• Novas Direções de Pesquisa: Ao provar a finitude para Grassmannianas e variedades de Chow, o artigo abre caminho para o estudo de novas decomposições de tensores que não dependem da estrutura torica, expandindo o escopo de aplicações em álgebra computacional e física estatística.
• Limites Precisos: A obtenção de limites superiores agudos ($N$) oferece uma métrica concreta para a complexidade dessas decomposições, sendo um avanço em relação aos limites anteriores que dependiam apenas da dimensão genérica.
• Fundamentação para Bordas: A discussão sobre a semicontinuidade e a definição de rank de fronteira fornecem ferramentas robustas para lidar com pontos singulares ou degenerados nas decomposições de Hadamard.

Em suma, o artigo estabelece uma teoria completa sobre quando e como a decomposição multiplicativa de Hadamard é possível em variedades algébricas, unificando resultados anteriores e estendendo-os para uma classe ampla de variedades de tensores.