Block Tensor Rank of Sum-Rank Metric Codes

Resumo Técnico: Posto de Tensor de Bloco de Códigos de Métrica Soma-Posto

Enunciado do Problema
Códigos de métrica soma-posto generalizam códigos de métrica Hamming e de métrica posto, representando os vetores-tipo como tuplas de matrizes particionadas em blocos fixos, com o peso definido como a soma dos postos desses blocos. Embora o invariante de posto tensorial para códigos de métrica posto (o número mínimo de matrizes de posto um que geram um código) seja bem estudado, um invariante correspondente adaptado à estrutura de blocos para códigos de soma-posto não foi sistematicamente desenvolvido. O artigo aborda o desafio de definir e calcular um "posto de tensor de bloco" para códigos de soma-posto que respeite a decomposição em blocos, distinguindo-o de invariantes de suporte e de abordagens de teste de equivalência de tensores existentes.

Metodologia e Definições
Os autores introduzem o conceito de tensores simples de bloco, definidos como matrizes de posto um suportadas inteiramente dentro de um único bloco da tupla de soma-posto. O posto de tensor de bloco de um código de soma-posto, denotado por $btrk(C)$, é definido como o menor número de tensores simples de bloco cujo espaço linear contém $C$.

A abordagem metodológica central envolve:

1. Tuplas Geradoras: Associar cada código a uma tupla de 3-tensores (um por bloco) que geram o código via aplicações lineares.
2. Decomposição por Blocos: Provar que o posto de tensor de bloco de todo o código é a soma dos postos tensoriais de suas projeções individuais por bloco. Isso reduz o problema global para problemas padrão de posto tensorial em códigos de métrica posto.
3. Argumento do Código de Coordenadas: Construir um código linear de bloco sobre o corpo base $\mathbb{F}_q$ (o "código de coordenadas") mapeando os vetores-tipo para seus coeficientes em relação a uma base de blocos simples. Isso permite a transferência de limites clássicos de métrica Hamming para o cenário de posto de tensor de bloco.

Contribuições Principais e Resultados

• Teorema de Decomposição Estrutural: O artigo estabelece que $btrk(C) = \sum_{i=1}^t trk(\pi_i(C))$, onde $\pi_i(C)$ é a projeção do código sobre o $i$-ésimo bloco e $trk$ denota o posto tensorial padrão. Esta identidade implica que o cálculo do posto de tensor de bloco separa-se em computações independentes de posto tensorial para cada bloco.
• Limites Inferiores: Dois limites inferiores complementares são derivados:
  • Limite por Projeção: Derivado diretamente do teorema de decomposição, afirmando que $btrk(C) \ge \sum N_q(k_i, d_i)$, onde $k_i$ e $d_i$ são a dimensão e a distância de posto mínima da $i$-ésima projeção.
  • Limite do Código de Coordenadas: Derivado dos parâmetros globais $(k, d)$ do código, afirmando que $btrk(C) \ge N_q(k, d)$, onde $N_q(k, d)$ é o comprimento mínimo de um código linear com dimensão $k$ e distância de Hamming mínima $d$.
  • Refinamentos de Singleton e Griesmer: Ao aplicar os limites clássicos de Singleton e Griesmer a $N_q(k, d)$, os autores derivam o limite de coordenada de Singleton ($btrk(C) \ge k + d - 1$) e o limite de coordenada de Griesmer ($btrk(C) \ge G_q(k, d)$).
• Noções de Extremalidade:
  • Códigos BTR: Códigos que atingem o limite de coordenada de Singleton ($btrk(C) = k + d - 1$).
  • Códigos Extremais de Posto de Tensor de Bloco: Códigos que atingem o limite mais agudo $btrk(C) = N_q(k, d)$.
• Construções:
  • Elevação Diagonal de Blocos: Um método geral é introduzido para construir códigos de soma-posto elevando códigos lineares de bloco clássicos (a "espinha dorsal") para blocos de matrizes via aplicações diagonais.
  • Famílias BTR: Construções explícitas de códigos BTR são fornecidas usando espinhas dorsais MDS (ex: códigos de Reed–Solomon) sob regimes de parâmetros específicos (regimes de Bloco-Gordo, MDS-espinha dorsal Uniforme e de Agrupamento/Pooling).
  • Famílias Ótimas de Griesmer: Usando espinhas dorsais ótimas de Griesmer (ex: códigos Simplex e MacDonald), os autores constroem códigos que atingem o limite de coordenada de Griesmer, que são extremais mas não necessariamente BTR quando $G_q(k, d) > k + d - 1$.
• Comparação com Códigos MSRD: O artigo demonstra que a otimalidade BTR e a otimalidade de Distância Máxima de Soma-Posto (MSRD) são distintas. Especificamente, no regime de elevação de MDS-espinha dorsal uniforme, os códigos não podem alcançar simultaneamente o limiar BTR e a dimensão MSRD uniforme. Além disso, os autores aplicam seu critério de lacuna de projeção a construções existentes (Chen [19] e Lao et al. [20]), mostrando que, embora alguns estejam próximos ao limiar BTR, outros (como certos códigos MSRD) exibem grandes lacunas devido a altos postos tensoriais em suas projeções de bloco.

Significância e Alegações
O artigo alega fornecer o primeiro framework sistemático para analisar códigos de soma-posto através da lente do posto de tensor adaptado a blocos. Sua significância reside na:

1. Unificação: Conectar a teoria de codificação de soma-posto com a teoria de decomposição de tensores e limites clássicos de métrica Hamming.
2. Redução Computacional: O teorema de decomposição por blocos simplifica o cálculo do posto de tensor de bloco para problemas conhecidos de posto tensorial de métrica posto.
3. Novos Critérios de Otimalidade: Introduzir códigos BTR e códigos extremais de posto de tensor de bloco como novas classes de códigos ótimos, distintos de códigos MSRD.
4. Insight Estrutural: Os autores sugerem que o posto de tensor de bloco serve como uma medida da "economia algébrica" de um código. Eles postulam que este invariante poderia ser relevante para distinguir famílias de códigos estruturados de códigos aleatórios em criptografia pós-quântica, embora não proponham esquemas ou ataques criptográficos específicos.

O trabalho conclui identificando problemas abertos, incluindo a classificação de regimes de parâmetros para a existência de BTR além das construções de elevação e o potencial uso do posto de tensor de bloco como um distinguidor estrutural em criptografia baseada em códigos.