[IEEE 2013 IEEE International Symposium on Information Theory (ISIT) - Istanbul, Turkey...

5
2SWLPL]HG 5HOD\5RXWH $VVLJQPHQW IRU $QRQ\PLW\ LQ :LUHOHVV 1HWZRUNV &KRXFKDQJ <DQJ %DVHO $ORPDLU DQG 5DGKD 3RRYHQGUDQ $EVWUDFW²$QRQ\PRXV ZLUHOHVV QHWZRUNV XVH FRYHUW UHOD\V WR SUHYHQW XQDXWKRUL]HG HQWLWLHV IURP GHWHUPLQLQJ FRPPXQLFDWLQJ SDUWLHV WKURXJK WUDI¿F WLPLQJ DQDO\VLV ,Q D PXOWLSDWK DQRQ\PRXV QHWZRUN WKH FKRLFH RI ZKLFK UHOD\ QRGHV VKRXOG EH FRYHUW DV ZHOO DV WKH URXWH VHOHFWLRQ E\ WKH QHWZRUN QRGHV DIIHFW ERWK WKH DQRQ\PLW\ DQG QHWZRUN SHUIRUPDQFH $OWKRXJK DVVLJQLQJ UHOD\V DV FRYHUW DQG VHOHFWLQJ URXWHV FRPSRVHG RI FRYHUW UHOD\V FDQ SURYLGH KLJKHU DQRQ\PLW\ WKH VHOHFWLRQ RI WKHVH WZR SDUDPHWHUV ZLOO LQFUHDVH WKH SDFNHW GURSSLQJ UDWH RI WKH QHWZRUN ,Q WKLV SDSHU ZH LQWURGXFH DQ DQDO\WLFDO IUDPHZRUN IRU MRLQW UHOD\ DVVLJQPHQW DQG URXWH VHOHFWLRQ LQ PXOWLSDWK DQRQ\PRXV ZLUHOHVV QHWZRUNV 7KH PDLQ FRQWULEXWLRQV RI WKLV ZRUN DUH WZRIROG )LUVW ZH VKRZ WKDW MRLQW UHOD\ DVVLJQPHQW DQG URXWH VHOHFWLRQ FDQ EH IRUPXODWHG DV D FRQYH[ RSWLPL]DWLRQ SUREOHP ZKLFK JXDUDQWHHV JOREDO RSWLPXP VROXWLRQ 6HFRQG DV VSHFLDO FDVHV RI RXU IRUPXODWLRQ ZH GHULYH VROXWLRQV IRU WKH SUREOHP RI URXWH VHOHFWLRQ WR PD[LPL]H DQRQ\PLW\ ZKHQ WKH UHOD\ FRQ¿JXUDWLRQ LV JLYHQ DV ZHOO DV WKH SUREOHP RI UHOD\ FRQ¿JXUDWLRQ IRU D JLYHQ URXWH VHOHFWLRQ , , 1752'8&7,21 $QRQ\PLW\ LV DQ HVVHQWLDO UHTXLUHPHQW IRU PDQ\ FRPPXQL FDWLRQ V\VWHPV WR SUHYHQW XQDXWKRUL]HG REVHUYHUV IURP GHWHU PLQLQJ WKH LGHQWLWLHV RI WKH FRPPXQLFDWLQJ SDUWLHV 3UDFWLFDO DSSOLFDWLRQV LQ ZKLFK DQRQ\PLW\ LV HVVHQWLDO LQFOXGH EXW DUH QRW OLPLWHG WR HOHFWURQLF PDLO HYDGLQJ ZHEVLWH FHQVRUVKLS DQG ¿OH VKDULQJ ,Q D QHWZRUN ZLWK PXOWLSOH VRXUFH DQG GHVWLQDWLRQ QRGHV DQRQ\PRXV QHWZRUNLQJ SURWRFROV XVH FU\S WRJUDSK\ WR SUHYHQW HDYHVGURSSHUV IURP LGHQWLI\LQJ VRXUFH GHVWLQDWLRQ SDLUV E\ UHDGLQJ SDFNHW KHDGHUV >@ 7UDQVPLWWHG SDFNHWV RI ÀRZV KRZHYHU FDUU\ DGGLWLRQDO LQIRUPDWLRQ WKDW FDQQRW EH GLVJXLVHG E\ PHDQV RI FU\SWRJUDSK\ QDPHO\ WKHLU WUDQVPLVVLRQ WLPH RU WKH WLPHVWDPS RI WUDQVPLWWHG SDFNHWV DQG URXWLQJ SDWK ,I LQWHUPHGLDWH QRGHV IRUZDUG SDFNHWV LQ D ³¿UVW FRPH ¿UVW VHUYH´ PDQQHU WKH WLPLQJ RI WKH UHFHLYHG DQG IRUZDUGHG SDFNHWV FDQ EH FRUUHODWHG OHDGLQJ WR SRVVLEOH H[SRVXUH RI VRXUFHGHVWLQDWLRQ SDLUV >@ ,Q RUGHU WR LPSURYH WKH DQRQ\PLW\ RI VRXUFHGHVWLQDWLRQ SDLUV H[LVWLQJ ZRUNV KDYH LQYHVWLJDWHG WKH LGHD RI GHVLJQLQJ UHOD\V WR EH VHFXUH DJDLQVW WLPLQJEDVHG DWWDFNV ,Q >@ D PL[LQJ PHWKRG ZKLFK FROOHFWV DQG UHRUGHUV SDFNHWV IURP PXOWLSOH VHQGHUV EHIRUH IRUZDUGLQJ ZDV LQWURGXFHG 0L[LQJ UHOD\V WKDW DGG IDNH WUDI¿F GXPP\ SDFNHWV >@ DQG GURS SDFNHWV >@ KDYH DOVR EHHQ SURSRVHG DV PHFKDQLVPV WR IXUWKHU LQFUHDVH DQRQ\PLW\ & <DQJ DQG 5 3RRYHQGUDQ DUH ZLWK WKH 1HWZRUN 6HFXULW\ /DE 'HSDUWPHQW RI (OHFWULFDO (QJLQHHULQJ 8QLYHUVLW\ RI :DVKLQJWRQ 6HDWWOH :$ 86$ (PDLO {FFMDFN US}#XZHGX % $ORPDLU LV ZLWK WKH &RPSXWHU 5HVHDUFK ,QVWLWXWH .LQJ $EGXOD]L] &LW\ IRU 6FLHQFH DQG 7HFKQRORJ\ 5L\DGK 6DXGL $UDELD (PDLO DORPDLU#XZHGX ,Q >@ WKH DXWKRUV LQWURGXFH WKH QRWLRQ RI D FRYHUW UHOD\ ZKLFK WUDQVPLWV SDFNHWV DFFRUGLQJ WR D SUHVSHFL¿HG SURED ELOLVWLF VFKHGXOH VHQGLQJ IDNH WUDI¿F ZKHQ QR UHDO SDFNHWV DUH DYDLODEOH 7KLV SUHVSHFL¿HG SUREDELOLVWLF VFKHGXOH LV VKRZQ WR UHPRYH WLPLQJ FRUUHODWLRQ DW WKH UHOD\ QRGHV >@ :KLOH FRYHUW UHOD\V SUHYHQW HDYHVGURSSHUV IURP WUDFLQJ IRUZDUGHG SDFNHWV EDFN WR WKH VHQGHU WKH XVH RI D SUHVSHFL¿HG VFKHGXOH UHGXFHV WKURXJKSXW OHDGLQJ WR LQFUHDVHG ODWHQF\ DQG SDFNHW GURSV GXH WR EXIIHU RYHUÀRZV >@ 2Q WKH RWKHU KDQG QRQ FRYHUW YLVLEOH UHOD\V GR QRW SURYLGH DQ\ DQRQ\PLW\ 7KHUH DUH WZR FRPSRQHQWV WKDW DIIHFW WKH DQRQ\PLW\ RI D ZLUHOHVV QHWZRUN QDPHO\ WKH FRQ¿JXUDWLRQ RI UHOD\V DV FRYHUW RU YLVLEOH DQG WKH URXWLQJ SDWKV FKRVHQ E\ QRGHV :KLOH WKHVH WZR FRPSRQHQWV SOD\ SLYRWDO UROHV LQ GHWHUPLQ LQJ WKH DQRQ\PLW\ RI WKH QHWZRUN WKH\ DOVR DIIHFW QHWZRUN SHUIRUPDQFH +HQFH DQ DQDO\WLFDO DSSURDFK LV QHHGHG WR TXDQWLI\ DQG PD[LPL]H WKH DQRQ\PLW\ RI D JLYHQ QHWZRUN ZKHQ SHUIRUPDQFH FRQVWUDLQWV DUH HQIRUFHG 5HOD\ DVVLJQPHQW EDVHG RQ WKH WUDGHRII EHWZHHQ DQRQ\PLW\ DQG WKURXJKSXW LQ D VLQJOHSDWK ZLUHOHVV QHWZRUN ZDV VWXGLHG LQ >@ )RU D QHWZRUN ZLWK ¿[HG FRYHUW DQG YLVLEOH UHOD\V D UDWHGLVWRUWLRQ DSSURDFK WR DOORFDWH ÀRZV DPRQJ PXOWLSDWK LQ RUGHU WR PD[LPL]H DQRQ\PLW\ VXEMHFW WR SDFNHWORVV FRQVWUDLQWV ZDV LQWURGXFHG LQ >@ +RZHYHU D XQL¿HG DSSURDFK IRU UHOD\ DVVLJQPHQW DQG URXWH VHOHFWLRQ WKDW JXDUDQWHHV RSWLPDO DQRQ\PLW\ ZKLOH PDLQWDLQLQJ QHWZRUN SHUIRUPDQFH LV FXUUHQWO\ ODFNLQJ ,Q WKLV SDSHU ZH SURSRVH DQ RSWLPL]DWLRQ IUDPHZRUN IRU MRLQW UHOD\ FRQ¿JXUDWLRQ DQG URXWH VHOHFWLRQ LQ PXOWLSDWK DQRQ\PRXV ZLUHOHVV QHWZRUNV :LWKLQ WKLV IUDPHZRUN WKH RSWLPDO UHOD\ FRQ¿JXUDWLRQ DQG URXWH VHOHFWLRQ QHHG WR EH FKRVHQ WR PD[LPL]H D JLYHQ LQIRUPDWLRQWKHRUHWLF DQRQ\PLW\ PHWULF VXEMHFW WR D SDFNHWORVV FRQVWUDLQW :H SURYH WKDW WKLV RSWLPL]DWLRQ SUREOHP LV FRQYH[ OHDGLQJ WR HI¿FLHQW DOJRULWKPV ZKLFK JXDUDQWHH JOREDO RSWLPDOLW\ $V VSHFLDO FDVHV ZH FRQVLGHU URXWH VHOHFWLRQ ZKHQ WKH UHOD\ FRQ¿JXUDWLRQ LV JLYHQ DV ZHOO DV UHOD\ FRQ¿JXUDWLRQ IRU D JLYHQ URXWH VHOHFWLRQ )RU ERWK FDVHV ZH GHULYH WKH RSWLPDO URXWH VHOHFWLRQ DQG UHOD\ FRQ¿JXUDWLRQ XVLQJ RXU IUDPHZRUN 7KH SDSHU LV RUJDQL]HG DV IROORZV ,Q 6HFWLRQ ,, ZH GHVFULEH WKH DGYHUVDULDO PRGHO UHOD\ DQG QHWZRUN PRGHOV DV ZHOO DV WKH DQRQ\PLW\ PHWULF WR EH XVHG LQ WKLV ZRUN ,Q 6HFWLRQ ,,, ZH SUHVHQW RXU FRQYH[ RSWLPL]DWLRQ IUDPHZRUN IRU MRLQW UHOD\ FRQ¿JXUDWLRQ DQG URXWH VHOHFWLRQ DQG SURYLGH GHULYDWLRQ IRU WKH VSHFLDO FDVHV GHVFULEHG DERYH 6HFWLRQ ,9 LOOXVWUDWHV RXU VLPXODWLRQ UHVXOWV 6HFWLRQ 9 FRQFOXGHV WKH SDSHU 978-1-4799-0446-4/13/$31.00 ©2013 IEEE 2013 IEEE International Symposium on Information Theory 76

Transcript of [IEEE 2013 IEEE International Symposium on Information Theory (ISIT) - Istanbul, Turkey...

Page 1: [IEEE 2013 IEEE International Symposium on Information Theory (ISIT) - Istanbul, Turkey (2013.07.7-2013.07.12)] 2013 IEEE International Symposium on Information Theory - Optimized

{ }

978-1-4799-0446-4/13/$31.00 ©2013 IEEE

2013 IEEE International Symposium on Information Theory

76

Page 2: [IEEE 2013 IEEE International Symposium on Information Theory (ISIT) - Istanbul, Turkey (2013.07.7-2013.07.12)] 2013 IEEE International Symposium on Information Theory - Optimized

ηinηout

K > 1

Pe(ηin, ηout,K) = (γK − γK+1)/(1− γK+1),

γ = ηin/ηout.

N α M{S1 S2 SN} {D1 D2 DM}

{G1 G2 Gα} Si

ηi Zi ∈ {D1, D2, ..., DM}Si Z = [Z1,Z2, · · · ,ZN]

Ri Si

R = [R1,R2, · · · ,RN]Ci

Ci = 1 Ci = 0Gi

C = [C1,C2, · · · ,Cα]

α

C Z

Si

Gj Ri

Li,j(Ri)Pe(ηin, ηout,K)

H(Z)

Ri

i 1 ≤ i ≤ N C

H(Z|R,C)

=H(Z|R,C)

H(Z)=

H(Z)− I(Z;R,C)

H(Z).

C

R

H(Z|R,C) =H(Z)H(Z)

I(Z;R,C)I(Z;R,C)

Q(C1 = c1,C2 = c2, ...,Cα = cα)c1, c2, ..., cα

Q(c1, c2, ..., cα)c1, c2, ..., cα

Q(R1=r1,R2=r2, ...,RN=rN |C,Z)r1, r2, ..., rN

2013 IEEE International Symposium on Information Theory

77

Page 3: [IEEE 2013 IEEE International Symposium on Information Theory (ISIT) - Istanbul, Turkey (2013.07.7-2013.07.12)] 2013 IEEE International Symposium on Information Theory - Optimized

Z = (z1, z2, ..., zN )C = (c1, c2, ..., cα)

EZ

EZ =α M

=1

N∑i′=1

ηi′

[ α∑i=1

{ ∑R,C:[Ci]=1

ηin(i) ∗ Pe(ηin(i), ηout,K)

+∑

Z,C,R

∑j:Rj∈Gi

ηj ∗ P (Z)Q(C)Q(R|Z,C)Lj,i(Rj)

}

+

M∑l=1

∑Z,C,R

∑j′ :Rj′∈Gi

ηj′ ∗ P (Z)Q(C)Q(R|Z,C)Lj′,Dl(Rj′ )

],

ηin(i) =∑j:Rj∈Gi

∑Z

ηj ∗ P (Z)Q(C)Q(R|Z,C)(1 − Lj,i(Rj)).

Gi

Q(C)Q(R|Z,C)

Q(C)Q(R|Z,C)

minQ(C),Q(R|Z,C):EZ≤D

[H(Z) −H(Z|R,C)],

EZ

Q(R|Z,C) Q(C)DEZ Q(C)

Q(R|Z,C)

Q(R,C|Z) Q(C) ×Q(R|Z,C)Q(R,C|Z)

C Z

Q(C|Z) = Q(C)

minQ∈Λ

∑, ,

P (Z)Q(R,C|Z) logQ(R,C|Z)

q(R,C),

q(R,C) =∑Z

P (Z)Q(R,C|Z),

Λ =

⎧⎪⎪⎨⎪⎪⎩

EZ(Q(R,C|Z)) ≤ D, ∀ Z ,∑,

Q(R,C|Z) = 1, Q(R,C|Z) ≥ 0, ∀ Z ,∑

Q(R,C|Z) =∑,

P (Z)Q(R,C|Z), ∀ Z .

Q∗(R,C|Z)Q∗(C) Q∗(R|Z,C)

Q∗(C) =∑R,Z

Q∗(R,C|Z), Q∗(R|Z,C) =Q∗(R,C|Z)

Q∗(C).

Q∗(C) Q∗(R|Z,C)

Q∗(C) Q∗(R|Z,C) EZ Q∗(C)Q∗(R|Z,C)) ≤ D

Q̂(C)Q̂(R|Z,C)

∑, ,

P (Z)Q̂(C)Q̂(R|Z,C)) logQ̂(C)Q̂(R|Z,C))

q(R,C)

<∑, ,

P (Z)Q∗(C)Q∗(R|Z,C)) logQ∗(C)Q∗(R|Z,C))

