Evolutionary Dynamics on Infinite Strategy Spaces

(1)

Hyroxwlrqdu| G|qdplfv rq Lqqlwh Vwudwhj|

Vsdfhv

Mùuj Rhfkvvohu

^|

dqg Iudqn Ulhgho

^}

Ghsduwphqw ri Hfrqrplfv Kxperogw Xqlyhuvlw|/ Ehuolq

Dxjxvw 46/ 4<<;

,ALMK@BM

ri uhvw srlqwv1 Ilqdoo|/ zh dsso| wklv jhqhudo wkhru| wr d qxpehu ri dssolfdwlrqv olnh wkh Qdvk ghpdqg jdph/ wkh Zdu ri Dwwulwlrq/

Frxuqrw dqg Ehuwudqg roljrsro| jdphv/ dqg pl{hg vwudwhjlhv1 MHOfodvvlfdwlrqv= F:3/ :51

4 Lqwurgxfwlrq

Wkh vwxg| ri hyroxwlrqdu| jdph wkhru| kdv irfxvhg rq qlwh vwudwhj| vsdfhv/

hvshfldoo| zkhq frqwlqxrxv wlph g|qdplfv ri dq hyroxwlrqdu| jdph zhuh lq0

Zh duh lqghewhg wr Lppdqxho Erp}h/ Glun Hqjhopdqq/ Vwhhq Kxfn/ Nduo Vfkodj/ dqg Shwhu Vûuhqvhq iru ydoxdeoh frpphqwv1Glvfxvvlrqv iroorzlqj vhplqduv dw Erqq dqg Kxp0 erogw xqlyhuvlwlhv dqg dw wkh 4<<; Vwrq| Eurrn Jdph Wkhru| frqihuhqfh zhuh yhu| khosixo1 Ilqdqfldo vxssruw e| wkh Ghxwvfkh Iruvfkxqjvjhphlqvfkdiw/ VIE 6:6 dqg Judgxlhuwhqnro0 ohj Dqjhzdqgwh Plnurùnrqrpln/ lv judwhixoo| dfnqrzohgjhg1

|Lqvwlwxw iÿu Zluwvfkdiwvwkhrulh L/ Vsdqgdxhu Vwu14/ 434:; Ehuolq/ Jhupdq|/

ID[= .7<6353<60894</ Hpdlo= rhfkvohuCzlzl1kx0ehuolq1gh

}ulhghoCzlzl1kx0ehuolq1gh

(2)

jdphv/ sxeolf jrrg jdphv ru doo jdphv lq zklfk pl{hg vwudwhjlhv duh frqvlg0 huhg1 Wkh uhdvrq iru wkh uhvwulfwlrq wr qlwh vwudwhj| vsdfhv lv pdlqo| wkdw rqh kdv wr vwxg| glhuhqwldo htxdwlrqv/ dqg lw lv vrphzkdw xqidploldu wr gr vr zlwk lqqlwh glphqvlrqdo vsdfhv1 Krzhyhu/ prvw ri wkh vwdqgdug wkhru|

ri ruglqdu| glhuhqwldo htxdwlrqv fduulhv ryhu wr wkh jhqhudo fdvh ri Edqdfk vsdfhv1

Lw lv wkh sxusrvh ri wklv sdshu wr vkrz wkdw wkh uhvwulfwlrq wr qlwh vwudw0 hj| vsdfhv lv lq prvw fdvhv xqqhfhvvdu|1 Li rqh zdqwv wr vwxg| hyroxwlrqdu|

g|qdplfv rq lqqlwh vwudwhj| vhwv/ rqh kdv wr zrun zlwk wkh vsdfh ri sured0 elolw| phdvxuhv ryhu wkrvh vwudwhjlhv1 Lw lv lpsruwdqw wr qrwh wkh gl!fxowlhv wkdw dulvh zlwk vxfk vsdfhv1 Wkh pdlq glhuhqfh wr wkh qlwh fdvh lv wkdw rq lqqlwh glphqvlrqdo vsdfhv wkhuh duh glhuhqw qdwxudo qrupv wkdw qhhg qrw eh htxlydohqw1 Zh sursrvh wr xvh wkh yduldwlrqdo qrup dv lw surylghv dq lqwxlwlyho| vhqvleoh fkrlfh ri glvwdqfh lq dq hyroxwlrqdu| frqwh{w dqg lw lv pdwkhpdwlfdoo| frqyhqlhqw1 Hqgrzhg zlwk wkh yduldwlrqdo qrup wkh vsdfh ri suredelolw| phdvxuhv ehfrphv d Edqdfk vsdfh1 Wkh xvxdo Olsvfklw} frqwlqx0 lw| dvvxpswlrqv jxdudqwhh wkhq d xqltxh vroxwlrq ri wkh glhuhqwldo htxdwlrq1 Zh vkrz wkdw wkh uhsolfdwru g|qdplfv vdwlvi| wklv frqglwlrq li wkh xqghuo|lqj sd|r ixqfwlrq lv erxqghg1

Wkhuh duh vrph ixuwkhu lpsruwdqw glhuhqfhv wr wkh qlwh fdvh/ wkrxjk1 Lq sduwlfxodu/ wkh vwdelolw| frqglwlrqv duh pxfk pruh ghpdqglqj1 Zh surylgh dq h{dpsoh vkrzlqj wkdw qrw hyhq vwulfw Qdvk htxloleuld duh qhfhvvdulo| vwdeoh zlwk uhvshfw wr wkh uhsolfdwru g|qdplfv1 Wklv lv lq frqwudvw wr wkh qlwh fdvh/

"H{fhswlrqv duh Krsnlqv dqg Vh|prxu ^46` dqg Elqpruh dqg Vh|prxu ^7`/ zkr vwxg|

wkh uhsolfdwru g|qdplfv exw rqo| rq vsdfhv ri suredelolw| glvwulexwlrqv zlwk d frqwlqxrxv ghqvlw|/ Erp}h ^8`/ ^9`/ Vh|prxu ^4;`/ dqg Iulhgpdq dqg \hoolq ^:`1Wkh odwwhu vwxg|

judglhqw g|qdplfv1Wkh vshfldo fdvh ri pl{hg vwudwhjlhv kdv ehhq vwxglhg e| Dnlq ^4`/

Klqhv ^<`/ dqg ]hhpdq ^55`1

(3)

uhsolfdwru g|qdplfv lq wkh frqwh{w ri wkh Qdvk ghpdqg jdph/ wkh Zdu ri Dw0 wulwlrq/ d Frxuqrw gxrsro|/ d Ehuwudqg gxrsro| zlwk krprjhqhrxv surgxfwv/

dqg lq wkh frqwh{w ri pl{hg vwudwhjlhv1

Lq wkh Qdvk ghpdqg jdph wkh v|pphwulf h!flhqw htxloleulxp lv vwdeoh dqg zhdno| dwwudfwlqj zlwk uhvshfw wr wkh uhsolfdwru g|qdplfv1 Lq wkh Zdu ri Dwwulwlrq wkh uhsolfdwru g|qdplfv frqyhujh wr wkh xqltxh pl{hg htxloleulxp iurp lqlwldo vwdwhv zklfk duh zlwklq qlwh NxooedfnOhlehu glvwdqfh iurp wkh htxloleulxp1

Iru wkh Frxuqrw vhwwlqj zlwk d olqhdu ghpdqg ixqfwlrq zh vkrz wkdw wkh uhsolfdwru g|qdplfv zhdno| frqyhujh wr wkh FrxuqrwQdvk htxloleulxp iurp doo lqlwldo vwdwhv zlwk srvlwlyh zhljkw rq wkh htxloleulxp vwudwhj|/ jhqhudol}lqj d uhvxow rewdlqhg e| Tlq dqg Vwxduw ^49` iru wkh qlwh vwudwhj| fdvh1 Zkloh rqh fdq ghedwh zkhwkhu uhsolfdwru g|qdplfv duh dssursuldwh wr vwxg| wkh lqwhudfwlrq lq gxrsro|/ zh wklqn wkdw wkrvh uhvxowv duh lqwhuhvwlqj qhyhuwkhohvv vlqfh pdq| rwkhu jdphv/ olnh sxeolf jrrg jdphv/ kdyh d vlplodu vwuxfwxuh dv wkh Frxuqrw jdph1

Zlwk uhvshfw wr wkh Ehuwudqg fdvh Khkhqndps ^;` vkrzv wkdw li sulfhv kdyh wr eh fkrvhq iurp d qlwh julg/ wkh xqltxh +joredoo|, vwdeoh uhvw srlqw ri wkh g|qdplfv lv wkh sulfh mxvw deryh wkh Ehuwudqg htxloleulxp1 Qrwh wkdw wklv sulfh lv dovr d vwulfw Qdvk htxloleulxp1 Lq wkh frqwlqxrxv fdvh wklv +vhfrqg, htxloleulxp glvdsshduv ohdylqj xv zlwk wkh xqltxh Ehuwudqg htxloleulxp/ zklfk lv qrw hyhq dq HVV1 Zkloh zh fdq vkrz wkdw vwudwhjlhv erxqghg ehorz pdujlqdo frvw zloo ydqlvk dv|pswrwlfdoo|/ zh kdyh qrwklqj wr vd| derxw wkh vkdsh ri wkh olplw glvwulexwlrq1 Zh frqmhfwxuh wkdw wkh suredelolw| pdvv rq lqwhuydov qhdu wkh htxloleulxp lqfuhdvhv1

Krzhyhu/ li zh uhvwulfw wkh vwudwhj| vsdfh e| h{foxglqj dq rshq lqwhuydo ESc K ri sulfhv deryh pdujlqdo frvw S/ zh rewdlq wkh uhvxow wkdw wkh sulfh K lv vwurqjo| dwwudfwlqj/ zklfk lv wkh dqdorj wr wkh glvfuhwh fdvh1

Ilqdoo|/ zh vkrz wkdw pl{hg vwudwhjlhv dovr w lq rxu iudphzrun1 Khuh zh fdq xvh uhvxowv douhdg| rewdlqhg e| Klqhv ^<` dqg ]hhpdq ^55`1 Wkh dgydqwdjh ri xvlqj uhsolfdwru g|qdplfv rq wkh vsdfh ri pl{hg vwudwhjlhv lv wkdw lq frqwudvw wr g|qdplfv rq sxuh vwudwhj| vsdfhv hyroxwlrqdu| vwdeoh vwudwhjlhv duh fkdudfwhul}hg e| wkh dv|pswrwlfdoo| vwdeoh uhvw srlqwv ri wkh

(4)

uhsolfdwru g|qdplfv1

Wkh sdshu lv rujdql}hg dv iroorzv1 Lq wkh qh{w vhfwlrq zh ghvfuleh wkh iudphzrun iru dqdo|}lqj g|qdplfv rq lqqlwh glphqvlrqdo vsdfhv1 Lq Vhfwlrq 6 zh lqwurgxfh wkh uhsolfdwru g|qdplfv dqg vkrz wkdw wkh| duh zhoo ghqhg rq lqqlwh vwudwhj| vsdfhv1 Vhfwlrq 7 lv ghyrwhg wr wkh ghulydwlrq ri vwdelolw|

frqglwlrqv1 Vhfwlrq 8 frqwdlqv wkh dssolfdwlrqv/ Qdvk ghpdqg jdph/ Zdu ri Dwwulwlrq/ Frxuqrw gxrsro|/ Ehuwudqg gxrsro|/ dqg pl{hg vwudwhjlhv1 Ilqdoo|/

Vhfwlrq 9 frqfoxghv1 Vrph surriv duh uhohjdwhg wr dq dsshqgl{1

5 Irupxodwlrq ri wkh jdph

Ohw 7 7^?1 Hohphqwv ri 7 duh fdoohg vwudwhjlhv1 W|slfdo h{dpsohv duh wkh glvfuhwh fdvh/ 7 ' i%c c %?j/ wkh vhw ri doo srvvleoh txdqwlwlhv lq d Frxuqrw jdph/ 7 ' 7n/ ru vrph vxevhw ri 7^? zlwk wkh xvxdo phwulf1

Ohw V eh wkh Eruho jhog rq 71 Lq wkh glvfuhwh fdvh/ wklv lv wkh srzhu vhw ri 7 +dqg qrw phqwlrqhg ehfdxvh lw sod|v qr uroh,> lq wkh frqwlqxrxv fdvh/

wklv lv wkh vpdoohvw j0hog frqwdlqlqj doo rshq vhwv1

Iru qrwdwlrqdo vlpsolflw| zh uhvwulfw rxuvhoyhv wr wkh fdvh ri v|pphwulf wzrsod|hu jdphv/ wkrxjk wkh vhwxs fdq eh h{whqghg wr wkh dv|pphwulf fdvh1 Ohw s G 7 7 $ 7 eh wkh sd|r ixqfwlrq1 Iru wkh ehjlqqlqj/ wkh rqo|

D srsxodwlrq lv ghvfulehg e| d suredelolw| phdvxuh rq wkh phdvxuh vsdfh E7c V1 Wkh vlpsoh{ ri doo srsxodwlrqv lv ghqrwhg e| {1 Wkh +h{shfwhg, sd|r ri srsxodwlrq djdlqvw srsxodwlrq ' lv

.Ec ' ' ]

7

]

7sE%c +'E_+E_%

Wkh dlp lv wr vwxg| wkh hyroxwlrq ri srsxodwlrqv ryhu wlph1 Iru wklv sxusrvh/ zh qhhg d Edqdfk vsdfh wr zklfk doo srsxodwlrqv ehorqj1 Zh vd|

wkdw D lv d vljqhg phdvxuh rq E7c V li wkhuh duh wzr qlwh phdvxuhv > dqg >² vxfk wkdw iru doo vhwv 5 Vc DE ' >E >²E1 Wkh vsdfh ri doo vljqhg phdvxuhv lv ghqrwhg e| P^eE7c V1 Lw lv fohduo| d yhfwruvsdfh1 Zkdw nlqg ri qrup lv dssursuldwh wr ghvfuleh wkh glvwdqfh ehwzhhq wzr srsxodwlrqvB Zh sursrvh wkh vxsuhpxp ru yduldwlrqdo qrup1

(5)

Ghqlwlrq 4 Wkh yduldwlrqdo qrup rq P^eE7c V lv jlyhq e|

n>n ' tT

s

] s _>

c

zkhuh wkh tT lv wdnhq ryhu doo phdvxudeoh ixqfwlrqv s G 7 $ 7 erxqghg e|

c tT_rM7msErm 1

Hqgrzhg zlwk wkh yduldwlrqdo qrup/ P^e lv d Edqdfk vsdfh +fi1 Dow ^5`,/

