+ μf 3. + υf 3. Quantum codes from cyclic codes over F 3. + μυ F 3. Journal of Physics: Conference Series. Recent citations PAPER OPEN ACCESS

Size: px
Start display at page:

Download "+ μf 3. + υf 3. Quantum codes from cyclic codes over F 3. + μυ F 3. Journal of Physics: Conference Series. Recent citations PAPER OPEN ACCESS"

Transcription

1 Journal of Physics: Conference Series PAPER OPEN ACCESS Quantum codes from cyclic codes over F 3 + μf 3 + υf 3 + μυ F 3 To cite this article: Mehmet Özen et al 2016 J. Phys.: Conf. Ser Recent citations - u-constacyclic codes over $${\mathbb {F}}_p+u{\mathbb {F}}_p$$ F p + u F p and their applications of constructing new non-binary quantum codes Jian Gao and Yongkang Wang View the article online for updates and enhancements. This content was downloaded from IP address on 03/09/2018 at 15:26

2 Quantum codes from cyclic codes over F 3 + uf 3 + vf 3 + uvf 3 Mehmet Özen 1, N. Tuğba Özzaim 1 and Halit İnce 1 1 Department of Mathematics, Sakarya University, Sakarya, Turkey ozen@sakarya.edu.tr, tugbaozzaim@gmail.com, ince@sakarya.edu.tr Abstract. In this paper, it will be argued that structure of cyclic codes over F 3 + uf 3 + vf 3 + uvf 3 where u 2 = 1, v 2 = 1 and uv = vu for arbitrary length n. We define a new Gray map which is a distance preserving map. By using decomposition theory, we find generator polynomials of cyclic codes over F 3 + uf 3 + vf 3 + uvf 3 and obtain the result that cyclic codes over F 3 + uf 3 + vf 3 + uvf 3 are principally generated. Further, using these results we determine the parameters of quantum codes which constructed from cyclic codes over F 3+uF 3+vF 3+uvF 3. We present some of the results of computer search. 1. Introduction Quantum error-correction plays an important role in quantum computing since it is used to correct any errors in quantum data due to decoherence and other quantum noise. Firstly, the existence of quantum error correcting code was shown by Shor [1] and independently by Steane [2]. In 1998, Calderbank et. al. published a paper in which they developed the theory to construct quantum codes by using classical error correcting codes. In recent years, a considerable literature has grown up around the quantum error correcting codes. Some authors constructed quantum codes by using the Gray image of cyclic codes over some finite rings. For example, in [7], a new method constructing quantum codes from cyclic codes over finite ring F 2 + vf 2 where v 2 = v is given by Qian. In [4], Kai and Zhu construct quantum codes from Hermitian self orthogonal codes over F 4 as Gray images of linear and cyclic codes over F 4 + uf 4 where u 2 = 0. In [5], Yin and Ma give an existence condition of quantum codes which are obtained from cyclic codes over F 2 + uf 2 + u 2 F 2 with Lee metric. In [6], some nonbinary quantum codes using classical codes over Gaussian integers are obtained by Ozen et. al. In [9], Guenda et. al. extend the CSS construction to finite commutative Frobenius rings. Dertli et. al. obtain quantum codes from cyclic codes over F 2 + uf 2 + vf 2 + uvf 2 in [10]. In [8], Ashraf and Mohammad give a construction for quantum codes from cyclic codes over F 3 + vf 3 where v 2 = 1. This ring is motivation to construct a new ring F 3 + uf 3 + vf 3 + uvf 3 where u 2 = 1 and v 2 = 1 because an advantage of the ring F 3 + uf 3 + vf 3 + uvf 3 is that it allows to find more parameters of quantum codes over F 3. This paper has been organised in the following way. The second section is concerned with the preliminaries used for this study. The third section presents a new Gray map from F 3 +uf 3 +vf 3 +uvf 3 to F 4 3 and linear codes over F 3 +uf 3 +vf 3 +uvf 3 and their properties. In Section 4, we investigate the structure of cyclic codes over F 3 +uf 3 +vf 3 +uvf 3. In Section 5, we give condition for cyclic codes over F 3 +uf 3 +vf 3 +uvf 3 to contain their dual and determine the Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI. Published under licence by Ltd 1

3 parameters of quantum codes which constructed from cyclic codes over F 3 + uf 3 + vf 3 + uvf 3. At the end of the paper, we give an example and a table to illustrate the results. 2. Preliminaries Let F 3 = {0, 1, 2} be a finite field and R denotes the ring F 3 +uf 3 +vf 3 +uvf 3 = {a+ub+vc+uvd : a, b, c, d F 3 } where u 2 = 1, v 2 = 1 and uv = vu. This ring is a principal ideal ring but not a chain ring and the ideals < 2 + u + 2v >, < 2 + v + uv >, < u + v + 2uv >, < 2u + 2v + 2uv > are maximal ideals of F 3 + uf 3 + vf 3 + uvf 3. Let C be a nonempty subset of R n. If C is a R-submodule of R n, then C is called a linear code of length n over R. For any a = (a 0, a 1,..., a n 1 ) and b = (b 0, b 1,..., b n 1 ) F 3 the inner product is given by a.b = a 0 b 0 + a 1 b a n 1 b n 1. If a.b = 0 then a and b are said to be orthogonal. Let C be a linear code of length n over R. Then the dual code of C is C = {a R a.b = 0, b C}. C is said to be self orthogonal if C C and self dual if C = C. A linear code C of length n is called cyclic if τ(c) = (c n 1, c 0,..., c n 2 ) C,where τ is cyclic shift operator, whenever c = (c 0, c 1,..., c n 1 ) C. Let R n denote the quotient ring R[x]/ x n 1. Then we consider the following correspondence: φ : R n c = (c 0, c 1,..., c n 1 ) R n c 0 + c 1 x c n 1 x n 1 = c(x). It is well known that C is a cyclic code if and only if φ(c) is an ideal of R n. Let c = (c 0, c 1,..., c n 1 ) be a codeword in C. The Hamming weight of c = (c 0, c 1,..., c n 1 ) is the number of nonzero coordinates in c and is denoted by w H (c). The Hamming distance between two elements c 1, c 2 C is defined as d H (c 1, c 2 ) = ω H (c 1 c 2 ). Let α (F n 3 )l with α = (α 1, α 2,..., α nl ) = (α (1) α (2)... α (l) ). Let ϕ l be the quasi cyclic shift on (F n 3 )l given by ϕ l (α (1) α (2)... α (l) ) = (τ(α (1) ) τ(α (2) )... τ(α (l) )). A code of length nl over F 3 is called as quasi cyclic code of index l if ϕ l (C) = C. 3. Gray map and linear codes over F 3 + uf 3 + vf 3 + uvf Gray map Any element of R can be written as a + vb + uc + uvd R, where a, b, c, d F 3. The Gray map from R to F 4 3 is defined as follows: ψ : R F 4 3 a + vb + uc + uvd (a + b + c + d, a b + c d, a + b c d, a b c + d). This map can be naturally extended from R n to F 4n 3. We define the Lee weight of any x R as ω L (x) = ω H (ψ(x)). For any elements x, y R, the Lee distance is given by d L (x, y) = ω L (x y). Theorem 3.1. The Gray map is an isometry from (R n, Lee distance) to (F 4n 3, Hamming distance). Proof. For any x 1, x 2 R and λ F 3, ψ(x 1 + x 2 ) = ψ(x 1 ) + ψ(x 2 ) and ψ(λx 1 ) = λψ(x 1 ). So ψ is linear. Now we show that ψ is distance preserving map. From the definition, we have d L (x 1, x 2 ) = ω L (x 1 x 2 ) = ω H (ψ(x 1 x 2 )) = ω H (ψ(x 1 ) ψ(x 2 )) = d H (ψ(x 1 ) ψ(x 2 )). Theorem 3.2. If C is a linear codes of length n over F 3 + uf 3 + vf 3 + uvf 3 with C = 3 k and minimum Lee weight d L then ψ(c) is [4n, k, d H ] ternary linear codes over F 3. Theorem 3.3. If C is self orthogonal then ψ(c) is self orthogonal. 2

