Quantum Topology and Quantum Computing - UMBC CSEE

0 downloads 0 Views 355KB Size Report
ki) Lh_t @?_ T h@tit Quantum computing, quantum topology. This work was partially ..... The algebra is a free module over the ring / with basis the equivalence ...
hLUii_?}t Lu 5)4TLt@ ? TT*i_ @|i4@|Ut

"@?|4 ALTL*L}) @?_ "@?|4 L4T|?} Orxlv K1 Ndxpdq Ot|iBW| At T@Tih t @ ti*uUL?|@?i_ ?|hL_U|L? |L ^@?|4 |LTL*L}) @?_ |t hi*@|L?tTt | ^@?|4 UL4T|?} "@?|4 ?@h@?|t Lu !?L|t @?_ *?!t @hi _itUhMi_ ? |i UL?|i | Lu ^@?|4 4iU@?Utc @?_ | t tL? L Uih|@? ?|@h) hiThiti?|@|L?t Lu |i Mh@_ }hLT @hti ?@|h@**) ? |i UL?|i | Lu |i aL?it TL*)?L4@* "@?|4 UL4T|?} t _tUtti_ uhL4 |i TL?| Lu i Lu ^@?|4 }@|it }i?ih@|i_ M) ?|@h) hiThiti?|@|L?t Lu |i Mh@_ }hLT

NA|jA|t 41 Lqwurgxfwlrq 51 D Txlfn Uhylhz ri Txdqwxp Phfkdqlfv 61 Gludf Eudfnhwv 71 Nqrw Dpsolwxghv 81 Wrsrorjlfdo Txdqwxp Ilhog Wkhru| 0 Iluvw Vwhsv 91 Fdwhjrulfdo Sk|vlfv :1 Vshfxodwlrqv rq Txdqwxp Frpsxwlqj ;1 Vxppdu| Uhihuhqfhv

41 Lqwurgxfwlrq Wklv sdshu lv d txlfn lqwurgxfwlrq wr nh| uhodwlrqvklsv ehwzhhq wkh wkhrulhv ri nqrwv/olqnv/ wkuhh0pdqlirog lqyduldqwv dqg wkh vwuxfwxuh ri txdqwxp phfkdqlfv1 Lq vhfwlrq 5 zh uhylhz wkh edvlf lghdv dqg sulqflsohv ri txdqwxp phfkdqlfv1 Vhfwlrq 6 vkrzv krz wkh lghd ri d txdqwxp dpsolwxgh lv dssolhg wr wkh frqvwuxfwlrq ri lqyduldqwv ri nqrwv dqg olqnv dqg krz wkhvh frqvwuxfwlrqv ohdg wr uhodwlrqv zlwk vwdwlvwlfdo phfkdqlfv/ wkh Whpshuoh| Olhe dojheud dqg uhsuhvhqwdwlrqv ri wkh Duwlq eudlg jurxs1 Zh jlyh dq h{dpsoh ri xqlwdu| uhsuhvhqwdwlrqv ri wkh wkuhh vwudqg eudlg 2fff @|i4@|Ut 5MiU| *@tt€U@|L? h4@h) HSH( 5iUL?_@h) Hf ki) Lh_t @?_ Th@tit "@?|4 UL4T|?}c ^@?|4 |LTL*L}) At Lh! @t T@h|@**) tTTLh|i_ M) |i #iui?ti _@?Ui_ +iti@hU hLiU|t }i?U) E#+ @?_ h 6LhUi @|ihi* L44@?_ N56 ?_ih @}hii4i?| ?4Mih 6 fSf2ffD22 U ?ffff EULT)h}| L*_ih

4

5

ORXLV K1 NDXIIPDQ