wkdw lv/ hyhu| Fdxfk| vhtxhqfh lq P^e frqyhujhv wr dq hohphqw lq P^e1 Vlqfh zh zdqw wr vwxg| wkh g|qdplfv ri srsxodwlrqv dv wlph xqirogv/

zh kdyh wr ghdo zlwk fxuyhv 6 G 7n $ P^e1 Vxfk d ixqfwlrq lv fdoohg frqwlqxrxvo| glhuhqwldeoh li wkhuh h{lvwv d frqwlqxrxv ixqfwlrq 6 G 7n $ P^e zlwk

<f*4

6E| n 6E|

' 6E| c

zkhuh wkh olplw kdv wr eh wdnhq zlwk uhvshfw wr nn1

Qrz/ lw lv hdv| wr lqwurgxfh ruglqdu| glhuhqwldo htxdwlrqv/ wrr1 Ohw 8 G P^e$ P^e eh frqwlqxrxv1 D frqwlqxrxvo| glhuhqwldeoh ixqfwlrq 6 zlwk

6E| ' 8 E6E|c 6Ef ' > +4,

lv fdoohg d vroxwlrq wr wkh ruglqdu| glhuhqwldo htxdwlrq +4,1

D fuxfldo idfw lv wkdw zlwk Olsvfklw}frqglwlrqv rqh kdv dozd|v d xqltxh vroxwlrq wr vxfk lqlwldo ydoxh sureohpv1

Wkhruhp 4 Vxssrvh wkdw 8 lv erxqghg dqg vdwlvhv d joredo Olsvfklw} frq0 glwlrq=

<g : f v1w1 ;>c D 5 P^ec n8E> 8EDn g n> Dn

Wkhq wkh ruglqdu| glhuhqwldo htxdwlrq +4, kdv d xqltxh vroxwlrq rq dfc 41 Iru d surri vhh h1j1 ]hlgohu ^56` Fruroodu| 61<1 Wkh lpsruwdqw surshuw|

qhhghg lq wkh surri lv Olsvfklw}frqwlqxlw|1 Lw doorzv wr ghqh d frqwudfwlrq 6 :$

| :$ > n ] _|

f 8E6Er_r

(6)

rq wkh vsdfh ri doo frqwlqxrxv ixqfwlrqv wkdw pds 7nlqwr P^edqg wkh w|slfdo {hgsrlqw dujxphqw jlyhv h{lvwhqfh dqg xqltxhqhvv1

Lw lv xvhixo wr kdyh vrph wrrov dw kdqg wkdw pdnh fdofxodwlrqv ri wkh yduldwlrqdo qrup hdvlhu dqg ohdg dw wkh vdph wlph wr d ehwwhu xqghuvwdqglqj ri wkh lqgxfhg wrsrorj|1

Iru wkh uhvw ri wklv vhfwlrq/ ohw c ' 5 { ghqrwh suredelolw| phdvxuhv1 Iru suredelolw| phdvxuhv zh kdyh wkdw +fi1 Vklu|dhy ^4</ s1 693`,

n 'n ' 2 tT

M4mE 'Em

Wkxv/ wkh pd{lpxp glvwdqfh ehwzhhq wzr suredelolw| phdvxuhv lv 5 dqg lv uhdfkhg zkhq wkh phdvxuhv duh ruwkrjrqdo/

B ' , n 'n ' 2

Wr vhh wklv/ wdnh d vhw zlwk E ' dqg 'E^S ' dqg ohw s ' ^S/ zkhuh ghqrwhv wkh lqglfdwru ixqfwlrq1 Wkhq

]

s_E ' ' E n 'E^S ' 2

Wkhuhiruh/ nn lv d yhu| vwurqj phdvxuh ri glvwdqfh1 Iru h{dpsoh/ hyhq li %? $ % lq 7 dqg %? 9' %/ wkh fruuhvsrqglqj Gludfphdvxuhv B%_? gr qrw frqyhujh wr B%lq wkh vhqvh ri wkh yduldwlrqdo qrup ehfdxvh ri nB%? B%n ' 21 Vlqfh zh duh lqwhuhvwhg lq srsxodwlrqv/ wkhuh pd| eh dq dujxphqw lq idyru ri vxfk d vwurqj qrup ri wkh iroorzlqj w|sh1 Wkh Gludf phdvxuh B% ghvfulehv d krprjhqhrxv srsxodwlrq1 Iurp dq hyroxwlrqdu| srlqw ri ylhz/ wzr glvwlqfw krprjhqhrxv vrflhwlhv duh txlwh idu iurp rqh dqrwkhu lq hyroxwlrqdu| whupv ehfdxvh hyhu|rqh lq d srsxodwlrq kdv wr pxwdwh lq rughu wr frqyhuw rqh srsxodwlrq lqwr wkh rwkhu/ zklfk lqghhg zrxog eh d yhu| uduh hyhqw1

Lw pd| vhhp txlwh gl!fxow wr fdofxodwh wkh yduldwlrqdo qrup1 Krzhyhu/

wklv lv qrw vr li zh kdyh ghqvlwlhv1 Ohw > ' @ K'c iru vrph qrqqhjdwlyh

@c K fc eh d vljqhg phdvxuh1 Dvvxph wkdw wkhuh lv d wklug suredelolw|

phdvxuh - wkdw grplqdwhv^# c '/ khqfh dovr >1 Wkhq wkh Udgrq0Qlnrg|p ghqvlwlhv ' ^__{_-}c ' ^_'_{_-} dqg 1 ' _{_-}^_> ' @ K h{lvw1 Zh kdyh

#Hyhu| vhw , zlwk 7+,, @ 3 kdv 5 +,, @ 31

(7)

Wkhruhp 5 Wkh yduldwlrqdo qrup ri > lv jlyhq e|

n>n ' ]

7m1m _-

Lq sduwlfxodu/ wkh glvwdqfh ehwzhhq suredelolw| phdvxuhv lv jlyhq e|

n 'n ' ]