4 Proof. Let C be self orthogonal and α = a + vb + uc + uvd, β = x + vy + uz + uvt C where a, b, c, d, x, y, z, t F 3. Since C is self orthogonal, we have α.β = ax + by + cz + dt + v(ay + bx + ct + dz) + u(az + bt + cx + dy) + uv(at + bz + cy + dx) = 0. So we have ax + by + cz + dt = (ay + bx + ct + dz) = (az + bt + cx + dy) = (at + bz + cy + dx) = 0. Then the other side ψ(α).ψ(β) = (a + b + c + d, a b + c d, a + b c d, a b c + d)(x + y + z + t, x y + z t, x + y z t, x y z + t) = 0. Hence ψ(c) is self orthogonal Linear codes over F 3 + uf 3 + vf 3 + uvf 3 Let A 1, A 2, A 3, A 4 are linear codes, then we denote that A 1 A 2 A 3 A 4 = {a 1 +a 2 +a 3 +a 4 : a i A i ; 1 i 4} and A 1 A 2 A 3 A 4 = {(a 1, a 2, a 3, a 4 ) : a i A i ; 1 i 4}. Definition 3.4. Let C be a linear code of length n over R. Define C 1 = {x + y + z + t F 3 x + vy + uz + uvt C} C 2 = {x y + z t F 3 x + vy + uz + uvt C} C 3 = {x + y z t F 3 x + vy + uz + uvt C} C 4 = {x y z + t F 3 x + vy + uz + uvt C} Theorem 3.5. Let C be a linear code of length n over R. Then ψ(c) = C 1 C 2 C 3 C 4 and C = C 1. C 2. C 3. C 4. Proof. For any (x 1,..., x n, y 1,..., y n, z 1,..., z n, t 1,..., t n ) ψ(c), let c i = x i + y i + z i + t i + v(x i y i + z i t i ) + u(x i + y i z i t i ) + uv(x i y i z i + t i ) ; 1 i n. Since ψ is bijection c = (c 1, c 2,..., c n ) C. By the definition of C 1, C 2, C 3, C 4 we have (x 1, x 2..., x n ) C 1, (y 1, y 2,..., y n ) C 2, (z 1, z 2,..., z n ) C 3, (t 1, t 2,..., t n ) C 4. So, (x 1,..., x n, y 1,..., y n, z 1,..., z n, t 1,..., t n ) C 1 C 2 C 3 C 4. It means that ψ(c) C 1 C 2 C 3 C 4. On the other hand, let (x 1,..., x n, y 1,..., y n, z 1,..., z n, t 1,..., t n ) C 1 C 2 C 3 C 4 where x = (x 1, x 2..., x n ) C 1, y = (y 1, y 2,..., y n ) C 2, z = (z 1, z 2,..., z n ) C 3, t = (t 1, t 2,..., t n ) C 4. There are a = (a 1, a 2,..., a n ), b = (b 1, b 2,..., b n ), c = (c 1, c 2,..., c n ), d = (d 1, d 2,..., d n ) C such that a i = x i + (1 + 2v + u + 2uv)p i, b i = y i + (1 + v + u + uv)q i, c i = z i + (1 + 2v + 2u + uv)r i, d i = t i + (1 + v + 2u + 2uv)s i where p i, q i, r i, s i F 3. Since C is linear then c = (1 + v + u + uv)a + (1 + 2v + u + 2uv)b + (1 + v + 2u + 2uv)c + (1 + 2v + 2u + uv)d = x + y + z + t + (x y + z t)v + (x + y z t)u + (x y z + t)uv. It follows that ψ(c) = (x, y, z, t) ψ(c). So C 1 C 2 C 3 C 4 ψ(c). Therefore ψ(c) = C 1 C 2 C 3 C 4. Moreover since ψ(c) is bijection, C = ψ(c) = C 1 C 2 C 3 C 4 = C 1. C 2. C 3. C 4. The rest of the paper, the terms λ 1, λ 2, λ 3, λ 4 will refer to (1+v +u+uv), (1+2v +u+2uv), (1 + v + 2u + 2uv), (1 + 2v + 2u + uv) respectively. Lemma 3.6. For i = 1, 2, 3, 4, if G i is generator matrix of ternary linear codes C i, then the λ 1 G 1 generator matrix of C is λ 2 G 2 λ 3 G 3. λ 4 G 4 Proof. If G i is generator matrix of ternary linear code C i then the generator matrix of G ψ(c) = C 1 C 2 C 3 C 4 is 0 G G 3 0. By the Theorem 3.5, the generator G 4 matrix of C is λ 1 G 1 λ 2 G 2 λ 3 G 3 λ 4 G 4. 3

