New Inequalities for q-ary Constant-Weight Codes

Similar documents
Hypercube Coloring and the Structure of Binary Codes

On equidistant constant weight codes

Improved Upper Bounds on Sizes of Codes

ORTHOGONAL ARRAYS OF STRENGTH 3 AND SMALL RUN SIZES

The Hamming Codes and Delsarte s Linear Programming Bound

Delsarte s linear programming bound

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

FRACTIONAL FACTORIAL DESIGNS OF STRENGTH 3 AND SMALL RUN SIZES

Division of Trinomials by Pentanomials and Orthogonal Arrays

A Questionable Distance-Regular Graph

arxiv: v2 [math.co] 17 May 2017

Solutions of Exam Coding Theory (2MMC30), 23 June (1.a) Consider the 4 4 matrices as words in F 16

Chapter 2. Error Correcting Codes. 2.1 Basic Notions

11 Minimal Distance and the Parity Check Matrix

Type I Codes over GF(4)

RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA

Extended 1-perfect additive codes

We saw in the last chapter that the linear Hamming codes are nontrivial perfect codes.

ON LINEAR CODES WHOSE WEIGHTS AND LENGTH HAVE A COMMON DIVISOR. 1. Introduction

Orthogonal Arrays & Codes

A Short Overview of Orthogonal Arrays

Galois geometries contributing to coding theory

On non-antipodal binary completely regular codes

Arrangements, matroids and codes

New binary self-dual codes of lengths 50 to 60

Can You Hear Me Now?

Lecture 17: Perfect Codes and Gilbert-Varshamov Bound

Binary Convolutional Codes of High Rate Øyvind Ytrehus

Codes and Designs in the Grassmann Scheme

Lower Bounds for q-ary Codes with Large Covering Radius

Extended Binary Linear Codes from Legendre Sequences

Partial permutation decoding for binary linear Hadamard codes

Lecture 19: Elias-Bassalygo Bound

7.1 Definitions and Generator Polynomials

: Coding Theory. Notes by Assoc. Prof. Dr. Patanee Udomkavanich October 30, upattane

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF

Product of P-polynomial association schemes

Galois geometries contributing to coding theory

Extending MDS Codes. T. L. Alderson

Econ 204 Supplement to Section 3.6 Diagonalization and Quadratic Forms. 1 Diagonalization and Change of Basis

Outline. MSRI-UP 2009 Coding Theory Seminar, Week 2. The definition. Link to polynomials

Construction X for quantum error-correcting codes

Classical Complexity and Fixed-Parameter Tractability of Simultaneous Consecutive Ones Submatrix & Editing Problems

On the Griesmer bound for nonlinear codes

Formally self-dual additive codes over F 4

MATH Examination for the Module MATH-3152 (May 2009) Coding Theory. Time allowed: 2 hours. S = q

On sets without tangents and exterior sets of a conic

On Computing the Hamming Distance

Hamming Codes 11/17/04

Circulant Hadamard matrices as HFP-codes of type C 4n C 2. arxiv: v1 [math.co] 26 Nov 2017

Some results on cross-correlation distribution between a p-ary m-sequence and its decimated sequences

Efficient Decoding of Permutation Codes Obtained from Distance Preserving Maps

Error control codes for parallel asymmetric channels

DISTANCE COLORINGS OF HYPERCUBES FROM Z 2 Z 4 -LINEAR CODES

3. Coding theory 3.1. Basic concepts

A Characterization Of Quantum Codes And Constructions

Codewords of small weight in the (dual) code of points and k-spaces of P G(n, q)

International Mathematical Forum, Vol. 6, 2011, no. 4, Manjusri Basu

Week 15-16: Combinatorial Design

Optimal XOR based (2,n)-Visual Cryptography Schemes

On Linear Subspace Codes Closed under Intersection

Quantum LDPC Codes Derived from Combinatorial Objects and Latin Squares

Properties of the Integers