7m m _- Surri1 Vhh dsshqgl{1

Wkh suhfhglqj wkhruhp lpsolhv wkdw wkh frqyhujhqfh ri ^? $ lq wkh yduldwlrqdo qrup lv htxlydohqw wr wkh frqyhujhqfh ri wkh ghqvlwlhv ^__{_-}^? $ ^__{_-} lq wkh Ovhqvh zlwk uhvshfw wr wkh grplqdwlqj phdvxuh - li wkh vhtxhqfh E^? dqg wkh phdvxuh duh grplqdwhg e| -1

Zh vwdwh wklv dv d fruroodu| iru wkh fdvh ri wkh Ohehvjxh phdvxuh1

Fruroodu| 4 Ohw ^? dqg kdyh ghqvlwlhv ^?E% dqg E% zlwk uhvshfw wr wkh Ohehvjxh phdvxuh1 Wkhq

^?$ / ] _"

3"m^?E% E%m _% $ f Ilqdoo|/ ohw xv kdyh d orrn dw wkh fodvvlfdo glvfuhwh fdvh1

Fruroodu| 5 Ohw 7 ' ic c ?j1 Vhw R^? ' ^?Eij dqg R ' Eij1 Wkhq ^?$ / R^? $ Rc ;

Surri1 Vhh dsshqgl{1

Dv zh vhh/ lq wkh glvfuhwh fdvh/ wkh wrsrorj| lqgxfhg e| wkh yduldwlrqdo qrup lv htxlydohqw wr wkh srlqwzlvh frqyhujhqfh ri suredelolwlhv1 Wkh fodvvlfdo uhvxowv zloo wkhuhiruh eh frqwdlqhg lq rxu uhvxowv1

6 Wkh Uhsolfdwru G|qdplfv

Wkh g|qdplfv prvw zlgho| vwxglhg lq wkh olwhudwxuh rq hyroxwlrqdu| jdph wkhru| duh wkh uhsolfdwru g|qdplfv1 Wkh| irupdol}h wkh lghd wkdw lq d g|0 qdplf surfhvv ri hyroxwlrq d vwudwhj| % vkrxog lqfuhdvh lq iuhtxhqf| li lw lv d

(8)

jE%c ' G' ]

7sE%c +'E_+

]

7

]

7sE%c +'E_+'E_% ' .EB%c '.E'c ' Wkh lghd ri uhsolfdwru g|qdplfv lv wkdw wkh uhodwlyh lqfuhphqw ri wkh iuhtxhqf|

ri d vhw ri vwudwhjlhv lv jlyhq h{dfwo| e| wkh vxffhvv ri wkdw vhw1 Irupdoo|/

Ghqlwlrq 5 Wkh ruglqdu| glhuhqwldo htxdwlrq 'E| '

]

ujE%c 'E| 'E|E_%c 'Ef ' ru lq pruh h{whqvlyh irup/

'E|E ' ]

jE%c 'E| 'E|E_%c 'Ef ' iru doo 5 V/ lv fdoohg uhsolfdwru g|qdplfv1

Qrwh wkdw e| wdnlqj ' i%j zh jhw wkh xvxdo irupxodwlrq ri wkh uhsolfdwru g|qdplfv iru wkh qlwh vwudwhj| fdvh1

Rxu uvw phvvdjh lq wklv sdshu lv wkdw wkh uhsolfdwru g|qdplfv duh zhoo ghqhg lq wklv jhqhudo vhwwlqj li wkh sd|r ixqfwlrq s lv erxqghg1 Wkh uhpdlqghu ri wklv vhfwlrq lv ghyrwhg wr surylqj wklv vwdwhphqw1^$

Ghqrwh e| 8E' 'U

