arXiv subjects

Jon-Lark Kim

Publications and source records attributed to Jon-Lark Kim.

At least 19 recordsLinked to original sources

arXiv2026

Researcher-in-the-Loop Evolutionary Discovery of Entanglement-Assisted Quantum Code Families

LLM-guided program evolution can produce mathematical constructions, but validity, generality, and reproducibility require distinct evidence. We develop a researcher-in-the-loop discovery pipeline that combines program evolution, exact evaluation, mathematical generalization, certified nonexistence checks, and formal proof checking. We apply it to entanglement-assisted quantum error-correcting codes (EAQECCs). Starting from tasks that did not specify a family formula, evolved programs produced finite qubit constructions whose structure researchers generalized to the family $[[n,1,n-1;n-q-1]]_q$ for prime powers $q\ge3$ at $n\ge2q+1$ and for $q=2$ at odd $n\ge5$. Lean checks the algebraic certificate underlying this family. Together with entanglement lifting, the family closes 54 gaps in archived EAQECC tables. The released evidence includes 115 verified code records, ten nonexistence results with checked DRAT proofs, family implementations, and preserved search programs for exact checks and seeded replay. In a controlled cohort of eight paired generation blocks, validation-selected iterative programs achieve success in 46.1% and 31.6% of held-out executions at unseen lengths $n=13,15$, compared with 19.5% and 3.1% for independently generated programs. In this setting, program evolution and researcher analysis turn finite computational discoveries into a proved family with independently checkable evidence.

cs.AI↗

arXiv2026

Second order Recurrences, quadratic number fields and cyclic codes

Wall-Sun-Sun primes (shortly WSS primes) are defined as those primes $p$ such that the period of the Fibonacci recurrence is the same modulo $p$ and modulo $p^2.$ This concept has been generalized recently to certain second order recurrences whose characteristic polynomials admit as a zero the principal unit of $\mathbb{Q}(\sqrt{d}),$ for some integer $d>0.$ Primes of the latter type we call $WSS(d).$ They correspond to the case when $\mathbb{Q}(\sqrt{d})$ is not $p$-rational. For such a prime $p$ we study the weight distributions of the cyclic codes over $\mathbb{F}_p$ and $\mathbb{Z}_{p^2}$ whose check polynomial is the reciprocal of the said characteristic polynomial. Some of these codes are MDS (reducible case) or NMDS (irreducible case).

math.NT↗

arXiv2026

Extremal diagonal-coherent binary codes: shortened Hamming cores, deep holes, and the 64 I-Ching hexagrams

Each of the 64 hexagrams of the I-Ching, or Book of Changes, is a stack of six Yin-Yang lines and is therefore a binary vector of length 6; the eight hexagrams formed by repeating a single trigram span a doubled-trigram subspace $Δ$. We ask which binary $[6,3,3]$ codes are compatible with this trigram structure. We show that a $[6,3,3]$ code meets $Δ$ in at most four codewords, that the four are then forced to be the doubled trigrams Earth, Fire, Wind and Lake, and that exactly two codes attain this bound: the shortened Hamming code $\mathcal C_A$ and its dual. Since $\mathcal C_A$ has covering radius 2, its eight codewords, their radius-one balls, and its eight deep holes together reconstruct all 64 hexagrams. In general, we call a binary code of length $2m$ with $d \ge 3$ diagonal-coherent if it contains the half of the diagonal subspace $\{(u,u)\}$ coming from even-weight vectors $u$ -- the largest part of that subspace a single-error-correcting code can contain -- and extremal if its dimension is as large as possible. For $m\ge2$ and $r=\lceil\log_2(2m+1)\rceil$, we determine the number $N(m)$ of extremal diagonal-coherent codes with parameters $[\,2m,\ 2m-r,\ \ge3\,]$, show that diagonal coherence entails no loss of redundancy, and determine their minimum distances. We also put these codes in a normal form, determine their hulls, and show that each has covering radius $2$ with exactly $2^r-1-2m$ deep-hole cosets. Finally we propose three open problems.

math.CO↗

arXiv2026

An integer determinant approach to the length of Type II codes and the weights of shadows

It is well known that the length $n$ of a binary Type II code is divisible by $8$. The classical proof relies on Gleason's theorem on weight enumerators. Motivated by a question of Vera Pless, we give elementary proofs of this fact that avoid invariant theory. Our main tool is a congruence modulo $8$ for the determinant of the integer Gram matrix $AA^{\mathsf T}$ of a binary orthogonal matrix $A$, obtained directly from the Leibniz expansion. It gives a short proof of a theorem of Janusz: the number of rows of weight congruent to $3 \pmod 4$ in a binary orthogonal matrix is divisible by $4$. From this single statement we derive both the length restriction for Type II codes and the theorem of Conway and Sloane that every vector in the shadow of a binary self-dual code of length $n$ has weight congruent to $n/2 \pmod 4$. We also give two short character-theoretic proofs of the length restriction and explain how all of these arguments detect the Arf invariant of a quadratic form.

cs.IT↗

arXiv2026

Soohak: A Mathematician-Curated Benchmark for Evaluating Research-level Math Capabilities of LLMs

Following the recent achievement of gold-medal performance on the IMO by frontier LLMs, the community is searching for the next meaningful and challenging target for measuring LLM reasoning. Whereas olympiad-style problems measure step-by-step reasoning alone, research-level problems use such reasoning to advance the frontier of mathematical knowledge itself, emerging as a compelling alternative. Yet research-level math benchmarks remain scarce because such problems are difficult to source (e.g., Riemann Bench and FrontierMath-Tier 4 contain 25 and 50 problems, respectively). To support reliable evaluation of next-generation frontier models, we introduce Soohak, a 439-problem benchmark newly authored from scratch by 64 mathematicians. Soohak comprises two subsets. On the Challenge subset, frontier models including Gemini-3-Pro, GPT-5, and Claude-Opus-4.5 reach 30.4%, 26.4%, and 10.4% respectively, leaving substantial headroom, while leading open-weight models such as Qwen3-235B, GPT-OSS-120B, and Kimi-2.5 remain below 15%. Notably, beyond standard problem solving, Soohak introduces a refusal subset that probes a capability intrinsic to research mathematics: recognizing ill-posed problems and pausing rather than producing confident but unjustified answers. On this subset, no model exceeds 50%, identifying refusal as a new optimization target that current models do not directly address. To prevent contamination, the dataset will be publicly released in late 2026, with model evaluations available upon request in the interim.

cs.CL↗

arXiv2026

Embedding Linear Codes into Optimal Self-Orthogonal Codes Based on Constraint-Preserving Genetic Algorithms

We study the problem of finding shortest self-orthogonal embeddings of a given code which have the largest possible minimum distance by employing a constraint-preserving genetic algorithm. We show that the orthogonal group is generated by transvections corresponding to weight-four vectors. Using this result together with the fact that all shortest self-orthogonal embeddings can be obtained through the action of the orthogonal group, we construct a genetic algorithm in which each chromosome is represented by a sequence of weight-four vectors. Applying our algorithm to codes with dimensions $9\le k\le 15$ and lengths $22\le n\le 256$, we obtain 280 inequivalent optimal self-orthogonal codes. In particular, we obtain 34 codes with new parameters and 100 codes which are inequivalent to previously known codes with the same parameters.

cs.IT↗

arXiv2026

Double circulant LCD codes over $\mathbb{F}_2+u\mathbb{F}_2$ and constructions for binary LCD codes

