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

Sintesi Tecnica: Variazione dell'Inviluppo Ermitiano di Codici a Rango Vettoriale e Codici Gabidulin Generalizzati Autoortogonali

Enunciato del Problema
Questo articolo indaga il "problema della variazione dell'inviluppo" per codici a rango vettoriale equipaggiati con il prodotto scalare ermitiano. L'inviluppo di un codice lineare $C$, definito come $H(C) = C \cap C^\perp$, è un sottocodice fondamentale la cui dimensione determina la fattibilità di certe costruzioni, come i codici di correzione degli errori quantistici assistiti da entanglement (EAQECC). Mentre il problema della variazione dell'inviluppo per codici euclidei ed ermitiani nella metrica di Hamming è stato in gran parte risolto (mostrando che i codici possono spesso essere trasformati in codici equivalenti con qualsiasi dimensione dell'inviluppo prescritta fino all'originale), il problema analogo per i codici a rango vettoriale rimaneva aperto. Nello specifico, l'articolo affronta se ogni codice a rango vettoriale sia equivalente a un codice LCD (Linear Complementary Dual) ermitiano (cioè un codice con inviluppo banale) e se i codici a Massima Distanza di Rango (MRD) possano essere costruiti con qualsiasi dimensione dell'inviluppo ermitiano prescritta.

Metodologia e Contributi Chiave

1. Teorema sulla Variazione dell'Inviluppo Ermitiano:
   Gli autori stabiliscono che per codici a rango vettoriale su $\mathbb{F}_{q^{2m}}$, la dimensione dell'inviluppo ermitiano può essere ridotta di uno all'interno della classe di equivalenza del codice, a condizione che siano soddisfatte specifiche condizioni.

   • Caso Generale ($n \ge 3$ o $q \ge 4$): La dimostrazione utilizza un approccio costruttivo che coinvolge le matrici generatrici. Identificando un vettore non nullo nell'inviluppo e applicando una specifica trasformazione di equivalenza $M \in GL_n(\mathbb{F}_q)$, gli autori mostrano che il rango della matrice $GG^\dagger$ aumenta di uno, riducendo così la dimensione dell'inviluppo di uno. Ciò si basa sul Lemma 3.1, che dimostra come l'aggiunta di un termine di rango uno $\lambda aa^\dagger$ a una matrice hermitiana ne riduca la nullità in condizioni specifiche.
   • Parametri Piccoli ($n=2$): Il caso $n=2$ è trattato separatamente. Per $q \ge 4$, si applica la costruzione generale. Per $q=3$, viene utilizzato un argomento specifico basato su polinomi quadratici su $\mathbb{F}_3$ per trovare una trasformazione che elimini l'inviluppo.
   • Ostacolo: L'articolo identifica un singolo caso eccezionale in cui la variazione dell'inviluppo è impossibile: $(q, n) = (2, 2)$. In questa specifica istanza, gli autori forniscono un controesempio che mostra come un codice con un inviluppo non banale non possa essere trasformato in un codice LCD ermitiano equivalente.

2. Base Scalata Auto-Duale rispetto alla Traccia:
   Per affrontare l'esistenza di codici MRD con dimensioni dell'inviluppo prescritte, gli autori introducono il concetto di base scalata auto-duale rispetto alla traccia.

   • Lavori precedenti avevano stabilito che le basi ordinarie auto-duali rispetto alla traccia per $\mathbb{F}_{q^{2m}}/\mathbb{F}_q$ esistono solo quando $q$ è pari. Ciò lasciava aperto il caso di $q$ dispari per la costruzione di codici Gabidulin autoortogonali ermitiani.
   • Gli autori definiscono una coppia $(\alpha, \lambda)$ dove $\alpha$ è una base e $\lambda \in \mathbb{F}_{q^{2m}}^*$ tale che $\text{Tr}(\lambda \alpha_i \alpha_j) = \delta_{ij}$.
   • Dimostrano che tale base esiste per ogni potenza di primo $q$ e intero $m$. La dimostrazione comporta la selezione di $\lambda$ in modo che la sua norma sia uguale all'inverso del determinante della matrice di Gram della forma traccia, trasformando così la forma bilineare in una forma ortonormale standard.

3. Costruzione di Codici MRD Autoortogonali:
   Utilizzando la base scalata auto-duale rispetto alla traccia, gli autori costruiscono codici Gabidulin generalizzati che sono autoortogonali ermitiani.

   • Dimostrano che per ogni $1 \le k \le m$, il codice Gabidulin generalizzato $G_{k,s}(\alpha)$ generato da una base scalata auto-duale rispetto alla traccia è autoortogonale ermitiano.
   • Questa costruzione risolve il caso aperto per $q$ dispari, permettendo la creazione di codici MRD auto-duali ermitiani (dove $k=m$) per tutte le potenze di primo.

Risultati Principali

• Classificazione della Variazione dell'Inviluppo: Per ogni coppia $(q, n) \neq (2, 2)$, ogni codice a rango vettoriale con dimensione dell'inviluppo ermitiano $h$ è equivalente a un codice con dimensione dell'inviluppo $\ell$ per qualsiasi $0 \le \ell \le h$. Di conseguenza, ogni tale codice è equivalente a un codice LCD ermitiano.
• Esistenza di Codici MRD con Inviluppo Prescritto: Per ogni $(q, m) \neq (2, 1)$, ogni dimensione $1 \le k \le m$ e ogni dimensione dell'inviluppo target $0 \le \ell \le k$, esiste un codice MRD in $\mathbb{F}_{q^{2m}}^{2m}$ con parametri $[2m, k, 2m-k+1]_{q^{2m}/q}$ e dimensione dell'inviluppo ermitiano $\ell$.
• Confronto Euclideo: L'articolo estende i risultati sulla variazione dell'inviluppo al prodotto scalare euclideo per codici a rango vettoriale, completando casi lasciati aperti nella letteratura precedente. Tuttavia, nota una significativa divergenza: a differenza dell'impostazione ermitiana, i codici MRD autoortogonali euclidei non esistono in caratteristica pari.

Significato
L'articolo fornisce una soluzione completa al problema della variazione dell'inviluppo per codici a rango vettoriale sotto il prodotto scalare ermitiano, identificando l'unico ostacolo in $(2, 2)$. Introducendo la base scalata auto-duale rispetto alla traccia, gli autori rimuovono la restrizione di parità su $q$ che in precedenza ostacolava la costruzione di codici Gabidulin autoortogonali ermitiani. Questo unifica la teoria, garantendo che codici MRD con qualsiasi dimensione dell'inviluppo ermitiano ammissibile possano essere costruiti per tutte le potenze di primo. Questi risultati sono direttamente motivati da e applicabili alla costruzione di EAQECC, dove la dimensione dell'inviluppo determina il numero di coppie entangled pre-condivise richieste.