יום שלישי, 15 בספטמבר 2026 LIVE
AI־INFO

כתבה arXiv cs.CL ·

בניית קודים עצמיים דואליים באמצעות שורות איזוטרופיות

Formalizing building-up constructions of self-dual codes through isotropic lines in Lean
חוקרים פיתחו שיטה לבניית קודים עצמיים דואליים באמצעות שורות איזוטרופיות. השיטה משתמשת ב-Learn 4 ומאפשרת יצירת קודים אופטימליים.
תקציר מקורי באנגליתarXiv:2604.08485v2 Announce Type: replace-cross Abstract: The purpose of this paper is two-fold. First, we show that, after a specified form isometry, the two-coordinate reduction in the binary Hilbert-symbol realization of Chinburg and Zhang is inverse to Kim's building-up construction, up to permutation equivalence. Second, for $q\equiv1\pmod4$, we develop a $q$-ary analogue of this reduction-and-extension mechanism. The identity $c^2=-1$ yields the isotropic line governing the split construction. For every fixed ordered pairing of the coordinates, we obtain a universal rank-$r$ boxed normal form, where $r$ is the dimension of the intersection with the product of these isotropic lines. Applications include optimal self-dual $[6,3,4]$ and $[8,4,4]$ codes over $\mathbb F_{5}$, optimal self
קרא במקור המקורי