5 Corollary 3.7. If ψ(c) = C 1 C 2 C 3 C 4, then C = λ 1 C 1 λ 2 C 2 λ 3 C 3 λ 4 C 4. Lemma 3.8. Let d H and d L denote the Hamming and Lee distance respectievly. Then d H = d L = min{d(c 1 ), d(c 2 ), d(c 3 ), d(c 4 )}. Proof. Since ψ distance preserving map we obtain d L (C) = d H (ψ(c)) = d H (C 1 C 2 C 3 C 4 ) = min{d(c 1 ), d(c 2 ), d(c 3 ), d(c 4 )}. 4. Cyclic codes over F 3 + uf 3 + vf 3 + uvf 3 Theorem 4.1. Let C = λ 1 C 1 λ 2 C 2 λ 3 C 3 λ 4 C 4 be a linear code of length n over R. Then C is a cyclic code of length n over R if and only if for i = 1, 2, 3, 4, C i is a cyclic code of length n over F 3. Proof. Let c = (c 1, c 2,..., c n ) C where c j = λ 1 x j + λ 2 y j + λ 3 z j + λ 4 t i j = 1,..., n and x = (x 1, x 2..., x n ) C 1, y = (y 1, y 2,..., y n ) C 2, z = (z 1, z 2,..., z n ) C 3, t = (t 1, t 2,..., t n ) C 4. Since for i = 1, 2, 3, 4, C i is a cyclic code of length n over F 3 we get τ(x) = (x n, x 1,..., x n 1 ) C 1, τ(y) = (y n, y 1,..., y n 1 ) C 2, τ(z) = (z n, z 1,..., z n 1 ) C 3, τ(t) = (t n, t 1,..., t n 1 ) C 4. Note that τ(c) = (c n, c 1,..., c n 1 ) = λ 1 τ(x) + λ 2 τ(y) + λ 3 τ(z) + λ 4 τ(t) C which means that C is a cyclic code over R. On the other side, let x = (x 1, x 2..., x n ) C 1, y = (y 1, y 2,..., y n ) C 2, z = (z 1, z 2,..., z n ) C 3, t = (t 1, t 2,..., t n ) C 4. Assume that c = (c 1, c 2,..., c n ) C where c j = λ 1 x j +λ 2 y j +λ 3 z j + λ 4 t i for j = 1,..., n. Since C is a cyclic code over R then we have τ(c) = (c n, c 1,..., c n 1 ) C. Note that again (c n, c 1,..., c n 1 ) = λ 1 (x n,..., x n 1 ) + λ 2 (y n,..., y n 1 ) + λ 3 (z n,..., z n 1 ) + λ 4 (t n,..., t n 1 ) C. Hence τ(x) C 1 τ(y) C 2 τ(z) C 3 τ(t) C 4. That means for i = 1, 2, 3, 4, C i is a cyclic code of length n over F 3. Now we investigate generator polynomial of cyclic codes of length n over R. For i = 1, 2, 3, 4 since C i is a cyclic code over F 3, we make use of the generators of cyclic codes over F 3. Theorem 4.2. Let C = λ 1 C 1 λ 2 C 2 λ 3 C 3 λ 4 C 4 be a cyclic code of length n over R. Then there exist the polynomials g i (x) s,1 i 4, over F 3 [x] such that C = < λ 1 g 1 (x), λ 2 g 2 (x), λ 3 g 3 (x), λ 4 g 4 (x) > where g i (x) s are generator polynomials of C i 4 s for i = 1, 2, 3, 4. Moreover C = 3 4n i=1 deg(g i (x)). Proof. Let C i = < g i (x) > and C = λ 1 C 1 λ 2 C 2 λ 3 C 3 λ 4 C 4 then C = {c(x) = λ 1 g 1 s 1 + λ 2 g 2 s 2 + λ 3 g 3 s 3 + λ 4 g 4 s 4 s i F 3 [x]}. It is easily seen that C < λ 1 g 1 (x), λ 2 g 2 (x), λ 3 g 3 (x), λ 4 g 4 (x) >. On the other hand, let d(x) < λ 1 g 1 (x), λ 2 g 2 (x), λ 3 g 3 (x), λ 4 g 4 (x) > then for 1 i 4, there is k i (x) R[x] such that d(x) = λ 1 g 1 (x)k 1 (x) + λ 2 g 2 (x)k 2 (x) + λ 3 g 3 (x)k 3 (x) + λ 4 g 4 (x)k 4 (x). Then there exists polynomial s i (x) F 3 [x] such that λ 1 s 1 (x) = λ 1 k 1 (x), λ 2 s 2 (x) = λ 2 k 2 (x), λ 3 s 3 (x) = λ 3 k 3 (x), λ 4 s 4 (x) = λ 4 k 4 (x). Hence we have < λ 1 g 1 (x), λ 2 g 2 (x), λ 3 g 3 (x), λ 4 g 4 (x) > C. This gives that C = < λ 1 g 1 (x), λ 2 g 2 (x), λ 3 g 3 (x), λ 4 g 4 (x) >. From Theorem 3.5 we know that C = C 1. C 2. C 3. C 4. Thus we get C = 3 4 4n deg(g i (x)) i=1. 4

6 Theorem 4.3. Let C be a cyclic code of length n over R, then there is a polynomial g(x) such that C = < g(x) > where g(x) = λ 1 g 1 (x) + λ 2 g 2 (x) + λ 3 g 3 (x) + λ 4 g 4 (x) and g(x) x n 1. Proof. By Theorem 4.2, we know that C = < λ 1 g 1 (x), λ 2 g 2 (x), λ 3 g 3 (x), λ 4 g 4 (x) > where g i (x) is generator polynomial of C i for i = 1, 2, 3, 4. Let g(x) = λ 1 g 1 (x) + λ 2 g 2 (x) + λ 3 g 3 (x) + λ 4 g 4 (x), obviously < g(x) > C. On the other side, note that λ 1 g(x) = λ 1 g 1 (x), λ 2 g(x) = λ 2 g 2 (x), λ 3 g(x) = λ 3 g 3 (x), λ 1 g(x) = λ 1 g 1 (x) then this gives C < g(x) >. Hence C = < g(x) >. Since g i (x) x n 1 there exists r i (x) R[x]/x n 1 such that x n 1 = g 1 (x)r 1 (x) = g 2 (x)r 2 (x) = g 3 (x)r 3 (x) = g 4 (x)r 4 (x). It follows that x n 1 = g(x)[λ 1 r 1 (x)+λ 2 r 2 (x)λ 3 g 3 (x)r 3 (x)+λ 4 g 4 (x)r 4 (x)], hence g(x) x n 1. Corollary 4.4. Every ideal of R[x]/x n 1 is principal. Theorem 4.5. Let ψ be the gray map and ϕ 4 and τ be quasi and cyclic shift operator as in the preliminaries. Then ψτ = ϕ 4 ψ. Proof. The proof is directly from the definition of quasi and cyclic codes. Theorem 4.6. C is a cyclic code of length n over R if and only if ψ(c) is a quasi cyclic code of index 4 over F 3 with length 4n. Proof. Let C be a cyclic code of length n over R i.e. τ(c) = C. Using Theorem 4.5 we have ϕ 4 (ψ(c)) = ϕ(τ(c)) = ψ(c). Hence ψ(c) is a quasi cyclic code of index 4 over F 3. On the other hand, let ψ(c) is a quasi cyclic codes of index 4 over F 3 i.e. ϕ 4 (ψ(c)) = ψ(c) then using Theorem 4.5 again we get ψ(τ(c)) = ϕ 4 (ψ(c)) = ψ(c). Note that ψ is injective so τ(c) = C. 5. Quantum codes from cyclic codes over F 3 + uf 3 + vf 3 + uvf 3 Theorem 5.1. Let C and Ĉ be two linear codes with parameters [n, k, d] and [n, ˆk, ˆd] such that C Ĉ then there exist a quantum code with parametre [n, k + ˆk, min{d, ˆd}]. Especially if C C then there exists an [[n,2k-n,d]] quantum code. Theorem 5.2. Let C = λ 1 C 1 λ 2 C 2 λ 3 C 3 λ 4 C 4 be a cyclic code of length n over R. Then C =< λ 1 h 1(x) + λ 2 h 2(x) + λ 3 h 3(x) + λ 4 h 4(x) > and C = 3 deg g 1(x)+deg g 2 (x)+deg g 3 (x)+deg g 4 (x) where for i = 1, 2, 3, 4, h i (x) are reciprocal polynomials of h i (x) i.e. h i (x) = x n 1/g i (x), h i (x) = xdeg hi(x) h i (x 1 ). Lemma 5.3. A cyclic code C with generator polynomial g(x) contains its dual if and only if where g (x) is reciprocal polynomial of g(x). x n 1 0 (mod g(x)g (x)) Theorem 5.4. C = < λ 1 g 1 (x), λ 2 g 2 (x), λ 3 g 3 (x), λ 4 g 4 (x) > be a cyclic code of length n over R. Then C C if and only if x n 1 0 (mod g i gi ) for i = 1, 2, 3, 4. Proof. For i = 1, 2, 3, 4, let x n 1 0 (mod g i gi ) then from Lemma 5.3, we have C i C i. This implies that λ i Ci λ i C i. Hence < λ 1 h 1(x) + λ 2 h 2(x) + λ 3 h 3(x) + λ 4 h 4(x) > < λ 1 g 1 (x), λ 2 g 2 (x), λ 3 g 3 (x), λ 4 g 4 (x) >. Thus C C. Conversely, if C C then λ 1 C 1 λ 2 C 2 λ 3 C 3 λ 4 C 4 λ 1 C 1 λ 2 C 2 λ 3 C 3 λ 4 C 4. Since C i is a ternary code such that λ i C i is equal to C mod λ i. Thus Ci C i and x n 1 0 (mod g i gi ) for i = 1, 2, 3, 4. 5

7 Corollary 5.5. Let C = λ 1 C 1 λ 2 C 2 (λ 3 C 3 λ 4 C 4 be a cyclic code of length n over R. Then C C if and only if C i C i for i = 1, 2, 3, 4. By Theorem 5.1 and Corollary 5.5, the quantum codes can be constructed. Theorem 5.6. Let C = λ 1 C 1 λ 2 C 2 λ 3 C 3 λ 4 C 4 be a cyclic code of length n over R with size 3 k. If C C and there exist a quantum code with parameters [[4n, 2k 4n, d L ]]. Example 5.7. Let n = 18. Then x 18 1 = (x + 1) 9 (x + 2) 9 in F 3. Let g(x) = λ 1 g 1 (x) + λ 2 g 2 (x) + λ 3 g 3 (x) + λ 4 g 4 (x) where g 1 (x) = g 2 (x) = g 3 (x) = x 5 + 2x 3 + 2x and g 4 (x) = x 6 + x 5 + 2x 4 + x 3 + 2x 2 + x + 1 so that g1 (x) = g 2 (x) = g 3 (x) = x5 + 2x 3 + 2x g4 (x) = x6 + x 5 + 2x 4 + x 3 + 2x 2 + x + 1. Let C = < g(x) > be a cyclic code over R. Clearly x 18 1 is divisible by g i gi for i = 1, 2, 3, 4. Hence by Theorem 5.5 we have C C. Then a quantum code with parameters [[72, 30, 3]] can be obtained. Table 1. The parameters of quantum code. n Generator polynomials [[N, K, D]] 6 g 1 = g 2 = x + 1 and g 3 = g 4 = x + 2 [[24, 16, 2]] 9 g 1 = g 2 = g 3 = g 4 = x + 2 [[36, 28, 2]] 11 g 1 = g 2 = x 5 + x 4 + 2x 3 + x and g 3 = g 4 = x 5 + 2x 3 + x 2 + 2x + 2 [[44, 4, 5]] 15 g 1 = g 2 = g 3 = g 4 = x + 2 [[60, 52, 2]] 18 g 1 = g 2 = g 3 = g 4 = x + 2 [[72, 64, 2]] 21 g 1 = g 2 = g 3 = x + 2 and g 4 = x + 1 [[84, 76, 2]] 22 g 1 = g 2 = g 3 = g 4 = x 10 + x 9 + x 8 + 2x 7 + 2x 6 + 2x 5 + x 4 + 2x 3 + 2x 2 + x + 2 [[88, 8, 7]] 23 g 1 = g 2 = g 3 = g 4 = x 11 + x 10 + x 9 + 2x 8 + 2x 7 + x 5 + x [[92, 4, 8]] 24 g 1 = g 2 = g 3 = g 4 = x 5 + x 3 + 2x + 2 [[96, 56, 3]] 30 g 1 = g 2 = g 3 = x + 2 and g 4 = x [[120, 110, 2]] 35 g 1 = g 2 = g 3 = g 4 = x x x 10 + x 9 + 2x 8 + x 7 + x 5 + 2x 4 + x [[140, 44, 5]] References [1] P. W. Shor, Scheme for reducing decoherence in quantum computer memory, Phys. Rev. A, 52 (1995), [2] A. M. Steane, Simple quantum error correcting codes, Phys. Rev. Lett., 77 (1996), [3] A. R. Calderbank, E.M.Rains, P.M.Shor, N.J.A.Sloane, Quantum error correction via codes over GF (4), IEEE Trans. Inf. Theory, 44 (1998), [4] X.Kai,S.Zhu, Quaternary construction of quantum codes from cyclic codes over F 4 + vf 4, Int. J. Quantum Inform., 9 (2011), [5] X. Yin, W. Ma, Gray Map And Quantum Codes Over The Ring F 2 + uf 2 + u 2 F 2; International Joint Conferences of IEEE TrustCom-11, (2011). [6] M. Ozen, M. Guzeltepe, Quantum Codes From Codes over Gaussian Integers with Respect to The Mannheim Metric,Quantum Information and Computation, 12 (2012), [7] J.Qian, Quantum codes from cyclic codes over F 2 + vf 2, Journal of Inform. Computational Science 10 : 6 (2013), [8] M. Ashraf, G. Mohammad, Quantum codes from cyclic codes over F 3 +vf 3, International Journal of Quantum Information, vol. 12, No. 6(2014) [9] K. Guenda, T. A. Gulliver, Quantum codes over rings, Int. J. Quantum Inform, 12, (2014), [10] A. Dertli, Y. Cengellenmis, S. Eren, On quantum codes obtained from cyclic codes over A 2, Int. J. Quantum Inform., vol. 13, 2(2015)

ON QUANTUM CODES FROM CYCLIC CODES OVER A CLASS OF NONCHAIN RINGS

ON QUANTUM CODES FROM CYCLIC CODES OVER A CLASS OF NONCHAIN RINGS Bull Korean Math Soc 53 (2016), No 6, pp 1617 1628 http://dxdoiorg/104134/bkmsb150544 pissn: 1015-8634 / eissn: 2234-3016 ON QUANTUM CODES FROM CYCLIC CODES OVER A CLASS OF NONCHAIN RINGS Mustafa Sari

More information

Linear, Cyclic and Constacyclic Codes over S 4 = F 2 + uf 2 + u 2 F 2 + u 3 F 2

Linear, Cyclic and Constacyclic Codes over S 4 = F 2 + uf 2 + u 2 F 2 + u 3 F 2 Filomat 28:5 (2014), 897 906 DOI 10.2298/FIL1405897O Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Linear, Cyclic and Constacyclic

More information

On Skew Cyclic and Quasi-cyclic Codes Over F 2 + uf 2 + u 2 F 2

On Skew Cyclic and Quasi-cyclic Codes Over F 2 + uf 2 + u 2 F 2 Palestine Journal of Mathematics Vol. 4 Spec. 1) 015), 540 546 Palestine Polytechnic University-PPU 015 On Skew Cyclic and Quasi-cyclic Codes Over F + uf + u F Abdullah Dertli, Yasemin Cengellenmis and