Linear complementary dual (LCD) codes are linear codes that intersect their dual trivially. We study double circulant (Euclidean) LCD codes over the finite chain ring $R=\mathbb F_2+u\mathbb F_2$, where $u^2=0$. Using the Chinese Remainder Theorem and the factorization of $x^n-1$, we derive an explicit enumeration formula, with a separate treatment of the constituent corresponding to $x-1$, which is not obtained by a formal specialization of the previously known counting formula over $\mathbb F_q[u]/(u^k)$. Assuming Artin's primitive root conjecture for $2$, we show that the binary Gray images contain an asymptotically good family of rate $1/2$ whose relative distance can approach $H_2^{-1}(1/4)$ from below. More importantly from the constructive viewpoint, by combining Gray images with a known extension construction, we obtain a binary LCD code with parameters $[29,15,7]$ and construct two explicit permutation-inequivalent binary LCD codes with parameters $[45,23,9]$.

cs.IT↗

arXiv2026

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

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-dual $[8,4,5]$ and $[10,5,6]$ codes over $\mathbb F_{13}$, and a self-dual $[12,6,6]$ code over $\mathbb F_{13}$. We also give an exact repeated boxed realization of self-dual $[18,9,8]$ and $[20,10,10]$ codes over $\mathbb F_{13}$, in which the split-boxed parent and its building-up child occur in one complete generator matrix. The algebraic core is formalized in Lean 4.

cs.IT↗

arXiv2026

Shortest self-orthogonal embeddings of binary linear codes

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 have studied the length of a shortest self-orthogonal embedding of a given binary code $\mathcal C$, or equivalently, the minimum number of columns that must be added to a generator matrix of $\mathcal C$ to form a generator matrix of a self-orthogonal code. In this paper, we use properties of the hull of a linear code to determine the length of a shortest self-orthogonal embedding of any binary linear code. We focus on the examples of Hamming codes and Reed-Muller codes. We show that a shortest self-orthogonal embedding of a binary Hamming code is self-dual, and propose two algorithms to construct self-dual codes from Hamming codes $\mathcal H_r$. Using these algorithms, we construct a self-dual $[22, 11, 6]$ code, called the shortened Golay code, from the binary $[15, 11, 3]$ Hamming code $\mathcal H_4$, and construct a self-dual $[52, 26, 8]$ code from the binary $[31, 26, 3]$ Hamming code $\mathcal H_5$. We use shortest SO embeddings of linear codes to obtain many inequivalent optimal self-orthogonal codes of dimension $7$ and $8$ for several lengths. Four of the codes of dimension $8$ that we construct are codes with new parameters such as $[91, 8, 42],\, [98, 8, 46],\,[114, 8, 54]$, and $[191, 8, 94]$.

cs.IT↗

arXiv2026

Embedding linear codes over Z4 into self-orthogonal codes

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-orthogonal embedding over Z4, and determine the exact shortest self-orthogonal embedding length under specific conditions. As an example satisfying these conditions, we establish the exact length of the shortest self-orthogonal embedding for the quaternary Preparata codes. Furthermore, to establish these results, we completely classify the exact length of the shortest doubly even self-orthogonal embedding for binary linear codes in every possible case. Finally, when the shortest self-orthogonal embedding length of a given free code over Z4 is equal to the shortest doubly even self-orthogonal embedding length of its residue code, we present an algorithm to construct all possible shortest self-orthogonal embeddings. With our algorithm, we found twelve linear codes over Z4 whose minimum Lee distances are higher than those of the Z4-linear codes in Aydins database.

cs.IT↗

arXiv2026

New binary optimal LCD codes using heuristic embedding

In this paper, we investigate the construction of binary optimal LCD codes through short LCD embeddings. For this purpose, we design heuristic frameworks based on a greedy algorithm. We explore the search spaces of LCD embeddings using the fact that an invertible matrix together with an arbitrary matrix yields an LCD embedding. We therefore use elementary row operations on the invertible block and single entry-flips on the arbitrary block as local moves in a greedy algorithm. Using this method, we have found $14$ optimal new LCD codes with dimensions 7 and 8 for lengths from 55 to 201.

cs.IT↗

arXiv2026

Shortest self-orthogonal and LCD embeddings of linear codes over Fq+uFq

