Resolution of an Open Problem on Quasi-Cyclic Codes over ${\mathbb{Z}}_4$ and New Quaternary Linear Codes

Given a cyclic code $C_g=⟨g(x)⟩$ of odd length $m$ over ${\mathbb{Z}}_4$, one common way to build a quasi-cyclic (QC) code is to pick $f_1,\dots ,f_{\ell }\in {\mathbb{Z}}_4[x]$ and let $C=⟨(f_{1}g,\dots ,f_{\ell }g)⟩$. Because ${\mathbb{Z}}_4$ is not a field, the type of $C_g$ ($4^{k_1}{2}^{k_2}$) is not necessarily inherited by $C$. Determining conditions under which the type of $C_g$ is inherited by $C$ was posed as an open problem recently in \cite{AydinLuOnta2023}. In this paper, we settle this problem. We first give two sufficient conditions for the type to be preserved: one requires a single $f_i$ to be coprime to $x^m-1$ over ${\mathbb{F}}_2$, the other only requires the $f_i$ to be jointly coprime to it. Neither condition is necessary in general. Using the fact that $x^m-1$ is squarefree for odd $m$, we decompose ${\mathbb{Z}}_4[x]/⟨x^m-1⟩$ into a product of finite chain rings using Chinese remainder theorem (CRT) and derive a condition on $f_1,\dots ,f_{\ell }$ that is both necessary and sufficient for $C$ to match the type of $C_g$. This condition depends only on the irreducible factors of $x^m-1$ where $g$ does not already vanish. This also yields a simple test for when $C$ is a free ${\mathbb{Z}}_4$-module. Finally, we report many new QC codes over ${\mathbb{Z}}_4$, found by computer searches using Magma software~\cite{Magma1997} guided by this criterion, with Lee distances greater than previously known codes of the same type.