q(R,C).

C

Z Q̂(C|Z) = Q̂(C) Z Q̂(R,C|Z) =Q̂(C)Q̂(R|Z,C) EZ(Q(R,C|Z)) ≤ D

∑, ,

P (Z)Q̂(R,C|Z)) logQ̂(R,C|Z))

q(R,C)

<∑, ,

P (Z)Q∗(R,C|Z)) logQ∗(R,C|Z))

q(R,C).

Q∗

Q∗(C), Q∗(R|Z,C)

K > 1

EZ

Q(R,C|Z)f i1

f i1(x) = x ∗ Pe(x, ηout,K), 1 ≤ i ≤ α,

x =∑

j:Rj∈Gi

∑Z

ηj ∗ P (Z)Q(R,C|Z)(1 − Lj,i(Rj)),

Pe(x, ηout,K) dPe

dx≥ 0 d2Pe

dx2 ≥ 0K > 1 K > 1 Pe(x, ηout,K)

x f1(x)x x

Q(R,C|Z) PZ ηj ηout Lj,i f i1(x)

Q(R,C|Z)

Q(R,C|Z) Lj,i(Rj) jηj P (Z)

Q(R,C|Z)

EZ Q(R,C|Z)

2013 IEEE International Symposium on Information Theory

78

Page 4: [IEEE 2013 IEEE International Symposium on Information Theory (ISIT) - Istanbul, Turkey (2013.07.7-2013.07.12)] 2013 IEEE International Symposium on Information Theory - Optimized