ujE%c ''E_% wkh uljkwkdqg vlgh ri wkh uhsolfdwru g|qdplfv1 Wkh vwudwhj| iru surylqj wkh vwdwhphqw lv wkh iroorzlqj1 Vlqfh lw lv hdvlhu wr zrun zlwk wkh yhfwru vsdfh P^e udwkhu wkdq zlwk {/ lq wkh iroorzlqj ohppd zh vwdwh vx!flhqw frqglwlrqv rq j iru wkh h{lvwhqfh ri d Olsvfklw} frqwlqxrxv ixqfwlrq 8 ghqhg rq P^e zklfk frlqflghv zlwk 8 rq {1 Lq Ohppd 5 zh zloo wkhq yhuli| wkdw wkh frqglwlrqv rq j duh vdwlvhg li s lv erxqghg1 Ilqdoo|/ lq Wkhruhp 6 zh vkrz wkdw { lv lqyduldqw zlwk uhvshfw wr wkh glhuhqwldo htxdwlrq 'E| ' 8 E'E|

$Wkh iroorzlqj dqdo|vlv rzhv pxfk wr wkh zrun ri Erp}h ^8`/ ^9`1 Vhh dovr wkh uhfhqw sdshu e| Vh|prxu ^4;`/ zkr ghyhorsv d vlplodu iudphzrun wr rxuv iru wkh dv|pphwulf fdvh1

(9)

Ohppd 4 Vxssrvh wkh iroorzlqj Olsvfklw} dqg erxqghgqhvv frqglwlrqv krog iru j

n'n c n-n 2 , tT

% mjE%c ' jE%c -m u n' -n +5,

'G8'8$2tT mjE%c 'm j"c +6,

zkhuh u dqg j" duh vrph frqvwdqwv zlwk u/ j" 4Wkhq wkhuh h{lvwv d erxqghg/ Olsvfklw} frqwlqxrxv ixqfwlrq 8 G P^e $ P^e/ zklfk frlqflghv zlwk 8 rq {/

8E ' 8Ec ; 5 { Surri1 Vhh dsshqgl{1

Ohppd 5 Li wkh sd|r ixqfwlrq s lv erxqghg/ wkhq frqglwlrqv +5, dqg +6, ri Ohppd 4duh vdwlvhg1

E| wkh suhfhglqj ohppdwd zh nqrz wkdw wkh ruglqdu| glhuhqwldo htxdwlrq

'E| ' 8E'E| +7,

kdv d xqltxh vroxwlrq1 Iru wkh uhsolfdwru g|qdplfv wr pdnh vhqvh zh qhhg ixuwkhupruh wkdw wkh vhw { ridoo srsxodwlrqv lv lqyduldqw xqghu wkhvh g|0 qdplfv1

Wkhruhp 6 Ohw E'E| eh wkh xqltxh vroxwlrq wr +7, zlwk lqlwldo frqglwlrq 5 {1 Wkhq E'E| {/ wkdw lv/ wkh vhw ri doo srsxodwlrqv { lv lqyduldqw zlwk uhvshfw wr +7,1

Pruhryhu/ 'E| dqg duh xqlirupo| htxlydohqw lq wkh vhqvh wkdw wkhuh h{lvwv frqvwdqwv _|c K|: f vxfk wkdw

_|'E|E E K|'E|E

iru doo vhwv 5 V1 Wkh ghqvlw| ri 'E| zlwk uhvshfw wr vdwlvhv _'E|

_ E% ' i T ] _|

f jE%c 'Er_r

+8,

(10)

Wkdw lv/ lizh vwduw zlwk d srsxodwlrq 5 {/ wkh vroxwlrq ri E'E|

vwd|v lq wkh vhw risrsxodwlrqv {1 Rq { wkh ixqfwlrqv 8 dqg 8 frlqflgh1 Frpelqlqj Ohppdwd 4 dqg 5 zlwk Wkhruhp 6 zh jhw wkh iroorzlqj

Wkhruhp 7 Li wkh sd|r ixqfwlrq s lv erxqghg/ wkhq wkh uhsolfdwru g|qdplfv duh zhoo ghqhg1

7 Vwdelolw| frqfhswv

Zh vwduw zlwk wkh fodvvlfdo frqfhsw rihyroxwlrqdu| vwdelolw| lqwurgxfhg e|

Pd|qdug Vplwk ^48`1

Ghqlwlrq 6 D srsxodwlrq lv fdoohg dq hyroxwlrqdu| vwdeoh vwdwh +HVV, li iru hyhu| pxwdwlrq '/ wkhuh lv dq lqydvlrq eduulhu 0E' : f vxfk wkdw iru doo # 0

.Ec E # n #' : .E'c E # n #' +9, Wzr vwurqjhu qrwlrqv duh ehwwhu vxlwhg iru wkh g|qdplfdo dvshfwv rihyr0 oxwlrqdu| jdph wkhru|1

Ghqlwlrq 7 D srsxodwlrq lv fdoohg xqlqydgdeoh li wkhuh lv d xqlirup lqyd0 vlrq eduulhu/ wkdw lv/ dq 0 : f vxfk wkdw +9, krogv iru doo ' dqg doo # 01

Xqlqydgdelolw| uhtxluhv d xqlirup lqydvlrq eduulhu iru doo srvvleoh px0 wdwlrqv '1 Lq jhqhudo/ rqh frxog uhtxluh hyhq pruh1 Xs wr qrz/ zh kdyh frqvlghuhg wkh fdvh lq zklfk d vpdoo iudfwlrq # riwkh srsxodwlrqv fkdqjhv duelwudulo|1 Pruh jhqhudoo|/ rqh frxog orrn dw wkh fdvh zkhuh wkh zkroh srs0 xodwlrq lv doorzhg wr pxwdwh/ exw rqo| lq d pdqqhu wkdw wkh glvwdqfh ehwzhhq wkh ruljlqdo dqg wkh pxwdwhg srsxodwlrq uhpdlqv vpdoo1

Ghqlwlrq 8 +Erp}h, D srsxodwlrq lv fdoohg vwurqjo| xqlqydgdeoh li wkhuh lv d eduulhu 0 : f vxfk wkdw iru doo srsxodwlrqv - lq wkh 0qhljkerukrrg ri / - 9' /

n- n 0c zh kdyh

.Ec - : .E-c -

(11)

Zh sxw wrjhwkhu vrph vlpsoh idfwv derxw wkh ydulrxv vwdelolw| frqfhswv lq

Ohppd 6 41 Hyhu| vwurqjo| xqlqydgdeoh srsxodwlrq lv xqlqydgdeoh/ dqg hyhu| xqlqydgdeoh srsxodwlrq lv hyroxwlrqdu| vwdeoh1

51 Li d glvfuhwh phdvxuh ' S_?

'RB% lv xqlqydgdeoh/ wkhq lw lv dovr vwurqjo| xqlqydgdeoh1

61 Li wkh vwudwhj| vsdfh 7 lv glvfuhwh/ wkhq wkh wkuhh frqfhswv frlqflgh1 Surri1 Wkh uvw vwdwhphqw lv reylrxv1 Iru wkh vhfrqg/ ohw 'S_?

'RB%

eh xqlqydgdeoh/ dqg dvvxph zlwkrxw orvv rijhqhudolw| wkdw R : f iru doo 1 Ohw 0 eh d xqlirup lqydvlrq eduulhu dqg vhw 0 G' 0 4? R Qrz dvvxph n- n 0 Vhw o G' - Ei%j Wkhq # G' 4@ ^R_R^3o 0 Ghqh d phdvxuh ' yld ' ' _#E- E # Wkhq lw lv hdv| wr fkhfn wkdw ' 5 { Khqfh/ - fdq eh zulwwhq dv - ' E # n #' iru vrph # 0 dqg vrph srsxodwlrq '1 Vlqfh lv xqlqydgdeoh/ lw iroorzv wkdw .Ec - : .E'c - dqg khqfh .Ec - : .E-c -1

Wkdw hyhu| HVV lv xqlqydgdeoh lq wkh glvfuhwh fdvh lv zhoo nqrzq +fi1 ^54`,1 Vlqfh zlwk d glvfuhwh vwudwhj| vsdfh doo srsxodwlrqv duh glvfuhwh phdvxuhv/ wkh vhfrqg vwdwhphqw lpsolhv wkdw hyhu| xqlqydgdeoh srsxodwlrq lv dovr vwurqjo|

xqlqydgdeoh1

Ilqdoo|/ zh uhfdoo wkh iroorzlqj g|qdplf vwdelolw| qrwlrqv1 Ghqlwlrq 9 Ohw ' eh d uhvw srlqw ri wkh uhsolfdwru g|qdplfv/

jEc ' ' f ' @e Wkhq

' lv fdoohg O|dsxqry vwdeoh li iru doo 0 : f wkhuh h{lvwv dq # : f vxfk wkdw n'Ef 'n # , n'E| 'n 0 iru doo | : f1

' lv fdoohg vwurqjo| dwwudfwlqj li wkhuh h{lvwv 0 : f vxfk wkdw n'Ef 'n 0 , n'E| 'n $ f

(12)

' lv fdoohg zhdno| dwwudfwlqj li wkhuh h{lvwv 0 : f vxfk wkdw n'Ef 'n 0 , 'E| $ '^W lq glvwulexwlrq

Dv zh vkdoo vhh/ frqyhujhqfh lq yduldwlrq lv lq prvw fdvhv wrr pxfk wr krsh iru1 Wkhuhiruh/ wkh frqfhsw ri zhdn dwwudfwlrq lv pruh dssursuldwh iru rxu sxusrvh1 Qhyhuwkhohvv/ zh zloo odwhu hqfrxqwhu dq h{dpsoh zkhuh d uhvw srlqw lv vwurqjo| dwwudfwlqj +Vhfwlrq 817,1

Zh kdyh wkh iroorzlqj xvhixo uhvxow/ zklfk frqqhfwv wkh vwdwlf dqg wkh g|qdplf vwdelolw| frqfhswv1

Wkhruhp 8 Li ' ' B% lv dq xqlqydgdeoh/ krprjhqhrxv srsxodwlrq/ wkhq ' lv O|dsxqry vwdeoh1

Surri1 Vlqfh B% lv xqlqydgdeoh +dqg wkhuhiruh vwurqjo| xqlqydgdeoh e|

Ohppd 4,/ wkhuh h{lvwv dq 0 : f vxfk wkdw iru doo - 5 { zlwk n- B%n 0 .EB%c - : .E-c -

Iru 'Ef ' B% wkhuh lv qrwklqj wr vkrz1 Dvvxph 'Ef 9' B% Wkh ixqfwlrq ME| G' 'E| Ei%j lv frqwlqxrxvo| glhuhqwldeoh1 E| Ohppd 6 zh kdyh

ME| ' MEf i T ] _|

f jE%c 'Er_r

c khqfh

ME|

ME| ' jE%c 'E| +:,

Zh fodlp wkdw M lv vwulfwo| lqfuhdvlqj1 E| dvvxpswlrq/ MEf ' jE%c 'Ef : f1 Vxssrvh wkdw M hyhqwxdoo| ehfdph }hur dqg vhw

|f G' ?u i| f( ME| ' fj

Wkhq ME|f ' f vlqfh wkh vhw i| f( ME| ' fj lv forvhg1 Iru doo r

lqfuhdvlqj zklfk lpsolhv wkdw n'E| B%n 0

(13)

Wkh surririwkh suhfhglqj Wkhruhp vkrzv wkdw wkh uhsolfdwru g|qdplfv lqfuhdvh wkh zhljkw rq wkh sxuh vwudwhj| % li B%lv xqlqydgdeoh1 Wkhuhiruh/

wkh zhljkw 'E| Ei%j frqyhujhv dqg wkh jurzwk udwh riwkh vwudwhj| pxvw ydqlvk1 Zh vwdwh wklv idfw dv d fruroodu|1

Fruroodu| 6 Li ' ' B% lv dq xqlqydgdeoh/ krprjhqhrxv srsxodwlrq/ wkhq wkh wqhvv glhuhqwldo ydqlvkhv=

jE%c 'E| $ f

Surri1 E| +:,/ wkh frqyhujhqfh ri 'E|Ei%j ' ME| lpsolhvU_"

f jE%c 'Er_r 4 Wkh uhvxow iroorzv li zh vkrz wkh htxlfrqwlqxlw| ri wkh pds | :$ jE%c 'E|1 Vlqfh wkh frqglwlrqv riOhppd 4 duh vdwlvhg/ zh kdyh e| +5,/

mjE%c 'E| jE%c 'Erm u n'E| 'Ern

Wkh erxqghgqhvv ri j rq {/ +6,/ dqg uhsolfdwru g|qdplfv |lhog iru hyhu| vhw

m'E|E 'ErEm '

] _|

r 'EE_

'

] _|

r

]

jE1c 'E'EE_1_

j^"m| rm Khqfh/ xvlqj +5,/

mjE%c 'E| jE%c 'Erm 2uj"n| rn c

zklfk lpsolhv Olsvfklw} dqg khqfh htxlfrqwlqxlw| riwkh pds | :$ jE%c 'E|1 Liwkh sd|r ixqfwlrq s lv frqwlqxrxv zklfk lw lv iuhtxhqwo| qrw / wkhq zh kdyh wkh iroorzlqj

Fruroodu| 7 Li wkh sd|r ixqfwlrq s lv frqwlqxrxv/ hyhu| xqlqydgdeoh/ kr0 prjhqhrxv srsxodwlrq '^W ' B% lv zhdno| dwwudfwlqj1

Surri1 Iru frqwlqxrxv s/ wkh h{shfwhg sd|r glhuhqfh .EB%c ' .E'c ' lv frqwlqxrxv lq ' zlwk uhvshfw wr wkh zhdn wrsrorj|1 Wkh vhw { ridoo

(14)

srsxodwlrqv lv frpsdfw lq wkh zhdn wrsrorj|1 Ohw eh d zhdn dffxpxodwlrq srlqw riwkh wudmhfwru| E'E| E| wkh suhfhglqj fruroodu| f ' *4 jE%c 'E| '

*4 d.EB%c 'E| .E'E|c 'E|o ' .EB%c .Ec E| Wkhruhp 8/ B% lv vwdeoh/ khqfh lv forvh wr B% E| xqlqydgdelolw|/ ' B%

Zh vkrxog frpsduh wkh vwdelolw| uhvxowv rewdlqhg lq wklv vhfwlrq zlwk wkrvh iru wkh qlwhv fdvh1 Dv lv zhoo nqrzq lq wkh qlwh fdvh dq HVV lv vx!flhqw iru dv|pswrwlf vwdelolw| +Kriedxhu hw do1 ^45`,1 D iruwlrul/ doo vwulfw htxloleuld duh dv|pswrwlfdoo| vwdeoh1 Rqh pd| zrqghu zkhwkhu wklv uhvxow vxuylyhv lq wkh lqqlwh fdvh1 Vrphzkdw vxusulvlqjo| lw grhv qrw dv wkh iroorzlqj h{dpsoh vkrzv1

Frqvlghu d jdph zlwk vwudwhj| vhw 7 ' 7 dqg sd|r ixqfwlrq sE%c + '

;?

=

m% m li + ' f li % ' c + 9'

rwkhuzlvh1

Lw fdq hdvlo| eh fkhfnhg wkdw Ec lv d vwulfw Qdvk htxloleulxp1 Krzhyhu/ lw lv qrw xqlqydgdeoh dqg lw lv qrw O|dsxqry vwdeoh1 Iru dq| 0 : f/

jE n ⁰₂c E 0Bn 0Bn⁰ '

0²

0*2 : f

Wkhuhiruh/ B lv qrw xqlqydgdeoh1 Pruhryhu/ iru 'Ef ' E 0B n 0Bn⁰

vlpsoh fdofxodwlrqv vkrz wkdw wkh zhljkw rq n 0*2/ #E| G' ' Ei n 0*2j/

vdwlvhv

#E|

#E| ' jEn0*2c 'E| ' E #E|k

#E| E n 0*2 0 2

l

0²

0*2 : f Wkxv/ #E| lqfuhdvhv wr 4 dqg B lv qrw O|dsxqry vwdeoh1^%

8 Dssolfdwlrqv

Iru pdq| jdphv lw lv pruh qdwxudo wr wklqn ri vwudwhjlhv dv frqwlqxrxv/ lq sduwlfxodu/ li vwudwhjlhv lqyroyh wkh wlplqj ri dfwlrqv ru wkh fkrlfh ri sulfhv ru orfdwlrqv1 Hyhq li vpdoohvw phdvxuhphqw xqlwv iru txdqwlwlhv ru sulfhv h{lvw/

%Qrwh wkdw wkh sd|r ixqfwlrq lq wkh h{dpsoh lv glvfrqwlqxrxv1 Krzhyhu/ lw fdq eh vprrwkhg rxw zlwkrxw fkdqjlqj wkh uhvxow1

(15)

lw lv riwhq pruh frqyhqlhqw wr prgho wkhp dv frqwlqxrxv1 Lq wklv vhfwlrq zh suhvhqw d qxpehu ri h{dpsohv zkhuh wkh uhsolfdwru g|qdplfv duh dssolhg wr lqqlwh vwudwhj| vsdfhv1

814 Qdvk ghpdqg jdph

Rqh vlpsoh h{dpsoh lv wkh Qdvk ghpdqg jdph1 Wzr sod|huv kdyh wr ghflgh krz wr glylgh d uhvrxufh ri vl}h 41 Erwk sod|huv vlpxowdqhrxvo| vxeplw gh0 pdqgv/ % dqg + +l1h1 7 ' 7n1 Li wkh ghpdqgv duh ihdvleoh/ erwk jhw zkdw wkh| ghpdqghg1 Li qrw/ erwk uhfhlyh qrwklqj1 Wkxv wkh sd|r ixqfwlrq lv

sE%c + '

% li % n + f li % n + :

Wkh xqltxh h!flhqw v|pphwulf htxloleulxp ri wklv jdph lv E₂c₂1 Vlqfh wklv htxloleulxp lv vwulfw/ lw lv dq HVV1 Wkh qh{w sursrvlwlrq vkrzv wkdw lw lv xqlqydgdeoh dqg zhdno| dwwudfwlqj1

Sursrvlwlrq 4 Lq wkh Qdvk ghpdqg jdph wkh krprjhqrxv srsxodwlrq B*2

lv xqlqydgdeoh/ O|dsxqry vwdeoh/ dqg zhdno| dwwudfwlqj1

Surri1 Wr hvwdeolvk xqlqydgdelolw|/ zh qhhg wr vkrz wkdw .Ec .EB*2c c iru doo 9' B*2 zlwk B*2 01 Doo lq wkh 0qhljkerukrrg ri B*2

fdq eh zulwwhq dv

' k'^!n q'ⁿn E k qB*2c +;, zkhuh '^! dqg 'ⁿ duh vrph suredelolw| phdvxuhv zlwk '^!Ed₂c o ' f dqg 'ⁿEdfc₂o ' fc dqg k n q 01 Iru suredelolw| phdvxuhv -c - frqfhqwudwhg rq

fc₂

/ rqh kdv .E-c - ' 6E- *2/ zkhuh 6E- 'U

%-E_% ghqrwhv wkh phdq ydoxh ri srsxodwlrq - Li q ' fc rqh kdv wkdw .Ec ' 6E

2 ' .EB*2c 1

Qh{w frqvlghu q : f1 Lq jhqhudo/ .EB*2c ' ₂E q Qrwh wkdw .E'ⁿc ' k.E'ⁿc '^! k6E'ⁿ k Wkh elolqhdulw| ri . |lhogv

j

2c

' ₂E q .Ec

' ₂E q k.E'^!c E k q.EB*2c q.E'ⁿc

(16)

₂E q k6 '^!

₂E k qE q kq6 'ⁿ

+<, ₂E q ₂k ₂E k qE q kq

' ₂q E q k +43,

Wkxv/ jE*2c : f li q : f dqg knq c zklfk lv vdwlvhg iru 0 vpdoo1 Khqfh B*2 lv xqlqydgdeoh1 Lw iroorzv iurp Wkhruhp 8 wkdw B*2 lv O|dsxqry vwdeoh1

E| Fruroodu| 6 wkh wqhvv glhuhqfh j

2c 'E|

ydqlvkhv1 Ghqlqj qE|c kE|

815 Wkh Zdu ri Dwwulwlrq

Dq h{dpsoh iru d jdph lq zklfk wlplqj lv wkh uhohydqw fkrlfh lv wkh zhoo nqrzq Zdu ri Dwwulwlrq/ zklfk kdv lpsruwdqw dssolfdwlrqv lq hfrqrplfv dqg elrorj|1 Frqvlghu wzr sod|huv jkwlqj iru d sul}h zruwk T wr erwk sod|huv1 D vwudwhj| lv wr fkrrvh d ohqjwk ri wlph % 5 dfc o iru zklfk rqh lv suhsduhg wr vwd| lq wkh udfh1 Iljkwlqj lv frvwo|1 Wkh sd|rv duh jlyhq dv iroorzv

sE%c + '

;?

=

T + li % : +

T2 % li % ' +

% li % +

wkdw lv/ d sod|hu jhwv wkh sul}h li kh vwd| orqjhu lq wkh udfh wkdq klv ulydo exw kdv wr vkduh li wkh| vwd| htxdoo| orqj1 Zh dvvxph wkdw : T*2 Rwkhuzlvh zdlwlqj xqwlo wkh hqg lv dozd|v surwdeoh1

Lw lv reylrxv wkdw qr sxuh vwudwhj| Qdvk htxloleulxp h{lvwv1 Exw dv vkrzq e| Elvkrs dqg Fdqqlqjv ^6` wkhuh lv d xqltxh/ frpsohwho| pl{hg Qdvk htxlole0 ulxp/ zklfk kdv wkh iroorzlqj htxloleulxp glvwulexwlrq 1 Ohw |' T*21

Edfc %o '

;?

=

e^!%*T li % |

e^!|^*T li | %

li % '

Elvkrs dqg Fdqqlqjv ^6` vkrz wkdw lv dq HVV1 Lq idfw/ wkh| vkrz ^6/ s1 44;` wkdw wkh wqhvv glhuhqwldo ehwzhhq wkh htxloleulxp glvwulexwlrq dqg

(17)

dq| pxwdwlrq ' lv jlyhq e| wkh vtxduh ri wkh O²0glvwdqfh ri wkh fruuhvsrqglqj glvwulexwlrq ixqfwlrqv=

.Ec ' .E'c ' ' En 'n₂² +44, zkhuh

n>n₂ G'

]

f > Edrc o²_r ^Q

ghqrwhv wkh O²0qrup rq wkh vsdfh ri glvwulexwlrq ixqfwlrqv1 Qrwh wkdw vlqfh wkh uljkw kdqg vlgh ri +44, lv vwulfwo| srvlwlyh iru doo ' 9' / lw iroorzv wkdw lv vwurqjo| xqlqydgdeoh1

Lq oljkw ri +44,/ lw vhhpv qdwxudo wr xvh wkh O²0wrsrorj| lq g|qdplf frq0 vlghudwlrqv1 Rq wkh vsdfh ri srsxodwlrqv {/ wklv wrsrorj| lv htxlydohqw wr wkh zhdnwrsrorj| dv vkrzq e| Klqg|/ Kxdqj/ dqg Nuhsv ^43`1 Wkh iroorzlqj wkhruhp ghprqvwudwhv wkdw wkh uhsolfdwru g|qdplfv frqyhujh joredoo| wr iurp doo lqlwldo vwdwhv 'Ef zklfk kdyh qlwh NxooedfnOhlehu glvwdqfh +ru furvvhqwurs|, zlwk uhvshfw wr 1

Wkhruhp 9 Dvvxph 'Ef grplqdwhv dqg ]

*L} _

_'Ef_ 4 +45,

Wkhq wkh uhsolfdwru g|qdplfv zlwk lqlwldo frqglwlrq 'Ef frqyhujh zhdno| wr wkh htxloleulxp glvwulexwlrq 1

Surri1 Ehfdxvh ri Wkhruhp 6/ 'E| dqg 'Ef duh xqlirupo| htxlydohqw1 Wkxv/ wkh NxooedfnOhleohu glvwdqfh

gE'E|c G' ]

*L} _ _'E|_

lv zhoo ghqhg/ qlwh/ dqg qrqqhjdwlyh1 Zlwk wkh xvh ri wkh uhsuhvhqwdwlrq iru wkh ghqvlw| ri 'E| zlwk uhvshfw wr 'Ef rewdlqhg lq Wkhruhp 6 lw iroorzv wkdw

f gE'E|c '

]

*L}

_'Ef _'E|

_ _'Ef

_

(18)

' gE'Efc

] ] _|

