activity
20242026
collaborators

6 papers

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…

cs.IT2025

How to Expand a Self-orthogonal Code

Jon-Lark Kim, Hongwei Liu, Jinquan Luo

In this paper, we show how to expand Euclidean/Hermitian self-orthogonal code preserving their orthogonal property. Our results show that every -dimension Hermitian self-orthogo…

cs.IT2025

Shortest self-orthogonal embeddings of binary linear codes

Junmin An, Nathan Kaplan, Jon-Lark Kim +2

There has been recent interest in the study of shortest self-orthogonal embeddings of binary linear codes, since many such codes are optimal self-orthogonal codes. Several authors…

cs.IT2024

Hulls of Projective Reed-Muller Codes

Nathan Kaplan, Jon-Lark Kim

Projective Reed-Muller codes are constructed from the family of projective hypersurfaces of a fixed degree over a finite field $\F_q$. We consider the relationship between projecti…