Codici binari ottimali da $\mathcal{C}_{D}$-codici su un anello non-catena

Informazioni Fondamentali

• ID Articolo: 2510.09057
• Titolo: Optimal binary codes from $\mathcal{C}_{D}$-codes over a non-chain ring
• Autori: Ankit Yadav, Ritumoni Sarma, Anuj Kumar Bhagat (Indian Institute of Technology Delhi)
• Classificazione: cs.IT math.IT
• Data di Pubblicazione: 10 ottobre 2025 (preprint arXiv)
• Link Articolo: https://arxiv.org/abs/2510.09057v1

Riassunto

Questo articolo esamina i codici del sottocampo $\mathcal{C}_{D}^{(2)}$ dei $\mathcal{C}_D$-codici sull'anello non-catena $\mathcal{R} := \mathbb{F}_2[x,y]/\langle x^2, y^2, xy-yx\rangle$, dove l'insieme di definizione $D$ è costruito sulla base di complessi simpliciali. Gli autori determinano la distribuzione del peso di Hamming e i parametri di $\mathcal{C}_D^{(2)}$ per vari $D$, identificano molteplici famiglie infinite di codici a distanza ottimale, e forniscono condizioni sufficienti affinché questi codici siano minimali e autoortogonali. Inoltre, dalle doppie costruzioni di codici si ottengono due famiglie di grafi fortemente regolari.

Contesto e Motivazione della Ricerca

Contesto del Problema

1. Importanza dei codici a distanza ottimale: Per parametri fissi $n$ e $k$, i codici a distanza ottimale realizzano la massima capacità possibile di rilevamento e correzione degli errori, uno degli obiettivi principali della teoria dei codici.
2. Metodi di costruzione esistenti:
   • Applicazione Gray: costruzione di codici su campi finiti da codici su anelli finiti
   • Complessi simpliciali: introdotti per la prima volta da Chang e Hyun per la costruzione di codici lineari ottimali
3. Limitazioni del lavoro precedente: Shi e Li nello studio 27 hanno investigato la distribuzione del peso di Lee dei $\mathcal{C}_D$-codici sull'anello $\mathcal{R}$ e la loro immagine Gray, ma non hanno affrontato lo studio dei codici del sottocampo.

Motivazione della Ricerca

1. Miglioramento dei parametri: Dimostrare che i codici binari del sottocampo $\mathcal{C}_D^{(2)}$ possiedono parametri migliori rispetto all'immagine Gray binaria dello studio 27
2. Perfezionamento teorico: Fornire condizioni teoriche per la minimalità e l'autoortogonalità delle famiglie di codici basate su complessi simpliciali
3. Estensione applicativa: Applicare i codici doppi alla costruzione di grafi fortemente regolari

Contributi Principali

1. Determinazione della distribuzione del peso di Hamming dei codici del sottocampo: Caratterizzazione completa della distribuzione del peso di $\mathcal{C}_D^{(2)}$ per vari insiemi di definizione $D$ costruiti su complessi simpliciali
2. Costruzione di molteplici famiglie di codici a distanza ottimale: Identificazione di diverse famiglie infinite di codici lineari binari a distanza ottimale, alcune delle quali raggiungono il limite di Griesmer
3. Stabilimento di condizioni di minimalità e autoortogonalità: Fornitura di condizioni sufficienti affinché $\mathcal{C}_D^{(2)}$ sia minimale e autoortogonale
4. Dimostrazione del vantaggio parametrico: Prova che i codici del sottocampo presentano prestazioni parametriche superiori rispetto ai codici dell'immagine Gray
5. Costruzione di grafi fortemente regolari: Utilizzo dei codici doppi proiettati per la costruzione di due famiglie di grafi fortemente regolari

Dettagli Metodologici

Definizione del Compito

Studio dei codici lineari $\mathcal{C}_D$ sull'anello $\mathcal{R} = \mathbb{F}_2[x,y]/\langle x^2, y^2, xy-yx\rangle$, dove:

• L'insieme di definizione $D$ è costruito sulla base di complessi simpliciali
• L'obiettivo è analizzare le proprietà dei codici del sottocampo binario $\mathcal{C}_D^{(2)}$

Quadro Teorico

1. Struttura dell'Anello e Base

Ogni elemento dell'anello $\mathcal{R}$ può essere rappresentato come $a + bu + cv + duv$, dove $a,b,c,d \in \mathbb{F}_2$, $u = x + \langle x^2, y^2\rangle$, $v = y + \langle x^2, y^2\rangle$.

Si sceglie la base $\mathbb{F}_2$ $\mathcal{B} = \{b_1 = 1+u+v, b_2 = u+v, b_3 = u, b_4 = uv\}$.