∑, Q(R,C|Z) = 1

∑Q(R,C|Z) =∑

, P (Z)Q(R,C|Z)

I(Z;R,C)Q(R,C|Z) P (Z)

K > 1

Q(R|Z,C) Q(C)

(c1, c2, ..., cα)Q(c1, c2, ..., cα) = 1

Q(R,C|Z) = Q(R|Z,C = c1, c2, ..., cα)

Q(R|Z,C)

Q(R|Z,C) =q(R|C) exp[s

(∑N

i=1 Lq(Ri))]∑

Rq(R|C) exp[s

(∑N

i=1 Lq(Ri))],

q(R|C) =∑Z

P ( )Q(R|Z,C),

Lq(Ri) =∑

j:{Gj∩Ri}∪{Dj∩Ri}

Li,j(Ri) ∗ (ηi/

N∑i′=1

ηi′).

s < 0

s

K

Q(R|Z,C)

f(R) : Q(R|Z,C)−q(R|C) exp[sTZ]∑

R

q(R|C) exp[sTZ)]= 0,

q(R|C) =∑Z

P ( )Q(R|Z,C),

TZ =∂EZ

∂Q(R|Z,C)∗ (1/P ( )).

Q(R|Z,C)Q(R|Z,C)

(n) Q(R|Z,C) nQ(R|Z,C)

