Quick viewing(Text Mode)

A Survey of Quantum Complexity Theory

A Survey of Quantum Complexity Theory

hLUii_?}t Lu 5)4TLt@ ? TT*i_ @|i4@|Ut

5hi) Lu "@?|4 L4T*i |) AiLh)

Xphvk Y1 Yd}ludql

Ot|iBW| At T@Tih ThL_it @? ?|hL_U|L? |L ^@?|4 UL4T*i |) |i Lh) AL M@tU 4L_i*t Lu ^@?|4 UL4T|ihtc ^@?|4 Ah?} @U?it @?_ ^@?|4 UhU|tc @hi _i?i_ @?_ tL? |L Mi TL*)?L4@**) i^@*i?| Ai ^@?|4 UL4T*i |) U*@tt ' Lu t _i?i_c @?_ |t hi*@|L?tT |L U*@ttU@* UL4T*i |) U*@ttit t it|@M*ti_ Ai M@tU |iU?^it uLh ThL?} *4|t L? ^@?|4 UL4T|ihtc M) tL?} @ *Lih ML?_ ? |i M*@U! ML 4L_i* @hi thi)i_ 6?@**) |i ^@?|4 @?@*L} Lu |i LL!wi? |iLhi4 t t!i|Ui_

NA|jA|t 41 Lqwurgxfwlrq 51 Txdqwxp Wxulqj Pdfklqhv dqg Txdqwxp Flufxlwv 61 Txdqwxp Frpsoh{lw| Fodvvhv= 71 Uhfxuvlyh Irxulhu Vdpsolqj 81 Txdqwxp Orzhu Erxqgv 91 Txdqwxp QS Uhihuhqfhv

41 Lqwurgxfwlrq

Wkh pdlq jrdo ri frpsxwdwlrqdo frpsoh{lw| wkhru| lv wr fodvvli| frpsxwdwlrqdo sureohpv dffruglqj wr wkh dprxqw ri frpsxwdwlrqdo uhvrxufhv w|slfdoo| wlph ru qxpehu ri vwhsv uhtxluhg wr vroyh wkhp rq d frpsxwhu1 Wkdw wklv txdqwlw| lv zhoo ghqhg uhvwv xsrq wkh prghuq irup ri wkh Fkxufk0Wxulqj wkhvlv/ zklfk dvvhuwv wkdw dq| _uhdvrqdeoh% prgho ri frpsxwdwlrq fdq eh hflhqwo| vlpxodwhg rq d suredelolvwlf Wxulqj Pdfklqh1 +Dq hflhqw vlpxodwlrq lv rqh zkrvh uxqqlqj wlph lv erxqghg e| vrph sro|qrpldo lq wkh uxqqlqj wlph ri wkh vlpxodwhg pdfklqh1,

2fff @|i4@|Ut 5MiU| *@ttU@|L? d2fffoh4@h) HSH( 5iUL?_@h) Hf ki) Lh_t @?_ Th@tit "@?|4 UL4T*i |) |iLh)c ^@?|4 Ah?} 4@U?itc *Lih ML?_tc c ^@?|4 UL4T|@|L? At Lh! @t T@h|@**) tTTLh|i_ M) #+ Bh@?| 6 fSf2ff2fSf @?_ 56 Bh@?| 56 Bh@?| +bHfff2e ELT)h}| 2fff

?U ffff EULT)h}| L*_ih 4 5 XPHVK Y1 YD]LUDQL