This paper determines the exact lengths of shortest self-orthogonal and LCD embeddings of linear codes over $\mathbb{F}_q+u\mathbb{F}_q$. By decomposing Gram matrices over $\mathbb{F}_q+u\mathbb{F}_q$ into pairs of symmetric matrices over the finite field $\mathbb{F}_q$, the embedding problems are reduced to the congruence classification of symmetric and alternate matrices over finite fields. Complete formulas for the shortest self-orthogonal embedding length are obtained, with two distinct cases arising in both even and odd characteristic. We also show that every self-orthogonal code over $\mathbb{F}_q+u\mathbb{F}_q$ with nonzero free rank can be viewed as a shortest self-orthogonal embedding of another code. We use Witt theory to construct all shortest self-orthogonal embeddings. A complete characterization of shortest LCD embeddings is also established in terms of invertible and arbitrary matrices of prescribed sizes appended to a generator matrix. Examples of self-orthogonal and LCD embeddings with the largest minimum distance for the code considered are also presented, some of whose Gray images are optimal codes over $\mathbb{F}_q$.

cs.IT↗

arXiv2026

Some MDS and ACD codes over commutative non-unital rings of orders 4 and 9 (Revision)

There are eleven finite rings of order $p^{2}$ denoted by $A_p$ to $K_p$ in alphabetical order. In particular, we consider $I_{2}$ and $I_{3}$ which are commutative non-unital rings of orders 4 and 9 defined by generators and relations as \[I_{p}=\left\langle a,b\mid pa=pb=0,\:a^{2}=b,\:ab=0\right\rangle\] for $p=2, 3,$ respectively. Alahmadi et al. studied codes over these rings. In this paper, we study additive complementary dual (ACD) codes over the rings $I_{2}$ and $I_{3}$. We show relations between ACD codes over $I_{2}$ and binary linear complementary dual (LCD) codes using a reduction map from $I_{2}$ to $\mathbb{F}_{2}$, and between ACD codes over $I_{3}$ and ternary LCD codes using a reduction map from $I_{3}$ to $\mathbb{F}_{3}$. Using the first relation, we classify ACD codes over $I_{2}$ with the highest minimum distances for $n=1, 2, 3$ and partially for $n=4, 5$. It turns out that they are maximum distance separable (MDS) codes. Using the second relation, we classify ACD codes over $I_{3}$ with the highest minimum Lee distances for $n=1, 2$ and partially for $n=3$. We generalize the two relations into a relation between ACD codes over $I_{p}$ and $p$-ary LCD codes using a reduction map from $I_{p}$ to $\mathbb{F}_{p}$. This is a correction of the paper published in Advances in Mathematics of Communications, Volume 24, pages 61-76, 2026. In particular, we corrected the statements of Theorems 3.5, 4.7, 4.8, and their proofs.

cs.IT↗

arXiv2026

Cyclic codes over a commutative non-unitary ring of order 4

Let $I_2$ be the commutative non-unitary ring of order $4$ arising in the classification of Fine. In this paper, we investigate cyclic codes over $I_2$ through their associated residue and torsion codes over $\mathbb{F}_2$. We introduce the notions of twisted and untwisted cyclic codes and characterize cyclicity in terms of a compatibility condition involving the twist map and the cyclic shift. Connections between cyclic codes over $I_2$ and binary quasi-cyclic codes are established via Gray maps. In particular, we show that the Gray image of a cyclic code over $I_2$ is a binary quasi-cyclic code of index $2$. We also study duality properties of cyclic codes over $I_2$ and prove that the dual of a cyclic code is again cyclic. Finally, we classify permutation inequivalent cyclic codes over $I_2$ for lengths $n \le 7$ and determine various structural properties of these codes.

cs.IT↗

arXiv2026

Construction of self-orthogonal codes over a commutative non-unitary ring of order 25

