arxiv: v2 [cs.it] 11 Jul 2014

Transcription

1 A faly of optal locally ecoveable codes Itzhak Tao, Mebe, IEEE, and Alexande Bag, Fellow, IEEE axv: v2 [cs.it] 11 Jul 2014 Abstact A code ove a fnte alphabet s called locally ecoveable (LRC) f evey sybol n the encodng s a functon of a sall nube (at ost ) othe sybols. We pesent a faly of LRC codes that attan the axu possble value of the dstance fo a gven localty paaete and code cadnalty. The codewods ae obtaned as evaluatons of specally constucted polynoals ove a fnte feld, and educe to a Reed-Soloon code f the localty paaete s set to be equal to the code denson. The sze of the code alphabet fo ost paaetes s only slghtly geate than the code length. The ecovey pocedue s pefoed by polynoal ntepolaton ove ponts. We also constuct codes wth seveal dsjont ecoveng sets fo evey sybol. Ths constucton enables the syste to conduct seveal ndependent and sultaneous ecovey pocesses of a specfc sybol by accessng dffeent pats of the codewod. Ths popety enables hgh avalablty of fequently accessed data ( hot data ). Index Tes Dstbuted stoage, easue ecovey, evaluaton codes, hot data. I. INTRODUCTION Dstbuted and cloud stoage systes have eached such a assve scale that ecovey fo seveal falues s now pat of egula opeaton of the syste athe than a ae excepton. In addton, stoage systes have to povde hgh data avalablty to ensue hgh pefoance. In ode to addess these equeents, edundancy and data encodng ust be ntoduced nto the syste. The splest and ost wdespead technque used fo data ecovey s eplcaton, unde whch seveal copes of each data fagent ae wtten to dstnct physcal stoage nodes. Howeve, ths soluton entals lage stoage ovehead and has theefoe becoe nadequate fo oden systes suppotng the Bg Data envonent. Theefoe, oe advanced codng technques that povde copaable eslency aganst falues at the expense of a sgnfcantly salle stoage ovehead, ae pleented. Fo exaple, Facebook uses the (14, 10) Reed-Soloon code, whch eques only 40% ovehead copaed to the 200% ovehead assocated wth theefold eplcaton. Although today s stoage systes ae eslent to seveal concuent node falues, n ode to povde enough data elablty, by fa the ost coon scenao s a falue of a sngle node. Hence, a stoage syste should be desgned to effcently epa such scenaos. The epa effcency of a sngle node falue n the syste can be quantfed unde dffeent etcs, whee each etc s elevant fo dffeent stoage systes and applcatons. Moe pecsely, a lage body Manuscpt eceved Octobe 10, 2013; evsed Febuay 6, 2014; accepted Apl 18, The authos eals ae {zactao,alexandebag}@gal.co. Povsonal US patent applcaton 61/884,768 fled. Councated by H. Pfste, Assocate Edto fo Codng Theoy. Dgtal Object Identfe /TIT of exstng wok has consdeed the epa poble unde thee etcs: ) the nube of bts councated n the netwok,.e., the epa-bandwdth [6], [22], [25], [27], [5], [18], ), the nube of bts ead, the dsk-i/o [13], [27], and ), epa localty,.e., the nube of nodes that patcpate n the epa pocess [9], [16], [19], [26], [24]. The fundaental lts of these etcs ae yet to be fully undestood. In ths wok, we focus on the last of these etcs, naely the epa localty. Moe foally, a Locally Recoveable Code (LRC code) of length n s a code that poduces an n-sybol codewod fo k nfoaton sybols and, fo any sybol of the codewod, thee exst at ost othe sybols such that the value of the sybol can be ecoveed fo the. We efe to such a code as an (n, k, ) LRC code. Fo LRC codes, f a sybol s lost due to a node falue, ts value can be ecoveed by accessng the value of at ost othe sybols. Fo exaple, a code of length 2k n whch each coodnate s epeated twce, s an LRC code wth localty = 1. Geneally the localty paaete satsfes 1 k because the ente codewod can be found by accessng k sybols othe than the eased sybol. Anothe exaple s gven by(n, k) axu dstance sepaable, o MDS codes. In ths case the localty s = k, and not less than that, whch s the lagest possble value. Obseve that MDS codes can ecove the lagest possble nube of eased sybols aong all (n, k) codes, but they ae fa fo optal n tes of localty,.e., fo coectng a sngle sybol easue. Yet anothe sple exaple s povded by egula LDPC codes wth + 1 nonzeos n evey check equaton, eanng that any sngle sybol of the codewod s a lnea cobnaton of soe othe sybols. Codes that have good localty popetes wee ntally studed n [10], [11], although the second of these papes consdeed a slghtly dffeent defnton of localty, unde whch a code s sad to have nfoaton localty f the value of any of ts nfoaton sybols can be ecoveed by accessng at ost othe codewod sybols. Codes wth nfoaton localty popety wee also studed n [9], [7]. A natual queston to ask s as follows: gven an (n, k, ) LRC code C, what s the best possble nu dstance d(c)? A bound on d(c) as a functon of n, k and was poved n [9] by extendng the aguents n the poof of the classcal Sngleton bound on codes (see Theoe 2.1 below). Usng a pobablstc aguent, [9] showed that ths bound s tght ove a lage enough fnte feld. Theefoe, an (n, k, ) LRC code that acheves the bound of [9] wth equalty s called an optal LRC code. The Sngleton-type bound of [9] does not take nto account the cadnalty of the code alphabet q. Augentng ths esult, a ecent wok [4] establshed a bound on the dstance of LRC codes that depends on q, soetes yeldng bette esults. Anothe pespectve of the lts fo LRC codes was addessed n [15] whch showed that localty