2. Costruzione del Codice del Sottocampo

Utilizzo della traccia $\mathbb{F}_2$-valuata $\tau: \mathcal{R} \to \mathbb{F}_2$: $\tau(a + bu + cv + duv) = a + b + c + d$

Teorema 3.3: Se $D = b_1D_1 + b_2D_2 + b_3D_3 + b_4D_4$, allora $\mathcal{C}_D^{(2)}$ è generato dalla matrice: $G^{(2)} = \begin{pmatrix} G_1 + G_4 \\ G_3 \\ G_2 \\ G_1 \end{pmatrix}$

3. Formula di Calcolo del Peso

Per $(x_1,x_2,x_3,x_4) \in (\mathbb{F}_2^m)^4$, si ha: $\text{wt}(c_D^{(2)}(x_1,x_2,x_3,x_4)) = \frac{|D|}{2} - \frac{1}{2}\sum_{d_1 \in D_1} (-1)^{(x_1+x_4)d_1} \sum_{d_2 \in D_2} (-1)^{x_3d_2} \sum_{d_3 \in D_3} (-1)^{x_2d_3} \sum_{d_4 \in D_4} (-1)^{x_1d_4}$

Innovazioni Tecniche Fondamentali

1. Tecnica delle Funzioni Booleane

Definizione della funzione booleana $\psi(\cdot | Y): \mathbb{F}_2^m \to \mathbb{F}_2$: $\psi(x_1 | Y) = \prod_{i \in Y}(1-\alpha_i) = \begin{cases} 1, & \text{se } \text{Supp}(x_1) \cap Y = \emptyset \\ 0, & \text{se } \text{Supp}(x_1) \cap Y \neq \emptyset \end{cases}$

2. Applicazione dei Complessi Simpliciali

Utilizzo delle proprietà del complesso simpliciale $\Delta_X$ e del suo complemento $\Delta_X^c$: $\sum_{t \in \Delta_Y} (-1)^{x_1 t} = 2^{|Y|}\psi(x_1 | Y)$$\sum_{t \in \Delta_Y^c} (-1)^{x_1 t} = 2^m\delta_{0,x_1} - 2^{|Y|}\psi(x_1 | Y)$

Configurazione Sperimentale

Verifica Teorica

Questo articolo è principalmente un lavoro teorico, i cui risultati sono verificati mediante dimostrazioni matematiche. Gli autori utilizzano il sistema di algebra computazionale MAGMA per verificare esempi specifici.

Esempi di Verifica

Esempio 4.8: $m=4$, $X=Y=Z=\emptyset$, $W=\{1,2,3\}$

• Ottenimento di un codice lineare binario doppio ottimale con parametri $[120, 7, 60]$
• Enumeratore del peso: $x^{120} + 15x^{56}y^{64} + 112x^{60}y^{60}$
• Il codice è sia minimale che autoortogonale, consentendo la costruzione di un codice quantistico di correzione degli errori $[[120, 106, 3]]$

Risultati Sperimentali

Risultati Teorici Principali

Teorema 4.2 fornisce i parametri dei codici per 6 diversi insiemi di definizione:

1. Codici singoli: $D = b_1\Delta_X + b_2\Delta_Y + b_3\Delta_Z + b_4\Delta_W$
   • Parametri: $[2^{|X|+|Y|+|Z|+|W|}, |X|+|Y|+|Z|+|W|, 2^{|X|+|Y|+|Z|+|W|-1}]$
   • Condizione di distanza ottimale: $|X|+|Y|+|Z|+|W| \geq 2$
2. Codici doppi: $D = b_1\Delta_X^c + b_2\Delta_Y + b_3\Delta_Z + b_4\Delta_W$ ($|X| < m$)
   • Parametri: $[(2^m-2^{|X|})2^{|Y|+|Z|+|W|}, m+|Y|+|Z|+|W|, (2^m-2^{|X|})2^{|Y|+|Z|+|W|-1}]$
   • Raggiungimento del limite di Griesmer, distanza ottimale
3. Codici quadrupli: $D = b_1\Delta_X^c + b_2\Delta_Y^c + b_3\Delta_Z + b_4\Delta_W$
   • Parametri: $[(2^m-2^{|X|})(2^m-2^{|Y|})2^{|Z|+|W|}, 2m+|Z|+|W|, (2^m-2^{|X|}-2^{|Y|})2^{m+|Z|+|W|-1}]$
   • Condizione di distanza ottimale: $2^{|X|+|Y|+|Z|+|W|} \leq m+|Z|+|W|+\min\{|X|,|Y|\}$

Condizioni di Minimalità e Autoortogonalità

Teorema 4.7 fornisce condizioni sufficienti:

• Autoortogonalità: quando ogni parola di codice ha peso multiplo di 4 (utilizzando il Teorema 2.2)
• Minimalità: quando $\frac{\text{wt}_{\min}}{\text{wt}_{\max}} > \frac{1}{2}$ (utilizzando il Lemma 2.3)

Costruzione di Grafi Fortemente Regolari

Teoremi 4.12 e 4.13 costruiscono due famiglie di grafi fortemente regolari:

• Prima famiglia di parametri: $(2^{m+|Y|+|Z|+|W|}, (2^m-2^{|X|})2^{|Y|+|Z|+|W|}, (2^m-2^{|X|+1})2^{|Y|+|Z|+|W|}, (2^m-2^{|X|})2^{|Y|+|Z|+|W|})$
• Seconda famiglia di parametri: $(2^{m+|Y|+|Z|+|W|}, 2^{|X|+|Y|+|Z|+|W|}-1, 2^{|X|+|Y|+|Z|+|W|}-2, 0)$

Lavori Correlati

Sviluppo Storico

1. Metodo dell'applicazione Gray: Prima applicazione di Hammons et al. dell'applicazione Gray per la costruzione di codici non lineari ottimali
2. Metodo dei complessi simpliciali: Introduzione da parte di Chang e Hyun dei complessi simpliciali per la costruzione di codici lineari ottimali
3. Teoria dei codici su anelli: Ricerca sulla costruzione di codici su vari anelli finiti

Posizionamento del Contributo di questo Articolo

• Estensione del lavoro di Shi e Li, dalla transizione dell'immagine Gray ai codici del sottocampo
• Fornitura di un quadro teorico più sistematico
• Dimostrazione del vantaggio parametrico e dell'ottimalità

Conclusioni e Discussione

Conclusioni Principali

1. Costruzione riuscita di molteplici famiglie di codici lineari binari a distanza ottimale
2. Stabilimento di criteri teorici per la minimalità e l'autoortogonalità
3. Dimostrazione del vantaggio parametrico dei codici del sottocampo rispetto ai codici dell'immagine Gray
4. Realizzazione dell'applicazione dalla teoria dei codici alla teoria dei grafi

Limitazioni

1. Considerazione solo di complessi simpliciali con un singolo elemento massimale
2. L'estensione a complessi con due elementi massimali diventa eccessivamente complessa dal punto di vista computazionale
3. Alcune condizioni di distanza ottimale sono piuttosto restrittive

Direzioni Future

1. Studio dei codici del sottocampo dei $\mathcal{C}_D$-codici su alfabeti diversi
2. Esplorazione di complessi simpliciali con due elementi massimali
3. Ricerca di condizioni di distanza ottimale più generali

Valutazione Approfondita

Punti di Forza

1. Contributo teorico significativo: Analisi sistematica della distribuzione del peso dei codici del sottocampo, colmando lacune teoriche
2. Forte innovazione metodologica: Combinazione abile di complessi simpliciali, funzioni booleane e applicazioni di traccia
3. Buona completezza dei risultati: Fornitura di tabelle complete della distribuzione del peso e formule parametriche
4. Alto valore applicativo: I codici costruiti possono essere utilizzati per codici di correzione degli errori quantistici e grafi fortemente regolari

Insufficienze

1. Elevata complessità computazionale: Per complessi simpliciali complessi, il calcolo diventa estremamente laborioso
2. Verifica pratica insufficiente: Mancanza di esperimenti numerici su larga scala e test di applicazione pratica
3. Generalizzabilità limitata: Il metodo è principalmente applicabile a strutture di anelli specifiche

Impatto

1. Valore accademico: Fornisce una nuova direzione di ricerca per la teoria algebrica dei codici
2. Valore pratico: I codici ottimali costruiti hanno potenziali applicazioni nei sistemi di comunicazione
3. Riproducibilità: I risultati teorici sono completi, ma richiedono una solida formazione matematica per la comprensione

Scenari Applicabili

1. Sistemi di comunicazione che richiedono correzione efficiente degli errori
2. Codici di correzione degli errori quantistici nell'elaborazione dell'informazione quantistica
3. Costruzione di grafi fortemente regolari in matematica combinatoria
4. Schemi di condivisione segreta in crittografia

Bibliografia

L'articolo cita 35 articoli correlati, principalmente includenti:

• 27 Lavoro precedente di Shi, M. e Li, X. (direttamente esteso in questo articolo)
• 9 Lavoro fondamentale di Chang, S. e Hyun, J.Y. sui complessi simpliciali
• 13 Lavoro classico di Hammons et al. sull'applicazione Gray
• 12 Teoria fondamentale di Griesmer sui limiti della lunghezza dei codici