Service Commun de la Documentation - Université de Limoges
Auteur Carmen-Simona NEDELOAIA
Titre Etude des énumérateurs des poids des codes linéaires utilisant des formes décomposées des matrices génératrices
Title  
Directeurs Pascale CHARPIN : Directeur de Recherche au projet Codes, INRIA Rocquencourt
Discipline Mathématiques et Applications
Université Université de Limoges
Ecole DoctoraleED n°258 Science - Technologie - Santé
FacultéFaculté des Sciences et Techniques
Equipe d'accueil Laboratoire d'Arithmétique, de Calcul formel et d'Optimisation (LACO)
Date de soutenance 28 février 2005
Résumé

Cette thèse est dédiée à l'étude des codes linéaires binaires cycliques ou auto-duaux, en utilisant la décomposition de leurs matrices génératrices. Cela nous amène à l'obtention des mots de petit poids voire au calcul exact des polynômes énumérateurs. Afin de simplifer la matrice génératrice, nous passons de l'ordre cyclique à l'ordre standard des bits. Cela nous permet de mettre en forme carrée modifée récursive tous les codes affines-invariants et de donner de nouvelles bornes supérieures pour les distances duales des codes BCH binaires de longueur 512.
Par la suite, nous montrons que tout code cyclique binaire à racines multiples est équivalent à une construction carrée. En particulier tous les codes cycliques auto-duaux (c.a.d. ) dont toutes les racines ont une multiplicité paire sont des sommes directes. Notre étude aboutit à l'énumération et au calcul des polynômes énumérateurs de tous les codes c.a.d. de longueur n ≤ 120 . Enfin, nous étudions certains codes auto-duaux, dont les plus connus sont les codes résidus quadratiques. En utilisant un algorithme de calcul du nombre des mots de petit poids et la théorie des invariants, nous avons obtenu les énumérateurs des poids de tous les codes duadiques de longueur n ≤ 152 , à une exception près.

Mots-clés code linéaire, polynôme énumérateur des poids, code cyclique, code auto-dual, constructions carré et carrée modifiée, théorie des invariants, mot de petit poids, ordre standard
Abstract

This thesis is dedicated to the study of binary linear codes, cyclic or self-dual, by using the decomposition of their generator matrices. This enables us to obtain minimum-weight words and to calculate weight enumerators. In order to simplify the generator matrix, we pass from the cyclic order to the standard bit order. We deduce a recursive twisted squaring construction of all affine-invariant codes and we give new upper bounds on the dual distances of binary extended BCH codes of length 512 .
On the other hand, we prove that any binary repeated-root cyclic code is equivalent to a squaring construction. In particular, any cyclic self-dual code (c.a.d. ) with all roots evenrepeated is a direct sum. Our study succeeds by enumerating all c.a.d. codes of length n ≤ 120 and by giving their weight enumerators. Finally, we study some classes of self-dual codes, the most famous being the quadratic-residue codes. By using an algorithm for finding the number of low-weight words and the invariant theory, we obtain the weight enumerators of all duadic codes of length n ≤ 152 , up to one code.

Keywords linear code, weight enumerator, cyclic code, self-dual code, (twisted) squaring construction, invariant theory, low-weight word, standard bit order
Texte intégral Version PDF