2 2 cannot be too sall f the codes ae equed to attan capacty of, say, the bnay syetc channel. We note that localty enables one to ecove fo a sngle falue wth only eads and thus offes a sgnfcant speedup n the ost coon scenao. Thee ae two constuctons of optal LRC codes known n the lteatue. Naely, [24] poposed a two-level constucton based on the well-known Gabduln codes cobned wth a sngle paty-check ( + 1, ) code. Anothe constucton [26] used two layes of MDS codes, a Reed-Soloon code and a specal ( + 1, ) MDS code. A coon shotcong of these constuctons elates to the sze of the code alphabet whch n both papes s an exponental functon of the code length, coplcatng the pleentaton. The only known constuctons of optal LRC codes ove an alphabet of sze copaable to code s length ae fo localty = 1, k, and ecently pape [21] constucted such a code fo a specfc value of the length n = k ( + 1). In ths pape we ovecoe ths shotcong, pesentng a natual genealzaton of the Reed-Soloon constucton whch eles on the alphabet of cadnalty copaable to the code length n. Ou constucton can also be vewed n the faewok of codes constucted usng the Chnese Reande Theoe; see Sect. V-B. Recently [17] constucted LRC codes wth seveal dsjont epa altenatves usng patal geoetes. [23] pesented a new faewok fo desgnng dstbuted stoage codes that ae effcent n data ead and download equed dung epa, and [12] pesented codes that cobne two etcs elated to stoage, naely codes wth local ecovey that at the sae te seek to nze the epa bandwdth dung epa of a faled node. A elated localty popety, ntoduced n [3], [8], s called axally ecoveable codes. Sybols n such codes can be gouped nto dsjont sets of sze + 1 that fo a sple paty check code. Moeove, punctung each codewod on one coodnate fo each goup yelds an MDS code. Hence the value of each sybol n such codes can be ecoveed by a sple paty check su of othe sybols. Ovevew of the pape: The an constucton of optal (n, k, ) LRC codes ove the fnte feld F q, q n s pesented n Secton III. Thee ae seveal vesons of the constucton that ae dscussed n detal, togethe wth soe exaples of shot optal LRC codes. We also obseve that the encodng can be ade systeatc, whch ay be benefcal n pleentatons. In Secton IV we gve two constuctons of LRC codes wth ultple dsjont ecoveng sets fo each sybol, whch enables sultaneous ecovey fo dffeent potons of the encodng. In Secton V we dscuss seveal extensons of the an constucton, n patcula, pontng out that the splfyng assuptons ade eale n the pape can be eoved wth only sall changes n the esultng codes. Thoughout the pape, C denotes a code ove a fnte feld F q. The tple of paaetes (n, k, ) efes to a code of length n, cadnalty q k and localty. The fnte feld s also denoted by F f ts cadnalty s undestood o does not atte. We also use the notaton [n] := {1,..., n}. A estcton C I of the code C to a subset of coodnates I [n] s the code obtaned by eovng fo each vecto the coodnates outsde I. II. PRELIMINARIES ON LRC CODES We say that a code C F n q has localty f evey sybol of the codewod x C can be ecoveed fo a subset of othe sybols of x (.e., s a functon of soe othe sybols x 1, x 2,..., x ). In othe wods, ths eans that, gven x C, [n], thee exsts a subset of coodnates I [n]\, I such that the estcton of C to the coodnates n I enables one to fnd the value of x. The subset I s called a ecoveng set fo the sybol x. The foal defnton s as follows. Gven a F q consde the sets of codewods C(, a) = {x C : x = a}, [n]. The code C s sad to have localty f fo evey [n] thee exsts a subset I [n]\, I such that the estctons of the sets C(, a) to the coodnates n I fo dffeent a ae dsjont: C I (, a) C I (, a ) =, a = a. The code C I {} s called a local code of the code C. In the constuctons of LRC codes pesented n the lteatue the set of coodnates of the (n, k, ) LRC code s usually pattoned nto (+1, ) local MDS codes that defne the ecoveng sets of the sybols. Two desable featues of codes ae lage nu dstance and hgh ate. We begn wth two bounds on these paaetes of an LRC code. The poof of the followng theoe s gven n the appendx. Theoe 2.1: Let C be an (n, k, ) LRC code of cadnalty q k ove an alphabet of sze q, then: The ate of C satsfes k n +1. (1) The nu dstance of C satsfes k d n k + 2. (2) A code that acheves the bound on the dstance wth equalty wll be called an optal LRC code. Reak: The bound on the dstance s due to [9], [20], whee t appeas wth a dffeent poof. It s clea that n any code, each sybol has localty at ost k, so always satsfes 1 k. Upon lettng = k, (2) becoes the well-known Sngleton bound, d n k+1, (3) so optal LRC codes wth = k ae pecsely MDS codes, e.g. the Reed-Soloon codes. On the othe hand, f = 1, the bound (2) becoes ( n ) d n 2k+2 = 2 2 k+ 1. Replcatng each sybol twce n an (n/2, k) MDS code, we obtan an optal LRC code wth localty = 1.

3 3 III. CODE CONSTRUCTION In ths secton we constuct optal lnea (n, k, ) LRC codes ove a fnte feld alphabet of sze q, whee q s a pe powe geate o equal to n. In the fst veson of the constucton we assue that k s dvsble by (ths estcton wll be eoved late n ths secton). Thoughout ths secton we also assue that n s dvsble by + 1 (ths estcton can also be lfted, see Sect. V-A). A. Geneal constucton We begn wth a geneal ethod of constuctng lnea codes wth the localty popety. Late we wll show that soe of these codes have optal nu dstance. The codes ae constucted as evaluatons of polynoals, n lne wth any othe algebac code constuctons. Unlke the classcal Reed- Soloon codes, the new codes wll be evaluated at a specally chosen set of ponts of the feld F q, q n. A key ngedent of the constucton s a polynoal g(x) F q [x] that satsfes the followng condtons: 1) The degee of g s + 1, 2) Thee exsts a patton A = {A 1,..., A n } of a set +1 A F q of sze n nto sets of sze + 1, such that g s constant on each set A n the patton. Naely fo all = 1,..., n/(+1), and any α, β A, g(α) = g(β). A polynoal that satsfes these condtons wll be called good. The code constucton pesented below eles on the exstence of good polynoals. Constucton 1: ((n, k, ) LRC codes) Let n q be the taget code length. Let A F q, A = n and let g(x) be a good polynoal fo the patton A of the set A. To fnd the codewod fo a essage vecto a F k q wte t as a = (a j, = 0,..., 1; j = 0,..., k 1). Defne the encodng polynoal 1 f (x)x, (4) whee f (x) = k 1 a j g(x) j, = 0,..., 1 (5) j=0 (we call the f s the coeffcent polynoals). The codewod fo a s found as the evaluaton vecto of f a at all the ponts of A. In othe wods, the (n, k, ) LRC code C s defned as the set of n-densonal vectos C = {( f a (α), α A) : a F k q}. (6) We call the eleents of the set A locatons and the eleents of the vecto ( f a (α)) sybols of the codewod. The local ecovey s accoplshed as follows. Recovey of the eased sybol: Suppose that the eased sybol coesponds to the locaton α A j, whee A j s one of the sets n the patton A. Let (c β, β A j \α) denote the eanng sybols n the locatons of the set A j. To fnd the value c α = f a (α), fnd the unque polynoal δ(x) of degee less than such that δ(β) = c β fo all β A j \α,.e., δ(x) = β A j \α c β β A j \{α,β} x β β β (7) and set c α = δ(α). We call δ(x) the decodng polynoal fo the sybol c α. Thus, to fnd one eased sybol, we need to pefo polynoal ntepolaton fo known sybols n ts ecovey set. Ths ecovey pocedue undeles all the constuctons n ths pape. In the next theoe we pove that the codes constucted above ae optal wth espect to the bound (2), and justfy the valdty of the ecovey pocedue. Theoe 3.1: The lnea code C defned n (6) has denson k and s an optal (n, k, ) LRC code, naely ts nu dstance eets the bound (2) wth equalty. Poof: Note that fo = 0,..., 1; j = 0,..., k 1 the k polynoals g(x) j x all ae of dstnct degees, and theefoe ae lnealy ndependent ove F. In othe wods, the appng a f a (x) s njectve. By (4), (5) the degee of the polynoal f a (x) s at ost ( k ) 1 (+ 1)+ 1 = k+ k 2 n 2, whee the last nequalty follows fo (1). Ths eans that two dstnct encodng polynoals f a and f b gve se to two dstnct codevectos, so the denson of the code s k. Snce the encodng s lnea, the dstance satsfes d(c) n ax deg( f a ) = n k k f a,a F k + 2 q whch togethe wth (2) copletes the poof of dstance optalty. Let us pove the localty popety. Let A j be a ebe of the patton A and assue that the lost sybol of the codewod equals c α = f a (α), whee α A j s a feld eleent. Defne the decodng polynoal (x) = 1 f (α)x, (8) whee the f (x) ae the coeffcent polynoals (5). We wll show that (x) s the sae polynoal as δ(x) defned n (7). Each f (x) s a lnea cobnaton of powes of g, theefoe t s also constant on the set A j,.e., fo any β A j and any coeffcent polynoal f, = 1,..., 1 Hence by (8) and (9), fo any β n A j (β) = f (β) = f (α). (9) 1 f (α)β 1 = f (β)β = f a (β). In othe wods, the values of the encodng polynoal f a (x) and the decodng polynoal (x) on the locatons of A j concde. Snce (x) s of degee at ost 1, t can be ntepolated fo the sybols c β, β A j \α, cf. Eq. (7). Once (x) s coputed, we fnd the lost sybol as (α). To

4 4 conclude, the lost sybol c α can be ecoveed by accessng othe sybols of the codewod. As a consequence of ths poof, we note that the polynoal δ(x) satsfes the condton δ(α) = f a (α) fo all α A j,.e., t s detened by the ndex j of the ecoveng set A j. In othe wods, the decodng polynoal δ(x) s the sae fo any two sybols α 1, α 2 A j. Exaple 1: In ths exaple we constuct an optal (n = 9, k = 4, = 2) LRC code ove the feld F q. Snce we need 9 dstnct evaluaton ponts of the feld, we ust choose q 9. We defne the code C ove F 13. The dffculty of usng Constucton 1 s n constuctng a good polynoal g of degee +1 = 3 that s constant on 3 dsjont sets of sze 3. In ths exaple we offe lttle otvaton n constuctng g(x) but late we wll gve a systeatc way of constuctng the. Let the patton A be as follows: A = {A 1 = {1, 3, 9}, A 2 = {2, 6, 5}, A 3 = {4, 12, 10}}, and note that the polynoal g(x) = x 3 s constant on the sets A. Let a = (a 0,0, a 0,1, a 1,0, a 1,1 ) be the nfoaton vecto of length k = 4 ove F 13 and defne the encodng polynoal by (4), (5) (a 0,0 + a 0,1 g(x))+ x(a 1,0 + a 1,1 g(x)) = (a 0,0 + a 0,1 x 3 )+x(a 1,0 + a 1,1 x 3 ) = a 0,0 + a 1,0 x+a 0,1 x 3 + a 1,1 x 4. The codewod c that coesponds to a s found as the evaluaton of the polynoal f a at all the ponts of the sets of the patton A: c = ( f a (α), α 3 =1 A ). Snce deg f a 4, the nu dstance s at least 5, and so d = 5 by (2). Fo nstance, assue that a = (1, 1, 1, 1), then the codewod s found to be ( f a (1), f a (3), f a (9), f a (2), f a (6), f a (5), f a (4), f a (12), f a (10)) = (4, 8, 7, 1, 11, 2, 0, 0, 0). Suppose that the value f a (1) s eased. By ou constucton, t can be ecoveed by accessng 2 othe codewod sybols, naely, the sybols at locatons coespondng to 3 and 9. Usng (7) we fnd δ(x) = 2x + 2 and copute δ(1) = 4, whch s the equed value. Reaks: 1) Constucton 1 s a dect extenson of the classcal Reed-Soloon codes n that both ae evaluatons of soe polynoals defned by the essage vecto. Ou constucton also educes to Reed-Soloon codes f s taken to be k. Note that f = k then each coeffcent polynoal (5) s a constant, and theefoe the code constucton does not eque a good polynoal. Fo the sae eason, the set A fo RS codes can be an abtay subset of F q, whle the localty condton fo < k poses a estcton on the choce of the locatons. 2) Note that f the coodnates of the vecto a ae ndexed as a = (a 0,..., a k 1 ) then the encodng polynoal n (4) can be also wtten as k+ k 2 a g(x) +1 x od(+1). (10) =0 = od(+1) To see ths, put n (5) a = a +j(+1), = 0,..., 1; j = 0,..., k 1, and obseve that k+ k 2 +1 = k 1, and that thee ae k/ 1 nubes n the set {0, 1,..., k+(k/) 2} equal to odulo ) In Constucton 1 we assued that dvdes k; howeve, ths constant can be easly lfted. Indeed, suppose that does not dvde k and defne the coeffcent polynoal f n (5) as follows: whee f (x) = s(k,,) a j g(x) j, j=0 = 0, 1,..., 1, { k s(k,, ) = < k od k 1 k od. It s easy to see that the coeffcent polynoals ae defned by the k nfoaton sybols, and the esultng encodng polynoal f a has degee at ost k+ k/ 2. The eanng pats of the constucton ae unchanged. B. Constuctng optal LRC codes usng algebac stuctue of the feld The an coponent of Constucton 1 s fndng a good polynoal g(x) togethe wth the coespondng patton of the subset A of the feld. In ths secton we show how to constuct g(x) usng the ultplcatve and addtve goups of F q. The ultplcatve goup F q s cyclc, and the addtve goup F + q s soophc to a dect poduct of l copes of the addtve goup Z + p, whee q = pl and p s the chaactestc of the feld. The followng obvous poposton constucts a good polynoal fo any subgoup of F q o F+ q. Poposton 3.2: Let H be a subgoup of F q o F + q. The annhlato polynoal of the subgoup g(x) = (x h) (11) h H s constant on each coset of H. Poof: Assue that H s a ultplcatve subgoup and let a, ah be two eleents of the coset ah, whee h H, then g(ah) = h H (ah h) =h H (a hh 1 ) h H = (a h) h H =g(a). The poof fo addtve subgoups s copletely analogous. Reak: If H s a ultplcatve subgoup of F q, then g(x) n (11) can be wtten as g(x) = x H 1. Equvalently, we can take g(x) = x H. Thus annhlatos of subgoups fo a class of good polynoals that can be used to constuct optal codes. The patton A s a unon of cosets of H, so the code length n can be any ultple of +1 satsfyng n q 1 (o n q n the case

5 5 of the addtve goup). Snce the sze of the subgoup dvdes the sze of the goup we get that q od(+1) s 1 (o 0). The paaetes of LRC codes constucted usng subgoups ae natually estcted by the possble sze of the subgoups. Note that Exaple 1 s constucted usng the ultplcatve subgoup H = {1, 3, 9} of the feld F 13, and the annhlato s g(x) = x 3 1. In the exaple we used anothe good polynoal, g(x) = x 3. Exaple 2: In ths exaple we constuct an optal (12, 6, 3) LRC code wth nu dstance d = 6 ove F 13. Note that 5 s an ( + 1) = 4-th oot of unty odulo 13, theefoe the polynoal g(x) = x 4 s constant on the cosets of the cyclc goup H = {1, 5, 12, 8} geneated by 5. Note that the polynoal g constucted n Poposton 3.2 s n fact g(x) = x 4 1, whle we use the polynoal g(x) = x 4. Snce the polynoals 1, x 4 1 span the sae subspace as the polynoals 1, x 4, the esultng codes ae equvalent. The goup H gves se to the patton of F13 { A = A 1 = {1, 5, 12, 8}, } A 2 = {2, 10, 11, 3}, A 3 = {4, 7, 9, 6}. Fo the nfoaton vecto (a 0, a 1, a 2, a 4, a 5, a 6 ) defne the encodng polynoal (10) 6 =3 a x = f 0 (x)+ f 1 (x)x+ f 2 (x)x 2 wth coeffcent polynoals equal to f 0 (x) = a 0 + a 4 x 4, f 1 (x) = a 1 + a 5 x 4, f 2 (x) = a 2 + a 6 x 4. The coespondng codewod s obtaned by evaluatng f a (x) fo all the ponts x F 13. Exaple 3: In ths exaple we constuct an optal LRC code usng the addtve goup of the feld. Let α be a ptve eleent of the feld F 2 4 and take the addtve subgoup H = {x+yα : x, y F 2 }. The polynoal g(x) n (11) equals g(x) = x(x+1)(x+α)(x+α+1) = x 4 +(α 2 + α+1)x 2 +(α 2 + α)x. We wll constuct an optal (12, 6, 3) LRC code wth dstance d = 6. Fo = 0, 1, 2 defne the coeffcent polynoals f (x) = a,0 + a,1 g(x), usng the nfoaton vecto a = (a,j ) and = 0, 1, 2, j = 0, 1. The subgoup H s of ode 4, hence n ode to have 12 evaluaton ponts, we choose any 3 cosets of H out of ts 4 cosets, and evaluate the encodng polynoal f 2 (x)x 2 + f 1 (x)x+ f 0 (x) at the eleents of these cosets. Theoe 3.1 ples that the esultng code has the claed popetes. Copang ths code wth a (12, 6) MDS code, we note that both codes can be defned ove F 2 4, howeve by educng the nu dstance fo 7 to 6 we anaged to educe the localty by a facto of two, fo 6 to 3. The addtve and the ultplcatve stuctues of the feld can be cobned nto a oe geneal ethod of constuctng good polynoals. Fo two subsets H, G F q, we say that H s closed unde ultplcaton by G, f ultplyng eleents of H by eleents of G does not take the esult outsde H,.e., f {hg : h H, g G} H. Theoe 3.3: Let l, s, be nteges such that l dvdes s, p l od = 1, and p s a pe. Let H be an addtve subgoup of the feld F p s that s closed unde the ultplcaton by the feld F p l, and let α 1,..., α be the -th degee oots of unty n F p s. Then fo any b F p s the polynoal g(x) = =1 h H (x+h+α ) (12) s constant on the unon of cosets of H, 1 H+bα, and the sze of ths unon satsfes { H f b H 1 H+bα = H f b / H. Poof: Let h H and let h+bα j be an abtay eleent, then g(h+bα j ) = = =1 h H =1 h H = α H j = = =1 h H =1 h H = g(b), (h+bα j + h+α ) (bα j + h+α ) =1 h H (b+hα 1 (b+hα 1 j + α ) (b+h+α ) j + α α 1 j ) whee we have ade changes of the vaables and used the assupton that H s closed unde ultplcaton by any -th degee oot of unty, snce t s closed ultplcaton by F p l. Fo the last pat egadng the sze of the unon of the cosets, consde two dstnct -th oots of unty α, α j, then H+ bα = H+bα j b(α α j ) H b H, whee the last step follows snce α α j s a nonzeo eleent of F p l and H closed unde ultplcaton by the eleents of F p l. Reaks: 1) In ode to constuct a good polynoal usng Theoe 3.3, one needs to fnd an addtve subgoup H of F p s that s closed unde ultplcaton by F p l. Note that snce l dvdes s, the feld F p s can be vewed as a vecto space of denson s/l ove the feld F p l. Theefoe any subspace H of denson 1 t s/l s n fact an addtve subgoup of the feld F p s that s closed unde ultplcaton by F p l, and s of sze H = (p l ) t = p tl. 2) Snce the degee of the polynoal g(x) n (12) s H, t s clea that t takes dstnct values on dffeent sets

6 6 of the fo U = H + bα. In othe wods, g(x) pattons F p s nto (p s H )/ H sets of sze H and one set of sze H, accodng to the values taken on the eleents of the feld. Hence, ove the feld of sze p s, one can constuct an optal LRC code of length n p s such that H dvdes n. Assue that one wants to constuct an LRC code ove a feld of a specfc chaactestc p, e.g., p = 2, then Theoe 3.3 gves a flexble ethod of constuctng good polynoals fo a lage set of paaetes. Moe specfcally, let be an ntege not dvsble by p, and let l be the sallest ntege such that p l od = 1 (note that l φ(), whee φ( ) s Eule s totent functon). Then s t possble to constuct a good polynoal that s constant on sets of sze p t fo any ntege t whch s a ultple of l. Exaple 4: Suppose that p = 7 and the code paaetes ae (n = 28, = 13). To constuct an optal LRC code we need to constuct a polynoal g(x) that s constant on two dsjont sets of sze +1 = 14 ove soe extenson of F 7. Wte 14 = 2 7 then = 2, l = 1, oeove, usng Theoe 3.3 one can constuct the desed good polynoal ove the feld F 7 2. Moe pecsely, followng Reak (2) above, the polynoal g(x) pattons the feld of sze 49 nto 3 sets of sze 14 and one set of sze 7. Hence n ode to constuct a code of length n = 28 one can choose any two out of the thee sets of sze 14. Note that the denson of the code can take any value k n/(+ 1) = 26. Let us suaze the constuctons of good polynoals dependng on the value of the paaetes. Suppose that we would lke to constuct a good polynoal ove a feld extenson of F p that s constant on dsjont subsets of ponts of sze p t, whee and p ae cope, then 1) If t = 0, one can use ultplcatve subgoups of soe feld extenson F p l that satsfes p l od = 1; 2) If t > 0 and = 1, one can ely on addtve subgoups; 3) If t, > 1 and t s a ultple of l, whee l s the sallest ntege such that p l od = 1, the constucton s accoplshed by cobnng the addtve and ultplcatve stuctues of the feld as n Theoe 3.3. Thee s one case whee we ae not able to constuct good polynoals. Fo exaple, usng the technque dscussed above t s not possble to constuct a code wth localty = 5 ove any extenson of the feld F 2. Ths follows snce the sze of the set s +1 = 5+1 = 3 2, hence = 3 and l = 2 s the sallest ntege such that 2 l od 3 = 1, howeve t = 1 s not a ultple of l = 2. On the othe hand, a sple countng aguent shows that good polynoals exst also fo ths unesolved case f the feld F q s lage enough. Poposton 3.4: Let F q be the fnte feld of sze q. Thee exsts a good polynoal of degee + 1 that s constant on at least ( q +1 )/q sets of sze + 1. Poof: Consde the set M q, = { f F q [x] : f = +1 =1 (x α )}, whee α, = 1,..., + 1 vay ove all ( q +1 ) possble choces of subsets of the feld of sze + 1. In othe wods, M q, s the set of all onc polynoals of degee + 1 n F q [x] that also have + 1 dstnct zeos n F q. We say that two polynoals f(x) = x +1 + a x, g(x) M q,, ae equvalent f they dffe by a constant. Clealy ths s an equvalence elaton on M q,, and the nube of equvalence classes s at ost q accodng to the nube of choces of -tuples of the coeffcents a 1,..., a. Hence thee exsts an equvalence class of sze at least ( q +1 )/q. Let f be a epesentatve of ths class, and note that t s constant on the set of zeos of any othe polynoal g fo ths class. We conclude that f s a good polynoal that s constant on sets of sze +1, and the nube of sets s at least ( q +1 )/q. When q s lage enough, e.g., q > n(+1), the quantty ( q +1 )/q exceeds n/( + 1) whch s the desed nube of sets fo the constucton. Fo nstance, takng q = 2 11, we obseve that thee exsts a polynoal g F q [x] of degee +1 = 6 that s constant on at least 3 dsjont sets of sze ( 6. Indeed, we fnd that ) Usng Constucton 1 (2 11 ) 5 and the polynoal g, we can constuct an optal LRC code ove F q of length n = 18, localty = 5 and any denson k 15. C. A geneal vew of the LRC code faly In ths secton we study the appng fo the set of polynoals of the fo (4) to F n, genealzng the code constucton pesented above. Let A F, and let A be a patton of A nto sets A. Consde the set of polynoals F A [x] of degee less than A that ae constant on the blocks of the patton: F A [x] = { f F[x] : f s constant on A, = 1,..., ; deg f < A }. (13) The annhlato of A s the sallest-degee onc polynoal h such that h(a) = 0 f a A,.e., h(x) = a A (x a). Obseve that the set F A [x] wth the usual addton and ultplcaton odulo h(x) becoes a coutatve algeba wth dentty. Snce the polynoals F A [x] ae constant on the sets of A, we wte f(a ) to efe to the value of the polynoal f on the set A A. We wll also use a shot notaton fo ultplcaton of polynoals, wtng f g nstead of f g od h. The next poposton lsts soe popetes of the algeba. Poposton 3.5: 1) Let f F A [x] be a nonconstant polynoal, then ax A deg( f) < A ; 2) The denson d(f A [x]) =, and the polynoals f 1,..., f that satsfy f (A j ) = δ,j and deg( f ) < A, fo a bass (hee δ,j s the Konecke delta). Explctly, f (x) = a A b A\a x b a b. (14) 3) Let α 1,..., α be dstnct nonzeo eleents of F, and let g be the polynoal of degee deg(g) < A that satsfes g(a ) = α fo all = 1,...,,.e., g(x) = α =1 a A b A\a x b a b.

7 7 Then the polynoals 1, g,..., g 1 fo a bass of F A [x]. 4) Thee exst nteges 0 = d 0 < d 1 <... < d 1 < A such that the degee of each polynoal n F A [x] s d fo soe. Poof: (1) Fo a polynoal f F A [x], and a set A A, the polynoal f(x) f(a ) has at least A zeos n F, and theefoe deg( f) A. (2) The polynoals f 1,..., f defned n (14) ae clealy lnealy ndependent snce f fo soe λ s n the feld, then fo any j = 1,..., λ f (x) = 0, =1 λ f (A j ) = λ δ,j = λ j = 0. =1 =1 By defnton, the polynoals f 1,..., f span F A [x]. (3) Because of pat (2) t s suffcent to show that the polynoals 1, g,..., g 1 ae lnealy ndependent. Assue that fo soe β j s n F, β j g j 1 (x) = 0. (15) j=1 Defne the atx V = (v,j ) whee v,j = (g j 1 (A )). Fo (15) we conclude that V (β 1,..., β ) T = 0, howeve V s a Vandeonde atx defned by dstnct nonzeo eleents of the feld, theefoe t s nvetble, and β = 0 fo all. (4) Let f 0,..., f 1 be a bass fo the algeba F A [x]. W.l.o.g. we can assue that the degees of the polynoals ae all dstnct, snce f ths s not the case, one can easly fnd such bass by usng lnea opeatons on the f s. Fo ths, consde an A atx whose ows ae foed by the coeffcent vectos of the polynoals f. The ows of the educed ow-echelon fo of ths atx coespond to a bass of polynoals of dstnct degees. Let d = deg( f ), and assue that d 0 < d 1 <... < d 1. Snce the constant polynoals ae contaned n the algeba, d 0 = 0, and the esult follows. Next we consde a specal case of an algeba geneated by a set A of sze n, assung that the patton satsfes A = + 1 fo all. Coollay 3.6: Assue that d 1 = +1, naely thee exsts a polynoal g n F A [x] of degee + 1, then d = (+1) fo all = 0,..., 1, and the polynoals 1, g,..., g 1 defned n Poposton 3.5 pat (3), fo a bass fo F A [x]. Poof: If thee exsts such a polynoal g, then clealy t takes dstnct values on dstnct sets of the patton A. Othewse fo soe constant c F, the polynoal g c has at least 2(+1) oots, and s of degee + 1, whch s a contadcton. Hence, by Poposton 3.5, pat (3) the powes of g fo a bass of the algeba, and the esult follows. Note that the algeba F A [x] n Constucton 1 contans a good polynoal of degee + 1, satsfyng the assuptons of Coollay 3.6, and theefoe F A [x] s geneated by the powes of ths polynoal. Next let us use the popetes of the algeba of polynoals defned by the patton A to constuct (n, k, ) LRC codes. Constucton 2: Let A F, A = n and let A be a patton of the set A nto = +1 n sets of sze + 1. Let Φ be an njectve appng fo F k to the space of polynoals F A = 1 F A[x]x. (Note that FA s ndeed a dect su of the spaces, so d(fa ) =. Theefoe such an njectve appng exsts ff k = n/(+ 1)). The appng Φ sends the set of essages F k to a set of encodng polynoals. We constuct a code by evaluatng the polynoals f Φ(F k ) at the ponts of A. If Φ s a lnea appng, then the esultng code s also lnea. Ths constucton eles on an abtay appng Φ : F k FA. It fos a genealzaton of Constucton 1 whch used a patcula lnea appng fo the sae pupose. Below we wte f a (x) := Φ(a). Theoe 3.7: Constucton 2 gves an (n, k, ) LRC code wth nu dstance d satsfyng d n ax a,b F k deg( f a f b ) n ax a F k deg( f a ). (16) Poof: To pove local ecoveablty, we bascally epeat the poof of Theoe 3.1. Fo a gven essage vecto a let 1 f (x)x, (17) whee the coeffcent polynoals f (x) satsfy f F A [x]. Choose j {1...., } and suppose that the sybol to be ecoveed s f a (α), whee α A j. Defne the decodng polynoal 1 δ(x) = f (α)x (18) and note that δ(α) = f a (α) on account of (17), (18). Snce f belongs to F A [x], fo any β n A j we have f a (β) = δ(β). Moeove, snce δ(x) s of degee at ost 1, t can be ntepolated by accessng the values of f a (β) = δ(β) fo β n A j \α. We conclude that the value of the lost sybol f a (α) can be found by accessng the eanng sybols n the block A j. It eans to pove (16). Let ( f a (α)) α A, ( f b (α)) α A be two codewods constucted fo dstnct essage vectos a and b. Snce Φ s njectve and deg( f a f b ) < n, the code vectos that coespond to f a and f b ae dstnct. Then (16) s edate. D. Systeatc encodng of LRC codes In pleentatons t s pefeable to have a systeatc fo of LRC codes n ode to easly eteve the stoed nfoaton. We note that all the constuctons descbed above can be odfed to yeld systeatc codes wth no loss n the code dstance, by odfyng the encodng polynoals (4), (17). In patcula Constucton 1 can be odfed to gve optal

8 8 LRC codes n a systeatc fo. Such a odfcaton s befly descbed n ths secton. Let A = {A 1,..., A }, = n/(+ 1) be a patton of the set A F of sze n nto sets of sze + 1. Fo = 1,..., k/ let B = {β,1,..., β, } be soe subset of A of sze. In ou systeatc encodng the essage sybols wll be wtten n the coodnates wth locatons n the sets B. Recall that the algeba F A [x] has a bass of polynoals f that satsfy f (A j ) = δ,j fo, j = 1,..., (14). Fo each set B defne polynoals φ,j, j = 1,..., of degee less than such that φ,j (β,l ) = δ j,l. These polynoals can be easly found usng Lagange s ntepolaton. Fo k nfoaton sybols a = (a,j ), = 1,..., k/; j = 1,..., defne the encodng polynoal k/ ( ) f (x) a,j φ,j (x). (19) =1 j=1 The encodng of the essage a s defned by coputng the vecto ( f a (α), α A), see (6). It s easly vefed that f a FA, so each sybol has localty. Futheoe, by defnton we have f a (β,j ) = a,j, = 1,..., k/; j = 1,...,, so the code s ndeed systeatc. Although (19) gves a systeatc (n, k, ) LRC code, optalty of the nu dstance s geneally not guaanteed. Ths follows snce the best bound on the degee of the encodng polynoal f a (x) s deg( f a ) < n. If the algeba F A [x] s geneated by the powes of a good polynoal g (see Poposton 3.5, pat (3)) then t s possble to constuct an optal systeatc LRC code. Indeed, one has to eplace each polynoal f n (19) wth the polynoal f that s a lnea cobnaton of the polynoals 1, g,..., g (k/) 1 and satsfes f (A j ) = δ,j fo all j = 1,..., k/. Ths s possble snce the atx V = (g j 1 (A )) s a Vandeonde atx and thus nvetble. Clealy the degee of each f s at ost ((k/) 1)(+1). Theefoe the degee of f a (x) s at ost k+(k/) 2, and optalty of the dstance follows. IV. LRC CODES WITH MULTIPLE RECOVERING SETS In ths secton we extend the ognal local ecoveablty poble n one oe decton, equng each sybol to have oe than one ecoveng set of sybols. Havng n nd the appled natue of the poble, we wll assue that the dffeent ecoveng sets fo the gven sybol ae dsjont. Indeed, n dstbuted stoage applcatons thee ae subsets of the data that ae accessed oe often than the eanng contents (they ae teed hot data ). In the case that such segents ae accessed sultaneously by any uses of the syste, the dsjontness popety ensues that ultple ead equests can be satsfed concuently and wth no delays. Let us gve a foal defnton. Let F be a fnte feld. A code C F n s sad to be locally ecoveable wth t ecoveng sets (an LRC(t) code) f fo evey {1,..., n} thee exst dsjont subsets A,j [n]\, j = 1,..., t of sze 1,..., t espectvely, such that fo any codewod x C, the value of the sybol x s a functon of each of the subsets of sybols {x l, l A,j }, j = 1,..., t. We wte (n, k,{ 1,..., t }) LRC code to efe to an LRC(t) code of denson k, length n, and t dsjont ecoveng sets of sze, = 1,..., t. We wll pesent two ethods of constuctng LRC codes wth ultple ecoveng sets, both elyng on the constucton of the pevous secton. The fst ethod eles on the cobnatoal concept of othogonal pattons, extendng the basc constucton to ultple ecoveng sets. The second ethod uses the constucton of poduct codes and gaph codes to cobne seveal LRC codes nto a longe ultple ecoveng code. Fo splcty of pesentaton we wll estct ouselves to codes wth two ecoveng sets, although both constuctons clealy apply fo any nube of ecoveng sets. A. Algebac LRC codes wth ultple ecoveng sets In ths secton we pesent a constucton of LRC codes wth ultple dsjont ecoveng sets that develops the ethod of Sect. III. As n the case fo sngle ecoveng set, the constucton wll utlze the addtve and ultplcatve stuctue of the feld. Let A F, A = n and let A (espectvely, A ) be a patton of A nto dsjont sets of sze + 1 (esp., (s+1)). Defne two subspaces of polynoals F A = 1 F A[x]x and F s A = s 1 F A [x]x, (20) whee the notaton F A [x] s defned n (13). Clealy d(fa ) = n + 1, d(f A s ) = s n s+1. Fo an ntege let P be the space of polynoals of degee less than, and defne V = F A F s A P (21) to be the space of polynoals of degee less than that also belong to F A and F s A. Constucton 3: Let A,A 1,A 2 be as above. Assue that d(f A F s A ) k and let be the sallest ntege such that d(v ) = k. Let Φ : F k V be an njectve appng. Fo splcty we assue that ths appng s lnea,.e., thee exsts a polynoal bass g 0,..., g k 1 of V such that Φ(a) = k 1 a g (x). Denote by Φ(a) the encodng polynoal fo the vecto a. Constuct the code as the age of F k unde the evaluaton ap slaly to (6). Call pattons A 1 and A 2 othogonal f X Y 1 fo all X A 1, Y A 2. If the pattons A 1 and A 2 ae othogonal, then evey sybol of the code constucted above has two dsjont ecoveng sets of sze and s, espectvely.

9 9 Theoe 4.1: Assue that the pattons n Constucton 3 ae othogonal. Then ths constucton gves an (n, k,{, s}) LRC code C wth dstance at least n +1. Poof: The cla about the dstance s obvous fo the constucton (t apples even f the appng Φ s nonlnea). The local ecoveablty cla s poved as follows. Snce the encodng polynoal f a s n FA, thee exst polynoals f 0,..., f 1 n F A [x] such that 1 f (x)x. Now we can efe to Theoe 3.7. Usng the aguents n ts poof, evey sybol of the codewod can be ecoveed by accessng the sybols fo the block of the patton A that contans t, as well as by accessng the s sybols fo the coespondng block of the patton A. The esult follows. In the followng exaple we wll constuct an LRC(2) code usng Constucton 3 and two othogonal pattons. Exaple 5: Let F = F 13, A = F\{0}, and let A and A be the othogonal pattons defned by the cosets of the ultplcatve cyclc goups geneated by 5 and 3, espectvely. We have A = {{1, 5, 12, 8},{2, 10, 11, 3},{4, 7, 9, 6}} A = {{1, 3, 9},{2, 6, 5},{4, 12, 10},{7, 8, 11}}. (22) Snce A = 3, by Poposton 3.5, d(f A [x]) = 3, and slaly, d(f A [x]) = 4. It s easy to check that F A [x] = 1, x 4, x 8, F A [x] = 1, x 3, x 6, x 9. Moeove by (20) F A F s A = 1, x, x2, x 4, x 5, x 6, x 8, x 9, x 10 Let = 7, then 1, x, x 3, x 4, x 6, x 7, x 9, x 10 = 1, x, x 4, x 6, x 9, x 10. (23) V = 1, x, x 4, x 6. (24) We wll constuct a (12, 4,{2, 3}) LRC code wth dstance d 6. By Constucton 3 and (24), fo a vecto a = (a 0, a 1, a 2, a 3 ) F 4 the encodng polynoal s a 0 + a 1 x+a 2 x 4 + a 3 x 6. Ths polynoal can be wtten as 2 f (x)x, whee f 0 (x) = a 0 + a 2 x 4, f 1 (x) = a 1, f 2 (x) = a 3 x 4, and each f F A [x]. The sae polynoal can also be wtten as 1 g (x)x whee g 0 (x) = a 0 + a 3 x 6, g 1 (x) = a 1 + a 2 x 3, and g 0, g 1 F A [x]. Assue that one would lke to ecove the value of the codewod sybol f a (1). Ths can be done n two ways as follows: (1) Use the set n the patton A that contans 1,.e., {1, 5, 12, 8}, fnd the polynoal δ(x) of degee at ost 2 such that δ(5) = f a (5), δ(12) = f a (12) and δ(8) = f a (8). The sybol f a (1) s found as f a (1) = δ(1); o (2) Use the set {1, 3, 9} A, whch also contans 1, fnd the polynoal δ 1 (x) of degee at ost 1 such that δ 1 (3) = f a (3), δ 1 (9) = f a (9). The sybol f a (1) s found as f a (1) = δ 1 (1). Fnally, snce deg f a 6 fo all a F k, we edately obseve that d(c) 6. As obseved above, othogonalty of the pattons s a desable popety n the context of sultaneous data ecovey by dffeent uses. In (22) we constucted othogonal pattons usng cosets of two dstnct subgoups of the feld F. Of couse, not evey pa of subgoups has ths popety. It s easy to dentfy a necessay and suffcent condton fo the subgoups to geneate othogonal pattons. Poposton 4.2: Let H and G be two subgoups of soe goup, then the coset pattons H and G defned by H and G espectvely ae othogonal ff the subgoups ntesect tvally, naely H G = 1. If the goup X s cyclc, then t s equvalent to equng that gcd( H, G ) = 1. Poof: Two dstnct eleents x, y n the goup ae n the sae cosets n the pattons H and G ff Hx = Hy and Gx = Gy, whch s equvalent to xy 1 H G and xy 1 = 1, and the fst pat follows. Now assue that the goup s cyclc (e.g. the ultplcatve goup of a fnte feld), and let h = H and g = G. Eleents x, y belong to the sae coset n the pattons H and G ff the eleent xy 1 s both an h-th and g-th oot of unty. Ths happens f and only f the ode od(xy 1 ) dvdes both h and g, o equvalently that od(xy 1 ) gcd(h, g). Snce x = y, the ode od(xy 1 ) > 1, hence gcd(h, g) = 1, whch poves the second pat. In the context of fnte felds we can use both the ultplcatve goup (as n the above exaple) and the addtve goup of the feld to constuct LRC(t) code. Exaple 6: In applcatons t s often useful to have codes ove a feld of chaactestc 2, e.g., ove the feld F 16. We have F + 16 = F + 4 F+ 4, and the two copes of F+ 4 n F 16 ntesect only by the zeo eleent, hence by Poposton 4.2 they geneate two othogonal pattons. Usng Constucton 3, one can constuct an LRC code of length 16 wth two dsjont ecoveng sets fo each sybol, each of sze 3. The denson of the code can be any ntege k 8. Snce the addtve goup of the feld s a dect poduct of salle goups, t s easy to fnd subgoups that ntesect tvally, gvng se to othogonal pattons of F q. These pattons can be used to constuct LRC(2) codes wth dsjont ecoveng sets, as n the pevous exaple. At the sae te, constuctng LRC(2) codes fo a ultplcatve subgoup of F q, q = p l eques one exta

10 10 condton, naely, that q 1 s not a powe of a pe. In ths case, we can fnd two subgoups of F q of cope odes, whch gve se to othogonal pattons of F q. Poposton 4.3: Let F q be a fnte feld such that the q 1 s not a powe of a pe. Let, s > 1, gcd(, s) = 1 be two factos of q 1. Then thee exsts an LRC(2) code C of length q 1 ove F q such that evey code sybol has two dsjont ecoveng sets of szes 1 and s 1. The code C can be constucted usng Constucton 3 based on the subgoups of F q of odes and s. One suffcent condton fo the exstence of subgoups of cope odes n the ultplcatve goup of F p l s that l tself s not a powe of a pe. Indeed, let l = ab, whee a b and a does not dvde b. In ths case both (p a 1) (p l 1) and (p b 1) (p l 1). Then p l 1 s not a powe of a pe, because othewse (p a 1) (p b 1),.e., a b. Exaple 7: Usng Constucton 3 and the pevous obsevaton, one can constuct an LRC(2) code of length = 63, n whch evey sybol has two dsjont ecoveng sets of sze 2 and 6, espectvely. Ths s done usng the othogonal pattons deved fo the subgoups of sze 3 and 7. LRC codes wth ultple dsjont ecoveng sets ae lkely to have lage nu dstance snce each eased sybol can be ecoveed n seveal ways, so the code s eslent aganst any easues. In the followng stateent we quantfy ths aguent by establshng a lowe bound on the dstance n tes of the nube of ecoveng sets fo each sybol. The next theoe apples to any class of LRC(t) codes such that the ecoveng sets fo the sybols fo t utually othogonal pattons. Theoe 4.4: Let C be an LRC(t) code of length n, and suppose that the ecoveng sets ae gven by utually othogonal pattons A 1,...,A t of [n]. Let be the sallest postve ntege that satsfes ( ) t f(), (25) 2 whee { 2, even f() = +3 2, odd. Then the dstance of C s at least. The poof eles on the followng lea. Lea 4.5: Let A 1,...,A t be t utually othogonal pattons of a fnte set A, and let be defned n (25). Then fo any B A, B < thee exsts a subset C n soe patton A, = 1,..., t such that B C = 1. Poof: By defnton of, fo any ntege s < ( ) s t f(s) >. (26) 2 Assue towad a contadcton that the stateent s false, then fo evey = 1,..., t and any eleent x B, thee exsts y B such that x, y belong to the sae set n the patton A. Fo a pattona defne the gaph G wth the eleents of B as ts vetces, and daw an edge between x and y ff they ae n the sae set n the patton A. By the assupton, the degee of evey vetex of G s at least one. If s = B s even then thee ae at least s/2 edges n G. If s s odd, then G contans at least one tangle, and so thee ae at least (s 3)/2+3 = (s+3)/2 edges n t. Notce that snce the pattons ae utually othogonal, thee ae no edges that ae contaned n oe than one gaph G. Theefoe t f(s) t E(G ) = t =1 E(G ) =1 ( s 2 ), whch s a contadcton to (26). Poof of Theoe 4.4: In ode to pove that d(c) we wll show that any 1 eased sybols n the codewod can be ecoveed. Let B be the set of 1 eased coodnates. By Lea 4.5 thee exsts a set C n soe patton A such that B C = { 1 }, whee 1 [n] s soe coodnate. Snce no othe coodnates n the set C ae eased, ths pets us to ecove the value of the sybol n the coodnate 1 by accessng the sybols n the set C\{ 1 }. Ths educes the count of easues by 1, leavng us wth the set of easues of cadnalty 2. Lea 4.5 apples to t, enablng us to coect one oe easue, and so on. Let us show that Theoe 4.4 can soetes povde a bette bound on the nu dstance copaed to the degee estate. Exaple 8: Consde an(n = 12, k = 6,{ 1 = 2, 2 = 3}) LRC code C ove F 13 obtaned usng Constucton 3, the pattons n (22), and the coespondng algebas F A [x], F A [x]. Usng (25) n Theoe 4.4 we fnd that the dstance of C s at least 4. By (23) the set {1, x, x 4, x 6, x 9, x 10 } fos a bass of the space of encodng polynoals. Gven a essage vecto a = (a 0, a 1, a 4, a 6, a 9, a 10 ) F 6, wte the encodng polynoal as a 0 + a 1 x+a 4 x 4 + a 6 x 6 + a 9 x 9 + a 10 x 10. To fnd the codewod, evaluate the polynoal at all nonzeo eleents of the feld F 13. Assue that the value f a (2) s eased and needs to be ecoveed. Ths can be done n two ways: (1) Wte the encodng polynoal as follows (a 0 + a 4 x 4 )+ x(a 1 + a 9 x 8 )+x 2 (a 6 x 4 + a 10 x 8 ) = g 0 + g 1 (x)x+g 2 (x)x 2, whee g 0 = a 0 + a 4 x 4, g 1 (x) = a 1 + a 9 x 8, g 2 (x) = a 6 x 4 + a 10 x 8, and g F A [x], = 1, 2, 3. The sybol f a (2) can be found fo the values of f a (10), f a (11), f a (3). (2) Wte the encodng polynoal as follows (a 0 + a 6 x 6 + a 9 x 9 )+ x(a 1 + a 4 x 3 + a 10 x 9 ) = f 0 (x)+ x f 1 (x), whee f 0 (x) = a 0 + a 6 x 6 + a 9 x 9 and f 1 (x) = a 1 + a 4 x 3 + a 10 x 9, and f 0, f 1 F A [x]. The sybol f a (2) can be found fo the values of f a (5), f a (6).

11 11 Snce the polynoal f a n ths exaple can be of degee 10, boundng the codewod weght by the degee would only gve the estate d(c) 2. Reak: As dscussed above, an obvous soluton to the ult-ecovey poble s gven by epeatng each sybol of the data seveal tes. An advantage of ths s hgh avalablty of data: Naely, a ead equest of a data fagent located on an unavalable o oveloaded (hot) node can be easly satsfed by accessng the othe eplcas of the data. The LRC(2) code C constucted n the above exaple can be a good canddate to eplace the epetton code, wth alost no exta cost. Indeed, both the (12, 6) LRC(2) code C and the (18, 6) thee-fold epetton code encode 6 nfoaton sybols, howeve the encodng C entals a 100% ovehead copaed to a 200% ovehead n the case of epetton. The code C s eslent to any 3 easues whle the epetton code can fal to ecove the data f all the 3 copes of the sae fagent ae lost. At the sae te, the code C uses subsets of szes 2 and 3 to calculate the value of the sybol whle the epetton code n the sae stuaton uses two subsets of sze 1. Thus, the educton of the ovehead s attaned at the expense of a sall aount of added coputaton. In the fnal pat of ths secton we deve a bound on the dstance of the constucted codes confnng ouselves to the basc case of the (n, k,{, }) code. Ths s accoplshed by estatng the denson of the subspace V defned n (21) and then usng Theoe 4.1. Lea 4.6: Let A be a set of sze n, and assue that A and A ae two othogonal pattons of A nto subsets of sze + 1. Suppose that thee exst polynoals g and g of degee + 1 that ae constant on the blocks of A and A, espectvely. Then the denson of the space V (21) s at least ( 1)/(+1). Poof: Recall the space of polynoals FA defned n (20). Let t = n/(+1) and note that the bass of ths subspace s gven by the polynoals g x j, = 0,..., t 1, j = 0,..., 1. Next we ague that { P = (FA P ) Span x j(+1) 1 }, j = 1,...,, +1 so Thus, fo any ntege, = d(fa P ) d(f A P ) + 1 and the sae bound holds f A on the pevous lne s eplaced wth A. Then we obtan d(p ) = d((fa P )+(FA P )) d(f A F A P ) (cf. (21)). Solvng fo the denson of the subspace FA FA P = V, we obtan the claed estate. Now suppose we have an (n, k,{, }) LRC code desgned usng Constucton 3. Choosng = k(+1) 1 we obseve that the denson of V s at least k. Theefoe, fo Theoe 4.1 the dstance of the code satsfes the nequalty ( k(+1) ) 2k d n 1 = n k + 1. (27) 1 1 Reak: Whle the pape was n evew, a new bound on codes wth ultple ecoveng sets was poved n [28]. Usng ths esult, we obtan the followng nequaltes fo the dstance d of an (n, k,{, }) code: 2k k 1 k 1 n k + 1 d n k B. LRC Poduct Codes Gven a set of t LRC codes, one can constuct an LRC(t) code by takng a poduct of the coespondng lnea subspaces. Agan fo splcty we confne ouselves to the case of t = 2. Constucton 4: We constuct an (n, k,{ 1, 2 }) LRC code wth n = n 1 n 2, k = k 1 k 2 by cobnng two LRC codes wth the paaetes (n, k, ), = 1, 2 obtaned by Constucton 2. Suppose that the codes C 1 and C 2 ae lnea, and wee constucted usng lnea njectve appngs Φ and evaluatng sets A F, = 1, 2. Defne the lnea appng Φ = Φ 1 Φ 2 : F k 1k F A 1 [x]x 2 1 j=0 F A 2 [y]y j, whch s the tenso poduct of the appngs Φ. Defne the encodng polynoal fo a F k 1k 2 to be f a (x, y) = Φ(a). The code s the age of F k unde the evaluaton ap appled on the set of pas A 1 A 2. The followng sple poposton suazes the popetes of ths constucton. Poposton 4.7: Let C F n be an (n, k, ) LRC code wth nu dstance d, = 1, 2. Constucton 4 yelds an LRC(2) code wth the paaetes (n = n 1 n 2, k = k 1 k 2,{ 1, 2 }) and dstance d = d 1 d 2. Poof: Denote by A = j 1 A () j the pattons of the evaluaton sets used n constuctng the codes C, = 1, 2 (efe to Constucton 2). Let a F k and let the coespondng encodng polynoal be f a (x, y). Suppose that, fo soe pont (x 0, y 0 ) A 1 A 2 we would lke to copute n two ways the value of f a (x 0, y 0 ) by accessng 1 and 2 sybols, espectvely. Obseve that the unvaate polynoal f a (x, y 0 ) s contaned n 1 1 F A 1 [x]x, and theefoe f a (x 0, y 0 ) can be found fo the sybols n the set { f a (α, y 0 ), α A (1) \x 0 }, whee A (1) A 1 s the set that contans x 0. Slaly f a (x 0, y 0 ) can be ecoveed usng the polynoal f a (x 0, y) and the sybols n the set { f a (x 0, β), β A (2) l \y 0 }, whee A (2) A 2 s the set that contans y 0. Hence, the sybol l f a (x 0, y 0 ) has two dsjont ecoveng sets of sze 1, 2, and the esult follows. Fo nstance, takng two optal coponent LRC codes C 1 and C 2 wth the paaetes (n, k, ), = 1, 2 we fnd the dstance of the poduct to satsfy ( k1 )( k2 ) d = n 1 k n 2 k (28) 2