Real subrank of order-three tensors

Resumo Técnico: Subrank Real de Tensores de Ordem Três

Enunciado do Problema
O artigo investiga o subrank de tensores reais de ordem três, um conceito dual ao rank de um tensor. Enquanto o rank de um tensor $T$ é o número mínimo de tensores de rank um que somam $T$, o subrank $Q(T)$ é o inteiro máximo $r$ tal que o tensor unidade $r$-ésimo $I_r$ (representando $r$ multiplicações escalares independentes) pode ser obtido de $T$ via operações de fatias lineares em todas as direções.

Sobre corpos algebricamente fechados (ex: $\mathbb{C}$), o subrank se comporta de forma previsível: existe um subrank genérico único, e o lócus de tensores com um subrank específico é bem compreendido. No entanto, sobre os números reais ($\mathbb{R}$), a situação é mais complexa. Diferente do caso complexo, o subrank real pode assumir múltiplos valores "típicos" (valores atingidos em conjuntos abertos não vazios na topologia euclidiana) para um determinado formato de tensor. O artigo aborda as seguintes questões centrais:

1. Como o subrank real $Q(T)$ se relaciona com o subrank complexo $Q_C(T)$?
2. Quais são os subranks típicos para formatos de tensores pequenos específicos (ex: $3 \times 3 \times 5$, $4 \times 4 \times 4$)?
3. Quais são os subranks de tensores associados à multiplicação componente a componente em álgebras de divisão reais (números complexos, quatérnios, octonions)?

Metodologia
Os autores empregam uma combinação de geometria algébrica, álgebra linear e argumentos topológicos:

• Dualidade e Limites: O artigo estabelece uma relação entre os subranks real e complexo. Utiliza-se o fato de que o subrank complexo fornece um limite superior para o subrank real ($Q(T) \leq Q_C(T)$) e deriva-se um limite inferior para $Q(T)$ em termos de $Q_C(T)$.
• Condições Geométricas: Para limitar o subrank por cima, os autores utilizam uma condição geométrica envolvendo a variedade de Segre. Especificamente, eles analisam a interseção do espaço linear projetivado gerado pelas fatias do tensor com a variedade de matrizes de rank um. Se essa interseção for vazia ou pequena, o subrank é restringido.
• Conjuntos Semialgebraicos e Continuidade: Os autores aproveitam o fato de que os conjuntos de tensores com um determinado subrank são semialgebraicos. Eles adaptam argumentos de Bernardi, Blekherman e Ottaviani (BBO18) relativos ao rank de tensores para mostrar que, se $r$ e $s$ são subranks típicos com $r < s$, então todos os inteiros entre eles também são típicos.
• Indução em Álgebras de Divisão: Para a análise da multiplicação componente a componente em álgebras de divisão, o artigo utiliza um argumento de indução sobre a dimensão da álgebra e o número de componentes ($n$), analisando a independência linear módulo produtos fora da diagonal.

Contribuições Principais e Resultados

1. Relação Entre Subrank Real e Complexo
O artigo prova que, para qualquer tensor de ordem três $T$, o subrank real é limitado inferiormente pela raiz quadrada do subrank complexo:
$$Q(T) \geq \lfloor \sqrt{Q_C(T)} \rfloor$$
Este limite é mostrado como sendo agudo até uma constante multiplicativa via uma construção comunicada por Jeroen Zuiddam. Além disso, para tensores $n \times n \times n$ onde o subrank complexo é máximo ($n$), os autores provam um limite inferior linear: $Q(T) \geq n/2$.

2. Subranks Típicos e Consecutividade
Os autores provam que os subranks típicos são consecutivos. Se $r$ e $s$ são subranks típicos com $r \leq s$, então todo inteiro $l$ tal que $r \leq l \leq s$ também é um subrank típico. Isso espelha resultados conhecidos para o rank de tensores sobre $\mathbb{R}$.

3. Classificação de Subranks Típicos para Pequenos Formatos
O artigo fornece uma classificação detalhada dos subranks típicos para vários formatos de tensores reais $n_1 \times n_2 \times n_3$:

• $2 \times 2 \times 2$: Subranks típicos são 1 e 2.
• $2 \times m \times n$ (com $m, n \geq 2$, não ambos 2): O único subrank típico é 2.
• $3 \times 3 \times 3$ e $3 \times 3 \times 4$: O único subrank típico é 2.
• $3 \times 3 \times 5$: Subranks típicos são 2 e 3. Os autores constroem um tensor específico onde o subrank é 2, demonstrando que o subrank genérico (3) não é o único valor típico.
• $3 \times 4 \times 4$ e $4 \times 4 \times 4$: Subranks típicos são 2 e 3.
  • Notavelmente, o artigo mostra que o tensor de multiplicação de quatérnios ($4 \times 4 \times 4$) possui um subrank real de 2. Isso é provado ao mostrar que o espaço linear gerado por suas fatias não contém matrizes de rank um (exceto zero), implicando que o subrank não pode ser 3.

4. Subrank de Tensores de Multiplicação de Álgebras de Divisão
O artigo analisa o tensor associado à multiplicação componente a componente em $D^n$, onde $D$ é uma álgebra de divisão real de dimensão $d_{\mathbb{R}}$.

• Números Complexos ($D=\mathbb{C}$): O mapa de multiplicação componente a componente $f_n: \mathbb{C}^n \times \mathbb{C}^n \to \mathbb{C}^n$ tem subrank real $n$. Isso implica que não mais do que $n$ multiplicações escalares reais podem ser incorporadas em um dispositivo que realiza $n$ multiplicações complexas.
• Quatérnios ($D=\mathbb{H}$): O subrank é $2n$.
• Limite Geral: Para qualquer álgebra de divisão real $D$ de dimensão $\geq 2$, o subrank do mapa de multiplicação componente a componente é limitado por $Q(f_n) \leq n \cdot \frac{1}{2}\dim_{\mathbb{R}}(D)$.
• Aditividade: O subrank é aditivo para somas diretas da álgebra de divisão consigo mesma ($Q(f_n) = n \cdot Q(f_1)$).

Significância e Alegações
O artigo afirma resolver a questão dos subranks típicos para vários formatos de tensores pequenos mas não triviais, revelando que múltiplos subranks típicos existem mesmo quando o subrank genérico é único. Isso contrasta com o comportamento sobre corpos algebricamente fechados.

Os autores enfatizam que seus resultados sobre álgebras de divisão são não triviais; o subrank de tensores pode ser estritamente superaditivo, o que significa que o resultado para $n$ componentes não segue trivialmente do caso $n=1$. O achado específico de que o tensor de multiplicação de quatérnios tem subrank 2 (em vez do genérico 3 para $4 \times 4 \times 4$) destaca as restrições algébricas únicas impostas pela estrutura da álgebra de divisão.

Finalmente, o artigo fornece um limite concreto superior para o "valor" (subrank) de tensores que representam multiplicação complexa e quatérnica, oferecendo um limite para quantas multiplicações escalares reais independentes podem ser simuladas por essas estruturas. Os autores conjecturam que o subrank do tensor de multiplicação de octonions ($8 \times 8 \times 8$) é 3, embora provem apenas o limite superior de 4.