Minjia Shi

$\mathbb{Z}_p\mathbb{Z}_{p^2}$ -additive cyclic codes: kernel and rank

A code $C = Φ(\mathcal{C})$ is called $\mathbb{Z}_p \mathbb{Z}_{p^2}$ -linear if it's the Gray image of the $\mathbb{Z}_p \mathbb{Z}_{p^2}$ -additive code $\mathcal{C}$ . In this paper, the rank and the dimension of the kernel of $\mathcal{C}$ are studied. Both of the codes $\langle Φ(\mathcal{C}) \rangle$ and $\ker(Φ(\mathcal{C}))$ are proven $\mathbb{Z}_p \mathbb{Z}_{p^2}$ -additive cyclic codes, and their generator polynomials are determined. Finally, accurate values of rank and the dimension of the kernel of some classes of $\mathbb{Z}_p \mathbb{Z}_{p^2}$ -additive cyclic codes are considered.

$\mathbb{Z}_p\mathbb{Z}_{p^2}$ -linear codes: rank and kernel

A code $C$ is called $\Z_p\Z_{p^2}$ -linear if it is the Gray image of a $\Z_p\Z_{p^2}$ -additive code, where $p>2$ is prime. In this paper, the rank and the dimension of the kernel of $\Z_p\Z_{p^2}$ -linear codes are studied. Two bounds of the rank of a $\Z_3\Z_{9}$ -linear code and the dimension of the kernel of a $\Z_p\Z_{p^2}$ -linear code are given, respectively. For each value of these bounds, we give detailed construction of the corresponding code. Finally, pairs of rank and the dimension of the kernel of $\Z_3\Z_{9}$ -linear codes are also considered.

Additive complementary dual codes over $\F_4$

A linear code is linear complementary dual (LCD) if it meets its dual trivially. LCD codes have been a hot topic recently due to Boolean masking application in the security of embarked electronics (Carlet and Guilley, 2014). Additive codes over $\F_4$ are $\F_4$-codes that are stable by codeword addition but not necessarily by scalar multiplication. An additive code over $\F_4$ is additive complementary dual (ACD) if it meets its dual trivially. The aim of this research is to study such codes which meet their dual trivially. All the techniques and problems used to study LCD codes are potentially relevant to ACD codes. Interesting constructions of ACD codes from binary codes are given with respect to the trace Hermitian and trace Euclidean inner product. The former product is relevant to quantum codes.

DeFTA: A Plug-and-Play Decentralized Replacement for FedAvg

Federated learning (FL) is identified as a crucial enabler for large-scale distributed machine learning (ML) without the need for local raw dataset sharing, substantially reducing privacy concerns and alleviating the isolated data problem. In reality, the prosperity of FL is largely due to a centralized framework called FedAvg, in which workers are in charge of model training and servers are in control of model aggregation. However, FedAvg's centralized worker-server architecture has raised new concerns, be it the low scalability of the cluster, the risk of data leakage, and the failure or even defection of the central server. To overcome these problems, we propose Decentralized Federated Trusted Averaging (DeFTA), a decentralized FL framework that serves as a plug-and-play replacement for FedAvg, instantly bringing better security, scalability, and fault-tolerance to the federated learning process after installation. In principle, it fundamentally resolves the above-mentioned issues from an architectural perspective without compromises or tradeoffs, primarily consisting of a new model aggregating formula with theoretical performance analysis, and a decentralized trust system (DTS) to greatly improve system robustness. Note that since DeFTA is an alternative to FedAvg at the framework level, \textit{prevalent algorithms published for FedAvg can be also utilized in DeFTA with ease}. Extensive experiments on six datasets and six basic models suggest that DeFTA not only has comparable performance with FedAvg in a more realistic setting, but also achieves great resilience even when 66% of workers are malicious. Furthermore, we also present an asynchronous variant of DeFTA to endow it with more powerful usability.

Rank and pairs of Rank and Dimension of Kernel of $\mathbb{Z}_p\mathbb{Z}_{p^2}$ -linear codes

A code $C$ is called $\mathbb{Z}_p\mathbb{Z}_{p^2}$ -linear if it is the Gray image of a $\mathbb{Z}_p\mathbb{Z}_{p^2}$ -additive code. For any prime number $p$ larger than $3$ , the bounds of the rank of $\mathbb{Z}_p\mathbb{Z}_{p^2}$ -linear codes are given. For each value of the rank and the pairs of rank and the dimension of the kernel of $\mathbb{Z}_p\mathbb{Z}_{p^2}$ -linear codes, we give detailed construction of the corresponding codes. Finally, as an example, the rank and the dimension of the kernel of $\mathbb{Z}_5\mathbb{Z}_{25}$ -linear codes are studied.

