Unit derived schemes applied to Hadamard matrices are used to construct and analyse linear block and convolutional codes. Codes are constructed to prescribed types, lengths and rates and multiple series of self-dual, dual-containing, linear complementary dual and quantum error-correcting of both linear block {\em and} convolutional codes are derived.
Papier-ID : 2410.24027Titel : On codes induced from Hadamard matricesAutor : Ted Hurley (University of Galway)Klassifizierung : cs.IT math.IT (Informationstheorie)Veröffentlichungszeit : Oktober 2024 (v2: 17. November 2025)Papierlink : https://arxiv.org/abs/2410.24027 Dieses Papier wendet Einheiten-abgeleitete Schemata (unit derived schemes) auf Hadamard-Matrizen an, um lineare Blockcode und Faltungscode zu konstruieren und zu analysieren. Das Papier konstruiert Codierungen mit spezifizierten Typen, Längen und Coderaten und leitet mehrere Familien von selbstdualen Codes, Codes mit enthaltener Dualität, linear komplementären dualen Codes sowie Quantenfehlerkorrektur-Codes ab, die beide Kategorien von linearen Blockcodes und Faltungscodes umfassen.
Fehlende algebraische Methoden zur Faltungscode-Konstruktion : Wie McEliece et al. aufgezeigt haben, fehlen Faltungscodes an universellen algebraischen Konstruktions- und Entwurfsmethoden, was ihre Skalierbarkeit und Verfügbarkeit stark einschränkt.Systematische Konstruktion spezifischer Code-Typen : Es ist erforderlich, Codierungen mit spezifizierten Eigenschaften (selbstdual, mit enthaltener Dualität, LCD-Codes usw.) zu konstruieren und dabei Länge, Distanz und Coderate zu kontrollieren.Konstruktion von Quantenfehlerkorrektur-Codes : Es ist notwendig, Quantenfehlerkorrektur-Codes durch klassische Codierungstheorie (wie die CSS-Methode) zu konstruieren.Theoretische Bedeutung : Bereitstellung eines einheitlichen algebraischen Konstruktionsrahmens für die CodierungstheoriePraktische Anwendungen :
LCD-Codes können gegen Seitenkanalattacken und Fehlerattacken eingesetzt werden Selbstduale Codes und Codes mit enthaltener Dualität können Quantenfehlerkorrektur-Codes konstruieren Faltungscodes werden in Kommunikationssystemen weit verbreitet eingesetzt (z.B. Viterbi-Algorithmus-Decodierung) Walsh-Hadamard-Codes haben zwar gute Distanzeigenschaften, aber extrem niedrige Coderaten (1/2^k) Es fehlt eine systematische universelle Methode zur Konstruktion verschiedener Code-Typen aus Hadamard-Matrizen Die Konstruktion von Faltungscodes ist lange Zeit auf computergestützte Erzeugung angewiesen gewesen und entbehrt theoretischer algebraischer Unterstützung Dieses Papier erweitert die in 27 vom Autor vorgeschlagene Einheiten-abgeleitete Methode und wendet sie auf Hadamard-Matrizen an, um zu erreichen:
Gleichzeitige Konstruktion von linearen Blockcodes und Faltungscodes Konstruktion zu spezifizierten Typen, Längen und Coderaten Erreichung berechenbarer Distanzgrenzen Erzeugung mehrerer Codierungen aus einer einzelnen Hadamard-Matrix Theoretischer Rahmen : Etablierung einer auf Hadamard-Matrizen basierenden Theorie der Einheiten-abgeleiteten Code-Konstruktion mit Beweis von 5 Kernproposionen (Propositions 2.1-2.5)Algorithmus-Design : Vorschlag von 4 universellen Konstruktionsalgorithmen:
Algorithmus 1: Konstruktion von LCD-Linearen Blockcodes mit beliebiger Coderate r/n Algorithmus 2: Konstruktion von selbstdualen linearen Blockcodes der Länge 2n Algorithmus 3: Konstruktion von selbstdualen Faltungscodes der Länge n Algorithmus 4: Konstruktion von Faltungscodes mit enthaltener Dualität und Coderate r/n (r≥n/2) Einheitliche Konstruktion mehrerer Code-Typen : Aus derselben Hadamard-Matrix können LCD-, selbstduale, DC- und Quantenfehlerkorrektur-Codes konstruiert werdenDistanzanalyse : Bereitstellung algebraischer Berechnungsmethoden für Distanzen; Faltungscode-Distanzen können das Doppelte von Blockcode-Distanzen erreichenKonkrete Anwendungen : Bereitstellung konkreter Fälle mit H(20), H(28) usw., Konstruktion großer Mengen neuer CodierungenEingabe : n×n Hadamard-Matrix H, erfüllend HH^T = nI_n, mit Elementen ±1
Ausgabe :
Linearer Blockcode: n,r,d _q Code (Länge n, Dimension r, Minimaldistanz d, Körper GF(q)) Faltungscode: (n,k,δ;μ,d_f)_q Code (Länge n, Rang k, Grad δ, Speicher μ, freie Distanz d_f) Einschränkungen :
Die Charakteristik p des Körpers erfüllt p∤n (für die meisten Konstruktionen) Für selbstduale Faltungscodes muss i=√(-1) im Körper existieren Rangbedingungen der Matrix Blockaufteilung der Hadamard-Matrix: H = (A/B), wobei A eine r×n Matrix ist
Schlüsseleigenschaften :
Im Körper GF(p) (p∤n) wird dies zu:
AA^T + BB^T = 0 (mod p)
d.h. AB^T = 0
Ergebnisse :
A erzeugt einen n,r Code B^T ist die Kontrollmatrix B erzeugt den dualen Code Theorem : Für H = (A/B), wenn p∤n, dann erzeugt A einen LCD-Code
Beweisskizze :
AB^T = 0 ⟹ B erzeugt den dualen Code von A H ist invertierbar ⟹ Die Zeilen von A können keine nichttriviale Kombination der Zeilen von B sein Daher C∩C^⊥ = 0 (LCD-Eigenschaft) Konstruktion : G = (I_n, αH), wobei α die Bedingung 1+α²n=0 erfüllt
Schlüsselberechnung :
(I_n, αH)(I_n / αH^T) = I_n + α²nI_n = (1+α²n)I_n
Wenn 1+α²n=0:
(I_n / αH^T) ist eine Kontrollmatrix mit Rang n K = (I_n, αH) erzeugt den dualen Code Daher ist der Code selbstdual Implementierungsdetails :
α kann in GF(p) oder seiner quadratischen Erweiterung GF(p²) existieren Die Generatormatrix wird direkt in systematischer Form gegeben Konstruktion : H = (A/B), n=2m, A und B jeweils m×n
Definition der Generatormatrix:
G(z) = A + iBz, wobei i=√(-1)
Verifikation der Selbstdualität :
G(z)(iB^T + A^Tz) = (A+iBz)(iB^T+A^Tz)
= 0 + nI_m·z - nI_m·z + 0 = 0
Daher ist H^T(z) = iB^T + A^Tz die Kontrollmatrix, und A+iB erzeugt den dualen Code
Verifikation der Nicht-Katastrophalität :
Daher hat G(z) ein rechtes polynomiales Inverses, und der Code ist nicht-katastrophal
Distanzberechnung :
Konstruktion : H = (A/B), A ist r×n, B ist (n-r)×n, r>n-r
Definition:
B_1 = (0_{t×n} / B), wobei t=2r-n
G(z) = A + iB_1z
Verifikation der DC-Eigenschaft :
Konstruktion der Kontrollmatrix H^T(z) = iB^T + C_1z Generatormatrix des dualen Codes: C_1^T + iB Verifikation, dass der duale Code im ursprünglichen Code enthalten ist Matrix-Blockierungsstrategie : Durch verschiedene Blockierungsweisen werden verschiedene Code-Typen aus derselben Hadamard-Matrix gewonnenParameterkontrolle : Durch Auswahl der Zeilenzahl r wird die Coderate kontrolliert (r/n)Körpererweiterungstechniken : Nutzung der Existenz von √(-1) zur Konstruktion von FaltungscodesBerechenbarkeit der Distanz : Algebraische Berechnung der Distanz unter Nutzung der Orthogonalität von Hadamard-MatrizenEinheitlicher Rahmen : Einheitliche Konstruktionsmethoden für lineare Blockcodes und FaltungscodesDieses Papier verwendet Hadamard-Matrizen mehrerer Größen:
Kleine Größen : H(12), H(20), H(24), H(28)Mittlere Größen : H(36), H(40), H(72)Große Größen : H(144)Matrix-Typen :
Paley-Hadamard-Matrizen (für Größen 12k) Nicht-zerlegbare Hadamard-Matrizen (bevorzugt) Codelänge n : Länge der CodierungDimension/Rang r oder k : Anzahl der InformationsbitsCoderate : r/n (lineare Blockcodes) oder k/n (Faltungscodes)Minimaldistanz d : Maß für die Fehlerkorrektur-FähigkeitSpeicher μ : Speicherlänge des FaltungscodesFreie Distanz d_f : Distanzmaß des FaltungscodesGAP-Computeralgebra-System und seine Pakete:
Guava-Paket: Codierungstheorie-Berechnungen Gauss-Paket: Matrixoperationen über endlichen Körpern Verwendet für: Submatrix-Operationen, Berechnungen über endlichen Körpern, Distanzverifikation Körperauswahl : Hauptsächlich GF(3), GF(5), GF(7) und ihre Erweiterungen GF(3²), GF(5²)Rangberechnung : Berechnung des Matrixrangs modulo pDistanzberechnung :
Kleine Längen (≤100): Direkte Computerberechnung Große Längen: Algebraische Methoden (Proposition 2.6, Lemma 2.18) Typ Parameter Körper Bemerkung LCD 20,13,4 ₃, 20,7,6 ₃GF(3) Linear komplementäre duale Codes Selbstdual Faltung (20,10,10;1,12)₃₂ GF(3²) Distanz 12 DC Faltung (20,13,7;1,8)₃₂ GF(3²) Mit enthaltener Dualität Quantencode Länge 20, Distanz 8, Coderate 6/20 GF(3²) Via CSS-Konstruktion Selbstdual 20,10,8 ₅GF(5) Linearer Blockcode Selbstdual Faltung (20,10,10;1,14)₇₂ GF(7²) Distanz 14 Selbstdual 40,20,12 ₃GF(3) Systematische Form
Typ Parameter Körper LCD 28,16,6 ₃, 28,12,9 ₅GF(3), GF(5) Selbstdual Faltung (28,14,14;1,12)₃ GF(3) DC Faltung (28,18,10;1,8)₃ GF(3) Quantencode Länge 28, Distanz 8, Coderate 8/28 GF(3) Selbstdual Faltung (28,14,14;1,16)₅ GF(5) Selbstdual 28,14,9 ₇GF(7)
Für Paley-Hadamard-Matrizen von H(12k):
Konstruktion selbstdualer 12k, 6k, d ₃ Codes Verifikationsergebnisse : Für k=1,2,3,4,5 (d.h. n=12,24,36,48,60) erreichen die konstruierten Codes optimale Distanzen Theoretische Obergrenze: d ≤ ⌊n/12⌋+3 Für n=72 und größer existieren keine extremalen Codes Faltungscodes vs. Lineare Blockcodes :
Beispiel H(12):
Linearer Blockcode A: 12,6,6 Faltungscode G(z)=A+iBz: Distanz d_f=12 Faltungscode-Distanz ist das Doppelte der Blockcode-Distanz Konstruktion von LCD-Codes mit beliebiger Coderate r/n (0<r<n) Selbstduale Codes: Coderate fest bei 1/2 DC-Faltungscodes: Coderate r/n, r≥n/2 Für Primzahlen p|n (p≠2):
Verifikation : Paley-Hadamard-Matrizen H(12k) haben in GF(3) genau Rang 6k
Matrix-Zerlegung : H = (A/B), A und B jeweils 6×12
Anwendung 1: Selbstdualer Linearer Blockcode (GF(3))
In GF(3): AA^T = 0 (da 3|12) A erzeugt 12,6,6 ₃ selbstdualen Code Optimalität : Erreicht theoretisch optimale DistanzFehlerkorrektur-Fähigkeit : Kann 2 Fehler korrigierenAnwendung 2: LCD-Code (GF(5))
A erzeugt 12,6,6 ₅ LCD-Code B erzeugt dualen Code, auch 12,6,6 ₅ Anwendung 3: Selbstdualer Faltungscode (GF(5))
G(z) = A + 2Bz (2=√(-1) in GF(5)) Parameter: (12,6,6;1,12)₅ Distanz: d_f = d(A) + d(B) = 6+6 = 12 Nicht-Katastrophalität: (A+2Bz)A^T = 6I₆ = I₆ Anwendung 4: Selbstdualer Code der Länge 24 (GF(5²))
Benötigt α²=2, x²-2 ist über GF(5) irreduzibel In GF(5²): (I₁₂, αH) erzeugt 24,12,8 ₅₂ selbstdualen Code Anwendung 5: Selbstdualer Code der Länge 24 (GF(7))
α=2 erfüllt 1+12α²=0 in GF(7) (I₁₂, 2H) erzeugt 24,12,8 ₇ selbstdualen Code Konstruktion eines Faltungscodes mit Speicher 3 aus H(12):
A = H[1..3][1..12]
B = H[4..6][1..12]
C = H[7..9][1..12]
D = H[10..12][1..12]
G(z) = A + Bz + Cz² + Dz³
Parameter: (12,3,9;3,24)
Distanz: 24 (da alle Submatrizen Distanz 6 haben)
H(72): 72,36,18 ₃ selbstdualer Code H(144): 144,72,d ₃ Code 36,18,12 ₃ selbstdualer Code (GF(3))(36,18,18;1,d)₅ selbstdualer Faltungscode (GF(5)) Quantencode: Länge 36, Distanz d Klassische Lehrbücher :Blahut 1 : Algebraische Codes für Datenübertragung MacWilliams & Sloane 4 : Theorie der Fehlerkorrektur-Codes McEliece 3 : Information und Codierungstheorie Faltungscode-Theorie :Johannesson & Zigangirov 2 : Grundlagen der Faltungscodierung Rosenthal et al. 35,36,38 : MDS-Faltungscodes Bocharova et al. 12 : Duale Faltungscodes LCD-Codes :Massey 30,31 : Erste Einführung des LCD-Code-Konzepts Carlet et al. 15-17 : Moderne Forschung zu LCD-Codes Anwendungen: Abwehr von Seitenkanalattacken 18,19 Selbstduale Codes :Mallows & Sloane 29 : Obere Grenzen für selbstduale Codes Pless 33 : Symmetrische Codes über GF(3) Mallows et al. 37 : Selbstduale Codes über GF(3) Quantenfehlerkorrektur-Codes :Calderbank & Shor 14 : CSS-Konstruktion Calderbank et al. 13 : Quantencodes über GF(4) Steane 39 : Einfache Quantenfehlerkorrektur-Codes van Lint & Wilson 5 : Kombinatorische Grundlagen Horadam 6 : Hadamard-Matrizen und ihre Anwendungen (Monographie) Hurley & Hurley 8,9,22-25 : Entwicklung der Einheiten-abgeleiteten Methode Hurley 27 : Endliche lineare Block- und Faltungscodes (Grundlage dieses Papiers) Hurley 26,28 : MDS-Code-Konstruktion Einheitlicher Rahmen : Erste einheitliche Behandlung von linearen Blockcodes und FaltungscodesAlgebraische Konstruktion : Lösung des von McEliece aufgezeigten Problems der fehlenden algebraischen Konstruktion von FaltungscodesMulti-Typ-Codes : Konstruktion mehrerer Code-Typen aus einer einzelnen MatrixBerechenbare Distanzen : Bereitstellung algebraischer DistanzberechnungsmethodenGroßflächige Machbarkeit : Konstruktion von Codes großer Länge und hoher CoderateTheoretische Beiträge :Etablierung eines vollständigen theoretischen Rahmens für die Codekonstruktion basierend auf Hadamard-Matrizen Beweis von 5 Kernproposionen und Bereitstellung von 4 universellen Algorithmen Vereinheitlichung der Konstruktionsmethoden für lineare Blockcodes und Faltungscodes Konstruktionsfähigkeit :Konstruktion von LCD-Codes mit beliebiger Coderate Konstruktion von selbstdualen, DC- und Quantenfehlerkorrektur-Codes Erzeugung mehrerer verschiedener Code-Typen aus einer einzelnen Hadamard-Matrix Leistungsvorteile :Faltungscode-Distanzen können das Doppelte von Blockcode-Distanzen erreichen Ternäre Codes erreichen bei kleinen Längen extremale Eigenschaften Große Längen und hohe Coderaten sind realisierbar Körper-Einschränkungen :Die meisten Konstruktionen erfordern p∤n Selbstduale Faltungscodes erfordern die Existenz von √(-1) Einige Konstruktionen erfordern Körpererweiterungen Distanzberechnung :Distanzberechnung bei großen Längen ist schwierig Abhängigkeit von algebraischen Methoden und Computerverifikation Nur Schätzungen in einigen Fällen möglich Hadamard-Matrix-Abhängigkeit :Erfordert vorherige Kenntnis der expliziten Darstellung von Hadamard-Matrizen Nicht-zerlegbare Hadamard-Matrizen haben bessere Leistung, sind aber schwer zu konstruieren Die ungelöste Hadamard-Vermutung begrenzt verfügbare Größen Faltungscodes mit hohem Speicher :Das Papier konzentriert sich hauptsächlich auf Speicher 1 Fälle mit hohem Speicher bleiben für zukünftige Forschung offen (nur Beispiel 2.10 gegeben) Verifikation praktischer Anwendungen :Fehlende Leistungstests in tatsächlichen Kommunikationssystemen Analyse der Decodierungskomplexität unzureichend Theoretische Erweiterungen :Systematische Konstruktion von Faltungscodes mit hohem Speicher Anwendung anderer Typen orthogonaler Matrizen Tiefere Forschung über nicht-binäre Körper Distanzverbesserungen :Präzisere Distanzgrenzen Konstruktion von MDS-Codes, die die Singleton-Grenze erreichen Asymptotische Eigenschaftsanalyse Anwendungserweiterungen :Implementierung in tatsächlichen Kommunikationssystemen Anwendungen in Quantencomputing Kryptographische Anwendungen Rechenoptimierung :Effiziente Decodierungsalgorithmen Parallele Implementierung Hardware-freundliches Design Starke theoretische Innovativität :Erste systematische Anwendung von Hadamard-Matrizen zur Konstruktion mehrerer Code-Typen Lösung des langfristigen Problems der algebraischen Konstruktion von Faltungscodes Innovative Anwendung der Einheiten-abgeleiteten Methode Gute Methodeneinheitlichkeit :Einheitliche Behandlung von linearen Blockcodes und Faltungscodes Einheitlicher Rahmen für verschiedene Code-Typen (LCD, selbstdual, DC) Vollständige Kette von Theorie über Algorithmen bis zu Anwendungen Hoher praktischer Wert :Bereitstellung expliziter Konstruktionsalgorithmen Realisierung beliebiger Coderaten und Längen Einfache Implementierung mit GAP-System Umfangreiche Experimente :Hadamard-Matrizen mehrerer Größen Mehrere endliche Körper (GF(3), GF(5), GF(7) und Erweiterungen) Detaillierte Prototyp-Beispiele (Beispiel 2.9) Klare Darstellung :Klare hierarchische Struktur Logische Abfolge von Definitionen, Proposionen, Algorithmen und Anwendungen Strenge mathematische Herleitungen Theoretische Vollständigkeit :Unzureichend systematische Behandlung des Falls p|n Unvollständige Theorie für Faltungscodes mit hohem Speicher Einige Beweise sind zu kurz (z.B. Distanzbeweis in Proposition 2.3) Experimentelle Einschränkungen :Fehlende systematische Vergleiche mit existierenden optimalen Codes Distanzberechnung hauptsächlich computergestützt (Länge ≤100) Fehlende Decodierungsleistungs-Experimente Unzureichende Anwendungsanleitung :Wie wählt man geeignete Hadamard-Matrizen? Strategien zur Parameterauswahl für verschiedene Anwendungsszenarien? Analyse der Decodierungskomplexität fehlt Reproduzierbarkeit :Keine bereitgestellten Codes oder konkrete Implementierungen Konstruktion einiger Hadamard-Matrizen nicht erläutert GAP-Implementierungsdetails unzureichend Vergleichende Analyse :Detaillierter Vergleich mit Walsh-Hadamard-Codes unzureichend Vergleich mit anderen algebraischen Konstruktionsmethoden fehlt Analyse des Leistungs-Komplexitäts-Kompromisses unzureichend Akademischer Beitrag :Bereitstellung neuer Konstruktionswerkzeuge für die Codierungstheorie Förderung der Anwendung von Hadamard-Matrizen in der Codierung Mögliche Auslösung nachfolgender Forschungsserien Praktischer Wert :Quantenfehlerkorrektur-Code-Konstruktion hat praktisches Anwendungspotenzial LCD-Codes haben Anwendungswert im Sicherheitsbereich Konstruktion großer Codes erfüllt moderne Kommunikationsanforderungen Reproduzierbarkeit :Theoretische Methoden sind klar und reproduzierbar Erfordert GAP-System-Unterstützung Konkrete Implementierung erfordert erhebliche Arbeit Einschränkungen :Abhängigkeit von der Existenz von Hadamard-Matrizen Einige Konstruktionen erfordern Körpererweiterungen Praktische Systemanwendung erfordert weitere Verifikation Theoretische Forschung :Forschung zu algebraischen Konstruktionsmethoden in der Codierungstheorie Forschung zu Anwendungen von Hadamard-Matrizen Quanteninformationstheorie Praktische Anwendungen :Quantenkommunikation : Quantenfehlerkorrektur-Code-KonstruktionSichere Kommunikation : LCD-Codes zur Abwehr von SeitenkanalattackenDatenspeicherung : Hochrate-Fehlerkorrektur-CodesFunkkommunikation : Faltungscode-AnwendungenUnterrichtszwecke :Fallstudien für Codierungstheorie-Kurse Beispiele für Anwendung algebraischer Methoden in der Codierung Unterrichtsmaterial zu Hadamard-Matrix-Anwendungen Nicht anwendbare Szenarien :Anwendungen, die extrem hohe Coderaten (>0,9) erfordern Szenarien, die extrem empfindlich gegenüber Decodierungskomplexität sind Anwendungen, die Soft-Decision-Decodierung erfordern 3 McEliece : Klassisches Lehrbuch zu Information und Codierungstheorie, weist auf das Problem der fehlenden algebraischen Konstruktion von Faltungscodes hin6 Horadam : Autoritative Monographie zu Hadamard-Matrizen und ihren Anwendungen13,14 Calderbank & Shor : Bahnbrechende Arbeiten zur CSS-Quantenfehlerkorrektur-Code-Konstruktion27 Hurley : Theoretische Grundlage dieses Papiers, endliche lineare Block- und Faltungscodes31 Massey : Bahnbrechende Arbeiten zu LCD-Codes35,38 Rosenthal et al. : Wichtige Forschung zu MDS-FaltungscodesGesamtbewertung : Dies ist ein ausgezeichnetes Papier mit starker theoretischer Innovativität und systematisch vollständigen Methoden. Der Autor hat erfolgreich Hadamard-Matrizen mit der Einheiten-abgeleiteten Methode kombiniert und einen einheitlichen Rahmen zur Konstruktion mehrerer Code-Typen etabliert, insbesondere durch Lösung des schwierigen Problems der algebraischen Konstruktion von Faltungscodes. Der Hauptwert des Papiers liegt in der Bereitstellung einer vollständigen Methodologie von Theorie über Algorithmen bis zu Anwendungen mit starker akademischer Bedeutung und Anwendungspotenzial. Die Hauptmängel liegen in der unvollständigen Theorie für Faltungscodes mit hohem Speicher und unzureichender praktischer Anwendungsverifikation. Es wird empfohlen, dass nachfolgende Arbeiten die praktische Systemimplementierung und Leistungstests verstärken.