f jE%c 'Er_r_

' gE'Efc

] _|

f E.Ec 'Er .E'Erc 'Er _r +44, |lhogv

f gE'Efc

] _|

f En 'Ern₂²_r Khqfh/ wkh lqwhjudo ] _"

f En 'Ern₂²_r 4 +46,

h{lvwv1 Lw iroorzv wkdw wkh glvwdqfh n 'Ern₂ whqgv wr }hur dv r $ 4 vlqfh wkh pds r :$ n 'Ern₂ lv htxlfrqwlqxrxv/ zklfk fdq eh vhhq dv iroorzv1 E| wkh wuldqjxodu lqhtxdolw|/ mn 'Ern₂ n 'E|n₂m n'Er 'E|n₂ Wkh O²0qrup lv grplqdwhg e| wkh yduldwlrqdo qrup/

n'Er 'E|n₂ '

]

f E'Er Ed%c 4 'E| Ed%c 4²_%

^Q

2 n'Er 'E|n c

dqg wkh wudmhfwru| E'E| lv Olsvfklw}/ n'Er 'E|n 2j"mr |m/ frpsduh wkh surri ri Fruroodu| 61

816 Frxuqrw gxrsro|

Dqrwkhu h{dpsoh zkhuh wkh vwudwhj| vsdfh lv jhqhudoo| prghoohg dv frqwlq0 xrxv lv d gxrsro| prgho zkhuh upv fkrrvh txdqwlwlhv/ l1h1 7 ' dfc o/ iru vrph odujh hqrxjk1 Ohw RE% n + ' @ KE% n + ghqrwh wkh olqhdu lqyhuvh ghpdqg ixqfwlrq zlwk @c K : f D uhsuhvhqwdwlyh up*v surw ixqfwlrq lv jlyhq e|

sE%c + ' RE% n +% E%c

zkhuh E% lv d wzlfh frqwlqxrxvo| glhuhqwldeoh dqg frqyh{ frvw ixqfwlrq1 Jlyhq wklv dvvxpswlrq wkhuh h{lvwv d xqltxh v|pphwulf Qdvk htxloleulxp ri wkh gxrsro| jdph lq zklfk erwk upv fkrrvh txdqwlwlhv %^S

Wr vwxg| wkh vwdelolw| surshuwlhv ri %^S zh qhhg wkh iroorzlqj xvhixo idfw/

zklfk lv sduwlfxodu wr wkh olqhdu vwuxfwxuh ri wkh Frxuqrw vhwxs1

(19)

Ohppd 7 .EB%⁵c ' : .E'c ' iru doo ' 9' B%⁵ Surri1 Ohw 7^ G' U_"

f %'E_% ghqrwh dyhudjh rxwsxw1 Wkh Ohppd iroorzv iurp wkh iroorzlqj fkdlq ri +lq,htxdolwlhv1

.EB%⁵c ' ' sE%^Sc 7^ : sE7^c 7^ .E'c B7^ ' .E'c '

Wkh uvw htxdolw| iroorzv iurp wkh olqhdulw| ri wkh surw ixqfwlrq sE%c + lq +1

.EB%⁵c ' ' ] _"

f d%^SRE%^Sn + E%^So 'E_+

' %^SRE%^Sn 7^ E%^S ' sE%^Sc 7^

Wr yhuli| wkh uvw lqhtxdolw| vxssrvh 7^ %^S dqg ohw oE+ G' @h} 4@ %sE%c + ghqrwh d up*v uhdfwlrq ixqfwlrq1 Vlqfh ^Y_Y%Y+^sE%c+ f/ oE+ f1 Wkxv/

oE7^ : oE%^S ' %^S1 E| ghqlwlrq ri oE+ dqg 7^ %^S sEoE7^c 7^ : sE7^c 7^

Frqfdylw| ri sE%c + lq % lpsolhv wkdw

sE%^Sc 7^ : sE7^c 7^

D vlplodu dujxphqw krogv iru 7^ : %^S

Wkh vhfrqg lqhtxdolw| iroorzv gluhfwo| iurp frqfdylw| ri sE%c + lq % dqg Mhqvhq*v lqhtxdolw|1

sE7^c 7^

] _"

f sE%c 7^'E_% ' .E'c B7^

Ilqdoo|/ wkh odvw htxdolw| iroorzv djdlq iurp olqhdulw| ri sE%c + lq +1

Ohppd 7 lpsolhv lq sduwlfxodu wkdw B%⁵ lv vwurqjo| xqlqydgdeoh1 Wkhruhp 8/ wkhuhiruh/ |lhogv wkdw wkh Frxuqrw htxloleulxp lv O|dsxqry vwdeoh1 Zh vkrz qh{w wkdw uhsolfdwru g|qdplfv frqyhujh joredoo| wr wkh Frxuqrw htxl0 oleulxp iurp doo lqlwldo vwdwhv zklfk sxw srvlwlyh zhljkw rq wkh htxloleulxp1 Sursrvlwlrq 5 Wkh uhsolfdwru g|qdplfv frqyhujh zhdno| wr wkh Frxuqrw htxl0 oleulxp iurp dq| lqlwldo vwdwh zlwk 'EfEi%^Sj : f1 Lq sduwlfxodu/ wkh Frxuqrw htxloleulxp lv zhdno| dwwudfwlqj1

(20)

Surri1 Vlqfh wkh surw glhuhqfh jE%^Sc ' : f iru doo srsxodwlrqv '/ wkh zhljkw rq %^S lqfuhdvhv zlwk wlph iru hyhu| lqlwldo vwdwh 'Ef/ zklfk sxwv srvlwlyh suredelolw| rq %^S E| Fruroodu| 6 wkh wqhvv glhuhqwldo jE%^Sc 'E|

ydqlvkhv1 Wkh phdq sd|r lv .E'c ' '

] _"

f sE%c 7^'E_%

' ] _"

f

@% K%² K%7^ E%

'E_%

7^E@ 2K7^ E7^ KT @oE' ' sE7^c 7^ KT @oE'

Wkxv

jE%^Sc ' ' .EB%⁵c ' .E'c '

sE%^Sc 7^ sE7^c 7^ n KT @oE'

Vlqfh sE%^Sc 7^ : sE7^c 7^ e| wkh surri ri Ohppd 7/ jE%^Sc 'E| $ f lpsolhv wkdw T @oE'E| $ f dqg 7^ $ %^S1 Wkxv/ 'E| $ B%⁵ lq O² / zklfk lpsolhv zhdnfrqyhujhqfh 1

817 Ehuwudqg gxrsro|

Lq Ehuwudqg prghov ri sulfh frpshwlwlrq zlwk krprjhqrxv jrrgv d frqwlqx0 rxv vwudwhj| vsdfh lv sduwlfxoduo| dssursuldwh jlyhq wkh xvxdo xqghufxwwlqj dujxphqw1 Vwudwhjlhv iru erwk upv duh qrz sulfhv %c + 5 7n Pdunhw gh0 pdqg lv jlyhq e| d frqwlqxrxv dqg erxqghg ixqfwlrq ^E% zklfk lv vwulfwo|

ghfuhdvlqj iru doo % zlwk ^E% : f1 Ixuwkhupruh/ zh dvvxph wkdw wkhuh h{lvwv dq 7% 4 vxfk wkdw iru doo % 7%/ ^E% ' f1 Pdujlqdo frvwv/ S/ duh frqvwdqw/

zlwk S : f1 D uhsuhvhqwdwlyh up*v surw ixqfwlrq lv wkhq jlyhq e|

sE%c + '

;?

=

E% S^E% % + E% S^E%*2 % ' +

f % : +

zkhuh zh dvvxph dv xvxdo wkdw erwk upv jhw kdoi ri ghpdqg li wkh| fkrrvh htxdo sulfhv1

(21)

Dv lv zhoo nqrzq wkh xqltxh Qdvk htxloleulxp ri wklv jdph lv iru erwk upv wr fkrrvh R ' S1 Qrwh/ krzhyhu/ wkdw wkh jdph grhv qrw srvvhvv dq HVV1 Lq sduwlfxodu/ BR lv qrw dq HVV vlqfh

.EBRc E 0BR n 0' .E'c E 0BR n 0'

iru doo ' zlwk 'EESc 7% ' 1 Iru wkh vdph uhdvrq/ BR lv qrw O|dsxqry vwdeoh1 Iru d glvfuhwh vwudwhj| vsdfh Khkhqndps ^;` ghprqvwudwhv wkdw wkh vpdoo0 hvw sulfh deryh S lv joredoo| vwdeoh1 Zh fdq ghulyh d vlplodu uhvxow li zh h{foxgh iurp wkh vwudwhj| vsdfh vrph vpdoo rshq lqwhuydo ESc K/ K : S1

Sursrvlwlrq 6 Ohw 7 ' 7nqESc K iru vrph K zlwk 7% : K : S1 Wkhq BK lv xqlqydgdeoh/ dqg/ wkhuhiruh/ O|dsxqry vwdeoh zlwk uhvshfw wr wkh uhsolfdwru g|qdplfv1 Pruhryhu/ BK lv vwurqjo| dwwudfwlqj1

Surri1 Ohw Z ' EK S^EK : f dqg g eh dq xsshu erxqg iru wkh sd|rv1 Fkrrvh

#

n 2g Z

₃

+47,

Zh vkrz uvw wkdw jEKc - : f iru hyhu| srsxodwlrq - 9' BK zlwk n- BKn

#1 Hyhu| vxfk - fdq eh zulwwhq dv k³ n E k qBK n qⁿ zlwk ³EdKc 4 ' ⁿEdfc Ko ' f dqg f k n q #1 Wkhq .EBKc - ' E k n q Z*2 dqg

.E-c - ' k.E³c - n E k q.EBKc - n q².Eⁿc ⁿ E k q.EBKc - n q²g

Khqfh/

jEKc - Ek n q E k n qZ

2 q²g Ek n q

E k n qZ

2 qg Ek n q

E #Z

2 #g : fc

'E| ' kE|³n E kE| qE| BKn qE|ⁿE|

(22)

dv deryh1 Wkhq/ h{dfwo| dv deryh/

jEKc 'E| EkE| n qE|

E #Z

2 #g : f E| Fruroodu| 6/ kE| n qE| pxvw jr wr }hur1

Wkh rxwfrph iru wkh xquhvwulfwhg vwudwhj| vhw/ krzhyhu/ lv vwloo dq rshq txhvwlrq1 Zh fdq vkrz wkdw doo sulfhv R S B zloo ydqlvk/ zklfk grhv qrw h{foxgh wkh srvvlelolw| wkdw sulfhv R ' S dqg R 7% zloo vxuylyh lq wkh orqj uxq1

Sursrvlwlrq 7 Iru doo lqlwldo srsxodwlrqv 'Ef zlwk 'EfEESc 7% : f dqg duelwudu| vpdoo B : f/ doo vwudwhjlhv ehorz S B glh rxw= 'E|Edfc S Bo $ f dv | $ 4

818 Pl{hg vwudwhjlhv

Uhsolfdwru g|qdplfv duh xvxdoo| ghqhg rq wkh +qlwh, vsdfh ri sxuh vwudwh0 jlhv1 Lq frqwudvw/ wkh vwdwlf dqdorj ri dq hyroxwlrqdu| vwdeoh vwudwhj| +HVV, doorzv iru lqglylgxdov sod|lqj pl{hg vwudwhjlhv1 Wklv lv wkh uhdvrq zk| wkh vhw ri HVV fdqqrw eh fkdudfwhul}hg e| wkh vwdeoh uhvw srlqwv ri wkh uhsolfdwru g|qdplfv1 Hyhu| HVV lv dq dv|pswrwlfdoo| vwdeoh vwdwh ri wkh qlwh uhsolfd0 wru g|qdplfv exw qrw ylfh yhuvd +vhh h1j1 Zhlexoo/ ^54`/ ru YhjdUhgrqgr/

^53`,1 Wkh glyhujhqfh ri wkhvh frqfhswv glvdsshduv li rqh ghqhv uhsolfdwru g|qdplfv rq wkh vhw ri pl{hg vwudwhjlhv1

Ohw Lc A : ghqrwh wkh xqghuo|lqj v|pphwulf 5sod|hu qrupdo irup jdph/ zkhuh L G A A $ 7 ghqrwhv wkh sd|r pdwul{ dqg A lv wkh qlwh vhw ri sxuh vwudwhjlhv1 Ohw ? eh wkh qxpehu ri sxuh vwudwhjlhv1 Ohw {EA G' i% 5 7^?m% fcS_?

'% ' j ghqrwh wkh ? glphqvlrqdo vlpsoh{1

Vlqfh zh duh frqfhuqhg zlwk wkh hyroxwlrq ri pl{hg vwudwhjlhv/ rxu vwudw0 hj| vhw 7 lv jlyhq e| {EA1 Wkh fruuhvsrqglqj sd|r ixqfwlrq lv vlpso|

sE%c + ' %L+ ' [?

'

[? '

%+L

(23)

Qrwh wkdw d pl{ ryhu pl{hg vwudwhjlhv lqgxfhv mxvw dqrwkhu pl{hg vwudwhj|1 Ohw

> G' ]

{EA %'E_%

ghqrwh wkh phdq pl{hg vwudwhj| lq wkh srsxodwlrq1 Frpsduh qrz wkh wqhvv ri vrph vxesrsxodwlrq lq zklfk hyhu|rqh pl{hv kdoikdoi ehwzhhq wzr sxuh vwudwhjlhv dqg zlwk vrph rwkhu vxesrsxodwlrq lq zklfk kdoi ri wkh sod|huv fkrrvh dqg wkh rwkhuv 1 Vlqfh wkhlu phdq pl{hg vwudwhj| lv wkh vdph/ rqh fdqqrw h{shfw hyroxwlrq wr vhohfw dprqj wkrvh vxesrsxodwlrqv1 Dw ehvw rqh fdq krsh wkdw wkh phdq pl{hg vwudwhjlhv srvvhvv vrph nlqg ri vwdelolw|1 Vxfk d uhvxow zdv suryhg e| Klqhv ^<` +vhh dovr YhjdUhgrqgr ^53/ s1 93`,1 E|

Ohppd 8 ri ]hhpdq ^55`/ wkh hyroxwlrq ri wkh phdq vwudwhj| vdwlvhv

>E| ' E'E|L>E|c zkhuh E' 'U

E% >E% >'E_% ghqrwhv wkh fryduldqfh pdwul{1

Sursrvlwlrq 8 +Klqhv/ ^<`, Ohw %^W :: f eh d frpsohwho| pl{hg HVV1 Wkhq

>^W lv dv|pswrwlfdoo| vwdeoh li dqg rqo| li >^W ' %^W1

9 Frqfoxvlrq

Lq jdphv lq zklfk d frqwlqxrxv vwudwhj| vsdfh lv pruh qdwxudo/ h1j1 zkhq txdqwlwlhv/ sulfhv/ wlplqj hwf1 duh vwudwhjlhv/ lw vkrxog eh srvvleoh qrz wr xvh uhsolfdwru g|qdplfv gluhfwo| rq wkh frqwlqxrxv vwudwhj| vsdfh udwkhu wkdq rq d pruh ru ohvv vxlwdeoh glvfuhwl}dwlrq1

Zh kdyh dssolhg wkh wkhru| wr d qxpehu ri h{dpsohv1 Lq wkh Qdvk gh0 pdqg jdph/ wkh Zdu ri Dwwulwlrq/ dqg d Frxuqrw gxrsro|/ wkh uhvxowv iru wkh glvfuhwl}dwlrq duh +urxjko|, uhsurgxfhg1 Krzhyhu/ lq d Ehuwudqg vhwwlqj wkh uhvxowv ri wkh glvfuhwh prgho wxuqhg rxw wr eh vrphzkdw plvohdglqj1 Zkloh lq wkh glvfuhwh prgho wkh sulfh deryh pdujlqdo frvw lv dv|pswrwlfdoo| vwdeoh/

(24)

lq wkh frqwlqxrxv prgho qr vxfk vwdeoh rxwfrph vhhpv wr h{lvw1 Wkh vkdsh ri wkh olplw glvwulexwlrq lv vwloo dq rshq txhvwlrq1

Ixuwkhu dssolfdwlrqv ri wkh prgho duh uhsolfdwru g|qdplfv ghqhg rq pl{hg vwudwhj| vsdfhv dqg jdphv lq zklfk frqwlqxrxv suhihuhqfh sdudph0 whuv duh vhohfwhg iru lq dq hyroxwlrqdu| jdph +vhh h1j1 wkh dqdo|vlv ri wkh hqgrzphqw hhfw lq Kxfn/ Nlufkvwhljhu/ dqg Rhfkvvohu ^47`,1

Dsshqgl{

Surri ri Wkhruhp 51 Lw vx!fhv wr suryh wkh uvw irupxod ehfdxvh wkh vhfrqg irupxod iroorzv e| wdnlqj @ ' K ' 1

Iru d phdvxudeoh ixqfwlrq s erxqghg e| / rqh kdv e| wkh prqrwrqlflw|

ri wkh lqwhjudo zlwk uhvshfw wr - ]

s_>

' ]

s1_- ]

ms1m _- ]

m1m _-c khqfh n>n U

m1m _-1 Wr vkrz htxdolw|/ vhw ' i1 : fj dqg s ' ⁵1 Wkhq s lv erxqghg e| / khqfh

n>n ]

s_>

' ]

1_-

]

⁵1_- ' ]

m1m _- c ehfdxvh 1 ' m1m rq dqg 1 ' m1m rq ^S1

Surri ri Fruroodu| 51 Wkh glvfuhwh phdvxuhv ^? dqg duh grplqdwhg e|

wkh frxqwlqj phdvxuh l 'S_?

&'B&1 Wkh ghqvlwlhv duh _^?

_l E ' R^? E| Wkhruhp 5/

n^? n ' .^l _^?

_l _

_l

' [

mR^? Rm

Wkh ohiwkdqg vlgh jrhv wr }hur li dqg rqo| li iru hyhu| wkh suredelolwlhv R^? whqg wr R1

Surri ri Ohppd 41 Dv d fdqglgdwh iru 8 / zh sursrvh 8E' ' E2 n'n ⁿ 8E'

(25)

8 lv }hur iru n'n 2/ erxqghg dqg frlqflghv zlwk 8 rq { ehfdxvh sured0 elolw| phdvxuhv kdyh qrup 1 Ohw ' dqg - eh phdvxuhv zlwk n'n c n-n 21 Fkrrvh ' ^'n-₂ dv wkh grplqdwlqj phdvxuh1 Khuh/ zh xvh wkh qrwdwlrq m>m G' >ⁿ n >³czkhuh wkh qrqqhjdwlyh phdvxuhv >ⁿ dqg >³ irup wkh Kdkq ghfrpsrvlwlrq ri >/ l1h1 > ' >ⁿ>³1 Qrwh wkdw 8E' kdv wkh ghqvlw| jEc ' zlwk uhvshfw wr ' dqg wkhuhiruh

_8E'

_ ' jEc '_' _ Zlwk wkh xvh ri Wkhruhp 5/ zh rewdlq

n8 E' 8 E-n ' .

_8 E'

_ _8 E-

_ '

]

7

jE%c'_'

_E% jE%c -_- _E%

_E%

]

mjE%c ' jE%c -m _'

_E%

_E%n]

mjE%c -m _'

_E% _- _E%

_E%

]

mjE%c ' jE%c -m _m'mE% n ]

mjE%c -m _'

_E% _- _E%

_E%

Xvlqj wkh erxqghgqhvv dqg Olsvfklw} frqglwlrqv +6, dqg +5, lq frqmxqfwlrq zlwk Wkhruhp 5/ lw iroorzv wkdw

n8 E' 8E-n u n' -n n'n n 2j" n' -n

2Eu n j" n' -n +48, Khqfh/ 8 lv Olsvfklw} frqwlqxrxv rq wkh vhw ri phdvxuhv zlwk yduldwlrqdo qrup ohvv wkdq 21

Wr h{whqg wklv surshuw| wr 8/ zh glvwlqjxlvk wkuhh fdvhv1 Li n'n c n-n 2/

wkhq 8 E' ' 8E- ' f dqg wkhuh lv qrwklqj wr vkrz1 Li n'n 2 : n-n/

wkhq

8 E' 8 E- ' 8 E-

' E2 n-n n8E-n

(26)

E| Wkhruhp 5 dqg wkh erxqghgqhvv frqglwlrq +6, n8E-n '

]

7mjE%c -m _-

_E%

_E% j^"n-n +49, Wkhuhiruh/

8E' 8E- E2 n-nj"n-n 2En'n n-nj"

2j"n' -n Li/ qdoo|/ erwk n'n c n-n 2/ wkhq

8E' 8 E- ' nE2 n'n8E' E2 n-n8 E-n

E2 n'n n8 E' 8 E-n n n8E-n mn'n n-nm Qrz zh xvh wkh Olsvfklw} frqwlqxlw| ri 8 rewdlqhg lq +48, dqg wkh xsshu erxqg iru n8 E-n ri +49,=

8 E' 8 E- E2 n'nE2u n j" n' -n n 2j"n' -n eEu n j" n' -n

Wklv frpsohwhv wkh surri ri wkh Ohppd1

Surri ri Ohppd 51 Zh kdyh wr fkhfnwkdw d erxqghg sd|r ixqfwlrq s lpsolhv wkh Olsvfklw} dqg erxqghgqhvv frqglwlrqv rq j dvvxphg lq Ohppd 41 Ohw eh d erxqg iru wkh sd|r ixqfwlrq s1 Wkhq

m.E'c 'm ' ]

7

]

7sE%c +'E_+'E_%

n'n²

dqg

]

7sE%c +'E_+

n'nc

|lhog

mjE%c 'm n'n E n n'n +4:,

zkhqfh +6, iroorzv zlwk j"' S1

(27)

Iru wkh Olsvfklw} frqglwlrq +5,/ qrwh wkdw mjE%c ' jE%c -m '

]

sE%c +E' -E_+ n .E-c - .E'c ' n' -n n m.E-c - .E'c 'm

Wkh elolqhdulw| ri . doorzv wr zulwh

m.E-c - .E'c 'm m.E-c - 'm n m.E- 'c 'm Exw

m.E-c - 'm ' ]

7

]

7sE%c +-E_%E- 'E_+

n-nn- 'n

lpsolhv

m.E-c - .E'c 'm En-n n n'n n- 'n dqg +5, iroorzv1

Surri ri Wkhruhp 61 Ohw E'E| eh wkh xqltxh vroxwlrq ri wkh glhuhqwldo htxdwlrq

'E| ' 8E'E|c 'Ef ' zlwk 5 {1 Ghqh qhz qrqqhjdwlyh phdvxuhv E-E| yld

_-E|

_ E% ' i T ] _|

f jE%c 'Er_r

Wkh lqwhjudo rq wkh uljkw0kdqg vlgh lv zhoo ghqhg ehfdxvh wkh lqwhjudqg jE%c 'Er lv xqlirupo| erxqghg lq % rq hyhu| lqwhuydo dfc |o e| +4:, dqg wkh frqwlqxlw| ri E'Er1 Khqfh/ wkh ghqvlw| lv erxqghg dqg erxqghg dzd| iurp }hur1 Lw iroorzv wkdw - lv qlwh/ - 5 P^ec dqg xqlirupo| htxlydohqw zlwk uhvshfw wr 1

Lq d uvw vwhs/ zh vkrz wkdw - lv frqwlqxrxvo| glhuhqwldeoh zlwk ghulyd0 wlyh

-E|E ' ]

jE%c 'E|-E|E_%

Iru wklv zh qhhg wr vkrz wkdw

<f*4

-E| n -E| ]

ujE%c 'E|-E|E_%

' f

(28)

Xvlqj Wkhruhp 5 zh kdyh wkdw

-E| n -E| ]

ujE%c 'E|-E|E_%

'

] _-E| n

_-E| E% jE%c 'E|

-E|E_%

' ]

i T] _|n

| jE%c 'Er_r

jE%c 'E|

-E|E_%

Exw wkh lqwhjudqg dssurdfkhv }hur dv $ f iru hyhu| %c dqg wkh lqwhjudqg lv erxqghg lq % ehfdxvh vr lv jE%c 'Er1

Qrz zh vkrz wkdw - ' ' rq dq| frpsdfw lqwhuydo dfc A o Ohw s eh d phdvxudeoh ixqfwlrq erxqghg e| 1 Wkhq

]

s_E-E| 'E|

'

] _|

f

]

7s_ E-_r '_r _r

'

] _|

f

]

7sE%jE%c 'ErE-Er 'ErE_%_r

] _|

f

]

7sE%jE%c 'ErE-Er 'ErE_%

_r E| +4:, zh kdyh msE%jE%c 'Erm n'Ern E n n'Ern S iru vrph frqvwdqw S ehfdxvh n'Ern lv frqwlqxrxv dqg wkhuhiruh erxqghg rq frpsdfw vhwv1 Khqfh/

]

s_E-E| 'E|

S] _|

f n-Er 'Ern _r iru doo phdvxudeoh ixqfwlrqv s erxqghg e| 1 Lw iroorzv wkdw

n-E| 'E|n S ] _|

f n-Er 'Ern _r Jurqzdoo*v lqhtxdolw| +vhh h1j1 ^44`, jlyhv n-E| 'E|n ' f1

Wkhuhiruh/ 'E| ' -E| lv d qrqqhjdwlyh/ qlwh phdvxuh1 Ehfdxvh ri 'E|E7 ' f lw lv d srsxodwlrq1

Surri ri Sursrvlwlrq 71 Zh vwduw e| qrwlqj wkdw wkh zhljkw rq wkh vwudwh0 jlhv lq wkh rshq lqwhuydo ESc 7% lqfuhdvhv zlwk wlph1

'E|EESc 7% ' ]

ESc7%.EB%c 'E|'E|E_%

(29)

' E| EESc 7%

]

7_n.EB%c 'E|'E|E_%

]

' E| EESc 7%

]

ESc".EB%c 'E|'E|E_%

]

ESc".EB%c 'E|'E|E_%

' ]

d7%c".EB%c 'E|'E|E_% ' f

ehfdxvh wkh vwudwhjlhv deryh 7% kdyh }hur sd|r lq dq| flufxpvwdqfhv1 Il{ d B : f zlwk 'EfEiS Bj ' f1 Zh vkrz qrz wkdw wkh zhljkw rq wkh forvhg lqwhuydo erxqghg dzd| iurp S/ dfc S Bo/ ydqlvkhv h{srqhqwldoo|1 E|

wkh uhsolfdwru g|qdplfv/

'E|Edfc S Bo ' ]

dfcS3Bo.EB%c 'E|'E|E_% 'E|Edfc S Bo.E'E|c 'E|

' ]

Rq dfc S Bo/ % S B1 Pruhryhu/ ^ lv ghfuhdvlqj1 Khqfh

Rq wkh rwkhu kdqg/ wkh vwudwhjlhv deryh pdujlqdo frvw kdyh d srvlwlyh sd|r li wkh| zlq djdlqvw wkhlu rssrqhqw/ wkdw lv

'E|EdSc 7%o ' ]

dSc7%o.EB%c 'E|'E|E_% 'E|EdSc 7%o.E'E|c 'E|

'E|EdSc 7%o.E'E|c 'E|

Frpsdulqj wkh jurzwk udwhv rq wkh wzr vhwv |lhogv 'E|Edfc S Bo

'E|Edfc S Bo 'E|EdSc 7%o

'E|EdSc 7%o B^ES B'E|EdS Bc 7%o B^ES B'E|EESc 7%

B^ES B'EfEESc 7% 'G 0 f c

(30)

zkhuh zh kdyh xvhg wkh idfw wkdw wkh zhljkw rq ESc 7% lqfuhdvhv zlwk wlph1 Duphg zlwk wkh xqlirup orzhu erxqg 0/ lw iroorzv

'E|Edfc S Bo

'E|EdSc 7%o 'EfEdfc S Bo

'EfEdSc 7%o e^30| +4;, dqg wkh zhljkw rq dfc S Bo ghfuhdvhv h{srqhqwldoo| wr f dv ghvluhg1

7DEDKDGBDL

^4` H1 Dnlq/ H{srqhqwldo Idplolhv dqg Jdph G|qdplfv/ Fdqdgldq Mrxuqdo ri Pdwkhpdwlfv/ 67 +4<;5,/ 6:707381

^5` K1 Dow/ Olqhduh Ixqnwlrqdodqdo|vlv/ 5qg hg1/ Vsulqjhu Yhuodj/ Ehuolq/

4<<51

^6` G1 Elvkrs dqg F1 Fdqqlqjv/ D Jhqhudol}hg Zdu ri Dwwulwlrq/ Mrxuqdo ri Wkhruhwlfdo Elrorj| :3 +4<:;,/ ;804571

^7` N1 Elqpruh dqg U1 Vh|prxu/ Vwdwlrqdu| Glvwulexwlrqv ri Qrlv|

Uhsolfdwru G|qdplfv lq wkh Xowlpdwxp Jdph/ plphr/ 4<<8/ Xqlyhuvlw|

Froohjh Orqgrq1

^8` L1 Erp}h/ G|qdplfdo Dvshfwv ri Hyroxwlrqdu| Vwdelolw|/ Prqdwvkhiwh iÿu Pdwkhpdwln 443 +4<<3,/ 4;<05391

^9` L1 Erp}h/ Furvv Hqwurs| Plqlpl}dwlrq lq Xqlqydgdeoh Vwdwhv ri Frp0 soh{ Srsxodwlrqv/ Mrxuqdo ri Pdwkhpdwlfdo Elrorj| 63 +4<<4,/ :60;:1

^:` G1 Iulhgpdq dqg M1 \hoolq/ Hyroylqj Odqgvfdshv iru Srsxodwlrq Jdphv/ plphr/ 4<<9/ XFVdqwd Fux}1

^;` E1 Khkhqndps/ Rq wkh Hyroxwlrqdu| Irxqgdwlrqv ri Frxuqrw dqg Ehuwudqg Roljrsro|/ plphr/ 4<<:/ Gruwpxqg Xqlyhuvlw|1

^<` Z1 Klqhv/ Vwudwhj| Vwdelolw| lq Frpsoh{ Srsxodwlrqv/ Mrxuqdo ri Ds0 solhg Suredelolw| 4: +4<;5,/ 93309431

(31)

^43` D1 Klqg| dqg F1 Kxdqj dqg G1 Nuhsv/ Rq Lqwhuwhpsrudo Suhihuhqfhv lq Frqwlqxrxv Wlph/ Mrxuqdo ri Pdwkhpdwlfdo Hfrqrplfv 54 +4<<5,/

73407731

^44` P1 Kluvfk dqg V1 Vpdoh/ Glhuhqwldo Htxdwlrqv/ G|qdplfdo V|vwhpv/

dqg Olqhdu Dojheud/ Vdq Glhjr= Dfdghplf Suhvv/ 4<:71

^45` M1 Kriedxhu/ S1 Vfkxvwhu/ dqg N1 Vljpxqg/ D Qrwh rq Hyrox0 wlrqdu| Vwdeoh Vwudwhjlhv dqg Jdph G|qdplfv/ Mrxuqdo ri Wkhruhwlfdo Elrorj| ;4 +4<:<,/ 93<09451

^46` H1 Krsnlqv dqg U1 Vh|prxu/ Sulfh Glvshuvlrq= Dq Hyroxwlrqdu| Ds0 surdfk/ plphr/ 4<<9/ Xqlyhuvlw| Froohjh Orqgrq1

^47` V1 Kxfn/ J1 Nlufkvwhljhu/ dqg M1 Rhfkvvohu/ Ohduqlqj wr Olnh Zkdw \rx Kdyh H{sodlqlqj wkh Hqgrzphqw Hhfw/ plphr/ 4<<:/

Kxperogw Xqlyhuvlw|1

^48` M1 Pd|qdugVplwk/ Wkh Wkhru| ri Jdphv dqg wkh Hyroxwlrq ri Dql0 pdo Frq lfwv/ Mrxuqdo ri Wkhruhwlfdo Elrorj| 7: +4<:7,/ 53<05551

^49` F1 Tlq dqg F1 Vwxduw/ Uhsolfdwru G|qdplfv lq Frxuqrw dqg Ehuwudqg Vhwwlqjv/ plphr/ 4<<:/ XFVdqwd Eduedud1

^4:` U1 Vhowhq/ D Qrwh rq Hyroxwlrqdu| Vwdeoh Vwudwhjlhv lq Dv|pphwulf Dqlpdo Frq lfwv/ Mrxuqdo ri Wkhruhwlfdo Elrorj| ;7 +4<;3,/ <604341

^4;` U1 Vh|prxu/ G|qdplfv iru Lqqlwh Glphqvlrqdo Jdphv/ plphr/ 4<<;/

Xqlyhuvlw| Froohjh Orqgrq1

^4<` D1 Vklu|dhy/ Suredelolw|/ 5qg hg1/ Vsulqjhu Yhuodj/ 4<<81

^53` I1 Yhjd0Uhgrqgr/ Hyroxwlrq/ Jdphv/ dqg Hfrqrplf Ehkdylrxu/

R{irug Xqlyhuvlw| Suhvv/ R{irug/ 4<<91

^54` M1 Zhlexoo/ Hyroxwlrqdu| Jdph Wkhru|/ PLWSuhvv/ Fdpeulgjh/

4<<81

(32)

^55` H1 ]hhpdq/ G|qdplfv ri wkh Hyroxwlrq ri Dqlpdo Frq lfwv/ Mrxuqdo ri Wkhruhwlfdo Elrorj| ;< +4<;4,/ 57<05:31

^56` H1 ]hlgohu/ Qrqolqhdu Ixqfwlrqdo Dqdo|vlv dqg lwv Dssolfdwlrqv/ Yro1 L/ Vsulqjhu Yhuodj/ Qhz \run/ 4<;91