Hermitian hull-variation of vector rank-metric codes and self-orthogonal generalized Gabidulin codes

Resumo Técnico: Variação do Núcleo Hermitiano de Códigos Vetoriais de Métrica de Rango e Códigos de Gabidulin Generalizados Auto-ortogonais

Enunciado do Problema
Este artigo investiga o "problema da variação do núcleo" para códigos vetoriais de métrica de rango equipados com o produto interno hermitiano. O núcleo de um código linear $C$, definido como $H(C) = C \cap C^\perp$, é um subcódigo fundamental cuja dimensão dita a viabilidade de certas construções, como códigos quânticos de correção de erros assistidos por emaranhamento (EAQECC). Embora o problema da variação do núcleo para códigos euclidianos e hermitianos na métrica de Hamming tenha sido amplamente resolvido (mostrando que os códigos podem frequentemente ser transformados em códigos equivalentes com qualquer dimensão de núcleo prescrita até a original), o problema análogo para códigos vetoriais de métrica de rango permanecia em aberto. Especificamente, o artigo aborda se todo código vetorial de métrica de rango é equivalente a um código LCD (Dual Linear Complementar) hermitiano (ou seja, um código com núcleo trivial) e se códigos de Distância Máxima de Rango (MRD) podem ser construídos com qualquer dimensão de núcleo hermitiano prescrita.

Metodologia e Principais Contribuições

1. Teorema da Variação do Núcleo Hermitiano:
   Os autores estabelecem que, para códigos vetoriais de métrica de rango sobre $\mathbb{F}_{q^{2m}}$, a dimensão do núcleo hermitiano pode ser reduzida em uma unidade dentro da classe de equivalência do código, desde que condições específicas sejam atendidas.

   • Caso Geral ($n \ge 3$ ou $q \ge 4$): A prova utiliza uma abordagem construtiva envolvendo matrizes geradoras. Ao identificar um vetor não nulo no núcleo e aplicar uma transformação de equivalência específica $M \in GL_n(\mathbb{F}_q)$, os autores mostram que o posto da matriz $GG^\dagger$ aumenta em uma unidade, reduzindo assim a dimensão do núcleo em uma unidade. Isso depende do Lema 3.1, que demonstra como adicionar um termo de posto um $\lambda aa^\dagger$ a uma matriz hermitiana reduz sua nulidade sob condições específicas.
   • Parâmetros Pequenos ($n=2$): O caso $n=2$ é tratado separadamente. Para $q \ge 4$, a construção geral se aplica. Para $q=3$, um argumento específico usando polinômios quadráticos sobre $\mathbb{F}_3$ é utilizado para encontrar uma transformação que elimina o núcleo.
   • Obstrução: O artigo identifica um único caso excepcional onde a variação do núcleo é impossível: $(q, n) = (2, 2)$. Neste caso específico, os autores fornecem um contraexemplo mostrando que um código com um núcleo não trivial não pode ser transformado em um código LCD hermitiano equivalente.

2. Base Auto-dual de Rastreamento Escalada:
   Para abordar a existência de códigos MRD com dimensões de núcleo prescritas, os autores introduzem o conceito de uma base auto-dual de rastreamento escalada.

   • Trabalhos anteriores estabeleceram que bases de rastreamento auto-duais ordinárias para $\mathbb{F}_{q^{2m}}/\mathbb{F}_q$ existem apenas quando $q$ é par. Isso deixou o caso de $q$ ímpar em aberto para a construção de códigos de Gabidulin auto-ortogonais hermitianos.
   • Os autores definem um par $(\alpha, \lambda)$ onde $\alpha$ é uma base e $\lambda \in \mathbb{F}_{q^{2m}}^*$ tal que $\text{Tr}(\lambda \alpha_i \alpha_j) = \delta_{ij}$.
   • Eles provam que tal base existe para cada potência de primo $q$ e inteiro $m$. A prova envolve selecionar $\lambda$ de modo que sua norma seja igual ao inverso do determinante da matriz de Gram da forma de rastreamento, transformando assim a forma bilinear em uma forma ortonormal padrão.

3. Construção de Códigos MRD Auto-ortogonais:
   Usando a base auto-dual de rastreamento escalada, os autores constroem códigos de Gabidulin generalizados que são auto-ortogonais hermitianos.

   • Eles demonstram que, para qualquer $1 \le k \le m$, o código de Gabidulin generalizado $G_{k,s}(\alpha)$ gerado por uma base auto-dual de rastreamento escalada é auto-ortogonal hermitiano.
   • Esta construção resolve o caso aberto para $q$ ímpar, permitindo a criação de códigos MRD auto-duais hermitianos (onde $k=m$) para todas as potências de primo.

Principais Resultados

• Classificação da Variação do Núcleo: Para cada par $(q, n) \neq (2, 2)$, todo código vetorial de métrica de rango com dimensão de núcleo hermitiano $h$ é equivalente a um código com dimensão de núcleo $\ell$ para qualquer $0 \le \ell \le h. Consequentemente, todo tal código é equivalente a um código LCD hermitiano.
• Existência de Códigos MRD com Núcleo Prescrito: Para cada $(q, m) \neq (2, 1)$, cada dimensão $1 \le k \le m$ e cada dimensão de núcleo alvo $0 \le \ell \le k$, existe um código MRD em $\mathbb{F}_{q^{2m}}^{2m}$ com parâmetros $[2m, k, 2m-k+1]_{q^{2m}/q}$ e dimensão de núcleo hermitiano $\ell$.
• Comparação Euclidiana: O artigo estende os resultados de variação do núcleo para o produto interno euclidiano para códigos vetoriais de métrica de rango, completando casos deixados em aberto na literatura anterior. No entanto, observa uma divergência significativa: ao contrário do cenário hermitiano, códigos MRD auto-ortogonais euclidianos não existem em característica par.

Significado
O artigo fornece uma solução abrangente para o problema da variação do núcleo de códigos vetoriais de métrica de rango sob o produto interno hermitiano, identificando a obstrução única em $(2, 2)$. Ao introduzir a base auto-dual de rastreamento escalada, os autores removem a restrição de paridade sobre $q$ que anteriormente dificultava a construção de códigos de Gabidulin auto-ortogonais hermitianos. Isso unifica a teoria, garantindo que códigos MRD com qualquer dimensão de núcleo hermitiano admissível possam ser construídos para todas as potências de primo. Esses resultados são diretamente motivados por e aplicáveis à construção de EAQECCs, onde a dimensão do núcleo determina o número de pares emaranhados pré-compartilhados necessários.