Copertina

Formalizing building-up constructions of self-dual codes through isotropic lines in Lean

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Baek, Jae-Hyun, Kim, Jon-Lark
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Information Theory Computation and Language 94B05, 13D03
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fuzzy linear codes based on nested linear codes
di: Kim, Jon-Lark
Pubblicazione: (2023)

Galois equiangular tight frames from Galois self-dual codes
di: An, Junmin, et al.
Pubblicazione: (2025)

Symmetric Sudoku-Type Games from Perfect Codes
di: An, Junmin, et al.
Pubblicazione: (2026)

Shortest self-orthogonal embeddings of binary linear codes
di: An, Junmin, et al.
Pubblicazione: (2025)

Shortest LCD embeddings of binary, ternary and quaternary linear codes
di: An, Junmin, et al.
Pubblicazione: (2026)

Triorthogonal Codes and Self-dual Codes
di: Shi, Minjia, et al.
Pubblicazione: (2024)

A method for constructing quaternary Hermitian self-dual codes and an application to quantum codes
di: Harada, Masaaki
Pubblicazione: (2024)

How to Expand a Self-orthogonal Code
di: Kim, Jon-Lark, et al.
Pubblicazione: (2025)

The equivalent condition for GRL codes to be MDS, AMDS or self-dual
di: Liang, Zhonghao, et al.
Pubblicazione: (2025)

The distance function on Coxeter-like graphs and self-dual codes
di: Orel, Marko, et al.
Pubblicazione: (2024)

New generalizations of circular complex fuzzy sets and Gaussian weighted aggregation operators
di: Gülfırat, Yelda, et al.
Pubblicazione: (2025)

On large Sidon sets
di: Czerwinski, Ingo, et al.
Pubblicazione: (2024)

Sidon sets, sum-free sets and linear codes
di: Czerwinski, Ingo, et al.
Pubblicazione: (2023)

Polycyclic Codes over the Product Ring $\mathbb{F}_q^l$ and their Annihilator Dual
di: Akanksha, et al.
Pubblicazione: (2024)

Linear complementary dual quasi-cyclic codes of index 2
di: Abdukhalikov, Kanat, et al.
Pubblicazione: (2025)

Logical connectives of fuzzy soft set theory
di: Acharjee, Santanu, et al.
Pubblicazione: (2024)

On the generalization of the construction of quantum codes from Hermitian self-orthogonal codes
di: Galindo, Carlos, et al.
Pubblicazione: (2020)

Ternary near-extremal self-dual codes of lengths $36$, $48$ and $60$
di: Harada, Masaaki
Pubblicazione: (2024)

$(Θ, Δ_Θ, \mathbf{a})$-cyclic codes over $\mathbb{F}_q^l$ and their applications in the construction of quantum codes
di: Akanksha, et al.
Pubblicazione: (2025)

The Dimensions of the Hulls of Conorm Codes from Algebraic Geometry Codes
di: An, Junmin, et al.
Pubblicazione: (2024)

Shape enumerators of self-dual NRT codes over finite fields
di: Chen, Yin, et al.
Pubblicazione: (2024)

DNA codes from $(\text{\textbaro}, \mathfrak{d}, γ)$-constacyclic codes over $\mathbb{Z}_4+ω\mathbb{Z}_4$
di: Sharma, Priyanka, et al.
Pubblicazione: (2024)

An invariant-theoretic approach to three weight enumerators of self-dual quantum codes
di: Chen, Yin, et al.
Pubblicazione: (2024)

A proof of the Etzion-Silberstein conjecture for monotone and MDS-constructible Ferrers diagrams
di: Neri, Alessandro, et al.
Pubblicazione: (2023)

Galois self-orthogonal MDS codes with large dimensions
di: Wan, Ruhao, et al.
Pubblicazione: (2024)

On the existence of MRD self-dual codes
di: Berhuy, Grégory
Pubblicazione: (2023)

$2$-quasi-perfect Lee codes and abelian Ramanujan graphs: a new construction and relationship
di: Satake, Shohei
Pubblicazione: (2026)

Constacyclic codes of length $np^s$ over $\frac{\mathbb{F}_{p^m}[u]}{\langle u^t\rangle}$: Torsions and Cardinalities
di: Tiwari, Akanksha, et al.
Pubblicazione: (2026)

An infinite class of quantum codes derived from duadic constacyclic codes
di: Dastbasteh, Reza, et al.
Pubblicazione: (2023)

Quasi-twisted codes and their connection with additive constacyclic codes over finite fields
di: Abdukhalikov, Kanat, et al.
Pubblicazione: (2026)

Classification of LCD and self-dual codes over a finite non-unital local ring
di: Kushwaha, Anup, et al.
Pubblicazione: (2025)

Quasi-cyclic codes of index 2
di: Abdukhalikov, Kanat, et al.
Pubblicazione: (2025)

On the equivalence between additive and linear codes
di: Abdukhalikov, Kanat, et al.
Pubblicazione: (2026)

Classification of ternary maximal self-orthogonal codes of length 25
di: Araya, Makoto, et al.
Pubblicazione: (2026)

A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4
di: Ramos, Arthur F., et al.
Pubblicazione: (2026)

$S_h$-sets and linear codes over $\mathbb{F}_q$
di: Pantoja, Viviana Carolina Guerrero, et al.
Pubblicazione: (2024)

Equivalence of constacyclic codes with shift constants of different orders
di: Dastbasteh, Reza, et al.
Pubblicazione: (2024)

Galois hulls of constacyclic codes over affine algebra rings
di: Debnath, Indibar, et al.
Pubblicazione: (2024)

The trace dual of nonlinear skew cyclic codes
di: Bossaller, Daniel, et al.
Pubblicazione: (2025)

Recursive construction and enumeration of self-orthogonal and self-dual codes over finite commutative chain rings of even characteristic
di: Yadav, Monika, et al.
Pubblicazione: (2025)