On additive MDS codes with linear projections

Résumé technique de « On additive MDS codes with linear projections »

Énoncé du problème
Le papier étudie les propriétés structurelles des codes MDS (Maximum Distance Separable) additifs sur les corps finis. Plus précisément, il examine la question de savoir si les codes MDS additifs de grande longueur sont nécessairement équivalents à des codes linéaires. Alors que la conjecture MDS pose que pour les codes linéaires, la longueur $n$ est bornée par $q+1$ (avec des exceptions spécifiques), le comportement des codes additifs (qui sont linéaires sur un sous-corps mais pas nécessairement sur le corps complet) est moins bien compris. Les auteurs visent à fournir des preuves soutenant l'hypothèse selon laquelle des codes MDS additifs suffisamment longs sur $\mathbb{F}_{q^h}$, qui possèdent certaines projections de type « linéaire », doivent eux-mêmes être équivalents à des codes linéaires (ou du moins linéaires sur un sous-corps plus grand).

Méthodologie et cadre
Les auteurs utilisent une approche géométrique établie dans les travaux antérieurs [BGL22], liant les codes additifs à des objets géométriques appelés pseudo-arcs.

1. Correspondance géométrique : Un code $\mathbb{F}_q$-linéaire de longueur $n$ et de dimension $k$ sur $\mathbb{F}_{q^h}$ correspond à un système projectif $h$-système dans $PG(k-1, q)$. Le code est MDS si et seulement si ce système est un pseudo-arc (un ensemble de sous-espaces où n'importe quels $k$ engendrent l'espace).
2. Critère d'équivalence linéaire : Un code est équivalent à un code linéaire si et seulement si son $h$-système projectif associé est contenu dans un étalement desarguesien (Desarguesian spread).
3. Analyse des projections : La méthode centrale consiste à analyser les projections du code (et du pseudo-arc correspondant) à partir de positions de coordonnées spécifiques. Les auteurs exploitent des résultats connus concernant les pseudo-arcs et les quadrangles généralisés de translation (par exemple, les résultats de Penttila, Van de Voorde et d'autres) qui stipulent que si les projections d'un pseudo-arc se trouvent dans un étalement desarguesien, l'arc lui-même le fait souvent aussi.
4. Caractérisation algébrique : Pour les preuves, les auteurs expriment le code MDS sous une « forme standard » définie par une application $\mathbb{F}_q$-linéaire $f$. Ils analysent les conditions sous lesquelles le fait que les projections soient linéaires force les polynômes définissant le code à être des monômes ou des semi-linéaires, impliquant ainsi la linéarité du code.

Contributions clés et résultats
Le papier établit deux théorèmes principaux fournissant des conditions suffisantes pour qu'un code MDS additif soit équivalent à un code linéaire :

• Théorème 1.1 (Cas $k=3$) :
  Soit $C$ un code MDS $\mathbb{F}_q$-linéaire $(n, q^{3h}, n-2)_{q^h}$. Si $n$ est suffisamment grand (spécifiquement $n \ge 2q+3$ pour $h=2$, et $n \ge q^2+3+\delta_{2,q}$ pour $h=3$) et que $C$ possède trois coordonnées telles que les projections à partir de ces coordonnées sont équivalentes à des codes linéaires, alors $C$ est lui-même équivalent à un code linéaire.

  • Stratégie de preuve : Cela repose sur le Lemme 5.10, qui réduit le problème à montrer que des paires de polynômes linéarisés inversibles $(f, g)$ satisfaisant une propriété spécifique (Prop$_m$) doivent être des monômes. La preuve utilise des matrices de Dickson et des arguments de rang pour montrer que pour un $m$ grand, les polynômes doivent avoir des coefficients nuls, forçant ainsi qu'ils soient des monômes.

• Théorème 1.2 (Cas $k>3$) :
  Soit $C$ un code MDS $\mathbb{F}_q$-linéaire $(n, q^{hk}, n-k+1)_{q^h}$ avec $k > 3$. S'il existe deux sous-ensembles disjoints de coordonnées $A$ et $B$ tels que $|A| + |B| \le k-2$, et que les projections de $C$ à partir de $A$ et $B$ sont équivalentes à des codes linéaires, et $n > q+k$, alors $C$ est équivalent à un code linéaire sur un corps plus grand $\mathbb{F}_{q^s}$ (où $s$ est un diviseur de $h$).

  • Affinement : Si $n$ est encore plus grand ($n > q^e + k$, où $e$ est le plus grand diviseur propre de $h$), alors $C$ est équivalent à un code linéaire sur $\mathbb{F}_{q^h}$.
  • Stratégie de preuve : La preuve construit un code en forme standard et utilise la linéarité des projections pour dériver des contraintes sur les polynômes définissants. Elle démontre que l'existence de deux ensembles disjoints de projections linéaires force l'application définissante à être semi-linéaire sur un sous-corps, impliquant finalement une pleine linéarité sous les contraintes de longueur.

Signification et affirmations
Les auteurs présentent ces résultats comme fournissant « certaines preuves » pour la conjecture plus large selon laquelle les longs codes MDS additifs sont équivalents à des codes linéaires.

• Pont entre géométrie et théorie des codes : Le papier traduit avec succès les résultats géométriques sur les pseudo-arcs et les étalements desargusiens (spécifiquement le Résultat 4.4 de [BGL22]) en théorèmes concrets de théorie des codes concernant les codes MDS additifs.
• Extension de résultats connus : Le travail étend les découvertes précédentes (telles que le Résultat 4.6) qui étaient limitées à des cas spécifiques (par exemple, $h=2$). Le Théorème 1.1 généralise ces cas à $h=3$ et fournit un cadre unifié pour $k=3$.
• Étroitesse des bornes : Le papier reconnaît que les bornes sur $n$ dans les théorèmes ne sont probablement pas serrées. Il fournit une construction de contre-exemple (Lemme 5.8) montrant que si la longueur $n$ est trop petite (spécifiquement proche de la borne $n_q(k)$), on peut construire des codes MDS additifs non linéaires qui possèdent pourtant des projections linéaires. Cela souligne la nécessité de l'hypothèse de « code long » dans leurs théorèmes.

Le papier conclut en notant que, bien que les résultats soutiennent la conjecture, l'existence de pseudo-arcs non contenus dans des étalements desargusiens reste une question géométrique ouverte, et que les preuves algébriques reposent sur des bornes spécifiques pour la longueur des codes.