Abstract:Cyclic lattices and ideal lattices were introduced by Micciancio in \cite{D2}, Lyubashevsky and Micciancio in \cite{L1} respectively, which play an efficient role in Ajtai's construction of a collision resistant Hash function (see \cite{M1} and \cite{M2}) and in Gentry's construction of fully homomorphic encryption (see \cite{G}). Let $R=Z[x]/\langle \phi(x)\rangle$ be a quotient ring of the integer coefficients polynomials ring, Lyubashevsky and Micciancio regarded an ideal lattice as the correspondence of an ideal of $R$, but they neither explain how to extend this definition to whole Euclidean space $\mathbb{R}^n$, nor exhibit the relationship of cyclic lattices and ideal lattices. In this paper, we regard the cyclic lattices and ideal lattices as the correspondences of finitely generated $R$-modules, so that we may show that ideal lattices are actually a special subclass of cyclic lattices, namely, cyclic integer lattices. In fact, there is a one to one correspondence between cyclic lattices in $\mathbb{R}^n$ and finitely generated $R$-modules (see Theorem \ref{th4} below). On the other hand, since $R$ is a Noether ring, each ideal of $R$ is a finitely generated $R$-module, so it is natural and reasonable to regard ideal lattices as a special subclass of cyclic lattices (see corollary \ref{co3.4} below). It is worth noting that we use more general rotation matrix here, so our definition and results on cyclic lattices and ideal lattices are more general forms. As application, we provide cyclic lattice with an explicit and countable upper bound for the smoothing parameter (see Theorem \ref{th5} below). It is an open problem that is the shortest vector problem on cyclic lattice NP-hard? (see \cite{D2}). Our results may be viewed as a substantial progress in this direction.

Explicit Constructions of Perfect Hash Families from Algebraic Curves over Finite Fields

A new construction of perfect nonlinear functions using Galois rings

Constructions and bounds for separating hash families

Multivariates Polynomials for Hashing

Parallel and External-Memory Construction of Minimal Perfect Hash Functions with PTHash

A tight bound on the size of certain separating hash families

Families of curves over any finite field with a class number greater than the Lachaud - Martin-Deschamps bounds

Some new infinite families of non-$p$-rational real quadratic fields

Lattices in function fields and applications

A Construction of Bent Functions with Optimal Algebraic Degree and Large Symmetric Group

Explicit families of congruences for the overpartition function

Hashing to Elliptic Curves Through Cipolla–Lehmer–Müller's Square Root Algorithm

$\varepsilon$-Almost collision-flat universal hash functions and mosaics of designs

Constructions and Applications of Perfect Difference Matrices and Perfect Difference Families

An Infinite Family of Real Quadratic Fields with Three Classes of Perfect Unary Forms

Explicit constructions of Diophantine tuples over finite fields

Explicit Computation of Generalized Hamming Weights for Some Algebraic Geometric Codes

Infinite families of optimal and minimal codes over rings using simplicial complexes

Cyclic Lattices, Ideal Lattices and Bounds for the Smoothing Parameter