Aléatoire Codes Correcteurs d’Erreurs pour RLNC Résultats Présentation des Résultats Probabilité d’Erreur du Décodeur en Métrique Rang Conclusion et Perspectives
Aléatoire Codes Correcteurs d’Erreurs pour RLNC Résultats Présentation des Résultats Probabilité d’Erreur du Décodeur en Métrique Rang Conclusion et Perspectives
“store and forward” N’atteind pas le débit maximal pour le multicast • Codage réseau permet aux nœuds intermédiaires de combiner les paquets • Uniquement des combinaisons linéaires de paquets ⇒ Codage réseau linéaire • Résultat: plus haut débit pour multicast, meilleures adaptabilité et robustesse aux pertes de paquets
• Fixer les combinaisons linéaires nécessite la connaissance du réseau et est trop rigide • Solution: choisir les combinaisons linéaires aléatoirement • Dans l’exemple, 1 chance sur 3 de succès Mais, probabilité de succès tend vers 1 avec la taille du corps (Kötter et Médard) • En-tête pour enregistrer combinaisons linéaires ⇒ (Ir|M), où M = a b • Décodage facile: on reçoit (L|LM), on calcule L−1(LM)
RLNC très sensible aux erreurs pour deux raisons • Différents types d’erreurs • Liens défectueux • Taille du corps insuffisante • Nœuds défaillants ou malveillants • Adversaire sur le réseau • Propagation des erreurs: un paquet erroné peut corrompre tous les paquets après combinaison linéaire • Codes en métrique de Hamming inadaptés
préserve l’espace des lignes de la matrice envoyée ⇒ Modèle de transmission d’un sous-espace linéaire • Deux façons de modifier un sous-espace - Effacement: suppression d’une dimension - Erreur: addition d’une dimension • Canal opérateur: envoie U, reçoit V = H(U) ⊕ E H représente les effacements, E sont des erreurs • Contrôle d’erreurs pour RLNC est un problème de codage, où les mots de code sont des sous-espaces
sous-espaces • Code de sous-espaces: ensemble de sous-espaces de GF(q)n ⇒ Sous-ensemble de l’espace projectif • Métriques: - distance de sous-espace dS pour erreurs inhérentes au réseau - distance d’injection dI pour canaux avec adversaire • V obtenu de U après effacements et ρ erreurs dS(U, V) = + ρ = dim(U + V) − dim(U ∩ V) dI(U, V) = max{ , ρ} = max{dim(U), dim(V)} − dim(U ∩ V)
de dimension constante (CDC): ensemble de sous-espaces de GF(q)n avec dimension r ⇒ Sous-ensemble du Grassmannien • dS(U⊥, V⊥) = dS(U, V) ⇒ assume r ≤ n 2 • Avantages: - dS (C) = 2dI (C) pour un CDC ⇒ Utilisable dans les deux scénarios, et dS maximum - Procédure de décodage simplifiée • Relation avec les codes en métrique rang par le ‘lifting’ [SKK08]
[Gab85], [Rot91] • Code en métrique rang: ensemble de matrices dans GF(q)m×n • Applications au stockage des données, à la cryptographie, au codage espace-temps etc • Distance rang: dR(M, N) = rk(M − N) dR(MT, NT) = dR(M, N) ⇒ m ≥ n • Borne de Singleton: |C| ≤ qm(n−dR+1) • Codes optimaux (atteignent la borne de Singleton): codes MRD
rang • Lifting: M ∈ GF(q)m×n, I(M) est l’espace des lignes de (Im|M) • dI(I(M), I(N)) = dR(M, N) • C code en métrique rang ⇒ I(C) CDC, et dS(I(C)) = 2dI(I(C)) = 2dR(C) • Contrôle d’erreurs pour RLNC avec liftings est un problème en métrique rang • Code KK: lifting d’un code de Gabidulin (transposé). Presque optimal • Décodeur en métrique rang généralisé pour codes KK
Aléatoire Codes Correcteurs d’Erreurs pour RLNC Résultats Présentation des Résultats Probabilité d’Erreur du Décodeur en Métrique Rang Conclusion et Perspectives
en métrique rang - Propriétés de recouvrement (IT 08 + CL 09) - Identité de MacWilliams (EURASIP 08) - Probabilité d’erreur du décodeur (IT 08 + soumis à IT) - Codes de rang constant (soumis à IT) - Implémentation du décodeur pour codes KK (en préparation) • Codes de dimension constante - Construction et propriétés de recouvrement (soumis à IT) - Probabilité d’erreur du décodeur (soumis à IT) • Codes de sous-espaces - Propriétés d’empilement et de recouvrement (soumis à IT)
Identité de MacWilliams - Essentielle relation sur les distributions des distances entre un code et son dual - En métrique rang, Delsarte détermine une forme combinatoriale - Forme polynomiale, jusqu’alors inconnue - Moments binomiaux et de puissance de la distribution des rangs • Propriétés de recouvrement - Propriétés géométriques - Bornes et constructions explicites asymptotiquement optimales, voire optimales à un facteur près - Rayon de recouvrement de codes connus (Gabidulin et autres) • Implémentation du décodeur SKK - Simplification de l’algo et évaluation du nombre d’opérations - Codes KK peuvent être utilisés en applications
• Construction de CDCs avec décodeur amélioré Nouveau code contient code KK, décode plus d’erreurs que BDD • Probabilité d’erreur du décodeur Exactes valeurs et bornes pour tous les codes Liftings de codes MRD ont la plus haute DEP • Codes de sous-espaces Construction et bornes asymptotiquement optimales pour les deux problèmes: empilement et recouvrement, pour les deux métriques: sous-espace et injection
symétrique • Scénario: - Transmission de paquets avec RLNC - Adversaire injecte paquets afin de corrompre la transmission • Contrôle d’erreurs: lifting d’un code en métrique rang dans GF(q)m×n (m ≥ n) de distance min d • Canal rang symétrique: adversaire choisit les paquets uniformément aléatoirement ⇒ Erreur additive, toutes erreurs avec le même rang equiprobables
• Décodeur à distance bornée Trouve l’unique mot de code à distance ≤ t = d−1 2 de la matrice reçue • Trois sorties possibles: - Succès ssi matrice reçue à distance u ≤ t - Echec si d = 2t + 2 et distance u = t + 1 - Erreur ou échec si u ≥ d − t • Erreur plus grave qu’un échec ⇒ Etudie la probabilité d’erreur • DEP dépend du mot de code C et du rang u de l’erreur: P(C, u)
• Nombre de matrices de rang u dans GF(q)m×n: N(u) = n u α(m, u), α(m, u) = u−1 i=0 (qm − qi), n u = α(n,u) α(u,u) • Intersection de deux sphères de rayons u et s avec centres à distance d: J(u, s, d) [GY09] • Distribution des distances des codes MRD: M(d, r) mots de code de rang r ≥ d [Del78], [Gab85]
• Motivation: Autre relation entre les CDCs et les codes de métrique rang • CRCs optimaux de taille suffisante donnent des CDCs optimaux ⇒ Problème de trouver des CDCs optimaux devient un problème en métrique rang • Etude des CRCs aussi intéressante pour DEP AR(q, m, n, d, r): cardinalité maximale d’un CRC dans GF(q)m×n avec rang r et distance min d
n, d, r) • Borne de Johnson: AR(q, m, n, d, r) ≤ qn − 1 qn−r − 1 AR(q, m, n − 1, d, r) Idée: poinçonner le code par colonnes, étudier les codes obtenus • Borne de Singleton: AR(q, m, r, d, r) ≤ AR(q, m, r − 1, d − 1, r − 1) Idée: poinçonner la dernière colonne, le rang diminue de 1 et la distance d’au plus 1 • Combinaison des deux bornes: AR(q, m, n, d, r) ≤ n r α(m, r − d + 1)
symétrique • Bornes sur les distributions des distances (CRCs) ⇒ Borne sup pour tous codes: P(C, u) ≤ 1 N(u) n w=d n w α(m, w − d + 1) t s=0 J(u, s, w) • Borne sup universelle pour tous codes et erreurs: P(C, u) < K−2 q q−t(m−n+t), où 1 < K−1 q < 4 pour q ≥ 2 ⇒ Décroît exponentiellement avec t2
symétrique • Totale probabilité d’erreur P(C) = n u=d−t P(dR(M, C) = u)P(C, u) En pratique, P(dR(M, C) = u) décroît rapidement avec u ⇒ Somme dominée par le premier terme • Pour u = d − t, dépend uniquement de Ad(C): P(C, d − t) ∼ q−(d−t)(m+n−2t)Ad(C)
MRD ont la plus haute DEP à un facteur près: AR(d, r) < HqM(d, r) ⇒ P(C, u) < HqPMRD (u), où 1 < Hq ≤ 3.5 pour q ≥ 2 • Compromis entre rendement et DEP • Exactitude de la borne sup universelle: when d = 2t + 1, PMRD (d − t) > Kqq−t(m−n+t) ⇒ Exacte à un facteur près
• Si l’adversaire a connaissance du code utilisé, il peut choisir les paquets à injecter de manière intelligente ⇒ Après combinaisons linéaires, toutes erreurs avec même espace des lignes équiprobables • Généralisation du cas précédent • On retrouve les bornes dérivées plus haut • Autre vue: erreurs dans un appareil bidimenensionnel de stockage des données
Aléatoire Codes Correcteurs d’Erreurs pour RLNC Résultats Présentation des Résultats Probabilité d’Erreur du Décodeur en Métrique Rang Conclusion et Perspectives
des résultats • Perspectives sur RLNC et son contrôle d’erreurs: - RLNC: implémentation et problèmes liés - Constructions de CDCs et de codes de sous-espaces - Connection entre codes de sous-espaces et codes en métrique rang - Constructions et décodage des codes correcteurs d’erreurs pour RLNC • Autre direction: codes sur des sous-ensembles pour le routage. Relation avec codes binaires
forms over a finite field, with applications to coding theory,” J. Comb. Theory A, 1978 [Gab85] E. Gabidulin, “Theory of codes with maximum rank distance,” Probl. Inf. Transm., 1985 [GY08] M. Gadouleau and Z. Yan, “Constant-rank codes and their relations to constant-dimension codes,” IEEE WiNC, 2008 [GY09] M. Gadouleau and Z. Yan, “Bounds on covering codes with the rank metric,” IEEE Comm. Letters, 2009 [KK08] R. Kötter and F. Kschischang, “Coding for errors and erasures in random network coding,” IEEE Trans. IT, 2008 [Rot91] R. Roth, “Maximum-rank array codes and their application to crisscross error correction,” IEEE Trans. IT, 1991 [SKK08] D. Silva, F. Kschischang, and R. Kötter, “A rank-metric approach to error control in random network coding,” IEEE Trans. IT, 2008