The cotype zeta function of Zd

We give an asymptotic formula for the number of sublattices $\Lambda \subseteq {\mathbb{Z}}^d$ of index at most $X$ for which ${\mathbb{Z}}^d/\Lambda$ has rank at most $m$, answering a question of Nguyen and Shparlinski. We compare this result to work of Stanley and Wang on Smith normal forms of random integral matrices and discuss connections to the Cohen–Lenstra heuristics. Our arguments are based on Petrogradsky’s formulas for the cotype zeta function of ${\mathbb{Z}}^d$, a multivariable generalization of the subgroup growth zeta function of ${\mathbb{Z}}^d$.     

Linearity and classification of ZpZp2-linear generalized Hadamard codes

The ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-additive codes are subgroups of ${\mathbb{Z}}_p^{{\alpha }_1}\times {\mathbb{Z}}_{p^2}^{{\alpha }_2}$, and can be seen as linear codes over ${\mathbb{Z}}_p$ when ${\alpha }_2=0$, ${\mathbb{Z}}_{p^2}$-additive codes when ${\alpha }_1=0$, or ${\mathbb{Z}}_2{\mathbb{Z}}_4$-additive codes when $p=2$. A ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear generalized Hadamard (GH) code is a GH code over ${\mathbb{Z}}_p$ which is the Gray map image of a ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-additive code. Recursive constructions of ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-additive GH codes of type $({\alpha }_1,{\alpha }_2;t_1,t_2)$ with $t_1,t_2\ge 1$ are known. In this paper, we generalize some known results for ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear GH codes with $p=2$ to any $p\ge 3$ prime when ${\alpha }_1\ne 0$, and then we compare them with the ones obtained when ${\alpha }_1=0$. First, we show for which types the corresponding ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear GH codes are nonlinear over ${\mathbb{Z}}_p$. Then, for these codes, we compute the kernel and its dimension, which allow us to classify them completely. Moreover, by computing the rank of some of these codes, we show that, unlike ${\mathbb{Z}}_4$-linear Hadamard codes, the ${\mathbb{Z}}_{p^2}$-linear GH codes are not included in the family of ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear GH codes with ${\alpha }_1\ne 0$ when $p\ge 3$ prime. Indeed, there are some families with infinite nonlinear ${\mathbb{Z}}_p{\mathbb{Z}}_{p^2}$-linear GH codes, where the codes are not equivalent to any ${\mathbb{Z}}_{p^s}$-linear GH code with $s\ge 2$.     

The extension theorem for the Lee and Euclidean weights over Z/pkZ

The Lee and Euclidean weights have the extension property over the local rings $\mathbb{Z}/p^k\mathbb{Z}$, p prime. The non-vanishing of certain Fourier coefficients is established by expressing the coefficients in terms of generalized Bernoulli numbers and making use of knowledge of the locations of zeros of Dirichlet L-functions.     

Time-frequency analysis on the adeles over the rationals

We show that the construction of Gabor frames in $L^2(\mathbb{R})$ with generators in ${\mathbf{S}}_0(\mathbb{R})$ and with respect to time-frequency shifts from a rectangular lattice $\alpha \mathbb{Z}\times \beta \mathbb{Z}$ is equivalent to the construction of certain Gabor frames for $L^2$ over the adeles over the rationals and the group $\mathbb{R}\times {\mathbb{Q}}_p$. Furthermore, we detail the connection between the construction of Gabor frames on the adeles and on $\mathbb{R}\times {\mathbb{Q}}_p$ with the construction of certain Heisenberg modules.     

Construction of extremal Type II Z2k-codes

We give methods for constructing many self-dual ${\mathbb{Z}}_m$-codes and Type II ${\mathbb{Z}}_{2k}$-codes of length 2n starting from a given self-dual ${\mathbb{Z}}_m$-code and Type II ${\mathbb{Z}}_{2k}$-code of length 2n, respectively. As an application, we construct extremal Type II ${\mathbb{Z}}_{2k}$-codes of length 24 for $k=4,5,\dots ,20$ and extremal Type II ${\mathbb{Z}}_{2k}$-codes of length 32 for $k=4,5,\dots ,10$. We also construct new extremal Type II ${\mathbb{Z}}_4$-codes of lengths 56 and 64.     

