Processing math: 100%
Research article

Two classes of two-weight linear codes over finite fields

  • Received: 03 April 2023 Revised: 19 April 2023 Accepted: 22 April 2023 Published: 26 April 2023
  • MSC : 11T71, 11T24

  • Let p1(mod4) be a prime, m a positive integer, ϕ(pm)2 the multiplicative order of 2 modulo pm, and let q=2ϕ(pm)2, where ϕ() is the Euler's function. In this paper, we construct two classes of linear codes over Fq and investigate their weight distributions. By calculating two classes of special exponential sums, the desired results are obtained.

    Citation: Jianying Rong, Fengwei Li, Ting Li. Two classes of two-weight linear codes over finite fields[J]. AIMS Mathematics, 2023, 8(7): 15317-15331. doi: 10.3934/math.2023783

    Related Papers:

    [1] Yang Pan, Yan Liu . New classes of few-weight ternary codes from simplicial complexes. AIMS Mathematics, 2022, 7(3): 4315-4325. doi: 10.3934/math.2022239
    [2] Shudi Yang, Zheng-An Yao . Weight distributions for projective binary linear codes from Weil sums. AIMS Mathematics, 2021, 6(8): 8600-8610. doi: 10.3934/math.2021499
    [3] Boran Kim, Chang Heon Kim, Soonhak Kwon, Yeong-Wook Kwon . Jacobi forms over number fields from linear codes. AIMS Mathematics, 2022, 7(5): 8235-8249. doi: 10.3934/math.2022459
    [4] Victoria Herranz, Diego Napp, Carmen Perea . Weight-2 input sequences of $ 1/n $ convolutional codes from linear systems point of view. AIMS Mathematics, 2023, 8(1): 713-732. doi: 10.3934/math.2023034
    [5] Xiaomeng Zhu, Yangjiang Wei . Few-weight quaternary codes via simplicial complexes. AIMS Mathematics, 2021, 6(5): 5124-5132. doi: 10.3934/math.2021303
    [6] Hatoon Shoaib . Double circulant complementary dual codes over $ \mathbb{F}_4 $. AIMS Mathematics, 2023, 8(9): 21636-21643. doi: 10.3934/math.20231103
    [7] Yang Liu, Ruihu Li, Qiang Fu, Hao Song . On the minimum distances of binary optimal LCD codes with dimension 5. AIMS Mathematics, 2024, 9(7): 19137-19153. doi: 10.3934/math.2024933
    [8] Adel Alahmadi, Asmaa Melaibari, Patrick Solé . Quasi self-dual codes over non-unital rings from three-class association schemes. AIMS Mathematics, 2023, 8(10): 22731-22757. doi: 10.3934/math.20231158
    [9] Yang Yan, Hanning Chen, Jianming Wang, Gang Wang . A new construction of asymptotically optimal codebooks. AIMS Mathematics, 2024, 9(4): 9631-9640. doi: 10.3934/math.2024471
    [10] Guanghui Zhang, Shuhua Liang . On the construction of constacyclically permutable codes from constacyclic codes. AIMS Mathematics, 2024, 9(5): 12852-12869. doi: 10.3934/math.2024628
  • Let p1(mod4) be a prime, m a positive integer, ϕ(pm)2 the multiplicative order of 2 modulo pm, and let q=2ϕ(pm)2, where ϕ() is the Euler's function. In this paper, we construct two classes of linear codes over Fq and investigate their weight distributions. By calculating two classes of special exponential sums, the desired results are obtained.



    Let Fq be a finite field with q elements, where q is a power of a prime 2. Let Trq/2 be the trace function from Fq onto F2. An [n,k,d] binary linear code C is a k-dimensional subspace of Fn2 with minimum Hamming distance d. Let D={x1,x2,,xn}Fq. A binary linear code of length n over F2 is defined by

    CD={C=(Trq/2(bxi))ni=1:bFq}.

    If the set D is well chosen, the code CD may have good parameters. Let Ai be the number of codewords in CD with Hamming weight i. The weight enumerator of CD is defined by

    1+A1z+A2z2++Alzl.

    The sequence (1,A1,A2,,Al) is called the weight distribution of CD. It is said to be a t-weight code if the number of nonzero Ai in the sequence (1,A1,,Al) is equal to t.

    In coding theory, it is often desirable to know the weight distributions of the codes because they can be used to estimate the error correcting capability and the error probability of error detection and correction with respect to some algorithms. Hence weight distributions of codes are an interesting topic and were investigated in [4,5,7,8,9,10,11,12,13,18,19,21,22] etc. Moreover, those codes with few nonzero weights are of special interest in association schemes, secret sharing schemes, and frequency hopping sequences [2].

    In this paper, let p be an odd prime with p1(mod4), N=pm a positive integer, ordN(2)=f, and q=2f, where f=ϕ(N)2 and ϕ() is the Euler's function. Let α be a primitive element of Fq and β=αq1N an N-th primitive root of unity in Fq. We choose

    Da={xFq:Trq/2(axq1N)=0}

    as a defining set of CDa, and

    CDa={C=(Trq/2(bx))xDa:bFq}. (1.1)

    It is obvious that the dimension of CDa is ϕ(N)2.

    For CCDa, the Hamming weights of the codeword C with respect to bFq is denoted by WH(C).

    Denote

    S(a,b)=xFq(1)Trq/2(axq1N+bx).

    The length of CDa is

    n=|Da|=12xFq(yF2(1)Trq/2(yaxq1N))=q12+12xFq(1)Trq/2(axq1N)=12(q1+S(a,0)). (1.2)

    If b=0, then WH(C)=0.

    If b0, then WH(C)=nZ(b) and

    Z(b)=|{xFq:Trq/2(axq1N)=0,Trq/2(bx)=0}|=14xFq(yF2(1)Trq/2(yaxq1N)zF2(1)Trq/2(zbx))=q14+14xFq(1)Trq/2(axq1N)+14xFq(1)Trq/2(bx)+14xFq(1)Trq/2(axq1N+bx).

    It is simple to see that xFq(1)Trq/2(bx)=1. Then

    Z(b)=14(q2+S(a,0)+S(a,b)). (1.3)

    In order to obtain the length of CDa and the weight of CCDa, we only need to calculate S(a,0) and S(a,b). In general, the exact values of S(a,0) and S(a,b) are hard to calculate, in Section 3, we shall consider two special cases.

    This paper is organized as follows. In Section 2, we recall some concepts and several results about Gaussian sums in semi-primitive case. In Sections 3, we focus on the computation of the weight distribution of CDa defined as (1.1). In Section 4, we make a conclusion.

    Let Fq be a finite field with q elements and α a fixed primitive element of Fq, i.e., Fq=α. For two positive integers n>1 and N>1 with q1=nN, define cyclotomic cosets of order N in Fq: C(N,q)i=αiαN,i=0,1,,N1. The cyclotomic numbers of order N in Fq are defined as follows:

    (i,j)N=|(1+C(N,q)i)C(N,q)j|,0iN1,0jN1.

    When q=p is an odd prime, Lemmas 2.1–2.3 give cyclotomic numbers of order 2, 6 and order 8, respectively.

    Lemma 2.1. [17] If p1(mod4), then (0,0)2=p54,(0,1)2=(1,0)2=(1,1)2=p14. If p3(mod4), then (0,1)2=p+14,(0,0)2=(1,0)2=(1,1)2=p34.

    Lemma 2.2. [3] Suppose that p1(mod24) is a prime. Then 4p=u2+27v2, u,vZ and u1(mod3). The possible values for the cyclotomic numbers of order 6 as follows (Table 1):

    Table 1.  The cyclotomic numbers of order 6.
    (i,j)6 0 1 2 3 4 5
    0 (0,0) (0,1) (0,2) (0,3) (0,4) (0,5)
    1 (0,1) (0,5) (1,2) (1,3) (1,4) (1,2)
    2 (0,2) (1,2) (0,4) (1,4) (2,4) (1,3)
    3 (0,3) (1,3) (1,4) (0,3) (1,3) (1,4)
    4 (0,4) (1,4) (2,4) (1,3) (0,2) (1,2)
    5 (0,5) (1,2) (1,3) (1,4) (1,2) (0,1)

     | Show Table
    DownLoad: CSV

    These 10 fundamental constants (0,0),,(2,4) are given by the relations contained in the following table (Table 2).

    Table 2.  The values of cyclotomic numbers of order 6.
    If 2 is a cubic residue of p If 2 is not a cubic residue of p
    36(0,0) p17+10u p177u+27v2
    36(0,1) p52u+27v p5+5u+9v2
    36(0,2) p52u+9v p52u18v
    36(0,3) p52u p5+5u+9v2
    36(0,4) p52u9v p5+5u+9v2
    36(0,5) p52u27v p52u+18v
    36(1,2) p+1+u p+1+u9v
    36(1,3) p+1+u p+17u9v2
    36(1,4) p+1+u p+1+u9v
    36(2,4) p+1+u p+1+u+27v

     | Show Table
    DownLoad: CSV

    Lemma 2.3. [1,3] Suppose that p1(mod16) is a prime. Then p=E2+4F2=A2+2B2, E,F,A,BZ and EA1(mod4). The possible values for the cyclotomic numbers of order 8 as follows (Table 3):

    Table 3.  The cyclotomic numbers of order 8.
    (i,j)8 0 1 2 3 4 5 6 7
    0 (0,0) (0,1) (0,2) (0,3) (0,4) (0,5) (0,6) (0,7)
    1 (0,1) (0,7) (1,2) (1,3) (1,4) (1,5) (1,6) (1,2)
    2 (0,2) (1,2) (0,6) (1,6) (2,4) (2,5) (2,4) (1,3)
    3 (0,3) (1,3) (1,6) (0,5) (1,5) (2,5) (2,5) (1,4)
    4 (0,4) (1,4) (2,4) (1,5) (0,4) (1,4) (2,4) (1,5)
    5 (0,5) (1,5) (2,5) (2,5) (1,4) (0,3) (1,3) (1,6)
    6 (0,6) (1,6) (2,4) (2,5) (2,4) (1,3) (0,2) (1,2)
    7 (0,7) (1,2) (1,3) (1,4) (1,5) (1,6) (1,2) (0,1)

     | Show Table
    DownLoad: CSV

    These 15 fundamental constants (0,0),,(2,5) are given by the relations contained in the following table (Table 4).

    Table 4.  The values of cyclotomic numbers of order 8.
    If 2 is a quartic residue of p If 2 is not a quartic residue of p
    64(0,0) p2318E24A p23+6E
    64(0,1) p7+2E+4A+16F+16B p7+2E+4A
    64(0,2) p7+6E+16F p72E8A16F
    64(0,3) p7+2E+4A16F+16B p7+2E+4A
    64(0,4) p72E+8A p710E
    64(0,5) p7+2E+4A+16F16B p7+2E+4A
    64(0,6) p7+6E16F p72E8A+16F
    64(0,7) p7+2E+4A16F16B p7+2E+4A
    64(1,2) p+1+2E4A p+16E+4A
    64(1,3) p+16E+4A p+1+2E4A16B
    64(1,4) p+1+2E4A p+1+2E4A+16F
    64(1,5) p+1+2E4A p+1+2E4A16F
    64(1,6) p+16E+4A p+1+2E4A+16B
    64(2,4) p+14E p+1+6E+8A
    64(2,5) p+1+2E4A p+16E+4A

     | Show Table
    DownLoad: CSV

    Let q be odd, define the quadratic multiplicative character of Fq denoted by η as follows: η(c)=1 if c is the square element of Fq and η(c)=1 otherwise. If q is an odd prime, then for cFq, we have η(c)=(cq), where (q) is the Legendre symbol.

    Let Trq/2 be the trace function from Fq to F2 defined by Trq/2(x)=x+x2++xq/2, xFq, and χ is the canonical additive character of Fq: For cFq, χ(c)=(1)Trq/2(c). It is a well-known fact that cFqχ(c)=0. In the following, we list a useful result, which is called the semi-primitive case.

    Lemma 2.4. [15]HY__HY, Theorem 1] Let q=22sd and N(2d+1), where s and d are positive integers. Let α be a primitive element of Fq. Then for a=αbFq and Indα(a)=b,

    xFq(1)Trq/2(axN)={(1)s1(N1)q1, if Indαa0(modN),(1)sq1, if Indαa0(modN).

    Lemma 2.5. [3] Suppose that p is a prime and p1(mod24). Then p=A2+3B2 and 4p=u2+27v2, where A,BZ and A1(mod3), u,vZ, u1(mod3) and v=AB3.

    In this section, let p be an odd prime with p1(mod4), N=pm a positive integer, ordN(2)=f, and q=2f, where f=ϕ(N)2 and ϕ() is the Euler's function. We always suppose that α is a primitive element of Fq, β=αq1N and γ=βpm1 is a primitive N-th and p-th root of unity in Fq.

    Recall that the length of CDa is equal to

    n=12(q1+S(a,0))

    and for bFq, the weight WH(C),CCDa is

    WH(C)=n14(q2+S(a,0)+S(a,b))=14(q+S(a,0)S(a,b)).

    The length of CDa and the weight WH(C),CCDa is relate to the value S(a,0) and S(a,b), respectively.

    Let S(a)=N1i=0(1)Trq/2(aβi). Then

    S(a,0)=xFq(1)Trq/2(axq1N)=q1NS(a).

    Recall that for bFq,

    S(a,b)=xFq(1)Trq/2(axq1N+bx).

    Let H=αN, Fq=N1i=0αiH. Then

    S(a,b)=xFq(1)Trq/2(abq1Nxq1N+x)=N1i=0(1)Trq/2(abq1Nβi)hH(1)Trq/2(αih)=1NN1i=0(1)Trq/2(abq1Nβi)xFq(1)Trq/2(αixN).

    By p1(mod4) and Lemma 2.4,

    S(a,b)=1N((1)Trq/2(abq1N)((N1)q1)+N1i=1(1)Trq/2(abq1Nβi)(q1))=q(1)Trq/2(abq1N)q+1NS(abq1N)=q(1)Trq/2(abq1N)q+1NS(a).

    In the following, for two cases about aFq, we calculate the values S(a,0) and S(a,b),bFq. Let Fp=θ=H0H1, H0=θ2 is a subgroup consisting of all square elements of index 2 in Fp, and H1=θH0 consists of all non-square elements in Fp. First, we give an lemma.

    Lemma 3.1. [14] Suppose that H1 is the set consisting of all non-square elements in Fp, then for 0iN1,

    Trq/2(βi)={1, if pm1i and ipm1H1,0, otherwise.

    Suppose that r|(p1) and a=r1j=0γwζjrFq, where γ=βpm1, wFp, and ζr is a primitive r-th root of unity in Fp.

    For 0iN1, let i=kpm1+l, 0kp1, 0lpm11. By Lemma 3.1 and note that if l0, then Trq/2(β(k+wζjr)pm1+l)=0. Then

    S(a)=N1i=0(1)Trq/2(aβi)=N1i=0(1)Trq/2(r1j=0γwζjrβi)=pm11l=0p1k=0(1)Trq/2(r1j=0β(k+wζjr)pm1+l)=(pm11)p+p1k=0(1)Trq/2(r1j=0γk+wζjr)=pmp+Ω, (3.1)

    where

    Ω=p1k=0(1)Trq/2(r1j=0γk+wζjr)=xFp(1)r1j=0Trq/2(γx+wζjr).

    Let W={w,wζr,,wζr1r}. By Lemma 3.1 and by the fact that the product of any two square elements or any two non-square elements is a square element and the product of a square element with a non-square element is a non-square element, we can easily check that if xFpW, then r1j=0Trq/2(γx+wζjr) and Trq/2(γΠr1j=0(x+wζjr)) have the same parity. Then

    Ω=xFpW(1)Trq/2(γΠr1j=0(x+wζjr))+xW(1)r1j=0Trq/2(γx+wζjr). (3.2)

    Theorem 3.2. The notations are as above. Let p1(mod24) be a prime. Then 4p=u2+27v2, u,vZ and u1(mod3). Suppose that a=5j=0γwζj6Fq.

    (1) If (2p)3=1, then

    S(a)=pmp1+2u+6(wp).

    (1) If (2p)31, then

    S(a)=pmp1u9v+6(wp).

    Proof. By (3.1), we only need to calculate Ω denoted by (3.2). Let

    Δ=|{xFpW:Π5j=0(x+wζj6)=y2,yFp}|,

    where W={w,wζ6,wζ26,wζ36,wζ46,wζ56}.

    Let Fp=θ, C(2,p)i=θiθ2, i=0,1, and C(6,p)i=θjθ6,j=0,1,2,3,4,5. It is clear that C(2,p)0=C(6,p)0C(6,p)2C(6,p)4 and C(2,p)1=C(6,p)1C(6,p)3C(6,p)5. For wFp, Π5j=0(x+wζj6)=x6w6. Now we count the number :

    Δ=|{xFpW:x6w6=y2,yFp}|=|{xFpW:x6w6=y6 or x6w6=γ2y6, or x6w6=γ4y6,yFp}|.

    If x=0, then x6w6=y2 has a solution yFp, i.e., when x=0, there exists a yFp, but not unique, such that x6w6=y2.

    If x0, x6w6=y6 is equivalent to 1+((wx)6)=(yx)6, then the number of wx such that 1+((wx)6)=(yx)6 is equal to |(1+C(6,q)0)C(6,q)0|=(0,0)6 and the number of x such that x6w6=y6 is equal to 6(0,0)6. Similarly, the number of x such that x6w6=γ2y6 is equal to 6(0,2)6 and the number of x such that x6w6=γ4y6 is equal to 6(0,4)6.

    Suppose that 2 is a cubic residue modulo p, i.e, (2p)3=1. By Lemma 2.2,

    Δ=6((0,0)6+(0,2)6+(0,4)6)+1=p7+2u2.

    Suppose that 2 is not a cubic residue modulo p, i.e., (2p)31. By Lemma 2.2,

    Δ=6((0,0)6+(0,2)6+(0,4)6)+1=p7u9v2.

    Moreover, by p1(mod24),

    (1)Trq/2(γw+wζ6)+Trq/2(γw+wζ26)+Trq/2(γw+wζ36)+Trq/2(γw+wζ46)+Trq/2(γw+wζ56)=η((w+wζ6)(w+wζ26)(w+wζ36)(w+wζ46)(w+wζ56))=η(w)=(wp).

    Similarly,

    (1)Trq/2(γwζ6+w)+Trq/2(γwζ6+wζ26)+Trq/2(γwζ6+wζ36)+Trq/2(γwζ6+wζ46)+Trq/2(γwζ6+wζ56)=(wp),
    (1)Trq/2(γwζ26+w)+Trq/2(γwζ26+wζ6)+Trq/2(γwζ26+wζ36)+Trq/2(γwζ26+wζ46)+Trq/2(γwζ26+wζ56)=(wp),
    (1)Trq/2(γwζ36+w)+Trq/2(γwζ36+wζ6)+Trq/2(γwζ36+wζ26)+Trq/2(γwζ36+wζ46)+Trq/2(γwζ36+wζ56)=(wp),
    (1)Trq/2(γwζ46+w)+Trq/2(γwζ46+wζ6)+Trq/2(γwζ46+wζ26)+Trq/2(γwζ46+wζ36)+Trq/2(γwζ46+wζ56)=(wp),
    (1)Trq/2(γwζ56+w)+Trq/2(γwζ56+wζ6)+Trq/2(γwζ56+wζ26)+Trq/2(γwζ56+wζ36)+Trq/2(γwζ56+wζ46)=(wp).

    Thus

    xW(1)5j=0Trq/2(γx+wζj6)=6(wp).

    Note that

    Ω=Δ(p6Δ)+xW(1)5j=0Trq/2(γx+wζj6)=2Δp+6+6(wp).

    Hence

    S(a)={pmp1+2u+6(wp), if (2p)3=1,pmp1u9v+6(wp), if (2p)31.

    Theorem 3.3. The notations are as above. Let p1(mod16) be a prime. Then p=E2+4F2=A2+2B2, E,F,A,BZ and EA1(mod4). Suppose that a=7j=0γwζj8Fq, then

    S(a)=pmp2E4A1+8(wp).

    Proof. By (3.1), we only need to calculate Ω denoted by (3.2). Let

    Δ=|{xFpW:Π7j=0(x+wζj8)=y2,yFp}|,

    where W={w,wζ8,wζ28,wζ38,wζ48,wζ58,wζ68,wζ78}.

    Let Fp=θ, C(2,p)i=θiθ2, i=0,1, and C(8,p)i=θjθ8,j=0,1,2,3,4,5,6,7. It is clear that C(2,p)0=C(8,p)0C(8,p)2C(8,p)4C(8,p)6. For wFp, Π7j=0(x+wζj8)=x8w8. Now we count the number :

    Δ=|{xFpW:x8w8=y2,yFp}|=|{xFpW:x8w8=y8 or x8w8=γ2y8, or x8w8=γ4y8, or x8w8=γ6y8,yFp}|.

    If x=0, then x8w8=y2 has a solution yFp, i.e., when x=0, there exists a yFp, but not unique, such that x6w6=y2.

    If x0, similar to the discussion of Theorem 3.2, the number of x such that x8w8=y8, x8w8=γ2y8, x8w8=γ4y8, and x8w8=γ6y8 is equal to 8(0,0)8, 8(0,2)8, 8(0,4)8, and 8(0,6)8, respectively.

    Suppose that (2p)4=1 or suppose that (2p)41. By Lemma 2.3,

    Δ=8((0,0)8+(0,2)8+(0,4)8+(0,6)8)+1=p92E4A2.

    Moreover, by p1(mod16), it is easy to check that if xW, then

    (1)7j=0Trq/2(γx+wζj8)=(wp).

    Thus

    xW(1)7j=0Trq/2(γx+wζj8)=8(wp).

    Hence

    Ω=Δ(p8Δ)+xW(1)7j=0Trq/2(γx+wζj8)=2E4A1+8(wp),

    and

    S(a)=pmp2E4A1+8(wp).

    Recall that the length of CDa defined as (1.1) is equal to n=12(q1+S(a,0)) and S(a,0)=q1NS(a). Then the following results are obtained.

    Theorem 3.4. The notations are as Theorem 3.2.

    (1) If (2p)31, then the length of CDa defined as (1.1) is equal to

    n=(q1)(2pmp+5u9v)2pm.

    (2) If (2p)3=1, then the length of CDa defined as (1.1) is equal to

    n=(q1)(2pmp+5+2u)2pm.

    Theorem 3.5. The notations are as Theorem 3.3. The length of CDa defined as (1.1) is equal to

    n=(q1)(2pmp2E4A9)2pm.

    Now we return to investigate the weight WH(C) of CCDa.

    Theorem 3.6. Let p1(mod24) be a prime. Then 4p=u2+27v2, u,vZ and u1(mod3). Suppose that a=5j=0γwζj6Fq, where wH0.

    (1) If (2p)31, then CDa defined as (1.1) is a two weight binary linear code with length (q1)(2pmp+5u9v)2pm and its weight distributions are given by Table 5.

    Table 5.  Weight distributions of CDa if a=5j=0γwζj6Fq,wH0.
    weights frequencies
    0 1
    q2q+q4pm(p+u+9v5) (q1)(2pmp+5u9v)2pm
    q+q4pm(2pmpu9v+5) (q1)(p5+u+9v)2pm

     | Show Table
    DownLoad: CSV

    (2) If (2p)3=1, then CDa defined as (1.1) is a two weight binary linear code with length (q1)(2pmp+5+2u)2pm and its weight distributions are given by Table 6.

    Table 6.  Weight distributions of CDa if a=5j=0γwζj6Fq,wH0.
    weights frequencies
    0 1
    q2q+q4pm(p2u5) (q1)(2pmp+5+2u)2pm
    q+q4pm(2pmp2u5) (q1)(p52u)2pm

     | Show Table
    DownLoad: CSV

    Proof. Suppose that a=5j=0γwζj6Fq, wH0. By Theorem 3.2,

    S(a)=pmpu9v+5.

    If bFq, then

    WH(C)=14(q+S(a,0)S(a,b))=14(q+q+qNS(a)q(1)Trq/2(abq1N))={q2q+q4pm(p+u+9v5), if Trq/2(abq1N)=0,q+q4pm(2pmpu9v+5), if Trq/2(abq1N)=1.

    We only need to count the number of bFq such that Trq/2(abq1N)=0 or 1. It is clear that ord(bq1N)=pt,0tm.

    If t2, then ord(γwζj6bq1N)=pt>p, where j=0,,5. So by Lemma 3.1, Trq/2(abq1N)=0. Moreover, b=αpmtμ, where 0<μq1pmt1 and gcd(μ,p)=1. Hence there are mt=2(q1pmtq1pmt+1)=q1q1pm1 such elements bFq such that ord(bq1N)>p.

    If 0t1, i.e, bq1N=γx, 0xp1, it is obvious that there are q1pm elements b.

    Moreover,

    (1)Trq/2(abq1N)=(1)5j=0Trq/2(γx+wζj6).

    Suppose that xW={w,wζ6,wζ26,wζ36,wζ46,wζ56}. Then

    (1)Trq/2(abq1N)=(1)5j=1Trq/2(γw+wζj6)=η(Π5j=1(w+wζj6))=1.

    Hence there are 6(q1)pm such elements bFq such that bq1N=γx.

    Suppose that xFpW. Then

    (1)Trq/2(abq1N)=(1)5j=0Trq/2(γx+wζj6)=η(Π5j=0(x+wζj6)).

    By the proof of Theorem 3.2, there are Δ=p7u9v2 such elements xFpW such that Trq/2(abq1N)=0; there are p6Δ=p5+u+9v2 such elements xFpW such that Trq/2(abq1N)=1, where 4p=u2+27v2, u,vZ and u1(mod3).

    Therefore there are

    q1q1pm1+p+5u9v2q1pm=(q1)(2pmp+5u9v)2pm

    elements bFq such that Trq/2(abq1N)=0; there are p5+u+9v2q1pm such elements bFq such that Trq/2(abq1N)=1. Then the Table 5 is given.

    Suppose that (2p)3=1, we obtain the Table 6 similarly.

    Theorem 3.7. Let p1(mod16) be a prime. Then p=E2+4F2=A2+2B2, E,F,A,BZ and EA1(mod4). Suppose that a=7j=0γwζj8Fq, where wH1. Then CDa defined in (1.1) is a two weight binary linear code with length (q1)(2pmp2E4A9)2pm and its weight distributions are given by Table 7.

    Table 7.  Weight distribution of CDa if a=7j=0γwζj8Fq,wH1.
    weights frequencies
    0 1
    q2q+q4pm(p+2E+4A+9) (q1)(2pmp92E4A)2pm
    q+q4pm(2pmp2E4A9) (q1)(p+9+2E+4A)2pm

     | Show Table
    DownLoad: CSV

    Proof. Suppose that a=7j=0γwζj8Fq, wH1. By Theorem 3.3,

    S(a)=pmp2E4A9.

    If bFq, then

    WH(C)=14(q+S(a,0)S(a,b))=14(q+q+qNS(a)q(1)Trq/2(abq1N))={q2q+q4pm(p+2E+4A+9), if Trq/2(abq1N)=0,q+q4pm(2pmp2E4A9), if Trq/2(abq1N)=1.

    We only need to count the number of bFq such that Trq/2(abq1N)=0 or 1. It is clear that ord(bq1N)=pt,0tm.

    If t2, then ord(γwζj8bq1N)=pt>p, where j=0,,7. So by Lemma 3.1, Trq/2(abq1N)=0. Moreover, b=αpmtμ, where 0<μq1pmt1 and gcd(μ,p)=1. Hence there are mt=2(q1pmtq1pmt+1)=q1q1pm1 such elements bFq such that ord(bq1N)>p.

    If 0t1, i.e, bq1N=γx, 0xp1. it is obvious that there are q1pm elements b.

    Moreover,

    (1)Trq/2(abq1N)=(1)7j=0Trq/2(γx+wζj8).

    Suppose that xW={w,wζ8,wζ28,wζ38,wζ48,wζ58,wζ68,wζ78}. Then

    (1)Trq/2(abq1N)=(1)7j=1Trq/2(γw+wζj8)=η(Π7j=1(w+wζj8))=1.

    Hence there are 8(q1)pm such elements bFq such that bq1N=γx.

    Suppose that xFpW. Then

    (1)Trq/2(abq1N)=(1)7j=0Trq/2(γx+wζj8)=η(Π7j=0(x+wζj8)).

    By the proof of Theorem 3.3, there are Δ=p92E4A2 such elements xFpW such that Trq/2(abq1N)=0; there are p8Δ=p7+2E+4A2 such elements xFpW such that Trq/2(abq1N)=1, where p=E2+4F2=A2+2B2, E,F,A,BZ and EA1(mod4).

    Therefore there are

    q1q1pm1+p92E4A2q1pm=(q1)(2pmp92E4A)2pm

    such elements bFq such that Trq/2(abq1N)=0; there are p+9+2E+4A2q1pm such elements bFq such that Trq/2(abq1N)=1.

    The desired result follows.

    In the following, we give some examples.

    Example 3.8. Let p=17. Then CDa is an [135,8,64] two-weight binary linear code with weight enumerator 1+135z64+120z72. The dual is an [135,127,3] binary linear code and is optimal, due to [6]. The code is also obtained from Theorem 3.2 in [20].

    Example 3.9. Let p=97. Then 971(mod24) and 971(mod16). By Theorem 3.6 (1), 4p=192+27v2, by Lemma 2.5, v=1. By Theorem 3.7, p=92+4F2=52+2B2, F2=4 and B2=36. The weight distributions of CDa are given by Table 8.

    Table 8.  Weight distributions of CDa in Theorems 3.6 (1) and 3.7.
    Theorem 3.6 (1) n=37(2481)97 Theorem 3.7 n=25(2481)97
    weights frequencies weights frequencies
    0 1 0 1
    24730(224+248)97 37(2481)97 24736(224+248)97 25(2481)97
    37(224+248)194 60(2481)97 25(224+248)194 72(2481)97

     | Show Table
    DownLoad: CSV

    From the above Table 8, we can see that the minimum Hamming distance of the line code in Theorems 3.6 (1) is larger than that of in Theorem 3.7.

    Example 3.10. Let p=193. Then 1931(mod24) and 1931(mod16). By Theorem 3.6 (1), 4p=(23)2+27v2, by Lemma 2.5, v=3. By Theorem 3.7, p=(7)2+4F2=(11)2+2B2, F2=36 and B2=36. The weight distributions of CDa are given by Table 9.

    Table 9.  Weight distributions of CDa in Theorems 3.6 (1) and 3.7.
    Theorem 3.6 (1) n=97(2961)193 Theorem 3.7 n=121(2961)193
    weights frequencies weights frequencies
    0 1 0 1
    29548(296+248)193 97(2961)193 29536(296+248)193 121(2961)193
    97(296+248)386 96(2961)193 121(296+248)386 72(2961)193

     | Show Table
    DownLoad: CSV

    From the above Table 9, we can see that the minimum Hamming distance of the line code in Theorems 3.7 is larger than that of in Theorem 3.6.

    Suppose that p1(mod4) is a prime and ϕ(pm)2 is the multiplicative order of 2 modulo pm. Let q=2ϕ(pm)2, in this paper, we constructed two classes of two-weight linear codes over Fq and obtained their weight distributions. The main work was the calculations of two classes of exponential sums, which were special forms of exponential sums defined by Moisio in [16]. The technique that we adopted was to count the number of the square elements by cyclotomic numbers over Fp. By this method, other problems such as cross correlations of sequences and Walsh spectrums of functions can also be investigated.

    We are very grateful to the reviewers and the editor for their valuable comments and suggestions that much improved the quality of this paper. The work was supported by National Natural Science Foundation of China under Grant 12171420 and Natural Science Foundation of Shandong Province under Grant ZR2021MA046.

    The authors declare no conflicts of interest.



    [1] K. T. Arasu, C. Ding, T. Helleseth, P. V. Kumar, H. M. Martinsen, Almost difference sets and their sequences with optimal autocorrelation, IEEE Trans. Inf. Theory, 47 (2001), 2934–2943. http://dx.doi.org/10.1109/18.959271 doi: 10.1109/18.959271
    [2] C. Carlet, C. Ding, J. Yuan, Linear codes from perfect nonlinear mappings and their secret sharing schemes, IEEE Trans. Inf. Theory, 51 (2005), 2089–2102. http://dx.doi.org/10.1109/TIT.2005.847722 doi: 10.1109/TIT.2005.847722
    [3] L. E. Dickson, Cyclotomy, higher congruences, and Waring's problem, Amer. J. Math., 57 (1935), 391–424. https://doi.org/10.2307/2371217
    [4] K. Ding, C. Ding, Binary linear codes with three weights, IEEE Commun. Lett., 18 (2014), 1879–1882. http://dx.doi.org/10.1109/LCOMM.2014.2361516 doi: 10.1109/LCOMM.2014.2361516
    [5] K. Ding, C. Ding, A class of two-weight and three-weight codes and their applications in secret sharing, IEEE Trans. Inf. Theory, 61 (2015), 5835–5842. http://dx.doi.org/10.1109/TIT.2015.2473861 doi: 10.1109/TIT.2015.2473861
    [6] M. Grassl, Bounds on the minumum distance of linear codes, 2022. Avaiable from: http://www.codetables.de.
    [7] Z. Heng, C. Ding, Z. Zhou, Minimal linear codes over finite fields, Finite Fields Appl., 54 (2018), 176–196. https://doi.org/10.1016/j.ffa.2018.08.010 doi: 10.1016/j.ffa.2018.08.010
    [8] Z. Heng, W. Wang, Y. Wang, Projective binary linear codes from special Boolean functions, AAECC, 32 (2021), 521–552. https://doi.org/10.1007/s00200-019-00412-z doi: 10.1007/s00200-019-00412-z
    [9] Z. Heng, Q. Yue, A class of binary linear codes with at most three weights, IEEE Commun. Lett., 19 (2015), 1488–1491. http://dx.doi.org/10.1109/LCOMM.2015.2455032 doi: 10.1109/LCOMM.2015.2455032
    [10] Z. Heng, Q. Yue, Two classes of two-weight linear codes, Finite Fields Appl., 38 (2016), 72–92. https://doi.org/10.1016/j.ffa.2015.12.002 doi: 10.1016/j.ffa.2015.12.002
    [11] Z. Heng, Q. Yue, Evaluation of the Hamming weights of a class of linear codes based on Gauss sums, Des. Codes Cryptogr., 83 (2017), 307–326. http://dx.doi.org/10.1007/s10623-016-0222-7 doi: 10.1007/s10623-016-0222-7
    [12] Z. Heng, Q. Yue, C. Li, Three classes of linear codes with two or three weights, Discrete Math., 339 (2016), 2832–2847. https://doi.org/10.1016/j.disc.2016.05.033 doi: 10.1016/j.disc.2016.05.033
    [13] C. Li, Q. Yue, F. Li, Weight distributions of cyclic codes with respect to pairwise coprime order elements, Finite Fields Appl., 28 (2014), 94–114. http://dx.doi.org/10.1016/j.ffa.2014.01.009 doi: 10.1016/j.ffa.2014.01.009
    [14] F. Li, Several classes of exponential sums and three-valued Walsh spectrums over finite fields, Finite Fields Appl., 87 (2023), 102142. https://doi.org/10.1016/j.ffa.2022.102142 doi: 10.1016/j.ffa.2022.102142
    [15] M. Moisio, A note on evaluations of some exponential sums, Acta Arith., 93 (2000), 117–119. https://doi.org/10.4064/aa-93-2-117-119 doi: 10.4064/aa-93-2-117-119
    [16] M. Moisio, Explicit evaluation of some exponential sums, Finite Fields Appl., 15 (2009), 644–651. https://doi.org/10.1016/j.ffa.2009.05.005 doi: 10.1016/j.ffa.2009.05.005
    [17] T. Storer, Cyclotomic and difference sets, Markham, Chicago, 1967.
    [18] Q. Wang, K. Ding, D. D. Lin, R. Xue, A kind of three-weight linear codes, Cryptogr. Commun., 9 (2017), 315–322. http://dx.doi.org/10.1007/s12095-015-0180-3 doi: 10.1007/s12095-015-0180-3
    [19] Q. Wang, K. Ding, R. Xue, Binary linear codes with two weights, IEEE Commun. Lett., 19 (2015), 1097–1100. https://doi.org/10.1109/LCOMM.2015.2431253 doi: 10.1109/LCOMM.2015.2431253
    [20] Y. Wu, Q. Yue, X. Shi, At most three-weight binary linear codes from generalized Moisio's exponential sums, Des. Codes Cryptogr., 87 (2019), 1927–1943. https://doi.org/10.1007/s10623-018-00595-5 doi: 10.1007/s10623-018-00595-5
    [21] Z. Zhou, C. Ding, J. Luo, A. Zhang, A family of five-weight cyclic codes and their weight enumerators, IEEE Trans. Inf. Theory, 59 (2013), 6674–6682. http://dx.doi.org/10.1109/TIT.2013.2267722 doi: 10.1109/TIT.2013.2267722
    [22] Z. Zhou, A. Zhang, C. Ding, M. Xiong, The weight enumerator of three families of cyclic codes, IEEE Trans. Inf. Theory, 59 (2013), 6002–6009. http://dx.doi.org/10.1109/TIT.2013.2262095 doi: 10.1109/TIT.2013.2262095
  • Reader Comments
  • © 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1477) PDF downloads(67) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog