may learn to play in a game they know, the issue of how their model of the game ... I am indebted for their suggestions to Dieter Balkenborg, Drew Fudenberg, Ehud ..... there are no players in population Б whose model includes C and no players in .... If they forget A, they will never switch back to N. The proportion of players ...
Backward Induction and Model Deterioration Francesco Squintani Working Paper No. 484 July 2001
UNIVERSITY OF
ROCHESTER
Edfnzdug Lqgxfwlrq dqg Prgho Ghwhulrudwlrq Iudqfhvfr Vtxlqwdql Xqlyhuvlw| ri Urfkhvwhu Ghsduwphqw ri Hfrqrplfv| Pd| 5334
Devwudfw Xqolnh irupdo jdphv/ prvw vrfldo lqwhudfwlrqv duh qrw dffrpsdqlhg e| d frpsohwh olvw ghvfulelqj doo uhohydqw dfwlrqv1 Dv d uhvxow/ wkh prvw gl!fxow wdvn idfhg e| wkh sod|huv lv riwhq wr irupxodwh d prgho ri wkh lqwhudfwlrq1 Zkloh lw lv nqrzq krz sod|huv pd| ohduq wr sod| lq d jdph wkh| nqrz/ wkh lvvxh ri krz wkhlu prgho ri wkh jdph hyroyhv ryhu wlph lv odujho| xqh{soruhg1 Wklv sdshu suhvhqwv dqg dqdo|}hv d vrfldo ohduqlqj frqvwuxfwlrq wkdw h{solflwo| nhhsv wudfn ri wkh hyroxwlrq ri prghov khog e| sod|huv zkr duh deoh wr vroyh shuihfw0lqirupdwlrq h{whqvlyh0irup jdphv +dffruglqj wr wkhlu prghov,/ dqg zkrvh prghov ghshqg rq sdvw revhuydwlrq ri sod|1 Zh lqwurgxfh wkh srvvlelolw| ri vpdoo0suredelolw| prgho ghwhulrudwlrq dqg vkrz wkdw/ hyhq zkhq frqfhuqlqj rqo| rssrqhqwv* xqrevhuyhg dfwlrqv/ vxfk ghwhulrudwlrq pd| xsvhw wkh frpsohwh0prgho edfnzdug0lqgxfwlrq vroxwlrq/ dqg |lhog d Sduhwr0lpsurylqj orqj0uxq glvwulexwlrq ri sod|1 Zh ghulyh qhfhvvdu| dqg vx!flhqw frqglwlrqv iru wkh urexvwqhvv ri edfnzdug0lqgxfwlrq sdwk zlwk uhvshfw wr prgho ghwhulrudwlrq1 Wkhvh frqglwlrqv fdq eh lqwhusuhwhg zlwk d iruzdug0lqgxfwlrq orjlf/ dqg duh vkrzq wr eh ohvv ghpdqglqj wkdq wkh uhtxluhphqwv iru dv|pswrwlf vwdelolw| ri wkh edfnzdug0lqgxfwlrq sdwk xqghu vwdqgdug hyroxwlrqdu| g|qdplfv1 Lq doo jdphv zkhuh lw pd| xsvhw wkh edfnzdug0 lqgxfwlrq sdwk/ prgho ghwhulrudwlrq pd| lqgxfh orqj0uxq glvwulexwlrqv ri sod| wkdw fruuhvsrqg wr qrq vxejdph shuihfw Qdvk htxloleuld1 MHO FODVVLILFDWLRQ= F:4/ F:6/ G;6
L
dp judwhixo iru wkhlu frpphqwv wr wkh dxglhqfhv ri vhplqduv dw Erqq Xqlyhuvlw|/ Fruqhoo Xqlyhuvlw|/
Qruwkzhvwhuq Xqlyhuvlw|/ Urfkhvwhu Xqlyhuvlw|/ Who Dyly Xqlyhuvlw|/ dqg wkh Xqlyhuvlw| ri Qruwk Fdurolqd dw Fkdsho Kloo1
L dp lqghewhg iru wkhlu vxjjhvwlrqv wr Glhwhu Edonhqeruj/ Guhz Ixghqehuj/ Hkxg Ndodl/
Nduo Vfkodj/ Wkrpdv Wurjhu/ Mxxvr Ydolpdnl/ dqg hvshfldoo| Hgglh Ghnho1
Ilqdoo|/ L zrxog olnh wr wkdqn
Dkphu Wdudu iru h{fhoohqw dvvlvwdqfh1 Wkh xvxdo fdyhdw dssolhv1
| Kdunqhvv
Kdoo/ Xqlyhuvlw| ri Urfkhvwhu/ 4795: Q\/ vtqwCwurl1ff1urfkhvwhu1hgx
4
4
Lqwurgxfwlrq
Xqolnh irupdo jdphv/ prvw vrfldo lqwhudfwlrqv duh qrw dffrpsdqlhg e| d olvw ri zulwwhq/ {hg uxohv ghvfulelqj doo dfwlrqv wkdw fdq eh wdnhq1 Dv d uhvxow/ wkh prvw gl!fxow wdvn idfhg e| wkh lqglylgxdov lqyroyhg lq d vwudwhjlf lqwhudfwlrq lv riwhq wr irupxodwh d prgho ri wkh lqwhudfwlrq1 Rqfh wklv prgholqj vwhs lv dffrpsolvkhg/ vroylqj wkh prgho pd| eh uhodwlyho| hdv|1 Wkh prgho ri sod|huv zkr duh uhshdwhgo| lqyroyhg lq wkh vdph lqwhudfwlrqv pd| fkdqjh ryhu wlph/ dqg zloo ghshqg rq wkhlu sdvw h{shulhqfhv1 Zkloh wkh jdph0wkhruhwlfdo ohduqlqj olwhudwxuh suhvhqwv vhyhudo dffrxqwv h{sodlqlqj krz sod|huv pd| ohduq wr sod| lq d jdph wkh| nqrz/ wkh lvvxh ri krz wkhlu prgho ri wkh jdph fkdqjhv ryhu wlph lv odujho| xqh{soruhg1 Wklv sdshu suhvhqwv dqg dqdo|}hv d vrfldo ohduqlqj frqvwuxfwlrq wkdw h{solflwo| nhhsv wudfn ri wkh hyroxwlrq ri prghov khog e| sod|huv zkr duh deoh wr vroyh jdphv dffruglqj wr wkh prghov wkh| irupxodwh/ dqg zkrvh prghov ri wkh jdphv ghshqg rq sdvw revhuydwlrq ri sod|1 Lq rxu frqvwuxfwlrq/ sod|huv iurp odujh srsxodwlrqv duh uhshdwhgo| udqgrpo| pdwfkhg wr sod| d jhqhulf shuihfw0lqirupdwlrq h{whqvlyh0irup jdph1 Zkhq pdwfkhg wr sod| wkh jdph/ hdfk sod|hu irupxodwhv d prgho ri wkh lqwhudfwlrq/ lghqwl hg e| d vxevhw ri wkh dfwlrq vsdfh1 Dw hdfk ghflvlrq qrgh wkh sod|hu sod|v wkh dfwlrq fruuhvsrqglqj wr wkh xqltxh edfnzdug0lqgxfwlrq vroxwlrq ri khu +srvvleo| lqfrpsohwh, prgho1 Lq wkh odsvh ri wlph ehwzhhq wzr frqvhfxwlyh pdwfkhv/ wkh sod|hu*v prgho pd| fkdqjh1 Lw zloo dozd|v lqfoxgh wkh dfwlrqv wkdw wkh sod|hu kdv revhuyhg rq wkh sdwk ri sod| dw wkh suhylrxv pdwfk1 Exw zlwk vpdoo suredelolw|/ lw pd| dovr ghwhulrudwh/ vr dv wr h{foxgh vrph ihdvleoh dfwlrqv14 Zkloh hdfk dfwlrq fdq eh irujrwwhq iurp wkh prgho rqo| zlwk vpdoo suredelolw|/ zh doorz wkh suredelolwlhv ri irujhwwlqj gl huhqw dfwlrqv wr gl hu15 Lq rughu wr kljkoljkw wkh h hfw ri Zkloh lq hfrqrplf vhwwlqjv lw lv qrw frqylqflqj wr dvvxph wkdw d sod|hu*v phpru| lv vxemhfw wr odujh0 suredelolw| lpshuihfwlrqv/ zh eholhyh wkdw lq qlwhvlpdo0suredelolw| irujhwixoqhvv vkrxog qrw eh glvplvvhg1 5 Zkhq irupxodwlqj d prgho ri d vwudwhjlf lqwhudfwlrq/ vrph dfwlrqv pd| eh pruh vdolhqw wkdq rwkhuv/ dqg wkxv ohvv olnho| wr eh h{foxghg iurp d sod|hu*v prgho1 Lq vshfl f lqwhudfwlrqv/ wkh uhodwlyh olnholkrrg ri irujhwwlqj gl huhqw dfwlrqv lv ghwhuplqhg e| h{wud0jdph0wkhruhwlfdo lvvxhv vxfk dv wkh frqwh{wxdo phdqlqj ri dfwlrqv/ ru vrfldo frqyhqwlrqv1 Zh duh djqrvwlf zlwk uhvshfw wr wkh lvvxh ri krz wklv uhodwlyh olnholkrrg vkrxog eh irupxodwhg lq vshfl f lqwhudfwlrqv/ dqg wkxv frqgxfw wkh dqdo|vlv iru dq| uhodwlyh irujhwixoqhvv suredelolw|1
4
5
prgho ghwhulrudwlrq/ zh dvvxph wkdw doo sod|huv lqlwldoo| krog d frpsohwh prgho ri wkh jdph/ vr wkdw lqlwldoo| wkh sod| hvwdeolvkhg lq hdfk pdwfk frlqflghv zlwk wkh edfnzdug0lqgxfwlrq sdwk ri wkh frpsohwh jdph1 Rxu uhvxowv duh lq whupv ri wkh orqj0uxq glvwulexwlrq ri sod|/ rewdlqhg e| frpsrxqglqj wkh orqj0uxq prgho glvwulexwlrq zlwk wkh sod| lqgxfhg lq hdfk pdwfk1 Wkh uvw sduw ri rxu dqdo|vlv uhvwulfwv wkh srvvlelolw| ri prgho ghwhulrudwlrq wr rssr0 qhqwv* dfwlrqv wkdw zhuh qrw wdnhq gxulqj wkh suhylrxv shulrg ri sod|/ exloglqj rq wkh vxssrvlwlrq wkdw rqh lv xvxdoo| ohvv olnho| wr irujhw rqh*v rzq srvvleoh fkrlfhv ru uhfhqwo| revhuyhg dfwlrqv1 Zh vkrz wkdw wkh edfnzdug0lqgxfwlrq sdwk pd| eh xsvhw e| vpdoo0 suredelolw| prgho ghwhulrudwlrq/ dqg/ lq vrph jdphv/ wkh uhvxowlqj orqj0uxq glvwulexwlrq ri sod| pd| Sduhwr0grplqdwh wkh edfnzdug0lqgxfwlrq sdwk1 Zh suhvhqw jhqhudo uhvxowv iru wkh fdvh zkhuh/ ehfdxvh ri prgho ghwhulrudwlrq/ wkh orqj0uxq glvwulexwlrq ri sod| lv gl huhqw iurp wkh edfnzdug0lqgxfwlrq sdwk/ dqg |hw hdfk sod|hu irupxodwhv d prgho wkdw |lhogv d vroxwlrq frqvlvwhqw zlwk wkh sdwk vkh revhuyhv1 Zkhq wkhvh wzr frqglwlrqv duh phw/ zh vd| wkdw wkh edfnzdug0lqgxfwlrq sdwk lv shuvlvwhqwo| xsvhw1 D qhfhvvdu| frqglwlrq dqg d vx!flhqw frqglwlrq iru wkh edfnzdug0lqgxfwlrq sdwk wr eh shuvlvwhqwo| xsvhw duh suh0 vhqwhg1 Li wkh edfnzdug0lqgxfwlrq sdwk vdwlv hv d iruzdug0lqgxfwlrq uhtxluhphqw/ wkhq lw fdqqrw eh xsvhw e| prgho ghwhulrudwlrq1 Lq wkh jdphv zkhuh lw pd| shuvlvwhqwo| xsvhw wkh edfnzdug0lqgxfwlrq sdwk/ prgho ghwhulrudwlrq pd| |lhog orqj0uxq sdwkv wkdw duh Qdvk exw qrq vxejdph shuihfw/ vr wkdw srsxodwlrq prgho khwhurjhqhlw| ydqlvkhv lq wkh orqj0uxq16 Lq d vxefodvv ri wkhvh jdphv/ wkh qrq vxejdph shuihfw orqj0uxq glvwulexwlrq ri sod| glvsod|v d vwurqj iruzdug0lqgxfwlrq surshuw|1 Wkh vhfrqg sduw ri wkh dqdo|vlv oliwv rxu frqvhuydwlyh dvvxpswlrqv rq wkh srvvlelolw| ri prgho ghwhulrudwlrq1 Zkhq doorzlqj prgho ghwhulrudwlrq derxw doo ri wkh rssrqhqwv* dfwlrqv +lqfoxglqj revhuyhg rqhv,/ zh ghwhuplqh d vlqjoh qhfhvvdu| dqg vx!flhqw frqglwlrq iru wkh edfnzdug0lqgxfwlrq sdwk wr eh xsvhw1 Zkhq prgho ghwhulrudwlrq frqfhuqv doo dfwlrqv rq0 Lq frpsohwh0prgho dqdo|vlv/ wkh hvwdeolvkphqw ri qrq0vxejdph shuihfw Qdvk sod| ruljlqdwhv iurp wkh delolw| ri sod|huv wr frpplw wr qrq0vxejdph shuihfw r sdwk fkrlfhv1 Rxu uhvxowv vkrz wkdw/ e| vorzo| fkdqjlqj wkh jdph/ prgho ghwhulrudwlrq pd| plplf wklv frpplwphqw h hfw1 6
6
sdwk +lqfoxglqj d sod|hu rzq dfwlrqv,/ orqj0uxq prgho glvwulexwlrqv zkhuh hdfk sod|hu*v prgho |lhogv d vroxwlrq frqvlvwhqw zlwk wkh revhuyhg sdwk pd| lqgxfh glvwulexwlrqv ri sod| wkdw gr qrw frlqflgh zlwk dq| vhoi0frq uplqj htxloleulxp1 Djdlq zh hvwdeolvk d qhfhvvdu| dqg vx!flhqw frqglwlrq iru wkh edfnzdug0lqgxfwlrq sdwk wr eh shuvlvwhqwo| xsvhw1 Uhjdugohvv ri wkh uhvwulfwlrq rq prgho ghwhulrudwlrq/ zh vkrxog dovr srlqw rxw wkdw dq| jdph fdq eh h{sdqghg zlwkrxw dowhulqj wkh edfnzdug0lqgxfwlrq sdwk/ dqg wxuqhg lqwr d jdph zkhuh wkh edfnzdug0lqgxfwlrq sdwk fdq eh xsvhw e| vpdoo0suredelolw| prgho ghwhulrudwlrq1 Lqwxlwlyho|/ wkh sureohp ri zkhwkhu wkh sod|huv duh deoh wr ohduq wkh jdph wkdw wkh| duh sod|lqj zloo eh pruh vhulrxv lq frpsoh{ lqwhudfwlrqv lqyroylqj pdq| srvvleoh fkrlfhv/ udwkhu wkdq lq vlpsoh lqwhudfwlrqv zlwk ihz uhohydqw rswlrqv dydlodeoh1 Wkh dssurdfk lqwurgxfhg lq wklv sdshu lv uhodwhg wr wkh olwhudwxuh rq ohduqlqj dqg hyroxwlrq lq jdphv +vhh Zhlexoo 4 dqg dq| E l > +mE l , 5 +I +E l ,,= Lq wkh surriv zh zloo vkrz wkdw rxu uhvxowv dovr krog zkhq irujhwixoqhvv pd| eh fruuhodwhg1
Wklv lpsolhv wkdw/ djdlq/ iru dq| % ! 5 G E% ' c lw pxvw eh wkh fdvh wkdw E 5 c % E@5% E% ' E5
Sduw 51 Li wkhuh h{lvwv d ghyldwlrq E% c @ c 5 iru vrph c dqg d %0frqvlvwhqw sdwk 5 9' 5 W iru vrph % G % ! % ! 5 W c wkhq iru vrph vhtxhqfh ri irujhwixoqhvv suredelolwlhv ? $ fc wkhuh lv d Qdvk sdwk 5 9' 5 W EK vxfk wkdw s W E5 ' Zh vkdoo glylgh wkh frqvwuxfwlrq lq 2 vwhsv1 Vwhs 41 Wkh irujhwixoqhvv suredelolwlhv1 ! % ! 5jc f ' i% G % % ! 5 jc f n ' i% G % ! % j Lqwurgxfh wkh vhwv f ' i% G % Iru dq| srsxodwlrq c lqwurgxfh wkh vhw f ' i% G % 5 f c dqg E% ' jc f ' i% G % 5 f c dqg E% ' j dqg fn ' i% G % 5 f n c dqg E% ' j 7 zlwk rughu lqyhuvh wr !c Dv lq sduw c zh hqxphudwh wkh qrghv % 5 f iurp wr g dqg lqwurgxfh wkh vhw f3& iru hdfk & Qrz krzhyhu zh dovr hqxphudwh wkh qrghv % 5 f E% iurp wr V 7 zlwk rughu lqyhuvh wr !c dqg lqwurgxfh wkh vhw f3V E% iru hdfk V Zh ohw 7 V g ' 4@ igc 7j Dovr/ zh hqxphudwh wkh qrghv % 5 f ^ f n iurp wr u zlwk rughu lqyhuvh wr !c dqg lqwurgxfh wkh qrwdwlrq %, Iru dq| % 5 f ^ i %j wkh vhwv E% dqg E% duh dv gh qhg lq sduw c vr duh wkh vhwv 5 E% iru dq| % 5 f c wkh vhwv W E % c dqg 3 E % c wkh vhwv c wkh vhw ri w|shv f c dqg wkh w|shv 5 iru dq| srsxodwlrq
7
c dqg wkh vhwv V ' ^%Mf V E% E% iru dq| V ' c c V 7
E % 7 dqg f ' c Zh dovr sxw f ' c & ' ^ ^ ^ & iru dq| & ' c c gc 3
3
E% ' ^ E% ^ ^ E% iru dq| V ' c c V7 V
E%
E%
E% Zh lqwurgxfh wkh vhw ri w|shv V ' i E% G V _ E% ' >c dqg Vn2 E% jc iru dq| Vc dqg iru dq| 9' E % c gh qh wkh vhw ' i G _ ' >j Zh lqwurgxfh & ' i G & _ ' >c dqg &n2 j iru dq| &c W ' i ' q iru vrph c dovr 7 ^ E% j iru dq| 9' c dqg W ' g
E% W ' Iru dq| 9' c ohw f WW ' q ^ E% dqg fWW ' q Eg Ohw f
E% WWq E% c dqg iru dq| rwkhu c ohw W ' WW qi@W j Dovr ohw 5 ' 5 W E W Iru f f V7 % f f f W W , 5 , 3 3 , iru dq| 9' E% c dqg dq| , ' c c uc dqg dq| c ohw , ' E,3 qE% ^ ( W W W 5 W W W , , ' ,3 ^ ( c dqg 5, ' 5 E, c zkhuh , ' E, MU V
3
3
Frqvwuxfw wkh irujhwixoqhvv suredelolw| sur ohv dv iroorzv1 Iru dq| lqgh{ ? c dq| srsxodwlrq c dqg dq| dfwlrq @ 5 c ohw 0? E@ ' *? Iru dq| & ' c c gc ohw 6& ' S S&3
E% ^ ? n6& iru dq| dfwlrq @ 5 & c dqg MU rE n ^'f rE5 ^ ^ c dqg vhw 0 E@ ' *?
E%
0? E% E@ ' *?n6& iru dq| dfwlrq @ 5 & Dovr vhw 0? E% E@ ' *?n6 iru dq| dfwlrq @ 5 W E % c 0? E@ ' *?n6 iru dq| dfwlrq @ 5 E % dqg dq| lqgh{ 9' E % S,3 ^ ? n6, Iru dq| , ' c c uc ohw 6, ' 6g n ^'f rEE% c dqg vhw 0 E@ ' *? li @ 5 E%^ ^ ^ ^ g dqg 5 * ic E% jc ru li ' 9' E% dqg @ 5 E% q Iru dq| rwkhu dfwlrq @ dqg srsxodwlrq lqgh{ c vhw 0? E@ ' f
Vwhs 51 G|qdplfv Wkh surri ri Vwhs 2 lq sduw |lhogv wkdw iru dq| B : fc wkhuh h{lvwv d ? odujh hqrxjk/ dqg d A EBc ? odujh hqrxjk/ vxfk wkdw 4A E5 : Bc iru dq|
E% Wkh surri ri Vwhs lq sduw |lhogv wkdw iru dq| sur oh vxfk wkdw E% 5 & iru vrph &c dqg 5 iru dq| 9' E % c li % ! 5 W E wkhq 5 W E 5 i5 W c 5j Dovr wkh surri ri
E% Vwhs e vkrzv iru dq| ? dqg | odujh hqrxjk 4| E g7 dqg 4| E & iru vrph Wkh surri ri Vwhs lq sduw |lhogv wkdw iru dq| sur oh vxfk wkdw 5 &c dqg 5 W iru dq| 9' c li @ E% ! 5 W E wkhq 5 W E ' 5f Dovr wkh surri ri Vwhs e vkrzv wkdw iru dq| B : f dqg dq| ?c wkhuh lv d Af odujh hqrxjk vxfk wkdw 4Af EfW : B Vlqfh @ E% 5 W EfW c lw iroorzv wkdw s Af E5f : B Vlqfh rqo| revhuyhg dfwlrqv fdq eh irujrwwhq/ wkhuh pxvw h{lvw wlphv Au : Au3 : : A : Af odujh hqrxjk vxfk wkdw iru dq| ,c 4A, E,W : Bc dqg wkdw wkxv s A, E5, : B Iru dq| ,c dqg dq| % vxfk wkdw %, ! % ! 5, c e| frqvwuxfwlrq/ lw pxvw eh wkh fdvh wkdw @% E, W c %f ' @5% iru dq| sod|hu Qrwh dovr wkdw e| frqvwuxfwlrq wkh vhw i, G 5, lv d Qdvk sdwkj lv qrq0hpsw|1 Lw iroorzv wkdw ohwwlqj 7, ' 4?i, G 5, lv d Qdvk sdwkjc wkhq iru dq| , 7,c lw pxvw eh wkh fdvh wkdw 5, ' 57, Li lw lv wkh fdvh wkdw @W% E% 9 57, c zh kdyh vkrzq wkdw
83
wkhuh lv d Qdvk sdwk 5 vxfk wkdw s W E5 ' Wkh vdph lv wkh fdvh zkhqhyhu % ! 9 57, Wkxv W vxssrvh wkdw @% E% 57, Slfn dq| % G % % ! 5c e| frqvwuxfwlrq/ iru dq| dqg dq| ,c W 5 lw pxvw eh wkh fdvh wkdw @E, c % ' @% Wkxv lw iroorzv wkdw s W E5 ' c dqg e| k|srwkhvlv 5 9' 5 W Surri ri Sursrvlwlrq :1 Zh vd| wkdw wkh jdph K lv rewdlqhg iurp K e| wkh dgglwlrq ri wkh wulyldo dfwlrq @ 5 li wkhuh lv 5 5 ~c dqg % 5 f c vxfk wkdw wkh wuhhv C dqg C vdwlvi| Efc ~ q i5jc ' Ef q i% jc ~ q i@ E% jc q i@ j c wkdw wkh srsxodwlrq lqgh{hv vdwlvi| EUc ' EU c mf .t% c dqg wkh xwlolw| ixqfwlrqv duh vxfk wkdw
m~ .t5 ' m~ .t@ E% dqg E5 ' E@ E%
Vlploduo|/ zh vd| wkdw wkh jdph K lv rewdlqhg iurp K e| wkh dgglwlrq ri wkh frqglwlrqdoo| vwulfwo| grplqdwhg dfwlrq @ 5 c @ 5 E% li wkh wuhhv C dqg C vdwlvi| Efc ~c ' Ef c ~ q i@ E% jc q i@ j c wkh srsxodwlrq lqgh{hv EUc frlqflgh zlwk EU c c wkh xwlolw| ixqfwlrq frlqflghv zlwk m~ .t@ E% c dqg E% E@ E% E% E@E% c iru vrph @ 5 E% Lw lv vwudljkwiruzdug wr vhh wkdw/ li wkhuh h{lvw d qlwh vhtxhqfh iK& jg &'f vxfk wkdw iru dq| &c wkh jdph K& fdq eh rewdlqhg iurp K&3 e| wkh dgglwlrq ri d wulyldo ru frqglwlrqdoo| grplqdwhg dfwlrq/ dqg Kf ' Kc Kg ' K c wkhq wkh jdph K lv d EL0luuhohydqw h{sdqvlrq ri K Wdnh dq| jdph Kc frqvlghu wkh EL vhw rughulqj it j Frqvlghu qrgh % vxfk wkdw W E% ' W E%f dqg % 5 t +% lv wkh odvw qrgh rq EL sdwk,1 Uhodeho @W% dv dqg E% dv srsxodwlrq Frqvlghu wkh vhtxhqfh ri dfwlrqv iAc Mc c c j dqg dgg wkhp vhtxhqwldoo| wr wkh jdph Kc lq wkh iroorzlqj pdqqhu1 Lqwurgxfh A ' E%c 5 A c E5A : E5 W dqg 2 E5A : 2 E5 W c wkxv A lv vwulfwo| grplqdwhg dgglwlrq1 Lqwurgxfh wkh qrgh % 2 G E% 2 ' 2c uhodeho A dv E% c % 2 c dqg lqwurgxfh ' E% 2 c 5 c vxfk wkdw E5 ' E5A c vr lv d wulyldo dgglwlrq1 Lqwurgxfh M ' E% 2 c 5f c vxfk wkdw E5M : E5 W dqg 2 E5 W 2 E5M 2 E5 c vr wkdw M lv d vwulfwo| grplqdwhg dgglwlrq1 Lqwurgxfh wkh qrgh % G E% ' dqg uhodeho dv E% 2 c % lqwurgxfh ' E% c 5 c vxfk wkdw E5 ' E5 c wkxv lv d wulyldo dgglwlrq1 Ilqdoo|/ lqwurgxfh ' E% c 5 c vxfk wkdw E5 E5 c vr wkdw lv vwulfwo| grplqdwhg dgglwlrq1 Lw lv lpphgldwh wr vkrz wkdw K lv d jdph zlwk frqvlvwhqw ghyldwlrqv1 Dvvljqlqj 02 E : fc 0 E : f dqg 0 E@ iru dq| rwkhu sdlu Ec @ c wkh fodlp lv suryhg1
84
Surri ri Ohppd 81 Zh vkdoo vkrz wkdw dq| jdph zlwk iudjloh sdwk vdwlv hv wkh K|srwkhvlv ri Wkhruhp 81 Ohw %f ' % c dqg @f ' @ Iru dq| & c vxfk wkdw @&3 E%&3 5 fc ohw %& ' @& E%&3 Ohw d& & eh wkh EL pd{lplq vroxwlrq iru sod|hu E%& ri wkh %& 0vxejdph1 Vhw @& ' E%& _d& E%& E% Wkh frqvwuxfwlrq lv uhshdwhg lwhudwlyho| xqwlo dq lqgh{ g n lv uhdfkhg vxfk wkdw @g E%g 5 ~c ohw 5 ' @g E%g E| k|srwkhvlv/ E5 x E@E% c iru dq| @ 5 E% Iru dq| & ' c c gc e| gh qlwlrq ri EL pd{lplq vroxwlrq/ lw pxvw eh wkh fdvh wkdw x E%& E@& E%& x E%& E@E%& iru dq| @ 5 E%& c dqg wkdw x E@& E%& x E%& iru dq| Lw lpphgldwho| iroorzv wkdw E%g E5 x E%g E@E%g iru dq| @ 5 E%g Iru dq| 6 ' c c g c wkh deryh lpsolhv wkdw x E%g E%g ' x E%g dqg wkdw iru dq| & uxqqlqj iurp g wr g 6c E%g
36
E5
x E%g 6 E@& E%& x E%g lw wkxv iroorzv wkdw 3
3
36
& c dqg g
E%
E%
36
36
g 3E%g 3 c
E@
& ' x g E%
E%
36
&3E%&3 (
E@
x E%g 6 E@g 36 E%g 36 x E%g 6 E@E%g 36 iru dq| @ 5 E%g 36 zkhuh wkh odvw lqhtxdolw| iroorzv iurp wkh gh qlwlrq ri EL pd{lplq vroxwlrq1 E%g
36
E5
3
Surri ri Sursrvlwlrq ;1
3
Wkh qhfhvvlw| sduw ri wkh uvw fodlp iroorzv iurp Ohppd
61 Lq rughu wr suryh vx!flhqf| dqg wkh vhfrqg fodlp/ e| Ohppd 7 lw lv hqrxjk wr vkrz wkdw li K kdv d % 0frqvlvwhqw sdwk 5 9' 5 W iru vrph qrgh % ! 5 W c wkhq K kdv d Qdvk sdwk 5 9' 5 W vxfk wkdw s W E5 ' iru vrph vhtxhqfh i? j vxfk wkdw ? $ f Zh lqwurgxfh wkh vhw f ' i% G % ! % ! 5j dqg f W ' i% G % % ! 5j Iru dq| c lqwurgxfh wkh vhw f ' i% 5 f G E% ' jc dqg fW ' i% 5 f W G E% ' j Hqxphudwh wkh qrghv % 5 f zlwk rughu lqyhuvh wr ! zlwk lqgh{ & uxqqlqj iurp wr g c ohw %f ' 5 dqg g n & & n & % ' % c dqg lqwurgxfh f ' i% 5 f W qfW G % ! % ! % j iru dq| & ' fc c g Iru dq| qrgh % 5 f c wkh vhwv E% dqg E% duh dv gh qhg lq wkh vwhs ri sduw lq wkh surri ri Wkhruhp 81 Iru dq| srsxodwlrq c ohw ' ^%Mf E% dqg 5 ' q ( dovr lqwurgxfh r q & & 3 , & , c dqg ' ^%Mf & E% c & ' q iru vrph G ^ ^,'f ^ ^,'f g , W ' q ^ ^,'f Frqvwuxfw wkh irujhwixoqhvv suredelolw| sur ohv dv iroorzv1 Iru dq| lqgh{ ? c dq| srsxodwlrq c dqg dq| dfwlrq @ 5 c ohw 0? E@ ' *?( dovr dq| S S& 3 & ' fc c c g c ohw 6& ' MU rE n ,'f rE, c dqg vhw 0? E@ ' *?n6& iru dq| & dfwlrq @ 5 Iru dq| rwkhu dfwlrq @ dqg srsxodwlrq lqgh{ c vhw 0? E@ ' f
85
Wkh surri ri Vwhs 2 lq sduw ri wkh surri ri Wkhruhp 8 |lhogv wkdw iru dq| B : fc wkhuh h{lvwv d ? odujh hqrxjk/ dqg d A EBc ? odujh hqrxjk/ vxfk wkdw 4A E5 : Bc iru dq| Wkh surri ri Vwhs lq sduw ri wkh surri ri Wkhruhp 8 |lhogv wkdw iru dq| sur oh vxfk wkdw iru dq| c 5 & iru vrph & c li % ! 5 W E wkhq 5 W E 5 i5 W c 5j Dvvxpswlrq 6 wkhq lpsolhv wkdw iru dq| B : f dqg dq| c wkhuh pxvw h{lvw wlphv A W : Ag : Ag 3 : : A : Af odujh hqrxjk vxfk wkdw iru dq| & c 4A& E & : Bc dqg wkdw iru dq| | A W c 4| E W : B Vlqfh lw lv wkh fdvh wkdw li % ! 5 W E W c wkhq 5 W E W ' 5c lw iroorzv wkdw wkhuh lv d Qdvk sdwk 5 9' 5 W vxfk wkdw s W E5 ' Surri ri Sursrvlwlrq