Equivalences among Z2s-linear Hadamard codes

The ${\mathbb{Z}}_{2^s}$-additive codes are subgroups of ${\mathbb{Z}}_{2^s}^n$, and can be seen as a generalization of linear codes over ${\mathbb{Z}}_2$ and ${\mathbb{Z}}_4$. A ${\mathbb{Z}}_{2^s}$-linear Hadamard code is a binary Hadamard code which is the Gray map image of a ${\mathbb{Z}}_{2^s}$-additive code. A partial classification of these codes by using the dimension of the kernel is known. In this paper, we establish that some ${\mathbb{Z}}_{2^s}$-linear Hadamard codes of length $2^t$ are equivalent, once $t$ is fixed. This allows us to improve the known upper bounds for the number of such nonequivalent codes. Moreover, up to $t=11$, this new upper bound coincides with a known lower bound (based on the rank and dimension of the kernel). Finally, when we focus on $s\in \{2,3\}$, the full classification of the ${\mathbb{Z}}_{2^s}$-linear Hadamard codes of length $2^t$ is established by giving the exact number of such codes.     

On the class semigroup of ZS-fields and Iwasawa invariants

Let p be a prime number. In [15], we studied the class semigroup of the ring of integers of the cyclotomic ${\mathbb{Z}}_p$-extension of the rationals. In this paper, we generalize the result to some ${\mathbb{Z}}_S$-extensions of number fields. Moreover, we investigate the relation between the class semigroup and Iwasawa invariants.     

Fq-linear codes over Fq-algebras

Huffman (2013) [12] studied ${\mathbb{F}}_q$-linear codes over ${\mathbb{F}}_{q^m}$ and he proved the MacWilliams identity for these codes with respect to ordinary and Hermitian trace inner products. Let S be a finite commutative ${\mathbb{F}}_q$-algebra. An ${\mathbb{F}}_q$-linear code over S of length n is an ${\mathbb{F}}_q$-submodule of $S^n$. In this paper, we study ${\mathbb{F}}_q$-linear codes over S. We obtain some bounds on minimum distance of these codes, and some large classes of MDR codes are introduced. We generalize the ordinary and Hermitian trace products over ${\mathbb{F}}_q$-algebras and we prove the MacWilliams identity with respect to the generalized form. In particular, we obtain Huffman's results on the MacWilliams identity. Among other results, we give a theory to construct a class of quantum codes and the structure of ${\mathbb{F}}_q$-linear codes over finite commutative graded ${\mathbb{F}}_q$-algebras.     

The Hilbert series and a-invariant of circle invariants

Let V be a finite-dimensional representation of the complex circle ${\mathbb{C}}^{\times }$ determined by a weight vector $\mathit{a}\in {\mathbb{Z}}^n$. We study the Hilbert series ${\mathrm{Hilb}}_{\mathit{a}}(t)$ of the graded algebra $\mathbb{C}{[V]}^{{\mathbb{C}}_{\mathit{a}}^{\times }}$ of polynomial ${\mathbb{C}}^{\times }$-invariants in terms of the weight vector a of the ${\mathbb{C}}^{\times }$-action. In particular, we give explicit formulas for ${\mathrm{Hilb}}_{\mathit{a}}(t)$ as well as the first four coefficients of the Laurent expansion of ${\mathrm{Hilb}}_{\mathit{a}}(t)$ at $t=1$. The naive formulas for these coefficients have removable singularities when weights pairwise coincide. Identifying these cancelations, the Laurent coefficients are expressed using partial Schur polynomials that are independently symmetric in two sets of variables. We similarly give an explicit formula for the a-invariant of $\mathbb{C}{[V]}^{{\mathbb{C}}_{\mathit{a}}^{\times }}$ in the case that this algebra is Gorenstein. As an application, we give methods to identify weight vectors with Gorenstein and non-Gorenstein invariant algebras.