Designs in finite metric spaces: a probabilistic approach

A finite metric space is called here distance degree regular if its distance degree sequence is the same for every vertex. A notion of designs in such spaces is introduced that generalizes that of designs in $Q$ -polynomial distance-regular graphs. An approximation of their cumulative distribution function, based on the notion of Christoffel function in approximation theory is given. As an application we derive limit laws on the weight distributions of binary orthogonal arrays of strength going to infinity. An analogous result for combinatorial designs of strength going to infinity is given.

LCD Codes from tridiagonal Toeplitz matrice

Double Toeplitz (DT) codes are codes with a generator matrix of the form $(I,T)$ with $T$ a Toeplitz matrix, that is to say constant on the diagonals parallel to the main. When $T$ is tridiagonal and symmetric we determine its spectrum explicitly by using Dickson polynomials, and deduce from there conditions for the code to be LCD. Using a special concatenation process, we construct optimal or quasi-optimal examples of binary and ternary LCD codes from DT codes over extension fields.

On isodual double Toeplitz codes

Double Toeplitz (shortly DT) codes are introduced here as a generalization of double circulant codes. We show that such a code is isodual, hence formally self-dual. Self-dual DT codes are characterized as double circulant or double negacirculant. Likewise, even DT binary codes are characterized as double circulants. Numerical examples obtained by exhaustive search show that the codes constructed have best-known minimum distance, up to one unit, amongst formally self-dual codes, and sometimes improve on the known values. Over $\F_4$ an explicit construction of DT codes, based on quadratic residues in a prime field, performs equally well. We show that DT codes are asymptotically good over $\F_q$. Specifically, we construct DT codes arbitrarily close to the asymptotic varshamov-Gilbert bound for codes of rate one half.

The number of the non-full-rank Steiner triple systems

The $p$ -rank of a Steiner triple system $B$ is the dimension of the linear span of the set of characteristic vectors of blocks of $B$ , over GF $(p)$ . We derive a formula for the number of different Steiner triple systems of order $v$ and given $2$ -rank $r_2$ , $r_2<v$ , and a formula for the number of Steiner triple systems of order $v$ and given $3$ -rank $r_3$ , $r_3<v-1$ . Also, we prove that there are no Steiner triple systems of $2$ -rank smaller than $v$ and, at the same time, $3$ -rank smaller than $v-1$ . Our results extend previous work on enumerating Steiner triple systems according to the rank of their codes, mainly by Tonchev, V.A.Zinoviev and D.V.Zinoviev for the binary case and by Jungnickel and Tonchev for the ternary case.

Zero sum sets in abelian groups

The distribution of cardinalities of zero-sum sets in abelian groups is completely determined. A complex summation involving the Möbius function is given for the general abelian group, while in many special cases, including the case of elementary abelian groups, solved earlier by Li and Wan, it has a compact form. The proof involves two different Möbius transforms, on positive integers and on set partitions.

preprint2020arXiv

Construction of isodual codes from polycirculant matrices

Double polycirculant codes are introduced here as a generalization of double circulant codes. When the matrix of the polyshift is a companion matrix of a trinomial, we show that such a code is isodual, hence formally self-dual. Numerical examples show that the codes constructed have optimal or quasi-optimal parameters amongst formally self-dual codes. Self-duality, the trivial case of isoduality, can only occur over $ \F_2$ in the double circulant case. Building on an explicit infinite sequence of irreducible trinomials over $\F_2,$ we show that binary double polycirculant codes are asymptotically good.

preprint2019arXiv

On $Z_pZ_{p^k}$ -additive codes and their duality

In this paper, two different Gray-like maps from $Z_p^α\times Z_{p^k}^β$ , where $p$ is prime, to $Z_p^n$ , $n={α+βp^{k-1}}$ , denoted by $ϕ$ and $Φ$ , respectively, are presented. We have determined the connection between the weight enumerators among the image codes under these two mappings. We show that if $C$ is a $Z_p Z_{p^k}$ -additive code, and $C^\bot$ is its dual, then the weight enumerators of the image $p$ -ary codes $ϕ(C)$ and $Φ(C^\bot)$ are formally dual. This is a partial generalization of [On $Z_{2^k}$ -dual binary codes, arXiv:math/0509325], and the result is generalized to odd characteristic $p$ and mixed alphabet. Additionally, a construction of $1$ -perfect additive codes in the mixed $Z_p Z_{p^2} ... Z_{p^k}$ alphabet is given.

