Abstract:Recently, a design criterion depending on a lattice's volume and theta series, called the secrecy gain, was proposed to quantify the secrecy-goodness of the applied lattice code for the Gaussian wiretap channel. To address the secrecy gain of Construction $\text{A}_4$ lattices from formally self-dual $\mathbb{Z}_4$-linear codes, i.e., codes for which the symmetrized weight enumerator (swe) coincides with the swe of its dual, we present new constructions of $\mathbb{Z}_4$-linear codes which are formally self-dual with respect to the swe. For even lengths, formally self-dual $\mathbb{Z}_4$-linear codes are constructed from nested binary codes and double circulant matrices. For odd lengths, a novel construction called odd extension from double circulant codes is proposed. Moreover, the concepts of Type I/II formally self-dual codes/unimodular lattices are introduced. Next, we derive the theta series of the formally unimodular lattices obtained by Construction $\text{A}_4$ from formally self-dual $\mathbb{Z}_4$-linear codes and describe a universal approach to determine their secrecy gains. The secrecy gain of Construction $\text{A}_4$ formally unimodular lattices obtained from formally self-dual $\mathbb{Z}_4$-linear codes is investigated, both for even and odd dimensions. Numerical evidence shows that for some parameters, Construction $\text{A}_4$ lattices can achieve a higher secrecy gain than the best-known formally unimodular lattices from the literature. Results concerning the flatness factor, another security criterion widely considered in the Gaussian wiretap channel, are also discussed.

Connections Between Construction D and Related Constructions of Lattices

Construction D' Lattices for Power-Constrained Communications

Lattices from codes for harnessing interference: An overview and generalizations

On the Existence of Cyclic Lattice Codes

Construction C*: an inter-level coded version of Construction C

Secrecy Gain of Formally Unimodular Lattices from Codes over the Integers Modulo 4

Construction of structured low density lattice codes based on finite fields

A Multilevel Framework for Lattice Network Coding

Construction D$^\prime$ Lattices from Quasi-Cyclic Low-Density Parity-Check Codes

Lifted Codes and Lattices from Codes Over Finite Chain Rings

Construction of Const Dimension Code from Two Parallel Versions of Linkage Construction

Multistage Compute-and-Forward with Multilevel Lattice Codes Based on Product Constructions

Sidon Sets, Difference Sets, and Codes in $ A_n $ Lattices

A Construction of Linear Codes over $\f_{2^t}$ from Boolean Functions.

Multilevel Constructions: Coding, Packing and Geometric Uniformity

Computer classification of linear codes based on lattice point enumeration and integer linear programming

A Construction of Linear Codes over ${\mathbb {f}}_{2^t}$ from Boolean Functions

Multilevel lattice codes from Hurwitz quaternion integers

Constructions of (r, T)-Lrc Based on Totally Isotropic Subspaces in Symplectic Space over Finite Fields.

S-Glued sums of lattices