More information

The Homogeneous Weight for R k, Related Gray Map and New Binary Quasi-Cyclic Codes

The Homogeneous Weight for R k, Related Gray Map and New Binary Quasi-Cyclic Codes Filomat 31:4 (2017), 885 897 DOI 102298/FIL1704885Y Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://wwwpmfniacrs/filomat The Homogeneous Weight for R k,

More information

On Linear Codes over a non-chain extension of Z 4

On Linear Codes over a non-chain extension of Z 4 On Linear Codes over a non-chain extension of Z 4 Dr.Bahattin YILDIZ Department of Mathematics, Fatih University Istanbul-TURKEY Joint work with Dr Suat Karadeniz June 2012 Dr.Bahattin YILDIZ Department

More information

Nonlinear Cyclic Codes over Z 4 whose Nechaev-Gray Images are Binary Linear Cyclic Codes

Nonlinear Cyclic Codes over Z 4 whose Nechaev-Gray Images are Binary Linear Cyclic Codes International Mathematical Forum, 1, 2006, no. 17, 809-821 Nonlinear Cyclic Codes over Z 4 whose Nechaev-Gray Images are Binary Linear Cyclic Codes Gerardo Vega Dirección General de Servicios de Cómputo

More information

Some Open Problems on Quasi-Twisted and Related Code Constructions and Good Quaternary Codes

Some Open Problems on Quasi-Twisted and Related Code Constructions and Good Quaternary Codes Some Open Problems on Quasi-Twisted and Related Code Constructions and Good Quaternary Codes Nuh Aydin and Tsvetan Asamov Department of Mathematics Kenyon College Gambier, OH 43022 {aydinn,asamovt}@kenyon.edu

More information

arxiv: v4 [cs.it] 26 Apr 2015

arxiv: v4 [cs.it] 26 Apr 2015 On cyclic codes over Z q +uz q arxiv:1501.03924v4 [cs.it] 26 Apr 2015 Jian Gao 1, Fang-Wei Fu 2, Ling Xiao 1, Rama Krishna Bandi 3 1. School of Science, Shandong University of Technology Zibo, 255091,

More information

Linear and Cyclic Codes over direct product of Finite Chain Rings

Linear and Cyclic Codes over direct product of Finite Chain Rings Proceedings of the 16th International Conference on Computational and Mathematical Methods in Science and Engineering CMMSE 2016 4 8 July 2016 Linear and Cyclic Codes over direct product of Finite Chain

More information

Codes and Rings: Theory and Practice

Codes and Rings: Theory and Practice Codes and Rings: Theory and Practice Patrick Solé CNRS/LAGA Paris, France, January 2017 Geometry of codes : the music of spheres R = a finite ring with identity. A linear code of length n over a ring R

More information

A Characterization Of Quantum Codes And Constructions

A Characterization Of Quantum Codes And Constructions A Characterization Of Quantum Codes And Constructions Chaoping Xing Department of Mathematics, National University of Singapore Singapore 117543, Republic of Singapore (email: matxcp@nus.edu.sg) Abstract

More information

Skew Cyclic Codes Of Arbitrary Length

Skew Cyclic Codes Of Arbitrary Length Skew Cyclic Codes Of Arbitrary Length Irfan Siap Department of Mathematics, Adıyaman University, Adıyaman, TURKEY, isiap@adiyaman.edu.tr Taher Abualrub Department of Mathematics and Statistics, American

More information

Codes over an infinite family of algebras

Codes over an infinite family of algebras J Algebra Comb Discrete Appl 4(2) 131 140 Received: 12 June 2015 Accepted: 17 February 2016 Journal of Algebra Combinatorics Discrete tructures and Applications Codes over an infinite family of algebras

More information

Construction X for quantum error-correcting codes

Construction X for quantum error-correcting codes Simon Fraser University Burnaby, BC, Canada joint work with Vijaykumar Singh International Workshop on Coding and Cryptography WCC 2013 Bergen, Norway 15 April 2013 Overview Construction X is known from

More information

Skew-Cyclic Codes over B k

Skew-Cyclic Codes over B k Skew-Cyclic Codes over B k arxiv:1705.06007v1 [math.co] 17 May 2017 Irwansyah Mathematics Department, Universitas Mataram, Jl. Majapahit 62, Mataram, INDONESIA Aleams Barra, Intan Muchtadi-Alamsyah, Ahmad

More information

Construction of quasi-cyclic self-dual codes

Construction of quasi-cyclic self-dual codes Construction of quasi-cyclic self-dual codes Sunghyu Han, Jon-Lark Kim, Heisook Lee, and Yoonjin Lee December 17, 2011 Abstract There is a one-to-one correspondence between l-quasi-cyclic codes over a

More information

Repeated Root Constacyclic Codes of Length mp s over F p r +uf p r +...+u e 1 F p r

Repeated Root Constacyclic Codes of Length mp s over F p r +uf p r +...+u e 1 F p r Repeated Root Constacyclic Codes of Length mp s over F p r +uf p r +...+u e 1 F p r arxiv:1211.7326v1 [cs.it] 30 Nov 2012 Kenza Guenda and T. Aaron Gulliver December 3, 2012 Abstract We give the structure

More information

Quantum codes from two-point Hermitian codes

Quantum codes from two-point Hermitian codes Clemson University TigerPrints All Theses Theses 8-2010 Quantum codes from two-point Hermitian codes Justine Hyde-volpe Clemson University, jchasma@clemson.edu Follow this and additional works at: https://tigerprints.clemson.edu/all_theses

More information

A first step towards the skew duadic codes

A first step towards the skew duadic codes A first step towards the skew duadic codes Delphine Boucher To cite this version: Delphine Boucher. A first step towards the skew duadic codes. 2017. HAL Id: hal-01560025 https://hal.archives-ouvertes.fr/hal-01560025v2

More information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

More information

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x f(x) = q(x)h(x) + r(x),

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x f(x) = q(x)h(x) + r(x), Coding Theory Massoud Malek Linear Cyclic Codes Polynomial and Words A polynomial of degree n over IK is a polynomial p(x) = a 0 + a 1 + + a n 1 x n 1 + a n x n, where the coefficients a 1, a 2,, a n are

More information

Finite Fields and Their Applications

Finite Fields and Their Applications Finite Fields and Their Applications 17 2011 205 219 Contents lists available at ScienceDirect Finite Fields and Their Applications www.elsevier.com/locate/ffa Codes over R k, Gray maps and their binary

More information

Generator Matrix. Theorem 6: If the generator polynomial g(x) of C has degree n-k then C is an [n,k]-cyclic code. If g(x) = a 0. a 1 a n k 1.