(n+1) = (n) −[[∇f ]−1f ]| (n) ,

(n) = [Q(n)( 1| ), Q(n)( 2| ), ..., Q(n)( l| )]T

f = [f( 1), f( 2), ..., f( l)]T

i ⊂ R ⊂ Z

Q(R,C|Z) = Q(C) × Q(R|Z,C)Q(R|Z,C)

Q(C)

Q(C) =

∏R,Z

[q(R,C)

Q(R|Z,C)

]P (Z,R|C)exp[sΦ(C)

]

∑C

( ∏R,Z

[q(R,C)

Q(R|Z,C)

]P (Z,R|C)exp[sΦ(C)]

) ,

q(R,C) =∑C,Z

P ( )Q(R|Z,C)Q(C),

P (Z,R|C) = P ( )Q(R|Z,C),Φ(C) =∂EZ

∂Q(C).

Q(C)

K = 5

P (Z1 = Di,Z2 = Dj) = 1/4 i, j1 2

10−5 10−2

(C1, C3), (C1, C2, C3), (C1, C2, C3, C4)

2013 IEEE International Symposium on Information Theory

79

Page 5: [IEEE 2013 IEEE International Symposium on Information Theory (ISIT) - Istanbul, Turkey (2013.07.7-2013.07.12)] 2013 IEEE International Symposium on Information Theory - Optimized

C2

S1

{S1, C2, D1} 1 S2

{S2, C4, D2}S1 S2

D1 D2

K

2013 IEEE International Symposium on Information Theory

80