The Cayley graphs associated with some quasi-perfect Lee codes are Ramanujan graphs

10/12/2020
by   Khodakhast Bibak, et al.
0

Let _n[i] be the ring of Gaussian integers modulo a positive integer n. Very recently, Camarero and Martínez [IEEE Trans. Inform. Theory, 62 (2016), 1183–1192], showed that for every prime number p>5 such that p≡± 5 12, the Cayley graph 𝒢_p=Cay(_p[i], S_2), where S_2 is the set of units of _p[i], induces a 2-quasi-perfect Lee code over _p^m, where m=2⌊p/4⌋. They also conjectured that 𝒢_p is a Ramanujan graph for every prime p such that p≡ 3 4. In this paper, we solve this conjecture. Our main tools are Deligne's bound from 1977 for estimating a particular kind of trigonometric sum and a result of Lovász from 1975 (or of Babai from 1979) which gives the eigenvalues of Cayley graphs of finite Abelian groups. Our proof techniques may motivate more work in the interactions between spectral graph theory, character theory, and coding theory, and may provide new ideas towards the famous Golomb–Welch conjecture on the existence of perfect Lee codes.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/09/2018

The existence of perfect codes in Doob graphs

We solve the problem of existence of perfect codes in the Doob graph. It...
11/01/2021

On the number of q-ary quasi-perfect codes with covering radius 2

In this paper we present a family of q-ary nonlinear quasi-perfect codes...
06/13/2018

Additive perfect codes in Doob graphs

The Doob graph D(m,n) is the Cartesian product of m>0 copies of the Shri...
02/13/2018

On the nonexistence of linear perfect Lee codes

In 1968, Golomb and Welch conjectured that there does not exist perfect ...
05/26/2018

On the non-existence of linear perfect Lee codes: The Zhang-Ge condition and a new polynomial criterion

The Golomb-Welch conjecture (1968) states that there are no e-perfect Le...
08/25/2017

Spectral and Combinatorial Properties of Some Algebraically Defined Graphs

Let k> 3 be an integer, q be a prime power, and F_q denote the field of ...
12/21/2017

PHOEG Helps Obtaining Extremal Graphs

Extremal Graph Theory aims to determine bounds for graph invariants as w...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.