Rughu ghwhuplqdwlrq lq jhqhudo yhfwru dxwruhjuhvvlrqv
Ehqw Qlhovhq
Ghsduwphqw ri Hfrqrplfv/ Xqlyhuvlw| ri R{irug ) Qx!hog Froohjh/ R{irug R[4 4QI/ XN
H0pdlo= ehqw1qlhovhqCqxi1r{1df1xn kwws=22zzz1qxii1r{1df1xn2xvhuv2qlhovhq
45 Mxo| 5334
Devwudfw= Lq wkh dssolfdwlrq ri dxwruhjuhvvlyh prghov wkh rughu ri wkh prgho lv riwhq hvwlpdwhg xvlqj hlwkhu d vhtxhqfh ri olnholkrrg udwlr whvwv ru d olnholkrrg edvhg lqirupdwlrq fulwhulrq1 Wkh frqvlvwhqf| ri vxfk surfhgxuhv kdv ehhq glvfxvvhg h{whq0 vlyho| xqghu wkh dvvxpswlrq wkdw wkh fkdudfwhulvwlf urrwv ri wkh dxwruhjuhvvlrq duh vwdwlrqdu|1 Lw lv vkrzq wkdw wkhvh phwkrgv fdq eh xvhg uhjdugohvv ri wkh dvvxpswlrq wr wkh fkdudfwhulvwlf urrwv1
4 Lqwurgxfwlrq
Rughu ghwhuplqdwlrq iru vwdwlrqdu| dxwruhjuhvvlyh wlph vhulhv kdv ehhq glvfxvvhg h{0 whqvlyho| lq wkh olwhudwxuh1 Wkh wzr suhydlolqj phwkrgv duh hlwkhu wr whvw zkhwkhu wkh odvw odj lv uhgxqgdqw xvlqj d olnholkrrg edvhg whvw edvhg rq wkh 20glvwulexwlrq ru wr
hvwlpdwh wkh odj ohqjwk frqvlvwhqwo| xvlqj dq lqirupdwlrq fulwhuld1 Lw lv vkrzq wkdw wkhvh phwkrgv fdq eh xvhg uhjdugohvv ri wkh dvvxpswlrq ri vwdwlrqdulw|1
Wkh vwdwlvwlfdo prgho lv jlyhq e| dR0glphqvlrqdo wlph vhulhvEf|vdwlvi|lqj d&wk
rughu yhfwru dxwruhjuhvvlyh htxdwlrq f|'
&
[
,'
,f|3, n>(|n0|c |' c c Ac +414,
Khuh wkh lqqlwldo ydoxhv ffc c f3& duh {hg/ wkh frpsrqhqw (| lv d yhfwru ri
ghwhuplqlvwlf whupv vxfk dv d frqvwdqw/ d olqhdu wuhqg/ ru vhdvrqdo gxpplhv/ zkloh wkh lqqrydwlrqv/ E0|c duh dvvxphg wr eh lqghshqghqwo|/ lghqwlfdoo| qrupdo/ 1REfclc
glvwulexwhg1
Wkh dlp lv wr ghwhuplqh wkh odujhvw qrq0wulyldo rughu iru wkh wlph vhulhv/ &f vd|/
vr &f 9' f dqg ' f iru : &f Wzr dssurdfkhv duh dydlodeoh ri zklfk wkh uvw lv edvhg rq d olnholkrrg udwlr whvw iru & ' f1 Wkh orj olnholkrrg udwlr whvw vwdwlvwlf lv
u-E&' f 'A *L} _i| l&3A *L} _i| l&c
dqg wklv zloo eh suryhg wr eh dv|pswrwlfdoo| 2 Wkh vhfrqg dssurdfk lv wr hvwlpdwh
&f e| plqlplvlqj wkh shqdolvhg olnholkrrg
x ' *L} _i| lnsEAA c ' fc c & +415,
Lq wkh olwhudwxuh wkhuh duh vhyhudo fdqglgdwhv iru wkh shqdow| ixqfwlrq s1 Dndlnh kdv sEA ' 2R2/ Vfkzdu} +4<:;, kdv sEA ' R2*L}A zkloh Kdqqdq dqg Txlqq +4<:<,
dqg Txlqq +4<;3, kdyh sEA ' 2R2*L} *L}A Iru vwdwlrqdu| surfhvvhv zlwkrxw ghwhu0
plqlvwlf frpsrqhqwv lw kdv ehhq vkrzq wkdw wkh hvwlpdwru &f lv zhdno| frqvlvwhqw li
sEA ' LEA dqg sEA $ 4 dv A lqfuhdvhv/ zkloh Kdqqdq dqg Txlqq vkrz wkdw vwurqj frqvlvwhqf| lv rewdlqhg li dqg rqo| li *4 tTA <"sEA : 2 Lq rwkhu zrugv wkh hvwlpdwruv ri Kdqqdq dqg Txlqq dqg ri Vfkzdu} duh frqvlvwhqw zklohv Dndlnh*v hvwlpdwru lv lqfrqvlvwhqw1 Vrph jhqhudolvdwlrqv wr qrq0vwdwlrqdu| surfhvvhv kdyh ehhq jlyhq e| iru lqvwdqfh Sdxovhq +4<;7,/ Sùwvfkhu +4<;<, dqg Wvd| +4<;7,1 Lq wkh iro0 orzlqj vrph ixuwkhu jhqhudolvdwlrqv duh pdgh zlwk d ylhz wrzdugv dedqgrqlqj wkh vwdwlrqdulw| frqglwlrq dowrjhwkhu dqg lqfoxglqj ghwhuplqlvwlf frpsrqhqwv1
Wkh iroorzlqj qrwdwlrq lv xvhg wkurxjkrxw wkh sdshu= Iru d pdwul{kohwk 2 'kk
dqg ohwnkneh wkh Hxfolghdq qrup1 Zkhqk lv v|pphwulf wkhqb4?Ek dqgb4@ Ek
ghqrwh wkh vpdoohvw dqg wkh odujhvw hljhqydoxh uhvshfwlyho|1 Zkloh (E0|mI|3 lv d
frqglwlrqdo h{shfwdwlrq wkh qrwdwlrqEt|m~|ghqrwhv wkh uhvlgxdo ri wkh ohdvw vtxduhv
uhjuhvvlrq ri t| rq ~| Wkh deeuhyldwlrqv @r dqg 3 duh xvhg iru surshuwlhv kroglqj
doprvw vxuho| dqg lq suredelolw|/ uhvshfwlyho|1 5 Uhvxowv
Wkh dv|pswrwlf dqdo|vlv lv wr d odujh h{whqw edvhg rq uhvxowv ri Odl dqg Zhl +4<;8, zlwk dssursuldwh prglfdwlrqv suhvhqwhg e| Qlhovhq +5334,1 Iroorzlqj wkh suhfhghqfh ri Odl dqg Zhl wkh dvvxpswlrqv wr wkh lqqrydwlrq surfhvv fdq eh uhod{hg vr wkh vhtxhqfh ri lqqrydwlrqv E0| lv d pduwlqjdoh glhuhqfh vhtxhqfh zlwk uhvshfw wr dq
lqfuhdvlqj vhtxhqfh ri j0hogv EI|c wkdw lv 0| lv I|0phdvxudeoh zlwk (E0|mI|3 ' f
@r dqg lv dvvxphg wr vdwlvi| wkh frqglwlrqv tT | ( n0|n2nmI|3 @r 4 iru vrph :2c +514, *4 ?u A <" b4?(E0|0 |mI|3 @r: f +515,
Wkh ghwhuplqlvwlf surfhvv zloo eh dvvxphg wr vdwlvi| wkh dvvxpswlrq
(| '#(|3c mi}i? E#m' c h@?! E(c c (_4 # ' _4# +516,
Wklv frqglwlrq hqvxuhv wkdw wkh ghwhuplqlvwlf uhjuhvvruv duh qrw froolqhdu dqg lv lq0 vsluhg e| Mrkdqvhq +5333,1
Lq wkh dqdo|vlv lw lv frqyhqlhqw wr lqwurgxfh wkh frpsdqlrq irup # j| (| $ ' # f # $ # j|3 (|3 $ n # i| f $ c +517, zkhuh j|' Ef|c c f|3&n dqg ' + &3 & URE&3 f , c ' + UR fE&3RfR , c '>#c i|'0|
Wkh surfhvv j fdq eh ghfrpsrvhg xvlqj d vlplodulw| wudqvirupdwlrq1 Iroorzlqj Khuvwhlq +4<:8/ s1 63;, wkhuh h{lvwv d uhjxodu/ uhdo pdwul{ zklfk wudqvirupv
lqwr d uhdo/ udwlrqdo fdqrqlfdo irup1 Lq sduwlfxodu/ fdq eh fkrvhq vr 3 '
_@} ENcVc` lv d eorfn gldjrqdo pdwul{ zkhuh wkh devroxwh ydoxhv ri wkh hljhqydo0 xhv ri Nc V dqg` duh vpdoohu wkdq rqh/ htxdo wr rqh dqg dw ohdvw rqh/ uhvshfwlyho|1 Wkh surfhvvj| fdq wkhuhiruh eh ghfrpsrvhg dv j| ' 3 E C L| T| `| 4 F D' 3 E C N f f >L f V f >T f f ` >` 4 F D 3 E E E C L|3 T|3 `|3 (| 4 F F F Dn 3 E C eLc| eTc| e`c| 4 F D
Ilqdoo|/ wkhuh h{lvwv d frqvwdqw >L/ vhh Qlhovhq +5334/ Ohppd 514,/ vr
L| ' L|n >L(| zkhuh L| 'NL|3neLc| +518,
Wkh olnholkrrg udwlr whvw vwdwlvwlf lv nqrzq wr eh dv|pswrwlfdoo| 2 dv orqj dv
mi}i?Em / vhh O wnhsrko +4<<4/ Vhfwlrq 71515,/ exw wkh uhvxow krogv uhjdugohvv ri wkh dvvxpswlrq wr1 Lq rughu wr xvh d Fhqwudo Olplw Wkhruhp iru wkh pduwlqjdoh glhuhqfh vhtxhqfhL|30| lw lv qhfhvvdu| wr dvvxph wkdw wkh lqqrydwlrqv kdyh irxuwk
prphqwv dqg wkdw
(E0 2
| mI|3@r' l +519,
Lw fdq eh suryhg dorqj wkh olqhv ri Fkdq dqg Zhl +4<;;, wkdw frqglwlrq +519, hqvxuhv d pruh whfkqlfdo frqglwlrq 3 # A3#3[A |' T 2 | :f $ $c +51:,
iru #' Lq wkh surriv lw dfwxdoo| vx!fhv wkdw +51:, krogv iru vrph # :f
Wkhruhp 514 Vxssrvh Dvvxpswlrqv E2c E22c E2c E2S duh vdwlvhg1 Wkhq u-lv dv|pswrwlfdoo| 2ER2
Wxuqlqj wr wkh lqirupdwlrq fulwhuld Sdxovhq +4<;7, dqg Wvd| +4<;7, suryh zhdn frqvlvwhqf| iru wkh fdvhmi}i?Em 1 Rqfh djdlq wkh dvvxpswlrq wrlv uhgxqgdqw1 Wkhruhp 515 Vxssrvh Dvvxpswlrqv E2c E22c E2 dqg E2S duh vdwlvhg1 Li sEA ' LEA dqg sEA$ 4 wkhq &f $ &f
Vwurqj frqvlvwhqf| lv kdughu wr suryh1 Lq wkh fdvh zkhuh mi}i?Em Kdqqdq dqg Txlqq +4<:<, dqg Txlqq +4<;3, xvh d Odz ri wkh Lwhudwhg Orjdulwkp wr vkrz d qhfhvvdu| dqg vx!flhqw frqglwlrq iru frqvlvwhqf|1 Zkloh L eholhyh wkh dvvxpswlrq wr lv uhgxqgdqw wkdw ghjuhh ri jhqhudolvdwlrq kdv qrw txlwh ehhq dfklhyhg1 Wkh sureohp lv wr suryh dq doprvw vxuh yhuvlrq ri +51:, vxfk dv
*4 ?u A <" # A3#3[A |' T 2 | $ @r : fc +51;,
iru vrph# :fWklv lv hvvhqwldoo| suryhg iru#' fe| Odl dqg Zhl +4<;8/ Wkhruhp 6,/ exw lq ylhz ri +51:, lw lv qrw xquhdvrqdeoh wkdw lw vkrxog krog iru dq# :fIru wkh fdvh zkhuh V kdv glvwlqfw hljhqydoxhv wklv fdq eh suryhg xvlqj Grqvnhu dqg Ydudgkdq*v +4<::, Odz ri wkh Lwhudwhg Orjdulwkp iru wkh lqwhjudwhg vtxduhg Eurzqldq prwlrq/
*4 ?u A <" *L} *L}A A2 ] A f 2 _@r' ec lq frqmxqfwlrq zlwk d Vnrurnkrg hpehgglqj1
Wkh uvw ri wkh iroorzlqj wkuhh jhqhudolvdwlrqv ri Kdqqdq dqg Txlqq*v uhvxow dyrlgv wkh frqglwlrq +51;, dw wkh frvw ri d vwurqj frqglwlrq wr wkh shqdow| ixqfwlrq1 Sùwvfkhu +4<;</ Wkhruhp 614, suryhg wkh uhvxow iru mi}i?Em / lq zklfk fdvh lw dfwxdoo| vx!fhv wkdw :flq Dvvxpswlrq +514,/ vhh dovr Ohppd 615 ehorz1
Wkhruhp 516 Vxssrvh Dvvxpswlrqv E2c E22c E2 duh vdwlvhg1 Li sEA ' LEA dqg sEA**L}A $ 4 wkhq &f $&f @r
Zhdnhu frqglwlrqv wr wkh shqdow| ixqfwlrq duh vx!flhqw xqghu wkh frqglwlrq +51;,1 Wklv uhvxow zdv suryhg uvw e| Sùwvfkhu +4<;</ Wkhruhp 617, iru mi}i?Em 1 Wkhruhp 517 Vxssrvh Dvvxpswlrqv E2cE22c E2c E2H duh vdwlvhg1 Li sEA ' LEA dqg sEA**L} *L}A $ 4 wkhq &f $&f @r
Dv lq Kdqqdq dqg Txlqq +4<:<, d pruh suhflvh vwdwhphqw fdq eh pdgh xqghu wkh dgglwlrqdo dvvxpswlrq ri vwdwlrqdulw| dqg hujrglflw| ri wkh lqqrydwlrqv1
Wkhruhp 518 Vxssrvh Dvvxpswlrqv E2c E22c E2c E2H duh vdwlvhg dqg wkdw E0| lv vwdwlrqdu| dqg hujrglf1 Li sEA ' LEA wkhq lw krogv wkdw &f $&f @r li dqg
rqo| li *4 tTA <"E2 *L} *L}A3sEA: @r
6 Surriv
Wkh olnholkrrg udwlr whvw vwdwlvwlf fdq eh h{suhvvhg lq whupv ri wkh vdpsoh sduwldo fruuhodwlrq ri wkh uhvlgxdov rif| dqgf|3& fruuhfwhg iru wkh odjv ri wkh surfhvv j|3
dqg wkh ghwhuplqlvwlf frpsrqhqwv (|1 Wkh pdlq lghd ri wkh surri lv wr vkrz wkdw
wklv sduwldo fruuhodwlrq lv htxlydohqw wr wkh fruuhodwlrq ri wkh lqqrydwlrq 0| dqg d
frpsrqhqw zklfk lv ghulyhg iurp wkh }hur phdq vwdwlrqdu| frpsrqhqw L|31 Wklv
lghd lv ghyhorshg lq d uvw vxevhfwlrq dqg vxevhtxhqwo| wkh pdlq wkhruhpv duh suryhg dorqj wkh olqhv ri Kdqqdq dqg Txlqq +4<:<,1
614 Sduwldo fruuhodwlrqv
Wzr h{suhvvlrqv iru wkh vdpsoh sduwldo fruuhodwlrq duh irxqg lq Ohppdv 614/ 618 zlwk voljkwo| vwurqjhu dvvxpswlrqv wr wkh lqqrydwlrq surfhvv lq wkh odwwhu uhvxow1 Erwk h{suhvvlrqv lqyroyh d uhpdlqghu whup
-A ' A [ |'0|T |32 # A [ |'T 2 |32 $3 A [ |'T|320 | A [ |'0|T |3 # A [ |'T 2 |3 $3 A [ |'T|30 |c
zklfk lv glvfxvvhg ixuwkhu lq Ohppd 6191 Wkurxjkrxw wklv vhfwlrq lw lv dvvxphg wkdw htxdwlrq E krogv zlwk &' f iru vrph & :
Ohppd 614 Vxssrvh Dvvxpswlrqv E2c E22c E2 duh vdwlvhg1 Wkhq A 7f737f @r' A [ |' 0|L|32 # A [ |' L 2 |32 $3 A [ |' L|320| A [ |' 0|L|3 # A [ |' L 2 |3 $3 A [ |' L|30| n[A |'0|0 |3 # A [ |'0 2 |3 $3 A [ |'0|30 |n L E n-A
Iru wkh dv|pswrwlf dqdo|vlv d vhulhv ri uhvxowv e| Qlhovhq +5334, duh qhhghg1 Wklv zrun lv wr d odujh h{whqw edvhg rq Odl dqg Zhl +4<;8, dv zhoo dv Zhl +4<;8/ Ohppd 5,1
Ohppd 615 Vxssrvh Dvvxpswlrqv E2/ E22c E2 duh vdwlvhg1 Li Et|c ~| lv hlwkhu ri wkh sdluv EL|c T|c EL|c `|c ET|c `|wkhq + A [ |' Et|m(| 2 ,3*2 A [ |' Et|m(| E~|m(| + A [ |' E~|m(| 2 ,3*2 @r' L E +614, Li mi}i?Em dqg wkhq + A [ |' Ej|m(| 2 ,3*2 A [ |' Ej|m(|0|n @r' E*L}A +615, 8
Lw krogv # A [ |' L 2 | $3*2 A [ |' L|0|n @r' q E*L} *L}A*2rc +616, *4 ?u A <" A A [ |'0 2 | @r : fc *4 tT A <" A A [ |'0 2 | @r 4c +617, *4 ?u A <" A 3*L}b 4? # A [ |'` 2 | $ @r' 2 *L} 4?mi}i? E`mc +618, *4 ?u A <" A A [ |' Ej|m(| 2 @r: f +619, + A [ |' Ej|m(| 2 ,3*2 A [ |' Ej|m(|0|n @r' L A*ec iru +61:,
Iru wkh uhvxowv EES lw vx!fhv wkdw :f lq Dvvxpswlrq E21
Surri ri Ohppd 6151 Wkh uhvxowv iroorz iurp Qlhovhq +5334,1 Lq sduwlfxodu/ Eiroorzv iurp H{dpsoh ;17/E2dqgE.iurp Wkhruhp <14/ +616, iurp Wkhruhp :1:/ Ee iurp Wkhruhp 814/ +618, iurp Fruroodu| 915/ dqg +619, iurp Fruroodu| ;181 Wkh Ohppd 614 lv qrz suryhg lq d ihz vwhsv1 Wkh uvw lv dq dojheudlf uhvxow vkrzlqj wkdw d &0wk rughu sduwldo fruuhodwlrq fdq eh uhzulwwhq dv wkh vxp ri wzr fruuhodwlrqv dqg d uvw rughu sduwldo fruuhodwlrq1
Ohppd 616 Wkh vwdwlvwlf A7f737f fdq eh zulwwhq dv A [ |'0|Ej|32m(| +[A |'Ej|32m(| 2,3 A[ |'Ej|32m(|0 | [A |' 0|Ej|3m(| + A [ |' Ej|32m(| 2 ,3 A [ |' Ej|32m(|0| n[A |'0|E0|3mj|32c (| +[A |'E0|3mj|32c (| 2,3 A[ |'E0|3mj|32c (|0 |
Surri ri Ohppd 6161 E| wkh irupxod iru sduwlwlrqhg lqyhuvlrq A 7f737f
htxdov A [ |' 0|Ef|3&mj|3c (| + A [ |' Ef|3&mj|3c (| 2 ,3 A [ |' Ef|3&mj|3c (|0| 9
' [A |'0| # j|3 f|3& (| $;? = A [ |' # j|3 f|3& (| $ 2<@ > 3 A[ |' # j|3 f|3& (| $ 0 | [A |'0|Ej|3m(| # A [ |'Ej|3m(| 2 $3 A [ |'Ej|3m(|0 | Qrwlqj wkdwEj
|3c f|3& ' Ef|3 cj|32d uhshdwhg xvh ri wkh irupxod iru sduwlwlrqhg
lqyhuvlrq ohdgv wr A [ |' 0|Ej|32m(| + A [ |' Ej|32m(| 2 ,3 A [ |' Ej|32m(|0| [A |'0|Ej|3m(| + A [ |'Ej|32m(| 2 ,3 A [ |'Ej|32m(|0 | n[A |'0|Ef|3mj|32c (| + A [ |'Ef|3mj|32c (| 2 ,3 A [ |'Ef|3mj|32c (|0 |
Wkh ghvluhg uhvxow qrz iroorzv vlqfh Ef|3mj|32c (| ' E0|3mj|32c (| e| wkh prgho
htxdwlrq +414, dqg wkh surshuw| (| '#(|3
Wkh xqfruuhodwhgqhvv ri wkh vdpsoh fruuhodwlrqv phqwlrqhg lq +614, lq Ohppd 615 lpsolhv wkdw wkh uvw wzr whupv lq Ohppd 616 fdq eh uhzulwwhq dv
A [ |'0|Ej|3m(| +[A |'Ej|3m(| 2,3 A[ |'Ej|3m(|0 | @r' [A |' 0|EL|3m(| + A [ |' EL|3m(| 2 ,3 A [ |' EL|3m(|0| n[A |' 0|ET|3m(| + A [ |' ET|3m(| 2 ,3 A [ |' ET|3m(|0| n[A |'0|E`|3m(| + A [ |'E`|3m(| 2 ,3 A [ |'E`|3m(|0 |n L E +61;,
Wkh qh{w vwhs lv wr vhh wkdw wkh frpsrqhqwv lqyroylqj ` fdqfho hdfk rwkhu1 Ohppd 617 Vxssrvh Dvvxpswlrqv E2/ E22c E2 duh vdwlvhg1 Wkhq
A [ |'0|E`|32m(| + A [ |'E`|32m(| 2 ,3 A [ |'E`|32m(|0 | [A |' 0|E`|3m(| + A [ |' E`|3m(| 2 ,3 A [ |' E`|3m(|0|@r' L E :
Surri ri Ohppd 6171 Lw lv uvw dujxhg wkdw A [ |' E`|3m(| 2 ' A [ |' Ee`c|3n``|32m(| 2 @r' A [ |' E``|32m(| 2 q n LA3*2r
Wkh prgho htxdwlrq jlyhv wkh uvw htxdolw|1 Qh{w/ +618, wrjhwkhu zlwk +61:, lpso| iSA
|'E``|32m(| 2j3SA|'E``|32m(|e`c|3 ' LEA3*2 @rc zkhuhdv +618, dqg
+617, lpso|iSA
|'E``|32m(| 2j3SA|'e 2`c|3' LEA3*2
Lq wkh vdph zd|/ xvlqj uvw wkh prgho htxdwlrq dqg wkhq +617, wrjhwkhu zlwk +615, iru _4# ' fvkrz A [ |'E`|3m(|0 | @r' A [ |'E``|32m(|0 |n L A#n*2
Lq frpelqdwlrq/ wkhvh wzr uhvxowv wrjhwkhu zlwk +618,/ +61:, jlyh + A [ |'E`|3m(| 2 ,3*2 A [ |'E`|3m(|0 | @r' +[A |'E``|32m(| 2,3*2+[A |'E``|32m(|0 |n L A#n*2, q n LA3*2r @r' +[A |'E`|32m(| 2,3*2 A[ |'E`|32m(|0 |n L A3*2
Vtxdulqj wklv h{suhvvlrq dqg xvlqj +61:, jlyhv wkh ghvluhg uhvxow1 Wkh surri ri Ohppd 614 fdq qrz eh jlyhq1
Surri ri Ohppd 6141 Lq frpelqdwlrq wkh deryh Ohppdv 616/ 617 vkrz wkdw iru dv|pswrwlf sxusrvhv A 7f737f htxdov
A [ |'0|EL|32m(| +[A |'EL|32m(| 2,3 A[ |'EL|32m(|0 | [A |'0|EL|3m(| + A [ |'EL|3m(| 2 ,3 A [ |'EL|3m(|0 | n[A |'0|E0|3mj|32c (| + A [ |'E0|3mj|32c (| 2 ,3 A [ |'E0|3mj|32c (|0 |n-A n L E
Lq wkh uvw wzr whupv EL|3m(| fdq eh uhsodfhg e| E L|m(| ehfdxvh ri +518,1 Wkh
uhjuhvvlrqv rq(|lq wkh uvw wzr htxdwlrqv dqg rq(|c T| dqg`| lq wkh odvw htxdwlrq
fdq eh ljqruhg iru dv|pswrwlf sxusrvhv ehfdxvh ri +61:,1 Wkh uhvxow wkhq iroorzv xvlqj Ohppd 6161
D pruh frpsdfw yhuvlrq ri wkh uhvxow lq Ohppd 614 fdq eh suryhg xqghu dq dgglwlrqdo dvvxpswlrq wr wkh lqqrydwlrqv1
Ohppd 618 Vxssrvh DvvxpswlrqvE2cE22cE2duh vdwlvhg dqgA3SA
|'0 2| $
l @r Wkhq wkhuh h{lvwv dq iERn _4LRj0pdwul{ zlwk ixoo froxpq udqn vr t|'E0|c L|3 dqg A 7f737f @r' A [ |' 0|t|3 # A [ |' t 2 |3 $3 A [ |' t|30|n-A n L E
Surri ri Ohppd 6181 Wkh dgglwlrqdo frqglwlrqA3SA
|'0 2| $l@r hqvxuhv wkdw wkh h{lvwv d srvlwlyh ghqlwh 8 vr A A [ |' # 0 2 | f f L 2 |3 $ @r' # l f f 8 $ i n L Ejc +61<, vhh Qlhovhq +5334/ Wkhruhp 814,1 Uhfdoo wkdw wkh lqqrydwlrq iru L| lv irxqg e|
E0
|cf ' EeLc|c eTc| c e`c|c zkhuh lv vrph uhdo/ ixoo udqn pdwul{1 Lqwurgxflqj
wkh qrwdwlrq R iru wkh wrs ohiw E_4L R0eorfn ri lw wkhq krogv
L| 'NL|3neLc|' ERcN # 0| L|3 $ c
zkhuh ERcN lv i_4L ERn _4Lj dqg kdv ixoo urz udqn1 E| +61:, lw iroorzv
wkdw 8 @r' A [A |' L 2 |3n L E@r' ERcN ; ? = A A [ |' # 0| L|3 $ 2<@ > # R N $ n L E @r' E RcN + A A [ |' # 0 2 | f f L 2 |3 $, # R N $ n L E +6143,
Qrz/ fkrrvh diERn_4LRj0pdwul{zlwk ixoo froxpq udqn/ vricEcNj
lv uhjxodu/ dqg + ERcN , # l f f 8 $ +# R N $ c , ' # 8 f f C $ c <
iru vrph srvlwlyh ghqlwh pdwul{Cc ghqhg dv wkh olplw ri A3SA
|'t| 2 zkhuht|'
E0
|cL|3 1 Xvlqj wkh ixoo udqn olqhdu wudqvirupdwlrqicERcNj dqg wkh deryh
uhvxowv +61<,/ +6143, lw lv wkhq vhhq wkdw A [ |'0| # 0|3 L|32 $+ A [ |' # 0 2 |3 f f L 2 |32 $,3 A [ |' # 0|3 L|32 $ 0 | @r' [A |'0| # L|3 t|3 $# 8 f f C $3 A [ |' # L|3 t|3 $ 0 |n L E
Wkh ghvluhg uhvxow iroorzv e| vxewudfwlqjSA
|'0|L|3 SA|'L|3 2
3S
A
|'L|30|
Wkh rughu ri pdjqlwxgh ri wkh uhpdlqghu whup-A lv jlyhq lq wkh iroorzlqj Ohppd1
Ohppd 619 Vxssrvh Dvvxpswlrqv E2/ E22c E2 duh vdwlvhg1 E Lw krogv -A ' E*L}A @r
E Li Dvvxpswlrq E2H krogv wkhq -A ' LE @r
E Li Dvvxpswlrq E2S krogv wkhq -A ' LE
Surri ri Ohppd 6191 EWkh surshuw| +615, lq Ohppd 615 lpphgldwho| vkrzv -A ' E*L}A@r
Edv lq wkh surri ri Ohppd 617 zlwk +618,/ +61:, uhsodfhg e| +51;,/ +615,/ uhvshf0 wlyho|/ lw fdq eh suryhg wkdw A [ |'ET|3m(| 2 @r' [A |'EVT|32m(| 2q n LA3#rc A [ |'ET|3m(|0 | @r' A [ |'EVT|32m(|0 |n L A#n*2
Wkh dujxphqw lv wkhq qlvkhg dv lq wkh surri ri Ohppd 6171 E iroorzv dv E xvlqjE2.lqvwhdg ri +51;,
615 Surriv ri pdlq uhvxowv
Wkhruhp 514 lv d frqvhtxhqfh ri Ohppd 618 dqg d Fhqwudo Olplw Wkhruhp1 Surri ri Wkhruhp 5141 Wkh frqglwlrq A3SA
|'0 2| $ l lq Ohppd 618 lv
vdwlvhg ehfdxvh ri Dvvxpswlrq +519,/ vhh Qlhovhq +5334/ Wkhruhp <18,1 E| Ohppd 619/lw krogv-A ' LEWkh uhvxow wkhq iroorzv iurp Eurzq*v +4<:4, Fhqwudo Olplw
Wkhruhp/ vhh Qlhovhq +5334/ Wkhruhp 4315,1
Wkh Wkhruhpv 515/ 516/ 518 iroorz iurp wkh qdo wzr Ohppdv/ ri zklfk wkh uvw jlyhv orzhu erxqgv iru sEA dqg wkh vhfrqg jlyhv dq xsshu erxqg irusEA
Ohppd 61: Vxssrvh Dvvxpswlrqv E2c E22c E2 duh vdwlvhg1 E Li Dvvxpswlrq E2S krogv dqg sEA$ 4 wkhq 3E &f : &f$f
E Li sEA**L}A $ 4wkhq *4 tTA <"&f &f @r
E Li Dvvxpswlrq E2H krogv dqg sEA**L} *L}A $ 4 wkhq *4 tTA <"&f &f
@r
E Li DvvxpswlrqE2H krogv dqg0| lv vwdwlrqdu| dqg hujrglf wkhq*4 tTA <"&f
&f @r li dqg rqo| li *4 tTA <"E2 *L} *L}A3sEA:
Surri ri Ohppd 61:1 Ohw &f Lw wkhq krogv wkdw
xnx ' *L} _i| ln l3 nA3sEA 'A3u-E n nA3sEA
Wkh rughu ri pdjqlwxgh ri u-En wkhuhiruh kdv wr eh hydoxdwhg1
E Wkhruhp 514 zlwk& uhsodfhg e| n vkrzv wkdwu-En ' E1
E Ohppdv 614/ 619/ dqg +615, ri Ohppd 615 vkrzu-En ' E*L}A@r
E Ohppd 619/lpsolhv wkdw -A ' L E @r dqg +616, wkhq vkrzv u-En '
E*L} *L}A@r
E Wkh Hujrglf Wkhruhp vkrzv A3SA
|'0 2| $ l @r dqg wkhuhiruh Ohppd
618 dssolhv zlwk -A ' LE ehfdxvh ri Ohppd 619/ Wkh ghvluhg uhvxow wkhq iroorzv
iurp wkh Odz ri Lwhudwhudwhg Orjdulwkpv e| Kh|gh dqg Vfrww +4<:6/ Fruroodu| 5, dqg Kdqqdq +4<;3/ s1 43:9043::,1 Vhh Txlqq +4<;3, iru ghwdlov1
Ohppd 61; Vxssrvh Dvvxpswlrqv E2c E22c E2 duh vdwlvhg1 Li sEA ' LEA wkhq *4 ?uA <"&f &f @r
Surri ri Ohppd 61;1 Ohw &f Wkh frqglwlrqsEA ' L EAvkrzv wkdw
xx&f ' *L} _i| q Un l l&f l3 &f r n L E E| +617, lq Ohppd 615 lw krogv wkdw l3
&f ' E @r Wkxv lw vx!fhv wr dujxh wkdw *4 ?ub4@ E l l&f:f Ghqlqjv|'Ef|3 c c f|3& f lw krogv
l l&f ' A A [ |'f|Ev|3mj|3c (| + A [ |'Ev|3mj|3c (| 2 ,3 A [ |'Ev|3mj|3c (|f |
Ghqh 'nc c &f zklfk lv qrq0}hur vlqfh &f 9' f dqg qrwh wkdw A*2 + A [ |' Ev|3mj|3c (| 2 ,3*2 A [ |' Ev|3mj|3c (|f| ' A*2 + A [ |'Ev|3mj|3c (| 2 ,3*2 A [ |'Ev|3mj|3c (|0 | n + A A [ |' Ev|3mj|3c (| 2 ,*2 44
Wkh uvw ri wkhvh whupv lv ri rughuL E @r e| +61:,/ zkhuhdv wkh vhfrqg whup kdv d srvlwlyh ru lqqlwh olphv lqihulru ehfdxvh ri +619,/ vhh dovr Qlhovhq +5334/ Ohppd ;1:,1
Uhihuhqfhv
Eurzq/ E1P1 +4<:4,1 Pduwlqjdoh Fhqwudo Olplw Wkhruhpv1 Dqqdov ri Pdwkhpdwlfdo Vwdwlvwlfv 75/ 8<0991
Fkdq/ Q1K1 dqg Zhl/ F1]1 +4<;;, Olplwlqj glvwulexwlrqv ri ohdvw vtxduhv hvwlpdwhv ri xqvwdeoh dxwruhjuhvvlyh surfhvvhv1 Dqqdov ri Vwdwlvwlfv/ 49/ 69:07341
Grqvnhu/ P1G1 dqg Ydudgkdq/ V1U1V1 +4<::, Rq Odzv ri Lwhudwhg Orjdulwkpv iru orfdo wlphv1 Frppxqlfdwlrqv rq Sxuh dqg Dssolhg Pdwkhpdwlfv/ 63/ :3:0:861 Kdqqdq/ H1M1 +4<;3, Wkh hvwlpdwlrq ri wkh rughu ri dq DUPD surfhvv1 Dqqdov ri
Vwdwlvwlfv/ ;/ 43:4043;41
Kdqqdq/ H1M1 dqg Txlqq/ E1J1 +4<:<, Wkh ghwhuplqdwlrq ri wkh rughu ri dq dxwruh0 juhvvlrq1 Mrxuqdo ri wkh Ur|do Vwdwlvwlfdo Vrflhw| E/ 74/ 4<304<81
Khuvwhlq/ L1Q1 +4<:8,1 Wrslfv lq Dojheud/ 5qg hglwlrq1 Qhz \run= Zloh|1
Kh|gh/ F1F1 dqg Vfrww/ G1M1 +4<:6, Lqyduldqfh sulqflsohv iru wkh odz ri wkh lwhudwhg orjdulwkp iru pduwlqjdohv dqg surfhvvhv zlwk vwdwlrqdu| lqfuhphqwv1 Dqqdov ri Suredelolw| 4/ 75;07691
Odl/ W1O1 dqg Zhl/ F1]1 +4<;8, Dv|pswrwlf surshuwlhv ri pxowlyduldwh zhljkwhg vxpv zlwk dssolfdwlrqv wr vwrfkdvwlf uhjuhvvlrq lq olqhdu g|qdplf v|vwhpv1 Lq S1U1 Nulvkqdldk/ hg1/Pxowlyduldwh Dqdo|vlv YL/ Hovhylhu Vflhqfh Sxeolvkhuv/ 6:806<61 O wnhsrko/ K1 +4<<4,Lqwurgxfwlrq wr Pxowlsoh Wlph Vhulhv Dqdo|vlv1 Ehuolq= Vsulqjhu0
Yhuodj1
Qlhovhq/ E1 +5334,1 Dv|pswrwlf surshuwlhv ri ohdvw vtxduhv vwdwlvwlfv lq jhqhudo yhfwru dxwruhjuhvvlyh prghov1 Vhhkwws=22zzz1qxii1r{1df1xn2xvhuv2qlhovhq1 Sdxovhq/ M1 +4<;7, Rughu ghwhuplqdwlrq ri pxowlyduldwh dxwruhjuhvvlyh wlph vhulhv
zlwk xqlw urrwv1 Mrxuqdo ri Wlph Vhulhv Dqdo|vlv/ 8/ 448045:1
Txlqq/ E1 J1 +4<;3, Rughu ghwhuplqdwlrq iru d pxowlyduldwh dxwruhjuhvvlrq1 Mrxuqdo ri wkh Ur|do Vwdwlvwlfdo Vrflhw| E/ 75/ 4;504;81
Vfkzdu}/ J1 +4<:;, Hvwldpdwlqj wkh glphqvlrq ri d prgho1 Dqqdov ri Vwdwlvwlfv/ 9/ 79407971
Wvd|/ U1V1 +4<;7, Rughu vhohfwlrq lq qrqvwdwlrqdu| dxwruhjuhvvlyh prghov1 Dqqdov ri Vwdwlvwlfv/ 45/ 4758047661
Zhl/ F1]1 +4<;8, Dv|pswrwlf surshuwlhv ri ohdvw0vtxduhv hvwlpdwhv lq vwrfkdvwlf uh0 juhvvlrq prghov1 Dqqdov ri Vwdwlvwlfv 46/ 47<;0483;1