Wklv wkhvlv pd| eh lqirupdoo| vxppdul}hg dv iroorzv= Doo sk|vlfdo lpsohphqwdwlrqv ri frpsxwlqj ghylfhv fdq eh vlpxodwhg zlwk sro|qrpldo idfwru ryhukhdg lq uxqqlqj wlph e| wkh suredelolvwlf Wxulqj Pdfklqh ru wkh udqgrp dffhvv pdfklqh1 Uhfhqwo|/ wklv sdudgljp kdv ehhq ixqgdphqwdoo| fkdoohqjhg/ vlqfh wkhuh duh vwurqj dujxphqwv vkrzlqj wkdw wkh Fkxufk0Wxulqj wkhvlv +lq wklv prghuq irup, grhv qrw krog dw wkh ohyho ri txdqwxp phfkdqlfv1 Hduo| lqglfdwlrqv ri wklv srvvlelolw| rffxuuhg lq wkh sdshu e| Ih|qpdq ^47` zklfk srlqwhg rxw wkdw lw zdv qrw fohdu krz wr vlpxodwh txdqwxp phfkdqlfdo v|v0 whpv ri q sduwlfohv +vd| q vslqv, rq d frpsxwhu/ zlwkrxw sd|lqj dq h{srqhqwldo shqdow| lq vlpxodwlrq wlph1 Wkh uvw irupdo hylghqfh wkdw txdqwxp frpsxwhuv ylrodwh wkh prglhg Fkxufk0Wxulqj wkhvlv fdph d ghfdgh odwhu/ zlwk wkh uhvxow ri Ehuqvwhlq dqg Yd}ludql ^<`/ zklfk vkrzhg wkdw uhodwlyh wr dq rudfoh/ txdqwxp sro|qrpldo wlph surshuo| frqwdlqv suredelolvwlf sro|qrpldo wlph1 Wklv exlow xsrq d suhylrxv dojrulwkp gxh wr Ghxwvfk dqg Mr}vd ^46`1Vlprq^57` lpsuryhg wklv erxqg e| vkrzlqj wkdw uhodwlyh wr dq rudfoh/ txdqwxp sro|qrpldo wlph lv qrw frqwdlqhg lq vxeh{srqhqwldo suredelolvwlf wlph1 Vkru ^58` iroorzhg xs zlwk vhplqdo uhvxowv lq txdqwxp dojrulwkpv/ vkrzlqj wkdw wkh sureohpv ri sulph idfwrul}dwlrq dqg glvfuhwh orjdulwkpv fdq erwk eh vroyhg lq sro|qrpldo wlph rq d txdqwxp frpsxwhu1 Wkh frpsxwdwlrqdo lqwudfwdelolw| ri wkhvh sureohpv iru fodvvlfdo frpsxwhuv lv wkh vwdq0 gdug frpsxwdwlrqdo dvvxpswlrq xqghuo|lqj prghuq fu|swrjudsk|1 Wrjhwkhu/ wkhvh uhvxowv surylgh yhu| vwurqj hylghqfh wkdw txdqwxp frpsxwhuv ylrodwh wkh prghuq Fkxufk0Wxulqj wkhvlv1 Lq ylhz ri wkhvh ghyhorsphqwv/ rqh pxvw h{soruh d qhz frpsoh{lw| wkhru| edvhg rq txdqwxp phfkdqlfv1 Wkh irupdo prghov iru txdqwxp frpsxwhuv 0 txdqwxp Wxu0 lqj Pdfklqhv dqg txdqwxp flufxlwv 0 zhuh lqwurgxfhg e| Ghxwvfk ^44`1Wkhvhwzr prghov zhuh vkrzq wr eh sro|qrpldoo| htxlydohqw lq whupv ri wkhlu frpsxwlqj srzhu e| \dr ^64`1 Fuhdwlqj d xqlyhuvdo txdqwxp Wxulqj Pdfklqh +d surjudppdeoh txdq0 wxp Wxulqj Pdfklqh, kdv suryhg wr eh d pxfk pruh fkdoohqjlqj wdvn wkdq wkh fru0 uhvsrqglqj fodvvlfdo xqlyhuvdo frqvwuxfwlrqv1 Wkh uvw sduw ri wklv sdshu lqwurgxfhv wkhvh prghov/ dqg vnhwfkhv wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqfh frqvwuxfwlrq iurp ^<`/ dqg wkh sro|qrpldo htxlydohqfh ri txdqwxp Wxulqj Pdfklqhv dqg txdqwxp flufxlwv iurp ^64`1 Lw dovr ghvfulehv xqlyhuvdo idplolhv ri txdqwxp flufxlwv ^:`1 Wkh fodvv ri sureohpv wkdw fdq eh vroyhg lq sro|qrpldo wlph +lq wkh ohqjwk ri wkh lqsxw, kdv d vshfldo sodfh lq frpsoh{lw| wkhru| vlqfh lw lv uhjdughg dv wkh fodvv ri hflhqwo| vroydeoh sureohpv1 Wkh fodvv ri sureohpv wkdw fdq eh vroyhg lq sro|qrpldo wlph rq d suredelolvwlf Wxulqj Pdfklqh lv ghqrwhg e| ESS1 Wkh fruuhvsrqglqj fodvv sureohpv vroydeoh lq sro|qrpldo wlph rq d txdqwxp Wxulqj Pdfklqh lv ghqrwhg e| ETS1 Wkh ehvw xsshu erxqg nqrzq iru wklv fodvv lv ETS S &S SVSDFH ^<`/ l1h1/ hyhu| sureohp wkdw fdq eh vroyhg lq sro|qrpldo wlph rq d txdqwxp Wxulqj Pdfklqh fdq dovr eh vroyhg xvlqj sro|qrpldo dprxqw ri phpru| vsdfh rq d fodv0 vlfdo Wxulqj Pdfklqh1 Wkxv S ESS ETS S &S SVSDFH1Vlqfh S @BSVSDFH lv d pdmru rshq txhvwlrq lq frpsxwdwlrqdo frpsoh{lw| wkhru|/ wklv lpsolhv wkdw dq| devroxwh uhvxowv vkrzlqj wkdw txdqwxp frpsxwhuv duh pruh srz0 huixo wkdq fodvvlfdo frpsxwhuv +ETS 9@ ESS, zloo kdyh wr dzdlw d pdmru euhdn0 wkurxjk lq frpsoh{lw| wkhru|1 Xqwlo wkhq/ zh pxvw eh vdwlvhg zlwk hylghqfh vxfk dv ^rhuhg e| txdqwxp frp0 sxwhuv iru fhuwdlq frpsxwdwlrqdo sureohpv/ lw lv qdwxudo wr dvn zkhwkhu txdqwxp D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ 6 frpsxwhuv fdq vroyh QS0frpsohwh sureohpv lq sro|qrpldo wlph1 Dq dupdwlyh dq0 vzhu zrxog kdyh dvwrxqglqj frqvhtxhqfhv/ vlqfh wkh QS0frpsohwh sureohpv lqfoxgh vhyhudo wkrxvdqg ri wkh prvw lpsruwdqw frpsxwdwlrqdo sureohpv/ dqg duh eholhyhg wr eh fodvvlfdoo| lqwudfwdeoh1 Lw zdv vkrzq lq ^43` wkdw uhodwlyh wr d udqgrp rudfoh/ d txdqwxp Wxulqj Pdfklqh pxvw wdnh h{srqhqwldo wlph wr vroyh QS0frpsohwh sure0 ohpv1 Wklv dsshduv wr uxoh rxw dq| hflhqw txdqwxp dojrulwkp iru dq QS0frpsohwh sureohp/ eduulqj d pdmru euhdnwkurxjk lq frpsxwdwlrqdo frpsoh{lw| wkhru|1 Lq wkh vdph sdshu dq h{srqhqwldo orzhu erxqg zdv hvwdeolvkhg rq wkh sureohp ri lqyhuwlqj d udqgrp shupxwdwlrq +wkxv rshqlqj xs wkh srvvlelolw| ri txdqwxp rqh0zd| ixqf0 wlrqv,1 Erwk uhvxowv zhuh suryhg xvlqj wkh k|eulg dujxphqw1 Wzr rwkhu whfkqltxhv iru hvwdeolvklqj orzhu erxqgv kdyh ehhq lqwurgxfhg1 Wkh uvw lv wkh phwkrg ri sro|qrpldov ^;`/ zklfk zdv xvhg wr jlyh d wljkw olqhdu orzhu erxqg rq wkh txdq0 wxp frpsoh{lw| ri wkh sdulw| ixqfwlrq lq wkh eodfn er{ prgho1 Lq wkh vdph sdshu wkh| vkrzhg wkdw/ lq jhqhudo/ wkh txdqwxp txhu| frpsoh{lw| ri dq| wrwdo ixqfwlrq lq wkh eodfn er{ prgho lv erxqghg e| wkh vl{wk srzhu ri wkh ghwhuplqlvwlf txhu| frpsoh{lw|1 Wkh vhfrqg whfkqltxh lv wkh phwkrg ri txdqwxp dgyhuvdulhv ^5`1Wklv whfkqltxh dsshduv wr eh yhu| jhqhudo/ dqg kdv ehhq xvhg wr rewdlq wljkw erxqgv iru d qxpehu ri sureohpv1 Lq sduwlfxodu/ lw zdv xvhg wr suryh d wljkw erxqg rq wkh sureohp ri lqyhuwlqj d udqgrp shupxwdwlrq1 Grhv ETS QSBVlqfhETS lqfoxghv wkh delolw| wr udqgrpl}h/ wkh idlu zd| ri dvnlqj wklv txhvwlrq lv zkhwkhu ETS lv frqwdlqhg lq PD wkh suredelolvwlf jhqhudol}dwlrq ri QS1 Wkhuh duh lqglfdwlrqv wkdw wkh dqvzhu lv qhjdwlyh/ vlqfh wkh uhfxuvlyh Irxulhu vdpsolqj sureohp/ zklfk kdv dq hflhqw txdqwxp dojrulwkp ^<` lv qrw lq PD uhodwlyh wr dq rudfoh1 D pdmru txhvwlrq wkdw uhpdlqv rshq lv zkhwkhu ETS 5 ESSQS/ l1h1/ lv wkh delolw| wr gr dssur{lpdwh frxqwlqj vxflhqw wr vlpxodwh ETS lq sro|qrpldo wlphB Shukdsv wkh fhqwhu slhfh ri fodvvlfdo frpsoh{lw| wkhru| lv wkh Frrn0Ohylq wkh0 ruhp/ zklfk vwdwhv wkdw 6 VDW lv QS0frpsohwh1 Uhfhqwo|/ Nlwdhy ^4;` suryhg wkh txdqwxp dqdorjxh ri wklv uhvxow1 Kh vkrzhg wkdw wkh sureohp ri corfdo Kdplo0 wrqldqv*/ zklfk lv d qdwxudo jhqhudol}dwlrq ri 6 VDW lv frpsohwh iru ETQS1 D yhu| qrq0wulyldo frqvhtxhqfh wkdw iroorzv iurp wklv uhvxow lv wkdw ETQS S &S 1 Rxu h{srvlwlrq ri wkhvh uhvxowv lv edvhg rq wkh pdqxvfulsw ^4`1 Zh gr qrw nqrz ri dq| qdwxudo h{dpsohv/ rwkhu wkdq corfdo Kdplowrqldqv*/ ri frpsohwh sureohpv iru wklv txdqwxp dqdorj ri QS1 Ghyhorslqj wklv wkhru| ixuwkhu lv dq lpsruwdqw rshq txhvwlrq lq txdqwxp frpsoh{lw| wkhru|1 D qxpehu ri ehdxwlixo dqg ghhs uhvxowv lq fodvvlfdo frpsoh{lw| wkhru| kdyh hphujhg rxw ri d vwxg| ri lqwhudfwlyh surri v|vwhpv +vhh ^56`,1 Uhfhqwo| wzr vwuln0 lqj uhvxowv kdyh ehhq suryhg derxw TLS / wkh txdqwxp dqdorj ri LS +lqwhudfwlyh sro|qrpldo wlph,1 Wkh uvw ri wkhvh vkrzv wkdw iru txdqwxp lqwhudfwlyh surriv/ wkuhh urxqgv duh dv srzhuixo dv sro|qrpldoo| pdq| urxqgv ^5;/ 4<`1 Wkh vhfrqg jlyhv d qrq0wulyldo xsshu erxqg/ vkrzlqj wkdw TLS H[S ^4<`1 Lq dgglwlrq wr wlph ru qxpehu ri vwhsv/ dqrwkhu frpsoh{lw| phdvxuh ri lqwhuhvw lv vsdfh/ ru qxpehu ri wdsh fhoov xvhg e| wkh frpsxwdwlrq1 Lq wklv phdvxuh/ txdqwxp frpsxwdwlrq rhuv dw prvw d sro|qrpldo idfwru dgydqwdjh ryhu fodvvlfdo frpsxwd0 wlrq/ vlqfh lw kdv ehhq vkrzq wkdw d wkhruhp dqdorjrxv wr Vdylwfk*v wkhruhp krogv iru txdqwxp frpsxwdwlrq/ l1h1/ TVS DFH+i+q,, VSDFH+i+q,5, ^5<`1 7 XPHVK Y1 YD]LUDQL

Wklv vxuyh| lv edvhg rq ohfwxuh qrwhv iurp d frxuvh rq txdqwxp frpsxwdwlrq wkdw L wdxjkw uhfhqwo|1 Wkh ohfwxuh qrwhv iurp wkdw frxuvh duh srvwhg rq p| zhe sdjh zzz1fv1ehunhoh|1hgx2yd}ludql1

51 Txdqwxp Wxulqj Pdfklqhv dqg Txdqwxp Flufxlwv

Mxvw dv d elw +dq hohphqw ri i3> 4j, lv d ixqgdphqwdo xqlw ri fodvvlfdo lqiru0 pdwlrq/ d txelw lv wkh ixqgdphqwdo xqlw ri txdqwxp lqirupdwlrq1 D txelw lv ghvfulehg e| d xqlw yhfwru lq wkh 5 glphqvlrqdo Kloehuw vsdfh F51Ohwm3l dqg m4l eh dq ruwkrqrupdo edvlv iru wklv vsdfh1 Lq jhqhudo/ wkh vwdwh ri wkh txelw lv d olqhdu vxshusrvlwlrq ri wkh irup m3l . m4l1Wkhvwdwhriq txelwv lv ghvfulehg e| d xqlw yhfwru lq wkh q0irog whqvru surgxfw F5 F5 F51 Dq ruwkrqrupdo edvlv iru wklv vsdfh lv qrz jlyhq e| wkh 5q yhfwruv m{l/zkhuh{ 5i3> 4jq1 Wklvlvriwhq uhihuuhg wr dv wkh frpsxwdwlrqdo edvlv1 Lq jhqhudo/ wkh vwdwh ri q txelwv lv d olqhdu vxshusrvlwlrq ri wkh 5q frpsxwdwlrqdo edvlv vwdwhv1 Wkxv wkh ghvfulswlrq ri dq q txelw v|vwhp uhtxluhv 5q frpsoh{ qxpehuv1 Wklv lv wkh vrxufh ri wkh dvwrxqglqj lq0 irupdwlrq surfhvvlqj fdsdelolwlhv ri txdqwxp frpsxwhuv1 Dq lpsruwdqw frqvwudlqw wkdw txdqwxp phfkdqlfv sodfhv lv wkdw wkh hyroxwlrq ri wkh vwdwh ri wkh q txelwv ryhu wlph pxvw eh xqlwdu|1 Lq rwkhu zrugv/ li m!3l lvwkhlqlwldovwdwhriwkhq txelwv/ dqg X lv wkh +5q glphqvlrqdo, xqlwdu| wudqvirupdwlrq wkdw ghvfulehv wkh hyroxwlrq w ri wkh v|vwhp/ wkhq wkh vwdwh diwhu w vwhsv lv m!wl @ X m!3l1 Iru rxu sxusrvhv/ lw lv vxflhqw wr frqvlghu wkh uhvxowv ri phdvxulqj wkh vwdwh ri d txdqwxpS v|vwhp lq wkh frpsxwdwlrqdo edvlv1 Li wkh v|vwhp lv lq wkh vxshusrvlwlrq m l @ { { m{l/wkhq 5 phdvxulqj wkh vwdwh ri wkh v|vwhp |lhogv wkh rxwfrph m{l zlwk suredelolw| m{m 1 Vhh ^55` iru dq h{fhoohqw uhihuhqfh iru txdqwxp frpsxwdwlrq1 Wkh wzr pdlq prghov ri txdqwxp frpsxwhuv= txdqwxp Wxulqj Pdfklqhv dqg txdqwxp flufxlwv zhuh uvw ghqhg e| Ghxwvfk ^44/ 45`1 Txdqwxp Wxulqj Pdfklqhv duh pxfk pruh frpsoh{ wkdq wkhlu fodvvlfdo frxqwhusduwv/ dqg wkh frqvwuxfwlrq ri xqlyhuvdo txdqwxp Wxulqj Pdfklqhv/ dv zhoo dv lpsohphqwlqj surjudpplqj sulp0 lwlyhv vxfk dv eudqfklqj dqg orrslqj uhtxluhv d frqvlghudeoh dprxqw ri zrun1 Zh vhfwlrq vwduwv zlwk d vnhwfk ri wkhvh lghdv derxw txdqwxp Wxulqj Pdfklqhv1 Wkhq zh wxuq rxu dwwhqwlrq wr txdqwxp flufxlwv/ zklfk surylgh d frqyhqlhqw odqjxdjh lq zklfk wr ghvfuleh txdqwxp dojrulwkpv1 Zh hqg zlwk d vnhwfk ri \dr*v surri vkrzlqj wkh htxlydohqfh ri wkhvh wzr prghov1

5141 Txdqwxp Wxulqj Pdfklqhv1 Wkh ghqlwlrq ri d txdqwxp Wxulqj Pdfklqhv lqfrusrudwhv wkhvh frqfhswv lqwr wkh xvxdo ghqlwlrq ri d fodvvlfdo Wxulqj Pdfklqh1

Uhfdoo wkdw d fodvvlfdo Wxulqj Pdfklqh4 lv ghqhg e| d wulsohw + >T>, zkhuh lv d qlwh doskdehw zlwk dq lghqwlhg eodqn v|pero &/ T lv d qlwh vhw ri vwdwhv zlwk dq lghqwlhg lqlwldo vwdwh t3 dqg qdo vwdwh ti /dqg/wkhghwhuplqlvwlf qlwh vwdwh frqwuro/ lv d ixqfwlrq = T $ T G zlwk G @ iO> Uj1 Wkh Wxulqj Pdfklqh kdv d wzr0zd| lqqlwh wdsh ri fhoov lqgh{hg e| wkh lqwhjhuv ] dqg d vlqjoh uhdg2zulwh wdsh khdg wkdw vwhsv dorqj wkh wdsh1

4d2 o t @? i Ui**i?| hiuihi?Ui D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ 8

D frqjxudwlrq ri wkh WP frqvlvwv ri wkh ghvfulswlrq ri wkh frqwhqwv ri wkh wdsh/ wkh orfdwlrq ri wkh wdsh khdg/ dqg wkh vwdwh t 5 T1 Lw lv vwdqgdug wr uhvwulfw dwwhqwlrq wr frqjxudwlrqv zkhuh doo exw d qlwh qxpehu ri wdsh fhoov frqwdlq wkh eodqn v|pero &1 Hdfk frqjxudwlrq ri wkh WP kdv d vxffhvvru ghqhg dv iroorzv= Li +s> ,@ >t>g/ wkhq zkhqhyhu wkh WP lv lq vwdwh s zlwk v|pero xqghu wkh wdsh khdg/ lw uhsodfhv wkh v|pero zlwk wkh v|pero /hqwhuvvwdwht/dqgvwhsvlq gluhfwlrq g/ hlwkhu ohiw rqh fhoo ru uljkw rqh fhoo1 Wkh WP kdowv rq lqsxw { li lw hyhqwxdoo| hqwhuv wkh qdo vwdwh ti 1Wkhqxpehu rivwhsvdWPwdnhvwrkdowrqlqsxw{ lv lwv uxqqlqj wlph rq lqsxw {1LidWPkdowv wkhq lwv rxwsxwlv d vwulqj lq frqvlvwlqj ri wkh wdsh frqwhqwv iurp wkh ohiwprvw qrq0eodqn v|pero wr wkh uljkwprvw qrq0eodqn v|pero/ ru wkh hpsw| vwulqj li wkh hqwluh wdsh lv eodqn1 D WP zklfk kdowv rq doo lqsxwv wkhuhiruh frpsxwhv d ixqfwlrq iurp + &, wr 1

$juA|NA 4 D txdqwxp Wxulqj Pdfklqh +TWP, lv ghqhg e| d wulsohw + >T>,/zkhuh lv d qlwh doskdehw zlwk dq lghqwlhg eodqn v|pero &/ T lv d qlwh vhw ri vwdwhv zlwk dq lghqwlhg lqlwldo vwdwh t3 dqg qdo vwdwh ti /dqg/wkh txdqwxp qlwh vwdwh frqwuro lv d ixqfwlrq = T $ Fh T G zlwk G @ iO> Uj15 Wkh txdqwxp Wxulqj Pdfklqh kdv d wzr0zd| lqqlwh wdsh ri fhoov lqgh{hg e| wkh lqwhjhuv ]/ dqg e| d vlqjoh uhdg2zulwh wdsh khdg wkdw vwhsv dorqj wkh wdsh1 S Wkh vwdwh ri d txdqwxp Wxulqj Pdfklqh lv d olqhdu vxshusrvlwlrq f f md> t> pl ryhu fodvvlfdo frqjxudwlrqv f @ md> t> pl/zkhuhf lv d fodvvlfdo frqjxudwlrq frqvlvw0 lqj ri d wdsh frqjxudwlrq d/ d vwdwh t 5 T/dqgp 5 ]1 Dv lq wkh fdvh ri fodvvlfdo Wxulqj Pdfklqhv/ zh zloo frqvlghu rqo| wkrvh wdsh frqjxudwlrqv d lq zklfk doo exw qlwho| pdq| wdsh fhoov frqwdlq wkh eodqn v|pero &1 Dovr/ zh zloo uhvwulfw rxuvhoyhv wr frqvlghulqj vxshusrvlwlrqv frqvlvwlqj ri qlwh olqhdu frpelqdwlrqv ri frqjxudwlrqv f1 Irupdoo| wklv uhvwulfwv xv wr wkh ghqvh vxevsdfh V ri wkh Kloehuw vsdfh zlwk d edvlv hohphqw iru hdfk frqjxudwlrq mfl1Wkhydoxh+s> ,jlyhvwkh vxshusrvlwlrq ri xsgdwhv zklfk wkh pdfklqh zloo wdnh zkhq lq vwdwh s uhdglqj d 1 Lq wklv pdqqhu/ wkh wudqvlwlrq ixqfwlrq vshflhv d olqhdu rshudwru rq wkh vsdfh V1 Qrw hyhu| wudqvlwlrq ixqfwlrq vshflhv d ohjdo txdqwxp Wxulqj Pdfklqh1 Iru wkh txdqwxp Wxulqj Pdfklqh wr eh ohjdo/ wkh olqhdu rshudwru vshflhg e| pxvw eh xqlwdu|1 Vxfk wudqvlwlrq ixqfwlrqv duh fdoohgS zhoo0iruphg1 Li wkh vwdwh ri wkh txdqwxp Wxulqj Pdfklqh lv wkh vxshusrvlwlrq f f mfl/ wkhq shuiruplqj d phd0 vxuhphqw rq wkh vwdwh ri wkh txdqwxp Wxulqj Pdfklqh +lq wkh frpsxwdwlrqdo edvlv, 5 |lhogv wkh uhvxow f zlwk suredelolw| mfm 1 Dq Hflhqw Xqlyhuvdo TWP Xqolnh lq wkh fodvvlfdo fdvh/ wkh frqvwuxfwlrq ri dq hflhqw xqlyhuvdo TWP lv txlwh qrq0wulyldo1 Khuh zh zloo vnhwfk wkh pdlq vwhsv lq wkh frqvwuxfwlrq ri ^<`1 Lq rughu wr vkrz wkdw wkhuh lv dq hflhqw xqlyhuvdo txdqwxp Wxulqj Pdfklqh/ zh pxvw vkrz wkdw wkhuh lv d {hg txdqwxp Wxulqj Pdfklqh zlwk d {hg doskd0 ehw dqg {hg vhw ri vwdwhv T/ wkdw fdq vlpxodwh dq duelwudu| txdqwxp Wxulqj

5) hci4i@?@**|LtiUL4T*i ?4Miht% n + ihi |i | M| Lu % @?_ + U@? Mi UL4T|i_ ? |4i TL*)?L4@* ? 9 XPHVK Y1 YD]LUDQL

Pdfklqh/ zlwk srvvleo| d pxfk odujhu wdsh doskdehw dqg vhw ri vwdwhv1 Wr gr wklv/ zh pxvw doorz wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh wr hqfrgh hdfk v|pero ri P e| d eorfn ri v|perov1 Wkxv zh zloo dvvxph wkdw wkhuh lv dq hflhqw hqfrg0 lqj dqg ghfrglqj vfkhph wr wudqvodwh ehwzhhq frqjxudwlrqv P dqg wkrvh ri wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh1 Zh pxvw dovr doorz wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh vhyhudo frpsxwdwlrqdo vwhsv wr vlpxodwh hdfk vwhs ri P1 Ilqdoo|/ zh zloo doorz wkh vlpxodwlrq wr eh idlwkixo/ l1h1 iru hyhu| lqsxw {/dqghyhu|w/wkh suredelolw| glvwulexwlrq wkdw uhvxowv iurp phdvxulqj wkh vwdwh ri P rq lqsxw { diwhu w vwhsv pxvw eh zlwk lq wrwdo yduldwlrq glvwdqfh +O4 qrup, ri wkh fruuhvsrqglqj suredelolw| glvwulexwlrq ghqhg e| wkh vlpxodwlrq rq wkh xqlyhuvdo TWP1

$juA|NA 5 Zh vd| wkdw d txdqwxp Wxulqj Pdfklqh lv lq vwdqgdug irup li doo wudqvlwlrqv ohdglqj wr vwdwh t 5 T fdxvh wkh uhdg2zulwh khdg wr pryh lq gluhfwlrq g1 Iru txdqwxp Wxulqj Pdfklqhv lq wkh vwdqgdug irup/ wkh wudqvlwlrq ixqfwlrq fdq eh vlpsolhg wr = T $ Fh T Wklv lv ehfdxvh wkh gluhfwlrq g lv xqltxho| ghwhuplqhg e| wkh qhz vwdwh t 5 T1Lw lv qrw kdug wr vhh wkdw d txdqwxp Wxulqj Pdfklqh lq vwdqgdug irup lv zhoo0iruphg li dqg rqo| li lwv wudqvlwlrq ixqfwlrq lv xqlwdu|1 Lq wklv fdvh/ wkh pdlq sureohp lq frqvwuxfwlqj wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh olhv lq lpsohphqwlqj d forvh dssur{lpdwlrq wr d vshflhg xqlwdu| wudqviru0 pdwlrq xvlqj rqo| wkh {hg vl}h ri xqlwdu| wudqvirupdwlrq doorzhg wr wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh1 Vxssrvh wkdw lv d g glphqvlrqdo xqlwdu| wudqvirupd0 wlrq1 Wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh dffrpsolvkhv wklv e| lpsohphqwlqj d vhtxhqfh ri yhu| hohphqwdu| rshudwlrqv= $juA|NA 6 Dq p p xqlwdu| pdwul{ X lv qhdu0wulyldo li lw vdwlvhv rqh ri wkh iroorzlqj wzr frqglwlrqv= X lv wkh lghqwlw| h{fhsw wkdw rqh ri lwv gldjrqdo hqwulhv lv hl iru vrph 5 ^3> 5`1 X lv wkh lghqwlw| h{fhsw wkdw wkh vxepdwul{ lq rqh sdlu ri glvwlqfw glphq0 vlrqv l dqg m lv wkh urwdwlrq e| vrph dqjoh 5 ^3> 5`1 Wkh iroorzlqj wkhruhp surylghv rqh ri wkh nh| lqjuhglhqwv lq vkrzlqj krz wr lpsohphqw dq| duelwudu| p glphqvlrqdo xqlwdu| wudqvirupdwlrq rq d xqlyhuvdo txdqwxp Wxulqj Pdfklqh= CjNij6 4 Dq| p glphqvlrqdo xqlwdu| wudqvirupdwlrq X fdq eh 0dssur{lpdwhg e| d surgxfw ri qhdu0wulyldo pdwulfhv1 Pruhryhu/ wkhuh lv d ghwhuplqlvwlf dojrulwkp wkdw rxwsxwv vxfk d ghfrpsrvlwlrq lq wlph sro|qrpldo lq p dqg orj 4@1 Qrz wkh vlpxodwlrq ri d jlyhq txdqwxp Wxulqj Pdfklqh P surfhhgv dv iroorzv1 Hdfk wdsh fhoo +v|pero, ri P lv hqfrghg e| d eorfn ri fhoov ri wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh1 Dovr/ wkh vwdwh t 5 T ri P lv zulwwhq rxw h{solflwo| rq wkh wdsh ri wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh1 Qrz/ wr vlpxodwh d vwhs ri P/wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh fduulhv rxw wkh xqlwdu| wudqvirupdwlrq rq wkh eorfn ri fhoov uhsuhvhqwlqj wkh fxuuhqwo| vfdqqhg v|pero ri P/dqgwkheorfnri fhoov uhsuhvhqwlqj wkh vwdwh t 5 T ri P1 Lw wkhq xsgdwhv wkh vfdqqhg v|pero e| vlpxodwlqj wkh pryhphqw ri wkh wdsh khdg ri P1 D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ :

Ghdolqj zlwk qrq0vwdqgdug irup txdqwxp Wxulqj Pdfklqhv

Wkh vwdwhv t 5 T ri d txdqwxp Wxulqj Pdfklqh P @ + >T>, pd| eh uhjdughg dv dq ruwkrqrupdo edvlv iru wkh Kloehuw vsdfh FmTm1 Frqvlghu d qhz txdqwxp Wxulqj Pdfklqh P 3/ zkrvh vwdwhv E fruuhvsrqg wr d glhuhqw ruwkrqrupdo edvlv iru wklv Kloehuw vsdfh1 Wkhq hdfk vwdwh e 5 E lv d olqhdu frpelqdwlrq ri wkh vwdwhv lq T1 Ilqdoo|/ li zh ghqh wkh wudqvlwlrq ixqfwlrq 3 ri P 3 dv wkh qdwxudo +olqhdu, h{whqvlrq ri / wkhq lw lv hdv| wr vhh wkdw P 3 kdv wkh vdph wlph hyroxwlrq dv P1Wkhnh| surshuw| wkdw idflolwdwhv wkh vlpxodwlrq ri txdqwxp Wxulqj Pdfklqhv wkdw duh qrw lq vwdqgdug irup lv= CjNij6 5 Iru dq| txdqwxp Wxulqj Pdfklqh P @+ >T>,/wkhuhlvd xqlwdu| fkdqjh ri edvlv iru FmTm/ vxfk wkdw wkh uhvxowlqj htxlydohqw txdqwxp Wxulqj Pdfklqh P 3 lv lq vwdqgdug irup1 Wkh rqo| uhpdlqlqj sureohp lq fduu|lqj rxw wkh frqvwuxfwlrq ri d xqlyhuvdo txdqwxp Wxulqj Pdfklqh lv wkdw wkh vwduw vwdwh dqg qdo vwdwh ri P xqghu wkh edvlv fkdqjh lq wkh wkhruhp deryh/ pljkw fruuhvsrqg wr vxshusrvlwlrqv ri vwdwhv lq P 31 Wr { wklv sureohp/ zh fdq vlpxodwh hdfk vwhs ri P xvlqj wkuhh vwhsv fkdqjh edvlv iurp T wr E/ vlpxodwh d vwhs ri P3/ fkdqjh edvlv edfn iurp E wr T1

Pxowl0wdsh txdqwxp Wxulqj Pdfklqhv

Wkh frqvwuxfwlrq ri wkh xqlyhuvdo txdqwxp Wxulqj Pdfklqh hdvlo| h{whqgv wr pxowl0wdsh txdqwxp Wxulqj Pdfklqhv lq vwdqgdug irup1 Krzhyhu/ wkh frqvwuxfwlrq jlyhq deryh grhv qrw zrun iru pxowl0wdsh txdqwxp Wxulqj Pdfklqhv1 Wkh glfxow| lv wkdw/ iru pxowl0wdsh TWPv/ wkhuh lv qr fkdqjh ri edvlv/ lq jhqhudo wkdw |lhogv dq htxlydohqw TWP lq vwdqgdug irup1 Qhyhuwkhohvv/ \dr*v frqvwuxfwlrq ^64`/vkrzlqj wkh sro|qrpldo htxlydohqfh ri txdqwxp Wxulqj Pdfklqhv dqg txdqwxp flufxlwv/ lpsolhv dq hflhqw xqlyhuvdo pxowl0wdsh TWP1 Wkhuh lv d shqdow| lq wkh vlpxodwlrq ryhukhdg/ krzhyhu/ wkdw jurzv dv h{srqhqwldoo| lq wkh qxpehu ri wdshv ri wkh TWP1 +Vlqfh wkh qxpehu ri wdshv lv d frqvwdqw/ wklv vwloo jlyhv d sro|qrpldo ryhukhdg1, Lw lv dq rshq txhvwlrq zkhwkhu wklv vlpxodwlrq ryhukhdg lv lqkhuhqw1

5151 Txdqwxp Flufxlwv1 Txdqwxp flufxlwv ^44` duh dqrwkhu devwudfw prgho iru txdqwxp frpsxwhuv1 \dr ^64` vkrzhg wkdw txdqwxp Wxulqj Pdfklqhv dqg xqlirup idplolhv ri txdqwxp flufxlwv duh htxlydohqw lq whupv ri wkhlu frpsxwlqj srzhu1 D txdqwxp flufxlw rq p txelwv lpsohphqwv d xqlwdu| wudqvirupdwlrq X rq wkh Kloehuw vsdfh +F5, p1 D xqlwdu| wudqvirupdwlrq rq q txelwv lv f orfdo li lw rs0 hudwhv qrqwulyldoo| rq dw prvw f ri wkh txelwv/ dqg suhvhuyhv wkh uhpdlqlqj txelwv1 Txdqwxp frpsxwdwlrq pd| eh wkrxjkw ri dv wkh vwxg| ri wkrvh xqlwdu| wudqviru0 pdwlrqv wkdw fdq eh uhdol}hg dv d vhtxhqfh ri forfdo xqlwdu| wudqvirupdwlrqv/ l1h1/ ri wkh irup

X @ X4X5 Xn> zkhuh wkh Xl duh f orfdo dqg n lv erxqghg e| d sro|qrpldo lq q1 Lqghhg/ lw kdv ehhq vkrzq wkdw zh fdq vlpsoli| wkh slfwxuh ixuwkhu/ dqg uhvwulfw dwwhqwlrq wr fhuwdlq vshfldo 5orfdo xqlwdu| wudqvirupdwlrqv/ dovr fdoohg hohphqwdu| txdqwxp jdwhv ^:`= ;XPHVK Y1 YD]LUDQL

Urwdwlrq D urwdwlrq ru skdvh vkliw wkurxjk dq dqjoh fdq eh uhsuhvhqwhg e| wkh pdwul{ frv vlq X @ = vlq frv Wklvfdqehwkrxjkwridvurwdwlrqriwkhd{hv+vhhIljxuh4,1

|1> |1’> |0’> θ θ |0> Iljxuh 41 Urwdwlrq1

Kdgdpdug wudqvirup Li zh uhhfw wkh d{hv lq wkh olqh @ @;/ zh jhw wkh Kdgdpdug wudqvirup1 +Vhh Iljxuh 5,1 Wklv fdq eh uhsuhvhqwhg e| wkh pdwul{ 4 44 K @ s = 5 4 4 |1>

|0’>

H H |0>

|1’> Iljxuh 51 Kdgdpdug wudqvirup1

Skdvh Iols Wkh skdvh ls jdwh rshudwhv rq d vlqjoh txelw e| wkh iroorzlqj pdwul{ 43 = 3 4 D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ <

Frqwuroohg QRW

Wkh frqwuroohg QRW jdwh +Iljxuh 6, rshudwhv rq 5 txelwv dqg fdq eh uhsuhvhqwhg e| wkh pdwul{ 3 4 4333 E3433F E F > C3334D 3343 zkhuhwkhedvlvhohphqwvduh+lqrughu,m33l/ m34l/ m43l/ m44l1 Li lqsxwv d dqg e duh edvlv vwdwhv/ wkhq wkh rxwsxwv duh d dqg d e1 a

b Iljxuh 61 Frqwuroohg QRW1 Dq| xqlwdu| wudqvirupdwlrq fdq eh dssur{lpdwhg e| xvlqj urwdwlrq e| @;/ wkh Kdgdpdug wudqvirup/ skdvh ls dqg frqwuroohg QRW jdwhv ^:`1

Sulplwlyhv iru txdqwxp frpsxwdwlrq

Ohw xv frqvlghu krz zh fdq vlpxodwh d fodvvlfdo flufxlw zlwk d txdqwxp flufxlw1 Wkh uvw revhuydwlrq lv wkdw txdqwxp hyroxwlrq lv xqlwdu|/ dqg wkhuhiruh uhyhuvleoh1 +Wkh hhfw ri d xqlwdu| wudqvirupdwlrq X fdq eh xqgrqh e| dsso|lqj lwv dgmrlqw,1 Wkhuhiruh/ li wkh fodvvlfdo flufxlw frpsxwhv wkh ixqfwlrq i = i3> 4jq $i3> 4j/wkhqzh pxvw doorz wkh txdqwxp flufxlw wr rxwsxw m{lmi+{,l rq lqsxw m{l1 Lw iroorzv iurp wkh zrun ri Ehqqhww ^7` rq uhyhuvleoh fodvvlfdo frpsxwdwlrq wkdw/ li F +i, lv wkh vl}h ri wkh vpdoohvw fodvvlfdo flufxlw wkdw frpsxwhv i/ wkhq wkhuh h{lvwv d txdqwxp flufxlw ri vl}h R +F +i,, zklfk/ iru hdfk lqsxw { wr i/ frpsxwhv wkh iroorzlqj xqlwdu| wudqvirupdwlrq Xi rq p txelwv

Xi = m{lm|l$m{lm| i +{,l

Lq jhqhudo wkrxjk/ zh grq*w qhhg wr ihhg Xi d fodvvlfdo vwdwh m{l1 Li zh ihhg Xi dvxshusrvlwlrq [ { m{lm3l {5i3>4jq wkhq/ e| olqhdulw|/ 3 4 [ [ [ C D Xi { m{lm3l @ {Xi +m{lm3l, @ { m{lmi +{,l 1 {5i3>4jq {5i3>4jq {5i3>4jq

Dw uvw vljkw lw pljkw vhhp wkdw zh kdyh frpsxwhg i +{, vlpxowdqhrxvo| iru hdfk edvlv vwdwh m{l lq wkh vxshusrvlwlrq1 Krzhyhu/ zhuh zh wr pdnh d phdvxuhphqw/ zh zrxog revhuyh i +{, iru rqo| rqh ydoxh ri {1 43 XPHVK Y1 YD]LUDQL

Kdgdpdug Wudqvirup Wkh vhfrqg sulplwlyh lv wkh Kdgdpdug wudqvirup K5q / zklfk fruuhvsrqgv wr q wkh Irxulhu wudqvirup ryhu wkh deholdq jurxs ]5 1 Wkh fruuhvsrqghqfh lv edvhg rq q q lghqwli|lqj i3> 4j zlwk ]5 / zkhuh wkh jurxs rshudwlrq lv elwzlvh dgglwlrq prgxor q q 51 Rqh zd| wr ghqh K5q lv dv wkh 5 5 pdwul{ lq zklfk wkh +{> |,hqwu|lv 5q@5 +4,{|1 Dq htxlydohqw zd| lv dv iroorzv1 Ohw K eh wkh xqlwdu| wudqvirupdwlrq rq rqh txelw ghqhg e| wkh pdwul{ # $ s4 s4 5 5 = s4 s4 5 5 Li d txdqwxp flufxlw frqvlvwv ri vxeflufxlwv rshudwlqj rq glvmrlqw txelwv/ wkhq wkh xqlwdu| wudqvirupdwlrq ghvfulelqj wkh flufxlw lv wkh whqvru surgxfw ri wkh xqlwdu| q wudqvirupdwlrqv ghvfulelqj wkh lqglylgxdo vxeflufxlwv1 Wkxv/ K5q @ K /ruK whqvruhg zlwk lwvhoi q wlphv1 q Dsso|lqj wkh Kdgdpdug wudqvirup +ru wkh Irxulhu wudqvirup ryhu ]5 , wr wkh vwdwh ri doo }hurv jlyhv dq htxdo vxshusrvlwlrq ryhu doo 5q vwdwhv 4 [ K5q m3 3l @ s m{l = 5q {5i3>4jq Lq jhqhudo/ dsso|lqj wkh Kdgdpdug wudqvirup wr wkh frpsxwdwlrqdo edvlv vwdwh mxl |lhogv= [ 4 x{ K5q mxl @ s +4, m{l 5q {5i3>4jq

5161 Sro|qrpldo Htxlydohqfh ri Txdqwxp Wxulqj Pdfklqhv dqg Txdq0 wxp Flufxlwv1 Wkh fhqwudo lvvxhv wr eh dgguhvvhg lq frqvwuxfwlqj dq hflhqw txdqwxp flufxlw htxlydohqw wr d jlyhq TWP duh wkh vdph dv wkrvh lq frqvwuxfwlqj d xqlyhuvdo TWP1 Lq hdfk fdvh/ zh pxvw ghfrpsrvh rqh vwhs ri wkh vlpxodwhg pdfklqh +zklfk lv d pdsslqj iurp wkh frpsxwdwlrqdo edvlv wr d qhz ruwkrqrupdo edvlv, lqwr pdq| vlpsoh vwhsv/ hdfk ri zklfk fdq rqo| pds vrph ri wkh frpsxwdwlrqdo edvlv yhfwruv wr wkhlu ghvluhg ghvwlqdwlrqv1 Lq jhqhudo/ wklv sduwldo wudqvirupdwlrq zloo qrw eh xqlwdu|/ ehfdxvh wkh ghvwlqdwlrq yhfwruv zloo qrw eh ruwkrjrqdo wr wkh frpsxwd0 wlrqdo edvlv yhfwruv zklfk kdyh qrw |hw ehhq rshudwhg rq1 Wkh pdlq lghd lq \dr*v frqvwuxfwlrqlvwrfuhdwhdvhfrqgfrs|riwkhvsdfh/dqglqhdfkvwhswrpdsvrph ri wkh frpsxwdwlrqdo edvlv yhfwruv wr wkhlu ghvluhg ghvwlqdwlrqv/ exw lq wkh vhfrqg frs|1 Rqfh doo ri wkh edvlv yhfwruv kdyh ehhq pdsshg/ wkhq wkh frslhv ri wkh vsdfh fdq eh lqwhufkdqjhg1 CjNij6 6 D n wdsh TWP uxqqlqj iru W vwhsv fdq eh vlpxodwhg e| d txdqwxp flufxlw zlwk dffxudf| / dqg vl}h R+W 5 orjR+4, ,1 iNNu Ohw P @ + >T>, eh d zhoo0iruphg jhqhudol}hg TWP/ dqg { W> A 31 Wkh vlpxodwlrq xvhv dq h{wud txelw e/ wr fuhdwh wzr frslhv ri wkh vsdfh ri frqjxudwlrqv ri P1QrzliX ghqrwhv wkh xqlwdu| wudqvirupdwlrq fduulhg rxw e| P/ wkhq wkh jrdo ri wkh vlpxodwlrq lv wr fduu| rxw wkh wudqvirupdwlrq m4lk3m X . m3lk4m X 41 Wkh pdlq sulqflsoh wkdw hqdeohv wkh vlpxodwlrq wr eh fduulhg rxw lv wkh iroorzlqj1 Li X lv d xqlwdu| wudqvirupdwlrq dfwlqj rq wkh vsdfh Y /dqgliiSlj duh pxwxdoo| ruwkrjrqdo vxevsdfhv ri Y / wkhq wkh wudqvirupdwlrq m4lk3m X .m3lk4m X4 rq F5 Y D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ 44 pdsv m3l Sl wr m4l X+Sl, dqg ylfh yhuvd1 Iru wkh vlpxodwlrq ri P/ wkh vxevsdfhv Sl lv vsdqqhg e| doo wkrvh frqjxudwlrqv ri P lq zklfk wkh wdsh khdg lv lq wdsh fhoo l1 Vlqfh wkh dfwlrq ri wkh TWP lv orfdo/ zh pd| zulwh wkh wudqvirupdwlrq 4 m4lk3m X . m3lk4m X dfwlqj rq Sl/ dv d xqlwdu| wudqvirupdwlrq [l rq wkh vpdoohu vhw ri txelwv ghvfulelqj wkh frqwhqwv ri wkh wkuhh wdsh fhoov l 4>l>l. 4/ wkh qlwh vwdwh frqwuro / dqg wkh h{wud txelw e1 Vlqfh wkh wdsh khdg pxvw eh frqqhg ehwzhhq wdsh fhoov +W 4, dqg W 4 lq wkh uvw W vwhsv/ wr vlpxodwh d vwhs ri P/ lw vxfhv wr fduu| rxw wkh vhtxhqfh ri xqlwdu| wudqvirupdwlrqv [l iru l udqjlqj iurp +W 4, wr W 41 Ilqdoo|/ wkh txelw e pxvw eh lsshg wr uhvwruh wkh vwdwh wr wkh ruljlqdo kdoi ri wkh vsdfh1 Wr qlvk wkh surri/ zh revhuyh wkdw hdfk ri wkh wudqvirupdwlrqv [l lv ghqhg rq d erxqghg qxpehu ri txelwv1 Wr vlpxodwh wkhp wr zlwk lq d frqvwdqw /zhpxvw lqyrnh d wkhruhp ri Nlwdhy dqg Vroryd| +vhh ^55` iru dq h{srvlwlrq,/zklfkvwdwhv wkdw li d vhw ri wudqvirupdwlrqv lv ghqvh lq VX+5, dqg forvhg xqghu Khuplwldq frqmxjdwlrq/ wkhq dq| vlqjoh txelw jdwh fdq eh dssur{lpdwhg wr zlwklq e| d surgxfw ri orjR+4, wudqvirupdwlrqv iurp wkh vhw1 Vroryd| dqg \dr ^59` srlqw rxw wkdw wkh vdph whfkqltxh fdq eh xvhg wr vlpxodwh d pxowl0wdsh TWP rq d vlqjoh0wdsh TWP1 Lqvwhdg ri exloglqj d txdqwxp jdwh wkdw rshudwhv rq wkuhh dgmdfhqw fhoov wr xsgdwh dq| frqjxudwlrq zlwk wkh wdsh khdg lq wkh plggoh fhoo/ zh exlog d txdqwxp jdwh wkdw rshudwhv rq vhwv ri wkuhh dgmdfhqw fhoov iurp hdfk ri wkh wdshv wr xsgdwh dq| frqjxudwlrq zlwk hdfk ri wkh wdsh khdgv lq wkhplggohriwkhwkuhhfhoov1Vlqfhzhkdyh+W , fhoov iru hdfk wdsh/ wklv phdqv zh qhhg wr dsso| wkh txdqwxp jdwh +W n, wlphv wr kdqgoh hyhu| srvvleoh frpelqdwlrq ri wdsh khdg srvlwlrqv1 Wklv surri whfkqltxh wkhuhiruh rqo| doorzv d TWP zlwk d frqvwdqw qxpehu ri wdshv wr eh vlpxodwhg zlwk d sro|qrpldo vorzgrzq1 Ehuqvwhlq ^8` vkrzhg krz wr lpsuryh wkh vlpxodwlrq ryhukhdg iurp W n wr 6n1 Lw lv dq rshq txhvwlrq zkhwkhu wklv h{srqhqwldo ghshqghqfh rq n lv qhfhvvdu|1

61 Txdqwxp Frpsoh{lw| Fodvvhv=

Uhfdoo wkdw d odqjxdjh O lv lq wkh fodvv S +sro|qrpldo wlph,/ li wkhuh lv d sro|qrpldo wlph ghwhuplqlvwlf Wxulqj Pdfklqh zklfk rq lqsxw { 5 ghflghv zkhwkhu ru qrw { lv lq O1 Wkh fodvv ri hflhqwo| vroydeoh sureohpv lv lghqwlhg zlwk wkh fodvv ESS +erxqghg0huuru suredelolvwlf sro|qrpldo wlph,1

Ghqlwlrq= D odqjxdjh O lv lq wkh fodvv ESS li wkhuh lv d suredelolvwlf sro|qrpldo wlph Wxulqj Pdfklqh zklfk rq lqsxw { 5 dffhswv zlwk suredelolw| dw ohdvw 5@6zkhq{ 5 O/ dqg uhmhfwv zlwk suredelolw| dw ohdvw 5@6zkhq{@5 O1Wkh suredelolw| ri fruuhfw dqvzhu 5@6 fdq eh errvwhg wr 4 e| uxqqlqj wkh suredelolvwlf Wxulqj Pdfklqh R+orj 4@, wlphv dqg wdnlqj wkh pdmrulw| dqvzhu1

Wkh fodvv ri hflhqwo| vroydeoh sureohpv rq d txdqwxp frpsxwhu lv ETS +erxqghg0huuru txdqwxp sro|qrpldo wlph,1 Ghqlwlrq= D odqjxdjh O lv lq wkh fodvv ETS li wkhuh lv d sro|qrpldo wlph txdqwxp Wxulqj Pdfklqh zklfk rq lqsxw { 5 dffhswv zlwk suredelolw| dw ohdvw 5@6zkhq{ 5 O/ dqg uhmhfwv zlwk suredelolw| dw ohdvw 5@6zkhq{@5 O1Rqfh djdlq wkh suredelolw| ri fruuhfw dqvzhu/ 5@6/ fdq eh errvwhg wr 4 e| uxqqlqj wkh suredelolvwlf Wxulqj Pdfklqh R+orj 4@, wlphv dqg wdnlqj wkh pdmrulw| dqvzhu1 45 XPHVK Y1 YD]LUDQL

ETS pd| eh htxlydohqwo| ghqhg dv wkh fodvv ri odqjxdjhv dffhswhg e| d sro|qrpldo wlph xqlirup idplo| ri sro|qrpldo vl}h txdqwxp flufxlwv1 Vlqfh zhoo0iruphg txdqwxp Wxulqj Pdfklqhv pxvw kdyh xqlwdu| wlph hyroxwlrq/ lw lv qrw d sulrul fohdu wkdw ETS frqwdlqv S1 Wr vkrz wklv/ rqh pxvw dsshdo wr zrun e| Ehqqhww ^7` vkrzlqj wkdw wkh fodvv S fdq eh uhfrjql}hg e| uhyhuvleoh sro|qrpldo wlph Wxulqj Pdfklqhv1 Ixuwkhupruh/ d suredelolvwlf Wxulqj Pdfklqh fdq eh vlpxodwhg e| d txdq0 wxp Wxulqj Pdfklqh dv iroorzv1 Li wkh suredelolvwlf Wxulqj Pdfklqh P lsv n frlqv/ wkhq wkh txdqwxp Wxulqj Pdfklqh vwduwv zlwk d eorfn ri n txelwv lqlwldoo| lq wkh vwdwh 3n 1 Qrz lw shuirupv d @7urwdwlrq rq hdfk txelw wr hqg xs lq m3l.m4l S wkh vwdwh + s ,n @5n@5 m{l1 Qrz/ li wkh txdqwxp Wxulqj Pdfklqh 5 {5i3>4jn vlpxodwhv P/xvlqjwkhvhn elwv dv wkh rxwfrphv ri wkh frlq lsv +exw rwkhuzlvh ohdylqjS wkhvh n elwv xqfkdqjhg,/ wkhq wkh vwdwh dw wkh hqg ri wklv frpsxwdwlrq lv n@5 5 {5i3>4jn m{lmP+{,l1 Phdvxulqj wkh uhvxowlqj vwdwh |lhogv P+{, iru d xql0 irupo| udqgrp ydoxh ri { dv ghvluhg1 Wkxv zh kdyh wkh frqwdlqphqwv S ESS ETS1

Qh{w/ zh vkrz wkdw ETS S &S 1 Uhfdoo wkdw/ jlyhq d suhglfdwh i+{> |, wkdw fdq eh frpsxwhg lq wlph sro|qrpldo lq m{m/ wkh fruuhvsrqglqj frxqwlqj ixqfwlrq j+{, @ mi| = i+{> |,jm lv lq S &S 1 CjNij6 7 S ESS ETS S &S SVSDFH1 ZhjlyhdvnhwfkriwkhsurriwkdwETS S &S 1 Lw xvhv wkh idfw iurp ^<` wkdw zh fdq dvvxph zlwkrxw orvv ri jhqhudolw| wkdw doo wkh wudqvlwlrq dpsolwxghv vshflhg lq wkh wudqvlwlrq ixqfwlrq duh uhdo1 Wkh dfwlrq ri wkh wudqvlwlrq ixqfwlrq ri TWP P pd| eh ghvfulehg e| d wuhh1 Wkh urrw ri wkh wuhh fruuhvsrqgv wr wkh lqlwldo frqjxudwlrq/ dqg dsso|lqj wr wkh frqjxudwlrq fruuhvsrqglqj wr dq| qrgh |lhogv d vxshusrvlwlrq ri frqjxudwlrqv uhsuhvhqwhg e| wkh fkloguhq ri wkdw qrgh1 Wkh ohdyhv ri wkh wuhh fruuhvsrqg wr dffhswlqj dqg uhmhfwlqj frqjxudwlrqv1 Ohw s eh d urrw0ohdi sdwk lq wklv wuhh1 Wkh dpsolwxgh ri wklv sdwk s lv mxvw wkh surgxfw ri wkh eudqfklqj dpsolwxghv dorqj wkh sdwk/ dqg lv frpsxwdeoh wr zlwklq 4@5m lq wlph sro|qrpldo lq m1 Vhyhudo sdwkv pd| ohdg wr wkh vdph frqjxudwlrq f1 Wkxv wkh dpsolwxgh ri f diwhuS W vwhsv ri frpsxwdwlrq lv wkh iroorzlqj vxp ryhu doo W ohqjwk sdwkv s= @ 1 Wkh suredelolw| wkdw TWP P dffhswv lv S f swrf s m m51Ohwd @ pd{+ > 3, dqg e @ pd{+ > 3,1Wkhqm m5 fdq eh dffhswlqj f f S s s S s Ss f 5 5 5 5 zulwwhq dv mfm @ swrf+ds es, @ swrfds . es s>s3 wr f 5dses1 Lw iroorzv wkdw wkh dffhswdqfhS suredelolw|S ri P fdq eh zulwwhqS dv wkhS glhuhqfh ehwzhhq wkh 5 5 wzr txdqwlwlhv dffhswlqj f swrfds .es/dqg dffhswlqj f s>s3 wr f 5dses3 1Vlqfh hdfk ri wkhvh txdqwlwlhv lv hdvlo| vhhq wr eh lq S &S / lw iroorzv wkdw ETS S &S 1 Lq ylhz ri wklv wkhruhp/ zh fdqqrw h{shfw wr suryh wkdw ETS vwulfwo| frq0 wdlqv ESS zlwkrxw uhvroylqj wkh orqj vwdqglqj rshq txhvwlrq lq frpsxwdwlrqdo frpsoh{lw| wkhru|/ qdpho|/ zkhwkhu ru qrw S @ SVSDFH1

71 Uhfxuvlyh Irxulhu Vdpsolqj

Lq wklv vhfwlrq/ zh vkdoo lqwurgxfh wkh uhfxuvlyh Irxulhu vdpsolqj sureohp/ vkrz wkdw lw fdq eh vroyhg lq sro|qrpldo wlph rq d txdqwxp frpsxwhu1 Krzhyhu/ zh vkdoo D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ 46 dovr vkrz wkdw lw grhv qrw hyhq olh lq wkh fodvv PD +wkh suredelolvwlf jhqhudol}dwlrq ri QS/ vhh vhfwlrq 9 iru d ghqlwlrq, uhodwlyh wr vrph rudfoh1 Wkh uhfxuvlyh Irxulhu vdpsolqj sureohp zdv ghqhg e| Ehuqvwhlq dqg Yd}ludql ^<`/ dqg zdv lqvsluhg e| hduolhu zrun e| Ghxwvfk dqg Mr}vd ^46`1 Lw qrw rqo| surylghg wkh uvw h{dpsoh ri d sureohp wkdw ghprqvwudwhv d vxshusro|qrpldo vshhgxs ri txdqwxp dojrulwkpv ryhu suredelolvwlf dojrulwkpv/ exw lw dovr vkrzv wkdw ETS - PD uhodwlyh wr dq rudfoh1 Wkh surri suhvhqwhg khuh lv d prglfdwlrq ri wkh surri iurp ^<`/ iroorzhg e| dq hohjdqw dujxphqw iurp ^4:`1 Iluvw zh lqwurgxfh wkh edvlf sulplwlyh/ Irxulhu vdpsolqj1

Irxulhu Vdpsolqj S Lq jhqhudo/ li zh vwduw zlwk d vwdwh m!l @ m{l/ wkhq/ diwhu dsso|lqj wkh { { H S q e Irxulhu wudqvirup ryhu ]5 / zh rewdlq wkh qhz vwdwh ! @ { { m{el1Qrwlfhwkdw wklv wudqvirup fdq eh frpsxwhg e| dsso|lqj rqo| q vlqjoh txelw jdwhv/ zkhuhdv lw lv frpsxwlqj wkh Irxulhu wudqvirup rq d 5q glphqvlrqdo yhfwru1 Krzhyhu/ wkh rxwsxw ri wkh Irxulhu wudqvirup lv qrw dffhvvleoh wr xv1 Wr uhdg rxw wkh dqvzhu/ zh pxvw 5 pdnh d phdvxuhphqw/ dqg qrz zh rewdlq { zlwk suredelolw| me{m 1 Wklv surfhvv ri frpsxwlqj wkh Irxulhu wudqvirup dqg wkhq shuiruplqj d phdvxuhphqw lv fdoohg Irxulhu vdpsolqj/ dqg lv rqh ri wkh edvlf sulplwlyhv lq txdqwxp frpsxwdwlrq1 Wr vhh wkh srzhu ri Irxulhu vdpsolqj/ vxssrvh zh duh jlyhq d ixqfwlrq i = i3> 4jq $i4> 4j vxfk wkdw wkhuh lv dq v 5i3> 4jq vxfk wkdw iru doo {/ i+{, @ v {/ zkhuh v{ ghqrwhv wkh grw surgxfw v4{4..vq{q prg 5/ l1h1/ i lv rqh ri wkh Irxulhu edvlv ixqfwlrqv1 Wkh wdvn lv wr ghwhuplqh zklfk rqh lw lv1 Wkh iroorzlqj txdqwxp dojrulwkp fduulhv rxw wklv wdvn xvlqj wzr txdqwxp uhjlvwhuv/ wkh uvw frqvlvwlqj ri q txelwv/ dqg wkh vhfrqg frqvlvwlqj ri d vlqjoh txelw1 q Vwduw zlwk wkh uhjlvwhuv lq wkh vwdwh m3 lm3l S Frpsxwh wkh Irxulhu wudqvirup rq wkh uvw uhjlvwhu wr jhw {5i3>4jq m{l m3l1 S Frpsxwh i wr jhw m{lmi+{,l1 { S Dsso| d frqglwlrqdo skdvh edvhg rq i+{,wrjhw +4,i+{, m{lmi+{,l1 S { i+{, Xqfrpsxwh i wr jhw {+4, m{l m3l1 Frpsxwh wkh Irxulhu wudqvirup rq wkh uvw uhjlvwhu wr jhw mvl m3l1 Phdvxulqj wkh uvw uhjlvwhu qrz |lhogv wkh vwulqj v1 Qrwlfh wkdw wkh txdqwxp dojrulwkp txhulhg wkh errohdq ixqfwlrq i rqo| wzlfh/ exw rewdlqhg q elwv ri lqiru0 pdwlrq derxw lw lq wkh surfhvv$ Dq hdv| lqirupdwlrq wkhruhwlf dujxphqw vkrzv wkdw dq| fodvvlfdo +suredelolvwlf, dojrulwkp pxvw pdnh dw ohdvw q txhulhv wr rewdlq wklv lqirupdwlrq1 Wklv vlqjoh lwhudwlrq ri Irxulhu vdpsolqj lv fduulhg rxw e| h{dfwo| wkh txdqwxp flufxlw ghylvhg e| Ghxwvfk dqg Mr}vd ^46`1 Wkh rqo| glhuhqfh khuh lv wkdw/ xqolnh wkh Ghxwvfk0Mr}vd sureohp/ khuh doo wkh q rxwsxw elwv duh phdvxuhg +dqg wkh surplvh wkdw i pxvw vdwlvi| lv glhuhqw,1 Rqh zd| wr xvh wklv glhuhqfh lq wkh qxpehu ri txhulhv lq rughu wr ghprqvwudwh d jds ehwzhhq txdqwxp dqg suredelolvwlf dojrulwkpv lv wr pdnh wkh txhulhv yhu| h{shqvlyh1 Wkhq wkh txdqwxp dojrulwkp zrxog eh q@5 wlphv idvwhu wkdq dq| sure0 delolvwlf dojrulwkp iru wkh jlyhq wdvn1 Wkh lghd ehklqg surylqj d vxshusro|qrpldo jds lv wr pdnh hdfk txhu| lwvhoi eh wkh dqvzhu wr d Irxulhu vdpsolqj sureohp1 Qrz hdfk txhu| lwvhoi lv pxfk hdvlhu iru wkh txdqwxp dojrulwkp wkdq iru dq| suredelolvwlf 47 XPHVK Y1 YD]LUDQL dojrulwkp1 Fduu|lqj wklv rxw uhfxuvlyho| iru orj q ohyhov ohdgv wr wkh vxshusro|qr0 pldo vshhgxs iru txdqwxp dojrulwkpv1

Uhfxuvlyh Irxulhu vdpsolqj

Zh vd| wkdw d errohdq ixqfwlrq i ghqhv d Irxulhu vdpsolqj wuhh li i+{4>===>{n,@ v+{4>===>{n4, {n/zkhuh ghqrwhv wkh grw surgxfw dv ghqhg deryh1 Zh vd| wkdw i lv ghulyhg iurp j +dqg j vshflhv wkh Irxulhu vdpsolqj wuhh i,lii+{4>===>{n4,@ j+{4>===>{n4>v,1 Lq wkh uhfxuvlyh Irxulhu vdpsolqj sureohp/ wkh {m*v irup d whoh0 om vfrslqj vhulhv/ vr wkdw m{m.4m @ m{mm@5@5 /grzqwrm{o.4m @41Qrz/jlyhqdq rudfoh iru j/ dqg wkh ydoxhv ri i iru wkh ohdi qrghv +ri wkh irup +{4>{5>===>{o.4,,/ wkh fkdoohqjh lv wr ghwhuplqh i+{4,1 D uhfxuvlyh lpsohphqwdwlrq ri wkh Irxulhu vdpsolqj sulplwlyh lqwurgxfhg deryh fdq eh xvhg wr jlyh d sro|qrpldo wlph txdqwxp dojrulwkp wr vroyh wklv sureohp dv iroorzv1 Iru wkh edvh fdvh/ vlqfh i lv nqrzq dw wkh ohdi qrghv/ wr ghwhuplqh i+{4>{5>===>{o,/ zh vlpso| shuirup Irxulhu vdpsolqj zlwk uhvshfw wr wkh wzr ohdyhv lq wklv vxewuhh/ wr ghwhuplqh v+{4>{5>===>{o, dqg wkhq rxwsxw j+{4>{5>===>{o>v,1 Lq jhqhudo/ wr ghwhuplqh i+{4>===>{n4,/ zh shuirup Irxulhu vdpsolqj +uhfxuvlyho| xvlqj wkh ydoxhv ri i+{4>===>{n4>{n,, wr ghwhuplqh v+{4>===>{n4,/dqgwkhqrxw0 sxw j+{4>===>{n4>v,1 Vlqfh wkh Irxulhu vdpsolqj uhtxluhv rqo| wzr txhulhv wr i+{4>===>{n4>{n,/ wkh uxqqlqj wlph ri wklv txdqwxp dojrulwkp vdwlvhv wkh uhfxu0 q uhqfh uhodwlrq W +q, 5W + 5 , . R+q,/ zkrvh vroxwlrq lv W +q, @ R+q orj q,1 Rq wkh rwkhu kdqg/ li d fodvvlfdo dojrulwkp zhuh wr wdnh wkh vdph nlqg ri uhfxuvlyh dssurdfk/ lw pxvw pdnh q txhulhv dw wkh kljkhvw ohyho/ hdfk uhtxlulqj q@5 txhulhv dw wkh qh{w ohyho/ hwf1 Wkh uhfxuuhqfh uhodwlrq lv qrz wkh iroorzlqj q orj q W +q, qW + 5 ,. +q,/ zklfk lpsolhv W +q, @ +q ,1 Surylqj vxfk d orzhu erxqg iru dq| suredelolvwlf dojrulwkp +dqg jhqhudol}lqj lw wr dq| Phuolq0Duwkxu surwrfro, uhtxluhv pruh zrun1 Zh vwduw e| surylqj wkdw li j lv fkrvhq xqlirupo| dw udqgrp iurp dprqj ixqfwlrqv vshfli|lqj Irxulhu vdpsolqj wuhhv i/ dqg zh frqglwlrq rq orj q wkh ydoxhv ri j dw dq| fkrlfh ri r+q , srlqwv/ wkhq wkh ydoxh ri i+{4,lvdoprvw xqeldvhg1 Frqvlghu d vhw V ri txhu|0dqvzhu sdluv wkdw duh frqvlvwhqw zlwk vrph ohjdo Irxulhu vdpsolqj wuhh1 Frqvlghu d qrgh | @+{4>===>{n4, lq wkh wuhh1 Frqvlghu d ohjdo Irxulhu vdpsolqj wuhh i zklfk djuhhv zlwk V ehorz | lq wkh wuhh1 Wkhq i ghwhuplqhv vwulqj v vxfk wkdw i+{4>===>{n, @ {n v1Vd|wkdw| lv d klw li +{4>===>{n4>v, lv d txhu| lq V1OhwS +|, ghqrwh wkh suredelolw| wkdw | lv d klw +zlwk uhvshfw wr V, zkhq j lv fkrvhq xqlirupo| dprqj doo ixqfwlrqv vxfk wkdw wkh ghulyhg Irxulhu vdpsolqj wuhh i djuhhv zlwk V ehorz | lq wkh wuhh1 Vlploduo|/ li } lv dq dqfhvwru ri |/ ghqrwh e| S}+|, wkh suredelolw| wkdw | lv d klw zkhq j lv fkrvhq xqlirupo| dprqj doo ixqfwlrqv vxfk wkdw wkh ghulyhg Irxulhu vdpsolqj wuhh i djuhhv zlwk V ehorz } lq wkh wuhh1

wj66B 4 S}+|, 5S +|,1 Surri Vnhwfk Zh revhuyh wkdw wkh txhulhv rxwvlgh ri wkh vxewuhh urrwhg dw | fdq rqo| ghwhuplqh wkh ydoxh ri i+|,/ exw qrw wkh vwulqj v1Li| lv qrw d klw/ wkhq wkh rqo| frqvwudlqw wklv sodfhv lv rq j+|> v,1 Wkh ohppd iroorzv1

wj66B 5 Li wkhuh duh t txhulhv ri V lq wkh vxewuhh urrwhg dw |/wkhqS{+|, t@+q@7,/zkhuhq @5c/dqgc lv wkh khljkw ri | lq wkh wuhh1 Khuh +q, lv wkh surgxfw q+q@5, 4@5c+c.4,@51 D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ 48

Surri Vnhwfk Wkh surri lv e| lqgxfwlrq rq c1 Iru wkh lqgxfwlyh vwhs/ li t3 ri wkh t txhulhv duh dw |/ dqg wkhuh duh h{dfwo| f klwv dprqj wkh 5q fkloguhq ri |/wkhq t3 wkh suredelolw| wkdw | lv d klw lv dw prvw 5qf 1 Wkxv wkh suredelolw| wkdw | lv d klw lv erxqghg deryh e| wkh vxp ri t3 dqg wkh suredelolw| wkdw dw ohdvw q@5riwkh 5q@5 fkloguhq ri | duh klwv1 E| wkh lqgxfwlrq k|srwkhvlv dqg dq hdv| pdqlsxodwlrq wkh tt3 tt3 odwwhu suredelolw|/ lw fdq eh erxqghg e| 5+q@7, 1 Lw iroorzv wkdw S +|, 5+q@7, . t3 t 1 5q@5 5+q@7, E| wkh deryh ohppd/ lw iroorzv wkdw dq| ghwhuplqlvwlf dojrulwkp wkdw pdnhv r+qorj q, txhulhv jlyhv wkh zurqj dqvzhu rq dw ohdvw 4@5 r+4, iudfwlrq ri lqsxwv j fkrvhq xqlirupo| dw udqgrp iurp dprqj ixqfwlrqv vshfli|lqj Irxulhu vdpsolqj wuhhv i1Qrze|\dr*vohppd^63`/ lw iroorzv wkdw dq| suredelolvwlf dojrulwkp wkdw pdnhv r+qorj q, txhulhv pxvw kdyh huuru suredelolw| dw ohdvw 4@5r+4, rq vrph lqsxw1 Wklv frpsohwhv wkh surri wkdw uhodwlyh wr vrph rudfoh/ ETS surshuo| frqwdlqv ESS1 Wr vkrz wkdw uhodwlyh wr vrph rudfoh ETS frqwdlqv d sureohp wkdw lv qrw lq PD/ zh vwduw zlwk wkh iroorzlqj revhuydwlrq1 Wkh deryh ohppd dfwxdoo| vkrzv wkdw dq| qrq0ghwhuplqlvwlf dojrulwkp wkdw pdnhv r+qorj q, txhulhv jlyhv wkh zurqj dqvzhu rq dw ohdvw 4@5 r+4, iudfwlrq ri lqsxwv j fkrvhq xqlirupo| dw udqgrp iurp dprqj ixqfwlrqv vshfli|lqj Irxulhu vdpsolqj wuhhv i1 Qrz zh vkrz wkdw wkhuh lv dq rudfoh uhodwlyh wr zklfk wkh uhfxuvlyh Irxulhu vdpsolqj sureohp lv qrw lq PD1 Wkh surri lv e| frqwudglfwlrq1 Dvvxph wr wkh frqwudu| wkdw wkhuh lv d Phuolq0Duwkxu surwrfro wkdw uxqv lq wlph sro|+q,1 Wkhq li wkh lqsxw j lv lq wkh odqjxdjh/ wkhuh lv d surri ri ohqjwk dw prvw sro|+q, vxfk wkdw wkh yhulhu dffhswv zlwk suredelolw| dw ohdvw 5@6 +dqg uxqqlqj wlph dw prvw sro|+q,,1 Dqg li wkh lqsxw j lv qrw lq wkh odqjxdjh/ wkhq iru hyhu| surri wkh yhulhu uhmhfwv zlwk suredelolw| dw ohdvw 5@61 Vlqfh wkh surwrfro lv Phuolq0Duwkxu/ zh fdq errvw wkh vxffhvv suredelolw| e| uxqqlqj wkh yhulhu*v dojrulwkp vhyhudo wlphv xvlqj lqghshqghqw udqgrp vwulqjv +zlwkrxw lqfuhdvlqj wkh ohqjwk ri wkh surri wkdw suryhu vhqgv,1 Wkxv e| lqfuhdvlqj wkh uxqqlqj wlph ri wkh yhulhu wr R+sro|+q, sro|3+q,,/ zh fdq uhsodfh wkh huuru suredelolw| 4@6deryhe| 4 1 Qrz ohw xv slfn j xqlirupo| dw udqgrp iurp dprqj ixqfwlrqv vshfli|lqj 5sro|3+q, Irxulhu vdpsolqj wuhhv i1Wkhqlij lv lq wkh odqjxdjh/ fohduo| wkh yhulhu uhmhfwv zlwk suredelolw| dw prvw 4 1Lij lv qrw lq wkh odqjxdjh/ wkhq wkh yhulhu 5sro|3+q, dffhswv hdfk srvvleoh surri zlwk suredelolw| dw prvw 4 1 Exw vlqfh wkhuh duh 5sro|3+q, dw prvw 5sro|+q, surriv ri ohqjwk sro|+q,/ lw iroorzv wkdw wkh yhulhu dffhswv zlwk suredelolw| dw prvw 5sro|+q, 1 Wkxv lq hdfk fdvh wkh yhulhu huuv zlwk suredelolw| dw 5sro|3+q, prvw 5sro|+q, 1 Lw iroorzv wkdw wkhuh lv d {hg udqgrp wdsh iru wkh yhulhu vxfk wkdw 5sro|3+q, wkh yhulhu huuv rq dw prvw 5sro|+q, iudfwlrq ri wkh j*v1 Exw zlwk d {hg udqgrp 5sro|3+q, wdsh/ wkh yhulhu lv ghwhuplqlvwlf/ dqg wklv frqwudglfwv wkh frqvhtxhqfh ri wkh ohppd deryh wkdw dq| qrq0ghwhuplqlvwlf dojrulwkp wkdw pdnhv r+qorj q, txhulhv pxvw jlyh wkh zurqj dqvzhu rq dw ohdvw 4@5 r+4, iudfwlrq ri lqsxwv j1 Wklv frpsohwhv wkh surri ri wkh iroorzlqj wkhruhp=

CjNij6 8 WkhuhlvdqrudfohuhodwlyhwrzklfkETS - PD1 49 XPHVK Y1 YD]LUDQL

81 Txdqwxp Orzhu Erxqgv

Lq ylhz ri wkh h{srqhqwldo dgydqwdjh rhuhg e| txdqwxp dojrulwkpv iru fhuwdlq frpsxwdwlrqdo sureohpv vxfk dv sulph idfwrul}dwlrq/ lw lv whpswlqj wr dvn zkhwkhu txdqwxp frpsxwhuv fdq vroyh QS0frpsohwh sureohpv lq sro|qrpldo wlph1 Frqvlghu wkh QS0frpsohwh sureohp 60VDW1 Jlyhq d 6FQI Errohdq irupxod i+{4>{5>===>{q,/ lv wkhuh dq errohdq dvvljqphqw wr {4>===>{q wkdw vdwlvhv iB Euxwh irufh vhdufk zrxog wdnh R+Q, vwhsv/ zkhuh Q @5q1 Lv lw srvvleoh wkdw wkh h{srqhqwldo dgydqwdjh ri txdqwxp frpsxwhuv frxog eh xvhg wr ghwhuplqh vxfk d wuxwk dvvljqphqw lq sro|qrpldo wlphB Zh zloo devwudfw wklv sureohp lq d eodfn er{ ru rudfoh prgho dv iroorzv1 Dvvxph wkdw wkh lqsxw wr wkh sureohp lv d wdeoh zlwk Q errohdq hqwulhv/ dqg wkh wdvn lv wr qg zkhwkhu dq| hqwu| lq wkh wdeoh lv 41 Fodvvlfdo dojrulwkpv duh doorzhg udqgrp dffhvv wr wkh wdeoh hqwulhv/ dqg txdqwxp dojrulwkpvS fdq txhu| wkh hqwulhv ri wkh wdeoh lq vxshusrvlwlrq/ l1h1/ d txhu| lv ri wkh irup m{lm3l/ dqg wkh dqvzhu wr S { { wkh txhu| lv m{lmi+{,l1 Lw zdv vkrzq lq ^43` wkdw dq| txdqwxp dojrulwkp { { s iru wklv sureohp pxvw pdnh + Q, txhulhv wr wkh wdeoh1 Wkhlu surri lv edvhg rq d whfkqltxh fdoohg wkh k|eulg dujxphqw1 Lq ylhz ri wklv uhvxow/ uhvroylqj wkh txhvwlrq zkhwkhu QS ETS zloo uhtxluh d qrq0uhodwlyl}lqj surri whfkqltxh/ dqg lv qrw olnho| eduulqj d pdmru dgydqfh lq frpsxwdwlrqdo frpsoh{lw| wkhru|1 Wkhuh lv d vwulnlqj dojrulwkp gxh wr Juryhu ^48` wkdw surylghv d pdwfklqj xsshu erxqg1 D vhfrqg whfkqltxh iru surylqj txdqwxp orzhu erxqgv wkh phwkrg ri sro|0 qrpldovzdvlqwurgxfhglq^;`1 Lw lv edvhg rq wkh idfw wkdw wkh dffhswdqfh suredelolw| ri d txdqwxp dojrulwkp diwhu W txhulhv wr wkh lqsxw fdq eh ghvfulehg e| d sro|qrpldo ri ghjuhh 5W 1 Wkh orzhu erxqg rq d vshflf ixqfwlrq i lv suryhg e| vkrzlqj wkdw lw fdqqrw eh dssur{lpdwhg e| d sro|qrpldo ri ghjuhh 5W xqohvv W lv yhu| odujh1 Wklv phwkrg zdv xvhg/ iru h{dpsoh/ wr jlyh d wljkw olqhdu orzhu erxqg iru wkh txdqwxp frpsoh{lw| ri wkh sdulw| ixqfwlrq1 Wkh| dovr suryhg wkdw iru dq| wrwdo ixqfwlrq/ wkh ghwhuplqlvwlf txhu| frpsoh{lw| G+k,@R+T+k,9,/ zkhuh T+k, lv wkh txdqwxp txhu| frpsoh{lw|1 Lq wklv vhfwlrq/ zh vnhwfk d vlpsohu surri ri wklv uhvxow xvlqj wkh k|eulg dujxphqw1 Uhfhqwo|/ d wklug whfkqltxh iru surylqj orzhu erxqgv/ wkh phwkrg ri txdqwxp dgyhuvdulhv ^5` kdv ehhq lqwurgxfhg1 Zh looxvwudwh wkh txdqwxp dgyhuvdu| whfkqltxh e| uh0surylqj wkh +5q@5, orzhu erxqg iru wkh vhdufk sureohp xvlqj wklv whfkqltxh1 Wklv whfkqltxh dsshduv yhu| jhqhudo/ dqg lqghhg kdv ehhq xvhg wr rewdlq wljkw erxqgv rq wkh txhu| frpsoh{lw| ri d qxpehu ri sureohpv1 D qrwdeoh h{dpsoh lv wkh iroorzlqj sureohp1 Ohw i = i3> 4jq $i3> 4jq eh d udqgrp shupxwdwlrq1 Ilqg i 4+3q,1 Wkh ehvw suhylrxv erxqg rq wklv sureohp zdv +5q@6,/ yld wkh k|eulg dujxphqw ^43`1 Krzhyhu/ ^5` jlyhv d wljkw +5q@5, orzhu erxqg xvlqj wklv txdqwxp dgyhuvdu| whfkqltxh1 Wkhuh duh vwloo lpsruwdqw rshq txhvwlrqv lq wklv duhd ri txdqwxp orzhu erxqgv1 Shukdsv wkh prvw vwulnlqj lv wkh iroorzlqj= Ohw i = i3> 4jq $i3> 4jq eh d 5 4 ixqfwlrq1 Ilqg { dqg | vxfk wkdw i+{, @ i+|,1 Qr qrq0wulyldo orzhu erxqg lv nqrzq iru wklv sureohp1 Dq hflhqw dojrulwkp iru wklv sureohp zrxog lpso| wkdw txdqwxp frpsxwdwlrq suhfoxghv wkh srvvlelolw| ri froolvlrq0lqwudfwleoh kdvklqj dq lpsruwdqw fu|swrjudsklf sulplwlyh1 D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ 4:

8141 Wkh k|eulg dujxphqw1 CjNij6 9 Dq| txdqwxp dojrulwkp/ lq wkh eodfn er{ prgho/ iru ghwhuplq0s lqj zkhwkhu wkhuh h{lvw {4>===>{q vxfk wkdw i+{4>===>{q, @4pxvw pdnh + Q, txhulhv wr i1 iNNu Frqvlghu dq| txdqwxp dojrulwkp D iru vroylqj wklv vhdufk sureohp1 IluvwgrdwhvwuxqriS D rq ixqfwlrq i 31 Ghqh wkh txhu| pdjqlwxgh ri { wr eh m m5/zkhuh lv wkh dpsolwxgh zlwk zklfk D txhulhv { dw wlph w1 w {>w {>w S Wkh h{shfwdwlrq ydoxh ri wkh txhu| pdjqlwxghv H m m5 @ W@Q1Wkxv S { w {>w plq m m5 W@Q1 Li wkh plqlpxp rffxuv dw }/ wkhq e| wkh Fdxfk|0Vfkzdu} { w S{>w s lqhtxdolw| w m}>wmW@ Q1 Ohw m!wl eh wkh vwdwhv ri Di diwhu wkh w0wk vwhs1 Qrz uxq wkh dojrulwkp D rq wkh ixqfwlrq j = j+}, @4>j+|, @3;| 9@ }1 Vxssrvh wkh qdo vwdwh ri D lv S s j m# l1 E| wkh fodlp wkdw iroorzv/ mm m! lm# lmm m mW@ Q1 Wklv lpsolhv W W W w }>w s wkdw wkh wzr vwdwhv fdq eh glvwlqjxlvkhg zlwk suredelolw| dw prvw R+W@ Q, e| dq| phdvxuhphqw1 Wkxv dq| txdqwxp dojrulwkp wkdws glvwlqjxlvkhv i iurp j zlwk frqvwdqw suredelolw| ri vxffhvv pxvw pdnh W @ + Q, txhulhv1

,B6 4 m#W l @ m!W l . mH3l . mH4l . ===. mHW 4l/zkhuhmm mHwlmmm}>wm1 iNNu Frqvlghu wzr uxqv ri wkh dojrulwkp D/ zklfk glhu rqo| rq wkh w0wk vwhs1 Wkh uvw uxq txhulhv wkh ixqfwlrq i rq wkh uvw w vwhsv dqg txhulhv j iru wkh uhpdlqlqj W w vwhsv> wkh vhfrqg uxq txhulhv i rq wkh uvw w 4vwhsvdqg j iru wkh uhpdlqlqj W w . 4 vwhsv1 Wkhq dw wkh hqg ri wkh w0wk vwhs/ wkh vwdwh ri wkh uvw uxq lv m!wl/ zkhuhdv wkh vwdwh ri wkh vhfrqg uxq lv m!wl . mIwl/zkhuh mm mIwlmmm{>wm1QrzliX lv wkh xqlwdu| wudqvirup ghvfulelqj wkh uhpdlqlqj W w vwhsv +ri erwk uxqv,/ wkhq wkh qdo vwdwh diwhu W vwhsv iru wkh wzr uxqv duh X m!wl dqg X+m!wl . mIwl,/ uhvshfwlyho|1 Wkh odwwhu vwdwh fdq eh zulwwhq dv X m!wl . mHwl/ zkhuh mHwl @ X mIwl1 Wkxv wkh hhfw ri vzlwfklqj wkh txhulhg ixqfwlrq rqo| rq wkh w0wkvwhsfdqehghvfulehge|dq_huuru%mHwl lq wkh qdo vwdwh ri wkh dojrulwkp/ zkhuh nmHwln m}>wm1 Zh fdq wudqvirup wkh uxq Di wr Dj e| d vxffhvvlrq ri W fkdqjhv ri wkh nlqg ghvfulehg deryh1 Wkhuhiruh/ e| wkh olqhdulw| ri txdqwxp phfkdqlfv/ wkh glhuhqfh ehwzhhq wkh qdo vwdwhv ri Di dqg Dj lv mH3l . mH4l . ===. mHW 4l/zkhuhnmHwln m}>wm1

8151 Eorfn Vhqvlwlylw| dqg wkh Eodfn Er{ Prgho1 Lq wklv vhfwlrq zh zloo zrun pruh h{solflwo| lq wkh eodfn er{ prgho/ zkhuh wkh dojrulwkp kdv wr h{solflwo| txhu| wkh lqsxw z 5i3> 4jq/ dqg wkh frpsoh{lw| ri wkh dojrulwkp lv wkh qxpehu ri txhulhv wkdw wkh dojrulwkp pdnhv1 Zh jlyh d vlpsoh surri yld wkh k|eulg dujxphqw ri wkh uhvxow ri ^;` vkrzlqj wkdw G+i, @ R+T+i,9,/zkhuhG+i, lv wkh ghwhuplqlvwlf txhu|frpsoh{lw|rii dqg T+i, lv lwv txdqwxp txhu| frpsoh{lw|= Iru d errohdq ixqfwlrq i = i3> 4jq $i3> 4j/ G+i, lv wkh plqlpxp qxpehu ri elwv ri wkh lqsxw wkdw d ghwhuplqlvwlf dojrulwkp pxvw txhu| wr frpsxwh i1 T+i, lv wkh plqlpxp qxpehu ri txhulhv wr wkh lqsxw z wkdw d txdqwxp dojrulwkp pxvw pdnh wr frpsxwh i+z, zlwk huuru suredelolw| dw prvw 4@61 F+i,/ wkh fhuwlfdwh frpsoh{lw| ru wkh qrqghwhuplqlvwlf frpsoh{lw| ri i/lvwkh plqlpxp qxpehu ri elwv ri wkh lqsxw wkdw pxvw eh uhyhdohg +e| vrphrqh zkr nqrzv doo wkh lqsxw elwv, wr frqylqfh d ghwhuplqlvwlf dojrulwkp derxw wkh ydoxh ri i+z,1 4;XPHVK Y1 YD]LUDQL

D nh| uhvxow/ wkdw zdv uvw glvfryhuhg e| Eoxp ^9`/ vkrzv wkdw lq wkh eodfn er{ prgho wkh ghwhuplqlvwlf dqg qrqghwhuplqlvwlf +fhuwlfdwh, frpsoh{lw| ri d ixqfwlrq duh sro|qrpldoo| uhodwhg1 Uhfdoo wkdw lq wkh eodfn er{ prgho zh rqo| frxqw wkh qxpehu ri txhulhv pdgh e| wkh dojrulwkp/ qrw wkh qxpehu ri vwhsv ri frpsxwdwlrq shuiruphg e| wkh dojrulwkp ehwzhhq txhulhv1 Lq idfw/ wkh F+i,5 xsshu erxqg rq wkh ghwhuplqlvwlf frpsoh{lw| lv hvwdeolvkhg e| jlylqj dq dojrulwkp wkdw uhtxluhv 5F+i, vwhsv ri frpsxwdwlrq/ exw rqo| F+i,5 txhulhv1 wj66B 6 F+i, G+i, F+i,51 Dqrwkhu forvho| uhodwhg surshuw| lv d vwuxfwxudo surshuw| ri i fdoohg lwv eorfn vhqvlwlylw|= Qrwdwlrq= Iru d vwulqj z 5i3> 4jq dqg d vhw V i4> 5>===>qj/ ghqh z+V, wr eh wkh errohdq vwulqj | wkdw glhuv iurp z rq h{dfwo| wkh elw srvlwlrqv lq wkh vhw V1 $juA|NA 7 Iru d errohdq ixqfwlrq i = i3> 4jq $i3> 4j wkh eorfn vhqvlwlylw| ri i/ ev+i, lv ghqhg wr eh wkh pd{lpxp qxpehu w vxfk wkdw wkhuh h{lvwv dq lqsxw q z 5i3> 4j dqg w glvmrlqw vxevhwv V4>===Vw i4> 5>===>qj vxfk wkdw iru doo 4 l w/ i+z, 9@ i+z+Vl,,1 Qlvdq ^54` suryhg wkh iroorzlqj ixqgdphqwdo ohppd= s wj66B 7 F+i, ev+i, F+i,1 NiN,,Bi+ 4 G+i, ev+i,71 ^;` lpsuryh wklv erxqg e| vkrzlqj= wj66B 8 G+i, F+i,ev+i, ev+i,61 Zh duh qrz uhdg| wr suryh wkh uhodwlrqvkls ehwzhhq G+i, dqg T+i,= s CjNij6 : T+i, @ + ev+i,,1 s iNNu Wkh surri pluuruv wkh Q orzhu erxqg iurp wkh odvw vhfwlrq1 Ohw z 5i3> 4jq eh wkh lqsxw ghqlqj wkh eorfn vhqvlwlylw| ri i1 Jlyhq d txdqwxp dojrulwkp D ghqh wkh txhu| pdjqlwxgh ri vhw V i4> 5>===>qj rq lqsxw z wr eh tV+z,@vxpm5Vtm+z,1 Qrz li D uxqv iru W vwhsv/ wkhq vlqfh wkh vhwv Vl duh glvmrlqw/ wkh h{shfwhg txhu| pdjqlwxgh iru d udqgrp vhw V lv t +z, W@ev+i,1 l Vl Ohw } @ z+Vl,/zkhuht +z, lv wkh plqlpxp dprqj wkhvh txhu| pdjqlwxghv1 Ohw Vl !W dqgs #W ghqrwh wkh qdo vwdwhv rq lqsxwv z dqg }/ uhvshfwlyho|1 Wkhq/s dv lq wkh Q orzhu erxqg iurp wkh suhylrxv vxevhfwlrq/ mm m#W lm!W lmm W@ ev+i,1 Vlqfh Dspxvw glvwlqjxlvk wkhvh vwdwhv zlwk frqvwdqw suredelolw|/ lw iroorzv wkdw W @ + ev+i,,1 NiN,,Bi+ 5 G+i, @ R+T+i,9,1

8161 Wkh Phwkrg ri Txdqwxp Dgyhuvdulhv1 Lq wklv vhfwlrq zh looxvwudwh wkh phwkrg ri txdqwxp dgyhuvdulhv/ e| surylqj wkh orzhuerxqg iru xqvwuxfwxuhg vhdufk= jlyhq d errohdq ixqfwlrq i = i3> 4jq $i3> 4j/lvwkhuhdq{ 5i3> 4jq vxfk wkdw i+{, @4B Zh dvvxph wkdw wkh txdqwxp frpsxwhu lv sduwlwlrqhg lqwr wzr uhjlvwhuv/ wkh lqsxw uhjlvwhu +vshfli|lqj wkh ixqfwlrq i, dqg wkh zrun vsdfh uhjlvwhu1 Qrz/ iru wkh vhdufk sureohp/ wkh lqsxw ixqfwlrq i pd| eh lghqwlhg iru frqyhqlhqfh e| {/wkh xqltxh q elw vwulqj rq zklfk i+{, @ 41 Wkxv/ wkh lqlwldo vwdwh ri wkh uhjlvwhuv pd| eh zulwwhq dv m{ln3l1 Li wkh txdqwxp dojrulwkp fruuhfwo| vroyhv wkh vhdufk sureohp/ zkhq lw lv grqh wkh zrun vsdfh pxvw orrn olnh m{lm{lmmxqn{l1 Exw qrz li wkh D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ 4< dojrulwkp zrunv fruuhfwo| rq hyhu| lqsxw/ lw pxvw zrun fruuhfwo| rq d vxshusrvlwlrq ri lqsxwv dv zhoo1 Lq wkh fdvh ri wkh vhdufk sureohp/S li wkh lqsxw lv d xqlirup vxshusrvlwlrq ryhu m{l/ wkhq wkh lqlwldo vwdwh lv + m{l, m3l/ dqg wkh qdo vwdwh lv S { { m{l +m{lmmxqn{l,1 Wkh pdlq srlqw ri wkh txdqwxp dgyhuvdu| dujxphqw lv wkdw wkh wzr uhjlvwhuv duh lqlwldoo| xqhqwdqjohg/ zkhuhdv wkh| duh pd{lpdoo| hqwdqjohg dw wkh hqg ri wkh dojrulwkp1 Qrz hvwdeolvklqj dq xsshu erxqg rq wkh lqfuhdvh lq hqwdqjohphqw shu vwhs ri wkh txdqwxp dojrulwkp lpsolhv d fruuhvsrqglqj orzhu erxqg rq wkh qxpehu ri vwhsv wkdw wkh txdqwxp dojrulwkp pxvw wdnh1 Wkh uvw vwhs wrzdugv hvklqj rxw wkh deryh dujxphqw lv wr txdqwli| krz hqwdqjohg wkh wzr uhjlvwhuv duh1 Frqvlghu wkh ghqvlw| pdwul{ wkdw ghvfulehv wkh vwdwh ri wkh lqsxw uhjlvwhu zkhq wkh zrun uhjlvwhu lv phdvxuhg1 Iru wkh vhdufk sureohp/ wklv ghqvlw| pdwul{ lv lqlwldoo| +dw wkh ehjlqqlqj ri wkh dojrulwkp, 3 4 # $# $ 4 4 Q Q Q Q [ [ E 1 1 F 3 @ mll klm @ C 1 1 D l@4 l@4 4 4 Q Q s S fruuhvsrqglqj wr wkh vwdwh 4@ Q l mll1 Wkh qdo ghqvlw| pdwul{ dw wkh hqg ri wkh dojrulwkp lv 3 4 4 Q 3 E 1 F I @ C 11 D 4 3 Q fruuhvsrqglqj wr wkh xqlirup glvwulexwlrq ryhu doo mll1 Dv d phdvxuh ri hqwdqjohphqw/ frqvlghu wkh vxp ri devroxwh ydoxhv ri wkh r0 5 4 gldjrqdo hqwulhv1 Lqlwldoo|/ wklv txdqwlw| lv 3 dqg qdoo| lw lv +Q Q, Q @ +Q,1 Krz idvw gr wkh r0gldjrqdo hqwulhv ri wkh ghqvlw| pdwul{ lqfuhdvhB Hdfk vwhs ri d txdqwxp dojrulwkp pd| eh uhjdughg dv shuiruplqj d txhu| rq wkh lqsxw wdsh/ iroorzhg e| d xqlwdu| wudqvirupdwlrq rq wkh zrun uhjlvwhu1 Fohduo| wkh xqlwdu| wudqvirupdwlrq rq wkh zrun uhjlvwhu grhv qrw dhfw wkh uhgxfhg ghqvlw| pdwul{ ghvfulelqj wkh lqsxw uhjlvwhu1 Wr xqghuvwdqg wkh hhfw ri d txhu|/ uhfdoo krz d txhu| lv fduulhg rxw1 Wkh lqsxw wr eh txhulhg lv zulwwhq rxw rq d sduw ri wkh zrun uhjlvwhu ghvljqdwhgS wr eh wkh txhu| uhjlvwhu1 +Wkxv wkh frqwhqwv ri wkh uhjlvwhu pljkw eh m m mml1, Wkh uhgxfhg ghqvlw| pdwul{ ri wkh lqsxw uhjlvwhu dw wklvS vwhs +mxvw ehiruh wkh txhu| lv 5 dfwxdoo| shuiruphg, pd| eh zulwwhq lq wkh irup @ smm/zkhuhsm @ mmm 1 S S Sm S Hdfk fdqehh{sdqghgdv +l, @ +l, . +l, @5 +l,/vlqfhdoo l m>n m>n m l>m n n>l m l>m S wkh rwkhu hqwulhv lq wkh vxp fdqqrw rffxu1 Li wkh txhu| uhjlvwhu frqwdlqv l mll/ wkh txhu| prglhv l>m zlwk suredelolw| lm1 Wr erxqg wkh hhfw ri wkh txhu| rq / lw vxfhv wr erxqg lwv hhfw rq hdfk m1 Exw vlqfh wklv sduw ri wkh txhu| dffhvvhv wkh lqsxw rqo| rq orfdwlrq m/wkhrqo| hqwulhv ri m wkdw fkdqjh duh wkrvh lq wkh m0wkurzdqglqwkhm0wk froxpq1 Wkhuh duh rqo| R+Q, vxfk hqwulhv/ dqg wkh pd{lpxps lv dfklhyhg zkhq wkh| duh htxdo/ dqg lv wkhuhiruh erxqghg e| Q R+ s4 , @ R+ Q,1Vlqfh lv d frqyh{ frpelqdwlrq Q ris wkh m/ lw iroorzv wkdw hdfk txhu| fdq fkdqjh wkh r0gldjrqdo hqwulhv ri e| R+ Q,1 Vlqfh wkh wrwdo fkdqjh lq wkhs r0gldjrqdo hqwulhv lv +Q,/ lw iroorzv wkdw dq| txdqwxp dojrulwkp pxvw wdnh + Q, vwhsv wr vroyh wkh vhdufk sureohp1 53 XPHVK Y1 YD]LUDQL

Wkxv wkh fkdqjhv wr wkh ghqvlw| pdwul{ duh rqo| wr wkrvh vxppdqgv/ dqg wkh| S s fkdqjh dw prvw mlm mmm @ R Q 1 Vlqfh wkh vwduwlqj dqg hqglqj ghqvlw| s s pdwulfhv glhu e| R+ Q,/ wkh qxpehu ri txhulhv uhtxluhg lv R+ Q,1 Vr idu zh dvvxphg wkdw wkh txdqwxp dojrulwkp jlyhv wkh fruuhfw dqvzhu zlwk fhuwdlqw|1 Wr suryh d phdqlqjixo orzhu erxqg/ zh pxvw doorz wkh txdqwxp dojr0 ulwkp wr jlyh dq lqfruuhfw dqvzhu zlwk d vpdoo frqvwdqw suredelolw| 1 Exw lw lv hdv| wr vhh wkdw wkh deryh dujxphqw vwloo zrunv/ vlqfh lw fdq eh hdvlo| yhulhg wkdw wkh wrwdo fkdqjh lq wkh r0gldjrqdo hqwulhv ri wkh lqlwldo ghqvlw| pdwul{ dqg wkh qdo s 5 +4, ghqvlw| pdwul{ lv vwloo +Q,/ vlqfh wkh qdo ghqvlw| pdwul{ vdwlvhv mlmm Q 1

91 Txdqwxp QS

Wkh fodvv QS +qrq0ghwhuplqlvwlf sro|qrpldo wlph, frqwdlqv pdq| wkrxvdqg ri wkh prvw lpsruwdqw frpsxwdwlrqdo sureohpv1 Ri wkhvh sureohpv/ wkh ydvw pdmrulw| duh QS0frpsohwh1 Wklv phdqv wkdw wkhvh duh wkh kdughvw sureohpv lq QS1 E| wklv zh phdq wkdw/ li dq|rqh ri wkhp fdq eh vroyhg e| d sro|qrpldo wlph dojrulwkp/ wkhq hyhu| sureohp lq QS fdq eh vroyhg e| d sro|qrpldo wlph dojrulwkp1 Wkh fruqhuvwrqh ri wklv wkhru| ri QS0frpsohwhqhvv lv wkh Frrn0Ohylq wkhruhp/ zklfk vwdwhv wkdw 60VDW lv QS0frpsohwh1 D odqjxdjh O lv lq QS li wkhuh lv d sro|qrpldo wlph surri fkhfnhu F dqg d sro|qrpldo sro|/ zlwk wkh iroorzlqj surshuw|= li { 5 O wkhq wkhuh lv d vwulqj | zlwk m|msro|m{m/vxfkwkdwF+{> |, @41Li{@5 O/ wkhq iru hyhu| | vxfk wkdw m|msro|+m{m,/ F+{> |, @31 Uhfhqwo| Nlwdhy ^4;` jdyh wkh txdqwxp dqdorjxh ri wkh Frrn0Ohylq wkhruhp e| vkrzlqj wkdw TVDW wkh txdqwxp dqdorjxh ri 60VDW lv frpsohwh iru ETQS ru TPD1 Rxu h{srvlwlrq ri wklv uhvxow lv edvhg xsrq wkh pdqxvfulsw e| Dkdurqry dqg Qdyh ^4`1 ETQS ru TPD lv wkh txdqwxp jhqhudol}dwlrq ri PD wkh suredelolvwlf dqd0 orjxh ri QS1 Wr ghqh PD/ zh vlpso| uhsodfh wkh ghwhuplqlvwlf sro|qrpldo wlph surri fkhfnhu zlwk d suredelolvwlf sro|qrpldo wlph surri fkhfnhu F1Qrzli{ 5 O/ wkhq wkhuh lv d vwulqj | zlwk m|msro|m{m/ vxfk wkdw F+{> |, @ 4 zlwk suredelolw| dw ohdvw 5@61 Li {@5 O/ wkhq iru hyhu| | vxfk wkdw m|msro|+m{m,/ F+{> |, @3zlwk suredelolw| dw ohdvw 5@61 Wr ghqh ETQS/ wkh txdqwxp dqdorjxh ri PD/ zh uhsodfh wkh suredelolv0 wlf sro|qrpldo wlph surri fkhfnhu e| d txdqwxp sro|qrpldo wlph surri fkhfnhu1 Htxdoo| lpsruwdqw/ wkh zlwqhvv vwulqj | lv qrz doorzhg wr eh d txdqwxp zlwqhvv/ l1h1/ lw fdq eh d vxshusrvlwlrq ryhu vwulqjv ri ohqjwk dw prvw sro|+m{m,1 ETS lv wulyldoo| frqwdlqhg lq ETQS vlqfh lw fdq eh vlpxodwhg e| wkh yhulhu dorqh1 PD lv dovr frqwdlqhg lq ETQS vlqfh txdqwxp pdfklqhv fdq shuirup wkh fodvvlfdo frpsxwdwlrqv ri wkhlu fodvvlfdo frxqwhusduwv1 Nlwdhy*v surri wkdw TVDW lv ETQS0frpsohwh lpsolhv d qrq0wulyldo xsshu erxqg/ vkrzlqj wkdw ETQS S &S 1

DETQS0Frpsohwh Sureohp

Uhfdoo wkdw d Kdplowrqldq dfwlqj rq q txelwv lv d 5q glphqvlrqdo Khuplwldq pdwul{1 Vd| wkdw d Kdplowrqldq lv f0orfdo li lw dfwv dv wkh lghqwlw| rq doo h{fhsw f ri wkh txelwv1 Frqvlghu wkh iroorzlqj sureohp= D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ 54

$juA|NA 8 Orfdo Kdplowrqldqv ru T8VDW= Ohw Km +iru m @4>===u, eh 80orfdo Kdplowrqldqv rq q txelwv +hdfk vshflhg e| frpsoh{ 58 58 pdwulfhv1,1 Dvvxph wkdw hdfk Km lv vfdohg vr wkdw doo hljhqydoxhv ri Km vdwlvi| 3 41Ohw Su K @ m@4 Km1 Wkhuh lv d surplvh derxw K wkdw hlwkhu doo hljhqydoxhv ri K duh e ru wkhuh lv dq hljhqydoxh ri K wkdw lv d/zkhuh3 d?e 4 dqg wkh glhuhqfh 4 e d lv dw ohdvw lqyhuvh sro|qrpldo lq q/l1h1/e d sro|+q, 1 Wkh sureohp dvnv zkhwkhu K kdv dq hljhqydoxh d1

Wkh Frqqhfwlrq zlwk 60VDW

Lq 60VDW/ zh duh jlyhq d irupxod i rq q yduldeohv lq 60FQI +frqmxqfwlyh qrupdo irup1, Wkdw lv/ i lv d frqmxqfwlrq ri pdq| fodxvhv fl=

i+{4>{5>===>{q, @ f4 a f5 a ===a fp / zkhuh hdfk fodxvh fm lv d glvmxqfwlrq ri wkuhh yduldeohv ru wkhlu qhjdwlrqv1 Iru h{dpsoh/ fm pd| eh +{d b {e b {f,1 Zh zrxog olnh wr pdnh d fruuhvsrqglqj Kdplowrqldq Kl iru hdfk fodxvh fl1 Kl vkrxog shqdol}h dq dvvljqphqw zklfk grhv qrw vdwlvi| wkh fodxvh fl1Lqwkh h{dpsoh zkhuh fm @ +{d b {e b {f,/ zh zdqw wr shqdol}h wkh dvvljqphqw vwdwh m343l1 Li rxu qrwlrq ri shqdol}h lv wr kdyh d srvlwlyh hljhqydoxh/ wkhq zh fdq ohw Km @ m343lk343m/ dqg ghqh wkh rwkhu Kl*v vlploduo|/ l1h1/ hdfk Kl kdv d 4 hljhqydoxh zlwk d fruuhvsrqglqj hljhqyhfwru wkdw fdxvhv fodxvh fl wr eh idovh1 Ilqdoo|/ zh ohw

[p K @ Kl> l@4 vr wkdw K lv d vxp ri 60orfdo Kdplowrqldqv1 Lw lv qrw kdug wr vhh wkdw wkh vpdoohvw hljhqydoxh ri K lv wkh plqlpxp +ryhu doo dvvljqphqwv, qxpehu ri xqvdwlvhg fodxvhv1 Lq sduwlfxodu/ K kdv d 3 hljhqydoxh h{dfwo| zkhq wkhuh lv d vdwlvi|lqj dvvljqphqw iru i1 Iru jhqhudo TVDW lqvwdqfhv/ wkh Kdplowrqldqv Km fdqqrw eh vlpxowdqhrxvo| gldjrqdol}hg lq jhqhudo/ dqg wkh sureohp dsshduv pxfk kdughu1

Phpehuvkls lq ETQS

Zh fdq dvvxph zlwkrxw orvv ri jhqhudolw| wkdw hdfk Km lv mxvw d surmhfwlrq pdwul{ m!mlk!mm L1 WkhS suryhu zrxogS olnh wr surylgh frqylqflqj dqg hdvlo| yhul0 deoh hylghqfh wkdw K @ Km @ +Dm L, kdv d vpdoo hljhqydoxh d1Wkh surri frqvlvwv ri +dwhqvrusurgxfwri, sro|qrpldo lq q frslhv ri wkh fruuhvsrqglqj hljhqyhfwruS 1 @ m km Km ml1 Jlyhq d vlqjoh frs| ri ml/ wkh yhulhu fdq ls d frlq zlwk eldv u dv iroorzv= +4, Slfn Km @ m!mlk!mm dw udqgrp +5, Phdvxuh ml e| surmhfwlqj rqwr m!ml1 Wklv vxffhhgv zlwk suredelolw| u 1 Jlyhq wkh surplvh wkdw d ru e/ u5 lw vxfhv iru wkh yhulhu wr uhshdw wklv whvw +ed,5 wlphv wr frqfoxgh zlwk kljk frqghqfh wkdw d1 Wkxv sro|qrpldo lq q frslhv ri ml duh vxflhqw1 Qrwh wkdw 55 XPHVK Y1 YD]LUDQL vlqfh wkh yhulhu lv shuiruplqj hdfk whvw udqgrpo| dqg lqghshqghqwo|/ wkh suryhu jdlqv qr dgydqwdjh e| vhqglqj dq hqwdqjohg vwdwh wr wkh yhulhu1

ETQS0Frpsohwhqhvv

Wr vkrz wkdw TVDW lv frpsohwh lq ETQS/ zh qhhg wr vkrz wkdw wkh xqlyhuvdo ETQS sureohp uhgxfhv wr lw1 Wkdw lv/ jlyhq d txdqwxp flufxlw X @ XOXO4 ===X4 dqg d surplvh wkdw h{dfwo| rqh ri wkh iroorzlqj krogv=

+4,

[O mW l @ m!wl mwl w@3 zkhuh m!3l lv d ydolg lqlwldo vwdwh dqg m!ll @ Xl m!l4l1Wkxvwkhfrpsxwdwlrqklvwru| mW l lv dq hohphqw ri +F5, q FO.41 Lw lv d vxshusrvlwlrq ryhu wlph vwhsv ri wkh vwdwh ri wkh txdqwxp elwv dv wkh txdqwxp flufxlw rshudwhv rq wkhp1 Qrz wkh lghd ri wkh ETQS0frpsohwhqhvv surri lv wr ghvljq wkh Kdplowrqldq K vxfk wkdw= +4, li wkhuh h{lvwv ml zkhuh X ml dffhswv zlwk suredelolw| dw ohdvw 4 /wkhq wkh frpsxwdwlrqdo klvwru| mW l ri wkh txdqwxp flufxlw X rq lqsxw lv dq hljhqyhfwru zlwk hljhqydoxh dw prvw O.4 +5, li X uhmhfwv hyhu| lqsxw zlwk suredelolw| dw ohdvw 4 / wkhq doo wkh hljhq0 f+4, ydoxhv ri K duh dw ohdvw O6 K zloo eh wkh vxp Klqlwldo .Kilqdo.Ksursdjdwh1 Wkh uvw wzr whupv duh vlpsoh dqg h{suhvv wkh frqglwlrq wkdw wkh frpsxwdwlrqdo klvwru| vwduwv zlwk d ydolg lqsxw vwdwh/dqghqgvlqdqdffhswlqjvwdwh1 Zh frqvlghu wkh uvw p elwv ri X*v vwdwh wkh lqsxw elwv dqg wkh uhpdlqlqj qp elwv wr eh wkh fohdq zrun elwv1 Wkh ghvljq ri wkh Klqlwldo frpsrqhqw vkrxog wkhq uhhfw wkdw dw wlph 3/ doo ri wkh zrun elwv duh fohdu=

[q +4, Klqlwldo @ v m3lk3m [email protected] +4, zkhuh v ghqrwhv surmhfwlrq rqwr wkh v0wk txelw zlwk ydoxh 41 Dvvxph wkdw wkh vwdwh ri wkh uvw txelw dw wkh rxwsxw ghwhuplqhv zkhwkhu ru qrw wkh lqsxw lv dffhswhg1 Wkhq Kilqdo qhhgv wr lqglfdwh wkdw dw wlph O wkh uvw txelw lv d 4=

+3, Kilqdo @4 mOlkOm = D VXUYH\ RI TXDQWXP FRPSOH[LW\ WKHRU\ 56

Wkh prvw frpsolfdwhg frpsrqhqw ri K lv Ksursdjdwh/ zklfk fdswxuhv wudqvlwlrqv SO ehwzhhq wlph vwhsv1 Ksursdjdwh @ m@4 Km/zkhuh

4 K @ X mmlkm 4m m 5 m 4 X | mm 4lkmm 5 m 4 . L +mmlkmm . mm 4lkm 4m, 5 Wkh idfw wkdw wkh frpsxwdwlrqdo klvwru| lv d vxshusrvlwlrq ryhu wlph vwhsv lv txlwh fuxfldo khuh1 Wr fkhfn wkdw wkh fruuhfw rshudwlrq kdv ehhq dssolhg lq vwhs m/lw vxfhv wr uhvwulfw dwwhqwlrq wr wkh m 40vw dqg m0wk elw ri wkh forfn +dvvxplqj wkdw wkh forfn lv uhsuhvhqwhg lq xqdu|,1 Qrz wkh txdqwxp uhjlvwhu lv lq d vxshusrvlwlrq ryhu lwv vwdwh dw wlph m 4dqgdwwlphm1 Orfdoo| fkhfnlqj wklv vxshusrvlwlrq lv vxflhqw wr ghwhuplqh zkhwkhu lwv forfn m frpsrqhqw lv wkh uhvxow ri dsso|lqj wkh txdqwxp jdwh Xm wr wkh forfn m 4 frpsrqhqw1 Wklv lv suhflvho| zkdw wkh Kdplowrqldq Km deryh lv ghvljqhg wr gr1 Qh{w zh vkrz wkdw dq dffhswlqj klvwru| ri frpsxwdwlrq lv dq hljhqyhfwru ri K zlwk hljhqydoxh 31 SO Ohw mW l @ w@3 m!wl mwl1 Zh dqdo|}h wkh frqwulexwlrq iurp hdfk frpsrqhqw ri K1LimW l vwduwv zlwk txelwv p .4wkurxjkq fohdu/ Klqlwldo grhv qrw frqwulexwh wr K mW l1LimW l lv d frpsxwdwlrq ri X/wkdwlv/m!wl @ Xw m!w4l iru doo w/wkhqiurp Ksursdjdwh zh jhw=

4 4 K W @ X m! lmml X | m! lmm 4l m 5 m m4 5 m m 4 4 . m! lmml . m! lmm 4l 5 m 5 m4 4 4 @ m! lmml m! lmm 4l 5 m 5 m4 4 4 . m! lmml . m! lmm 4l 5 m 5 m4 @3> iru qr frqwulexwlrq iurp Ksursdjdwh1 Ilqdoo|/ li X dffhswv zlwk suredelolw| dw ohdvw 4 /rqo|Kilqdo frqwulexwhv d shqdow| wr wkh vxp/ iru dq hljhqydoxh ri dw prvw O.4 1 Wkh kdug sduw ri wkh surri olhv lq vkrzlqj wkh frqyhuvh1 Wkdw li wkhuh lv qr ml zklfk X dffhswv zlwk kljk suredelolw|/ wkhq doo hljhqydoxhv ri K duh odujh1 Zh uhihu wkh lqwhuhvwhg uhdghu wr ^4` iru wkh surri ri wklv1

Xsshu erxqg rq ETQS

Rqh frqvhtxhqfh ri wklv surri ri ETQS0frpsohwhqhvv lv wkh iroorzlqj=

Wkhruhp= ETQS S &S 1 Frqvlghu wkh wudfh ri Kn1 Wklvlvhlwkhudwohdvwen ru dw prvw Qdn1Zhfdq pdnh vxuh wkdw en AA Qdn/ e| fkrrvlqj nAAqgorjQ1 Vr zh mxvw qhhg wr hvwlpdwh Wu+Kn, lq S &S 1 57 XPHVK Y1 YD]LUDQL S S n n Wr vhh wklv/ zulwh Wu+K ,@Wu++ Km, ,@Wu+ Km Km ,@ S m m4>===mn 4 n Wu+Km Km ,1 Hdfk wudfh lq wklv vxp lv lwvhoi mxvw d vxp ri h{srqhq0 m4>===mn 4 n wldoo| pdq| hdv| wr frpsxwh frqwulexwlrqv/ dqg wkxv wkh hqwluh vxp lv hdvlo| vhhq wr eh hvwlpdwhg lq S &S 1 Nlwdhy*v uhvxowv pd| zhoo eh wkh uvw vwhsv wrzdugv d ulfk qhz wkhru| ri ETQS0 frpsohwhqhvv1 Shukdsv wkh prvw lpsruwdqw rshq txhvwlrq lq wklv duhd lv wr qg rwkhu h{dpsohv ri qdwxudo ETQS0frpsohwh sureohpv1

Uhihuhqfhv do @hL?Lc #c @?_ @ic Ac "@?|4 c4@?tUhT| d2o 4M@?tc c "@?|4 *Lih ML?_t M) ^@?|4 @h}4i?|tc hLUii_?}t Lu |i 2?_ ??@* 5)4TLt4 L? AiLh) Lu L4T|?}c 2fff d o hLh@c 5c W4T@}*@33Lc +c @?_ V@3h@?c Nc ? |i +L*i Lu |i LL!wi? AiLhi4 ? L4T*i |) AiLh)c4@?tUhT|Ebbe deo i??i||c Oc wL}U@* hiihtM*|) Lu UL4T|@|L?c W a +it #ii*LTc VL* .c b. c TT D2DD 2 dDo jiAt|jAe .c "@?|4 UL4T*i |) |iLh)c # _ttih|@|L?c N ih!i*i)c bbS dSo *4c@?_W4T@}*@33Lc+cBi?ihU Lh@U*it @?_ Lh@U*i U*@ttitc2H|??@*5)4TL t4 L? 6L?_@|L?t Lu L4T|ih 5Ui?Uic W,,, UL4T|ih tLUi|) Thittc bH. d.o @hi?ULc c i??i||c c *iic +c #V?Ui?3Lc #c @h}L*tc c 5Lhc c 5*i@|Lhc Ac 54L*?c ac @?_ `i?uh|ihc Oc ,*i4i?|@h) }@|it uLh ^@?|4 UL4T|@|L?c)t+i D2c eD. EbbD dHo i@*tc+ch4@?cOc*iic+cLtU@cc_i`L*uc+c"@?|4 wLih L?_t M) L*)?L4@*tc hLUii_?}t Lu |i b| ??@* W,,, 5)4TLt4 L? 6L?_@|L?t Lu L4T|ih 5Ui?Uic bbH dbo ih?t|i?c , @?_ V@3h@?c Nc "@?|4 UL4T*i |) |iLh)c hLUii_?}t Lu |i 2D| ??@* 5)4TLt4 L? AiLh) Lu L4T|?}c bb c TTc 2f 5W a L4T|?}c 2Sc TT ee. Ebb. dfo i??i||c c ih?t|i?c ,c h@tt@h_c Bc @?_ V@3h@?c Nc 5|hi?}|t @?_ i@!?ittit Lu ^@?|4 UL4T|@|L?c W5W ALh?L |iU hiTLh| Ebbec 5W a L4T|?}c 2Sc TT DfD2 Ebb. do #i|tUc #c "@?|4 |iLh)c |i hUAh?} Th?UT*i @?_ |i ?iht@* ^@? |4 UL4T|ihc hLU+5LUwL?_c VL* effc bHDc TT b.. d2o #i|tUc #c R"@?|4 UL4T|@|L?@* ?i|Lh!tc hLU + 5LU wL?_c VL* e2Dc bHbc TT . bf d o #i|tUc # @?_ aL3t@c +c +@T_ tL*|L? Lu ThLM*i4t M) ^@?|4 UL4T|@|L?c hLUii_?}t Lu |i +L)@* 5LUi|)c wL?_L?c L* e bc bb2c TT DD DDH deo 6i)?4@?c +c 54*@|?} T)tUt | UL4T|ihtc W?|ih?@|L?@* aLh?@* Lu AiLhi|U@* )tUtc VL* 2c ?Lt S%.c bH2c TT eS.eHH dDo BhLihc wc "@?|4 4iU@?Ut i*Tt ? ti@hU?} uLh @ ?ii_*i ? @ @)t|@U!c)t +i wi||ihtc .Hc TT 2D 2H Ebb. dSo O@*itcw @?_ O@**}hi?c wc ? W4ThLi_ "@?|4 6Lhih 5@4T*?} *}Lh|4 @?_ TT*U@|L?tc hLUii_?}t Lu |i et| ??@* W,,, 5)4TLt4 L? 6L?_@|L?t Lu L4T|ih 5Ui?Uic 2fff d.o O@*itc w @?_ O@**}hi?c 5c 4@?tUhT|c bbH dHo k|@ic c "@?|4 c "W

PAjit|+ Nu B,uNiABe ji"j,j+e ji"j,j+e dg04h ,4@* @__hittG >1e>=7QpKfef'f&f[ N+wG zzPD""QpKfef'f&f["x>1e>=