Non-special Divisors, LCPs of Codes, and LCD Codes on Kummer Extensions

Sintesi Tecnica: Divisori non speciali, LCP di codici e codici LCD su estensioni di Kummer

Enunciato del Problema
Le Coppie Lineari Complementari (LCP) di codici e i codici Lineari Complementari Duali (LCD) sono critici nella teoria dei codici e nella crittografia, in particolare per la protezione contro attacchi a canale laterale (SCA) e attacchi di iniezione di guasti (FIA). La costruzione di tali codici su campi di funzioni si basa fortemente sull'esistenza e la caratterizzazione di divisori non speciali di grado $g$ e $g-1$, dove $g$ è il genere del campo di funzioni. Sebbene lavori precedenti abbiano stabilito costruzioni per specifiche estensioni di Kummer (ad esempio, quelle definite da $y^m = \prod (x-\alpha_i)$ con luoghi totalmente ramificati), rimane la necessità di una caratterizzazione aritmetica generalizzata dei divisori non speciali che possa accogliere gradi arbitrari e supportare luoghi non totalmente ramificati o non razionali. Inoltre, è richiesta una costruzione esplicita di tali divisori su curve complesse, come la curva di Giulietti-Korchmáros (GK), e lo sviluppo di un quadro unificato per generare LCP e codici LCD su estensioni di Kummer.

Metodologia
Gli autori impiegano la teoria dei codici di geometria algebrica (AG), delle estensioni di Kummer e degli spazi di Riemann-Roch. La metodologia procede in tre fasi principali:

1. Caratterizzazione Aritmetica: Il documento investiga le estensioni di Kummer $F = \mathbb{F}_q(x, y)/\mathbb{F}_q(x)$ definite da $y^m = f(x)$, dove $f(x) \in \mathbb{F}_q(x) \setminus \mathbb{F}_q$. Unificando le estensioni dei luoghi sotto l'azione del gruppo di Galois e utilizzando formule dimensionali derivate dalle estensioni di campo costante, gli autori derivano una condizione aritmetica necessaria e sufficiente affinché un divisore $D = \sum a_i D_i$ sia non speciale. Questa condizione coinvolge funzioni parte intera e i gradi dei luoghi, generalizzando i risultati precedenti che erano limitati ai luoghi totalmente ramificati.
2. Costruzione tramite Divisori Canonici e Gap Puri: Gli autori utilizzano la relazione tra un divisore non speciale di grado $g-1$ e un divisore canonico $W$ per generare nuovi divisori non speciali. Inoltre, impiegano la teoria dei gap puri (elementi nel complemento del semigruppo di Weierstrass) per caratterizzare divisori non speciali effettivi di grado $g$.
3. Quadro per la Costruzione di Codici: Viene sviluppato un quadro generale per costruire LCP di codici AG $(C_L(D, G), C_L(D, H))$ e codici LCD. Questo quadro si basa sulla selezione di divisori $G$ e $H$ tali che il loro massimo comune divisore e il loro minimo comune multiplo soddisfino specifiche condizioni di non specialità. Si dimostra che i parametri di sicurezza delle LCP risultanti sono determinati dalla distanza minima di uno dei codici costituenti.

Contributi Chiave e Risultati

• Caratterizzazione Generalizzata (Teorema 17): Il documento presenta una caratterizzazione aritmetica generalizzata per i divisori non speciali su estensioni di Kummer. A differenza del lavoro precedente, questa caratterizzazione permette divisori di grado arbitrario e supporti che possono includere luoghi non totalmente ramificati e luoghi non razionali.
• Costruzioni Esplicite sulla Curva GK: Utilizzando la caratterizzazione derivata, gli autori costruiscono esplicitamente un divisore non speciale di grado $g-1$ sul campo di funzioni della curva GK (Proposizione 24). Ciò affronta una lacuna in cui i metodi precedenti non riuscivano a trovare tali divisori con supporto nell'insieme standard di luoghi razionali.
• Famiglie di Divisori Non Speciali Effettivi: Per le estensioni di Kummer definite da $y^m = \prod (x-\alpha_i)^\lambda$ con molteplicità identiche, gli autori costruiscono tre distinte famiglie di divisori non speciali effettivi di grado $g$ (Proposizioni 25, 26 e 27). Queste famiglie coprono i casi in cui $m > r$, $m < r$ e casi generali $m, r$, e sono provate come inequivalenti.
• Quadro Generale per LCP e LCD: Il Teorema 29 e il Corollario 30 forniscono un metodo sistematico per costruire LCP di codici AG su estensioni di Kummer. Il quadro dimostra che il parametro di sicurezza della LCP è dato dalla distanza minima di uno dei codici. Inoltre, stabilisce condizioni sufficienti per la costruzione di codici AG LCD, utilizzando specificamente polinomi linearizzati (Proposizione 37).
• Esempi Concreti: I risultati teorici sono illustrati con esempi espliciti, tra cui:
  • LCP di codici AG sulla curva GK (Proposizione 31).
  • LCP e codici LCD su quozienti della curva Ermitiana (Corollario 38, Esempio 39).
  • Insiemi di parametri specifici per codici derivati da polinomi linearizzati.

Significatività e Rivendicazioni
Il documento rivendica di estendere lo stato dell'arte nella costruzione di codici AG rimuovendo la restrizione che i divisori non speciali debbano avere un supporto costituito esclusivamente da luoghi totalmente ramificati. Fornendo un criterio aritmetico unificato, il lavoro consente l'identificazione di divisori non speciali in contesti più ampi. La costruzione esplicita di divisori non speciali sulla curva GK è evidenziata come un avanzamento significativo, poiché i tentativi precedenti utilizzando tecniche differenti non erano riusciti a localizzare tali divisori con le proprietà richieste.

Lo sviluppo di un quadro generale per LCP e LCD permette la generazione sistematica di famiglie di codici con parametri di sicurezza noti. Gli autori osservano che, sebbene il Teorema 17 caratterizzi questi divisori, il problema della loro esistenza generale rimane una questione aperta. Inoltre, il documento suggerisce che il lavoro futuro potrebbe esplorare la variazione della scelta dell'indice $I$ e del differenziale di Weil $\omega$ per generare ulteriori famiglie di codici, ma attualmente, i risultati presentati si concentrano su costruzioni specifiche e verificate. Il lavoro è fondato sulla letteratura esistente sui codici AG, LCP e codici LCD, basandosi sulle caratterizzazioni fondamentali fornite da ricercatori precedenti.