preprint2019arXiv

On the number of resolvable Steiner triple systems of small 3-rank

In a recent work, Jungnickel, Magliveras, Tonchev, and Wassermann derived an overexponential lower bound on the number of nonisomorphic resolvable Steiner triple systems (STS) of order $v$ , where $v=3^k$ , and $3$ -rank $v-k$ . We develop an approach to generalize this bound and estimate the number of isomorphism classes of STS $(v)$ of rank $v-k-1$ for an arbitrary $v$ of form $3^kT$ .

preprint2019arXiv

The Steiner triple systems of order 21 with a transversal subdesign TD(3,6)

We prove several structural properties of Steiner triple systems (STS) of order 3w+3 that include one or more transversal subdesigns TD(3,w). Using an exhaustive search, we find that there are 2004720 isomorphism classes of STS(21) including a subdesign TD(3,6), or, equivalently, a 6-by-6 latin square.

Construction of MDS self-dual codes from orthogonal matrices

In this paper, we give algorithms and methods of construction of self-dual codes over finite fields using orthogonal matrices. Randomization in the orthogonal group, and code extension are the main tools. Some optimal, almost MDS, and MDS self-dual codes over both small and large prime fields are constructed.

Decomposition of bent generalized Boolean functions

A one to one correspondence between regular generalized bent functions from $\F_2^n$ to $\Z_{2^m},$ and $m-$ tuples of Boolean bent functions is established. This correspondence maps self-dual (resp. anti-self-dual) generalized bent functions to $m-$ tuples of self-dual (resp. anti self-dual) Boolean bent functions. An application to the classification of regular generalized bent functions under the extended affine group is given.

Good Self-dual Generalized Quasi-Cyclic Codes Exist

We show that there are good long binary generalized quasi-cyclic self-dual (either Type I or Type II) codes.

On constacyclic codes over $\mathbb{Z}_4[u]/\langle u^2-1\rangle$ and their Gray images

We first define a new Gray map from $R=\mathbb{Z}_4+u\mathbb{Z}_4$ to $\mathbb{Z}^{2}_{4}$ , where $u^2=1$ and study $(1+2u)$ -constacyclic codes over $R$ . Also of interest are some properties of $(1+2u)$ -constacyclic codes over $R$ . Considering their $\mathbb{Z}_4$ images, we prove that the Gray images of $(1+2u)$ -constacyclic codes of length $n$ over $R$ are cyclic codes of length $2n$ over $\mathbb{Z}_4$ . In many cases the latter codes have better parameters than those in the online database of Aydin and Asamov. We also give a corrected version of a table of new cyclic $R$ -codes published by Özen et al. in Finite Fields and Their Applications, {\bf 38}, (2016) 27-39.

Some ternary cubic two-weight codes

We study trace codes with defining set $L,$ a subgroup of the multiplicative group of an extension of degree $m$ of the alphabet ring $\mathbb{F}_3+u\mathbb{F}_3+u^{2}\mathbb{F}_{3},$ with $u^{3}=1.$ These codes are abelian, and their ternary images are quasi-cyclic of co-index three (a.k.a. cubic codes). Their Lee weight distributions are computed by using Gauss sums. These codes have three nonzero weights when $m$ is singly-even and $|L|=\frac{3^{3m}-3^{2m}}{2}.$ When $m$ is odd, and $|L|=\frac{3^{3m}-3^{2m}}{2}$ , or $|L|={3^{3m}-3^{2m}}$ and $m$ is a positive integer, we obtain two new infinite families of two-weight codes which are optimal. Applications of the image codes to secret sharing schemes are also given.

Two-weight and three-weight codes from trace codes over $\mathbb{F}_p+u\mathbb{F}_p+v\mathbb{F}_p+uv\mathbb{F}_p$

We construct an infinite family of two-Lee-weight and three-Lee-weight codes over the non-chain ring $\mathbb{F}_p+u\mathbb{F}_p+v\mathbb{F}_p+uv\mathbb{F}_p,$ where $u^2=0,v^2=0,uv=vu.$ These codes are defined as trace codes. They have the algebraic structure of abelian codes. Their Lee weight distribution is computed by using Gauss sums. With a linear Gray map, we obtain a class of abelian three-weight codes and two-weight codes over $\mathbb{F}_p$ . In particular, the two-weight codes we describe are shown to be optimal by application of the Griesmer bound. We also discuss their dual Lee distance. Finally, an application to secret sharing schemes is given.