Generator Matrix. Theorem 6: If the generator polynomial g(x) of C has degree n-k then C is an [n,k]-cyclic code. If g(x) = a 0. a 1 a n k 1. Cyclic Codes II Generator Matrix We would now like to consider how the ideas we have previously discussed for linear codes are interpreted in this polynomial version of cyclic codes. Theorem 6: If the

More information

: Error Correcting Codes. November 2017 Lecture 2

: Error Correcting Codes. November 2017 Lecture 2 03683072: Error Correcting Codes. November 2017 Lecture 2 Polynomial Codes and Cyclic Codes Amnon Ta-Shma and Dean Doron 1 Polynomial Codes Fix a finite field F q. For the purpose of constructing polynomial

More information

Open Questions in Coding Theory

Open Questions in Coding Theory Open Questions in Coding Theory Steven T. Dougherty July 4, 2013 Open Questions The following questions were posed by: S.T. Dougherty J.L. Kim P. Solé J. Wood Hilbert Style Problems Hilbert Style Problems

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books. Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define

More information

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x

Linear Cyclic Codes. Polynomial Word 1 + x + x x 4 + x 5 + x x + x Coding Theory Massoud Malek Linear Cyclic Codes Polynomial and Words A polynomial of degree n over IK is a polynomial p(x) = a 0 + a 1 x + + a n 1 x n 1 + a n x n, where the coefficients a 0, a 1, a 2,,

More information

3. Coding theory 3.1. Basic concepts

3. Coding theory 3.1. Basic concepts 3. CODING THEORY 1 3. Coding theory 3.1. Basic concepts In this chapter we will discuss briefly some aspects of error correcting codes. The main problem is that if information is sent via a noisy channel,

More information

Coding Theory as Pure Mathematics

Coding Theory as Pure Mathematics Coding Theory as Pure Mathematics Steven T. Dougherty July 1, 2013 Origins of Coding Theory How does one communicate electronic information effectively? Namely can one detect and correct errors made in

More information

Duadic Codes over Finite Commutative Rings

Duadic Codes over Finite Commutative Rings The Islamic University of Gaza Faculty of Science Department of Mathematics Duadic Codes over Finite Commutative Rings PRESENTED BY Ikhlas Ibraheem Diab Al-Awar SUPERVISED BY Prof. Mohammed Mahmoud AL-Ashker

More information

Finite Fields. Mike Reiter

Finite Fields. Mike Reiter 1 Finite Fields Mike Reiter reiter@cs.unc.edu Based on Chapter 4 of: W. Stallings. Cryptography and Network Security, Principles and Practices. 3 rd Edition, 2003. Groups 2 A group G, is a set G of elements

More information

Algebraic Varieties. Chapter Algebraic Varieties

Algebraic Varieties. Chapter Algebraic Varieties Chapter 12 Algebraic Varieties 12.1 Algebraic Varieties Let K be a field, n 1 a natural number, and let f 1,..., f m K[X 1,..., X n ] be polynomials with coefficients in K. Then V = {(a 1,..., a n ) :

More information

New Quantum Error-Correcting Codes from Hermitian Self-Orthogonal Codes over GF(4)

New Quantum Error-Correcting Codes from Hermitian Self-Orthogonal Codes over GF(4) New Quantum Error-Correcting Codes from Hermitian Self-Orthogonal Codes over GF(4) Jon-Lark Kim Department of Mathematics, Statistics, and Computer Science, 322 SEO(M/C 249), University of Illinois Chicago,

More information

Self-Dual Cyclic Codes

Self-Dual Cyclic Codes Self-Dual Cyclic Codes Bas Heijne November 29, 2007 Definitions Definition Let F be the finite field with two elements and n a positive integer. An [n, k] (block)-code C is a k dimensional linear subspace

More information

Type I Codes over GF(4)

Type I Codes over GF(4) Type I Codes over GF(4) Hyun Kwang Kim San 31, Hyoja Dong Department of Mathematics Pohang University of Science and Technology Pohang, 790-784, Korea e-mail: hkkim@postech.ac.kr Dae Kyu Kim School of

More information

Rings in Coding Theory

Rings in Coding Theory Rings in Coding Theory Steven T. Dougherty July 3, 2013 Cyclic Codes Cyclic Codes were first studied by Prange in 1957. Prange, E. Cyclic error-correcting codes in two symbols. Technical Note TN-57-103,

More information

QUADRATIC RESIDUE CODES OVER Z 9

QUADRATIC RESIDUE CODES OVER Z 9 J. Korean Math. Soc. 46 (009), No. 1, pp. 13 30 QUADRATIC RESIDUE CODES OVER Z 9 Bijan Taeri Abstract. A subset of n tuples of elements of Z 9 is said to be a code over Z 9 if it is a Z 9 -module. In this

More information

New extremal binary self-dual codes of length 68 via the short Kharaghani array over F 2 +uf 2

New extremal binary self-dual codes of length 68 via the short Kharaghani array over F 2 +uf 2 MATHEMATICAL COMMUNICATIONS 121 Math. Commun. 22(2017), 121 131 New extremal binary self-dual codes of length 68 via the short Kharaghani array over F 2 +uf 2 Abidin Kaya Department of Computer Engineering,

More information

Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields

Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields Self-dual Repeated Root Cyclic and Negacyclic Codes over Finite Fields K. Guenda Faculty of Mathematics USTHB University of Sciences and Technology of Algiers B.P. 32 El Alia, Bab Ezzouar, Algiers, Algeria

More information

7.1 Definitions and Generator Polynomials

7.1 Definitions and Generator Polynomials Chapter 7 Cyclic Codes Lecture 21, March 29, 2011 7.1 Definitions and Generator Polynomials Cyclic codes are an important class of linear codes for which the encoding and decoding can be efficiently implemented

More information

arxiv: v4 [cs.it] 14 May 2013

arxiv: v4 [cs.it] 14 May 2013 arxiv:1006.1694v4 [cs.it] 14 May 2013 PURE ASYMMETRIC QUANTUM MDS CODES FROM CSS CONSTRUCTION: A COMPLETE CHARACTERIZATION MARTIANUS FREDERIC EZERMAN Centre for Quantum Technologies, National University

More information

An Interpolation Algorithm for List Decoding of Reed-Solomon Codes

An Interpolation Algorithm for List Decoding of Reed-Solomon Codes An Interpolation Algorithm for List Decoding of Reed-Solomon Codes Kwankyu Lee Department of Mathematics San Diego State University San Diego, USA Email: kwankyu@sogangackr Michael E O Sullivan Department

More information

Tensor Product of modules. MA499 Project II

Tensor Product of modules. MA499 Project II Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI

More information

SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM

SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM Acta Arith. 183(018), no. 4, 339 36. SOME VARIANTS OF LAGRANGE S FOUR SQUARES THEOREM YU-CHEN SUN AND ZHI-WEI SUN Abstract. Lagrange s four squares theorem is a classical theorem in number theory. Recently,

More information

Knizhnik-Zamolodchikov type equations for the root system B and Capelli central elements

Knizhnik-Zamolodchikov type equations for the root system B and Capelli central elements Journal of Physics: Conference Series OPEN ACCESS Knizhnik-Zamolodchikov type equations for the root system B and Capelli central elements To cite this article: D V Artamonov and V A Golubeva 2014 J. Phys.:

More information

TEST CODE: PMB SYLLABUS

TEST CODE: PMB SYLLABUS TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional

More information

Cyclic codes. Vahid Meghdadi Reference: Error Correction Coding by Todd K. Moon. February 2008

Cyclic codes. Vahid Meghdadi Reference: Error Correction Coding by Todd K. Moon. February 2008 Cyclic codes Vahid Meghdadi Reference: Error Correction Coding by Todd K. Moon February 2008 1 Definitions Definition 1. A ring < R, +,. > is a set R with two binary operation + (addition) and. (multiplication)

More information

MacWilliams Type identities for m-spotty Rosenbloom-Tsfasman weight enumerators over finite commutative Frobenius rings

MacWilliams Type identities for m-spotty Rosenbloom-Tsfasman weight enumerators over finite commutative Frobenius rings MacWilliams Type identities for m-spotty Rosenbloom-Tsfasman weight enumerators over finite commutative Frobenius rings Minjia Shi School of Mathematical Sciences of Anhui University, 230601 Hefei, Anhui,

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

More information

Projective Varieties. Chapter Projective Space and Algebraic Sets

Projective Varieties. Chapter Projective Space and Algebraic Sets Chapter 1 Projective Varieties 1.1 Projective Space and Algebraic Sets 1.1.1 Definition. Consider A n+1 = A n+1 (k). The set of all lines in A n+1 passing through the origin 0 = (0,..., 0) is called the

More information

Binary construction of quantum codes of minimum distances five and six

Binary construction of quantum codes of minimum distances five and six Discrete Mathematics 308 2008) 1603 1611 www.elsevier.com/locate/disc Binary construction of quantum codes of minimum distances five and six Ruihu Li a, ueliang Li b a Department of Applied Mathematics

