Showing 2026Show all
3 papers · 1 filter
cs.IT2026
Shortest self-orthogonal and LCD embeddings of linear codes over Fq+uFq
Junmin An, Jon-Lark Kim
This paper determines the exact lengths of shortest self-orthogonal and LCD embeddings of linear codes over . By decomposing Gram matrices over $\mathbb…
cs.IT2026
Embedding linear codes over Z4 into self-orthogonal codes
Junmin An, Jon-Lark Kim, San Ling
The purpose of this paper is to investigate the self-orthogonal embedding problem for linear codes over Z4. We propose several tight bounds on the length of the shortest self-ortho…
cs.IT2026
Formalizing building-up constructions of self-dual codes through isotropic lines in Lean
Jae-Hyun Baek, Jon-Lark Kim
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 Z…