Heuristic Construction of Linear Codes over Finite Chain Rings with High Minimum Homogeneous Weight
|
|
- Sylvia Chase
- 5 years ago
- Views:
Transcription
1 Heuristic Construction of Linear Codes over Finite Chain Rings with High Minimum Homogeneous Weight Johannes Zwanzger University of Bayreuth Magdeburg November 13th, 2009
2 Motivation J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
3 Motivation 1967: Nordstrom and Robinson find nonlinear binary [16, 2 8, 6]-code (linear: minimum distance 5) J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
4 Motivation 1967: Nordstrom and Robinson find nonlinear binary [16, 2 8, 6]-code (linear: minimum distance 5) Preparata & Kerdock construct infinite series of such codes including the NR-code. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
5 Motivation 1967: Nordstrom and Robinson find nonlinear binary [16, 2 8, 6]-code (linear: minimum distance 5) Preparata & Kerdock construct infinite series of such codes including the NR-code. Nechaev 1989, Hammons et al. 1994: K. & P.-codes are the Gray image of Z 4 -linear codes J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
6 Motivation 1967: Nordstrom and Robinson find nonlinear binary [16, 2 8, 6]-code (linear: minimum distance 5) Preparata & Kerdock construct infinite series of such codes including the NR-code. Nechaev 1989, Hammons et al. 1994: K. & P.-codes are the Gray image of Z 4 -linear codes Questions: Are there more examples? What about other rings? J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
7 Finite chain rings J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
8 Finite chain rings Definition A finite chain ring R is a finite ring with unity whose left ideals form a chain R = I 0 I 1 I m = {0}. m is called the chain length of R. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
9 Finite chain rings Definition A finite chain ring R is a finite ring with unity whose left ideals form a chain R = I 0 I 1 I m = {0}. m is called the chain length of R. q : R/I 1 = Fq. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
10 Finite chain rings Definition A finite chain ring R is a finite ring with unity whose left ideals form a chain R = I 0 I 1 I m = {0}. m is called the chain length of R. q : R/I 1 = Fq. R, m and q will keep their meaning throughout this talk. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
11 Finite chain rings Definition A finite chain ring R is a finite ring with unity whose left ideals form a chain R = I 0 I 1 I m = {0}. m is called the chain length of R. q : R/I 1 = Fq. R, m and q will keep their meaning throughout this talk. Example R := Z p n, with p a prime (m = n, q = p). J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
12 Linear codes over finite chain rings J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
13 Linear codes over finite chain rings Linear code over R of length n: submodule of R R n (row convention). J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
14 Linear codes over finite chain rings Linear code over R of length n: submodule of R R n (row convention). Example J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
15 Linear codes over finite chain rings Linear code over R of length n: submodule of R R n (row convention). Example R := Z 8 J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
16 Linear codes over finite chain rings Linear code over R of length n: submodule of R R n (row convention). Example R := Z 8 I 0 = Z 8, I 1 = {0, 2, 4, 6}, I 2 = {0, 4}, I 3 = {0} J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
17 Linear codes over finite chain rings Linear code over R of length n: submodule of R R n (row convention). Example R := Z 8 I 0 = Z 8, I 1 = {0, 2, 4, 6}, I 2 = {0, 4}, I 3 = {0} Γ = J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
18 Linear codes over finite chain rings Linear code over R of length n: submodule of R R n (row convention). Example R := Z 8 I 0 = Z 8, I 1 = {0, 2, 4, 6}, I 2 = {0, 4}, I 3 = {0} Γ = C Γ has shape (3, 2, 1). J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
19 Linear codes over finite chain rings Linear code over R of length n: submodule of R R n (row convention). Example R := Z 8 I 0 = Z 8, I 1 = {0, 2, 4, 6}, I 2 = {0, 4}, I 3 = {0} Γ = C Γ has shape (3, 2, 1). R 0 = Z 8, R 1 = {0, 1, 2, 3}, R 2 = {0, 1} J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
20 Linear codes over finite chain rings Linear code over R of length n: submodule of R R n (row convention). Example R := Z 8 I 0 = Z 8, I 1 = {0, 2, 4, 6}, I 2 = {0, 4}, I 3 = {0} Γ = C Γ has shape (3, 2, 1). R 0 = Z 8, R 1 = {0, 1, 2, 3}, R 2 = {0, 1} C Γ = {uγ : u R 0 R 1 R 2 } J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
21 The homogeneous weight J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
22 The homogeneous weight Definition J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
23 The homogeneous weight Definition Homogeneous weight: 0 r = 0 w : R Q, w(r) = q r I m 1 \ {0} q 1 r R \ I m 1 J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
24 The homogeneous weight Definition Homogeneous weight: 0 r = 0 w : R Q, w(r) = q r I m 1 \ {0} q 1 r R \ I m 1 d(r, r ) := w(r r ) (extend to R n ) J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
25 The homogeneous weight Definition Homogeneous weight: 0 r = 0 w : R Q, w(r) = q r I m 1 \ {0} q 1 r R \ I m 1 d(r, r ) := w(r r ) (extend to R n ) Minimum homogeneous distance: d(c) := min{d(c, c ) : c, c C, c c } = min{w(c) : c C \ {0}} J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
26 The homogeneous weight Definition Homogeneous weight: 0 r = 0 w : R Q, w(r) = q r I m 1 \ {0} q 1 r R \ I m 1 d(r, r ) := w(r r ) (extend to R n ) Minimum homogeneous distance: d(c) := min{d(c, c ) : c, c C, c c } = min{w(c) : c C \ {0}} M. Greferath and S. Schmidt, 1999: isometry Ψ : (R, q m 2 d) (F qm 1 q, d ham ) ( Gray map ) J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
27 System of Diophantine inequalities J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
28 System of Diophantine inequalities Theorem Searching a linear (n, λ, δ, R)-code Solving the system: δ Mx. δ 1 T x = n (M N t t 0, x N t 0 ) J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
29 Example J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
30 Example R := Z 4, λ := (2, 1, 1) J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
31 Heuristic algorithm J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
32 Heuristic algorithm Define heuristic evaluation function eval : N t 0 R. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
33 Heuristic algorithm Define heuristic evaluation function eval : N t 0 R. Construct x 0 x 1 x 2 x n in N t 0 with J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
34 Heuristic algorithm Define heuristic evaluation function eval : N t 0 R. Construct x 0 x 1 x 2 x n in N t 0 with x 0 = 0 J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
35 Heuristic algorithm Define heuristic evaluation function eval : N t 0 R. Construct x 0 x 1 x 2 x n in N t 0 with x 0 = 0 x i+1 = x i + e si J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
36 Heuristic algorithm Define heuristic evaluation function eval : N t 0 R. Construct x 0 x 1 x 2 x n in N t 0 with x 0 = 0 x i+1 = x i + e si s i chosen s. t. eval(x i + e si ) is maximized ( greedy ) J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
37 Heuristic algorithm Define heuristic evaluation function eval : N t 0 R. Construct x 0 x 1 x 2 x n in N t 0 with x 0 = 0 x i+1 = x i + e si s i chosen s. t. eval(x i + e si ) is maximized ( greedy ) If x n is a solution terminate; otherwise: backtracking. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
38 Evaluation function J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
39 Evaluation function Idea: eval(x)! ɛ(x) := {y x : y 1 = n, My δ 1} {y x : y 1 = n} J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
40 Evaluation function Idea: eval(x)! ɛ(x) := {y x : y 1 = n, My δ 1} {y x : y 1 = n} Consider inequalities M i, y δ separately: J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
41 Evaluation function Idea: eval(x)! ɛ(x) := {y x : y 1 = n, My δ 1} {y x : y 1 = n} Consider inequalities M i, y δ separately: ɛ i (x) := {y x : y 1 = n, M i, y δ} {y x : x 1 = n} J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
42 Evaluation function Idea: eval(x)! ɛ(x) := {y x : y 1 = n, My δ 1} {y x : y 1 = n} Consider inequalities M i, y δ separately: ɛ i (x) := {y x : y 1 = n, M i, y δ} {y x : x 1 = n} Assuming stochastic independence t 1 ɛ(x) ɛ i (x) =: eval(x) i=0 J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
43 Computation of ɛ i J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
44 Computation of ɛ i ɛ i (x) only depends from x 1 and M i, x. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
45 Computation of ɛ i ɛ i (x) only depends from x 1 and M i, x. Derive lookup table from coefficients of p i (y, z) = n ( ) j + a y sj z j s i 1 j s:a s i >0 j=0 (a s i := multiplicity of weight s in M i, ) J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
46 Computation of ɛ i ɛ i (x) only depends from x 1 and M i, x. Derive lookup table from coefficients of p i (y, z) = n ( ) j + a y sj z j s i 1 j s:a s i >0 j=0 (a s i := multiplicity of weight s in M i, ) Using reductions: (δ + 2)(n + 1) 2 multiplications. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
47 Results J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
48 Results Codes of high minimum distance for more than 300 pairs (R, λ) (n 100) were constructed. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
49 Results Codes of high minimum distance for more than 300 pairs (R, λ) (n 100) were constructed. For char(r) = p many of them are provably optimal. J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
50 Results Codes of high minimum distance for more than 300 pairs (R, λ) (n 100) were constructed. For char(r) = p many of them are provably optimal. Two new Z 4 -linear codes whose Gray image beats the corresponding upper binary linear bound were found: J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
51 Results Codes of high minimum distance for more than 300 pairs (R, λ) (n 100) were constructed. For char(r) = p many of them are provably optimal. Two new Z 4 -linear codes whose Gray image beats the corresponding upper binary linear bound were found: λ = (2, 2, 2, 1), n = 29, d(c) = 28 λ = (2, 2, 2, 2), n = 57, d(c) = 56 J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
52 Results Codes of high minimum distance for more than 300 pairs (R, λ) (n 100) were constructed. For char(r) = p many of them are provably optimal. Two new Z 4 -linear codes whose Gray image beats the corresponding upper binary linear bound were found: λ = (2, 2, 2, 1), n = 29, d(c) = 28 λ = (2, 2, 2, 2), n = 57, d(c) = 56 All results: J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
53 Results Codes of high minimum distance for more than 300 pairs (R, λ) (n 100) were constructed. For char(r) = p many of them are provably optimal. Two new Z 4 -linear codes whose Gray image beats the corresponding upper binary linear bound were found: λ = (2, 2, 2, 1), n = 29, d(c) = 28 λ = (2, 2, 2, 2), n = 57, d(c) = 56 All results: Thanks for your attention! J. Zwanzger (Univ. of Bayreuth) Linear Codes over Finite Chain Rings Magdeburg, / 11
New Ring-Linear Codes from Geometric Dualization
New Ring-Linear Codes from Geometric Dualization Michael Kiermaier, Johannes Zwanzger To cite this version: Michael Kiermaier, Johannes Zwanzger. New Ring-Linear Codes from Geometric Dualization. WCC 011
More informationIN [1] Kiermaier and Zwanzger construct the extended dualized Kerdock codes ˆK
New upper bounds on binary linear codes and a Z 4 -code with a better-than-linear Gray image Michael Kiermaier, Alfred Wassermann, and Johannes Zwanzger 1 arxiv:1503.03394v2 [cs.it] 16 Mar 2016 Abstract
More informationNew arcs in projective Hjelmslev planes over Galois rings
New arcs in projective Hjelmslev planes over Galois rings Michael Kiermaier and Axel Kohnert ABSTRACT. It is known that some good linear codes over a finite ring (R-linear codes) arise from interesting
More informationSome aspects of codes over rings
Some aspects of codes over rings Peter J. Cameron p.j.cameron@qmul.ac.uk Galway, July 2009 This is work by two of my students, Josephine Kusuma and Fatma Al-Kharoosi Summary Codes over rings and orthogonal
More informationCodes 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 informationDISTANCE COLORINGS OF HYPERCUBES FROM Z 2 Z 4 -LINEAR CODES
DISTANCE COLORINGS OF HYPERCUBES FROM Z 2 Z 4 -LINEAR CODES GRETCHEN L. MATTHEWS Abstract. In this paper, we give distance-` colorings of the hypercube using nonlinear binary codes which are images of
More informationCoding 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 informationConstruction of a (64, 2 37, 12) Code via Galois Rings
Designs, Codes and Cryptography, 10, 157 165 (1997) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Construction of a (64, 2 37, 12) Code via Galois Rings A. R. CALDERBANK AT&T
More informationSelf-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 informationOn 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 informationMDS 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 informationFoundational Aspects of Linear Codes: 3. Extension property: sufficient conditions
Foundational Aspects of Linear Codes: 3. Extension property: sufficient conditions Jay A. Wood Department of Mathematics Western Michigan University http://homepages.wmich.edu/ jwood/ On the Algebraic
More informationSecret Sharing Schemes from a Class of Linear Codes over Finite Chain Ring
Journal of Computational Information Systems 9: 7 (2013) 2777 2784 Available at http://www.jofcis.com Secret Sharing Schemes from a Class of Linear Codes over Finite Chain Ring Jianzhang CHEN, Yuanyuan
More informationOn the Hamming distance of linear codes over a finite chain ring
Loughborough University Institutional Repository On the Hamming distance of linear codes over a finite chain ring This item was submitted to Loughborough University's Institutional Repository by the/an
More informationTWO-WEIGHT CODES OVER CHAIN RINGS AND PARTIAL DIFFERENCE SETS
LABORATOIRE INFORMATIQUE, SIGNAU ET SYSTÈMES DE SOPHIA ANTIPOLIS UMR 6070 TWO-WEIGHT CODES OVER CHAIN RINGS AND PARTIAL DIFFERENCE SETS San Ling, Patrick Solé Projet RECIF Rapport de recherche I3S/RR 2002-40
More informationCodes 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 informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationA. Roger Hammons, Jr.** Hughes Aircraft Company Network Systems Division, Germantown, MD U.S.A.
The 4-Linearity of Kerdock, Preparata, Goethals and Related Codes A. Roger Hammons, Jr.** Hughes Aircraft Company Network Systems Division, Germantown, MD 20876 U.S.A. P. Vijay Kumar** Communication Science
More informations with the Extended Lee Weight
Filomat 30:2 (2016), 255 268 DOI 10.2298/FIL1602255O Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat On Codes over Z p s with the
More informationLinear 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 informationOn Siegel s lemma outside of a union of varieties. Lenny Fukshansky Claremont McKenna College & IHES
On Siegel s lemma outside of a union of varieties Lenny Fukshansky Claremont McKenna College & IHES Universität Magdeburg November 9, 2010 1 Thue and Siegel Let Ax = 0 (1) be an M N linear system of rank
More informationLIFTED 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 informationLecture 17: Perfect Codes and Gilbert-Varshamov Bound
Lecture 17: Perfect Codes and Gilbert-Varshamov Bound Maximality of Hamming code Lemma Let C be a code with distance 3, then: C 2n n + 1 Codes that meet this bound: Perfect codes Hamming code is a perfect
More informationOn the construction of small (l, t)-blocking sets in PG(2, q)
Sofia, 10-14 July 2017 p. 1 On the construction of small (l, t)-blocking sets in PG(2, q) Rumen Daskalov, Elena Metodieva Department of Mathematics and Informatics Technical University of Gabrovo 5300
More informationQUADRATIC 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 informationNonlinear 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 informationAlgebra 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 informationFinite 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 informationIsometry Groups of Additive Codes over Finite Fields
Isometry Groups of Additive Codes over Finite Fields Jay A. Wood In memoriam: James Wood Jr., 1922 2015 Robert W. Moore, 1933 2016 Abstract. When C F n is a linear code over a finite field F, every linear
More informationFactorizations of ideals in noncommutative rings similar to factorizations of ideals in commutative Dedekind domains
Factorizations of ideals in noncommutative rings similar to factorizations of ideals in commutative Dedekind domains Alberto Facchini Università di Padova Conference on Rings and Factorizations Graz, 21
More informationNon-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 informationThe 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 informationBuchsbaum rings with minimal multiplicity by Ken-ichi Yoshida Nagoya University, Japan
Buchsbaum rings with minimal multiplicity by Ken-ichi Yoshida Nagoya University, Japan The main part of this talk is a joint work with Shiro Goto at Meiji University (see [8]. Also, some part is a joint
More informationRIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS
Communications in Algebra, 34: 3883 3889, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870600862714 RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT
More information+ μf 3. + υf 3. Quantum codes from cyclic codes over F 3. + μυ F 3. Journal of Physics: Conference Series. Recent citations PAPER OPEN ACCESS
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. 766 012020 Recent
More informationAnalytically tractable processes on networks
University of California San Diego CERTH, 25 May 2011 Outline Motivation 1 Motivation Networks Random walk and Consensus Epidemic models Spreading processes on networks 2 Networks Motivation Networks Random
More informationIntroduction to Lucas Sequences
A talk given at Liaoning Normal Univ. (Dec. 14, 017) Introduction to Lucas Sequences Zhi-Wei Sun Nanjing University Nanjing 10093, P. R. China zwsun@nju.edu.cn http://math.nju.edu.cn/ zwsun Dec. 14, 017
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationFundamentals of Coding For Network Coding
Fundamentals of Coding For Network Coding Marcus Greferath and Angeles Vazquez-Castro Aalto University School of Sciences, Finland Autonomous University of Barcelona, Spain marcus.greferath@aalto.fi and
More informationIsometries of Additive Codes
Isometries of Additive Codes Jay A. Wood Abstract. (June 15, 2016.) FIX: June 15, 2016. This needs to be re-written. Monomial transformations of linear codes are linear isometries for the Hamming weight.
More informationWe saw in the last chapter that the linear Hamming codes are nontrivial perfect codes.
Chapter 5 Golay Codes Lecture 16, March 10, 2011 We saw in the last chapter that the linear Hamming codes are nontrivial perfect codes. Question. Are there any other nontrivial perfect codes? Answer. Yes,
More informationClass Field Theory. Steven Charlton. 29th February 2012
Class Theory 29th February 2012 Introduction Motivating examples Definition of a binary quadratic form Fermat and the sum of two squares The Hilbert class field form x 2 + 23y 2 Motivating Examples p =
More informationChapter 14 Combining Models
Chapter 14 Combining Models T-61.62 Special Course II: Pattern Recognition and Machine Learning Spring 27 Laboratory of Computer and Information Science TKK April 3th 27 Outline Independent Mixing Coefficients
More informationThe 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 informationClassification of Join Ordering Problems
Classification of Join Ordering Problems We distinguish four different dimensions: 1. query graph class: chain, cycle, star, and clique 2. join tree structure: left-deep, zig-zag, or bushy trees 3. join
More informationAlgebra 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 informationLinear Codes from the Axiomatic Viewpoint
Linear Codes from the Axiomatic Viewpoint Jay A. Wood Department of Mathematics Western Michigan University http://homepages.wmich.edu/ jwood/ Noncommutative rings and their applications, IV University
More informationRegularity and optimization
Regularity and optimization Bruno Gaujal INRIA SDA2, 2007 B. Gaujal (INRIA ) Regularity and Optimization SDA2, 2007 1 / 39 Majorization x = (x 1,, x n ) R n, x is a permutation of x with decreasing coordinates.
More informationSome 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 informationELEC 519A Selected Topics in Digital Communications: Information Theory. Hamming Codes and Bounds on Codes
ELEC 519A Selected Topics in Digital Communications: Information Theory Hamming Codes and Bounds on Codes Single Error Correcting Codes 2 Hamming Codes (7,4,3) Hamming code 1 0 0 0 0 1 1 0 1 0 0 1 0 1
More informationCylindrical Algebraic Decomposition in Coq
Cylindrical Algebraic Decomposition in Coq MAP 2010 - Logroño 13-16 November 2010 Assia Mahboubi INRIA Microsoft Research Joint Centre (France) INRIA Saclay Île-de-France École Polytechnique, Palaiseau
More informationSkew 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 informationc-pure Projective and c-pure Injective R-Modules
International Mathematical Forum, 5, 2010, no. 57, 2835-2842 c-pure Projective and c-pure Injective R-Modules V. A. Hiremath Department of Mathematics Mangalore University Mangalore-580003, India va hiremath@rediffmail.com
More informationEquivalence Theorems and the Local-Global Property
University of Kentucky UKnowledge Theses and Dissertations--Mathematics Mathematics 2012 Equivalence Theorems and the Local-Global Property Aleams Barra University of Kentucky, aleamsbarra@gmail.com Click
More informationMATH 2050 Assignment 6 Fall 2018 Due: Thursday, November 1. x + y + 2z = 2 x + y + z = c 4x + 2z = 2
MATH 5 Assignment 6 Fall 8 Due: Thursday, November [5]. For what value of c does have a solution? Is it unique? x + y + z = x + y + z = c 4x + z = Writing the system as an augmented matrix, we have c R
More informationarxiv: 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 informationOn Weight Distributions of Homogeneous Metric Spaces Over GF (p m ) and MacWilliams Identity
Global Journal of Mathematical Sciences: Theory and Practical. ISSN 0974-3200 Volume 4, Number 2 (2012), pp. 159-164 International Research Publication House http://www.irphouse.com On Weight Distributions
More informationOn the computation of Hermite-Humbert constants for real quadratic number fields
Journal de Théorie des Nombres de Bordeaux 00 XXXX 000 000 On the computation of Hermite-Humbert constants for real quadratic number fields par Marcus WAGNER et Michael E POHST Abstract We present algorithms
More informationDouble Circulant Codes over Z 4 and Even Unimodular Lattices
Journal of Algebraic Combinatorics 6 (997), 9 3 c 997 Kluwer Academic Publishers. Manufactured in The Netherlands. Double Circulant Codes over Z and Even Unimodular Lattices A.R. CALDERBANK rc@research.att.com
More informationAlternant and BCH codes over certain rings
Computational and Applied Mathematics Vol. 22, N. 2, pp. 233 247, 2003 Copyright 2003 SBMAC Alternant and BCH codes over certain rings A.A. ANDRADE 1, J.C. INTERLANDO 1 and R. PALAZZO JR. 2 1 Department
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationThe MacWilliams Identities
The MacWilliams Identities Jay A. Wood Western Michigan University Colloquium March 1, 2012 The Coding Problem How to ensure the integrity of a message transmitted over a noisy channel? Cleverly add redundancy.
More informationF -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/21-2010 KARL SCHWEDE 1. F -rationality Definition 1.1. Given (M, φ) as above, the module τ(m, φ) is called the test submodule of (M, φ). With Ψ R : F ω
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationSection Notes 9. Midterm 2 Review. Applied Math / Engineering Sciences 121. Week of December 3, 2018
Section Notes 9 Midterm 2 Review Applied Math / Engineering Sciences 121 Week of December 3, 2018 The following list of topics is an overview of the material that was covered in the lectures and sections
More informationSome Nonregular Designs From the Nordstrom and Robinson Code and Their Statistical Properties
Some Nonregular Designs From the Nordstrom and Robinson Code and Their Statistical Properties HONGQUAN XU Department of Statistics, University of California, Los Angeles, CA 90095-1554, U.S.A. (hqxu@stat.ucla.edu)
More informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
More informationRings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.
Rings 10-26-2008 A ring is an abelian group R with binary operation + ( addition ), together with a second binary operation ( multiplication ). Multiplication must be associative, and must distribute over
More informationPart 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 informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationLecture notes for Analysis of Algorithms : Markov decision processes
Lecture notes for Analysis of Algorithms : Markov decision processes Lecturer: Thomas Dueholm Hansen June 6, 013 Abstract We give an introduction to infinite-horizon Markov decision processes (MDPs) with
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationOn Left Quasi Noetherian Rings
International Journal of Scientific and Innovative Mathematical Research (IJSIMR) Volume 2, Issue 4, April 2014, PP 361-365 ISSN 2347-307X (Print) & ISSN 2347-3142 (Online) www.arcjournals.org Falih A.M.
More informationA 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 informationQuantum Entanglement, Beyond Quantum Mechanics, and Why Quantum Mechanics
Quantum Entanglement, Beyond Quantum Mechanics, and Why Quantum Mechanics Brad Christensen Advisor: Paul G. Kwiat Physics 403 talk: July 28, 2014 Entanglement is a feature of compound quantum systems States
More informationCyclic Codes and Self-Dual Codes Over
1250 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 45, NO. 4, MAY 1999 Cyclic Codes and Self-Dual Codes Over A. Bonnecaze and P. Udaya TABLE I MULTIPLICATION AND ADDITION TABLES FOR THE RING F 2 + uf 2
More informationStochastic representation of random positive-definite tensor-valued properties: application to 3D anisotropic permeability random fields
Sous la co-tutelle de : LABORATOIRE DE MODÉLISATION ET SIMULATION MULTI ÉCHELLE CNRS UPEC UNIVERSITÉ PARIS-EST CRÉTEIL UPEM UNIVERSITÉ PARIS-EST MARNE-LA-VALLÉE Stochastic representation of random positive-definite
More informationOn Divisible Codes over Finite Fields
On Divisible Codes over Finite Fields Thesis by Xiaoyu Liu In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy California Institute of Technology Pasadena, California 2006
More informationHilbert function, Betti numbers. Daniel Gromada
Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes
More informationCustom Hypergraph Categories via Generalized Relations
Custom Hypergraph Categories via Generalized Relations Dan Marsden and Fabrizio Genovese November 30, 2016 Outline Compact closed categories and diagrammatic calculi Some ad-hoc procedures for constructing
More informationRepeated 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 informationContinued fractions for complex numbers and values of binary quadratic forms
arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties
More informationOrthogonal Arrays & Codes
Orthogonal Arrays & Codes Orthogonal Arrays - Redux An orthogonal array of strength t, a t-(v,k,λ)-oa, is a λv t x k array of v symbols, such that in any t columns of the array every one of the possible
More informationBlocking sets in chain geometries
Blocking sets in chain geometries Andrea Blunck 1 Hans Havlicek 2 Corrado Zanella 3 Contents 1. Introduction (3). 2. Examples of chain geometries (4). 3. Finite chain geometries (5). 4. Blocking sets (6).
More information5. Simulated Annealing 5.1 Basic Concepts. Fall 2010 Instructor: Dr. Masoud Yaghini
5. Simulated Annealing 5.1 Basic Concepts Fall 2010 Instructor: Dr. Masoud Yaghini Outline Introduction Real Annealing and Simulated Annealing Metropolis Algorithm Template of SA A Simple Example References
More informationMetric Diophantine Approximation for Formal Laurent Series over Finite Fields
Metric Diophantine Approximation for Formal Laurent Series over Finite Fields Michael Fuchs Department of Applied Mathematics National Chiao Tung University Hsinchu, Taiwan Fq9, July 16th, 2009 Michael
More informationCodes and Cryptography. Jorge L. Villar. MAMME, Fall 2015 PART XII
Codes and Cryptography MAMME, Fall 2015 PART XII Outline 1 Symmetric Encryption (II) 2 Construction Strategies Construction Strategies Stream ciphers: For arbitrarily long messages (e.g., data streams).
More informationThe P versus NP Problem. Ker-I Ko. Stony Brook, New York
The P versus NP Problem Ker-I Ko Stony Brook, New York ? P = NP One of the seven Millenium Problems The youngest one A folklore question? Has hundreds of equivalent forms Informal Definitions P : Computational
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationINCOMPRESSIBILITY OF GENERIC ORTHOGONAL GRASSMANNIANS
INCOMPRESSIBILITY OF GENERIC ORTHOGONAL GRASSMANNIANS NIKITA A. KARPENKO Abstract. Given a non-degenerate quadratic form over a field such that its maximal orthogonal grassmannian is 2-incompressible (a
More informationGTI. Undecidability. Total Recall 3. Halting. Undecidability. A. Ada, K. Sutner Carnegie Mellon University. Spring 2018
GTI Undecidability A. Ada, K. Sutner Carnegie Mellon University Spring 2018 1 Cardinality Halting Undecidability Total Recall 3 A set A is finite countably infinite uncountable bijection {0, 1,..., n 1}
More informationΠ 1 1 CA 0 and Order Types of Countable Ordered Groups
Π 1 1 CA 0 and Order Types of Countable Ordered Groups Reed Solomon August 28, 2003 1 Introduction Reverse mathematics uses subsystems of second order arithmetic to determine which set existence axioms
More informationA Krull-Schmidt Theorem for Noetherian Modules *
A Krull-Schmidt Theorem for Noetherian Modules * Gary Brookfield Department of Mathematics, University of California, Riverside CA 92521-0135 E-mail: brookfield@math.ucr.edu We prove a version of the Krull-Schmidt
More informationGraduate 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 informationChristopher Watkins and Peter Dayan. Noga Zaslavsky. The Hebrew University of Jerusalem Advanced Seminar in Deep Learning (67679) November 1, 2015
Q-Learning Christopher Watkins and Peter Dayan Noga Zaslavsky The Hebrew University of Jerusalem Advanced Seminar in Deep Learning (67679) November 1, 2015 Noga Zaslavsky Q-Learning (Watkins & Dayan, 1992)
More informationNew directions in reverse mathematics
New directions in reverse mathematics Damir D. Dzhafarov University of California, Berkeley February 20, 2013 A foundational motivation. Reverse mathematics is motivated by a foundational question: Question.
More informationBERNARD RUSSO. University of California, Irvine
A HOLOMORPHIC CHARACTERIZATION OF OPERATOR ALGEBRAS (JOINT WORK WITH MATT NEAL) BERNARD RUSSO University of California, Irvine UNIVERSITY OF HOUSTON GREAT PLAINS OPERATOR THEORY SYMPOSIUM MAY 30-JUNE 2,
More informationMulti Objective Optimization
Multi Objective Optimization Handout November 4, 2011 (A good reference for this material is the book multi-objective optimization by K. Deb) 1 Multiple Objective Optimization So far we have dealt with
More informationAmin Saied Finitely Presented Metabelian Groups 1
Amin Saied Finitely Presented Metabelian Groups 1 1 Introduction Motivating Question There are uncountably many finitely generated groups, but there are only countably many finitely presented ones. Which
More informationOn The Weights of Binary Irreducible Cyclic Codes
On The Weights of Binary Irreducible Cyclic Codes Yves Aubry and Philippe Langevin Université du Sud Toulon-Var, Laboratoire GRIM F-83270 La Garde, France, {langevin,yaubry}@univ-tln.fr, WWW home page:
More information