A characterization of graphs by codes from their incidence matrices

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Visual Cryptography Schemes with Optimal Pixel Expansion

4. Algebra and Duality

NORTHWESTERN UNIVERSITY Thrusday, Oct 6th, 2011 ANSWERS FALL 2011 NU PUTNAM SELECTION TEST

SOME DESIGNS AND CODES FROM L 2 (q) Communicated by Alireza Abdollahi

Invertible Matrices over Idempotent Semirings

Index Coding With Erroneous Side Information

arxiv: v4 [cs.it] 14 May 2013

Hadamard Matrices, d-linearly Independent Sets and Correlation-Immune Boolean Functions with Minimum Hamming Weights

Steiner triple and quadruple systems of low 2-rank

TC08 / 6. Hadamard codes SX

Visual cryptography schemes with optimal pixel expansion

LIFTED CODES OVER FINITE CHAIN RINGS

Incidence Structures Related to Difference Sets and Their Applications

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Lecture Introduction. 2 Linear codes. CS CTT Current Topics in Theoretical CS Oct 4, 2012

Linear Codes, Target Function Classes, and Network Computing Capacity

exercise in the previous class (1)

arxiv: v2 [cs.it] 25 Jul 2010

IN [1] Kiermaier and Zwanzger construct the extended dualized Kerdock codes ˆK

Generalized hyper-bent functions over GF(p)

Zero-sum square matrices

arxiv: v1 [cs.dm] 20 Jul 2009

UNIT MEMORY CONVOLUTIONAL CODES WITH MAXIMUM DISTANCE

MATH32031: Coding Theory Part 15: Summary

MATH3302. Coding and Cryptography. Coding Theory

The Distribution of Generalized Sum-of-Digits Functions in Residue Classes

642:550, Summer 2004, Supplement 6 The Perron-Frobenius Theorem. Summer 2004

MULTI-RESTRAINED STIRLING NUMBERS

The Witt designs, Golay codes and Mathieu groups

April 25 May 6, 2016, Verona, Italy. GAME THEORY and APPLICATIONS Mikhail Ivanov Krastanov

Some Nordhaus-Gaddum-type Results

Groups of Prime Power Order with Derived Subgroup of Prime Order

Non-Interactive Zero Knowledge (II)

Problems for Putnam Training

P = 1 F m(p ) = IP = P I = f(i) = QI = IQ = 1 F m(p ) = Q, so we are done.

Transcription:

New Inequalities for q-ary Constant-Weight Codes Hyun Kwang Kim 1 Phan Thanh Toan 1 1 Department of Mathematics, POSTECH International Workshop on Coding and Cryptography April 15-19, 2013, Bergen (Norway

Outline 1 Results on binary codes Binary codes A fundamental problem in coding theory Delsarte s linear programming bound for binary codes New upper bounds for binary constant-weight codes 2 q-ary codes Delsarte s linear programming bound for q-ary codes New inequalities for q-ary constant-weight codes New upper bounds for q-ary constant-weight codes

Binary codes What is a code? Binary code Let F = {0, 1}. A subset C of F n is called a (binary code of length n. An element of a code C is called a codeword. Minimum distance of a code Hamming distance between two vectors u, v F n, denoted by d(u, v, is the number of coordinates where they differ. Minimum distance of a code C is defined by min{d(u, v u, v C, u v}.

A fundamental problem in coding theory A fundamental problem in coding theory Definition Given n and d, define A(n, d = maximum number of codewords in any code of length n and minimum distance d. Remarks Determining the exact values of A(n, d is an extremely difficult problem (for large n. Since A(n, d = A(n + 1, d + 1 if d is odd, we can always assume that d is even. When d is even, all values of A(n, d are known for n 16. For an unknown A(n, d, one may try to find its lower and upper bound.

Delsarte s linear programming bound for binary codes Delsarte s linear programming bound Distance distribution of a code Let C be a code of length n. The distance distribution {A i } n i=0 of C is defined by A i = 1 C {(u, v C2 d(u, v = i} for i = 0, 1,..., n. Remark By definition, A 0 = 1 and n i=0 A i = C. Delsarte s linear programming bound For upper bounds on A(n, d, Delsarte s linear programming bound is a powerful bound. Delsarte s linear programming bound is based on the fact that the following linear combinations of the distance distribution {A i } n i=0 are nonnegative (as follows.

Delsarte s linear programming bound for binary codes Delsarte s linear programming bound Theorem (Delsarte Let C be a code with distance distribution {A i } n i=0. For k = 1, 2,..., n, n P k (n; ia i 0, where P k (n; x is the Krawtchouk polynomial given by i=0 P k (n; x = k ( ( 1 j x j j=0 ( n x. k j

Delsarte s linear programming bound for binary codes Delsarte s linear programming bound Theorem (Delsarte s linear programming bound A(n, d 1 + max(a 1 + A 2 + + A n, where the maximization is taken over all (A 1, A 2,..., A n satisfying A i 0 for i = 1, 2,..., n and satisfying the above linear constraints. Remark If d is even, then A(n, d is attained by a code with all vectors having even weights. Hence, if d is even, then we can put A i = 0 if i is odd. Also, by definition, A i = 0 if 0 < i < d.

Delsarte s linear programming bound for binary codes Delsarte s linear programming bound Theorem (Delsarte s linear programming bound and its improvements Let C be a code with distance distribution {A i } n i=0. For k = 1, 2,..., n, n P k (n; ia i 0. i=0 If M = C is odd, then n P k (n; ia i 1 M i=0 ( n k. If M = C 2 (mod 4, then there exists t {0, 1,..., n} such that n P k (n; ia i 2 [( n ] + P k (n; t. M k i=0

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Result 1 We prove simultaneously Delsarte s linear programming bound and its well known improvements. The proof is based on counting the number of 2 k submatrices of C, where C is considered as a C n matrix (each codeword in C is a row. Definition For each k = 1, 2,..., n, we introduce polynomials k ( ( x n x k P k (n; x = and P + k j k j (n; x = j=0 j odd j=0 j even ( x j ( n x. k j Remark It follows that P + k (n; x + P k (n; x = ( n k. The polynomial P k (n; x := P + k (n; x P k (n; x is called the Krawtchouk polynomial.

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices The proof immediately follows from the following lemma. Lemma Let C be a code with size M and distance distribution {A i } n i=0 and let t be the number of columns of C containing an odd number of ones. For each k = 1, 2,..., n, n P k (n; ia i 2 M i=1 [ ( n ] N δp + k (n; t k (1 and n i=1 ( P + n k (n; ia i (M 1 + 2 [ ( n ] N δp + k (n; t, (2 k M k where{ N and δ are given by M 2 if M is even N = 4 M 2 1 if M is odd 4 and δ = { 1 if M 2 (mod 4 0 otherwise.

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Proof of Lemma Write C = (c mi, 1 m C, 1 i n. Let S 1 (k be the number of 2 k matrices ( cmi1 c A = mi2 c mik c li1 c li2 c lik such that m l, i 1 < i 2 < < i k, and A contains an odd number of 1 s. The entries of A are on the intersection of two rows and k columns of C.

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Proof of Lemma (continued For an ordered pair (u, v of different rows of C, to get such a matrix A choose j coordinates (j odd where u and v are differ and choose k j coordinates where u and v are the same.

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Proof of Lemma (continued Hence, an ordered pair (u, v will contribute n j=0 j odd ( ( d(u, v n d(u, v = P k (n; d(u, v j k j to S 1 (k. Therefore, S 1 (k = = u,v C u v n i=1 = M P k P k (n; d(u, v = n (n; i u,v C d(u,v=i n P k (n; ia i. i=1 1 i=1 u,v C d(u,v=i P k (n; i

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Proof of Lemma (continued Let u 1, u 2,..., u n be the n columns of C. For k columns u i 1, u i 2,..., u i k, to get such a matrix A choose one row such that the intersection of this row with the k columns has an odd number of 1 s and choose another row such that the intersection of that row with the k columns has an even number of 1 s.

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Proof of Lemma (continued Hence, S 1 (k = 2 i 1 <i 2 < <i k wt(u i 1 + + u i k [M wt(u i 1 + + u i k ]. If M is odd, then δ = 0 by definition. For all i 1 < i 2 < < i k, wt(u i 1 + +u i k [M wt(u i 1 + +u i k ] M 1 M + 1 = M2 1 = N. 2 2 4 So ( n S 1 (k 2 N = 2N k i 1 <i 2 < <i k [ ( n ] = 2 N δp + k (n; t. k Therefore, (1 is proved if M is odd.

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Proof of Lemma (continued If M 0 (mod 4, then δ = 0 by definition. For all i 1 < i 2 < < i k, wt(u i 1 + + u i k [M wt(u i 1 + + u i k ] M 2 M 2 = M2 4 = N. So ( n [ ( n ] S 1 (k 2N = 2 N δp + k (n; t. k k Therefore, (1 is proved if M 0 (mod 4.

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Proof of Lemma (continued If M 2 (mod 4, then δ = 1 by definition. Let I be the collection of coordinates i such that the column u i contains an odd number of 1 s. If {i 1, i 2,..., i k } I is odd, then wt(u i 1 + + u i k [M wt(u i 1 + + u i k ] M 2 However, if {i 1, i 2,..., i k } I is even, then wt(u i 1 + + u i k [M wt(u i 1 + + u i k ] M 2 2 S 1 (k 2 [ = 2 N {i 1,i 2,...,i k } I odd ( n k δp + k (n; t Hence, (1 is proved if M 2 (mod 4. N + ]. M 2 = M2 4 = N. M + 2 2 {i 1,i 2,...,i k } I even = N 1. N 1

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Proof of Lemma (continued For (2, one can count (two times of the number of 2 k submatrices A such that A contains an even number of 1 s or just use the equality n P (n; ia i + i=1 n i=1 ( P + n (n; ia i = (M 1. k

Delsarte s linear programming bound for binary codes Counting the number of 2 k submatrices Theorem (Delsarte s linear programming bound and its improvements Let C be a code with distance distribution {A i } n i=0. For k = 1, 2,..., n, n ( n P k (n; ia i. k i=1 i=1 If M = C is odd, then n ( n P k (n; ia i + 1 ( n. k M k If M = C 2 (mod 4, then there exists t {0, 1,..., n} such that n ( n P k (n; ia i + 2 [( n ] + P k (n; t. k M k i=1 Proof of Theorem Take sum of inequalities (1 and (2 in the above lemma.

New upper bounds for binary constant-weight codes Upper bounds for A(n, d, w Definition Given n, d, and w, define A(n, d, w = maximum number of codewords in any code of length n and minimum distance d such that each codeword has exactly w ones.

New upper bounds for binary constant-weight codes Counting the number of 1 k submatrices Proposition (1-row k-column formula Let C be a code of length n and constant-weight w. For each k = 1, 2,..., n, wt(u i 1 + + u i k = MP k (n; w, i 1 < <i k where the sum is taken over all (i 1, i 2,..., i k such that i 1 < i 2 < < i k. Sketch of proof Count the number of 1 k submatrices of C containing an odd number of 1 s.

New upper bounds for binary constant-weight codes Counting the number of 2 k submatrices Result 2 (2-row k-column formula Let C be a code of length n and constant-weight w. For each k = 1, 2,..., n, and w P k (n; 2iA 2i 2 M i=d/2 w P + k (n; 2iA 2i 2 M i=d/2 [(( n k r k q k (M q k +r k (q k + 1(M q k 1] [(( n k r k q k (M q k ( n +r k (q k + 1(M q k 1] (M 1, k where q k and r k are the quotient and the remainder, respectively, when dividing MP k (n; w by ( n k, i.e., MP k (n; w = q ( n k k + rk, with 0 r k < ( n k.

New upper bounds for binary constant-weight codes New upper bounds on A(n, d, w Sketch of proof Count (two times of the number of 2 k submatrices of C containing an odd (even number of 1 s. Result 2 gives the following new upper bounds for A(n, d, w, n 28. A(18, 6, 8 427 (428 A(18, 6, 9 424 (425 A(20, 6, 10 1420 (1421 A(27, 6, 11 66078 (66079 A(27, 6, 12 84573 (84574 A(27, 6, 13 91079 (91080 A(28, 6, 11 104230 (104231 A(28, 6, 13 164219 (164220 A(28, 6, 14 169739 (169740

New upper bounds for binary constant-weight codes New upper bounds on A(n, d, w New upper bounds A(24, 10, 10 170 (171 A(24, 10, 11 222 (223 A(24, 10, 12 246 (247 A(26, 10, 9 213 (214 A(27, 10, 9 298 (299 A(28, 10, 14 2628 (2629 A(26, 12, 10 47 (48 A(27, 12, 12 139 (140 A(27, 12, 13 155 (156 A(28, 12, 11 148 (149 A(28, 12, 12 198 (199 A(28, 12, 13 244 (245 A(28, 12, 14 264 (265

q-ary codes q-ary codes Results 1 and 2 appeared in [B. G. Kang, H. K. Kim, and P. T. Toan, Delsarte s linear programming bound for constant-weight codes," IEEE Trans. Inf. Theory, vol. 58, no. 9, pp. 5956 5962, Sep. 2012]. In the remaining, we generalize Results 1 and 2 to q-ary codes.

q-ary codes Definition Definition Let F q be a finite field with q elements. A subset C of F n q is called a q-ary code of length n. Definition Given n and d, define A q(n, d = maximum number of codewords in any q-ary code of length n and minimum distance d. Definition Given n, d, and w, define A q(n, d, w = maximum number of codewords in any q-ary code of length n and minimum distance d such that each codeword has weight w.

Delsarte s linear programming bound for q-ary codes Delsarte s linear programming bound for q-ary codes Result 3 We prove simultaneously Delsarte s linear programming bound and its well known improvements for q-ary codes. Theorem (Delsarte s linear programming bound and its improvements Let C be a q-ary code with distance distribution {A i } n i=0. Let M = C. For k = 1, 2,..., n, n i=0 P k (n; ia i 1 ( M r(q r(q n 1k 1, k where r is the remainder when dividing M by q and P k (n; x = k ( ( ( 1 j (q 1 k j i n i j k j j=0 is the Krawtchouk polynomial.

Delsarte s linear programming bound for q-ary codes Delsarte s linear programming bound for q-ary codes Idea of proof Write C = (c mi, 1 m C, 1 i n. Consider all 2 k matrices ( cmi1 c A = mi2 c mik c li1 c li2 c lik such that m l, i 1 < i 2 < < i k and all vectors where F q = F q \ {0}. α = (α 1, α 2,..., α k (F q k, Count the number of pairs (A, α such that α 1 c mi1 + + α k c mik α 1 c li1 + + α k c lik.

New inequalities for q-ary constant-weight codes Inequalities for q-ary constant-weight codes Result 4 Using the same idea in the proof, we get the following new inequalities for q-ary constant-weight codes. Theorem Suppose that {A i } n i=0 is the distance distribution of a q-ary constant-weight code C of length n and constant-weight w. Let M = C. Then for each k = 1, 2,..., n, n i=1 ( P k (n; ia i (M 1(q 1 k n 2q k (q 1M T (k, where T (k = T 1 (k + T 2 (k + T 3 (k.

New inequalities for q-ary constant-weight codes Inequalities for q-ary constant-weight codes Notations [ T 1 (k = T 2 (k = (q 1 k ( n k [ (q 1 k ( n k r k ] (M q k q k + r k (M q k 1(q k + 1, ] [( q 1 t k r k sk 2 2 +(q 1 t k t k s k (s k + 1 + [( q 1 t T 3 (k = r k k s k 2 + (q 1 t kt ks k(s k + 1 + 2 where ( tk (s k + 1 2 ], 2 ( t k 2 (s k + 1 2 ], q k and r k are the quotient and the remainder, respectively, when dividing 2(q 1M P q k (n; w by (q ( 1k n k, s k and t k are the quotient and the remainder, respectively, when dividing q k by (q 1, s k and t k are the quotient and the remainder, respectively, when dividing q k + 1 by (q 1.

New inequalities for q-ary constant-weight codes Inequalities for q-ary constant-weight codes Notations For each k = 1, 2,..., n, P k (n; x = 1 2 k ( [(q 1 j ( 1 j ](q 1 k j x j j=0 ( n x k j (3 and ( P + k (n; x = (q 1 k n P k (n; x. (4 k

New inequalities for q-ary constant-weight codes Inequalities for q-ary constant-weight codes For k = 1, the new inequalities give the following corollary, which was shown by P. R. J. Östergård and M. Svanström in [Ternary constant weight codes, Electron. J. Combin., vol. 9, no. 1, 2002]. Corollary If there exists a q-ary code of length n, constant-weight w, and minimum distance d, then where q 2 M(M 1d 2t q 1 i=0 j=i+1 q 2 M i M j + 2(n t q 1 i=0 j=i+1 M i M j, (5 k and t are the quotient and the remainder, respectively, when dividing Mw by n, M 0 = M k 1, M 0 = M k, M i = (k + i/(q 1, and = (k + i 1/(q 1. M i

New upper bounds for q-ary constant-weight codes New upper bounds for q-ary constant-weight codes Example Suppose that q = 3 and (n, d, w = (9, 3, 7. The best known upper bound for A 3 (9, 3, 7 is A 3 (9, 3, 7 576. Suppose that A 3 (9, 3, 7 = 576. Let C be a code whose size attains the upper bound and let {A i } n i=0 be the distance distribution of C. The above theorem gives the following inequalities. 9A 3 + 6A 4 + 3A 5 3A 7 6A 8 9A 9 270 27A 3 + 6A 4 6A 5 9A 6 3A 7 + 12A 8 + 36A 9 108 15A 3 24A 4 18A 5 + 6A 6 + 21A 7 84A 9 294 72A 3 39A 4 + 21A 5 + 27A 6 21A 7 42A 8 + 126A 9 1890 108A 3 + 42A 4 + 39A 5 36A 6 21A 7 + 84A 8 126A 9 3969 48A 3 + 72A 4 48A 5 15A 6 + 63A 7 84A 8 + 84A 9 4942 144A 3 48A 4 24A 5 + 54A 6 57A 7 + 48A 8 36A 9 4194 48A 4 + 48A 5 36A 6 + 24A 7 15A 8 + 9A 9 2160 64A 3 + 32A 4 16A 5 + 8A 6 4A 7 + 2A 8 A 9 1480/3

New upper bounds for q-ary constant-weight codes New upper bounds for q-ary constant-weight codes Example (continued Since A 0 = 1 and A 1 = A 2 = 0, 9 1 + A i = i=3 9 A i = C = 576. i=0 Consider the following linear programming (where the A i are considered as variables ( 9 max 1 + A i subject to A i 0, i = 3, 4,..., 9 and subject to the above inequalities. Solving this linear programming, we get the maximum value of 1 + 9 i=3 A i is 12094/21, which is less than 576. This contradiction shows that such a code C does not exist. Therefore, i=3 A 3 (9, 3, 7 575.

Thank you!