Codes over non-unitary rings have been studied recently. In particular, codes over the commutative non-unitary ring $I_p$ (in the classification of Fine) of order $p^2$ where $p$ is a prime are being considered. For $p=2$ (resp. $p=3$), three categories of codes over $I_p$ have been studied: self-orthogonal codes, quasi self-dual codes, and self-dual codes over $I_p$. Using some related mass formulas and building-up constructions, classifications of these codes have been done up to the permutation equivalence (resp. the monomial equivalence) for certain small lengths. In this paper, we take the prime $p=5$ and consider the ring $I_5$. We introduce the notion of linear codes over $I_5$. We also define the same three categories of linear $I_5$-codes, study the structures of these $I_5$-codes and relate them to their associated residue and torsion codes. We classify the three categories of codes completely in lengths at most $4$ up to the monomial equivalence for a given type $\{ k_1 , k_2 \}$. Moreover, in the paper of Alahmadi et al. regarding the mass formula for self-orthogonal codes over $I_p$, mistakes in the classification of quasi self-dual codes over $I_5$ had been made such as incorrect automorphism group order of some codes or inconsistency with the mass formula for self-orthogonal codes over $I_p$ for length $n=2$ and type $\{ 1 , 0 \}$ and for length $n=3$ and type $\{ 1, 1 \}$. We correct and improve such results.

cs.IT↗

arXiv2026

Shortest LCD embeddings of binary, ternary and quaternary linear codes

In the recent years, there has been active research on self-orthogonal embeddings of linear codes since they yielded some optimal self-orthogonal codes. LCD codes have a trivial hull so they are counterparts of self-orthogonal codes. So it is a natural question whether one can embed linear codes into optimal LCD codes. To answer it, we first determine the number of columns to be added to a generator matrix of a linear code in order to embed the given code into an LCD code. Then we characterize all possible forms of shortest LCD embeddings of a linear code. As examples, we start from binary and ternary Hamming codes of small lengths and obtain optimal LCD codes with minimum distance 4. Furthermore, we find new ternary LCD codes with parameters including $[23, 4, 14]$, $[23, 5, 12]$, $[24, 6, 12]$, and $[25, 5, 14]$ and a new quaternary LCD $[21, 10, 8]$ code, each of which has minimum distance one greater than those of known codes. This shows that our shortest LCD embedding method is useful in finding optimal LCD codes over various fields.

cs.IT↗

arXiv2026

Symmetric Sudoku-Type Games from Perfect Codes

This paper presents a novel construction method for symmetric Sudoku-type games based on Lee distance perfect codes and diameter perfect codes. The proposed method utilizes the tiling property of these codes to define the structure of the subgrid constraints of Sudoku-type games. In this way, our games inherit the symmetric properties of Sudoku. We provide a detailed analysis of two small cases: a $5 \times 5$ Sudoku in $\mathbb{Z}_5^2$, and an $8 \times 8$ Sudoku in $\mathbb{Z}_8^2$. By defining equivalence relations via rigid motions, we provide a complete enumeration of valid grids, identifying 17 inequivalent solutions for $5\times 5$ Sudoku. For two different types of $8\times 8$ Sudoku, we characterize 232,735 and 304,014 inequivalent solutions, respectively. Furthermore, to verify practical playability, we implement a human-like solver that assesses the difficulty of the generated games. The analysis confirms that our $5\times5$ Sudoku games offer a balanced distribution of difficulty levels, ranging from Easy to Hard, making them a viable alternative to traditional $9 \times 9$ Sudoku.

math.CO↗

arXiv2026

New bounds for codes over Gaussian integers based on the Mannheim distance

We study linear codes over Gaussian integers equipped with the Mannheim distance. We develop Mannheim-metric analogues of several classical bounds. We derive an explicit formula for the volume of Mannheim balls, which yields a sphere packing bound and constraints on the parameters of two-error-correcting perfect codes. We prove several other useful bounds, and exhibit families of codes meeting these bounds for some parameters, thereby showing that these bounds are tight. We also discuss self-dual codes over Gaussian integers and obtain upper bounds on their minimum Mannheim distance for certain parameter regions using a Mannheim version of the Macwilliams-type identity. Finally, we present decoding algorithms for codes over Gaussian integer residue rings. We give examples showing that certain errors which are not correctable under the Hamming metric become correctable under the Mannheim metric.

cs.IT↗