jurxs wkdw duh uhodwhg wr wkh dojheud ri wzr surmhfwruv1 Vhfwlrq 7 h{sodlqv krz wkh jhqhudol}dwlrq ri wkh Ih|qpdq lqwhjudo wr txdqwxp hogv ohdgv wr lqyduldqwv ri nqrwv/ olqnv dqg wkuhh0pdqlirogv1 Vhfwlrq 8 lv d glvfxvvlrq ri d jhqhudo fdwhjrulfdo dssurdfk wr wkhvh lvvxhv1 Vhfwlrq 9 lv d eulhi glvfxvvlrq ri wkh uhodwlrqvklsv ri txdqwxp wrsrorj| wr txdqwxp frpsxwlqj1 Wklv sdshu lv lqwhqghg dv dq lqwurgxfwlrq wkdw fdq vhuyh dv d vsulqjerdug iru zrunlqj rq wkh lqwhuidfh ehwzhhq txdqwxp wrsrorj| dqg txdqwxp frpsxwlqj1 Vhfwlrq : vxppdul}hv wkh sdshu1 51 D Txlfn Uhylhz ri Txdqwxp Phfkdqlfv Wr uhfdoo sulqflsohv ri txdqwxp phfkdqlfv lw lv xvhixo wr kdyh d txlfn klvwrulfdo uhfdslwxodwlrq1 Txdqwxp phfkdqlfv uhdoo| jrw vwduwhg zkhq GhEurjolh lqwurgxfhg wkh qrwlrq wkdw pdwwhu +vxfk dv dq hohfwurq, lv dffrpsdqlhg e| d zdyh wkdw jxlghv lwv prwlrq dqg surgxfhv lqwhuihuhqfh skhqrphqd mxvw olnh wkh zdyhv rq wkh vxuidfh ri wkh rfhdq ru wkh gludfwlrq hhfwv ri oljkw jrlqj wkurxjk d vpdoo dshuwxuh1 GhEurjolh*v lghd zdv vxffhvvixo lq h{sodlqlqj wkh surshuwlhv ri dwrplf vshfwud1 Lq wklv grpdlq/ klv zdyh k|srwkhvlv ohg wr wkh fruuhfw ruelwv dqg vshfwud ri dwrpv/ irupdoo| vroylqj d sx}}oh wkdw kdg ehhq rqo| ghvfulehg lq dg krf whupv e| wkh suhfhglqj wkhru| ri Qlhov Erku1 Lq Erku*v wkhru| ri wkh dwrp/ wkh hohfwurqv duh uhvwulfwhg wr pryh rqo| lq fhuwdlq hoolswlfdo ruelwv1 Wkhvh uhvwulfwlrqv duh sodfhg lq wkh wkhru| wr jhw djuhhphqw zlwk wkh nqrzq dwrplf vshfwud/ dqg wr dyrlg d sdudgr{$ Wkh sdudgr{ dulvhv li rqh wklqnv ri wkh hohfwurq dv d fodvvlfdo sduwlfoh ruelwlqj wkh qxfohxv ri wkh dwrp1 Vxfk d sduwlfoh lv xqghujrlqj dffhohudwlrq lq rughu wr pryh lq lwv ruelw1 Dffhohudwhg fkdujhg sduwlfohv hplw udgldwlrq1 Wkhuhiruh wkh hohfwurq vkrxog udgldwh dzd| lwv hqhuj| dqg vsludo lqwr wkh qxfohxv$ Erku frppdqghg wkh hohfwurq wr rqo| rffxs| fhuwdlq ruelwv dqg wkhuhe| dyrlghg wkh vsludo ghdwk ri wkh dwrp 0 dw wkh h{shqvh ri orjlfdo frqvlvwhqf|1 GhEurjolh k|srwkhvl}hg d zdyh dvvrfldwhg zlwk wkh hohfwurq dqg kh vdlg wkdw dq lqwhjudo pxowlsoh ri wkh ohqjwk ri wklv zdyh pxvw pdwfk wkh flufxpihuhqfh ri wkh hohfwurq ruelw1 Wkxv/ qrw doo ruelwv duh srvvleoh/ rqo| wkrvh zkhuh wkh zdyh sdwwhuq fdq elwh lwv rzq wdlo1 Wkh pdwkhpdwlfv zrunv rxw/ surylglqj dq dowhuqdwlyh wr Erku*v slfwxuh1 GhEurjolh kdg zdyhv/ exw kh glg qrw kdyh dq htxdwlrq ghvfulelqj wkh vsdwldo glvwulexwlrq dqg whpsrudo hyroxwlrq ri wkhvh zdyhv1 Vxfk dq htxdwlrq zdv glv0 fryhuhg e| Huzlq Vfkurglqjhu1 Vfkurglqjhu uholhg rq lqvsluhg jxhvvzrun edvhg rq GhEurjolh*v k|srwkhvlv/ dqg surgxfhg d zdyh htxdwlrq/ nqrzq hyhu vlqfh dv wkh Vfkurglqjhu htxdwlrq1 Vfkurglqjhu*v htxdwlrq zdv hqruprxvo| vxffhvvixo/ suhglfw0 lqj qh vwuxfwxuh ri wkh vshfwuxp ri k|gurjhq dqg pdq| rwkhu dvshfwv ri sk|vlfv1 Vxgghqo| d qhz sk|vlfv/ txdqwxp phfkdqlfv/ zdv eruq iurp wklv pxvlfdo k|srwkhvlv ri GhEurjolh1 Dorqj zlwk wkh vxffhvvhv ri txdqwxp phfkdqlfv fdph d krvw ri h{wudruglqdu| sureohpv ri lqwhusuhwdwlrq1 Zkdw lv wkh vwdwxv ri wklv zdyh ixqfwlrq ri Vfkurglqjhu dqg GhEurjolh1 Grhv lw frqqrwh d qhz hohphqw ri sk|vlfdo uhdolw|B Lv pdwwhu qrwklqj exw wkh sdwwhuqlqj ri zdyhv lq d frqwlqxxpB Krz fdq wkh hohfwurq eh d zdyh dqg vwloo kdyh wkh fdsdflw| wr lqvwdqwldwh d yhu| vshflf hyhqw dw rqh sodfh dqg rqh wlph +vxfk dv fdxvlqj d elw ri skrvskru wr jorz wkhuh rq |rxu whohylvlrq vfuhhq,B Lw fdph

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

6

wr sdvv wkdw Pd{ Eruq ghyhorshg d vwdwlvwlfdo lqwhusuhwdwlrq ri wkh zdyh0ixqfwlrq zkhuhlq wkh zdyh ghwhuplqhv d suredelolw| iru wkh dsshdudqfh ri wkh orfdol}hg sdu0 wlfxodwh skhqrphqrq wkdw rqh zdqwhg wr fdoo dq hohfwurq1 Lq wklv vwru| wkh zdyh ixqfwlrq # wdnhv ydoxhv lq wkh frpsoh{ qxpehuv dqg wkh dvvrfldwhg suredelolw| lv # #/ zkhuh # ghqrwhv wkh frpsoh{ frqmxjdwh ri #1 Pdwkhpdwlfdoo|/ wklv lv d vdw0 lvidfwru| uhflsh iru ghdolqj zlwk wkh wkhru|/ exw lw ohdgv wr ixuwkhu txhvwlrqv derxw wkh h{dfw fkdudfwhu ri wkh vwdwlvwlfv1 Li txdqwxp wkhru| lv lqkhuhqwo| vwdwlvwlfdo/ wkhq lw fdq jlyh qr frpsohwh lqirupdwlrq derxw wkh prwlrq ri wkh hohfwurq1 Lq idfw/ wkhuh pd| eh qr vxfk frpsohwh lqirupdwlrq dydlodeoh hyhq lq sulqflsoh1 Hohfwurqv pdqlihvw dv sduwlfohv zkhq wkh| duh revhuyhg lq d fhuwdlq pdqqhu dqg dv zdyhv zkhq wkh| duh revhuyhg lq dqrwkhu frpsohphqwdu| pdqqhu1 Wklv lv d fdsvxoh vxppdu| ri wkh ylhz wdnhq e| Erku/ Khlvhqehuj dqg Eruq1 Rwkhuv/ lqfoxglqj GhEurjolh/ Hlq0 vwhlq dqg Vfkurglqjhu/ krshg iru d pruh gluhfw dqg ghwhuplqlvwlf wkhru| ri qdwxuh1 Dv zh vkdoo vhh/ lq wkh frxuvh ri wklv hvvd|/ wkh vwdwlvwlfdo qdwxuh ri txdqwxp wkhru| kdv d irupdo vlgh wkdw fdq eh h{sorlwhg wr xqghuvwdqg wkh wrsrorjlfdo surs0 huwlhv ri vxfk pxqgdqh remhfwv dv nqrwwhg urshv lq vsdfh dqg vsdfhv frqvwuxfwhg e| lghqwli|lqj wkh vlghv ri sro|khgud1 Wkhvh wrsrorjlfdo dssolfdwlrqv ri txdqwxp phfkdqlfdo lghdv duh h{flwlqj lq wkhlu rzq uljkw1 Wkh| pd| vkhg oljkw rq wkh qdwxuh ri txdqwxp wkhru| lwvhoi1 Lq wklv vhfwlrq zh uhylhz d elw ri wkh pdwkhpdwlfv ri txdqwxp wkhru|1 Uhfdoo wkh htxdwlrq iru d zdyh= i +{> w, @ vlq++5@o,+{  fw,,1 Zlwk { lqwhusuhwhg dv wkh srvlwlrq dqg w dv wkh wlph/ wklv ixqfwlrq ghvfulehv d vlqxvrlgdo zdyh wudyhoolqj zlwk yhorflw| f1 Zh ghqh wkh zdyh qxpehu n @ 5@ dqg wkh iuhtxhqf| $ @ +5f@, zkhuh  lv wkh zdyhohqjwk1 Wkxv zh fdq zulwh i +{> w, @ vlq+n{  $w,= Qrwh wkdw wkh yhorflw|/ f/ ri wkh zdyh lv jlyhq e| wkh udwlr ri iuhtxhqf| wr zdyh qxpehu/ f @ $@n= GhEurjolh k|srwkhvl}hg wzr ixqgdphqwdo uhodwlrqvklsv/ rqh ehwzhhq hqhuj| dqg iuhtxhqf|/ wkh rwkhu ehwzhhq prphqwxp dqg zdyh qxpehu1 Wkhvh uhodwlrqvklsv duh vxppdul}hg lq wkh htxdwlrqv H @ |$/ s @ |n/ zkhuh H ghqrwhv wkh hqhuj| dvvrfldwhg zlwk d zdyh dqg s ghqrwhv wkh prphqwxp dvvrfldwhg zlwk wkh zdyh1 Khuh | @ k@5/ zkhuh k lv Sodqfn*v frqvwdqw1 +Wkh uhodwlrq H @ |$ ruljlqdwhv zlwk Pd{ Sodqfn lq wkh frqwh{w ri eodfn0erg| udgldwlrq1, Iru GhEurjolh wkh glvfuhwh hqhuj| ohyhov ri wkh ruelwv ri hohfwurqv lq dq dwrp ri k|gurjhq frxog eh h{sodlqhg e| uhvwulfwlrqv rq wkh yleudwlrqdo prghv ri zdyhv dvvrfldwhg zlwk wkh prwlrq ri wkh hohfwurq1 Klv fkrlfhv iru wkh hqhuj| dqg wkh pr0 phqwxp lq uhodwlrq wr d zdyh duh qrw duelwudu|1 Wkh| duh ghvljqhg wr eh frqvlvwhqw zlwk wkh qrwlrq wkdw wkh zdyh ru zdyh sdfnhw pryhv dorqj zlwk wkh hohfwurq1 Wkdw lv/ wkh yhorflw| ri wkh zdyh0sdfnhw lv ghvljqhg wr eh wkh yhorflw| ri wkh fruuhvsrqglqj pdwhuldo sduwlfoh1 Lw lv zruwk looxvwudwlqj krz GhEurjolh*v lghd zrunv1 Frqvlghu wzr zdyhv zkrvh iuhtxhqflhv duh yhu| qhduo| wkh vdph1 Li zh vxshulpsrvh wkhp +dv d sldqr wxqhu vxshulpsrvhv klv wxqlqj irun zlwk wkh yleudwlrq ri wkh sldqr vwulqj,/ wkhq wkhuh zloo eh d qhz zdyh surgxfhg e| wkh lqwhuihuhqfh ri wkh ruljlqdo zdyhv1 Wklv qhz

7

ORXLV K1 NDXIIPDQ

zdyh sdwwhuq zloo pryh dw lwv rzq yhorflw|/ glhuhqw +dqg jhqhudoo| vpdoohu, wkdq wkh yhorflw| ri wkh ruljlqdo zdyhv1 Wr eh vshflf/ ohw i +{> w, @ vlq+n{  $w, dqg j+{> w, @ vlq+n3 {$w,1 Ohw k+{> w, @ vlq+n{$w,.vlq+n3 {$w, @ i+{> w,.j+{> w,= D olwwoh wuljrqrphwu| vkrzv wkdw  k+{> w, @ frv

+n  n3 ,{ +$  $ 3 ,w  5 5



 vlq

+n . n3 ,{ +$ . $3 ,w  5 5

 =

Li zh dvvxph wkdw n dqg n3 duh yhu| forvh dqg wkdw z dqg z3 duh yhu| forvh/ wkhq +n . n3,@5 lv dssur{lpdwho| n/ dqg +z . z3 ,@5 lv dssur{lpdwho| z= Wkxv k+{> w, fdq eh uhsuhvhqwhg e|      gn g$ K+{> w, @ frv { w i +{> w, 5 5 zkhuh gn @ +n  n3 ,@5 dqg g$ @ +$  $3 ,@5= Wklv phdqv wkdw wkh vxshusrvl0 wlrq/ K+{> w,/ ehkdyhv dv wkh zdyhirup i+{> w, fduu|lqj d vorzhu0prylqj zdyh0sdfnhw J+{> w, @ frv++gn@5,{  +g$@5,w,= +Vhh Iljxuh 41,

Iljxuh 4 0 Zdyh Sdfnhw Vlqfh wkh zdyh sdfnhw +vhhq dv wkh foxpshg rvfloodwlrqv lq Iljxuh4, kdv wkh htxdwlrq J+{> w, @ frv++gn@5,{  +g$@5,w,/ zh vhh wkdw wkdw wkh yhorflw| ri wklv zdyh sdfnhw lv yj @ gz@gn= Uhfdoo wkdw zdyh yhorflw| lv wkh udwlr ri iuhtxhqf| wr zdyh qxpehu1 Qrz dffruglqj wr GhEurjolh/ H @ k$ dqg s @ kn/ zkhuh H dqg s duh wkh hqhuj| dqg prphqwxp dvvrfldwhg zlwk wklv zdyh sdfnhw1 Wkxv zh jhw wkh irupxod yj @ gH@gs= Lq rwkhu zrugv/ wkh yhorflw| ri wkh zdyh0sdfnhw lv wkh udwh ri fkdqjh ri lwv hqhuj| zlwk uhvshfw wr lwv prphqwxp1 Qrz wklv lv h{dfwo|

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

8

lq dffrug zlwk wkh zhoo0nqrzq fodvvlfdo odzv iru d pdwhuldo sduwlfoh$ Iru vxfk d sduwlfoh/ H @ py 5 @5 dqg s @ py= Wkxv H @ s5 @5p dqg gH@gs @ s@p @ y= Lw lv wklv dvwrqlvklqj frqfrugdqfh ehwzhhq wkh vlpsoh zdyh prgho dqg wkh fodvvlfdo qrwlrqv ri hqhuj| dqg prphqwxp wkdw lqlwldwhg wkh ehjlqqlqjv ri txdqwxp wkhru|1

5141 Wkh Vfkurglqjhu Htxdwlrq1 Vfkurglqjhu dqvzhuhg wkh txhvwlrq= Zkhuh lv wkh zdyh htxdwlrq iru GhEurjolh*v zdyhvB Zulwlqj dq hohphqwdu| zdyh lq frpsoh{ irup # @ #+{> w, @ h{s+l+n{  $w,,> zh vhh wkdw zh fdq h{wudfw GhEurjolh*v hqhuj| dqg prphqwxp e| glhuhqwldwlqj= l|C#@Cw @ H# dqg l|C#@C{ @ s#= Wklv ohg Vfkurglqjhu wr srvwxodwh wkh lghqwlfdwlrq ri g|qdplfdo yduldeohv zlwk rshudwruv vr wkdw wkh uvw htxdwlrq / l|C#@Cw @ H# lv surprwhg wr wkh vwdwxv ri dq htxdwlrq ri prwlrq zkloh wkh vhfrqg htxdwlrq ehfrphv wkh ghqlwlrq ri prphqwxp dv dq rshudwru= s @ l|C@C{= Rqfh s lv lghqwlhg dv dq rshudwru/ wkh qxphulfdo ydoxh ri prphqwxp lv dv0 vrfldwhg zlwk dq hljhqydoxh ri wklv rshudwru/ mxvw dv lq wkh h{dpsoh deryh1 Lq rxu h{dpsoh s# @ |n#= Lq wklv irupxodwlrq/ wkh srvlwlrq rshudwru lv mxvw pxowlsolfdwlrq e| { lwvhoi1 Rqfh zh kdyh {hg vshflf rshudwruv iru srvlwlrq dqg prphqwxp/ wkh rshudwruv iru rwkhu sk|vlfdo txdqwlwlhv fdq eh h{suhvvhg lq whupv ri wkhp1 Zh rewdlq wkh hqhuj| rshudwru e| vxevwlwxwlrq ri wkh prphqwxp rshudwru lq wkh fodvvlfdo irupxod iru wkh hqhuj|= H @ +4@5,py5 . Y H @ s5 @5p . Y H @ +|5 @5p,C 5 @C{5 . Y= Khuh Y lv wkh srwhqwldo hqhuj|/ dqg lwv fruuhvsrqglqj rshudwru ghshqgv xsrq wkh ghwdlov ri wkh dssolfdwlrq1 Zlwk wklv rshudwru lghqwlfdwlrq iru H/ Vfkurglqjhu*v htxdwlrq l|C#@Cw @ +|5 @5p,C 5 #@C{5 . Y #

9

ORXLV K1 NDXIIPDQ

lv dq htxdwlrq lq wkh uvw ghulydwlyhv ri wlph dqg lq vhfrqg ghulydwlyhv ri vsdfh1 Lq wklv irup ri wkh wkhru| rqh frqvlghuv jhqhudo vroxwlrqv wr wkh glhuhqwldo htxdwlrq dqg wklv lq wxuq ohdgv wr h{fhoohqw uhvxowv lq d p|uldg ri dssolfdwlrqv1 Lq txdqwxp wkhru|/ revhuydwlrq lv prghoohg e| wkh frqfhsw ri hljhqydoxhv iru fruuhvsrqglqj rshudwruv1 Wkh txdqwxp prgho ri dq revhuydwlrq lv d surmhfwlrq ri wkh zdyh ixqfwlrq lqwr dq hljhqvwdwh1 Dq hqhuj| vshfwuxp iHn j fruuhvsrqgv wr zdyh ixqfwlrqv # vdwlvi|lqj wkh Vfkurglqjhu htxdwlrq/ vxfk wkdw wkhuh duh frqvwdqwv Hn zlwk H# @ Hn #= Dq revhuydeoh +vxfk dv hqhuj|, H lv d Khuplwldq rshudwru rq d Kloehuw vsdfh ri zdyh ixqfwlrqv1 Vlqfh Khuplwldq rshudwruv kdyh uhdo hljhqydoxhv/ wklv surylghv wkh olqn zlwk phdvxuhphqw iru wkh txdqwxp wkhru|1 Lw lv lpsruwdqw wr qrwlfh wkdw wkhuh lv qr phfkdqlvp srvwxodwhg lq wklv wkhru| iru krz d zdyh ixqfwlrq lv vhqw lqwr dq hljhqvwdwh e| dq revhuydeoh1 Mxvw dv pdwkhpdw0 lfdo orjlf qhhg qrw ghpdqg fdxvdolw| ehklqg dq lpsolfdwlrq ehwzhhq sursrvlwlrqv/ wkh orjlf ri txdqwxp phfkdqlfv grhv qrw ghpdqg d vshflhg fdxvh ehklqg dq re0 vhuydwlrq1 Wkh devhqfh ri dq dvvxpswlrq ri fdxvdolw| lq orjlf grhv qrw reyldwh wkh srvvlelolw| ri fdxvdolw| lq wkh zruog1 Vlploduo|/ wkh devhqfh ri fdxvdolw| lq txdqwxp revhuydwlrq grhv qrw reyldwh fdxvdolw| lq wkh sk|vlfdo zruog1 Qhyhuwkhohvv/ wkh gh0 edwh ryhu wkh lqwhusuhwdwlrq ri txdqwxp wkhru| kdv riwhq ohg lwv sduwlflsdqwv lqwr dvvhuwlqj wkdw fdxvdolw| kdv ehhq ghprolvkhg lq sk|vlfv1 Qrwh wkdw wkh rshudwruv iru srvlwlrq dqg prphqwxp vdwlvi| wkh htxdwlrq {s  s{ @ |l= Wklv fruuhvsrqgv gluhfwo| wr wkh htxdwlrq rewdlqhg e| Khlvhqehuj/ rq rwkhu jurxqgv/ wkdw g|qdplfdo yduldeohv fdq qr orqjhu qhfhvvdulo| frppxwh zlwk rqh dqrwkhu1 Lq wklv zd|/ wkh srlqwv ri ylhz ri GhEurjolh/ Vfkurglqjhu dqg Khlvhqehuj fdph wr0 jhwkhu/ dqg txdqwxp phfkdqlfv zdv eruq1 Lq wkh frxuvh ri wklv ghyhorsphqw/ lqwhu0 suhwdwlrqv ydulhg zlgho|1 Hyhqwxdoo|/ sk|vlflvwv fdph wr uhjdug wkh zdyh ixqfwlrq qrw dv d jhqhudol}hg zdyh sdfnhw/ exw dv d fduulhu ri lqirupdwlrq derxw srvvleoh revhuydwlrqv1 Lq wklv zd| ri wklqnlqj # # +#  ghqrwhv wkh frpsoh{ frqmxjdwh ri #=, uhsuhvhqwv wkh suredelolw| ri qglqj wkh sduwlfoh +D sduwlfoh lv dq revhuydeoh zlwk orfdo vsdwldo fkdudfwhulvwlfv1, dw d jlyhq srlqw lq vsdfhwlph1

61 Gludf Eudfnhwv Zh qrz glvfxvv Gludf*v qrwdwlrq/ ? emd A/ ^:`1 Lq wklv qrwdwlrq ? dm dqg me A duh fryhfwruv dqg yhfwruv uhvshfwlyho|1 ? emd A lv wkh hydoxdwlrq ri md A e| ? em1 Khqfh lw lv d vfdodu/ dqg lq ruglqdu| txdqwxp phfkdqlfv/ lw lv d frpsoh{ qxpehu1 Rqh fdq wklqn ri wklv dv wkh dpsolwxgh iru wkh vwdwh wr ehjlq lq d dqg hqg lq e1 Wkdw lv/ wkhuh lv d surfhvv wkdw fdq phgldwh d wudqvlwlrq iurp vwdwh d wr vwdwh e= H{fhsw iru wkh idfw wkdw dpsolwxghv duh frpsoh{ ydoxhg/ wkh| reh| wkh xvxdo odzv ri suredelolw|1 Wklv phdqv wkdw li wkh surfhvv fdq eh idfwruhg lqwr d vhw ri doo srvvleoh lqwhuphgldwh vwdwhv f4 / f5 / 111 / fq / wkhq wkh dpsolwxgh iru d $ e lv wkh vxp ri wkh dpsolwxghv iru d $ fl $ e1 Phdqzkloh/ wkh dpsolwxgh iru d $ fl $ e lv wkh surgxfw ri wkh dpsolwxghv ri wkh wzr vxefrqjxudwlrqv d $ fl dqg fl $ e= Irupdoo| zh kdyh

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

:

? emd A@ l ? emfl A? fl md A zkhuh wkh vxppdwlrq lv ryhu doo wkh lqwhuphgldwh vwdwhv l @ 4/ 111/ q= Lq jhqhudo/ wkh dpsolwxgh iru pxwxdoo| glvmrlqw surfhvvhv lv wkh vxp ri wkh dpsol0 wxghv ri wkh lqglylgxdo surfhvvhv1 Wkh dpsolwxgh iru d frqjxudwlrq ri glvmrlqw surfhvvhv lv wkh surgxfw ri wkhlu lqglylgxdo dpsolwxghv1 Gludf*v glylvlrq ri wkh dpsolwxghv lqwr eudv ? em dqg nhwv md A lv grqh pdwk0 hpdwlfdoo| e| wdnlqj d yhfwru vsdfh Y +d Kloehuw vsdfh/ exw lw fdq eh qlwh gl0 phqvlrqdo, iru wkh nhwv= md A ehorqjv wr Y= Wkh gxdo vsdfh Y  lv wkh krph ri wkh eudv1 Wkxv ? em ehorqjv wr Y  vr wkdw ? em lv d olqhdu pdsslqj ? em = Y $ F zkhuh F ghqrwhv wkh frpsoh{ qxpehuv1 Zh uhvwruh v|pphwu| wr wkh ghqlwlrq e| uhdol}lqj wkdw dq hohphqw ri d yhfwru vsdfh Y fdq eh uhjdughg dv d pdsslqj iurp wkh frpsoh{ qxpehuv wr Y= Jlyhq md A= F $ Y / wkh fruuhvsrqglqj hohphqw ri Y lv wkh lpdjh ri 4 +lq F, xqghu wklv pdsslqj1 Lq rwkhu zrugv/ md A +4, lv d phpehu ri Y= Qrz zh kdyh md A= F $ Y dqg ? em = Y $ F= Wkh frpsrvlwlrq ? em  md A@? emd A= F $ F lv uhjdughg dv dq hohphqw ri F e| wdnlqj wkh vsh0 flf ydoxh ? emd A +4,= Wkh frpsoh{ qxpehuv duh uhjdughg dv wkh BW6/ dqg wkh hqwluh dpsolwxgh ? emd A lv d ydfxxp wr ydfxxp dpsolwxgh iru d surfhvv wkdw lqfoxghv wkh fuhdwlrq ri wkh vwdwh d/ lwv wudqvlwlrq wr e/ dqg wkh dqqlklodwlrq ri e wr wkh ydfxxp rqfh pruh14 Gludf qrwdwlrq kdv d olih ri lwv rzq1 Ohw S @ m| A? {m1 Ohw ? {mm| A@? {m| A = Wkhq S S @ m| A? {mm| A? {m @ m| A? {m| A? {m @? {m| A S= Xs wr d vfdodu pxowlsoh/ S lv d surmhfwlrq rshudwru1 Wkdw lv/ li zh ohw T @ S@ ? {m| A/ wkhq TT @ S S@ ? {m| A? {m| A@? {m| A S@ ? {m| A? {m| A@ S@ ? {m| A@ T= Wkxv TT @ T= Lq wklv odqjxdjh/ wkh frpsohwhqhvv ri lqwhuphgldwh vwdwhv ehfrphv wkh vwdwhphqw wkdw d fhuwdlq vxp ri surmhfwlrqv lv htxdo wr wkh lghqwlw|= Vxssrvh wkdw l mfl A? fl m @ 4 +vxpplqj ryhu l, zlwk ? fl mfl A@ 4 iru hdfk l= Wkhq ? emd A@? emmd A@? em l mfl A? fl mmd A@ l ? emmfl A? fl mmd A ? emd A@ l ? emfl A? fl md A Lwhudwlqj wklv sulqflsoh ri h{sdqvlrq ryhu d frpsohwh vhw ri vwdwhv ohdgv wr wkh prvw sulplwlyh irup ri wkh Ih|qpdq lqwhjudo ^;`1 Lpdjlqh wkdw wkh lqlwldo dqg qdo vwdwhv d dqg e duh srlqwv rq wkh yhuwlfdo olqhv { @ 3 dqg { @ q . 4 uhvshfwlyho| lq wkh {  | sodqh/ dqg wkdw +f+n,l+n,> n, lv d jlyhq srlqw rq wkh olqh { @ n iru 3 ? l+n, ? p= Vxssrvh wkdw wkh vxp ri surmhfwruv iru hdfk lqwhuphgldwh vwdwh lv frpsohwh1 Wkdw lv/ zh dvvxph wkdw iroorzlqj vxp lv htxdo wr rqh/ iru hdfk n iurp 4 wr q  4 = mf+n,4 A? f+n,4m . === . mf+n,p A? f+n,pm @ 4= Dsso|lqj wkh frpsohwhqhvv lwhudwlyho|/ zh rewdlq wkh iroorzlqj h{suhvvlrq iru wkh dpsolwxgh ? emd A= ? emd A@ === ? emf+4,l+4, A? f+4,l+4,mf+5,l+5, A === ? f+q,l+q,md A 4At t @?@*L}Lt |L a*@? 5U?}ih w,  5#+{> w, . #+{ . {> w,,@+{,5 = Sxwwlqj wklv lqwr wkh htxdwlrq/ zh jhw d whpsrudo uhfxuvlrq ri wkh irup #+{> w . w, @ D#+{  {> w, . E#+{> w, . D#+{ . {> w, zkhuh D @ l|w@+{,5 dqg E @ 4  lY +{,@|  5l|w@+{,5= Li zh wdnh #+{> w, wr eh wkh vxp ryhu doo odwwlfh sdwkv +lq wkh vsdfhwlph odwwlfh zlwk vwhsv { dqg w, zkhuh hdfk sdwk uhfhlyhv d surgxfw ri zhljkwv D dqg E dv ghqhg deryh/ wkhq wkh uhfxuvlrq htxdwlrq iru wkh qh{w wlph vwhs ri # lv d wdxwrorj|1 Lq wklv vhqvh lw lv hdv| wr vhh wkdw wkh glvfuhwl}hg Vfkurglqjhu htxdwlrq kdv d glvfuhwh sdwk lqwhjudo dv lwv vroxwlrq1 Qrwh wkdw wkhvh odwwlfh sdwkv kdyh h{dfwo| wkuhh srvvlelolwlhv hqwhulqj +{> w . w, iurp wkh sdvw/ qdpho| +{  {> w,/ +{> w, dqg +{ . {> w,1 Wkxv wkh sduwlfoh wudyhoolqj rq wkh {0d{lv lv h{hfxwlqj d rqh0vwhs udqgrp zdon1 Vhh Iljxuh 61

Iljxuh 6 0 Glvfuhwh Zdonv Lw lv dovr zruwk qrwlqj wkdw wkh htxdwlrq #+{> w . w, @ +4  +l@|,wH,#

43

ORXLV K1 NDXIIPDQ

lv wkh lqqlwhvlpdo vwhs ri wkh irupdo htxdwlrq #+{> w, @ h{s+l|wH#3 ,> ghvfulelqj wkh zdyh ixqfwlrq dw odwhu wlphv dv wkh uhvxow ri d xqlwdu| hyroxwlrq iurp dq lqlwldo wlph1 Lq ghylvlqj dojrulwkpv iru txdqwxp frpsxwlqj wkh frqglwlrq ri xqlwdu| vwdwh hyroxwlrq lv wkh sulpdu| frqvwudlqw wkdw pxvw eh reh|hg1 Wr vxppdul}h/ Gludf qrwdwlrq vkrzv dw rqfh krz wkh suredelolvwlf lqwhusuhwd0 wlrq iru dpsolwxghv lv wlhg zlwk wkh yhfwru vsdfh vwuxfwxuh ri wkh vsdfh ri vwdwhv ri wkh txdqwxp phfkdqlfdo v|vwhp1 Rxu vwudwhj| iru eulqjlqj iruwk uhodwlrqv ehwzhhq txdqwxp wkhru| dqg wrsrorj| lv wr slyrw rq wkh Gludf eudfnhw1 Wkh Gludf eudfnhw lqwhuphgldwhv ehwzhhq qrwdwlrq dqg olqhdu dojheud1 Lq d yhu| uhdo vhqvh/ wkh frq0 qhfwlrq ri txdqwxp phfkdqlfv zlwk wrsrorj| lv dq dpsolfdwlrq ri Gludf qrwdwlrq1

71 Nqrw Dpsolwxghv Dw wkh hqg ri vhfwlrq 4/ zh vdlg/ Wkh frqqhfwlrq ri txdqwxp phfkdqlfv zlwk wrsrorj| lv dq dpsol0 fdwlrq ri Gludf qrwdwlrq1 Frqvlghu uvw d flufoh lq d vsdfhwlph sodqh zlwk wlph uhsuhvhqwhg yhuwlfdoo| dqg vsdfh krul}rqwdoo|1 Wkh flufoh uhsuhvhqwv d ydfxxp wr ydfxxp surfhvv wkdw lqfoxghv wkh fuhdwlrq ri wzr %sduwlfohv%/ dqg wkhlu vxevhtxhqw dqqlklodwlrq1 Vhh Iljxuhv 7 dqg 81

Iljxuh 7 0 Flufoh lq Vsdfhwlph

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

44

Iljxuh 8 0 Fuhdwlrq dqg Dqqlklodwlrq Lq dffrug zlwk rxu suhylrxv ghvfulswlrq/ zh frxog glylgh wkh flufoh lqwr wkhvh wzr sduwv +fuhdwlrq+d, dqg dqqlklodwlrq +e,, dqg frqvlghu wkh dpsolwxgh ? emd A = Vlqfh wkh gldjudp iru wkh fuhdwlrq ri wkh wzr sduwlfohv hqgv lq wzr vhsdudwh srlqwv/ lw lv qdwxudo wr wdnh d yhfwru vsdfh ri wkh irup Y Y dv wkh wdujhw iru wkh eud dqg dv wkh grpdlq ri wkh nhw1 Zh lpdjlqh dw ohdvw rqh sduwlfoh surshuw| ehlqj fdwdorjxhg e| hdfk glphqvlrq ri Y= Iru h{dpsoh/ d edvlv ri Y frxog hqxphudwh wkh vslqv ri wkh fuhdwhg sduwlfohv1 Li ihd j lv d edvlv iru Y / wkhq ihd he j irupv d edvlv iru Y Y= Wkh hohphqwv ri wklv qhz edvlv frqvwlwxwh doo srvvleoh frpelqdwlrqv ri wkh sduwlfoh surshuwlhv1 Vlqfh vxfk frpelqdwlrqv duh pxowlsolfdwlyh/ wkh whqvru surgxfw lv wkh dssursuldwh frqvwuxfwlrq1 Lq wklv odqjxdjh/ wkh fuhdwlrq nhw lv d pds fxs/ fxs @ md A= F $ Y Y / dqg wkh dqqlklodwlrq eud lv d pdsslqj fds/ fds @? em = Y Y $ F= Wkh uvw klqw ri wrsrorj| frphv zkhq zh uhdol}h wkdw lw lv srvvleoh wr gudz d pxfk pruh frpsolfdwhg vlpsoh forvhg fxuyh lq wkh sodqh wkdw lv qhyhuwkhohvv ghfrpsrvhg zlwk uhvshfw wr wkh yhuwlfdo gluhfwlrq lqwr pdq| fxsv dqg fdsv1 Lq idfw/ dq| qrq0vhoi0lqwhuvhfwlqj glhuhqwldeoh fxuyh fdq eh uljlgo| urwdwhg xqwlo lw lv lq jhqhudo srvlwlrq zlwk uhvshfw wr wkh yhuwlfdo1 Lw zloo wkhq eh vhhq wr eh ghfrpsrvhg lqwr wkhvh plqlpd dqg pd{lpd1 Rxu suhvfulswlrqv iru dpsolwxghv vxjjhvw wkdw zh uhjdug dq| vxfk fxuyh dv dq dpsolwxgh yld lwv ghvfulswlrq dv d pdsslqj iurp F wr F=

45

ORXLV K1 NDXIIPDQ

Hdfk vlpsoh forvhg fxuyh jlyhv ulvh wr dq dpsolwxgh/ exw dq| vlpsoh forvhg fxuyh lq wkh sodqh lv lvrwrslf wr d flufoh/ e| wkh Mrugdq Fxuyh Wkhruhp1 Li wkhvh duh wrsrorjlfdo dpsolwxghv/ wkhq wkh| vkrxog doo eh htxdo wr wkh ruljlqdo dpsolwxgh iru wkh flufoh1 Wkxv wkh txhvwlrq= Zkdw frqglwlrq rq fuhdwlrq dqg dqqlklodwlrq zloo lqvxuh wrsrorjlfdo dpsolwxghvB Wkh dqvzhu ghulyhv iurp wkh idfw wkdw doo lvrwrslhv ri wkh vlpsoh forvhg fxuyhv duh jhqhudwhg e| wkh fdqfhoodwlrq ri dgmdfhqw pd{lpd dqg plqlpd dv looxvwudwhg ehorz1

Iljxuh 9 0 Fdqfhoodwlrq ri Pd{lpd dqg Plqlpd Lq frpsrvlqj pdsslqjv/ lw lv qhfhvvdu| wr xvh wkh lghqwlfdwlrqv +Y Y , Y @ Y +Y Y , dqg Y n @ n Y @ Y= Wkxv lq wkh looxvwudwlrq deryh/ wkh frpsrvlwlrq rq wkh ohiw lv jlyhq e| 4 fxs

Y @ Y n $ Y +Y Y , fds 4

@ +Y Y , Y $ n Y @ Y= Wklv frpsrvlwlrq pxvw htxdo wkh lghqwlw| pds rq Y +ghqrwhg 4 khuh, iru wkh dpsol0 wxghv wr kdyh d surshu lpdjh ri wkh wrsrorjlfdo fdqfhoodwlrq1 Wklv frqglwlrq lv vdlg yhu| vlpso| e| wdnlqj d pdwul{ uhsuhvhqwdwlrq iru wkh fruuhvsrqglqj rshudwruv1

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

46

Vshflfdoo|/ ohw ih4 > h5 > ===> hq j eh d edvlv iru Y= Ohw hde @ hd he ghqrwh wkh hohphqwv ri wkh whqvru edvlv iru Y Y= Wkhq wkhuh duh pdwulfhv Pde dqg P de vxfk wkdw fxs+4, @ P de hde zlwk wkh vxppdwlrq wdnhq ryhu doo ydoxhv ri d dqg e iurp 4 wr q= Vlploduo|/ fds lv ghvfulehg e| fds+hde , @ Pde= Wkxv wkh dpsolwxgh iru wkh flufoh lv fds^fxs+4,` @ fds P de hde @ P de Pde= Lq jhqhudo/ wkh ydoxh ri wkh dpsolwxgh rq d vlpsoh forvhg fxuyh lv rewdlqhg e| wudqvodwlqj lw lqwr dq %devwudfw whqvru h{suhvvlrq% lq wkh Pde dqg P de / dqg wkhq vxpplqj ryhu wkhvh surgxfwv iru doo fdvhv ri uhshdwhg lqglfhv1 Uhwxuqlqj wr wkh wrsrorjlfdo frqglwlrqv/ zh vhh wkdw wkh| duh mxvw wkdw wkh pdwulfhv +Pde , dqg +P de , duh lqyhuvhv lq wkh vhqvh wkdw Pdl P le @ de dqg P dl Ple @ ed zkhuh de ghqrwhv wkh +lghqwlw| pdwul{, Nurqhfnhu ghowd wkdw lv htxdo wr rqh zkhq lwv wzr lqglfhv duh htxdo wr rqh dqrwkhu dqg }hur rwkhuzlvh1

Iljxuh : 0 Dojheudlf Fdqfhoodwlrq ri Pd{lpd dqg Plqlpd de =

Lq Iljxuh :/ zh vkrz wkh gldjudppdwlf uhsuhvhqwdwlyh ri wkh htxdwlrq Pdl P le @

47

ORXLV K1 NDXIIPDQ

Lq wkh vlpsohvw fdvh fxs dqg fds duh uhsuhvhqwhg e| 5  5 pdwulfhv1 Wkh wrsr0 orjlfdo frqglwlrq lpsolhv wkdw wkhvh pdwulfhv duh lqyhuvhv ri hdfk rwkhu1 Wkxv wkh sureohp ri wkh h{lvwhqfh ri wrsrorjlfdo dpsolwxghv lv yhu| hdvlo| vroyhg iru vlpsoh forvhg fxuyhv lq wkh sodqh1 Qrz zh jr wr nqrwv dqg olqnv1 Dq| nqrw ru olqn fdq eh uhsuhvhqwhg e| d slfwxuh wkdw lv frqjxuhg zlwk uhvshfw wr d yhuwlfdo gluhfwlrq lq wkh sodqh1 Wkh slfwxuh zloo ghfrpsrvh lqwr plqlpd +fuhdwlrqv, pd{lpd +dqqlklodwlrqv, dqg furvvlqjv ri wkh wzr w|shv vkrzq ehorz1 +Khuh L frqvlghu nqrwv dqg olqnv wkdw duh xqrulhqwhg1 Wkh| gr qrw kdyh dq lqwulqvlf suhihuuhg gluhfwlrq ri wudyho1, Vhh Iljxuh 51 Lq Iljxuh 5/ qh{w wr hdfk ri wkh furvvlqjv zh kdyh lqglfdwhg pdsslqjv ri Y Y wr lwvhoi / fdoohg U dqg U4 uhvshfwlyho|1 Wkhvh pdsslqjv uhsuhvhqw wkh wudqvlwlrqv fruuhvsrqglqj wr wkhvh hohphqwdu| frqjxudwlrqv1

Iljxuh ; 0 Pruvh Nqrw Ghfrpsrvlwlrq Wkdw U dqg U4 uhdoo| pxvw eh lqyhuvhv iroorzv iurp wkh lvrwrs| vkrzq lq Iljxuh < +Wklv lv wkh vhfrqg Uhlghphlvwhu pryh1,

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

48

Iljxuh < 0 Eudlglqj Fdqfhoodwlrq Zh qrz kdyh wkh yrfdexodu| ri fxs/ fds/ U dqg U4 1 Dq| nqrw ru olqn fdq eh zulwwhq dv d frpsrvlwlrq ri wkhvh iudjphqwv/ dqg frqvhtxhqwo| d fkrlfh ri vxfk pdsslqjv ghwhuplqhv dq dpsolwxgh iru nqrwv dqg olqnv1 Lq rughu iru vxfk dq dpsol0 wxgh wr eh wrsrorjlfdo/ zh zdqw lw wr eh lqyduldqw xqghu wkh olvw ri orfdo pryhv rq wkh gldjudpv vkrzq lq Iljxuh 441 Wkhvh pryhv duh dq dxjphqwhg olvw ri wkh Uhl0 ghphlvwhu pryhv/ dgmxvwhg wr wdnh fduh ri wkh idfw wkdw wkh gldjudpv duh duudqjhg zlwk uhvshfw wr d jlyhq gluhfwlrq lq wkh sodqh1 Wkh htxlydohqfh uhodwlrq jhqhudwhg e| wkhvh pryhv lv fdoohg uhjxodu lvrwrs|1 Lw lv rqh pryh vkruw ri wkh uhodwlrq nqrzq dv dpelhqw lvrwrs|1 Wkh plvvlqj pryh lv wkh uvw Uhlghphlvwhu pryh vkrzq lq Iljxuh 431

Iljxuh 43 0 Iudplqj Fdqfhoodwlrq

49

ORXLV K1 NDXIIPDQ

Lq wkh uvw Uhlghphlvwhu pryh/ d fxuo lq wkh gldjudp lv fuhdwhg ru ghvwur|hg1 Dpelhqw lvrwrs| +jhqhudwhg e| doo wkh Uhlghphlvwhu pryhv, fruuhvsrqgv wr wkh ixoo wrsrorj| ri nqrwv dqg olqnv hpehgghg lq wkuhh glphqvlrqdo vsdfh1 Wzr olqn gldjudpv duh dpelhqw lvrwrslf yld wkh Uhlghphlvwhu pryhv li dqg rqo| li wkhuh lv d frqwlqxrxv idplo| ri hpehgglqjv lq wkuhh glphqvlrqv ohdglqj iurp rqh olqn wr wkh rwkhu1 Wkh pryhv jlyh xv d frpelqdwruldo uhirupxodwlrq ri wkh vsdwldo wrsrorj| ri nqrwv dqg olqnv1 E| ljqrulqj wkh uvw Uhlghphlvwhu pryh/ zh doorz wkh srvvlelolw| wkdw wkhvh gldjudpv fdq prgho iudphg olqnv/ wkdw lv olqnv zlwk d qrupdo yhfwru hog ru/ htxly0 dohqwo|/ hpehgglqjv ri fxuyhv wkdw duh wklfnhqhg lqwr edqgv1 Lw wxuqv rxw wr eh iuxlwixo wr vwxg| lqyduldqwv ri uhjxodu lvrwrs|1 Lq idfw/ rqh fdq xvxdoo| qrupdol}h dq lqyduldqw ri uhjxodu lvrwrs| wr rewdlq dq lqyduldqw ri dpelhqw lvrwrs|1 Zh vkdoo vhh dq h{dpsoh ri wklv skhqrphqrq zlwk wkh eudfnhw sro|qrpldo lq d ihz sdudjudskv1 Dv wkh uhdghu fdq vhh/ zh kdyh douhdg| glvfxvvhg wkh dojheudlf phdqlqj ri pryhv 31 dqg 51 Wkh rwkhu pryhv wudqvodwh lqwr yhu| lqwhuhvwlqj dojheud1 Pryh 61/ zkhq wudqvodwhg lqwr dojheud/ lv wkh idprxv \dqj0Ed{whu htxdwlrq1 Wkh \dqj0Ed{whu htxdwlrq rffxuuhg iru wkh uvw wlph lq sureohpv uhodwhg wr h{dfwo| vroyhg prghov lq vwdwlvwlfdo phfkdqlfv1 +Vhh ^57`1, Doo wkh pryhv wdnhq wrjhwkhu duh gluhfwo| uhodwhg wr wkh d{lrpv iru d txdvl0wuldqjxodu Krsi dojheud/ dovr nqrzq dv d txdqwxp jurxs1 Zh vkdoo qrw jr lqwr wklv frqqhfwlrq khuh1 Wkhuh lv dq lqwlpdwh frqqhfwlrq ehwzhhq nqrw lqyduldqwv dqg wkh vwuxfwxuh ri jhqhudol}hg dpsolwxghv/ dv zh kdyh ghvfulehg wkhp lq whupv ri yhfwru vsdfh pds0 slqjv dvvrfldwhg zlwk olqn gldjudpv1 Wklv vwudwhj| iru wkh frqvwuxfwlrq ri lqyduldqwv lv gluhfwo| prwlydwhg e| wkh frqfhsw ri dq dpsolwxgh lq txdqwxp phfkdqlfv1 Lw wxuqv rxw wkdw wkh lqyduldqwv wkdw fdq dfwxdoo| eh surgxfhg e| wklv phdqv +wkdw lv e| dv0 vljqlqj qlwh glphqvlrqdo pdwulfhv wr wkh fdsv/ fxsv dqg furvvlqjv, duh lqfuhgleo| ulfk1 Wkh| hqfrpsdvv/ dw suhvhqw/ doo ri wkh nqrzq lqyduldqwv ri sro|qrpldo w|sh/ l1h1/ wkh Doh{dqghu sro|qrpldo/ Mrqhv sro|qrpldo/ dqg wkhlu jhqhudol}dwlrqv1 Lw lv qrz srvvleoh wr lqglfdwh wkh frqvwuxfwlrq ri wkh Mrqhv sro|qrpldo yld wkh eudfnhw sro|qrpldo dv dq dpsolwxgh/ e| vshfli|lqj lwv pdwulfhv1 Wkh fxsv dqg wkh fdsv duh ghqhg e| +Pde , @ +P de , @ P/ zkhuh P lv wkh 5  5 pdwul{  P@

3 lD4

lD 3

 /

zkhuh zlwk ll @ 41 Qrwh wkdw PP @ L/ zkhuh L lv wkh lghqwlw| pdwul{1 Qrwh dovr wkdw wkh dpsolwxgh iru wkh flufoh lv 5 Pde P de @ Pde Pde @ Pde

@ +lD,5 . +lD4 ,5 @ D5  D5=

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

4:

Iljxuh 44 0 Pryhv iru Uhjxodu Lvrwrs| ri Pruvh Gldjudpv Wkh pdwul{ U lv wkhq ghqhg e| wkh htxdwlrq de Ufg @ DP de Pfg . D4 fd ge >

Vlqfh/ gldjudppdwlfdoo|/ zh lghqwli| U zlwk d +uljkw kdqghg, furvvlqj/ wklv htxd0 wlrq fdq eh zulwwhq gldjudppdwlfdoo| dv wkh jhqhudwlqj lghqwlw| iru wkh eudfnhw sro|qrpldo=

Wdnhq wrjhwkhu zlwk wkh orrs ydoxh ri D5 D5 wkdw lv d frqvhtxhqfh ri wklv pdwul{ fkrlfh/ wkhvh htxdwlrqv fdq eh uhjdughg dv d uhfxuvlyh dojrulwkp iru frpsxwlqj wkh dpsolwxgh1 Wklv dojrulwkp lv wkh eudfnhw vwdwh prgho iru wkh +xqqrupdol}hg, Mrqhv sro|qrpldo ^48`1 Wklv prgho fdq eh vwxglhg rq lwv rzq jurxqgv1 wlhv1

Zh hqg wklv vhfwlrq zlwk vrph frpphqwv derxw wklv dojrulwkp dqg lwv surshu0

4;

ORXLV K1 NDXIIPDQ

7141 Wkh Eudfnhw Prgho1 Li zh zhuh wr vwduw zlwk mxvw wkh fdofxodwlrqdo irupxodv dv lqglfdwhg deryh exw zlwk duelwudu| frhflhqwv D dqg E iru wkh wzr vprrwklqjv/ dqg dq duelwudu| orrs ydoxh g/ wkhq lw lv hdv| wr vhh wkdw wkh uhvxowlqj phwkrg ri fdofxodwlqj d wkuhh yduldeoh sro|qrpldo +lq wkh frppxwlqj yduldeohv D/ E dqg g, iurp d olqn gldjudp lv zhoo0ghqhg/ dowkrxjk qrw qhfhvvdulo| lqyduldqw xqghu wkh Uhlghphlvwhu pryhv1 Lw lv wkhq dq lqwhuhvwlqj h{huflvh wr vhh wkdw dvnlqj iru lqyduldqfh xqghu mxvw wkh vhfrqg Uhlghphlvwhu pryh hvvhqwldoo| irufhv E @ D4 dqg g @ D5  D5= Wkxv wkh sdudphwhuv dulvlqj iurp wkh dojheud wkdw zh kdyh vnhwfkhg dfwxdoo| frph gluhfwo| iurp wkh wrsrorj|1 Lw lv htxdoo| hdv| wr vhh wkh wkh uhvxowlqj Odxuhqw sro|qrpldo lv d zhoo ghqhg lqyduldqw ri uhjxodu lvrwrs|1 Ohwv ghqrwh wkdw lqyduldqw e| ? N A/ wkh +xqqrupdol}hg, eudfnhw sro|qrpldo ri N= Lq wklv yhuvlrq ri wkh eudfnhw zh kdyh ? R A@ D5  D5 zkhuh R ghqrwhv d flufoh lq wkh sodqh1 Li zh ghqh iN +D, @ +D6 ,z+N, ? N A @ ? R A zkhuh z+N, ghqrwhv wkh vxp ri wkh vljqv ri wkh furvvlqjv lq dq rulhqwhg olqn N +^48`/ ^4 X4 > X5 > ===> Xq4 j dqg uhodwlrqv Xl5 @ Xl >

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

4
Xl Xm @ Xm Xl > ml  mm A 4> zkhuh  lv d fkrvhq hohphqw ri wkh ulqj n1 Wkhvh htxdwlrqv jlyh wkh pxowlsolfdwlyh vwuxfwxuh ri wkh dojheud1 Wkh dojheud lv d iuhh prgxoh ryhu wkh ulqj n zlwk edvlv wkh htxlydohqfh fodvvhv ri wkhvh surgxfwv prgxor wkh jlyhq uhodwlrqv1 Iljxuh 46 looxvwudwhv d gldjudppdwlf lqwhusuhwdwlrq ri wklv dojheud wkdw lv lqwl0 pdwho| olqnhg zlwk wkh eudfnhw sro|qrpldo1 Lq wklv lqwhusuhwdwlrq/ wkh pxowlsolfdwlyh jhqhudwruv ri wkh prgxoh duh froohfwlrqv ri vwudqgv frqqhfwlqj q wrs srlqwv dqg q erwwrp srlqwv1 Wrs srlqwv fdq eh frqqhfwhg hlwkhu wr wrs ru wr erwwrp srlqwv1 Erwwrp srlqwv fdq eh frqqhfwhg wr hlwkhu erwwrp ru wr wrs srlqwv1 Doo frqqhfwlrqv duh pdgh lq wkh sodqh zlwk qr ryhuodsslqj olqhv dqg qr olqhv jrlqj deryh wkh wrs urz ri srlqwv ru ehorz wkh erwwrp urz ri srlqwv1 Pxowlsolfdwlrq lv dffrpsolvkhg e| frqqhfwlqj wkh erwwrp urz ri rqh frqjxudwlrq zlwk wkh wrs urz ri dqrwkhu1 Lq Iljxuh 46 zh kdyh looxvwudwhg wkh w|shv ri vshfldo frqjxudwlrqv wkdw fruuhvsrqg wr wkh Xl / dqg zh kdyh vkrzq wkdw  lv lqwhusuhwhg dv d forvhg orrs1

Iljxuh 46 0 Gldjudppdwlf Whpshuoh| Olhe Dojheud

53

ORXLV K1 NDXIIPDQ

Wkh uhodwlrqvkls zlwk wkh eudfnhw sro|qrpldo frphv wkurxjk wkh edvlf eudfnhw lghqwlw|1 Wklv lghqwlw|/ lqwhusuhwhg lq wkh frqwh{w ri wkh gldjudppdwlf Whpshuoh| Olhe dojheud/ ehfrphv d uhsuhvhqwdwlrq  ri wkh Duwlq eudlg jurxs Eq rq q vwudqgv wr wkh Whpshuoh| Olhe dojheud W Oq ghqhg e| wkh irupxodv +l , @ DXl . D4 4 +l4 , @ D4 Xl . D4= Khuh l ghqrwhv wkh eudlg jhqhudwru wkdw wzlvwv vwudqgv l dqg l . 4 dv vkrzq lq Iljxuh 46141 Iru wklv uhsuhvhqwdwlrq ri wkh Whpshuoh| Olhe dojheud/ wkh orrs ydoxh  lv D5  D5 dqg wkh ulqj n lv ]^D> D4 `/ wkh ulqj ri Odxuhqw sro|qrpldov lq D zlwk lqwhjhu frhflhqwv1

Iljxuh 4614 0 Eudlg Jurxs Uhsuhvhqwdwlrq Rqh zd| wr pdnh d pdwul{ uhsuhvhqwdwlrq ri wkh Whpshuoh| Olhe dojheud +dqg d fruuhvsrqglqj uhsuhvhqwdwlrq ri wkh eudlg jurxs, lv wr xvh wkh pdwul{ P wkdw zh glvfxvvhg iru wkh pdwul{ prgho ri wkh eudfnhw sro|qrpldo1 Vlqfh P uhsuhvhqwv wkh vwuxfwxuh ri d fds ru d fxs dqg vlqfh wkh edvlf Whpshuoh| Olhe hohphqw lv d fxs0fds/ zh fdq frpelqh wzr frslhv ri P wr irup d pdwul{ de @ P de Pfg Xfg

zlwk wkh surshuw| wkdw X 5 @ X zkhuh  @ D5  D5 = Wkhq Xl lv d whqvru surgxfw ri lghqwlw| pdwulfhv fruuhvsrqglqj wr wkh yhuwlfdo olqhv lq wkh gldjudp iru

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

54

wklv hohphqw dqg rqh idfwru ri X iru wkh sodfhphqw ri wkh fxs0fds dw wkh orfdwlrqv l dqg l . 41 Wklv uhsuhvhqwdwlrq ri wkh Whpshuoh| Ohle dojheud lv yhu| xvhixo iru nqrw wkhru|/ dqg lw lv frqmhfwxuhg wr eh d idlwkixo uhsuhvhqwdwlrq1 Rqh pd| dovr frqmhfwxuh wkdw wkh fruuhvsrqglqj eudlg jurxs uhsuhvhqwdwlrq lv idlwkixo1 Wkh uhsuhvhqwdwlrq ri wkh eudlg jurxs wkdw zh kdyh ghvfulehg lv krzhyhu qrw d xqlwdu| uhsuhvhqwdwlrq h{fhsw zkhq D5 @ 4/ d ydoxh wkdw lv qrw ri lqwhuhvw lq wkh nqrw wkhru|1 Lq rughu wr qg hohphqwdu| xqlwdu| uhsuhvhqwdwlrqv ri wkh eudlg jurxs/ rqh kdv wr jr ghhshu1 +Vhh ^43`1, Lw lv xvhixo wr wklqn ri wkh Whpshuoh| Olhe dojheud dv jhqhudwhg e| surmhfwlrqv hl @ Xl @ vr wkdw h5l @ hl dqg hl hl 4 hl @  hl / zkhuh  @  5 dqg hl dqg hm frppxwh iru ml  mm A 4= Zlwk wklv lq plqg/ frqvlghu hohphqwdu| surmhfwruv h @ mD A? Dm dqg i @ mE A? Em1 Zh dvvxph wkdw ? DmD A@? EmE A@ 4 vr wkdw h5 @ h dqg i 5 @ i= Qrz qrwh wkdw hi h @ mD A? DmE A? EmD A? Dm @? DmE A? EmD A h @  h Wkxv

hih @ h

zkhuh  @? DmE A? EmD A1 Wklv dojheud ri wzr surmhfwruv lv wkh vlpsohvw lqvwdqfh ri d uhsuhvhqwdwlrq ri wkh Whpshuoh| Olhe dojheud1 Lq sduwlfxodu/ wklv phdqv wkdw d uhsuhvhqwdwlrq ri wkh wkuhh0vwudqg eudlg jurxs lv qdwxudoo| dvvrfldwhg zlwk wkh dojheud ri wzr surmhfwruv/ d vlpsoh wr| prgho ri txdqwxp sk|vlfv$ Txlwh vshflfdoo|/ li zh ohw mD A@ +d> e, dqg ? Dm @ +d> e,w wkh wudqvsrvh ri wklv urz yhfwru/ wkhq  5  d de h @ mD A? Dm @ de e5 lv d vwdqgdug surmhfwru pdwul{ zkhq d5 .e5 @ 4= Wr rewdlq d vshflf uhsuhvhqwdwlrq/ ohw   4 3 h4 @ 3 3 dqg  5  d de h5 @ = de e5 Lw lv hdv| wr fkhfn wkdw h4 h5 h4 @ d5 h4 dqg wkdw h5 h4 h5 @ d5 h5 = Zh wkhq kdyh Xl @ hl iru l @ 4> 5 vr wkdw d5 @  5 = Vlqfh d5 . e5 @ 4 wklv phdqv wkdw  5 . e5 @ 4/ zkhqfh

55

ORXLV K1 NDXIIPDQ

e5 @ 4   5 = Wkhuhiruh e lv uhdo zkhq  5 lv juhdwhu wkdq ru htxdo wr 41 Zh duh lqwhuhvwhg lq wkh fdvh zkhuh  @ D5  D5 dqg D lv d xqlw frpsoh{ qxpehu1 Xqghu wkhvh flufxpvwdqfhv wkh eudlg jurxs uhsuhvhqwdwlrq +l , @ DXl . D4 4 zloo eh xqlwdu| zkhqhyhu Xl lv d uhdo v|pphwulf pdwul{1 Wkxv zh zloo rewdlq d xqlwdu| uhsuhvhqwdwlrq ri wkh wkuhh0vwudqg eudlg jurxs E6 zkhq  5  41 Vshfl0 fdoo|/ ohw D @ hl 1 Wkhq  @ 5frv+5,/ vr wkh frqglwlrq  5  4 lv htxlydohqw wr frv5 +5,  4@71 Wkxv zh jhw wkh vshflf udqjh ri dqjohv mm  @9 dqg m m  @9 wkdw jlyh xqlwdu| uhsuhvhqwdwlrqv ri wkh wkuhh0vwudqg eudlg jurxs1 Zh zloo glvfxvv wkhvh uhsuhvhqwdwlrqv lq uhodwlrq wr txdqwxp frpsxwlqj dqg wkh Mrqhv sro|qrpldo hovhzkhuh ^59`1 Wkh srlqw khuh lv wkdw zkloh iurp wkh srlqw ri ylhz ri wrsrorj| lw lv khosixo wr uhohdvh wkh uhvwulfwlrq ri xqlwdulw|/ lw lv qhyhuwkhohvv txlwh lqwhuhvwlqj wr vhdufk iru vxfk uhsuhvhqwdwlrqv1

81 Wrsrorjlfdo Txdqwxp Ilhog Wkhru| 0 Iluvw Vwhsv Lq rughu wr ixuwkhu mxvwli| wklv lghd ri wkh dpsolfdwlrq ri Gludf qrwdwlrq/ frq0 vlghu wkh iroorzlqj vfhqdulr1 Ohw P eh d 60glphqvlrqdo pdqlirog1 Vxssrvh wkdw I lv d forvhg rulhqwdeoh vxuidfh lqvlgh P glylglqj P lqwr wzr slhfhv P4 dqg P5= Wkhvh slhfhv duh 60pdqlirogv zlwk erxqgdu|1 Wkh| phhw dorqj wkh vxuidfh I= Qrz frqvlghu dq dpsolwxgh ? P5 mP4 A@ ]+P ,= Wkh irup ri wklv dpsolwxgh jhqhu0 dol}hv rxu suhylrxv frqvlghudwlrqv/ zlwk wkh vxuidfh I frqvwlwxwlqj wkh glvwlqfwlrq ehwzhhq wkh suhsdudwlrq P4 dqg wkh ghwhfwlrq P5 = Wklv jhqhudol}dwlrq ri wkh Gludf dpsolwxgh ? emd A dpsolhv wkh qrwdwlrqdo glvwlqfwlrq frqvlvwlqj lq wkh yhuwlfdo olqh ri wkh eudfnhw wr d wrsrorjlfdo glvwlqfwlrq lq d vsdfh P= Wkh dpsolwxgh ]+P , zloo eh vdlg wr eh d wrsrorjlfdo dpsolwxgh iru P li lw lv d wrsrorjlfdo lqyduldqw ri wkh 60pdqlirog P= Qrwh wkdw d wrsrorjlfdo dpsolwxgh grhv qrw ghshqg xsrq wkh fkrlfh ri vxuidfh I wkdw glylghv P= Iurp d sk|vlfdo srlqw ri ylhz wkh lqghshqghqfh ri wkh wrsrorjlfdo dpsolwxgh ri wkh sduwlfxodu vxuidfh wkdw glylghv wkh 60pdqlirog lv wkh prvw lpsruwdqw surshuw|1 Dq dpsolwxgh dulvhv lq wkh frqglwlrq ri rqh sduw ri wkh glvwlqfwlrq fduyhg lq wkh 60pdqlirog dfwlqj dv wkh revhuyhg dqg wkh rwkhu sduw ri wkh glvwlqfwlrq dfwlqj dv wkh revhuyhu1 Li wkh dpsolwxgh lv wr uhhfw sk|vlfdo +uhdg wrsrorjlfdo, lqirupdwlrq derxw wkh xqghuo|lqj pdqlirog/ wkhq lw vkrxog qrw ghshqg xsrq wklv sduwlfxodu ghfrpsrvlwlrq lqwr revhuyhu dqg revhuyhg1 Wkh vdph uhpdunv dsso| wr 70pdqlirogv dqg lqwhuidfh zlwk lghdv lq uhodwlylw|1 Zh phqwlrq 60pdqlirogv ehfdxvh lw lv srvvleoh wr ghvfuleh pdq| h{dpsohv ri wrsrorjlfdo dpsolwxghv lq wkuhh glphqvlrqv1 Wkh pdwwhu ri 70glphqvlrqdo dpsolwxghv lv d wrslf ri fxuuhqw uhvhdufk1 Wkh qrwlrq wkdw dq dpsolwxgh eh lqghshqghqw ri wkh glvwlqfwlrq surgxflqj lw lv sulru wr wrsrorj|1 Wrsrorjlfdo lqyduldqfh ri wkh dpsolwxgh lv d frqyhqlhqw dqg ixqgdphqwdo zd| wr surgxfh vxfk lqghshqghqfh1

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

56

Iljxuh 47 0 Wkuhh Pdqlirog dv Ydfxxp0Ydfxxp H{shfwdwlrq Wklv vxgghq mxps wr wrsrorjlfdo dpsolwxghv kdv lwv frxqwhusduw lq pdwkhpdwl0 fdo sk|vlfv1 Lq ^65` Hgzdug Zlwwhq sursrvhg d irupxodwlrq ri d fodvv ri 60pdqlirog lqyduldqwv dv jhqhudol}hg Ih|qpdq lqwhjudov wdnlqj wkh irup ]+P,/ zkhuh ] ]+P , @

gDh{s^+ln@7,V+P> D,`=

Khuh P ghqrwhv d 60pdqlirog zlwkrxw erxqgdu|/ dqg D lv d jdxjh hog +dovr fdoohg d jdxjh srwhqwldo ru jdxjh frqqhfwlrq, ghqhg rq P= Wkh jdxjh hog lv d rqh0irup rq P zlwk ydoxhv lq d uhsuhvhqwdwlrq ri d Olh dojheud1 Wkh jurxs fruuhvsrqglqj wr wklv Olh dojheud lv vdlg wr eh wkh jdxjh jurxs iru wklv sduwlfxodu hog1 Lq wklv lqwhjudo wkh dfwlrq V+P> D, lv wdnhq wr eh wkh lqwhjudo ryhu P ri wkh wudfh ri wkh Fkhuq0 Vlprqv wkuhh0irup FV @ DgD . +5@6,DDD= +Wkh surgxfw lv wkh zhgjh surgxfw ri glhuhqwldo irupv1, Lqvwhdg ri lqwhjudwlqj ryhu sdwkv/ wkh lqwhjudo ]+P , lqwhjudwhv ryhu doo jdxjh hogv prgxor jdxjh htxlydohqfh1 Wklv jhqhudol}dwlrq iurp sdwkv wr hogv lv fkdu0 dfwhulvwlf ri txdqwxp hog wkhru|1 Txdqwxp hog wkhru| zdv ghvljqhg lq rughu wr dffrpsolvk wkh txdqwl}dwlrq ri hohfwurpdjqhwlvp1 Lq txdqwxp hohfwurg|qdplfv wkh fodvvlfdo hqwlw| lv wkh hohfwurpdjqhwlf hog1 Wkh txhvwlrq srvhg lq wklv grpdlq lv wr qg wkh ydoxh ri dq dpsolwxgh iru vwduwlqj zlwk rqh hog frqjxudwlrq dqg hqglqj zlwk dqrwkhu1 Wkh dqdorjxh ri doo sdwkv iurp srlqw d wr srlqw e lv doo hogv iurp hog D wr hog E1 Zlwwhq*v lqwhjudo ]+P , lv/ lq lwv irup/ d w|slfdo lqwhjudo lq txdqwxp hog wkhru|1 Lq lwv frqwhqw/ ]+P, lv kljko| xqxvxdo1 Wkh irupdolvp ri wkh lqwhjudo/ dqg

57

ORXLV K1 NDXIIPDQ

lwv lqwhuqdo orjlf vxssruwv wkh h{lvwhqfh ri d odujh fodvv ri wrsrorjlfdo lqyduldqwv ri 60pdqlirogv dqg dvvrfldwhg lqyduldqwv ri nqrwv dqg olqnv lq wkhvh pdqlirogv1 Lqyduldqwv ri wkuhh0pdqlirogv zhuh lqlwldwhg e| Zlwwhq dv ixqfwlrqdo lqwhjudov lq ^65` dqg dw wkh vdph wlph ghqhg lq d frpelqdwruldo zd| e| Uhvkhwlnklq dqg Wxudhy lq ^63`1 Wkh Uhvkhwlnklq0Wxudhy ghqlwlrq surfhhgv lq d zd| wkdw lv txlwh vlplodu wr wkh ghqlwlrq wkdw zh jdyh iru wkh eudfnhw prgho iru wkh Mrqhv sro|qrpldo lq vhfwlrq 51 +Vhh dovr ^53`1, Lw lv dq dpd}lqj idfw wkdw Zlwwhq*v ghqlwlrq vhhpv wr jlyh wkh yhu| vdph lqyduldqwv1 Zh duh qrw lq d srvlwlrq wr jr lqwr wkh ghwdlov ri wklv fruuhvsrqghqfh khuh1 Krzhyhu/ rqh wkhph lv zruwk phqwlrqlqj= Iru n odujh/ wkh Zlwwhq lqwhjudo lv dssur{lpdwhg e| wkrvh jdxjh frqqhfwlrqv D iru zklfk V+P> D, kdv }hur yduldwlrq zlwk uhvshfw wr fkdqjh lq D= Wkhvh duh wkh vr0fdoohg dw frqqhf0 wlrqv1 Lw lv srvvleoh lq pdq| h{dpsohv wr fdofxodwh wklv frqwulexwlrq yld erwk wkh ixqfwlrqdo lqwhjudo dqg e| wkh frpelqdwruldo ghqlwlrq ri Uhvkhwlnklq dqg Wxudhy1 Lq doo fdvhv/ wkh wzr phwkrgv djuhh1 +Vhh h1j1 ^45`1, Wklv lv rqh ri wkh slhfhv ri hylghqfh lq d sx}}oh wkdw hyhu|rqh h{shfwv zloo hyhqwxdoo| mxvwli| wkh irupdolvp ri wkh ixqfwlrqdo lqwhjudo1 Qrwh krz wklv fdvh fruuhvsrqgv h{dfwo| wr wkh uhodwlrq ri fodvvlfdo dqg txdqwxp sk|vlfv dv lw zdv glvfxvvhg lq Vhfwlrq 41 Lq rughu wr rewdlq lqyduldqwv ri nqrwv dqg olqnv iurp Zlwwhq*v lqwhjudo/ rqh dggv dq h{wud elw ri pdfklqhu| wr wkh euhz1 Wkh qhz pdfklqhu| lv wkh Zlovrq orrs1 Wkh Zlovrq orrs lv dq h{srqhqwldwhg yhuvlrq ri lqwhjudwlqj wkh jdxjh hog dorqj d orrs N= Zh wdnh wklv orrs N lq wkuhh vsdfh wr eh dq hpehgglqj +d nqrw, ru d fxuyh zlwk U wudqvyhuvdo vhoi0lqwhuvhfwlrqv1 Lw lv xvxdoo| lqglfdwhg e| wkh v|pero0 lvp wu+S h{s+ N D,,= Khuh wkh S ghqrwhv sdwk rughuhg lqwhjudwlrq 0 wkdw lv zh duh lqwhjudwlqj dqg h{srqhqwldwlqj pdwul{ ydoxhg ixqfwlrqv/ dqg rqh pxvw nhhs wudfn ri wkh rughu ri wkh rshudwlrqv1 Wkh v|pero wu ghqrwhv wkh wudfh ri wkh uhvxowlqj pdwul{1 Zlwk wkh khos ri wkh Zlovrq orrs ixqfwlrq rq nqrwv dqg olqnv/ Zlwwhq ^65` zulwhv grzq d ixqfwlrqdo lqwhjudo iru olqn lqyduldqwv lq d 60pdqlirog P = ] ]+P> N, @

] gDh{s^+ln@7,V+P> D,`wu+S h{s+ D,,= N

Khuh V+P> D, lv wkh Fkhuq0Vlprqv Odjudqjldq/ dv lq wkh suhylrxv glvfxvvlrq1 Li rqh wdnhv wkh vwdqgdug uhsuhvhqwdwlrq ri wkh Olh dojheud ri VX+5, dv 5  5 frpsoh{ pdwulfhv wkhq lw lv d idvflqdwlqj h{huflvh wr vhh wkdw wkh irupdolvp ri ]+V> N, +V 6 ghqrwhv wkh wkuhh0glphqvlrqdo vskhuh1, surgxfhv wkh ruljlqdo Mrqhv sro|qrpldo zlwk wkh edvlf surshuwlhv dv glvfxvvhg lq vhfwlrq 41 Vhh Zlwwhq*v sdshu ^65` ru ^4 N, dqg wkh lqyduldqwv ghqhg e| Ydvvlolhy ^6`/ wr qdph rqh idfhw ri wklv frpsoh{ fu|vwdo1 Wklv ghhs uhodwlrqvkls ehwzhhq wrsrorjlfdo lqyduldqwv lq orz glphqvlrqdo wrsro0 rj| dqg txdqwxp hog wkhru| lq wkh vhqvh ri Zlwwhq*v ixqfwlrqdo lqwhjudo lv uhdoo| vwloo lq lwv lqidqf|1 Wkhuh zloo eh pdq| vxusulvhv lq wkh ixwxuh dv zh glvfryhu wkdw zkdw kdv vr idu ehhq xqfryhuhg lv rqo| wkh wls ri dq lfhehuj1

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

58

91 Fdwhjrulfdo Sk|vlfv Zh kdyh vhhq wkdw lq txdqwxp wrsrorj| dqg wrsrorjlfdo txdqwxp hog wkhru|/ wkh Gludf qrwdwlrqdo ylhzsrlqw rq txdqwxp phfkdqlfv kdv ehfrph dpsolhg lqwr d iudphzrun wkdw hpeudfhv dpsolwxghv dvvrfldwhg zlwk wrsrorjlfdo vsdfhv dqg zlwk hpehgglqjv ri rqh vsdfh zlwklq dqrwkhu +h1j1 nqrwv dqg olqnv lq wkuhh glphqvlrqdo vsdfh,1 Wkh eudfnhwv/ nhwv dqg eudv duh jhqhudol}hg wr ehfrph pdsv ri yhfwru vsdfhv dvvrfldwhg zlwk wkhvh wrsrorjlfdo vsdfhv lq d fdwhjru| wkdw doorzv whqvru surgxfwv1 +Wkxv zh dvvrfldwhg pdq| whqvru surgxfwv ri d vlqjoh yhfwru vsdfh Y zlwk lwvhoi lq dqdo|}lqj nqrwv1, Wkh fruuhfw irupdo qrwlrq lv wkdw ri d whqvru fdwhjru|1 Exw L zloo rplw wkh suhflvh ghqlwlrq lq wklv lqirupdo glvfxvvlrq1 Rq wkh rwkhu kdqg/ wkh qrwlrq ri fdwhjru| lv zruwk h{dplqlqj lq wklv frqwh{w1 D fdwhjru| lv d vhw zlwk wzr w|shv ri hohphqwv fdoohg remhfwv dqg prusklvpv1 D prusklvp i lv dvvrfldwhg zlwk wzr remhfwv D dqg E/ dqg lv zulwwhq i = D $ E/ zkhuh zh vd| wkdw i lv d prusklvp iurp D wr E1 Lq d fdwhjru|/ li wkhuh lv d prusklvp i = D $ E dqg d prusklvp j = E $ F/ wkhq wkhuh lv d prusklvp j  i = D $ F fdoohg wkh frpsrvlwlrq ri i dqg j= Frpsrvlwlrq ri prusklvpv lv dvvrfldwlyh/ dqg hyhu| remhfw D kdv d prusklvp L+D, = D $ D vxfk wkdw li i = D $ E lv dq| rwkhu prusklvp wkhq L+E,i @ iL+D, @ i= Wkhvh surshuwlhv frpsulvh wkh ghqlwlrq ri d fdwhjru|1 Jlyhq d fdwhjru| F dqg dqrwkhu fdwhjru| F3/ zh vd| wkdw I = F $ F3 lv d ixqfwru iurp F wr F3 li I wdnhv remhfwv wr remhfwv/ prusklvpv wr prusklvpv/ I dssolhg wr dq lghqwlw| prusklvp lq F lv dq lghqwlw| prusklvp lq F3/ dqg I dssolhg wr d frpsrvlwlrq ri prusklvpv lq F lv htxdo wr wkh frpsrvlwlrq ri wkh fruuhvsrqglqj prusklvpv lq F3= Lq rwkhu zrugv/ I +L+D,, @ L+I +D,, iru dq| remhfw D lq F/ dqg I +de, @ I +d,I +e, iru dq| frpsrvdeoh prusklvpv d dqg e lq F= D ixqfwru lv d vwuxfwxudo pdsslqj iurp rqh fdwhjru| wr dqrwkhu1 Wkh prusklvpv lq d fdwhjru| duh qrw qhfhvvdulo| ixqfwlrqv iurp vrph vhw wr dqrwkhu vhw1 Udwkhu wkh| duh gluhfwhg vwuxfwxudo uhodwlrqv wkdw duh ri vljqlfdqfh lq d sduwlfxodu grpdlq1 D fdvh lq srlqw lv rxu glvfxvvlrq ri nqrwv zkhuh zh dvvr0 fldwhg olqhdu pdsslqjv wr fxsv/ fdsv/ furvvlqjv dqg frpsrvlwlrqv ri wkhvh iruplqj doo vruwv ri nqrwv dqg wdqjohv1 Wkh fxsv/ fdsv dqg furvvlqjv fdq eh uhjdughg e| wkhpvhoyhv dv wkh jhqhudwlqj prusklvpv iru d whqvru fdwhjru| zkrvh remhfwv duh mxvw rughuhg froohfwlrqv ri srlqwv +lqfoxglqj wkh hpsw| froohfwlrq$, fruuhvsrqglqj wr wkh hqgsrlqwv ri dufv1 Frpsrvlwlrq ri prusklvpv fruuhvsrqgv wr dwwdfklqj hqgsrlqwv wrjhwkhu lq wkh idvklrq wkdw zh ghvfulehg lq wkdw vhfwlrq1 Zh fdoo wklv fdwhjru| wkh +xqrulhqwhg, wdqjoh fdwhjru|1 Wkh dvvrfldwlrq ri olqhdu pdsslqjv wr hohphqwv lq wkh wdqjoh fdwhjru| wkdw zh vr fduhixoo| ghvfulehg lq rxu vhfwlrq rq nqrwv dqg olqnv frpsulvhv d ixqfwru iurp wkh wdqjoh fdwhjru| wr wkh fdwhjru| ri yhfwru vsdfhv dqg olqhdu pdsslqjv1 Txdqwxp dpsolwxghv duh fdofxodwhg lq wkh yhfwru vsdfh fdwhjru|1 Wkh ixqfwru wkdw zh ghvfulehg iurp wdqjohv wr yhfwru vsdfhv whoov xv krz wr gr txdqwxp phfkdq0 lfv rq wkh wdqjoh fdwhjru|1 Exw wklv txdqwxp phfkdqlfv lv d jhqhudol}dwlrq ri wkh xvxdo txdqwxp phfkdqlfv1 Wkh xqghuo|lqj wrsrorjlfdo vsdfhv +khuh wkh nqrwv dqg olqnv, kdyh txdqwxp vwdwhv/ exw wkh| wkhpvhoyhv duh fodvvlfdo +dw ohdvw lq wkh vhqvh wkdw rxu devwudfwlrq ri d nqrw iurp wkh sk|vlfdo ursh hperglhv surshuwlhv iurp

59

ORXLV K1 NDXIIPDQ

fodvvlfdo sk|vlfv,1 Wkhvh vdph lvvxhv qhfhvvdulo| frph xs zkhq wu|lqj wr pduu| txdqwxp phfkdqlfv dqg uhodwlylw| wkhru| vlqfh rqh zdqwv wr eulqj dq xqghuo|lqj wrsrorjlfdo pdqlirog +zlwk fkdqjlqj wrsrorj| dqg phwulf, lqwr wkh glvfxvvlrq1 Ixuwkhupruh/ wkh lvvxh ri phdvxuhphqw lv gluhfwo| uhodwhg wr fxwwlqj wkh vsdfhv dsduw ru pdnlqj glvwlqfwlrqv lq wkh xqghuo|lqj vsdfh1 Wkxv lq rxu h{dpsoh zlwk wkuhh pdqlirogv lq wkh odvw vhfwlrq/ zh glylghg wkh wkuhh pdqlirog lqwr sduwv P4 dqg P5 dqg wkhq orrnhg dw wkh dpsolwxgh ? P5 mP4 A = Lq wklv ylhz/ hlwkhu kdoi ri wkh pdqlirog fdq eh uhjdughg dv dq revhuyhu ri wkh rwkhu kdoi1 Wklv ghvfulswlrq ri vwdwhv ri ddluv lv yhu| vlplodu wr wkh wlph0krqruhg glvfxvvlrq ri wkh uhodwlrqvkls ri ruglqdu| odqjxdjh dqg wkh fodvvlfdo ghvfulswlrq ri phdvxulqj dssdudwxv lq uhodwlrq wr txdqwxp phfkdqlfdo fdofxodwlrqv1 Wkxv zh frxog ehjlq wr irupdol}h txdqwxp phfkdqlfv dv d vshfldo vruw ri ixqfwru zkrvh grpdlq fdwhjru| lv d fodvvlfdo fdwhjru| dqdorjrxv wr nqrwv/ olqnv dqg pdqlirogv/ dqg zkrvh udqjh fdwhjru| lv dq dssursuldwh whqvru fdwhjru| zkhuh dpsolwxghv dqg revhuydeohv fdq eh frpsxwhg1 Wkh fodvvlfdo fdwhjru| wkhq jhwv vwuxfwxuhg lq d qrq0fodvvlfdo zd| e| wklv ixqfwru1

Iljxuh 48 0 Frpsrvlwlrq lq wkh Judsk Fdwhjru| Khuh lv dqrwkhu h{dpsoh ri d vwuxfwxuh ri wkh vruw wkdw L mxvw ghvfulehg1 Frqvlghu wkh vhw ri qlwh gluhfwhg pxowl0judskv1 Fdoo d qrgh lq d judsk J dq lqsxw qrgh li lw kdv h{dfwo| rqh gluhfwhg hgjh hpdqdwlqj iurp lw dqg qr hgjhv hqwhulqj lw1 Fdoo d qrgh dq rxwsxw qrgh li lw kdv h{dfwo| rqh hgjh hqwhulqj lw dqg qr hgjhv ohdylqj lw1 Ohw GJ+q, ghqrwh wkh vhw ri gljudskv ri wklv nlqg wkdw kdyh q lqsxwv dqg q rxwsxwv1 Ixuwkhu dvvxph wkdw hdfk vxfk judsk lv htxlsshg zlwk dq rughulqj ri lwv lqsxwv dqg dq rughulqj ri lwv rxwsxwv1 Wkxv J lq GJ+q, zloo kdyh lqsxwv odehoohg 4/5/6/111/ q dqg rxwsxwv odehoohg 4/5/6/111/q= Jlyhq J dqg K lq GJ+q,/ zh ghqh

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

5:

wkhlu frpsrvlwlrq JK e| dwwdfklqj wkh n0wk rxwsxw ri J wr wkh n0wk lqsxw ri K +e| uhprylqj fruuhvsrqglqj qrghv dqg dpdojdpdwlqj wkh wzr gluhfwhg hgjhv dw wkrvh qrghv wr d vlqjoh hgjh,1 Dv vkrzq ehorz/ wkh judsk Lq frqvlvwlqj ri q sdudooho hgjhv lv dq lghqwlw| iru wklv frpsrvlwlrq1 Wkh xsvkrw lv wkdw J+q, lv d fdwhjru| zkhuh wkh gljudskv duh wkh prusklvpv dqg wkh rqh remhfw lv wkh rughuhg vhw i4> 5> ===> qj= Mx{wdsrvlwlrq ri judskv jlyhv d whqvru vwuxfwxuh dqg d pdsslqj GJ+q, GJ+p, $ GJ+q . p,= Zlwk d olwwoh zrun/ doo wkh GJ+q,*v fdq eh sxw wrjhwkhu lq rqh fdwhjru| GJ= Zkhq q @ 3/ zh kdyh gljudskv zlwkrxw lqsxwv ru rxwsxwv/ dqdorjrxv wr nqrwv dqg olqnv1 Fohduo| wkh fdwhjrulhv GJ+q, duh dqdorjrxv wr q0vwudqg wdqjohv dv zh kdyh glvfxvvhg wkhp lq wkh vhfwlrq rq nqrw dpsolwxghv1 D ixqfwru rq GJ+q, wkdw wdnhv wkh fdwhjru| wr yhfwru vsdfhv dqg olqhdu pdsv fdq eh frqvwuxfwhg e| dvvrfldwlqj d olqhdu pdsslqj ru pdwul{ wr hdfk glhuhqw vshflhv ri gluhfwhg qrgh lq wkh judskv xqghu frqvlghudwlrq1 Wkhq frpsrvlwlrq ri judskv zloo fruuhvsrqg wr pdwul{ pxowlsolfdwlrq lq pxfk wkh vdph pdqqhu dv rxu glvfxvvlrq iru nqrwv dqg olqnv1 Wr jlyh d vlpsoh h{dpsoh/ ohwv zrun lq GJ+4,= Wkhq hdfk judsk kdv rqh lqsxw dqg rqh rxwsxw1 Wkhq zh uhjdug wkh lqsxw olqh ri wkh judsk dv fruuhvsrqglqj wr wkh ohiw lqgh{ ri d pdwul{ dqg wkh rxwsxw olqh dv fruuhvsrqglqj wr wkh uljkw lqgh{ ri d pdwul{1 Li J lv wkh judsk dqg I +J, wkh fruuhvsrqglqj pdwul{ wkhq J  K fruuhvsrqgv wr I +J,I +K, li zh uhjdug wkh w|lqj ri wkh rxwsxw olqh ri J wr wkh lqsxw olqh ri K dv frqqrwlqj vxppdwlrq ryhu doo srvvlelolwlhv iru wkh frpprq lqgh{ dqg wdnh wkh vxp ri wkh surgxfwv ri wkh pdwul{ hqwulhv iru I +J, dqg I +K,= Wklv ghqhv d ixqfwru iurp GJ+4, wr wkh fdwhjru| ri pdwulfhv zkhuh wkh prusklvpv duh wkh pdwulfhv dqg frpsrvlwlrq lv wkh pdwul{ surgxfw1

Lq pxowlso|lqj pdwulfhv P dqg Q/ zh kdyh +PQ ,lm @ n Pln Qnm = Lq wkh judsk fdw0 hjru|/ wkh lqwhuqdo hgjh fruuhvsrqgv wr wkh lqgh{ vxvfhswleoh wr vxppdwlrq1 Zlwk wklv lqwhusuhwdwlrq/ pdq| hohphqwdu| irupxodv dqg sdwwhuqv ri txdqwxp phfkdq0 lfv ehfrph vlpsoh pdwwhuv ri gldjudppdwlfv1 Iru h{dpsoh/ li zh duh frpsxwlqj wu+PS , +wu ghqrwhv wudfh, zkhuh S lv d surmhfwlrq rshudwru S @ mD A? Dm/ wkhq lw lv hdv| wr vhh lq wkh judsk fdwhjru| wkdw wu+P S , @? DmPmD A = +Vhh Iljxuh 491, Wklv h{dpsoh dovr lqglfdwhv krz wr frqfhswxdol}h phdvxuhphqw lq wkh judsk fdwhjru|1 Dq hohphqwdu| phdvxuhphqw frqvlvwv lq lqvhuwlqj d surmhfwru S lqwr d olqn lq wkh judsk1 Wkh hhfw ri vxfk dq lqvhuwlrq lv qrq0orfdo/ vlqfh wkh dpsolwxghv duh frpsxwhg yld wkh ixqfwru wr wkh pdwul{ fdwhjru| dqg frqvhtxhqwo| lqyroyh vxppdwlrqv ryhu doo vwdwhv ri wkh judsk +zkhuh d vwdwh frqvlvwv lq dvvljqphqwv ri lqglfhv wr doo wkh lqwhuqdo olqhv ri wkh judsk dqg wkh dpsolwxgh lv frpsxwhg e| vxpplqj ryhu doo wkh surgxfwv ri wkh uhvxowlqj pdwul{ hohphqwv,1

5;

ORXLV K1 NDXIIPDQ

Iljxuh 49 0 W udfh+P S , @ ? DmP mD A Wkh judsk lv d fodvvlfdo exw devwudfw ghvfulswlrq ri d vhw ri uhodwlrqvklsv1 Wkh ixqfwru wkdw frpsxwhv dpsolwxghv iurp wkh judsk grhv d qrq0orfdo frpsxwdwlrq lqyroylqj wkh judsk dv d zkroh1 Li zh lpdjlqh wkdw wkh xqlyhuvh lv d odujh qhwzrun dqdorjrxv wr vxfk d judsk/ wkhq lw zloo eh qhfhvvdu| wr xqghuvwdqg krz rqh sduw ri wkh qhwzrun ehfrphv dq revhuydeoh iru wkh uhvw/ dqg krz wklv fodvvlfdo ohyho ri ghvfulswlrq lqwhuwzlqhv zlwk wkh txdqwxp dpsolwxgh ixqfwru1 :1 Vshfxodwlrqv rq Txdqwxp Frpsxwlqj Lq wklv sdshu L kdyh frqfhqwudwhg rq jlylqj d slfwxuh ri wkh jhqhudo iudphzrun ri txdqwxp wrsrorj| dqg krz lw lv uhodwhg wr d yhu| jhqhudo/ lq idfw fdwhjrulfdo/ ylhz ri txdqwxp phfkdqlfv1 Pdq| dojrulwkpv lq txdqwxp wrsrorj| duh frqjxuhg zlwkrxw uhjdug wr xqlwdu| hyroxwlrq ri wkh dpsolwxgh/ vlqfh wkh frqvwudlqw kdv ehhq wrsrorjlfdo lqyduldqfh udwkhu wkdq frqirupdwlrq wr sk|vlfdo uhdolw|1 Wklv jlyhv ulvh wr d krvw ri sureohpv +wkdw zh vkdoo glvfxvv hovhzkhuh, ri dwwhpswlqj wr uhirupxodwh wrsrorjlfdo dpsolwxghv dv txdqwxp frpsxwdwlrqv1 D sduwlfxodu fdvh lq srlqw lv wkh eudfnhw prgho iru wkh Mrqhv sro|qrpldo1 Lw zrxog eh ri juhdw lqwhuhvw wr vhh d uhirupxodwlrq ri wklv dojrulwkp wkdw zrxog pdnh lw d txdqwxp frpsxwdwlrq lq wkh vwulfw vhqvh ri txdqwxp frpsxwlqj1 Wr vhh krz wklv fdq eh irupxodwhg/ frqvlghu wkh ydfxxp0ydfxxp frpsxwdwlrq ri d olqn dpsolwxgh dv zh kdyh ghvfulehg lw lq vhfwlrq 71 Vhh Iljxuhv ; dqg 4:1 Sduwlfxoduo| lq Iljxuh 4: zh kdyh lqglfdwhg dq dpsolwxgh zkhuh wkh whpsrudo gh0 frpsrvlwlrq frqvlvwv uvw lq d frpsrvlwlrq ri fxsv +fuhdwlrqv,/ wkhq eudlglqj dqg wkhq fdsv +dqqlklodwlrqv,1 Wkxv zh fdq zulwh wkh dpsolwxgh lq wkh irup ]N @? FX S mP mFDS A zkhuh ? FX S m ghqrwhv wkh frpsrvlwlrq ri fxsv/ P lv wkh frpsrvlwlrq ri hohphqwdu| eudlglqj pdwulfhv dqg mFDS A lv wkh frpsrvlwlrq ri fdsv1 Zh wkhq uhjdug ? FX S m dv wkh suhsdudwlrq ri wklv vwdwh dqg mFDS A dv wkh ghwhfwlrq ri wklv vwdwh1 Lq rughu wr ylhz ]N dv d txdqwxp frpsxwdwlrq/ zh qhhg wkdw P lv d xqlwdu| rshudwru1 Wklv

TXDQWXP WRSRORJ\ DQG TXDQWXP FRPSXWLQJ

5
qq2>=7Qf[ N+wG zzPD""2>zQf["x>qq2>=