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.

On the Maximum Theta Series over Unimodular Lattices

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

Optimization and Identification of Lattice Quantizers

Transformation Laws for Theta functions

New Lattice Based Cryptographic Constructions

Remarks on the Theta Correspondence over Finite Fields

The level structure in quantum K-theory and mock theta functions

The Exact Green-Function Of A One-Dimensional Thue-Morse Lattice

Theta lifting for discrete series representations of real unitary groups

Truncated theta series from the Bailey lattice

Theta block conjecture for Siegel paramodular forms

Towards Strong Reverse Minkowski-type Inequalities for Lattices

On the local $L^2$-Bound of the Eisenstein Series

Dimension reduction techniques for the minimization of theta functions on lattices

Some mathematical mysteries in lattices

Lattice sums of $I$-Bessel functions, theta functions, linear codes and heat equations

Generic Hecke Algebra and Theta Correspondence over Finite Fields

Theta series for quantum loop algebras and Yangians

Theta lifting for tempered representations of real unitary groups