# Bounds for Binary Codes of Length Less Than 25

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. IT-24, NO. 1, JANUARY Bounds for Binary Codes of Length Less Than 25 M. R. BEST, A. E. BROUWER, F. JESSIE MAcWILLIAMS, ANDREW M. ODLYZKO, MEMBER, IEEE, AND NEIL J. A. SLOANE, FELLOW, IEEE Abstract-Improved bounds for A(n,d), the maximum number of codewords in a (linear or nonlinear) binary code of word length n and minimum distance d, and for A (n&u), the maximum number of binary vectors of length n, distance d, and constant weight w in the range n 5 24 and d 5 10 are presented. Some of the new values are A (9,4) = 20 (which was previously believed to follow from the results of Wax), A (13,6) = 32 (which proves that the Nadler code is optimal), A (17,8) = 36 or 37, and A (21,8) = 512. The upper bounds on A (n,d) are found with the help of linear programming, making use of the values of A(n,d,w). T I. INTRODUCTION HE MAIN purpose of this paper is to present tables1 of two of the most basic functions in coding theory, namely: AW) * = maximum number of codewords in any (linear or nonlinear) binary code of length n and minimum distance d between codewords (see Table I), and A(n,d,w) = maximum number of codewords in any binary code of length n, constant weight w and minimum distance d (see Table II), in the range n I 24, d I 10. We also give a table of the function T(wl,nl,wz,nz,d) = maximum number of codewords in a binary code of length nl + n2 and minimum distance d with exactly w 1 ones in the first nl coordinates and exactly ws ones in the last n2 coordinates (see Table III), for nl + n2 I 24, d = 10. All of the upper bounds on A (n,d) outside the Plotkin range n I 2d are obtained from modifications of Delsarte s linear programming method by making use of the values of A(n,d,w). The tables of A(n,d,w) are important both because they lead to bounds on A(n,d), and because in their own right they give the size of the largest constant weight codes. They also give the solution to the following widely studied packing problem (see ErdGs and Hanani [17], Kalbfleisch and Stanton [36], Schijnheim [X], Manuscript received September 9,1976; revised April 5,1977. M. R. Best and A. E. Brouwer are with the Mathematical Centre, Amsterdam, The Netherlands. F. J. MacWilliams, A. M. Odlyzko, and N. J. A. Sloane are with Bell Laboratories, Murray Hill, NJ l We would appreciate hearing of any improvements to the tables. (Send them for example to N. J. A. Sloane, Mathematics and Statistics Research Center, Bell Laboratories, Murray Hill, NJ 07974, USA.) n TABLE I VALUESOF A(n,d) d=4 d=b d-8 d=lo 4 6 =16 d20b d38-40 d72-80 d =2048 d25b d d d1g45b d3b d d d a Hamming code [24]. b Theorem 6. d Constructed in [21], [35], or [57]. e Theorem 4. f Nordstrom-Robinson code [46]. s Constructed in [55]. b Theorem 9. i Golay code (201. j From a (24,48,12) Hadamard code. k Constructed by [l]. OOlB-9448/78/ \$ IEEE e f h g g % i40g6 Stanton, Kalbfleisch and Mullin [59]): what is D(t,k,u), the maximum number of k-subsets of a u-set S, such that every t-subset of S is contained in at most one k-set? The answer is D(t,k,u) = A(u,2k - 2t + 2,k), so that Table II is also a table of values of D(t,k,u). Two recent papers which also use the linear programming approach are Best and Brouwer [3] and McEliece, Rodemich, Rumsey, and Welch [43]. Earlier tables of bounds on A (n,d) were given in Johnson [33], McEliece et al. [42], and Sloane [53]. No table of A(n,d,w) seems to have been published before, although unpublished tables of upper bounds exist (e.g., Delsarte et al. [12] and Johnson [32]). A table of A(n,d,w) was promised in Stanton et al. [59] but has never appeared. A table of upper and lower bounds on linear codes appears in Helgert and Stinaff [29]. The following notation is used in this paper. All codes are binary. An (n,m,d) code consists of M (11) binary vectors (called codewords) of length n such that any two

2 (Z) pus (I) qloq u! ap!s l3ai aqs uo punoq raddn UB s! aq\$ ask?3 6t.m UI 992 u8q~ ssal PUB (p porn)0 ol luanrfauo3 srapro 11 ~03 yxa 0% UMOU~ am saa!rlaur prmuep~~ z (1) 9z7u<w3! u z=(sz u)v [ 9Z 1 z qs!xa.(p u)v 5 m = vz pm 0 7?v 1 = Oy sny& U... 0 =? Sq pauyap ( y -.. Iv Ov) sraqumu [euoyer 30 aldn\$-(1 + u) aq? s! 6, 30 zgnq -ysjp aauv)s?p ay& *j = (&n)~s!p \$eyj yms 3 2 R SPJOM -apod 30 raqmnu aql s! (n)?v arayh ( = T ( n)?v) sra2aqur 30 a1dt-y (1 + u) aq\$ ST n JogDaa 1303 laadsar T+J!M 2 30 uozyqysjp ay& UB aq 3 la? -(apod?q%!am JUE~SUOD e 30 PZ 6 u 3! 4mxa (p u) v puo2as ay? al!qm a~a!paumy s! uralroayq 7s.u~ aye (p U)v NO SaNflOa II.apoa ~alin~-paa~ (g zs gr) aql30 sala~susr~ word 9 [OZ] ai LV3 (8 96OP PZ) a # mojd I [gp] apoa uosmqoa-moqspron (g ggz g1) aql30 salalsua~~ uroz~! [gp] apoa uoswqox-moqspron aql may pauyqo p = y g = y 91 = 0 & = 1 qj!m u+ap-e aql tuora I.apoa a!1363 v s [PI] [&I]) '(PZ 8 9)S (~z L s)s yvz 9 9)s (9z 9 m (LT ~ E)s (zr 99s suams rauws aq7 pus 6 WaroaqA ~o+iy wo!~mqsuo3 snoauqla~s!~ p * LP aas,. t OP! aas q "V-AI uopg B (m p qv :P amvasra VII 3T8VLL 8L61 h?wflnvf I 'ON PZ-AI?Oh h7103hcl NOILzVW~OdNI NO SNOIXWSNVlLL

3 BEST et al.: BOUNDS FOR BINARY CODES Fig. 1. Columns form a constant weight code of length 11, weight 4, and distance 4, containing 35 codewords. Thus A(11,4,4) = \$ g od 6 b22 6 '25" a31 7 a37 7 %O TABLE DISTANCE& IIB A(n,G,w)* and A(46,26) = 86, A(n,26) = 1, if n < 26, (2) where here and hereafter [. ] denotes the largest integer not exceeding the enclosed number. The linear programming approach is based on the following theorem. Theorem 3: (Delsarte [8]-[lo]) Let 19 be an (n,m,d) code with distance distribution (Ao, *. *,A,). Then the quantities Be,.. s,b, are nonnegative, where n & = M--l c A;&(i), i=o h = O,l, -..,n, (24 and Kk is a Krawtchouk polynomial, defined by Kk(t) =j\$o(-l)i (1 1;) (f), h = O,l,..*,n. For later reference we give a short proof. Proof: Let w be a word in (O,lJn of weight i. Then it is easily checked that, with (w,x) 6 Zwix; mod 2, &n wt(xj=k (-l)( wax) = Kk (i). Consequently, by the definition of Ai, n & = M-l c A&(i) i=o =M-2C c ~,,~l,n (-l)( --uj) i=o u,uce n wt(u--u)=i wt(xj=k 24 8 e42 - * See footnotes to Table IIA. TABLE IIC DISTANCE 8: A(n,8,w)* = M-2 \$I, b,2 2 0, n (34 wt(x )=k * See footnotes to Table IIA.

4 r *Z 91 2 *f *2 9 2 r9 *4 *E *2 hl 2 L w9 *9 *5 l f *2 El 2 hl 21 L 9 r9 a9 *5 l f x L *4 XL r9 *4 *4 *E * GE *s 8 XL r9 w4 ~4 SE ~ f Of ET 6 9 uh 6 XL x9 n9 x4 *h rf ~2 6 2 hh 2f 42 9T 6 hz w4 xh 6 8 *L *9 ~4 *h *h rf ~ s 8f hl 8 h2 TZ rl w4 xh 6 8 ;cl rl x5 %h uh rf *f r2 L h Of T2 4T IIT 9 T *h *h 6 rl *9 ~9 ~5 xh *h rf xf rf ~2 9 2 Oh Oh Of 22 Ll Ll ST r6 rh xf *9 u9 XG *G r4 *h x.h SE rf *f *2 ~2 4 2 Of h2 hz 8T 91 2T 8 9 *h hl ht B 9 9 u4 *h *f x2 x4 x4 w4 sir xh sh rh *f *f rf ~2 x2 ~2 h T Ll ht ft 2T 02 6T 81 LT ht ET ZT Tl OT LK hl El 21 TT 'U ) hhhhhhhhhhhhhzM l" 1, &)~ Zdzm ~tj Im)J ziodscinno~i3ddn ?BVLL X2 *2 *2 rh *f *2 *2 xh xh xf *f x2 "2 r8 XL rh *h *h *f *f ~2 ~2 21 x8 ~6 rl *h xh x9 *II *E rf *z rz 8K 11 u8 21~8 IL *h *h u9 19 rh rf rf ~2 ~ XL Ll 11~8 nl *h rh XL r9 x9 sh uf rf r2 r2 9f 92 8T 1K w9 12 Ll 11 8 x9 xh *h ~8 rl u9 x9 wh rf *f u2 w2 Oh Of h L ~5 rh rh ~8 *L *L u9 ~4 uh xf *f r2 "2 Oh 2f h x9 02 9T L ~4 rh r,, *6 x8 *L r9 x4 xh xh rf xe rz r2 6f Of h L ~9 12 SK 21 21: r;4 xh SE *6 rl rl r9 x4 uh rh SE uf xf ~2 u2 f *h hl iit OT r4 rh *f x2 ~9 r9 r4 ~4 wh rh xh rf rf rf r2 r2 12 : LT 91 4T h LT 9T 4? ht ET 2T Ll ht El 21 TT 01 LLLLLLLL ht 1 El 1 2T T L h T i r--f 2-2 ~(~~ zd~m ~u ~m) J, ~10,s ScINnOFJ?I3ddn VIII 3?EIVJ ((?) XV 7 + (0) x) I-A! = 93 u... 0 = q u... p = J 0 7!v uv+**-+ T+Pv + Pv = 7 s~u!e.rfsuo~ ay? 0~ r)aafqns az!uyxaw 0% se 0s v... l+pv Pv salqe!jea Iaar asooy3 :malqold Bu!u.uusJrBord.mau!l 2~~~0~~03 aq? o\$ uoynlos pmgdo ay3 s! (p u) *7 asoddns UV r+pv + pv + T = (P U)V = w uaq& *p amqs!p umur~uyur pm u 30 apod lawgdo UB aq 9 \$a1 g ruaroay& Qdde 0,~ nap03 Imp ayq 30 uognq!wrp qyb!a~ ay? si ug pue \$0~.IO apod Imp ay? 07 &!uoiaq x raq\$aym uo kpuad -ap 0 JO j?q spmba rq uayc) ap03 raauy B s! &I 31 :a)o~ ~(* n)(t-) a? = q araym *(m ot u)v :01 amvasm aii 37~~ 8,X51 hzivi1nvp 1 'ON PZ-LLLI 'TOA 'hxo3hl NOLLVWZIOdNI NO SNOIXWSNW~ 3331

5 BEST et al.: BOUNDS FOR BINARY CODES 85 TABLE UPPERBOUNDSFOR IIIC T(~~~,n~,w~,n~,lO)* '1 "1 id "* II It 3 6 1* 2" 2* 3* 3* 3* 4* ii* 4* 4* 4* 4* ii* 2* 3" 4* 4* * ' 3 7 2* 2* 3" 3" 3" 4' 0' 4* 5* 5* 5" 5" 3* 4* 5* * 2* 3* 3* 4* o* 5* 5' 5* 6* 6" 4* 5* * * 3" 3" II* 4* 5" fi* 6" 6* 7* 4* 6* * 3* 4" 4* 5* ii* ' 4" 4* 5" 6 7* 8 9 5* * 4* 5* 6* G* % 4* 5" 6" 7 9 6* s 5* 5" 6" 8 6* ' 5* 6% 7" * 5* 6" 8 * Bound is exact. w1 "1 ~~ n ( I Wl "1 w n ' GC TABLE IIID UPPERBOUNDSFORT(UI~JZ~,W~JZ~,~O) ' go ql "1 1.1~ n TABLE IIIE UPPERBOUNDSFOR T(wl,nl,wz,nz,lO)* lli * 6* lo* ' g* la* ' ~ * Bound is exact. Then plainly so bounds on A(n,d,w) can be used (see Table II). Some- A(n,d) L*(n,d). times several such bounds can be combined, as the following example illustrates. This is the simplest version of the linear programming bound for binary codes (Delsarte [8]). Theorem 4: A(13,6) = 32, and so the Nadler code is op- Often it is possible to impose additional constraints on timal the Bi. Certainly Proof: In 1959, Stevens and Bouricius [60] found Bi I A(n,d,i), (4) (13,32,6) and (14,64,6) codes, showing that A(13,6) 2 32.

6 86 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. IT-24, NO. 1, JANUARY 1978 The former code was rediscovered by Nadler [45], and is usually referred to as the Nadler code. (See also Van Lint 1411.) To prove A(13,6) _< 32, we proceed as follows. First observe that, if we shorten a (13,M,6) code and then add an overall parity check, we get a (13,M,6) in which all distances are even. If (Ai) is the distance distribution of c?, then A0 = 1 and the remaining Ai s are zero except (possibly) for Ag, As, Alo, and A12. The inequalities Bk 1 0 become 13 + As - 3As - 7Alo - llalz 10, 13-6AG - 2A8 + 18AIo + 54A122 0, ( 2 > 13-6A6 + 14A8-14AIo - 154A122 0, ( 3 > AG - 5As - 25Alo + 275A122 0, ( 4 > AG - 25As + 63Alo - 197Acx 2 0, ( 5 > 13-20As + 20A8-36Alo + 132A (5) ( 6 > Furthermore we have A&U) 5 A(13,6,12) = A(13,6,1) = 1, A&) 5 A(13,6,10) = A(13,6,3) = 4. However, these can be combined. For if A&U) A&) = 0. So Alob) + 4A&) 5 4, and averaging over u gives = 1 then Al0 + 4A (6) Actually (6) and the first two constraints of (5) turn out to be enough, and so we consider the problem: maximize subject to and &+As+Alo+An Agr0,A820,Alo10,AlaI A6-3A8-7Alo - lla12 > 0, 78-6Ae - 2A8 + 18AIo + 54A12 10, 4 - Alo- 4A12?CO. The dual problem is minimize subject to and 13Ul + 78U2 + 4u3 Ul 2 0, u2 10, u UI- 6~2 5 0, 1-3Ui - 2us _< 0, 1-7~1+ 18~2 - ~3 IO, 1-11~1 + 54~2-4~ (7) Feasible solutions to these two problems are As = 24, A8 = 3, Al0 = 4, Al2 = 0, (9) 1 16 U1=U2=-,U3= (10) In fact, since the corresponding objective functions are equal, i.e., since it follows that (9) and (10) are optimal solutions. (These solutions are easily obtained by hand using the simplex method-see [18] or [52].) It follows that A(12,5) = A(13,6) Q.E.D. Remark: The following argument shows that (9) is the unique optimal solution. Let xs,xs,~ 10,~ 12 be any optimal solution to the primal problem. The ui of (10) are all positive and satisfy the first three constraints of (8) with equality, but not the fourth. Hence, from the theorem of complementary slackness (Simonnard [52]), the xi must satisfy the primal constraints (7) with equality, and 3~12 = 0. These three equations have the unique solution xs = 24,~s = 3, x10 = 4. Thus (9) is the unique optimal solution. Therefore the distance distribution of a (13,32,6) code in which all distances are even is unique. This result has been used by Goethals [19] to show that the code itself is unique and that there are exactly two nonequivalent (12,32,5) codes (cf. Nadler [45], Van Lint [41]). If A(n,d) g 0 (mod 4), the right side of the Delsarte inequalities Bk 2 0 can sometimes be increased, as shown by Theorems 5 and 8. Theorem 5: be an (n,m,d) code with M = A(n,d), and suppose that M is odd. Then & 1 M-2 ;, 0 k = O,l,...,n. (104 Proof: If M is odd, then b, (in (3b)) is odd, and hence nonzero. From (3a) we get & 1 M-2 C 6: 1 M-2 (;). Q.E.D. nt{o,lp wt(x)=k Remark: In the expression (2a) for Bk, the term corre- sponding to i = 0 (with A0 = 1) is M-l& (0) = M-1 0 L. Therefore the inequality (10a) enables us to rewrite (2a) as M-l n + i,\$ A&(i) 2 0, OIk<n. M2 0 k I 1 This means that if no extra inequalities have been added, the optimal solution is simply (M - 1)/M times the original one, and hence Zr=&i 5 M - 1, lowering the bound by exactly _ one. _ If extra inequalities are added, the gain is in (8) general less.

7 BEST et al.: BOUNDS FOR BINARY CODES 87 As an application, we prove the following result. Theorem 6: A (9,4) = 20. Proof: Golay [al] found a (9,20,4) code, thus A(9,4) L 20. A cyclic (8,20,3) code is given in Sloane and Whitehead [57]. To prove A(9,4) I 20, as usual let C?- be an (8,M,3) code with M = A(8,3) = A(9,4); and let C? be the (9,M,4) extended even weight code, which has distance distribution (Ao,. * a,ag) with A0 = 1 and Al = A2 = A3 = A5 = A7 = As = 0. First, we maximize A4 + A6 + A8 subject to Ai L 0, Bk 2 0, and A8 I 1. We obtain Ad + Ag + As I 201/3 and hence M I 21. Suppose M = 21. Then, by Theorem 5, we can replace 9 &~Oby&~(? id k. Since M is odd, it is obvious 0 that A8 5 2ohr. Hence in this case, in spite of the extra inequality, all constant terms occurring in the inequalities are multiplied by 2ohr, so Hence A(9,4) = 20. MS1+\$.205<21. Q.E.D. If A (n,d) = 2 (mod 4), then a positive lower bound for Bk can be obtained by noting that b, cannot be zero too often. For example, if ui, us, and ui + uz are distinct, then bul, bug, and bul+up cannot all be zero. The following linear inequality can be obtained in this way. Theorem 7: be an (n,m,d) code with M = A(n,d), and suppose that M = 2 (mod 4). Then 4 n Bk >--- 3M2 0 k if (i) k is even and 0 < k 5 2/3n, or (ii) if d is even, k e n (mod 2), and l/pz 5 k < n. A slightly stronger result is stated in the following theorem. Theorem 8: be an (n,m,d) code with M = A(n,d), and suppose that M s 2 (mod 4). Then there exists an 1 t {OJ, * * *,n) such that Bk : 2.2i 14-~ ((3 +Kk(l)), k = O,l,...,n. (Since IKk(l)l 5 (k ), this also improves Theorem 3.) Proof: Since M is even, b, is even for each u t (O,l}. Let cj be the jth unit vector in (0,l). Then b, - b,+,j = C (1 - (-l)(,ei))(-l)(u, ). use Hence, for fixed j, the residue class of b, - b,+,j (mod 4) is even and independent of the choice of x. Let J be the set of those j t (1,2,...,n) for which b, - bz+ej E 2 (mod 4), and let 1~ ] JI and t = ZjcJ6?j. Then bx - b,+ej E 2(ej,[) (mod 4). By induction on the weight of x it follows that, since bo = M = 2 (mod 4), b, = 2 + 2(x,[) (mod 4). Now, for each k E (OJ,. -.,n], Bk = M-2 C b,2 2 2M-2 C (1 + (-l)(,o) rclo,li wt(r)=k XC(O,lp wt(r)=k = ((;) +&z(l)>. Q.E.D. We mention the following immediate consequence of Theorem 8, which is weaker but easier to apply. Corollary: Let c? be an (n,m,d) code with M = A(n,d), and suppose that M = 2 (mod 4). Then Bk 2 2M-2 e.g., B2 2 (4/M2) ((9) - b2m). min le{o,l,...,n) For example, this corollary can be used to prove the upper bound in Theorem 9; the lower bound comes from 1561, Theorem 9: A(17,8) = 36 or 37. Table I gives the bounds on A(n,d). Many values come from Theorems 1 and 2. Otherwise the unmarked upper bounds are obtained by linear programming, as illustrated in Theorems 4 and 6. Other entries are explained by the key. The bounds A (9,4) I 20, A (10,4) I 39, A (11,4) I 78, and A(12,4) I 154 were claimed by Wax [63] in However, as we shall see in the next section, such bounds cannot be obtained by his method. We conclude this section by repeating Elspas s question [16]: can A(n,d) be odd and greater than one? From Theorem 2 and Table I we have the following theorem. Theorem 10: If A(n,d) is odd (and greater than one), then A(n,d) If Hadamard matrices exist of all orders congruent to O(mod 4), then A(n,d) is even whenever n I 2d. III. THE END OF THE WAX BOUND In 1959, Wax [63] computed a number of upper bounds for binary codes by a method used by Rankin [49] to obtain sphere packing bounds in Euclidean space (see also Rogers [50]). Most of the bounds obtained were rather weak, but there were three special cases in which his soft sphere model seemingly yielded astonishingly good results. These were A(8,3) 5 20, A(9,3) < 39 (and hence A(10,3) 1 78), A(11,3) I 154. The first bound is confirmed by Theorem 6, but no proof of the other bounds is known.

8 88 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. IT-24, NO. 1, JANUARY 1978 We were unable to duplicate Wax s calculations, and in fact in this section we shall establish a lower bound on the best upper bound that can be achieved with the soft sphere model, no matter which weight function is used. Since this lower bound is inconsistent with the data found by Wax, we may conclude that Wax s results are-at least in the interesting cases mentioned above-erroneous. We are now left with the following bounds for A(8,3), A(9,3), A(10,3), and A(11,3): A. The Soft Sphere Model A(8,3) = 20, 38 5 A(9,3) I 40, 72 I A(10,3) I 80, 144 I A(11,3) _< 160. Consider an (n,m,d) code as a subset of the vertices of the hypercube [O,l] n in Euclidean n-space lr n. The Euclidean distance between two code points is at least 4. Therefore the spheres with centers at the code points and radii R = r/z4 are disjoint. If V denotes the volume of the intersection of each sphere with the hypercube [O,l] n (by symmetry these volumes are all equal), then the number of code points evidently cannot exceed l/v. Hence A (n,d) I [l/v]. This method, called the hard sphere model, yields very modest results, e.g., A(9,3) (and not 56.7 as in Wax [63]) or A(10,4) < 401. In order to sharpen the bounds, the hard spheres are replaced by larger ones with variable mass density. As basic conditions, it is required that (i) the density P(X) associated with a single sphere is nonnegative and depends only on the distance to the center of that sphere, and (ii) in any configuration of (partly overlapping) spheres with centers at least 2R apart, the total density at each point does not exceed unity. If p is the mass of the intersection of each sphere with the hypercube3, we now obtain A(n,d) I [l/p]. The main problem is to determine a suitable density which satisfies the basic conditions (i) and (ii) and maximizes the mass p. Rankin studied this problem in [49]. In order to simplify computations, he required in addition that (iii) the spheres have radius R-\/2, i.e., p(r) = 0 if r L Rd. The model described, with the conditions (i), (ii), and (iii), is called the soft sphere model. We shall denote the s In case d 5 4, one may instead define p by 2- times the mass of the whole sphere, since the configuration may be continued with period 2 in all directions in R. However, this extended model is also included in our analysis. least upper bound for A(n,d) that can be achieved with this model by A,(n,d). Our aim is to give a lower bound for &Wh B. A Lower Bound for A,(n,d) First we derive an upper bound for p. We define, for each positive integer m, ym = 42(m - 1)/m (note: y1 = 0, yz = l), and the function u: [O,m]- by u(r) = 1 m if Ry, I r< Ry,+l, 1 =- n+l ifry,+ 5 r <Rfi, = 0, ifr krv5. Then we have the following lemma. Lemma 11: p I c. m = 1,2,...,n, [O,l] Proof: We have to prove that p(r) I l/m if r > Ry, for m = 1,2, - - -,n + 1. Let m e (1,2,...,n + l]. Suppose m spheres with density function p are arranged so that their centers form the vertices of an (m - 1)-dimensional regular simplex in lr n with edges of length 2R. Then the distance from the center of gravity of the simplex to each of the vertices equals Rd2(m - 1)/m = Ry,. (Proof by induction.) The total density at the center of gravity equals mp(rym). Hence p(ry,) I: l/m and a fortiori p(r) 5 l/m if r 1 Ry,. Q.E.D. This estimate for p immediately gives rise to an upper bound on the mass p. Lemma 12: Proof: We denote the volume of the intersection of the n-dimensional hypersphere with radius r and center 0 in lrfl and the n-dimensional hypercube [OJ] n by B(r). The volume of the n-dimensional unit sphere will be denoted by J,. It is well-known (see Sommerville [57a, p. 1361, Feller [17a, p. 521) that *n/2?yn/2e n/2 Jn=------< (n/2)! - (n/2)n/2&yz =

9 BEST et al.: BOUNDS FOR BINARY CODES 89 Hence RdZ S Rv 2 Ir = 0 p(r) db(r) 5 0 u(r) db(r) S Theorem 15: If a 2d X 2d Hadamard matrix exists, A(2d -2,d,d - 1) = d, A(2d - l,d,d - 1) = 2d - 1, =- JRJ2 B(r) da(r) I: - JR\/ 2-V/ da(r) A(2d,d,d) = 4d - 2. * (RYmP + (:)n(y) 2&(1%(m:l)m. (2 m; l))n12 I, =,) Theorems are due to Johnson [30], [31]. Theorem 16: dn A(n,d,w) S dn - 2w(n - w) 1 provided the denominator is positive. A slightly stronger result is given in the following theorem. Theorem 17: Suppose A(n,d,w) = M, and define q and r by = (FIni & (\$1 m(m + 1) wm = nq + r, O_ir<n. nl2 1 Then +- Q.E.D. n+l > nq(q - 1) + 2qr 5 (w - d/2)m(m - 1). This leads to the lower bound for A,(n,d). Theorem 13: Theorem 18: A(n,d,w) I 14A(n - l,d,w - 1), (n I w L l), W I, (n > w L 0). IY 1 Theorem 19: If n 1 w 1 t, then n n-l n-t-l-l A(n,d,w) I --*p... - A(n - t,d,w - t). A,hd) 1 [ (s)n 2fi (l\$,,(,l+ 1) A(n,d,w) 5 & A(n - l,d,w) m *( m+l > n-l-l 1. n/ > Proof: R = l/sfl and A, (n,d) = [l/g] for some density w w-l w-t+1 function p. Q.E.D. If equality holds, then any optimal constant weight code Examples: with parameters n,d,w is a t-design. In particular, A,(8,3) 1 45, A,(9,4) 1 27, n(n - 1) (n - w + 6) A(n,26,w) = A,(9,3) L 101, A,(10,4) L 56, w(w - 1) - * * 6 A,(I0,3) 2 238, A,(11,4) > 119, A, (ll3) 1 579, A,(12,4) IV. BOUNDS ON A(n,d,w) The first two theorems are well-known (cf. Johnson ]331). Theorem 14: Let d,w,n be integers, d # 0, w 5 n. Then, (i) A(n,d - 1,~) = A(n,d,w), (ii) A(n,d,w) = A(n,d,n - w), (iii) A(n,d,w) = 1, ifd > 2w,, if d = 2w. if d is even, if and only if a Steiner system S(w l,w,n) exists. (For a bibliography of Steiner systems up to 1973, see Doyen and Rosa [14].) A. Optimal Constant Weight Codes As noted in the introduction, the determination of A(n,d,w) is equivalent to determining L,here u = n, k = w, and t = k l/zd (if d is even). However, this requires the construction of (maximal partial) Steiner t - designs, which is trivial for t = 1, while for t = 2 the recursive techniques of Hanani and Wilson are available (see, e.g., Wilson [64], [65]). For larger t, almost nothing is known (the best studied case being t = 3, k = 4). The known results are as follows. 1) t = 1: This is Theorem 14 (iv): A(n,2w,w) = [n/w].

10 90 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. IT-24, NO. 1, JANUARY ) t = 2: In this case, we must look for a maximal col- Hence for these values of n we have A(n,4,4) = Y! 1. lection of w-subsets of an n-set such that no 2-subset is 0 covered twice (in other words, an edge-disjoint packing of Shortening these codes once gives A(n,4,4) = n(n - l)(n w-cliques in the complete graph on n points). If a balanced - 3)/24 for n = 1 or 3 (mod 6). Upon using triplewise balincomplete block design exists with parameters (b,u = n,r,k anced designs TBD((4,6];n) in which the blocks of size 6 = w,x = l), that is, an S(B,w,n), then obviously A(n,d,w) form a partition, it follows that A(n,4,4) = n(n2-3n - 6)/24 for n = 0 (mod 6) (cf. Brouwer [6]). Exact values for * otherwise we must look for the nearest = b = om the case n E 5 (mod 6) are not known. approximation to this Steiner system. a) d = 4, w = 3: It has been shown by Kirkman [38] B. The Linear Programming Bound for A(n,d,w) in the cases n = 0, 1,2, or 3 (mod 6) and by Schonheim [51] in the remaining cases that A(n,4,3) = for n s 5 (mod 6) - 1, for n = 5 (mod 6), (see also Guy [22], Spencer [58] and Swift [61]). The cases n = 1 or 3 (mod 6) correspond to Steiner triple systems. b) d = 6, w = 4: As has been shown by Hanani [26], there exist Steiner systems S(2,4,n) if and only if n z 1 or 4 (mod 12). In Brouwer and Schrijver [7], group divisible designs GD(4,1,2;n) are constructed for each n = 2 (mod 6), n # 8. In Brouwer [5], pairwise balanced designs PBD((4,7*];n) are constructed for each n z 7 or 10 (mod 12), n # 10,19. By using these and some similar constructions, it follows that if we define JBhW - 1, for n = 7 or 10 (mod 12) otherwise, This bound is based on the following theorem. Theorem 21: (Delsarte [9], [lo].) Let C? be an (n,m,26) code of constant weight w I n/2, having distance distribution (Ao,.. a,azw). Then the quantities Bo,...,Bzw are nonnegative, where now 1 w &k = - c &&k(i,n,w), Mi=o the coefficients Qk (i,n,w) are given by k = 0, -.a,w, &k(i,n,w) =,- k + : Ei(k) (It)/(!)) 1 ( y 1 >, (11) and Ei(x) is an Eberlein (or dual Hahn) polynomial defined by (See Delsarte [9], Eberlein [ 151, Hahn [ 231, and Karlin and McGregor [37] for these polynomials.) As in the case of A(n,d), we obtain a bound on A(n,d,w) by maximizing A0 + A AzW subject to the constraints then A(n,6,4) = JB(n,6,4) for all n with the exceptions of Aai 1 0, i = 6, - -.,w, n = 8-11,17,19. The values of A(n,6,4) for n = 8-11 are easily determined by hand, that of A(17,6,4) was deter- A0 = 1, A2 = A4 =... = Az6-2 = 0, (12) mined in Brouwer [4], and A(19,6,4) was determined by and Phinney [47] and Stinson [60a]. We conjecture that, for t = 2, w fixed and n sufficiently &k 2 0, k =O,-..,w. (13) large (i.e., n 2. no(w)), A(n,d,w) equals the Johnson bound Additional constraints on the Ai can be expressed in &t)ained by applying Theorems 14 and 18) (cf. Wilson terms of the function T(wl,nl,w2,n2,26) defined in Section I (see Table III). Let u and consider the codewords u c) d = 8, w = 5: As shown by Hanani [26], [27], there t CC? such that dist(u,u) = 2i. By a suitable permutation of exist Steiner systems S(2,5,n) if and only if n = 1 or 5 (mod the coordinates, we may assume that 20). Shortening these gives optimal codes for n = 0 or 4 (mod 20). -We -n-w- The values of A(n,8,5) in Table II for n 5 15 follow from u=(ll...l ll...l oo...o OO...O), the following observation. u = (11 e **o 11 - ** ** 0). hi+ +i-+ Theorem 20: If d is even, X = w - d/2 and M I w/x + 1, The number of such u s is AQ~ (u), and by definition of T then A(n,d,w) > M if and only if n 1 wm - X 7. 0 we have Many more values of A(n,8,5) are known, but most lie AZ;(U) I T(i,w,i,n - w,26), i = 6,...,w, outside the range of the table. so that 3) t = 3, d = 4, w = 4: As shown by Hanani [25], Steiner quadruple systems exist for each n = 2 or 4 (mod 6). Azi I T(i,w,i,n - w,26), i = 6,...,w. (14)

11 BEST et al.: BOUNDS FOR BINARY CODES 91 Sometimes it is possible to say more, as the following example illustrates. Theorem 22: A(17,8,7) I 31. Proof: be a code of length 17, distance 8, and constant weight 7. Suppose C? contains M = A(17,8,7) codewords. For u c c?, the only nonzero components of the weight distribution with respect to u are Ao(u) = 1, Am, Alo( AI&), AM(U), and then We have Ai = \$ C Ai( uee i = 0,8,10,12, 14. A14(u) I A(10,8,7) = A(10,8,1) = 1, A12(u) I T(6,7,6,10,8) = T(1,7,4,10,8) = 5. These imply A12 I 5, A as in (14). But we can say more. For if A14(u) = 1, then A&u) I 2. Therefore, for all u Alz(u) + 3A14(u) < 5 and A14(u) 5 1, and so A12 + 3A14 I 5 and A14 I 1. (15) Linear programming with the constraints (12), (13), and (15) gives the stated result. Q.E.D. Table II gives the bounds on A(n,d,w). Upper bounds marked with an L are obtained by linear programming, as illustrated by Theorem 22. Unmarked lower and upper bounds are from Theorems A useful technique for getting lower bounds is the following. Let ~9 be an (n,m,d) code, and I?* = a = (a + u, u t c?) any translate of C?, with weight distribution Ai (0). Then Ai(0) I A(n,d,i). This technique works well for example with the (shortened) Nordstrom-Robinson and Golay codes. Other entries in the table are explained by the key. Letters on the left of an entry refer to lower bounds, on the right to upper bounds. V. BOUNDS ON T(wl,nl,wz,nz,d) T(wl,nl,wz,n2,d) is the maximum number of binary vectors of length nl + n2, having mutual Hamming distance of at least d, where each vector has exactly w i ones in the first nl coordinates and exactly wg ones in the last n2 coordinates. For example, we see that T(1,3,2,4,6) = 2, as illustrated by the vectors (loolloo), ( ). Properties of this function are given in the following theorems. Theorem 23: (Johnson [34]). (a) Th,nl,wmd = Tbwwww% (b) Th,m,w2,nd = T(nl - wl,nw2,nd, Cc) T(O,nw2,w,d) = Ahdwd, (4 T(wl,nl,w2m,d) 5 Ah& - ~WPJZ), (e) If d = 2wi + 2~2, then (g) Th,nl,w,n2,4 = min ([ 21, [ \$I], Th,nl,w2,m,4 09 Wwww2,2~) 5 5 I nl T(wl - l,nl - l,ws,ns,d), Wl 1 nl ~ T(wl,nl - l,ws,ns,d), nl - WI 1 provided the denominator is positive. 6 1 > W w1-w2 nl n2 A slightly stronger result than Theorem 23(h) is the following. Theorem 24: Suppose T(wl,nl,wz,n2,26) = M, and define qi,ri (i = 1,2) by Then Mwi = qini + ri, 0 I ri < TZi. 2 (niqi(qi - 1) + 2qiri] 5 (~1 + ~2-6)M(M - l), i=l with equality if and only if all distances are 26. There is also a linear programming bound for T(wl,nl,w2,n2,26), based on Theorem 25. Define the left and right weights of a vector u = (~1, * * *,u,,+,~) to be WL(U) = wt(ul, *a*,unl) and wr(u) = wt(unl+l, ---, UnJ. Theorem 25: Let C? be an (nl + nz,m,26) code such that WL(U) = wl, WR(u) = ws for all u 6 C?, and let A2i,2j(U) = lb c ~2 :WL(u + u) = 2i,wR(u + u) = 2j)l, Then A2i,2j = \$ C Azi,g(u). u<e &a,21 = - Aiz jroa2i,2jqh( i,nl,wdq~o,m,wd 2 0, where Qk(i,n,w) is given in (11). Proof: For v = 1,2, suppose (Xc ); Rt,.. -,RtJ) is an association scheme with intersection numbers p\$, incidence matrices Dp), idempotents Ji( ), and eigenvalues Pk (i), &b (i) (cf. Delsarte [9], [lo], Sloane [54]). Then (X(l) X Xc2); Rij = R{l X Rj2,0 I i I nl, 0 I j 5 n2) is an association scheme (the product scheme) with intersection numbers p\$p\$i, incidence matrices Dl(l) Q Dj, idempotents Ji ) 8 Jy, and eigenvalues Pg (i)pl (j), Q!?WQt2)ti). H ence C? is a code in the product of two

13 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. IT-24, NO. 1, JANUARY [SO] R. F. Stevens and W. G. Bouricius, The heuristic generation of large error-correcting codes, unpublished memorandum, IBM Research Center, Yorktown Heights, Aug. 1,1959. [60a] D. Stinson, Determination of a Packing Number, preprint. [61] J. C. Swift, Quasi-Steiner systems, Atti Acad. Naz. Lincei Rend. CZ. Sci. Fis. Mat. Nutur. (a), vol. 44, pp ,1968. [62] W. G. Valiant, A(14,6,7) < 52 or the nonexistence of a certain constant weight code, Math. Centre Report ZW71, Amsterdam, [63] N. Wax, On upper bounds for error detecting and error-correcting codes of t-mite length, IEEE Trans. Inform. Theory, vol. IT-5, pp ,1959. [64] R. M. Wilson, The construction of group-divisible designs and partial planes having the maximum number of lines of a given size. in Proc. 2nd Chapel Hill Conf. Combinatorial Mathematics and its Applications, R. C. Bose et al., Eds., Chapel Hill, NC, 1970, pp [65] --, An existence theory for pairwise balanced designs, I, J. Combinatorial Theory vol. 13A, pp ; II, ibid., vol. 13A, pp ,1972; III, ibid., vol. 18A, pp ,1975. [66] E. Witt, Uber Steinersche Systeme, Abh. Math. Sem. Unio. Hamburg, vol. 12, pp ,1938. Some Results on Arithmetic Codes of Composite Length TAI-YANG HWANG AND CARLOS R. I. HARTMANN, MEMBER, IEEE Abstract-A new upper bound on the minimum distance of hinary cyclic arithmetic codes of composite length is derived. New classes of binary cyclic arithmetic codes of composite length are introduced. The error correction capability of these codes is discussed, and in some cases the actual minimum distance is found. Decoding algorithms based on majority-logic decision are proposed for these codes. I. INTRODUCTION A RITHMETIC CODES, first proposed by Diamond [l], are useful for error control in digital computation as well as in data transmission. They are particularly suitable for checking or correcting errors in arithmetic processors. Finding the minimum distance d of an arithmetic code is a major problem. Despite many similarities between cyclic arithmetic and cyclic block codes, no general lower bound analogous to the BCH bound for cyclic codes has been found for arithmetic codes. Thus in general, the determination of d still relies on a computer search. The search for a systematic way of constructing arithmetic codes is another major area of research. Three known classes of arithmetic codes are the high-rate perfect single-error correcting codes [2]-[4], the large-distance lowrate Mandelbaum-Barrows codes [5], [6], and the intermediate-rate intermediate-distance codes [7]. One of the interesting features of the codes introduced in [7] is that they can be decoded using majority-logic decisions. In this paper, we present a new upper bound on d for binary cyclic arithmetic codes of composite length. This bound is quite tight and gives a rather good estimation of the actual minimum distance. We also construct new classes of binary cyclic arithmetic codes. Many of these codes have intermediate rate and intermediate distance, and they can be decoded by majority-logic decisions. Manuscript received November 3, 1976; revised April 25,1977. This work was supported by the National Science Foundation, under Grant ENG The authors are with School of Computer and Information Science, Syracuse University, Syracuse, NY %9448/78/ \$ IEEE In Section II, we present the new upper bound on d. In Section III, we construct new classes of binary cyclic arithmetic codes. The decoding algorithms for these codes are given in Section IV. A discussion of the results is contained in Section V. Numerical examples are given in Appendix A. The conditions for the existence of codes in the classes constructed in Section III are given in Appendix B. II. BOUND ON THE MINIMUM DISTANCE OF BINARY CYCLIC ARITHMETIC CODES OF COMPOSITE LENGTH A binary cyclic arithmetic code (or AN code ) of length n is of the set of integers of the form AN, where A is a fixed integer, called the generator of the code, and N = O,l,. - -,B - 1. The integer B is chosen so that AB = 2-1, where n is the multiplicative order of 2 modulo A. For a general background on binary cyclic AN code as well as for the definitions of arithmetic distance and arithmetic weight, the readers are referred to [8]-[lo]. The following theorem, which is a generalization of [ll, Theorem l], gives an upper bound on d. Theorem 1: Let A generate a binary arithmetic code of composite length n = nili, 1 < 11 < R. If B is divisible by either 2nl + 1 or by 2 1-1, then d 5 1i. Proof: Let B = B1(2~l+ 1). By [12, Lemma 6.31, Ii is even. Thus 2-1 A&=-----= 2(11-l)n1-2(11-2)n n is a codeword of arithmetic weight 11, W(AB1) = 11. Similarly, one can show that d I II when B = B~(2~l - 1). Q.E.D. The following example will illustrate the application of Theorem 1. Example 1: Let AB = with A = Thus, B = 3.5 * 11 and n = 20. We note that GCD(A,22-1) =

### Two classes of ternary codes and their weight distributions

Two classes of ternary codes and their weight distributions Cunsheng Ding, Torleiv Kløve, and Francesco Sica Abstract In this paper we describe two classes of ternary codes, determine their minimum weight

### On Quantum Hamming Bound

On Quantum Hamming Bound Salah A. Aly Department of Computer Science, Texas A&M University, College Station, TX 77843-3112, USA Email: salah@cs.tamu.edu We prove quantum Hamming bound for stabilizer codes

### AN ALGORITHM FOR DETERMINING WHETHER A GIVEN BINARY MATROID IS GRAPHIC

AN ALGORITHM FOR DETERMINING WHETHER A GIVEN BINARY MATROID IS GRAPHIC W. T. TUTTE. Introduction. In a recent series of papers [l-4] on graphs and matroids I used definitions equivalent to the following.

### = 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

### 1.- L a m e j o r o p c ió n e s c l o na r e l d i s co ( s e e x p li c a r á d es p u é s ).

PROCEDIMIENTO DE RECUPERACION Y COPIAS DE SEGURIDAD DEL CORTAFUEGOS LINUX P ar a p od e r re c u p e ra r nu e s t r o c o rt a f u e go s an t e un d es a s t r e ( r ot u r a d e l di s c o o d e l a

### The Open University s repository of research publications and other research outputs

Open Research Online The Open University s repository of research publications and other research outputs The degree-diameter problem for circulant graphs of degree 8 and 9 Journal Article How to cite:

### max cx s.t. Ax c where the matrix A, cost vector c and right hand side b are given and x is a vector of variables. For this example we have x

Linear Programming Linear programming refers to problems stated as maximization or minimization of a linear function subject to constraints that are linear equalities and inequalities. Although the study

### Collinear Points in Permutations

Collinear Points in Permutations Joshua N. Cooper Courant Institute of Mathematics New York University, New York, NY József Solymosi Department of Mathematics University of British Columbia, Vancouver,

### Linear Codes. Chapter 3. 3.1 Basics

Chapter 3 Linear Codes In order to define codes that we can encode and decode efficiently, we add more structure to the codespace. We shall be mainly interested in linear codes. A linear code of length

### Approximation Algorithms

Approximation Algorithms or: How I Learned to Stop Worrying and Deal with NP-Completeness Ong Jit Sheng, Jonathan (A0073924B) March, 2012 Overview Key Results (I) General techniques: Greedy algorithms

### SECRET sharing schemes were introduced by Blakley [5]

206 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 52, NO. 1, JANUARY 2006 Secret Sharing Schemes From Three Classes of Linear Codes Jin Yuan Cunsheng Ding, Senior Member, IEEE Abstract Secret sharing has

### On the representability of the bi-uniform matroid

On the representability of the bi-uniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every bi-uniform matroid is representable over all sufficiently large

### Best Monotone Degree Bounds for Various Graph Parameters

Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer

### PYTHAGOREAN NUMBERS. Bowling Green State University, Bowling Green, OH (Submitted February 1988)

S u p r i y a Mohanty a n d S. P. Mohanty Bowling Green State University, Bowling Green, OH 43403-0221 (Submitted February 1988) Let M be a right angled triangle with legs x and y and hypotenuse z. Then

### B y R us se ll E ri c Wr ig ht, DV M. M as te r of S ci en ce I n V et er in ar y Me di ca l Sc ie nc es. A pp ro ve d:

E ff ec ts o f El ec tr ic al ly -S ti mu la te d Si lv er -C oa te d Im pl an ts a nd B ac te ri al C on ta mi na ti on i n a Ca ni ne R ad iu s Fr ac tu re G ap M od el B y R us se ll E ri c Wr ig ht,

### 1 Polyhedra and Linear Programming

CS 598CSC: Combinatorial Optimization Lecture date: January 21, 2009 Instructor: Chandra Chekuri Scribe: Sungjin Im 1 Polyhedra and Linear Programming In this lecture, we will cover some basic material

### 10. Graph Matrices Incidence Matrix

10 Graph Matrices Since a graph is completely determined by specifying either its adjacency structure or its incidence structure, these specifications provide far more efficient ways of representing a

### Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

### ERDOS PROBLEMS ON IRREGULARITIES OF LINE SIZES AND POINT DEGREES A. GYARFAS*

BOLYAI SOCIETY MATHEMATICAL STUDIES, 11 Paul Erdos and his Mathematics. II, Budapest, 2002, pp. 367-373. ERDOS PROBLEMS ON IRREGULARITIES OF LINE SIZES AND POINT DEGREES A. GYARFAS* Problems and results

### THREE DIMENSIONAL GEOMETRY

Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,

### Linear Codes. In the V[n,q] setting, the terms word and vector are interchangeable.

Linear Codes Linear Codes In the V[n,q] setting, an important class of codes are the linear codes, these codes are the ones whose code words form a sub-vector space of V[n,q]. If the subspace of V[n,q]

### On the k-path cover problem for cacti

On the k-path cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we

### RINGS WITH A POLYNOMIAL IDENTITY

RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in

### Coding Theory Lecture Notes

Coding Theory Lecture Notes Nathan Kaplan and members of the tutorial September 7, 2011 These are the notes for the 2011 Summer Tutorial on Coding Theory. I have not gone through and given citations or

### Applied Algorithm Design Lecture 5

Applied Algorithm Design Lecture 5 Pietro Michiardi Eurecom Pietro Michiardi (Eurecom) Applied Algorithm Design Lecture 5 1 / 86 Approximation Algorithms Pietro Michiardi (Eurecom) Applied Algorithm Design

### The four [10,5,4] binary codes

1 Preliminaries The four [10,,] binary codes There are four distinct [10; ; ] binary codes. We shall prove this in a moderately elementary way, using the MacWilliams identities as the main tool. (For the

### Coding Theory. Decimal Codes

Coding Theory Massoud Malek Decimal Codes To make error correcting codes easier to use and analyze, it is necessary to impose some algebraic structure on them. It is especially useful to have an alphabet

### Analysis of Approximation Algorithms for k-set Cover using Factor-Revealing Linear Programs

Analysis of Approximation Algorithms for k-set Cover using Factor-Revealing Linear Programs Stavros Athanassopoulos, Ioannis Caragiannis, and Christos Kaklamanis Research Academic Computer Technology Institute

### FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

### A simple criterion on degree sequences of graphs

Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

### Mean Ramsey-Turán numbers

Mean Ramsey-Turán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρ-mean coloring of a graph is a coloring of the edges such that the average

### CONTRIBUTIONS TO ZERO SUM PROBLEMS

CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg

### COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

### The minimum number of monochromatic 4-term progressions

The minimum number of monochromatic 4-term progressions Rutgers University May 28, 2009 Monochromatic 3-term progressions Monochromatic 4-term progressions 1 Introduction Monochromatic 3-term progressions

### Partitioning edge-coloured complete graphs into monochromatic cycles and paths

arxiv:1205.5492v1 [math.co] 24 May 2012 Partitioning edge-coloured complete graphs into monochromatic cycles and paths Alexey Pokrovskiy Departement of Mathematics, London School of Economics and Political

### All trees contain a large induced subgraph having all degrees 1 (mod k)

All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New

### 3. Linear Programming and Polyhedral Combinatorics

Massachusetts Institute of Technology Handout 6 18.433: Combinatorial Optimization February 20th, 2009 Michel X. Goemans 3. Linear Programming and Polyhedral Combinatorics Summary of what was seen in the

### 1 Introduction. Linear Programming. Questions. A general optimization problem is of the form: choose x to. max f(x) subject to x S. where.

Introduction Linear Programming Neil Laws TT 00 A general optimization problem is of the form: choose x to maximise f(x) subject to x S where x = (x,..., x n ) T, f : R n R is the objective function, S

### ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction

ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD A.D. SCOTT Abstract. Gallai proved that the vertex set of any graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We prove

### A Turán Type Problem Concerning the Powers of the Degrees of a Graph

A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of Haifa-ORANIM, Tivon 36006, Israel. AMS Subject Classification:

### BINARY SELF-DUAL CODES OF LENGTH 24

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 8, Number 6, November 1974 BINARY SELF-DUAL CODES OF LENGTH BY VERA PLESS 1 AND N. J. A. SLOANE Communicated by Olga Taussky Todd, February 28, 1974

### PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

### ISOMETRIES OF R n KEITH CONRAD

ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x

### Notes on Factoring. MA 206 Kurt Bryan

The General Approach Notes on Factoring MA 26 Kurt Bryan Suppose I hand you n, a 2 digit integer and tell you that n is composite, with smallest prime factor around 5 digits. Finding a nontrivial factor

### About the inverse football pool problem for 9 games 1

Seventh International Workshop on Optimal Codes and Related Topics September 6-1, 013, Albena, Bulgaria pp. 15-133 About the inverse football pool problem for 9 games 1 Emil Kolev Tsonka Baicheva Institute

### U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

### Lecture 4: BK inequality 27th August and 6th September, 2007

CSL866: Percolation and Random Graphs IIT Delhi Amitabha Bagchi Scribe: Arindam Pal Lecture 4: BK inequality 27th August and 6th September, 2007 4. Preliminaries The FKG inequality allows us to lower bound

### Section 1.1. Introduction to R n

The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to

### SUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by

SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples

Adaptive Linear Programming Decoding Mohammad H. Taghavi and Paul H. Siegel ECE Department, University of California, San Diego Email: (mtaghavi, psiegel)@ucsd.edu ISIT 2006, Seattle, USA, July 9 14, 2006

### Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

### The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

### Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs

CSE599s: Extremal Combinatorics November 21, 2011 Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs Lecturer: Anup Rao 1 An Arithmetic Circuit Lower Bound An arithmetic circuit is just like

### Integer Factorization using the Quadratic Sieve

Integer Factorization using the Quadratic Sieve Chad Seibert* Division of Science and Mathematics University of Minnesota, Morris Morris, MN 56567 seib0060@morris.umn.edu March 16, 2011 Abstract We give

### Solution of Linear Systems

Chapter 3 Solution of Linear Systems In this chapter we study algorithms for possibly the most commonly occurring problem in scientific computing, the solution of linear systems of equations. We start

### Minimally Infeasible Set Partitioning Problems with Balanced Constraints

Minimally Infeasible Set Partitioning Problems with alanced Constraints Michele Conforti, Marco Di Summa, Giacomo Zambelli January, 2005 Revised February, 2006 Abstract We study properties of systems of

### ! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. #-approximation algorithm.

Approximation Algorithms 11 Approximation Algorithms Q Suppose I need to solve an NP-hard problem What should I do? A Theory says you're unlikely to find a poly-time algorithm Must sacrifice one of three

### COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS

COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS Alexander Burstein Department of Mathematics Howard University Washington, DC 259, USA aburstein@howard.edu Sergey Kitaev Mathematics

### 4.6 Linear Programming duality

4.6 Linear Programming duality To any minimization (maximization) LP we can associate a closely related maximization (minimization) LP. Different spaces and objective functions but in general same optimal

### Mathematics of Cryptography

CHAPTER 2 Mathematics of Cryptography Part I: Modular Arithmetic, Congruence, and Matrices Objectives This chapter is intended to prepare the reader for the next few chapters in cryptography. The chapter

### Generalizing the Ramsey Problem through Diameter

Generalizing the Ramsey Problem through Diameter Dhruv Mubayi Submitted: January 8, 001; Accepted: November 13, 001. MR Subject Classifications: 05C1, 05C15, 05C35, 05C55 Abstract Given a graph G and positive

### Rational exponents in extremal graph theory

Rational exponents in extremal graph theory Boris Bukh David Conlon Abstract Given a family of graphs H, the extremal number ex(n, H) is the largest m for which there exists a graph with n vertices and

### A characterization of trace zero symmetric nonnegative 5x5 matrices

A characterization of trace zero symmetric nonnegative 5x5 matrices Oren Spector June 1, 009 Abstract The problem of determining necessary and sufficient conditions for a set of real numbers to be the

### IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

### SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

### Definition of a Linear Program

Definition of a Linear Program Definition: A function f(x 1, x,..., x n ) of x 1, x,..., x n is a linear function if and only if for some set of constants c 1, c,..., c n, f(x 1, x,..., x n ) = c 1 x 1

### P. STANLEY* RICHARD. Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139. Communicated by C.

JOURNAL OF COMBINATORIAL THEORY, Series B 38, 132-138 (1985) Reconstruction from Vertex-Switching RICHARD P. STANLEY* Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts

### I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

### Good luck, veel succes!

Final exam Advanced Linear Programming, May 7, 13.00-16.00 Switch off your mobile phone, PDA and any other mobile device and put it far away. No books or other reading materials are allowed. This exam

### Theorem (The division theorem) Suppose that a and b are integers with b > 0. There exist unique integers q and r so that. a = bq + r and 0 r < b.

Theorem (The division theorem) Suppose that a and b are integers with b > 0. There exist unique integers q and r so that a = bq + r and 0 r < b. We re dividing a by b: q is the quotient and r is the remainder,

### Set systems with union and intersection constraints

Set systems with union and intersection constraints Dhruv Mubayi Reshma Ramadurai September 13, 2007 Abstract Let 2 d k be fixed and n be sufficiently large. Suppose that G is a collection of k-element

### The Conference Call Search Problem in Wireless Networks

The Conference Call Search Problem in Wireless Networks Leah Epstein 1, and Asaf Levin 2 1 Department of Mathematics, University of Haifa, 31905 Haifa, Israel. lea@math.haifa.ac.il 2 Department of Statistics,

### Pythagorean vectors and their companions. Lattice Cubes

Lattice Cubes Richard Parris Richard Parris (rparris@exeter.edu) received his mathematics degrees from Tufts University (B.A.) and Princeton University (Ph.D.). For more than three decades, he has lived

### The degree, size and chromatic index of a uniform hypergraph

The degree, size and chromatic index of a uniform hypergraph Noga Alon Jeong Han Kim Abstract Let H be a k-uniform hypergraph in which no two edges share more than t common vertices, and let D denote the

### A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

### Victims Compensation Claim Status of All Pending Claims and Claims Decided Within the Last Three Years

Claim#:021914-174 Initials: J.T. Last4SSN: 6996 DOB: 5/3/1970 Crime Date: 4/30/2013 Status: Claim is currently under review. Decision expected within 7 days Claim#:041715-334 Initials: M.S. Last4SSN: 2957

### Integer roots of quadratic and cubic polynomials with integer coefficients

Integer roots of quadratic and cubic polynomials with integer coefficients Konstantine Zelator Mathematics, Computer Science and Statistics 212 Ben Franklin Hall Bloomsburg University 400 East Second Street

### On an anti-ramsey type result

On an anti-ramsey type result Noga Alon, Hanno Lefmann and Vojtĕch Rödl Abstract We consider anti-ramsey type results. For a given coloring of the k-element subsets of an n-element set X, where two k-element

### Solutions to Homework Set 3 (Solutions to Homework Problems from Chapter 2)

Solutions to Homework Set 3 (Solutions to Homework Problems from Chapter 2) Problems from 21 211 Prove that a b (mod n) if and only if a and b leave the same remainder when divided by n Proof Suppose a

### Is Sometime Ever Better Than Alway?

Is Sometime Ever Better Than Alway? DAVID GRIES Cornell University The "intermittent assertion" method for proving programs correct is explained and compared with the conventional method. Simple conventional

Approximation Algorithms Chapter Approximation Algorithms Q. Suppose I need to solve an NP-hard problem. What should I do? A. Theory says you're unlikely to find a poly-time algorithm. Must sacrifice one

### 1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

### GENERALIZED PYTHAGOREAN TRIPLES AND PYTHAGOREAN TRIPLE PRESERVING MATRICES. Mohan Tikoo and Haohao Wang

VOLUME 1, NUMBER 1, 009 3 GENERALIZED PYTHAGOREAN TRIPLES AND PYTHAGOREAN TRIPLE PRESERVING MATRICES Mohan Tikoo and Haohao Wang Abstract. Traditionally, Pythagorean triples (PT) consist of three positive

### Offline sorting buffers on Line

Offline sorting buffers on Line Rohit Khandekar 1 and Vinayaka Pandit 2 1 University of Waterloo, ON, Canada. email: rkhandekar@gmail.com 2 IBM India Research Lab, New Delhi. email: pvinayak@in.ibm.com

### FACTORING PEAK POLYNOMIALS

FACTORING PEAK POLYNOMIALS SARA BILLEY, MATTHEW FAHRBACH, AND ALAN TALMAGE Abstract. Let S n be the symmetric group of permutations π = π 1 π 2 π n of {1, 2,..., n}. An index i of π is a peak if π i 1

### Math 4707: Introduction to Combinatorics and Graph Theory

Math 4707: Introduction to Combinatorics and Graph Theory Lecture Addendum, November 3rd and 8th, 200 Counting Closed Walks and Spanning Trees in Graphs via Linear Algebra and Matrices Adjacency Matrices

### 24. The Branch and Bound Method

24. The Branch and Bound Method It has serious practical consequences if it is known that a combinatorial problem is NP-complete. Then one can conclude according to the present state of science that no

### ! Solve problem to optimality. ! Solve problem in poly-time. ! Solve arbitrary instances of the problem. !-approximation algorithm.

Approximation Algorithms Chapter Approximation Algorithms Q Suppose I need to solve an NP-hard problem What should I do? A Theory says you're unlikely to find a poly-time algorithm Must sacrifice one of

### Geometry of Linear Programming

Chapter 2 Geometry of Linear Programming The intent of this chapter is to provide a geometric interpretation of linear programming problems. To conceive fundamental concepts and validity of different algorithms

### Block designs/1. 1 Background

Block designs 1 Background In a typical experiment, we have a set Ω of experimental units or plots, and (after some preparation) we make a measurement on each plot (for example, the yield of the plot).

### Functional-Repair-by-Transfer Regenerating Codes

Functional-Repair-by-Transfer Regenerating Codes Kenneth W Shum and Yuchong Hu Abstract In a distributed storage system a data file is distributed to several storage nodes such that the original file can

### Section 6.1 - Inner Products and Norms

Section 6.1 - Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,

### GROUPS ACTING ON A SET

GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

### 2.5 Gaussian Elimination

page 150 150 CHAPTER 2 Matrices and Systems of Linear Equations 37 10 the linear algebra package of Maple, the three elementary 20 23 1 row operations are 12 1 swaprow(a,i,j): permute rows i and j 3 3

### Covering a Square by Small Perimeter Rectangles*

Discrete Cnmput Geom 1:1-7 (1986) )i,~,n,te ~ (:~mqnjlatk~mj G eometrv 19156 Sprlngerat~rhtg New YOrk Inc. e Covering a Square by Small Perimeter Rectangles* N. Alon 1'** and D. J. Kleitman 2"*** I Massachusetts

### Resource Allocation with Time Intervals

Resource Allocation with Time Intervals Andreas Darmann Ulrich Pferschy Joachim Schauer Abstract We study a resource allocation problem where jobs have the following characteristics: Each job consumes

### Cyclic Codes Introduction Binary cyclic codes form a subclass of linear block codes. Easier to encode and decode

Cyclic Codes Introduction Binary cyclic codes form a subclass of linear block codes. Easier to encode and decode Definition A n, k linear block code C is called a cyclic code if. The sum of any two codewords

### CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.