Frqwhqwv
4 Lqwurgxfwlrq 4
414 Lrq Fkdqqhov 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 415 Wkhrulhv ri dq Rshq Fkdqqho 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 416 Rxwolqh ri Wkhvlv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 8
5 Wkh SQS Prgho :
514 Elj Edwk/ Vpdoo Fkdqqho 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 : 515 Ghulydwlrq ri wkh Ht xdwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 43 51514 Uhgxflqj wkh Qhuqvw0Sodqfn Htxdwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 4: 51515 Uhgxflqj wkh Srlvvrq Ht xdwlrq 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4< 51516 Vxppdu| 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 55 516 Vfdolqj wkh V|vwhp 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 57 517 Pdwkhpdwlfdo Dvvxpswlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 59 518 Uhjxodulw| ri wkh Vroxwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5;
6 D Sulphu rq Vlqjxodu Shuwxuedwlrq Wkhru| 5<
614 Lqwurgxfwlrq 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5< 615 Hq}|ph Nlqhwlfv dv dq H{dpsoh 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 66 61514 Vhwwlqj Xs wkh Sureohp 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 66 61515 Vfdolqj wkh V|vwhp 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 68 61516 Rxwhu dqg Lqqhu Vroxwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6:
FRQWHQWV yll 61517 Wkh Uhvxowv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 76 616 Frqfoxglqj Wkrxjkwv rq VS 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 78
7 Vlqjoh Vdow Fdvh 7:
714 VS H{sdqvlrq rq dq Lqwhuydo zlwk Frqvwdqw Shupdphqw Fkdujh 1 1 1 7< 71414 Wkh Rxwhu Vroxwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 89 71415 Wkh Lqqhu Vroxwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 95 715 Pdwfklqj dfurvv d Mxqfwlrq ri Wzr Lqwhuydov ri Frqvwdqw Shupdqhqw
Fkdujh 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 9: 716 Wkh Fxuuhqw2Yrowdjh Uhodwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 :5 717 Wkh Uhyhuvdo Srwhqwldo dqg Frqgxfwdqfh dw Uhyhuvdo Srwhqwldo 1 1 1 1 :: 71714 Ohppdv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 :< 71715 Jhqhudo Uhvxowv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 ;5 71716 Vshfldo Fdvh= Ht xdo Edwk Frqfhqwudwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 ;7 71717 Vshfldo Fdvh= ' zlwk Glxvlrq Frh!flhqw Gursv 1 1 1 1 1 ;: 71718 Vshfldo Fdvh= ' 2 zlwk Glxvlrq Frh!flhqw Gursv 1 1 1 1 1 <9 718 Erxqgdu| Frqglwlrqv dw wkh Fkdqqho Hqwudqfhv 1 1 1 1 1 1 1 1 1 1 1 1 << 71814 Ghulydwlrq 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 433 71815 Frpsdulvrq wr Exlow0Lq Erxqgdu| Frqglwlrqv 1 1 1 1 1 1 1 1 1 434 71816 Zk| Grhvq*w VS Jlyh Grqqdq SrwhqwldovB 1 1 1 1 1 1 1 1 1 1 1 435 719 Frpsdulqj Irupxodv wr Qxphulfdo Vroxwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 438 71914 ' 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 43; 71915 ' 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 445 71916 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 446
8Pxowlsoh Vdowv Fdvh 448
FRQWHQWV ylll 81515 Uhyhuvdo Srwhqwldo 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 463 816 Vshfldo Fdvh= Rqh Dqlrq 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 465 81614 Fxuuhqw2Yrowdjh Uhodwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 467 81615 Uhyhuvdo Srwhqwldo 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 468 81616 Frqgxfwdqfh dw Uhyhuvdo Srwhqwldo 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 469 817 Wkh Dqrpdorxv Proh Iudfwlrq Hhfw 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 46< 818 Frpsdulqj Irupxodv wr Qxphulf Vroxwlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 475 81814 Wzr Vdowv zlwk Glhuhqw Dqlrqv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 476 81815 Wzr Vdowv zlwk d Frpprq Dqlrq 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 476 81816 Wkuhh Vdowv zlwk d Frpprq Dqlrq 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 479
9 Ghdolqj zlwk wkh Duhd Ixqfwlrq 47;
: Vxppdu| ri Uhvxowv 487
:14 Vlqjoh Vdow Uhvxowv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 487 :15 Pxowlsoh Vdowv Uhvxowv 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 488
; Glvfxvvlrq 48<
Fkdswhu 4
Lqwurgxfwlrq
414 Lrq Fkdqqhov
Lrq fkdqqhov duh f|olqgulfdo/ kroorz surwhlqv wkdw uhjxodwh wkh pryhphqw ri lrqv +pdlqo| Qdn/ Nn/ Fdnn/ dqg Fo3, dfurvv qhduo| doo elrorjlfdo phpeudqhv1 Vlqfh wkhvh phpeudqhv duh rwkhuzlvh lpshuphdeoh wr fkdujhg sduwlfohv/ wkh rqo| zd| lrqv fdq furvv wkh phpeudqh lv wkurxjk wkh sruh wkdw uxqv grzq wkh orqj d{lv ri d fkdqqho1 +Wkh vwuxfwxuh ri wkh NfvD fkdqqho iurp d uhfhqw {0ud| fu|vwdoorjudsk| vwxg| ^48` lv vkrzq lq Iljxuh 4041, Wklv surshuw| kdv ehhq h{sorlwhg e| hyroxwlrq wr surgxfh pdq| ydulhg skhqrphqd qhfhvvdu| iru olih= fkdqqhov duh uhvsrqvleoh iru wkh lqlwldwlrq dqg frqwlqxdwlrq ri wkh hohfwulfdo vljqdov lq wkh qhuyrxv v|vwhp> lq wkh nlgqh|v/ oxqjv/ dqg lqwhvwlqhv/ fkdqqhov frruglqdwh fkdqjhv lq lrqlf frqfhqwudwlrq judglhqwv wkdw uhvxow lq wkh devruswlrq ru uhohdvh ri zdwhu> lq pxvfoh fhoov/ d jurxs ri fkdqqhov lv uhvsrqvleoh iru wkh wlpho| gholyhu| ri wkh Fdnn lrqv wkdw lqlwldwh d frqwudfwlrq1 Folqlfdoo|/ pdo0 ixqfwlrqlqj fkdqqhov fdxvh f|vwlf eurvlv/ fkrohud/ dqg pdq| rwkhu glvhdvhv dqg kdyh uhfhqwo| ehhq lpsolfdwhg lq vfkl}rskuhqld dqg elsrodu glvrughuv1 Ixuwkhupruh/ d odujh qxpehu ri guxjv +lqfoxglqj ydolxp dqg SFS, dfw gluhfwo| ru lqgluhfwo| rq fkdqqhov1
Wr surgxfh vxfk ydulhg dqg frpsolfdwhg skhqrphqd/ fkdqqhov dfw lq jurxsv/ rshqlqj dqg forvlqj dw wkh vdph wlph dqg ohwwlqj rqo| vshflf lrq w|shv wkurxjk
FKDSWHU 41 LQWURGXFWLRQ 5
FKDSWHU 41 LQWURGXFWLRQ 6 wkh phpeudqh +iru h{dpsoh/ vhohfwlyho| sdvvlqj idu pruh Qdn lrqv wkdq Nn lrqv,1 Ghvslwh vxfk frpsoh{ qdo uhvxowv/ lqglylgxdo fkdqqhov rqo| gr wzr wklqjv= wkh| rshq dqg forvh +fdoohg jdwlqj, dqg/ zkhq rshq/ wkh| frqgxfw lrqv1 Lw lv srvvleoh wr uhpryh d vlqjoh fkdqqho iurp wkh elrorjlfdo v|vwhp dqg vwxg| lw dv dq lvrodwhg sk|vlfdo v|vwhp1 +Wklv lv uduho| srvvleoh wr gr zlwk rwkhu remhfwv lq elrorj| dqg vwloo kdyh lqwhuhvwlqj uhvxowv/ exw iru fkdqqhov wklv lv grqh hyhu|gd| e| wkrxvdqgv ri vflhqwlvwv1, Wr gr wklv wkh lqglylgxdo fkdqqho lv sodfhg lq d skrvskrolslg phpeudqh wkdw vhshudwhv wzr edwkv ri nqrzq lrqlf frqfhqwudwlrq1 Lq wkh edwkv wkhuh pd| eh rqo| rqh vdow +QdFo/ iru h{dpsoh, ru pxowlsoh vdowv +QdFo dqg NFo/ iru h{dpsoh,1 D yrowdjh lv dssolhg wr wkh v|vwhp e| hohfwurghv lq wkh edwkv wkdw duh idu dzd| iurp wkh fkdqqho dqg wkh dprxqw ri fxuuhqw sdvvhg e| wkh fkdqqho +lq wkh irup ri lrqv, lv phdvxuhg1 Lw lv wkhvh fxuuhqw2yrowdjh uhodwlrqv wkdw pxvw eh uhfuhdwhg e| dq| wkhru| ri lrq pryhphqw wkurxjk fkdqqhov1 Rxu lqwhuhvw lq wklv wkhvlv lv wkh frqgxfwlrq ri fxuuhqw wkurxjk dq lqglylgxdo/ rshq fkdqqho> zh gr qrw frqvlghu jdwlqj1
415 Wkhrulhv ri dq Rshq Fkdqqho
FKDSWHU 41 LQWURGXFWLRQ 7 sulqflsohv dssurdfk lv dw wkh frvw ri ehlqj deoh wr uhfryhu h{shulphqwdo gdwd1
Wr ryhufrph vxfk gl!fxowlhv/ Eurzqldq g|qdplfv wuhdwv hdfk lrq dv li lw zhuh d sduwlfoh xqghujrlqj Eurzqldq prwlrq lq d suhghwhuplqhg hohfwulf hog1 Zlwk wklv vlpsolfdwlrq/ Fkxqj/ hw do1 ^45`/ xvhg pruh wkdq 4; krxuv ri FSX wlph iru 4 pl0 furvhfrqg ri uhdo wlph1 Dowkrxjk wklv lv d vljqlfdqw jdlq ryhu PG/ wkh frpsxwdwlrqdo rxwsxw ri wkh prgho lv vwloo ehorz wkh ploolvhfrqg wlph0vfdoh rq zklfk h{shulphqwdo phdvxuhphqwv duh pdgh1
Rq wkh rwkhu kdqg/ pdfurvfrslf wkhrulhv vxfk dv udwh0frqvwdqw wkhru| dqg SQS +zklfk fdq eh ghulyhg iurp Eurzqldq g|qdplfv xqghu dvvxpswlrqv ri wkh suhvhqfh ri kljk eduulhuv iru udwh0frqvwdqw prghov ^46` dqg kljk iulfwlrq iru SQS ^4:`, duh qrw qhduo| dv ghwdlohg lq wkhlu ghvfulswlrqv ri shuphdwlrq1 Krzhyhu/ wkh| gr qrw vxhu iurp wkhvh uhdo0wlph0revhuyhg olplwdwlrqv/ vlqfh wkh| rqo| frqvlghu wkh fkdqqho rq odujhu wlph vfdohv dqg diwhu vwhdg| vwdwh kdv ehhq dfklhyhg1 +Uhfhqwo| d prgho wkdw lv lqwhuphgldwh wr wkh plfurvfrslf dqg pdfurvfrslf prghov kdv ehhq sursrvhg ^5`/ exw kdv qrw |hw ehhq dgdswhg wr fkdqqhov1,
Wkh prvw vxffhvvixo pdfurvfrslf wkhru| ri fkdujh wudqvsruw wkurxjk rshq fkdqqhov lv wkh Srlvvrq0Qhuqvw0Sodqfn +SQS, wkhru| ghyhorshg e| U1V1 Hlvhqehuj/ G1S1 Fkhq/ dqg Y1 Eduflorq +uhylhzhg lq ^49`, dqg h{whqghg e| Z1 Qrqqhu ^69`1 Zlwk d vpdoo qxpehu ri dgmxvwdeoh sdudphwhuv +mxvw rqh iru wkh fdoflxp uhohdvh fkdq0 qho lq pxvfoh dqg rqh glxvlrq frh!flhqw iru hdfk lrq vshflhv ^43`,/ SQS kdv w wkh fxuuhqw2yrowdjh gdwd ri dssur{lpdwho| kdoi d gr}hq fkdqqhov ryhu d odujh udqjh ri edwk frqfhqwudwlrqv +h1j1/ 83pP wr 5P, dqg dssolhg yrowdjhv +DfpY wr DfpY, +^<` dqg ^43`,1 SQS fdq dovr h{sodlq wkh txdolwdwlyh surshuwlhv ri d odujh fodvv ri fkdq0 qhov ^69` dv zhoo dv rwkhu phdvxudeoh surshuwlhv ri fkdqqhov vxfk dv wkh dqrprorxv proh iudfwlrq hhfw +DPIH, ^6:`1
FKDSWHU 41 LQWURGXFWLRQ 8 ghqvlw| ri lrq vshflhv / wkhq
a '(E%
_S _% n
e5 &AS
_ _%
+414,
zkhuh SE% lv wkh frqfhqwudwlrq ri vshflhv dw orfdwlrq % lq wkh fkdqqho/ lv wkh hohfwurvwdwlf srwhqwldo/5 lv wkh ydohqfh ri vshflhv/(E%lv wkh glxvlrq frh!flhqw ri vshflhv/elv wkh surwrq fkdujh/& lv wkh Erow}pdqq frqvwdqw/ dqgA lv wkh devroxwh whpshudwxuh1 Lq elrorj| wklv lv fdoohg wkh Qhuqvw0Sodqfn htxdwlrq1 +Lq vhplfrqgxfwru uhvhdufk lw lv fdoohg wkh guliw0glxvlrq htxdwlrq ^65`1, Wkh Qhuqvw0Sodqfn htxdwlrqv +rqh iru hdfk lrq vshflhv, duh wkhq frxsohg zlwk wkh Srlvvrq htxdwlrq wr frpsxwh wkh hohfwurvwdwlf srwhqwldo +d1n1d1 Jdxvv*v Odz ru Pd{zhoo*v Iluvw Odz,=
_%_
"E%__%
'e[
5SE% ne^E% +415,
zkhuh "E% lv wkh glhohwulf dw orfdwlrq % dqg^E% lv wkh shupdqhqw fkdujh gxh wr wkh surwhlq wkdw pdnhv xs wkh fkdqqho1 +Wkh shupdqhqw fkdujh lv wkh nh| wr wkh SQS wkhru|= SQS glvwlqjxlvkhv glhuhqw fkdqqho w|shv e| uhtxlulqj hdfk fkdqqho w|sh wr kdyh d glhuhqw shupdqhqw fkdujh> lqglylgxdo fkdqqhov zlwklq d fkdqqho w|sh kdyh wkh vdph shupdqhqw fkdujh vlqfh wkh| duh wkh vdph surwhlq1 Wkh shupdqhqw fkdujh lv fuhdwhg e| wkh lqkhuhqw {hg fkdujh ri wkh dplqr dflgv wkdw irup wkh surwhlq1 Ehfdxvh wkh dplqr dflgv duh frghg iru e| GQD/ wkhvh fkdujhv duh d ixqgdphqwdo/ xqfkdqjlqj dvshfw ri wkh fkdqqho1,
Lq wklv wkhvlv zh gr d pdwkhpdwlfdo dqdo|vlv ri wkh SQS v|vwhp zlwk wkh jrdo ri ghulylqj irupxodv iru h{shulphqwdoo| phdvxudeoh txdqwlwlhv1
416 Rxwolqh ri Wkhvlv
FKDSWHU 41 LQWURGXFWLRQ 9 glphqvlrqdo htxdwlrqv wkdw gr qrw uhtxluh frqvwdqw furvv0vhfwlrqdo duhd1 Wklv zloo doorz xv wr frqvlghu wkh edwk2fkdqqho lqwhuidfh lq d qhz dqg krshixoo| pruh dffxudwh zd|1
Fkdswhu 5
Wkh SQS Prgho
Lq wklv fkdswhu zh vhw xs wkh htxdwlrqv xvhg wr ghvfuleh lrq wudqvsruw wkurxjk dq rshq fkdqqho1 Lq wkh iroorzlqj vhfwlrqv zh glvfxvv wkh sodfhphqw ri erxqgdu| frqglwlrqv/ ghulyh wkh htxdwlrqv/ uhpryh wkhlu sk|vlfdo xqlwv/ dqg wkhq vwdwh vrph ri wkhlu jhqhudo pdwkhpdwlfdo surshuwlhv1
514 Elj Edwk/ Vpdoo Fkdqqho
Lq wklv wkhvlv/ wkh sruh ri d fkdqqho surwhlq lv uhsuhvhqwhg e| d jhqhudol}dwlrq ri wkh xvxdo rqh0glphqvlrqdo Srlvvrq0Guliw0Glxvlrq htxdwlrqv ri vhplfrqgxfwru sk|vlfv +vhh/ iru h{dpsoh/ ^5:`/ ^65`/ ^67`,1 Wkh frqgxfwlrq sdwkzd| lq vhplfrqgxfwru wkhrulhv +exw qrw vlpxodwlrqv, lv xvxdoo| jlyhq d frqvwdqw furvv0vhfwlrqdo duhd1 Zkloh wklv lv uhdvrqdeoh iru dq lghdol}hg vhplfrqgxfwru/ lw lv sureohpdwlf hyhq iru lghdol}hg fkdqqho surwhlqv> wkhlu sruhv +wkurxjk zklfk lrqv pryh, duh vpdoo f|olqghuv +vd| fÈ lq gldphwhu, hpehgghg lq d olslg elod|hu dqg dwwdfkhg wr d edwk rq erwk hqgv wkdw lq h{shulphqwv kdv d yroxph rq wkh rughu ri pp1 Lw zrxog eh lqfruuhfw wr uhsuhvhqw wkh sduw ri wkh edwk qhdu wkh fkdqqho dv d f|olqghu zlwk furvv vhfwlrqdo duhd htxdo wr wkdw ri wkh fkdqqho*v sruh1 Wkh edwk glvshuvhv lrqv lqwr d odujh yroxph dqg kdv olwwoh uhvlvwdqfh wr fxuuhqw rz> wkrvh fuxfldo ihdwxuhv pxvw eh uhwdlqhg lq dq| prgho ri wkh
FKDSWHU 51 WKH SQS PRGHO ; edwk1
Vr krz grhv rqh dwwdfk d vpdoo fkdqqho wr d elj edwkB Pdwkhpdwlfdoo|/ wklv lv htxlydohqw wr dvnlqj zkdw nlqg ri erxqgdu| frqglwlrqv wr xvh dqg zkhuh wr dsso| wkhp1 Dw uvw jodqfh/ rqh zd| wr ghdo zlwk wklv sureohp lv wr ljqruh wkh edwk dqg dsso| vxlwdeoh erxqgdu| frqglwlrqv dw wkh prxwkv ri wkh fkdqqho1 Li wkh edwkv duh dvvxphg wr eh fkdujh qhxwudo hyhu|zkhuh dqg kdyh dq hohfwulfdo srwhqwldo lqghshq0 ghqw ri orfdwlrq/ wkhq wkh exon edwk frqfhqwudwlrqv dqg wkh dssolhg yrowdjh ehfrph erxqgdu| frqglwlrqv dw wkh hqgv ri wkh fkdqqho1 Wkh sureohp zlwk wkdw dujxphqw lv wkdw wkh edwk lv qrw fkdujh qhxwudo dw hlwkhu fkdqqho hqwudqfh1 Wkh fkdqqho surwhlq kdv d fkdujh glvwulexwlrq zklfk lv qrw }hur hyhu|zkhuh rq wkh surwhlq dqg uduho| dggv xs wr }hur1 Wkh hqwluh fkdqqho surwhlq kdv d qhw fkdujh dqg lrqv ri rssrvlwh fkdujh duh dwwudfwhg wr +dqg lrqv ri olnh fkdujh duh uhshoohg iurp, wkh uhjlrq ri wkh edwk qhdu d fkdqqho hqwudqfh1 Wklv uhvxowv lq d orfdo uhjlrq ri vsdfh fkdujh> wkdw lv/ wkh uhjlrq lv qrw fkdujh qhxwudo1 Wklv/ lq wxuq/ fuhdwhv d odujh orfdo hohfwurvwdwlf srwhqwldo1 Wkhuhiruh lw lv qrw sk|vlfdoo| uhdvrqdeoh wr dsso| wkh exon erxqgdu| frqglwlrqv wkdw dsso| idu dzd| iurp wkh fkdqqho lq wkh uhjlrqv qhdu wkh fkdqqho1
FKDSWHU 51 WKH SQS PRGHO < wkh lrqv jr iurp dq hvvhqwldoo| rqh0glphqvlrqdo vhwwlqj lqvlgh wkh fkdqqho wr d wkuhh0 glphqvlrqdo vhwwlqj lq wkh edwk/ wkhuh lv d vxgghq/ odujh gurs lq uhvlvwdqfh wr wkh lrqv* pryhphqw1 Wkhuhiruh wkhuh lv d odujh judglhqw lq erwk wkh frqfhqwudwlrqv dqg wkh srwhqwldo dqg wkh uljkw0kdqg vlgh ri wkh Qhuqvw0Sodqfn htxdwlrq zloo eh pxfk odujhu wkdq wkh ohiw0kdqg vlgh zklfk lv x{1 Wkxv/ qhdu wkh fkdqqho hqwudqfhv/ lw lv ydolg wr xvh d }hur0 x{ dssur{lpdwlrq1
Lq jhqhudo/ wkhvh erxqgdu| frqglwlrqv kdyh ehhq yhu| vxffhvvixo> gdwd iurp vhy0 hudo fkdqqhov zdv w yhu| zhoo xvlqj wkhvh erxqgdu| frqglwlrqv +iru h{dpsoh ^<`/ ^43`/ dqg ^44`,1 Wkhvh lvvxhv +hvshfldoo| wkh lpsdfw ri wkh fkdujh qhxwudolw| dvvxpswlrq, zloo eh glvfxvvhg ixuwkhu lq Vhfwlrq 718161 Dovr/ lq Vhfwlrq 71815/ zh zloo vkrz wkdw wkh erxqgdu| frqglwlrqv ghulyhg iurp wkh SQS prgho frqvlghuhg khuh duh txdqwlwdwlyho| vlplodu wr wkh exlow0lq erxqgdu| frqglwlrqv1
FKDSWHU 51 WKH SQS PRGHO 43
Iljxuh 504= Uhsuhvhqwdwlrq ri wkh ixqqho prgho ghvfulehg lq wkh pdlq wh{w1 ghulyh +doprvw, wkh vdph htxdwlrqv e| frqvlghulqj d pxfk pruh jhqhudo fdvh= zh dvvxph qrwklqj derxw wkh {hg fkdujh ri wkh surwhlq ru krz wkh lrqv hqwhu wkh edwkv/ qru gr zh dvvxph wkhuh lv dq| v|pphwu|1
515 Ghulydwlrq ri wkh Htxdwlrqv
FKDSWHU 51 WKH SQS PRGHO 44 guliw0glxvlrq htxdwlrqv +vhh/ iru h{dpsoh/ ^5:`,=
u E"E ux E '[
5E n'E +Srlvvrq htxdwlrq, +514,
aE '(E
uE n 5e&AE ux E +Qhuqvw0Sodqfn htxdwlrq, +515,
u aE ' f +frqwlqxlw| htxdwlrq, +516,
zkhuhe lv wkh surwrq fkdujh/& lv wkh Erow}pdqq frqvwdqw/ A lv wkh devroxwh whpshu0 dwxuh/
' E%c +c 5 +517,
lv wkh vsdwldo frruglqdwh/ " lv wkh glhohfwulf frh!flhqw/ ' lv wkh shupdqhqw fkdujh ri wkh fkdqqho surwhlq/ x lv wkh hohfwurvwdwlf srwhqwldo/ dqg/ iru lrq vshflhv / ( lv wkh glxvlrq frh!flhqw/ 5 lv wkh ydohqfh/ lv wkh frqfhqwudwlrq/ dqg a lv wkh x{ ghqvlw|1 Wkurxjkrxw zh dvvxph wkh Hlqvwhlq uhodwlrq ehwzhhq glxvlrq frh!flhqw dqg prelolw| +vhh/ iru h{dpsoh/ ^4;`,1
FKDSWHU 51 WKH SQS PRGHO 45
FKDSWHU 51 WKH SQS PRGHO 46 vxuidfhv lx dqgl vxfk wkdw
x Elx 'frqvwdqw +518,
dqg
El 'frqvwdqw1 +519,
Wkh rqo| dvvxpswlrqv zh pdnh lq wkh iroorzlqj duh wkdw doo ri wkhvh vxuidfhv vwduw dqg hqg rq wkh olslg elod|huv dqg wkdw wkhuh lv qr sduwlfoh ru srwhqwldo x{ dfurvv wkh elod|huv1 Li zh dovr dvvxph wkdw wkh olslg elod|hu zh duh xvlqj kdv qr vxuidfh fkdujhv/ wkhq wkhvh duh uhdvrqdeoh dvvxpswlrqv wr pdnh iru fkdqqhov1 Wkh lqfoxvlrq ri olslg vxuidfh fkdujhv lv qrw lq wkh uhdop ri wklv zrun vlqfh wkh| zrxog uhvxow lq xqhtxdo fkdujh glvwulexwlrqv lq wkh edwkv zklfk zh gr qrw wdnh lqwr dffrxqw1 +Ehfdxvh ri wkh orz uhodwlyh shuplwwlylw| ri olslg elod|huv/ zh fdq dovr h{foxgh wkh srvvlelolw| ri lqgxfhg fkdujhv lq wkh olslg1,
Zh lqgh{ wkhvh vxuidfhv e| gudzlqj dq lpdjlqdu| qxpehu olqh dorqj wkh fhqwhu ri wkh frqgxfwlrq sdwkzd| +uhihuuhg wr dv wkhl0d{lv, dqg fdoolqjlxElwkdw htxlsr0 whqwldo vxuidfh wkdw furvvhv wklv l0d{lv dw l +li lw lqwhuvhfwv pruh wkdq rqfh/ wdnh wkh vpdoohvw vxfkl, dqg vlploduo| irulEl1 Wklv lv looxvwudwhg lq Iljxuh 5051 Li zh frq0 vlghu d vpdoo qhljkerukrrg ri wkh fkdqqho/ ohwl ' f eh wkh vpdoohvwl ri wkh vxuidfhv lqvlgh wkh qhljkerukrrg dqg ghqh _ wr eh odujhvw1 Wkhq _ lv wkh ohqjwk ri wkh qhz v|vwhp zh duh frqvlghulqj1 Wkh vxuidfhv lxEldqg lEl duh wzr0glphqvlrqdo ohyho vxuidfhv dqg wkxv fdq eh sdudphwul}hg e| wzr yduldeohv zklfk zh fdoo r dqg|=
lxEl 'i$xEl(rc | ' E/%xEl(rc |c /+xEl(rc |c /5xEl(rc | mfrc |j +51:,
lEl '$El(rc | ' /%
El(rc |c /+El(rc |c /5El(rc |
FKDSWHU 51 WKH SQS PRGHO 47 Wkhvh duh fkrvhq vr wkdw doo ixqfwlrqv duh frqwlqxrxv +dqg zh ixuwkhupruh dvvxph wkhlu uvw ghulydwlyhv duh frqwlqxrxv,1 Lq rwkhu zrugv/
x E$xEl(rc | ' x E/%
xEl(rc |c /+xEl(rc |c /5xEl(rc | 'frqvwdqw +51<, dqg
E$El(rc | '/% El(rc |c /+El(rc |c /5 El(rc |
'frqvwdqw +5143,
zkhqhyhu fr dqgf|1 Dv zlwk dq| sdudphwhul}dwlrq ri d vxuidfh/ wkhuh lv dq dvvrfldwhg Mdfreldq/ zklfk zh ghqrwh
a@UxEl(rc | +5144,
iru lxEl dqg
a@UEl(rc | +5145,
iru lEl1 Zh ghqh xEl dqgEl wr eh wkh duhdv ri lxEl dqg lEl/ uhvshf0 wlyho|> wkdw lv/
xEl '
]]
a@UxEl(rc |_r_| +5146,
dqg
El '
]]
a@UEl(rc |_r_| +5147,
FKDSWHU 51 WKH SQS PRGHO 48 lv dozd|v iurpf wr1, Qh{w zh ghqh
El ' x ElxEl +5148,
dqg
SEl 'ElEl +5149,
E| wkh lqgh{lqj vfkhph/ wkhvh ixqfwlrqv duh frqwlqxrxv lq l dqg zh zloo ixuwkhu dvvxph wkh| duh lq dfc _o +wkdw lv/ wkh| kdyh d frqwlqxrxv uvw ghulydwlyh rq wkh lqwhuydoEfc _,1
Ehiruh frqwlqxlqj/ zh qhhg d ohppd1
Ohppd 514 Ohw
El ' El
]
lEls +514:,
iru vrph ixqfwlrq sE%c +c 5 zkhuh El lv wkh vxuidfh duhd ri wkh vxuidfh
l El 'i$El(rc | ' E/%El(rc |c /+El(rc |c /5El(rc | mfrc |j +514;,
Wkhq
El ' El
]]
us Y$
Yl El(rc | a@U El(rc |_r_| +514<, nEl
]]
sE$El(rc |YYla@UEl(rc |_r_|
El El2
]]
FKDSWHU 51 WKH SQS PRGHO 49
zkhuh a@U El(rc | lv wkh Mdfreldq ri wkh sdudphwhul}dwlrq ri l El/
us '
Ys Y%c
Ys Y+c
Ys Y5
c +5153,
dqg
Y$
Yl El(rc | '
Y/%
Yl El(rc |c Y/+
Yl El(rc |c Y/5
Yl El(rc |
+5154,
Ixuwkhupruh/ li
sEl El 'frqvwdqw +5155,
iru doo fl _/ wkhq
El ' El
]]
us Y$Yl El(rc | a@U El(rc |_r_| +5156,
Surri1 E| wkh glhuhqwldwlqj xqghu wkh lqwhjudo vljq/
El ' El
]] Y
Yl dsE$El(rc | a@U El(rc |o_r_| +5157, ElEl
]]
sE$El(rc | a@U El(rc |_r_|
Wkhq
Y
YldsE$El(rc | a@U El(rc |o
' us Y$Yl El(rc | a@U El(rc | nsE$El(rc |YYla@UEl(rc | +5158,
dqg wkh uvw irupxod iroorzv1 Li
FKDSWHU 51 WKH SQS PRGHO 4: wkhq
]]
sE$El(rc |YYla@UEl(rc |_r_| ElEl
]]
sE$El(rc | a@U El(rc |_r_|
' sEl El
]] Ya@U
Yl El(rc |_r_| El
El
]]
a@U El(rc |_r_|
+515:,
Vlqfh
El '
]]
a@U El(rc |_r_| +515;,
dqg wkxv
El ' ]] Ya@U
Yl El(rc |_r_|c +515<, wkh wzr lqwhjudov duh htxdo dqg wkh ohppd iroorzv1
Zh fdq qrz vwduw dyhudjlqj wkh wkuhh0glphqvlrqdo htxdwlrqv wr duulyh dw rqh0 glphqvlrqdo rqhv1
51514 Uhgxflqj wkh Qhuqvw0Sodqfn Htxdwlrqv
Wr uhgxfh wkh Qhuqvw0Sodqfn htxdwlrqv iurp wkuhh wr rqh glphqvlrqv/ zh zloo dyhudjh hdfk Qhuqvw0Sodqfn htxdwlrq ryhulEl1 Zh vwduw e| wdnlqj wkh grw surgxfw ri erwk vlghv zlwk wkh yhfwru Y$
Yl =
a Y$Yl '(
u Y$Yl n5&Aeux Y$Yl
+5163,
Qh{w ghqh
7
(El ' El
]
lEl
FKDSWHU 51 WKH SQS PRGHO 4;
.(E$El(rc | '(E$El(rc |(7 El +5165,
.xEl 'El El
]
lEl
x +5166,
Wkhq/ e| Ohppd 514/
El.
xEl ' _l_ El
]
lEl
x +5167,
' El
]]
uxYYl$ El(rc | a@UEl(rc |_r_|n8xEl+5168, '
El
]
lEl
ux Y$Yl n8xEl +5169,
zkhuh
8xEl ' El
]]
x E$El(rc |Ya@UYl El(rc |_r_| +516:, El
El2
]]
x E$El(rc | a@UEl(rc |_r_|
Wdnlqj wkh vxuidfh lqwhjudo ryhulEllq E2f/ zh jhw
]
lEl
a YYl$ ' 7(El
#]
lEl
u Y$Yl n5&AeSEl
]
lEl
uxY$ Yl
$
+516;,
n
]
lEl
.(E$El(rc |
u YYl$ n5&Aeux Y$Yl
' 7(ElEl
S
El n 5&AeSElEl
n.El +516<,
zkhuh
.El '
]
lEl
.(E$El(rc |
u Y$Yl n5&Aeux Y$Yl
+5173, 5e&A(7 ElElSEl d.
FKDSWHU 51 WKH SQS PRGHO 4< Iru wkh ohiw0kdqg vlgh ri wkh Qhuqvw0Sodqfn htxdwlrq/ ohw
a '
]
lEl
a ? +5174,
zkhuh ? lv wkh xqlw yhfwru qrupdo wr lElrulhqwhg lq wkh srvlwlyh l gluhfwlrq1 Wklv lqwhjudo lv wkh qhw x{ ri vshflhv dfurvv lEl +zlwk d srvlwlyh vljq li wkhuh lv d qhw x{ wr wkh uljkw/ rxw ri wkh fkdqqho, dqg vlqfh u a ' f wklv x{ lv lqghshqghqw ri l1 Ohwwlqj
.aEl 'a
]
lEl
a YYl$c +5175,
zh jhw wkh uhgxfhg Qhuqvw0Sodqfn htxdwlrq
a '(W
ElxEl
S
El n 5&AeSElEl
n.El.aEl +5176,
zkhuh
(W
El ' 7(ElxElEl +5177, +Wkh uhdvrq iru wklv qhz ghqlwlrq ri wkh glxvlrq frh!flhqw lv vr wkdw lq wkh hqg zh zloo rqo| kdyh rqh duhd ixqfwlrq/ qdpho| xEl1,
51515 Uhgxflqj wkh Srlvvrq Htxdwlrq
FKDSWHU 51 WKH SQS PRGHO 53 yhfwru qrupdo wr lxE1rulhqwhg rxwzdug ri wkh forvhg vxuidfh1 Li zh ghqh
7"El ' xEl
]
lxEl
" +5178,
dqg
."E$xEl(rc | '"E$xEl(rc |7"Elc +5179,
wkhq
L
"ux? '
]
lxEln{l
"ux?ElxEln {l n
]
lxEl
"ux?ElxEl +517:, ' 7"Eln {l
]
lxEln{l
ux?ElxEln {l +517;, n7"El
]
lEl
ux?ElxEl n
]
lxEln{l
."ux?ElxEln {l n
]
lxEl
."ux?ElxEl
Ohw
CxEl '
; ? =
U
lxElux
k
Y$x
Yl ?ElxEl
l
li ?ElxElY$x
Yl :f
U
lxElux
k
Y$x
Yl n?ElxEl
l
rwkhuzlvh +517<,
Wkhq
L
"ux? ' 7"Eln {l
]
lxEln{l
uxYYl$x 7"El
]
lxEl
ux Y$xYl +5183, nMxEln {lMxEl
FKDSWHU 51 WKH SQS PRGHO 54 zkhuh
MxEl '
]
lxEl
."ux?ElxEl 7"ElCxEl +5185,
+Wkh fkrlfh ri vljq lv ghwhuplqhg e| E2eb dqg zloo vrrq ehfrph luuhohydqw1, Dv iru wkh wrwdo fkdujh lqvlgh wkh vxuidfh/ lw lv
[
5
] ln{l
l
]
lxE1
_1n
] ln{l
l
]
lxE1
'_1 +5186,
Ohwwlqj
8El ' xEl
]
lxEl
SEl +5187,
dqg
^El ' xEl
]
lxEl
'c +5188,
zh kdyh wkh wrwdo fkdujh
[
5
] ln{l
l xE1SE1_1n
] ln{l
l xE1^E1_1 +5189, n[
5
] ln{l
l xE18E1_1 Wkhuhiruh zh kdyh
7"El n {lxEl n {lEln {l7"ElxElEl '
% [
5
] ln{l
l xE1SE1_1n
] ln{l
l xE1^E1_1
&
+518:,
[
5
] ln{l
FKDSWHU 51 WKH SQS PRGHO 55 H{suhvvlqj wkh ohiw0kdqg vlgh dv
7"Eln {lxEln {lEln {l7"ElxEln {lEln {l
n7"ElxEln {lEl n {l7"ElxEln {lEl +518;, n7"ElxEln {lEl7"ElxElElc
glylglqj hdfk vlgh e|{l/ ohwwlqj{l $f/ dqg glylglqj e|xEl/ zh jhw wkh uhgxfhg Srlvvrq htxdwlrq
E7"ElEl7"ElxEl
xElEl '
[
5SEl n^El n
[
58El M xEl xEl
+518<,
51516 Vxppdu|
Deryh zh ghulyhg wkh iroorzlqj uhgxfhg +rqh0glphqvlrqdo, SQS htxdwlrqv iru f %_=
E7"E%E%7"E%xE% xE%E% ' [
5SE% n^E% n[
58E% Mx E%
xE% +5193,
a '(W
E%xE%
S
E% n 5&AeSE%E%
n.E%.aE% +5194,
_a
_% ' f +5195,
zkhuh zh kdyh fkdqjhg iurp xvlqjl wr wkh pruh idploldu %1
FKDSWHU 51 WKH SQS PRGHO 56 wkuhh0glphqvlrqdo sureohp/ wkhq zh zloo qhhg vrph ixuwkhu vlpsoli|lqj dvvxpswlrqv1 Dowkrxjk zh zloo qrw suryh lw/ zh fodlp wkdw zkhq wkh ixqfwlrqv 7"E%/ (W
E%/ ^E%/ xE%/MxE%/.E%/ 8E%/ dqg.aE%duh jlyhq/ wkhq wkh v|vwhp kdv dw ohdvw rqh
vroxwlrq EE%c SE%c a iru d jlyhq vhw ri exon erxqgdu| frqglwlrqv dssolhg lq wkh edwkv dorqj wkh vxuidfhvlxEf/lxE_/lEf/ dqglE_1 +Zh fodlp wklv ehfdxvh zh kdyh d qxphulfdo vroyhu iru wklv fdvh wkdw vhhpv dozd|v wr jlyh d vroxwlrq1, Wkhvh ixqf0 wlrqv/ krzhyhu/ ghshqg rq wkh htxlsrwhqwldo dqg htxlfrqfhqwudwlrq vxuidfhv dqg wkxv duh gl!fxow wr hvwlpdwh1 Rqh zd| wr jhw durxqg wklv lv wr dvvxph wkdw wkh vkdshv ri wkh htxlsrwhqwldo dqg htxlfrqfhqwudwlrq vxuidfhv gr qrw fkdqjh pxfk xqghu glhuhqw edwk frqfhqwudwlrqv dqg dssolhg yrowdjhv1 Wkhq/ lq wkh Srlvvrq htxdwlrq/ wkh whupv ^E%nS58E%MxE%
xE% fdq eh frpelqhg lqwr d qhz hhfwlyh shupdqhqw fkdujh whup
zklfk pd| eh uhfryhuhg iru lqglylgxdo fkdqqho w|shv e| gdwd wwlqj fxuuhqw2yrowdjh fxuyhv1 Li/ ixuwkhu/ wkh vkdshv ri wkh htxlsrwhqwldo dqg htxlfrqfhqwudwlrq vxuidfhv duh dvvxphg wr eh urxjko| wkh vdph dqg wkh glxvlrq frh!flhqwv wr eh urxjko| frqvwdqw rq wkhp/ wkhq wkh whupv .E%dqg .aE% pd| eh qhjohfwhg1 Dowkrxjk zh zloo xvh
wkhvh dvvxpswlrqv lq wklv wkhvlv/ zh gr qrw dvvhuw wkh| duh qxphulfdoo| ydolg1 Lw lv lpsruwdqw wkdw wkh| eh yhulhg e| dyhudjlqj wkh qxphulfdo vroxwlrqv ri wkh ixoo wkuhh glphqvlrqdo v|vwhp1 Zh gr qrw gr vr khuh ehfdxvh lw lv qrw ihdvleoh dw wkh suhvhqw wlph1 Vlqfh/ krzhyhu/ wkh xvxdo SQS htxdwlrqv duh uhfryhuhg iru wkh fdvh zkhq lv frqvwdqw/ wklv dqdo|vlv grhv lqfoxgh rqh fdvh ri lqwhuhvw1
Zlwk wkhvh dvvxpswlrqv/ zh jhw wkh qdo uhgxfhg SQS v|vwhp iru f % _ +fdvw lq voljkwo| glhuhqw yduldeohv, wkdw zh zloo xvh lq wklv wkhvlv wr prgho wkh wudqvsruw ri lrqv wkurxjk rshq fkdqqhov=
E"E%E%"E%E%
E%E% '
[
5SE% n^E% +5196,
a '(E%E%S
E% n 5e&ASE%E%
FKDSWHU 51 WKH SQS PRGHO 57 _a
_% ' f +5198,
zkhuh zh dvvxph "E%/ (E%/ ^E%/ dqg E% duh jlyhq1 Iru wkh erxqgdulhv/ zh ghqh
Su' [ 5'n
SEf ' [ 5'3
SEf S-' [ 5'n
SE_ ' [ 5'3
SE_ +5199,
T 'EfE_ +519:,
Lq wklv irup/ wkhvh htxdwlrqv duh wkh vdph dv iru wkh ixqqho prgho xvhg lq ^69`1
516 Vfdolqj wkh V|vwhp
Dv ghvfulehg lq Vhfwlrq 61515/ wkh uvw vwhs lq vlqjxodu shuwxuedwlrq wkhru| lv wr qrqglphqvlrqdol}h +ru vfdoh, wkh v|vwhp ehlqj frqvlghuhg1 Dv lq wkdw vhfwlrq/ zh zloo xvh wloghv wr ghqrwh yduldeohv zlwk xqlwv ri phdvxuhphqw=
"E% E% E% E%
E% '[
5SE% n ^E% +519;,
a ' (E% E%S
E% n 5e&AS E% E%
+519<,
_a
_% ' f +51:3,
Su' [ 5'n
SEf ' [ 5'3
SEf S-' [ 5'n
S_' [ 5'3
FKDSWHU 51 WKH SQS PRGHO 58
T ' Ef_ +51:5,
Zh vfdoh dv iroorzv=
%'%_ ' &A
e S 'S +51:6,
"'""f"pd{ ( '((pd{ '_2 a 'a _(pd{ +51:7,
zkhuh"f lv wkh shuplwwlylw| ri ydfxxp dqg
"pd{ ' tT %
"E% "f
(pd{ ' 4@
tT %
(E%
+51:8,
' 4@
tT
% m^E%mcSuc
+51:9,
Wkh v|vwhp wkhq ehfrphv
02
E"E%E%nE% E%E%
'[
5SE% n^E% +51::,
a '(E%E%S E% n5SE%E% +51:;,
Su' [ 5'n
SEf ' [ 5'3
SEf S-' [ 5'n
SE_ ' [ 5'3
SE_ +51:<,
FKDSWHU 51 WKH SQS PRGHO 59 zkhuh f% dqg
0'
u
"pd{"f&A
e2_2 +51;4,
Iru wkh uhpdlqghu ri wklv wkhvlv zh zloo dvvxph0 1
Dv dozd|v/ wkh vfdolqj fkrvhq khuh lv qrw xqltxh1 Iru h{dpsoh/ rqh fdq vfdoh wkh srwhqwldo zlwk wkh dssolhg srwhqwldo T lqvwhdg ri &A
e 1 Wklv ehfrphv lpsruwdqw zkhq mTm &A
e 2DpY1 Wklv fkdqjh lq wkh srwhqwldo vfdolqj idfwru/ krzhyhu/ grhv qrw fkdqjh dq| ri wkh uhvxowv zh zloo ghulyh vlqfh T &A
e iru fkdqqhov1 Ixuwkhupruh/ zh duh qrw dzduh ri dq| rwkhu vfdolqjv wkdw zrxog fkdqjh wkh uhvxowv ru h{whqg wkhlu udqjh ri ydolglw|1 Khuh zh frqvlghu wkh vpdoo yrowdjhv xvxdoo| xvhg lq h{shulphqwv1
Dv iru wkh fkrlfh ri xvlqj0dv wkh shuwxuedwlrq sdudphwhu/ lw lv d qdwxudo rqh wr pdnh iru fkdqqhov vlqfh lw whqgv wr eh vpdoo iru fkdqqhov1 Lw lv dovr wkh sdudphwhu wkdw lv xvhg zkhq vlplodu htxdwlrqv iru vhplfrqgxfwruv duh h{sdqghg +vhh/ iru h{dpsoh/ ^75` dqg ^86`,1 Wkhuh duh dovr rwkhu dssurdfkhv srvvleoh1 Lq ^7<` V|jdqrz dqg yrq Nlw}lqj/ iru h{dpsoh/ xvh d frpsohwho| glhuhqw sdudphwhu1 Dowkrxjk wkh| gr qrw h{solflwo| vwdwh vr/ wkh| xvh wkh shuwxuedwlrq sdudphwhu
B' 4@ %c
SE% SE%E%
+51;5,
wr uhdfk wkh guliw olplw ri wkh SQS htxdwlrqv +wkdw lv/ zkhq frqwulexwlrqv iurp glx0 vlrq duh vpdoo,1 Lq wklv fdvh/ zklfk lv dssolfdeoh zkhqT lv odujh hqrxjk/ wkh| ghulyh vrph dssur{lpdwh fxuuhqw2yrowdjh uhodwlrqv1
517 Pdwkhpdwlfdo Dvvxpswlrqv
FKDSWHU 51 WKH SQS PRGHO 5: kdv grqh wr wkh vprrwkqhvv ri wkh ixqfwlrqv zh zloo eh xvlqj1 Lq E2 +dorqj zlwk E2ee,/ E2eD/ dqg E2DD zh ghqhg qhz/ rqh0glphqvlrqdo yhuvlrqv ri wkh glxvlrq frh!flhqwv/ glhohfwulf frh!flhqw/ dqg shupdqhqw fkdujh/ uhvshfwlyho|1 Wkhvh zhuh gh0 qhg dv dyhudjhv ryhu wkh htxlsrwhqwldo vxuidfhv1 Ehfdxvh ri wkdw dyhudjlqj wkh| duh dozd|v dw ohdvw frqwlqxrxv ixqfwlrqv/ hyhq li wkh ruljlqdo/ wkuhh0glphqvlrqdo ixqfwlrq wkh| duh dssur{lpdwlqj duh glvfrqwlqxrxv> wdnlqj wkh lqwhjudo jxdudqwhhv wkdw1 Ixu0 wkhupruh/ wkh vprrwkqhvv ri wkhvh ixqfwlrqv +wkdw lv/ krz pdq| ghulydwlyhv wkh| kdyh zlwk uhvshfw wr l/ wr xvh wkh yduldeoh zlwk zklfk wkh| zhuh ruljlqdoo| ghqhg, lv gh0 whuplqhg vroho| e| wkh vprrwkqhvv ri wkh jhrphwu| ri wkh fkdqqho dqg/ djdlq/ qrw e| wkh ruljlqdo/ wkuhh0glphqvlrqdo ixqfwlrq1 Wklv lv hvshfldoo| lpsruwdqw iru wkh glhohfwulf frh!flhqw vlqfh/ lq wkuhh glphqvlrqv/ lw lv xvxdoo| dssur{lpdwhg dv glvfrqwlqxrxv zlwk glhuhqw ydoxhv lq wkh edwkv/ surwhlq/ fkdqqho sruh/ dqg olslg dqg vxfk glvfrqwlqxlwlhv kdyh odujh lpsdfwv rq wkh hohfwulf hog1 Krzhyhu/ lq lwv qhz/ rqh0glphqvlrqdo yhuvlrq/ wklv ixqfwlrq lv dw wkh yhu| ohdvw frqwlqxrxv1 +Ehorz zh zloo lqvlvw wkdw lw pxvw kdyh d frqwlqxrxv uvw ghulydwlyh1,
Zh qrz frph wr wkh pdwkhpdwlfdo dvvxpswlrqv zh xvh wkurxjkrxw wklv wkhvlv=
(E% lv slhfhzlvh frqvwdqw iru doo vshflhv ^E% lv slhfhzlvh frqvwdqw
"E%lv lqdfco> wkdw lv/ lw kdv d frqwlqxrxv uvw ghulydwlyh +zlwk dssursuldwh rqh0vlghg ghulydwlyhv dw wkh srlqwv fdqg ,
E% lv lqdfco
FKDSWHU 51 WKH SQS PRGHO 5; pruh wkdq wkh fdvh ri frqvwdqw {hg fkdujh/ dqg wkh| fhuwdlqo| doorz d zlgh udqjh ri ehkdylru/ lqfoxglqj doo wkdw vhplfrqgxfwru glrghv fdq kdyh1
Wkh uvw wzr dvvxpswlrqv jr djdlqvw zkdw zh mxvw glvfxvvhg derxw wkh vprrwk0 qhvv ri wkhvh ixqfwlrqv1 Wkhvh dvvxpswlrqv duh/ krzhyhu/ qhfhvvdu| iru wkh pdwkh0 pdwlfv wr eh wudfwdeoh dqg wkh uhvxowv wr frph rxw lq dq| vruw ri qlfh zd|1 Wkdw kdylqj ehhq vdlg/ wkhvh dssur{lpdwlrqv duh suredeo| qrw wrr edg vlqfh wkhvh ixqf0 wlrqv +(E%dqg^E%duh uhtxluhg wr jr iurp edwk ydoxhv wr fkdqqho ydoxhv txlfno| li wkh rujlqdo/ wkuhh0glphqvlrqdo ixqfwlrqv zhuh dovr slhfhzlvh frqvwdqw1
Wkhvh dvvxpswlrqv zloo eh xvhg wkurxjkrxw wklv wkhvlv1 Zkhq rwkhu dvvxps0 wlrqv duh uhtxluhg iru d vshflf vhfwlrq ru fkdswhu wkh| zloo eh vwdwhg wkhuh1
518Uhjxodulw| ri wkh Vroxwlrqv
Lq wklv vhfwlrq zh eulh | frqvlghu wkh uhjxodulw| +vprrwkqhvv, ri wkh vroxwlrq ixqfwlrqv / ?/ dqg R1 Wkurxjkrxw wklv wkhvlv zh dvvxph wkdw ^/ (?/ dqg (R duh slhfhzlvh frqvwdqw dqg wkdw " lv 1
Wkhruhp 515 Dvvxph ^ dqg wkh( duh slhfhzlvh frqwlqxrxv ixqfwlrqv dqg "dqg
duh ixqfwlrqv rq dfco1 Wkhq lv lq dfco zlwk kdylqj mxps glvfrqwlqxlwlhv
zkhuh^ grhv1 Ixuwkhupruh/ hdfk S lv frqwlqxrxv lqdfcodqg lv hyhu|zkhuh h{fhsw
zkhuh ( dqg ^ duh glvfrqwlqxrxv1
Surri1 Zh vwduw e| qrwlqj wkdw wkh zruvw glvfrqwlqxlw| dq| ri wkh ixqfwlrqv//S / dqgS fdq kdyh lv d mxps glvfrqwlqxlw| vlqfh doo wkh rwkhu ixqfwlrqv kdyh/ dw zruvw/ d mxps glvfrqwlqxlw|1 Lw lpphgldwho| iroorzv wkdw dqg wkhS duh frqwlqxrxv rqdfco1 Ixuwkhupruh/ vlqfh " dqg duh frqwlqxrxv rq dfco/ lw iroorzv wkdw pxvw kdyh d mxps glvfrqwlqxlw| zkhuh ^ grhv dqg lv frqwlqxrxv rwkhuzlvh1 Dovr/ dw dq| srlqw % wkdw lv qrw d srlqw ri glvfrqwlqxlw| ri ( ru ^/ wkhuh lv d qhljkerukrrg lq zklfk zh fdq glhuhqwldwh wkh Qhuqvw0Sodqfn htxdwlrq iru vshflhv dqg wkhuhiruhS
h{lvwv dw% dqg wkh S
Fkdswhu 6
D Sulphu rq Vlqjxodu Shuwxuedwlrq
Wkhru|
Wkh zrun lq wklv wkhvlv xvhv d pdwkhpdwlfdo wkhru| fdoohg Vlqjxodu Shuwxuedwlrq +VS,1 Wkh sxusrvh ri wklv fkdswhu lv wr lqwurgxfh wkh uhdghu wr wkh edvlfv ri VS e| phdqv ri dq h{dpsoh1
614 Lqwurgxfwlrq
VS lv d zhoo0xvhg dqg suryhq dssur{lpdwlrq whfkqltxh/ gdwlqj wr wkh wxuq ri wkh fhqwxu| zkhq lw zdv uvw dssolhg wr xlg g|qdplfv1 Odwhu/ VS zdv dssolhg wr txdqwxp phfkdqlfv ^7` dqg vhplfrqgxfwru prgholqj +^75`/ ^86`, dqg lv vwloo xvhg wr vwxg| d zlgh udqjh ri sureohpv1 Uhihuhqfhv ^7`/ ^5;`/ dqg ^6<` duh wh{werrnv rq VS zlwk pdq| h{dpsohv ri dssolfdwlrqv1 D klvwru| ri VS lv jlyhq lq ^6;`1 Vrph fxuuhqw sdshuv xvlqj VS fdq eh irxqg dw wkh Vrflhw| iru Lqgxvwuldo dqg Dssolhg Pdwkhpdwlfv zhe vlwh ^79`1 Wkh lghd ehklqg VS lv wkdw d sureohp +xvxdoo| d glhuhqwldo htxdwlrq dqg lwv erxqgdu| frqglwlrqv, zlwk d vpdoo sdudphwhu +fdoo lw0, lv mxvw d shuwxuedwlrq ri wkh vdph sureohp zlwkrxw wkh sdudphwhu +wkdw lv/ wkh sureohp zlwk0' f, soxv vxffhvvlyh fruuhfwlrq whupv1 Wkhvh fruuhfwlrq whupv uhvxow iurp euhdnlqj wkh sureohp xs lqwr
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 63 d klhudufk| ri vxesureohpv/ zklfk lq pdq| fdvhv kdyh sk|vlfdo lqwhusuhwdwlrqv +iru dq h{dpsoh vhh ^74`,1 Zkdw lv hvshfldoo| lpsruwdqw wr wkh dyhudjh vflhqwlvw lv wkdw wklv klhudufk| ri vxesureohpv frphv iurp d v|vwhpdwlf phwkrg1 Vlqfh wkhuh lv wkhq olwwoh lqwxlwlrq +d1n1d1 jxhvvlqj, lqyroyhg/ wkhuh duh qr dfflghqwdoo| gursshg whupv dqg dqvzhuv duh frpsohwh1
Rqh ri wkh vwuhqjwkv ri VS lv wkdw ihz whupv +xvxdoo|, qhhg wr eh fdofxodwhg1 Wkh uvw fruuhfwlrq whup lv xvxdoo| 0 wlphv dq rughu 4 ixqfwlrq +d ixqfwlrq wkdw qhyhu jhwv yhu| odujh,/ wkh vhfrqg fruuhfwlrq whup xvxdoo| 02 wlphv dqrwkhu rughu 4 ixqfwlrq/ dqg vr rq1 Vlqfh 0 lv vpdoo/ hdfk vxffhvvlyh srzhu ri0 lv vpdoohu wkdq wkh suhylrxv dqg wkxv vxffhvvlyh fruuhfwlrq whupv pdnh vpdoohu dqg vpdoohu frqwulexwlrqv1 Dq h{fhoohqw dssur{lpdwlrq fdq eh uhdfkhg yhu| txlfno|/ pdq| wlphv hyhq zlwkrxw dq| fruuhfwlrq whupv> wkdw lv/ wkh vroxwlrq wr wkh xqshuwxuehg sureohp e| lwvhoi fdq eh dq dghtxdwh dssur{lpdwlrq1
Wkh shuwxuedwlrq vhulhv surgxfhg e| VS lv d jhqhudol}dwlrq ri wkh idploldu Wd|oru vhulhv1 Wkh glhuhqfh ehwzhhq wkh wzr frphv iurp wkh fkrlfh ri wkh h{sdqvlrq sdudphwhu= lq d Wd|oru vhulhv wkh h{sdqvlrq yduldeoh lv d orfdwlrq ru wlph/ zkloh lq d shuwxuedwlrq vhulhv lw lv riwhq d sdudphwhu ri wkh sureohp1 Iru h{dpsoh/ li zh h{sdqg dq dssursuldwho| vprrwk ixqfwlrq sE% lq d Wd|oru vhulhv durxqg wkh srlqw %f/ wkh uhvxowlqj vhulhv kdv wkh irup
sE% ' "
[
&'f
@&E%%f& +614,
zkhuh wkh frh!flhqwv@&duh frqvwdqwv1 Rq wkh rwkhu kdqg/ wkh shuwxuedwlrq h{sdqvlrq zlwk sdudphwhu 0 lv
sE% ' "
[
&'f
@&E%0& +615,
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 64 qhfhvvdulo| d gudzedfn, lv wkdw shuwxuedwlrq vhulhv duh uduho| frqyhujhqw1 Lqvwhdg wkh| duh dv|pswrwlf wr wkh ixqfwlrq sE%1 Wr h{sodlq wkh glhuhqfh/ frqvlghu wkh huuru diwhu n whupv lq wkh vhulhv=
-E% 'sE%
[
&'f
@&E%0& +616,
Lq rughu iru wkh vhulhv wr frqyhujh lw lv qhfhvvdu| +dowkrxjk qrw vx!flhqw, iru-E%$ f dv $ 4 iru hdfk %1 Rq wkh rwkhu kdqg/ li wkh vhulhv li dv|pswrwlf wr sE% dv 0$f/ zulwwhq
sE% "
[
&'f
@&E%0& E0 $fc +617,
wkhq/ e| ghqlwlrq/ iru hdfk wkh uhpdlqghu -E% jrhv wr f idvwhu wkdq 0 dv 0$f> wkdw lv/
*4 0<f
-E%
0 ' f E {hg +618,
Wkhq wkh uhpdlqghu-E%lv pxfk vpdoohu wkdq wkh odvw uhwdlqhg whup dv0$f/ exw lw lv qrw qhfhvvdu| iru -E% wr jr wr f dv jrhv wr 41 +Dqrwkhu zd| wr vd| lw lv wkdw iru d {hg %wkh dgglwlrq ri pruh whupv jlyhv d ehwwhu dqg ehwwhu dssur{lpdwlrq +vpdoohu huuru, iru d frqyhujhqw vhulhv/ zkloh iru dq dv|pswrwlf vhulhv/ wkh ehwwhu dssur{lpdwlrq frphv iurp wdnlqj vpdoohu dqg vpdoohu 01, Wklv vxewoh glhuhqfh kdv lpsruwdqw lpsolfdwlrqv/ krzhyhu1 Wr looxvwudwh wkdw/ frqvlghu wkh ixqfwlrq
sE% ' %ihu
0
+619,
zkhuh
ihuE+ ' s2Z
] "
+ i T
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 65 lv wkh Huuru ixqfwlrq +vhh/ iru h{dpsoh/ ^89`,1 Wkhq wkh Wd|oru h{sdqvlrq ri sE% lv
sE% ' ihu
0
[" &'f
%& +61;,
zklfk frqyhujhv iru zkhq m%m dqg lv xvhohvv zkhq m%m 1 Wkh shuwxuedwlrq h{sdqvlrq ri sE% lv
sE% %
#
i T E0s 32 Z
"
[
&'
E&3D 2&3E2&02&3
$
E0$f +61<, zklfk lv glyhujhqw +dsso| wkh udwlr whvw wr fkhfn, exw lv dv|pswrwlf wr sE% iru doo%1 +D ghulydwlrq ri wklv vhulhv h{sdqvlrq iru ihu pd| eh irxqg lq ^5;`1, Wkh srzhu ri wkh h{sdqvlrq lq0 lv qrz reylrxv= EH lv rqo| ydolg zkhq%lv vpdoo/ zklohEblv ydolg iru doo%1 Lq rwkhu zrugv/ wkh Wd|oru vhulhv lv d orfdo dssur{lpdwlrq +qhdu%' f,/ zkloh wkh shuwxuedwlrq vhulhv lv d joredo dssur{lpdwlrq +ydolg iru doo%,1 Ixuwkhupruh/ wkhvh surshuwlhv duh wuxh jhqhudoo| iru wkhvh w|shv ri vhulhv dqg wkhuhiruh wkh shuwxuedwlrq h{sdqvlrq fdq kdyh juhdw dgydqwdjhv ryhu wkh pruh wudglwlrqdo phwkrg ri Wd|oru h{sdqvlrqv1
Rqh pljkw zruu| derxw xvlqj d glyhujhqw vhulhv wr dssur{lpdwh dq|wklqj1 Wkh dqvzhu lv wkdw w|slfdoo| wkh whupv ri dq dv|pswrwlf vhulhv jhw vpdoohu iru d zkloh dqg hyhqwxdoo|/ ehfdxvh wkh vhulhv glyhujhv/ ehfrph odujhu dqg odujhu1 Mxvw olnh wkh uvw ihz whupv lq d frqyhujhqw vhulhv duh d jrrg dssur{lpdwlrq/ wkrvh whupv wkdw duh vwloo jhwwlqj vpdoohu duh d jrrg dssur{lpdwlrq wr wkh ixqfwlrq1 Xqolnh d frqyhujhqw vhulhv/ krzhyhu/ wkhuh lv d olplw wr wkh dffxudf| ri wkh dssur{lpdwlrq +iru d jlyhq 0, vlqfh diwhu d zkloh dgglqj pruh whupv lq wkh dv|pswrwlf vhulhv pdnhv wkh huuru zruvh1 +Dq dojrulwkp iru rswlpdo wuxqfdwlrq ri dv|pswrwlf vhulhv lv glvfxvvhg lq ^7`1,
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 66
615 Hq}|ph Nlqhwlfv dv dq H{dpsoh
61514 Vhwwlqj Xs wkh Sureohp
Zh xvh wkh Plfkdholv0Phqwrq wkhru| ri hq}|ph nlqhwlfv wr looxvwudwh wkh edvlf phwkrgv ri VS1 +Wkh iroorzlqj pdwkhpdwlfdo glvfxvvlrq lv d prglhg yhuvlrq ri zkdw dsshduv lq ^6<`1 D ghwdlohg h{srvlwlrq ri Plfkdholv0Phqwrq wkhru| iurp wkh fkhplvwu| srlqw ri ylhz pd| eh irxqg lq ^7;`1, Zh frqvlghu d fkhplfdo uhdfwlrq lqlwldwhg dw wlph }hur wkdw frqyhuwv vxevwudwh 7 lqwr surgxfw zlwk d vlqjoh hq}|ph.=
7n. &
&3
7. &2
$ n. +6143,
zkhuh7.lv dq lqwhuphgldwh vxevwudwh2hq}|ph frpsoh{ dqg zkhuh wkh udwh frqvwdqwv
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 67 Wkh htxdwlrqv jryhuqlqj wklv uhdfwlrq duh
_r
_| '&ren &3S +6144, _e
_| '& ren
&3n &2S +6145, _S
_|' &re
&3n &2S +6146, _R
_|' &2S +6147, Wkhvh duh ghulyhg e| frqvlghulqj wkh irupdwlrq dqg ghvwuxfwlrq ri hdfk vshflhv1 Iru h{dpsoh/ wkh udwh ri irupdwlrq ri 7. lv &re zkloh wkh udwh ri euhdngrzq ri 7. lv
&3n &2S1 Wkh lqlwldo frqglwlrqv/ zklfk uhsuhvhqw wkh vrxufh ri hqhuj| dqg pdwwhu iru wkh htxdwlrqv/ duh
rEf ' rf :f eEf ' ef :f +6148, +rf dqgef duh wkh nqrzq lqlwldo frqfhqwudwlrqv,
SEf ' REf ' f +6149, +l1h1/ ehiruh wkh uhdfwlrq wkhuh lv qr surgxfw ru frpsoh{,1
Wkh v|vwhp fdq eh vlpsolhg e| qrwlqj wkdw _e _|n
_S
_| ' f +614:,
dqg
_r _| n
_S _| n
_R
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 68 Wkhvh/ uhvshfwlyho|/ lpso| wkdw
e|' efS| +614<,
dqg
R|' rfr|S| +6153,
Xvlqj wkhvh h{suhvvlrqv iru e dqgR/ zh jhw wkh qdo +qrqolqhdu, v|vwhp _r
_| '&efrn
&rn &3S +6154, _S
_| ' &ef r
&rn &3n &2S +6155,
zlwk erxqgdu| frqglwlrqv
rEf ' rf SEf ' f +6156,
Lw lv wkhvh htxdwlrqv zh zloo dwwhpsw wr vroyh1
61515 Vfdolqj wkh V|vwhp
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 69 Khuh zh vfdoh e| vhwwlqj
|' &ef| rE| ' r fr
| &ef
SE| ' e fS
| &ef
+6157,
Wkh yduldeohv|/r/ dqgS+zlwkrxw wloghv, duh qrz qrqglphqvlrqdo +wkdw lv/ lqghshqghqw ri xqlwv ri phdvxuhphqw,1 Wr vhh zk| wklv vfdolqj lv xvhg/ frqvlghu wkh wzr qdwxudo frqfhqwudwlrq vl}hv= wkh frqfhqwudwlrq ri wkh vxevwudwh7 dqg wkh frqfhqwudwlrq ri wkh hq}|ph.1 Vlqfh wkhuh fdqqrw eh pruh frpsoh{ wkdq hq}|ph/ lw wkhuhiruh pdnhv vhqvh wr vfdoh wkh frpsoh{ frqfhqwudwlrq e| wkh nqrzq ehjlqqlqj hq}|ph frqfhqwudwlrq1 Vlploduo|/ lw lv qdwxudo wr vfdoh wkh vxevwudwh frqfhqwudwlrq e| lwv vwduwlqj ydoxh1 Wkdw ohdyhv wkh txhvwlrq ri krz wr vfdoh wkh wlph yduldeoh1 Li zh xvh wkh iroorzlqj lqwhuphgldwh vfdolqj
|'|vfdoh| rE| ' rfr
| |vfdoh
SE| ' efS
| |vfdoh
c +6158,
zh jhw
rf|vfdoh_r
_| '& efrfr n &ef rf
#
rn &3 &rf
$
S +6159,
ef|vfdoh_S
_| ' &ef rfr& ef rf
#
rn&3n &2 &rf
$
S +615:,
Wkhuhiruh/ ghqlqj
|vfdoh ' &ef +615;,
fohdqv xs wkh htxdwlrqv qlfho|1 +Lw vkrxog eh qrwhg wkdw rwkhu vfdolqjv duh srvvleoh1 Lq ^78`/ Vhjho dqg Vohpurg lqwurgxfh d vfdolqj zklfk uhvxowv lq wkh vpdoo sdudphwhu
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 6: zklfk kdv wkh dgydqwdjh ri ehlqj vpdoo zkhq 0 lv vpdoo dqg zkhq V lv odujh zloo wkhuhiruh eh ydolg iru d odujhu udqjh ri sdudphwhuv wkdq wkh vfdolqj zh xvh khuh1, Lq rughu wkdw rxu qhz vfdohg v|vwhp ri htxdwlrqv orrnv dv vlpsoh dv srvvleoh/ zh jurxs vhyhudo yduldeoh lqwr qrqglphqwlrqdo sdudphwhuv=
0' efrf b' &2
&rf V'
&3n &2
&rf ' g
rf +6163,
zkhuh g lv wkh Plfkdholv frqvwdqw1 Wkh v|vwhp ri htxdwlrqv wkhq ehfrphv _r
_| 'rn ErnVbS +6164, 0_S
_| 'rErnVS +6165, zlwk erxqgdu| frqglwlrqv
rEf ' SEf ' f +6166,
Lq prvw hq}|ph uhdfwlrqv wkh lqlwldo hq}|ph frqfhqwudwlrq lv pxfk ohvv wkdq wkh lqlwldo vxevwudwh frqfhqwudwlrq/ ru/ pdwkhpdwlfdoo|/ wkdw 0 1 Wklv zloo eh rxu vpdoo sdudphwhu1
61516 Rxwhu dqg Lqqhu Vroxwlrqv
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 6; wr wklv wrzdugv wkh hqg ri wkh h{dpsoh1, Iru wklv sureohp zh zulwh/
rE| ' rrxwE| n7lqE +6167, SE| 'SrxwE| nlqE +6168,
zkhuh ' |
01 + lv fdoohg d vwuhwfkhg yduldeoh1 Ehfdxvh 0 lv vpdoo/ ehfrphv odujh yhu| txlfno| dv | lqfuhdvhv iurp f dqg wkxv lw lv d jrrg yduldeoh wr h{dplqh zkdw kdsshqv zkhq | lv forvh wr f1, Vxevwlwxwlqj wkhvh lqwrE dqgE2 zh jhw
_rrxw _| n
0
_7lq _
' rrxwE|7lqE n ErrxwE| n7lqE ESrxwE| nlqE +6169, n EVb ESrxwE| nlqE
' rrxwE|7lqE nrrxwE|SrxwE| n7lqESrxwE| nrrxwE|lqE+616:, n7lqElqE n EVbSrxwE| n EVblqE
0_Srxw _| n
_lq _
' rrxwE| n7lqEVESrxwE| nlqE +616;, ErrxwE| n7lqE ESrxwE| nlqE
' rrxwE| n7lqEVSrxwE| nVlqErrxwE|SrxwE| +616<, 7lqESrxwE|rrxwE|lqE7lqElqE
Ehfdxvh wkh rxwhu vroxwlrqv duh wkh vroxwlrqv wr wkh v|vwhp zkhq | lv dzd| iurp f/ wkh| pxvw vdwlvi| wkh ruljlqdo v|vwhp ri htxdwlrqv> wkdw lv/
_rrxw
_| 'rrxwn ErrxwnVbSrxw +6173, 0_Srxw
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 6< Wkh lqqhu vroxwlrqv duh vhw wr vdwlvi| wkh uhvw=
0
_7lqE
_ ' 7lqE nSE07lqE n ErrxwE0 nVblqE +6175, n7lqElqE
_lqE
_ '7lqESE07lqEErrxwE0 nVlqE7lqElqE +6176, Wkh qh{w vwhs lv wr vwduw dssur{lpdwlqj erwk wkh rxwhu dqg lqqhu vroxwlrqv1 Wklv lv xvxdoo| grqh e| h{sdqglqj doo wkh ixqfwlrqv lq srzhuv ri 0=
rrxwE| ' rEfE| n0rEE| n02rE2E| n +6177, SrxwE| ' SEfE| n0SEE| n02SE2E| n +6178, 7lqE ' 7EfE n07EE n027E2E n +6179, lqE ' EfE n0EE n02E2E n +617:,
Wklv h{suhvvhv wkh ixqfwlrqv dv wkh vroxwlrq wr wkh xqshuwxuehg sureohp +wkrvh whupv zlwk vxshuvfulsw Ef, soxv fruuhfwlrq whupv1 Vxevwlwxwlqj wkhvh lqwrEefEe/ pxowlso|lqj wkh vhulhv/ dqg htxdwlqj doo whupv pxowlsolhg e| wkh vdph srzhu ri 0/ zh jhw d klhudufk| ri v|vwhpv=
uvw ohyho _rEf
_| ' rEf n
rEfnVbSEf +617;, f ' rEfrEfnVSEf +617<, _7Ef
_ ' f +6183,
_Ef
_ ' 7EfSEfEf7Ef
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 73 vhfrqg ohyho
_rE
_| ' rEnSEfrEn
rEfnVbSE +6185, _SEf
_| ' rESEfrE
rEnVSE +6186, _7E
_ ' 7EfnSEfEf7Efn
rEfEf nVbEfn7EfEf +6187, _E
_ ' 7ESEfEf7E
_SEf
_| Ef nSEEf
7Ef +6188, rEfEf nVE_rEf
_| EfnrEEf nV
Ef 7EfE7EEf
dqg vr rq1 Iru wkh erxqgdu| frqglwlrqv zh uhtxluh wkdw
rEf 'rEfEf n7EfEf SEf 'SEfEf nEfEf +6189,
f ' rE&Ef n7E&Ef f ' SE&Ef nE&Ef E& +618:,
Wkhvh pd| vhhp gdxqwlqj dw uvw/ exw wkh| zloo uhgxfh frqvlghudeo|1 Iurp wkh uvw wzr htxdwlrqv/ zh jhw
SEf ' rEf
rEfnV +618;,
_rEf
_| '
brEf
rEfnV +618<, Wkh odvw rqh fdq eh vroyhg lpsolflwo|=
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 74 Dovr/ _7Ef
_ ' fdorqj zlwk wkh idfw wkdw lqqhu vroxwlrqv pxvw jr wrf dv $ 4 jlyhv
7Ef f +6194,
Wkh erxqgdu| frqglwlrq iru r uhtxluhv wkdw
rEfEf n7EfEf 'rEf +6195,
Wkxv
rEfEf ' +6196,
dqg zh kdyh
rEfE| nV*?rEfE|' b| +6197,
Dovr/ qrz
_Ef
_ 'E nVEf +6198,
dqg wkxv
EfE 'ki T dE nVo +6199,
zkhuh k lv d frqvwdqw ri lqwhjudwlrq wr eh ghwhuplqhg e| wkh erxqgdu| frqglwlrq
f 'SEf 'SEfEf nEfEf '
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 75 Wkxv
EfE '
nVi T dE nVo +619;, Qrwlfh wkdwEfjrhv wrfyhu| idvw vr wkdw dq| frqwulexwlrq riEfwr wkh vroxwlrqE| lv qhdu | ' f1 Wkh htxdwlrqv dovr vkrz wkdw gxulqj wkh lqlwldo vwdjhv ri wkh uhdfwlrq/ wkh frpsoh{ frqfhqwudwlrq lqfuhdvhv h{srqhqwldoo|/ zkloh wkh vxevwudwh frqfhqwudwlrq ydulhv pxfk ohvv txlfno| +vlqfh lwv lqqhu vroxwlrq 7Ef wxuqhg rxw wr eh lghqwlfdoo| f1, Kdylqj dvvxphg wkdw wkhuh zdv pxfk pruh vxevwudwh wkdq hq}|ph/ wklv pdnhv vhqvh1 Zh kdyh qrz vroyhg iru doo wkh xqnqrzq whupv lq wkh uvw ohyho ri wkh klhudufk|1 Wkh qh{w vwhs lv wr wdnh wkh uvw0ohyho vroxwlrqv/ vxevwlwxwh wkhp lqwr wkh vhfrqg0ohyho htxdwlrqv/ vroyh iru wkh vhfrqg0ohyho vroxwlrqv/ dqg frqwlqxh wr wkh wklug ohyho1 Zh gr qrw vkrz wklv khuh vlqfh wklv lv vwudljkw0iruzdug dqg zrxog qrw rhu dq| pruh lqvljkw lqwr wkh lghdv ehklqg VS1
Ehiruh frqwlqxlqj zlwk wkh h{dpsoh/ zh jlyh d vkruw glvfxvvlrq ri wkh lqqhu vroxwlrqv +dovr fdoohg erxqgdu| od|huv,1 Dw wkh ehjlqqlqj ri wkh vhfwlrq zh vdlg wkdw wkh lqqhu vroxwlrqv duh wkhuh ehfdxvh wkh rxwhu vroxwlrqv fdqqrw phhw wkh erxqgdu| frqglwlrqv ri wkh sureohp1 Wkh uhdvrq iru wkdw lv zkhq 0 lv vhw wrflq wkh uvw ohyho ri wkh klhudufk| ri htxdwlrqv/ wkh whup _Srxw
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 76
0 0.2 0.4 0.6 0.8
1 2 3 4 5
t
Iljxuh 604= Frqfhqwudwlrq ri frpsoh{ yv1 wlph irurf ' f32 dqgef ' f3 zlwk
& ' fS3r3/ &3 ' f2r3/ dqg &2 ' f2r31 Ehfdxvh wkh udwh frqvwdqw &2 lv dq rughu ri pdjqlwxgh vpdoohu wkdq lq Iljxuh 605/ wkh frpsoh{ glvvrfldwhv pxfk pruh vorzo|1 Lq wklv fdvh wkh khxulvwlf dssur{lpdwlrq _S
_| ' flv ydolg1
vxuylyhg zkhq 0 ' f dqg vr rEf frxog phhw wkh r erxqgdu| frqglwlrq1 Wkhuh zdv wkhq qr qhhg iru dq lqqhu vroxwlrq/ dv zdv yhulhg zkhq zh irxqg wkdw 7Ef f1
61517 Wkh Uhvxowv
Wr jlyh d olwwoh dyru ri wkh ydolglw| ri wkhvh uhvxowv/ frqvlghu wkh Iljxuhv 604 dqg 6051 Wkh| vkrz wkh judskv ri frpsoh{ frqfhqwudwlrq +zklfk lv gluhfwo| sursruwlrqdo wr wkh udwh ri surgxfw surgxfwlrq, dv d ixqfwlrq ri wlph iru
rf ' f32 ef ' f3 +619<,
& ' fS3r3 &3 ' f2r3 &2 '
; ? =
f2r3 Iljxuh 604
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 77
0 0.2 0.4 0.6 0.8
1 2 t 3 4 5
Iljxuh 605= Frqfhqwudwlrq ri frpsoh{ yv1 wlph iru rf ' f32 dqg ef ' f3 zlwk & ' fS3r3/ &3 ' f2r3/ dqg &2 ' fr31 Qrz wkh uhdfwlrq zlwk udwh frqvwdqw &2 lv qr orqjhu udwh0olplwlqj dqg wkh khxulvwlf dssur{lpdwlrq _S
_| ' f lv qr orqjhu ydolg1
wkhuh lv d erwwohqhfn lq wkh surfhvv1 Zkhq wkh frpsoh{ glvvrfldwhv pruh txlfno| wkhuh lv ohvv ri d erwwohqhfn dqg S vwloo txlfno| uhdfkhv d pd{lpxp/ exw lw lv qrw dv odujh/ dqg lw uhwxuqv wr f pxfk pruh txlfno|1 Wkh judskv dovr qlfho| vkrz wkh lqqhu dqg rxwhu vroxwlrqv dw zrun1 Wkh lqqhu vroxwlrq +d1n1d1/ od|hu ixqfwlrq ru erxqgdu| od|hu, lv wkh vkdus lqfuhdvhv iurp f wr wkh pd{lpxp qhdu | ' f dqg wkh rxwhu vroxwlrq lv wkh sduw ri wkh judsk wr wkh uljkw ri wkh pd{lpxp1
Wr frqfoxgh wklv h{dpsoh/ zh eulh | glvfxvv wkh elrfkhplvwu| dssurdfk wklv sureohp1 Dv dujxhg lq ^7;`/ elrfkhplvwv dvvxph d vwhdg| vwdwh h{lvwv vxfk wkdw wkh frqfhqwudwlrqv ri lqwhuphgldwhv vwd| wkh vdph zkloh wkh frqfhqwudwlrqv ri wkh vwduwlqj pdwhuldov fkdqjh> wkdw lv/ wkh| dvvxph
_S
_| ' f +61:4,
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 78 uhdfwlrq ghvfulehg e| udwh frqvwdqw &2 lv wkh udwh0olplwlqj vwhs lq wkh surfhvv1 Zkhq lw lv qrw/ lw lv srvvleoh iruSwr qhyhu dfklhyh d vwhdg| vwdwh dqg wkh khxulvwlf dujxphqw euhdnv grzq +frpsduh Iljxuhv 604 dqg 605,1
Wkh dgydqwdjhv ri d v|vwhpdwlf pdwkhpdwlfdo dqdo|vlv ryhu dq| khxulvwlf dujx0 phqw/ qr pdwwhu krz zlvh/ vkrxog eh fohdu1 Wklv lv qrw wr vd| wkdw khxulvwlf dujxphqwv duh qrw ri lpsruwdqfh1 Wkh| prwlydwh wkh VS dqdo|vlv dqg lqglfdwh zkdw yduldeohv dqg frqglwlrqv duh lpsruwdqw1 Ixuwkhupruh/ wkh| vkrz zkdw uhvxowv wkh dqdo|vlv lv h{shfwhg wr jlyh dqg duh lpsruwdqw iru frppxqlfdwlqj zlwk suhylrxv frqwulexwruv wr wkh hog/ sduwlfxoduo| h{shulphqwdo elrorjlvwv1
616 Frqfoxglqj Wkrxjkwv rq VS
Wklv glvfxvvlrq zdv phdqw wr looxvwudwh wkh srzhu ri VS= ehfdxvh VS vroyhv d sureohp yhu| forvh wr wkh ruljlqdo/ dw hyhq wkh uvw ohyho ri wkh dssur{lpdwlrq wkh lpsruwdqw ihdwxuhv duh douhdg| suhvhqw1 Ixuwkhupruh/ wkhlu irupxodwlrqv duh uhodwlyho| vlpsoh1 Lw lv lpsruwdqw wr qrwh wkdw wkhvh duh surshuwlhv ri VS/ dqg gr qrw uhvxow iurp wkh fkrlfh ri h{dpsoh1 Wkh htxdwlrqv lq wklv h{dpsoh duh qrqwulyldo> wkh| duh qrqolqhdu dqg wkhuh duh qr qhdw irupxodwlrqv iru wkh ixqfwlrqv r dqgS1 Lq wkhvh uhvshfwv wkh| duh yhu| pxfk olnh wkh SQS htxdwlrqv vwxglhg lq wklv wkhvlv1
VS/ dowkrxjk d srzhuixo phwkrg/ frphv zlwk vrph fdyhdwv1 Wkh uvw ri wkh wkuhh prvw lpsruwdqw lv wkdw zkloh VS jlyhv h{fhoohqw dssur{lpdwlrqv wr ixqfwlrqv +vxfk dvSderyh,/ lw vrphwlphv grhv qrw jlyh dffxudwh dssur{lpdwlrqv wr wkhghulydwlyh
ri wkh ixqfwlrq> lq vrph sureohpv wkh dssur{lpdwlrq wr wkh ixqfwlrq lqwhuvhfwv wkh dfwxdo ixqfwlrq pdq| wlphv dqg wkxv wkh ghulydwlyhv dw prvw srlqwv pd| qrw eh forvh wr wkrvh ri wkh dfwxdo ixqfwlrq1 Wkhuhiruh/ zkhq ghulydwlyhv duh wkh remhfwv ri lqwhuhvw/ pruh dqdo|vlv lv qhfhvvdu| wr hqvxuh wkdw lqirupdwlrq derxw wkhp lv dffxudwh1
FKDSWHU 61 D SULPHU RQ VLQJXODU SHUWXUEDWLRQ WKHRU\ 79 lq htxdwlrqv Eee Ee., frqvwlwxwh d jrrg dssur{lpdwlrq1 Iru h{dpsoh/ dv looxvwudwhg lq Iljxuh :1: ri ^7`/ lqfuhdvlqj wkh qxpehu ri whupv +lq wkdw sduwlfxodu fdvh iurp wzr wr irxu, fdq lqfuhdvh wkh udqjh ri ydolglw| ri wkh h{sdqvlrq dq rughu ri pdjqlwxgh1 Wklv lv rqh uhdvrq zk| rqh pxvw dozd|v frpsduh wkh VS dssur{lpdwlrq wr wkh qxphulfdoo| fdofxodwhg vroxwlrq ri wkh sureohp1
Odvwo|/ iru pdq| sureohpv lw lv gl!fxow wr nqrz iru zkdw udqjh ri sdudphwhuv wkh dssur{lpdwlrq lv ydolg1 Iru h{dpsoh/ lq wkh zrun lq wklv wkhvlv/ zh zloo qg wkdw zkhq wkh edwk frqfhqwudwlrqv ehfrph wrr vpdoo/ wkh VS dssur{lpdwlrq lv qr orqjhu forvh wr wkh qxphulfdo vroxwlrq1 Wkh sdudphwhu udqjh iru zklfk dq dssur{lpdwlrq lv ydolg lv d ixqfwlrq erwk ri wkh sureohp ehlqj vwxglhg dqg wkh fkrlfh ri qrqglphqvlrq0 dol}dwlrq dqg pxvw eh hydoxdwhg rq d fdvh0e|0fdvh edvlv/ xvxdoo| e| frpsdulqj wkh dssur{lpdwlrq zlwk wkh qxphulfdo vroxwlrq ri wkh sureohp1
Fkdswhu 7
Vlqjoh Vdow Fdvh
Lq wklv fkdswhu dqg wkh qh{w zh ghvfuleh wkh vlqjxodu shuwxuedwlrq h{sdqvlrq ri wkh prgho ghulyhg lq Fkdswhu 51 Zh frqvlghu wkh fdvhv ri vlqjoh dqg pxowlsoh vdowv lq wkh edwkv vhshudwho| ehfdxvh wkh odwwhu fdvh lv pruh gl!fxow dqg |lhogv ohvv suhflvh uhvxowv1
Wkh vlqjoh vdow fdvh lv frqvlghuhg lq wklv fkdswhu1 E| vlqjoh vdow zh phdq wkdw wkh edwkv rqo| frqwdlq/ iru h{dpsoh/ QdFo ru NFo exw qrw d pl{wxuh ri wkh wzr1 Wkdw lv wr vd|/ wkh edwkv duh hohfwurqhxwudo zlwk wkh frqfhqwudwlrq ri fdwlrqv +iru h{dpsoh/ Qdn lq d QdFo vroxwlrq, htxdo wr wkh frqfhqwudwlrq ri dqlrq +iru h{dpsoh/ Fo3 lq d QdFo vroxwlrq, hyhu|zkhuh lq wkh edwk/ exw qrw lq wkh fkdqqho lwvhoi1 Ixuwkhupruh/ wkurxjkrxw wklv fkdswhu +dqg wkh qh{w, zh rqo| frqvlghu wkh fdvh ri prqrydohqw lrq vshflhv +iru h{dpsoh/ Qdn/ Nn/ dqg Fo3/ exw qrw Fd2n,1 Lq wklv fdvh/ wkh wudqvsruw htxdwlrqv ehfrph
02E"
%%n"% %
'?R^ +714,
(a?
? '?%?% +715,
FKDSWHU 71 VLQJOH VDOW FDVH 7;
aR
(R 'R%R% +716,
+Khuh zh xvh wkh qrwdwlrq
s% 's ' _s
_% +717,
ehfdxvh odwhu zh zloo xvh vxshuvfulswv wr lqgh{ wkh h{sdqvlrqv dqg wkxv wklv qrwdwlrq lv pruh frqyhqlhqw1, Iru wkh erxqgdu| frqglwlrqv zh kdyh
Su '?Ef 'REf S-'?E 'RE +718,
T 'EfE +719,
FKDSWHU 71 VLQJOH VDOW FDVH 7< wkhlu surshuwlhv/ vwxglhg xqghu yrowdjh fodps frqglwlrqv dffrxqw iru doo wkh sk|vlr0 orjlfdo surshuwlhv ri qhuyh ehuv dqg vnhohwdo pxvfoh ehuv xqghu QRQyrowdjh fodps frqglwlrqv1 Zkloh wklv lv fhuwdlqo| d suryhq fdvh iru N dqg Qd fkdqqhov/ rqh pljkw dujxh wkdw lw kdv qrw ehhq suryhq iru fdoflxp fkdqqhov ehfdxvh ri wkh sureohpv mxvw phqwlrqhg lq frqwuroolqj ru nqrzlqj orfdo frqfhqwudwlrqv1 Zkhwkhu wklv odsvh lq uljru kdv dq| sudfwlfdo vljqlfdqfh/ hlwkhu sk|vlrorjlfdo ru elrsk|vlfdo +ru pdwkhpdwlfdo, lv qrw nqrzq1
714 VS H{sdqvlrq rq dq Lqwhuydo zlwk Frqvwdqw
Shupdphqw Fkdujh
Zh uvw frqvlghu wkh vxesureohp ri dq h{sdqvlrq rq wkh lqwhuydo d@c Ko1 Wkh uhvxowv zloo eh wkh edvlf exloglqj eorfnv iru odwhu vhfwlrqv1
Lq wklv vhfwlrq zh zloo dvvxph wkdw wkh shupdqhqw fkdujh ^ dqg wkh glxvlrq frh!flhqwv(?dqg(R duh lghqwlfdoo| frqvwdqw1 Wkdw lv/ zh frqvlghu rqh ri wkh lqwhudov ri dfco rq zklfk ^/ (?/ dqg(R duh frqvwdqw +iru h{dpsoh/ E%c %2 lq Iljxuh 706 rq sdjh 9;,1 Ixuwkhupruh/ zh dvvljq duelwudu| erxqgdu| frqglwlrqv wr wkh ixqfwlrqv / ?/ dqgR=
sE@ 'qucs sEK ' q-cs Es 'c ?c R +71:,
Wklv qrwdwlrq lv vkruwkdqg wr phdq
E@ 'quc EK 'q-c +71;,
FKDSWHU 71 VLQJOH VDOW FDVH 83
?E@ 'quc? ?EK 'q-c? +7143,
Wr vwduw zh zloo gr d pdmru fkdqjh ri yduldeohv1 Wkh uhdvrq iru wklv lv wkdw/ ghshqglqj rq wkh vljq ri wkh shupdqhqw fkdujh^/ zklfk lrqv duh wkh frxqwhu0lrqv dqg zklfk duh wkh fr0lrqv fkdqjhv1 Zlwk wklv fkdqjh ri yduldeohv/ zh zloo rqo| kdyh wr gr wkh sureohp rqfh1 Rwkhuzlvh/ zh zrxog kdyh wr gr rxu dqdo|vlv wzlfh/ rqfh iru srvlwlyh {hg fkdujh dqg rqfh iru qhjdwlyh1 Li wkhuh lv rqo| rqh uhjlrq ri shupdqhqw fkdujh/ wkhq wklv lv htxlydohqw wr grlqj wkh sureohp rqfh iru fdwlrq fkdqqhov +lq zklfk wkh {hg fkdujh lv h{shfwhg wr eh suhgrplqdqwo| qhjdwlyh/ ehfdxvh wkh shuphdwlqj lrqv duh suhgrplqdqwo| srvlwlyh/ dqg duh ri frxuvh wkh frxqwhu0lrqv,/ dqg rqfh iru dqlrq fkdqqhov +lq zklfk wkh {hg fkdujh lv h{shfwhg wr eh suhgrplqdqwo| srvlwlyh/ ehfdxvh wkh shuphdwlqj lrqv duh suhgrplqdqwo| qhjdwlyh/ dqg duh wkh frxqwhu0lrqv,1 Iru wklv sxusrvh zh ghqh
E% '
; ? =
?E% m^m li ^ :f
RE% m^m li ^ f 5 '
; ? =
li ^ :f
li ^f +7144,
a '
; ? =
a? li ^ :f
aR li ^f ( '
; ? =
(? li ^ :f
(R li ^ f +7145,
qu*-c '
; ? =
qu*-c? li ^ :f
qu*-cR li ^f +7146,
E% '
; ? =
RE% li ^ :f
?E% li ^f 5 '
; ? =
li ^ :f
FKDSWHU 71 VLQJOH VDOW FDVH 84
a '
; ? =
aR li ^ :f
a? li ^f ( '
; ? =
(R li ^ :f
(? li ^f +7148,
qu*-c '
; ? =
qu*-cR li ^ :f
qu*-c? li ^f +7149, Lqwxlwlyho|/dqg wkh yduldeohv zlwk wkdw vxevfulsw uhihu wr wkh fr0lrqv +wkrvh zlwk wkh vdph vljq dv ^,1 Wkh yduldeohv zlwk wkh vxevfulsw uhihu wr wkh frxqwhu0lrqv/ zkloh wkh ixqfwlrq lwvhoi lv wkh glhuhqfh ehwzhhq wkh shupdqhqw fkdujh frqfhqwudwlrq dqg wkh frxqwhu0lrq frqfhqwudwlrq1 Zh h{shfw wkh fr0lrqv wr eh suhvhqw lq pxfk vpdoohu frqfhqwudwlrq wkdq wkh frxqwhu0lrqv1 Wkh| zloo eh wkh plqrulw| fduulhuv +lq wkh odqjxdjh ri vhplfrqgxfwruv, ehfdxvh prvw ri wkh lrqv zloo kdyh wkh rssrvlwh fkdujh iurp wkh {hg fkdujh ri wkh fkdqqho zdoo1 Wkh {hg fkdujh ri wkh fkdqqho zdoo zloo eh edodqfhg dssur{lpdwho| e| wkh preloh fkdujh> rwkhuzlvh d yhu| odujh hohfwulfdo srwhqwldo zloo ghyhors1 Wr sxw lw dqrwkhu zd|/ lq wkh wlph ghshqghqw jhqhudol}dwlrq ri wkh sureohp zh duh frqvlghulqj/ preloh lrqv zloo rz wr gudpdwlfdoo| uhgxfh vxfk d srwhqwldo1 Urxjko| vshdnlqj rqh fdq h{shfw rqo| d vpdoo ghyldwlrq +d ihz shufhqw, iurp hohfwurqhxwudolw| +wkdw lv/ htxdolw| ri wkh vxp ri preloh dqg {hg fkdujhv, dqg rqo| d voljkwo| odujhu ghyldwlrq ehwzhhq wkh frqfhqwudwlrq ri frxqwhu lrqv dqg {hg fkdujh lq uhjlrqv dzd| iurp wkh erxqgdulhv1 Dw wkh erxqgdulhv/ lw lv txlwh d glhuhqw vwru|1 Ghsohwlrq od|huv ghyhors wkhuh wkdw frqwuro wkh surshuwlhv ri pdq| ghylfhv1
Qh{w zh pdnh dq dvvxpswlrq derxw wkh vl}h ri wkh duhd ixqfwlrq 1 Ehfdxvh wkh duhd ixqfwlrq lv h{shfwhg wr eh pxfk vpdoohu lqvlgh wkh fkdqqho wkdq lq wkh edwkv/ zh dvvxph 'E0/ dqg zh ghqh
E '
0 +714:,
Ixuwkhu/ zh dvvxph E lv E zkloh E%
FKDSWHU 71 VLQJOH VDOW FDVH 85 yhu| odujh +zklfk lv wkh vdph dv vd|lqj wkdw zh rqo| lqfoxgh d vpdoo sduw ri wkh edwkv lq rxu dqdo|vlv, dqg wkdw E grhv qrw lqfuhdvh ru ghfuhdvh wrr txlfno|1 H{dpsohv ri dffhswdeoh dqg qrw dffhswdeoh ixqfwlrqv E duh vkrzq lq Iljxuh 7041
Zlwk wkhvh ghqlwlrqv wkh v|vwhp ehfrphv
02
%
E"%%n" E % E%
&
'5n5 +714;,
0(aE '%5^%n5%^% +714<,
0
a
(E '%n5%c +7153, Vlplodu wr zkdw zh glg lq Vhfwlrq 61516/ zh dvvxph h{sdqvlrqv ri wkh iroorzlqj irup=
sE% 'srxwE% n8u
%@ 0
n
K% 0
Es 'c c (8 ' xc Lc `
+7154,
Vxevwlwxwlqj wkhvh lqwr EeHEe2f dqg pxowlso|lqj rxw doo wkh vxpv/ zh vhw wkh rxwhu vroxwlrqv wr vdwlvi| wkh ruljlqdo glhuhqwldo rshudwruEeHEe2f +exw qrw wkh erxqgdu| frqglwlrqv, dqg wkh lqqhu vroxwlrqv wr vdwlvi| wkh uhpdlqlqj whupv ri wklv pxowlsolfdwlrq1 Wrjhwkhu wkh| zloo phhw wkh erxqgdu| frqglwlrqv1 Iru wkh ohiw vlgh/ wkh lqqhu vroxwlrq htxdwlrqv duh
_l_
"u_x_lu
n "ul
_xu
FKDSWHU 71 VLQJOH VDOW FDVH 86
0.0 0.1 0.2 0.3 0.4 0.5
1.0 1.2 1.4 1.6 1.8 2.0
x
A(x
)
1+exp(-10x) 1+exp(-50x)
Iljxuh 704= H{dpsohv ri duhd ixqfwlrqv E wkdw duh dqg duh qrw dffhswdeoh1 Wkh edvlf lghd lv wkdw E fdqqrw vxgghqo| ehfrph odujh/ dv rqh ri wkh ixqfwlrqv ehorz1 Iru wklv h{dpsoh/ ohw 0 ' f dqg frqvlghu rqo| wkh lqwhuydo dfcfDo1 Wkh fxuyh EE% ' n i T Ef%lv dffhswdeoh ehfdxvh lwv ghulydwlyh lv dw zruvw f dqg vr
E%
ED 02 ' ff1 Krzhyhu/ wkh fxuyhEE% ' ni T EDf%lv qrw dffhswdeoh
ehfdxvh lwv ghulydwlyh dw%' f lvDf dqg vrE% Ef
FKDSWHU 71 VLQJOH VDOW FDVH 87
f ' _Lu_l n5Lu__lu n5u_xu_l n5Lu_xu_l ^_xu_l +7156,
f ' _`_lu n5`u__lu n5u_x_lu n5`u_x_lu +7157,
zkhuh
l ' %@
0 +7158,
dqg
suEl 'sE@n0l Es '"c c +7159,
Iru wkh uljkw vlgh wkh htxdwlrqv duh
_f_
"-_x_f
n "-f
_x
-_f '5L-n5`- +715:,
f '
_L-_f n 5L-_
-_f n5 -
_x-_f n 5L-
_x-_f ^
_x-_f +715;,
f ' _`-_f n5`-__f- n5-_x-_f n5`-_x-_f +715<,
zkhuh
FKDSWHU 71 VLQJOH VDOW FDVH 88 dqg
s-Ef ' sEK0f Es '"c c +7164,
Lq zulwlqj vhshudwh htxdwlrqv iru wkh ohiw dqg uljkw vlghv ri wkh lqwhuydo d@c Ko/ zh kdyh dvvxphg wkdw wkh od|huv rq hdfk vlgh duh zhoo vhshudwhg1 Wklv lv d vwdqgdug whfkqltxh lq VS vlqfh doo ixqfwlrqv ghvfulelqj od|huv duh h{shfwhg wr jr wr }hur yhu| txlfno|1 Li wkh| gr qrw jr wr }hur idvw hqrxjk dqg wkh od|huv iurp hdfk vlgh gr lqwhudfw zlwk rqh dqrwkhu/ wkh vlwxdwlrq lv xvxdoo| wrr frpsoh{ wr zrun rxw qlfho|1 Krzhyhu/ dvvxplqj wkdw od|huv duh lqghshqghqw dqg gr qrw lqwhudfw zkhq wkh| dfwxdoo| gr fdq eh d pdmru vrxufh ri huuru +erwk txdqwlwdwlyh dqg txdolwdwlyh,1 Odwhu lq wklv fkdswhu +Vhfwlrq 719, zh zloo vkrz zkhq erxqgdu| od|huv duh olnho| wr lqwhudfw iru wkh SQS htxdwlrqv1 +Li wkh erxqgdu| od|huv lqwhudfw hqrxjk/ wkh qxphulfdo vroxwlrq ri wkh ixoo SQS htxdwlrqv pxvw eh xvhg1,
Qh{w/ doo ri wkh ixqfwlrqv duh h{sdqghg lq srzhuv ri0=
srxwE% ' sEfE% n0sEE% n Es 'c c +7165,
8uEl '8uEfEl n08uEEl n E8 ' xc Lc ` +7166,
8-Ef '8-EfEf n08-EEf n E8 ' xc Lc ` +7167,
as '0asEn02aE2
FKDSWHU 71 VLQJOH VDOW FDVH 89 Wkhvh ixqfwlrqv zloo eh vroyhg wr vdwlvi|
*4 l<"8
E&
u*-El ' *4l<" _8u*-E&
_l El ' *4l<"
_28E&
u*-_l2 El ' f E8 ' xc Lc `(&f +7169, dqg wkh erxqgdu| frqglwlrqv
EfE@ n xEf
u Ef 'quc E&EK n xE&- Ef ' q-c E&E@ n xE&
u Ef ' f E& E&EK n xE&- Ef ' f E& EfE@ nLEf
u Ef 'quc m^m EfEK nL-EfEf 'q-c m^m E&E@ nLE&
u Ef ' f E& E&EK nL-E&Ef ' f E& EfE@ n`Ef
u Ef 'quc EfEK n`-EfEf 'q-c E&E@ n`E&
u Ef ' f E& E&EK n`-E&Ef ' f E&
+716:,
71414 Wkh Rxwhu Vroxwlrqv
Li zh vxevwlwxwhEe2lqwrEeHEe2f/ pxowlso| wkh vhulhv/ dqg htxdwh olnh srzhuv ri 0/ zh jhw d klhudufk| ri htxdwlrqv iru wkh rxwhu vroxwlrqv1 Dw ohdglqj rughu/ wkhvh htxdwlrqv duh
Ef 'Ef +716;,
(aE E '
Ef
% 5^%n5EfEf% ^Ef% +716<,
(aEE 'Ef
FKDSWHU 71 VLQJOH VDOW FDVH 8: zklfk uhgxfh wr
(aE E '
Ef
% 5^%n5EfEf% ^Ef% +7174,
(aEE 'Ef
% 5EfEf% +7175, Lqvwhdg ri zrunlqj zlwk wklv v|vwhp gluhfwo|/ zh zloo gr rqh pruh fkdqjh ri yduldeohv> lw zloo eh pruh frqyhqlhqw wr zrun zlwk wkh iroorzlqj v|vwhp zklfk uhvxowv iurp dgglqj dqg vxewudfwlqj wkh htxdwlrqv deryh=
2
#
aE ( n
aE (
$
E '
Efnm^m 2
% ^
2Ef% +7176,
2
#
aE
(
aE (
$
E '5
Efnm^m 2
Ef
% +7177,
zkhuh zh kdyh xvhg wkh lghqwlw|
m^m'5^ +7178,
Ohwwlqj
aE ' 2
#
a?E (?
aRE (R
$
+7179,
dqg
>'Efnm^m
FKDSWHU 71 VLQJOH VDOW FDVH 8; wkhvh htxdwlrqv ehfrph wkh qdo htxdwlrqv iru wkh rxwhu vroxwlrqv
anEE '>% ^2Ef
% +717;,
a3E
E '>Ef% +717<, Zlwk wklv qhz qrwdwlrq/ wkh erxqgdu| frqglwlrqv ehfrph
EfE@ n xEf
u Ef 'quc E&EK n xE&- Ef 'q-c >E@ n ^2 nLuEfEf 'quc >EK n ^2 nL-EfEf 'q-c >E@ ^2 n`uEfEf 'quc >EK ^2 n`-EfEf 'q-c
+7183,
+Lw lv lpsruwdqw wr qrwh wkdw wkh . dqg lq wkh aE qrwdwlrq gr qrw uhihu wr wkh fkdujh ri dq| lrq vshflhv/ exw rqo| wr wkh pdwkhpdwlfdo rshudwlrqv ri dgglwlrq dqg vxewudfwlrq1 Ixuwkhupruh/ wklv zloo dozd|v krog wuxh> wkh v|perov . dqg zloo qhyhu eh xvhg wr lqglfdwh fkdujh/ exw zloo dozd|v uhihu wr dgglwlrq dqg vxewudfwlrq1 Fkdujh lv dozd|v uhihuuhg wr e| R dqg ?1, Lqwxlwlyho|/ >E% fdq eh wkrxjkw ri dv wkh dyhudjh preloh lrq frqfhqwudwlrqv dw % vlqfh
>'Efnm^m 2 '
2
EfnEfnm^m
2E?nR +7184, Xqiruwxqdwho|/ zh gr qrw kdyh dq lqwxlwlyh ihholqj iru wkh aE1 Wkhvh yduldeohv dulvh vr qdwxudoo| wkdw rqh vxvshfwv wkh| kdyh d vlpsoh sk|vlfdo phdqlqj/ dw wkh ohdvw lq uhgxfhg sureohpv1
FKDSWHU 71 VLQJOH VDOW FDVH 8<
Wkhruhp 714 +Rxwhu Vroxwlrqv, Wkh rxwhu vroxwlrqv duh jlyhq e|
>E%>E@ n ^2a3E anE*?
3 E C
>E% ^ 2
a3E anE
>E@ ^2a3E
anE
4 F DnanE
] %
@ _r
EEr ' f +7185,
Ef 'EfE@a3E anE *?
3 E C
>E% ^ 2
a3E