More information

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.

B 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X. Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2

More information

The Structure of Z 2 Z 2 s-additive Codes: Bounds on the Minimum Distance

The Structure of Z 2 Z 2 s-additive Codes: Bounds on the Minimum Distance Appl Math Inf Sci 7, No 6, 2271-2278 (2013) 2271 Applied Mathematics & Information Sciences An International Journal http://dxdoiorg/1012785/amis/070617 The Structure of Z 2 Z 2 s-additive Codes: Bounds

More information

arxiv: v2 [cs.it] 12 Jul 2018

arxiv: v2 [cs.it] 12 Jul 2018 MDS codes with arbitrary dimensional hull and their applications Gaojun Luo 1, Xiwang Cao 1, arxiv:1807.03166v [cs.it] 1 Jul 018 Friday 13 th July, 018 Abstract The hull of linear codes have promising

More information

Homework 8 Solutions to Selected Problems

Homework 8 Solutions to Selected Problems Homework 8 Solutions to Selected Problems June 7, 01 1 Chapter 17, Problem Let f(x D[x] and suppose f(x is reducible in D[x]. That is, there exist polynomials g(x and h(x in D[x] such that g(x and h(x

More information

Algebra Exam Topics. Updated August 2017

Algebra Exam Topics. Updated August 2017 Algebra Exam Topics Updated August 2017 Starting Fall 2017, the Masters Algebra Exam will have 14 questions. Of these students will answer the first 8 questions from Topics 1, 2, and 3. They then have

More information

ECEN 5682 Theory and Practice of Error Control Codes

ECEN 5682 Theory and Practice of Error Control Codes ECEN 5682 Theory and Practice of Error Control Codes Introduction to Algebra University of Colorado Spring 2007 Motivation and For convolutional codes it was convenient to express the datawords and the

More information

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form Commutative Algebra Homework 3 David Nichols Part 1 Exercise 2.6 For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form m 0 + m

More information

************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan

************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan ************************************* Applied Analysis I - (Advanced PDE I) (Math 94, Fall 214) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.

More information

U + V = (U V ) (V U), UV = U V.

U + V = (U V ) (V U), UV = U V. Solution of Some Homework Problems (3.1) Prove that a commutative ring R has a unique 1. Proof: Let 1 R and 1 R be two multiplicative identities of R. Then since 1 R is an identity, 1 R = 1 R 1 R. Since

More information

EE 229B ERROR CONTROL CODING Spring 2005

EE 229B ERROR CONTROL CODING Spring 2005 EE 9B ERROR CONTROL CODING Spring 005 Solutions for Homework 1. (Weights of codewords in a cyclic code) Let g(x) be the generator polynomial of a binary cyclic code of length n. (a) Show that if g(x) has

More information

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group.

Algebra Review 2. 1 Fields. A field is an extension of the concept of a group. Algebra Review 2 1 Fields A field is an extension of the concept of a group. Definition 1. A field (F, +,, 0 F, 1 F ) is a set F together with two binary operations (+, ) on F such that the following conditions

More information

Negacyclic and Constacyclic codes over finite chain rings June 29, 2008

Negacyclic and Constacyclic codes over finite chain rings June 29, 2008 Negacyclic and Constacyclic rings codes over finite chain June 29, 2008 THE ISLAMIC UNIVERSITY OF GAZA DEANERY OF HIGHER STUDIES FACULTY OF SCIENCE DEPARTMENT OF MATHEMATICS Negacyclic and Constacyclic

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

Matsumura: Commutative Algebra Part 2

Matsumura: Commutative Algebra Part 2 Matsumura: Commutative Algebra Part 2 Daniel Murfet October 5, 2006 This note closely follows Matsumura s book [Mat80] on commutative algebra. Proofs are the ones given there, sometimes with slightly more

More information

A family Of Cyclic Codes Over Finite Chain Rings

A family Of Cyclic Codes Over Finite Chain Rings The Islamic University of Gaza Deanery of Higher Studies Faculty of Science Department of Mathematics A family Of Cyclic Codes Over Finite Chain Rings Presented by: Sanaa Yusuf Sabouh Supervised by: Dr.:

More information

Infinite-Dimensional Triangularization

Infinite-Dimensional Triangularization Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

Linear Matrix Inequality Method for a Quadratic Performance Index Minimization Problem with a class of Bilinear Matrix Inequality Conditions

Linear Matrix Inequality Method for a Quadratic Performance Index Minimization Problem with a class of Bilinear Matrix Inequality Conditions Journal of Physics: Conference Series PAPER OPEN ACCESS Linear Matrix Inequality Method for a Quadratic Performance Index Minimization Problem with a class of Bilinear Matrix Inequality Conditions To cite

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

More information

arxiv: v1 [cs.it] 25 Mar 2016

arxiv: v1 [cs.it] 25 Mar 2016 arxiv:160502968v1 [csit] 25 Mar 2016 On cyclic DNA codes over the rings Z 4 +wz 4 and Z 4 +wz 4 +vz 4 +wvz 4 Abdullah Dertli a, Yasemin Cengellenmis b (a) Ondokuz Mayıs University, Faculty of Arts and

More information

Rational Chebyshev pseudospectral method for long-short wave equations

Rational Chebyshev pseudospectral method for long-short wave equations Journal of Physics: Conference Series PAPER OPE ACCESS Rational Chebyshev pseudospectral method for long-short wave equations To cite this article: Zeting Liu and Shujuan Lv 07 J. Phys.: Conf. Ser. 84

More information

Section III.6. Factorization in Polynomial Rings

Section III.6. Factorization in Polynomial Rings III.6. Factorization in Polynomial Rings 1 Section III.6. Factorization in Polynomial Rings Note. We push several of the results in Section III.3 (such as divisibility, irreducibility, and unique factorization)

More information

Note on homological modeling of the electric circuits

Note on homological modeling of the electric circuits Journal of Physics: Conference Series OPEN ACCESS Note on homological modeling of the electric circuits To cite this article: E Paal and M Umbleja 2014 J. Phys.: Conf. Ser. 532 012022 Related content -

More information

Linear Algebra. Hoffman & Kunze. 2nd edition. Answers and Solutions to Problems and Exercises Typos, comments and etc...

Linear Algebra. Hoffman & Kunze. 2nd edition. Answers and Solutions to Problems and Exercises Typos, comments and etc... Linear Algebra Hoffman & Kunze 2nd edition Answers and Solutions to Problems and Exercises Typos, comments and etc Gregory R Grant University of Pennsylvania email: ggrant@upennedu Julyl 2017 2 Note This

More information

The Structure of 1-Generator Quasi-Twisted Codes and New Linear Codes

The Structure of 1-Generator Quasi-Twisted Codes and New Linear Codes C Designs, Codes and Cryptography, 24, 313 326, 2001 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. The Structure of 1-Generator Quasi-Twisted Codes and New Linear Codes NUH AYDIN Department

More information

Analysis of additive generators of fuzzy operations represented by rational functions

Analysis of additive generators of fuzzy operations represented by rational functions Journal of Physics: Conference Series PAPER OPEN ACCESS Analysis of additive generators of fuzzy operations represented by rational functions To cite this article: T M Ledeneva 018 J. Phys.: Conf. Ser.

More information

MTH310 EXAM 2 REVIEW

MTH310 EXAM 2 REVIEW MTH310 EXAM 2 REVIEW SA LI 4.1 Polynomial Arithmetic and the Division Algorithm A. Polynomial Arithmetic *Polynomial Rings If R is a ring, then there exists a ring T containing an element x that is not

More information

Formally self-dual additive codes over F 4

Formally self-dual additive codes over F 4 Formally self-dual additive codes over F Sunghyu Han School of Liberal Arts, Korea University of Technology and Education, Cheonan 0-708, South Korea Jon-Lark Kim Department of Mathematics, University

More information

Repeated-Root Self-Dual Negacyclic Codes over Finite Fields

Repeated-Root Self-Dual Negacyclic Codes over Finite Fields Journal of Mathematical Research with Applications May, 2016, Vol. 36, No. 3, pp. 275 284 DOI:10.3770/j.issn:2095-2651.2016.03.004 Http://jmre.dlut.edu.cn Repeated-Root Self-Dual Negacyclic Codes over

More information

A Framework for Non-Additive Quantum Codes

A Framework for Non-Additive Quantum Codes First International Conference on Quantum Error Correction University of Southern California, Los Angeles, USA December, 17-20, 2007 A Framework for Non-Additive Quantum Codes Markus Grassl joint work

More information

MDS Codes over Finite Principal Ideal Rings

MDS Codes over Finite Principal Ideal Rings MDS Codes over Finite Principal Ideal Rings Steven T. Dougherty Department of Mathematics University of Scranton Scranton, PA 18510, USA Email: doughertys1@scranton.edu Jon-Lark Kim Department of Mathematics,

More information

Division of Trinomials by Pentanomials and Orthogonal Arrays

Division of Trinomials by Pentanomials and Orthogonal Arrays Division of Trinomials by Pentanomials and Orthogonal Arrays School of Mathematics and Statistics Carleton University daniel@math.carleton.ca Joint work with M. Dewar, L. Moura, B. Stevens and Q. Wang

More information

The first order quasi-linear PDEs

The first order quasi-linear PDEs Chapter 2 The first order quasi-linear PDEs The first order quasi-linear PDEs have the following general form: F (x, u, Du) = 0, (2.1) where x = (x 1, x 2,, x 3 ) R n, u = u(x), Du is the gradient of u.

More information

ABSTRACT NONSINGULAR CURVES

ABSTRACT NONSINGULAR CURVES ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a

More information

Rings. EE 387, Notes 7, Handout #10

Rings. EE 387, Notes 7, Handout #10 Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

Generalized Multiplicative Derivations in Near-Rings

Generalized Multiplicative Derivations in Near-Rings Generalized Multiplicative Derivations in Near-Rings Mohammad Aslam Siddeeque Department of Mathematics Aligarh Muslim University Aligarh -222(India) E-mail : aslamsiddeeque@gmail.com Abstract: In the

More information

EE512: Error Control Coding

EE512: Error Control Coding EE51: Error Control Coding Solution for Assignment on BCH and RS Codes March, 007 1. To determine the dimension and generator polynomial of all narrow sense binary BCH codes of length n = 31, we have to

More information

LIFTED CODES OVER FINITE CHAIN RINGS

LIFTED CODES OVER FINITE CHAIN RINGS Math. J. Okayama Univ. 53 (2011), 39 53 LIFTED CODES OVER FINITE CHAIN RINGS Steven T. Dougherty, Hongwei Liu and Young Ho Park Abstract. In this paper, we study lifted codes over finite chain rings. We

More information

ECEN 604: Channel Coding for Communications

ECEN 604: Channel Coding for Communications ECEN 604: Channel Coding for Communications Lecture: Introduction to Cyclic Codes Henry D. Pfister Department of Electrical and Computer Engineering Texas A&M University ECEN 604: Channel Coding for Communications

More information

Higher Ramification Groups

Higher Ramification Groups COLORADO STATE UNIVERSITY MATHEMATICS Higher Ramification Groups Dean Bisogno May 24, 2016 1 ABSTRACT Studying higher ramification groups immediately depends on some key ideas from valuation theory. With

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

Part IX. Factorization

Part IX. Factorization IX.45. Unique Factorization Domains 1 Part IX. Factorization Section IX.45. Unique Factorization Domains Note. In this section we return to integral domains and concern ourselves with factoring (with respect

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

Self-Dual Codes over Commutative Frobenius Rings

Self-Dual Codes over Commutative Frobenius Rings Self-Dual Codes over Commutative Frobenius Rings Steven T. Dougherty Department of Mathematics University of Scranton Scranton, PA 18510, USA Email: doughertys1@scranton.edu Jon-Lark Kim Department of

More information

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that:

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: Discrete valuation rings Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: 1. v is surjective. 2. v(ab) = v(a) + v(b). 3. v(a + b) min(v(a), v(b)) if a + b 0. Proposition:

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

Non-Standard Coding Theory

Non-Standard Coding Theory Non-Standard Coding Theory Steven T. Dougherty July 3, 2013 Rosenbloom-Tsfasman Metric Codes with the Rosenbloom-Tsfasman Metric Rosenbloom-Tsfasman Metric Mat n,s (F q ) denotes the linear space of all

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information