Flatland, named in honor of Edwin Abbott*s 1884 book by the same name, was written in the first half of 1999 to serve as a platform for our virtual reality research ...
Nt?} Vh|@* +i@*|) |L V@*_@|i 5)t|i4 L_i*t VU|Lh w `?|ih
AL4@t @_i**
#iT@h|4i?| Lu O} W?|i}h|)
#iT@h|4i?| Lu ,*iU|hU@*
5Lu|@hi 5)t|i4t ,?}?iih?}
@?_ L4T|ih ,?}?iih?} @| |i
5@?_@ @|L?@* w@MLh@|Lhit
N?iht|) Lu i i UL
*?|i9t@?_@}L
@?_ Ai *M^ih^i O} ihuLh4@?Ui L4T|?} i?|ih |TU9iiUi?4i_
Mt|h@U| Wr gdwh prvw ydolgdwlrq whfkqltxhv duh kljko| eldvhg wrzdugv fdofxodwlrqv lqyroylqj v|perolf uhsuhvhqwd0 wlrqv ri sureohpv1 Wkhvh fdofxodwlrqv duh hlwkhu irupdo +lq wkh fdvh ri frqvlvwhqf| dqg frpsohwhqhvv fkhfnv,/ ru lqirupdo lq wkh fdvh ri frgh lqvshfwlrqv1 Zh eh0 olhyh wkdw dq hvvhqwldo w|sh ri _hylghqfh% ri wkh fru0 uhfwqhvv ri wkh irupdol}dwlrq surfhvv pxvw eh surylghg e| +l1h1/ pxvw ruljlqdwh iurp, kxpdq0edvhg fdofxod0 wlrq1 Zh ixuwkhu eholhyh wkdw kxpdq fdofxodwlrq fdq eh vljqlfdqwo| dpsolhg e| vkliwlqj iurp v|perolf uhs0 uhvhqwdwlrqv wr judsklfdo uhsuhvhqwdwlrqv1 Wklv sdshu ghvfulehv rxu suholplqdu| hruwv lq uhdol}lqj vxfk d uhsuhvhqwdwlrqdo vkliw1
@U!}hL?_
Dv vflhqfh dqg whfkqrorj| dgydqfhv/ wkhuh lv dq lq0 fuhdvlqj wuhqg wr vxssohphqw dqg vxevwlwxwh rshudwru frqwuro zlwk dxwrpdwhg frqwuro1 Wkh ghvljqv ri ixoo|0 dxrpdwhg dqg vhpl0dxwrpdwhg v|vwhpv kdyh ehfrph pruh dpelwlrxv1 Wkh lpshwxv ehklqg wkhvh ghvljqv wr ghyhors v|vwhpv wkdw duh ehwwhu vxlwhg wr shuiruplqj wkh ixqfwlrqv h{shfwhg2qhhghg ri wkhp1 Iru pdq| v|v0 whpv/ frqwuro srvvleoh wkurxjk vriwzduh fdq eh pruh uhqhg/ pruh frpsoh{/ dqg fdq uhdfw pruh txlfno| wkdq wkh frqwuro wkdw frxog eh surylghg e| dq rshu0 dwru1 Iru h{dpsoh/ frpsxwhu frqwuroohg ixho gholyhu| v|vwhpv lq dxwrprelohv fdq gudpdwlfdoo| lqfuhdvh wkh ixho hflhqf| ri dq hqjlqh1 Surgxfwlrq idflolwlhv fdq W At Lh! @t tTTLh|i_ M) |i N?|i_ 5|@|it #iT@h|4i?| Lu ,?ih}) ?_ih L?|h@U| #,febewHDfff 5@?_@ t @ 4*|ThL}h@4 *@MLh@|Lh) LTih@|i_ M) 5@?_@ LhTLh@|L?c @ wLU!ii_ @h|? L4T@?)c uLh |i N?|i_ 5|@|it #iT@h|4i?| Lu ,?ih})
eh dxwrpdwhg xvlqj urerwv/ surgxflqj pruh xqlirup dqg dffxudwh surgxfwv/ dqg uhtxlulqj ihzhu zrunhuv1 Dxwrpdwhg wudlq frqwuroohuv fdq uhdol}h frpsoh{ frq0 wuro dojrulwkpv wkdw rhu wkh srvvlelolw| ri lqfuhdvhg +4, vdihw|/ +5, wkurxjksxw/ +6, hqhuj| hflhqf|/ dqg +7, frpiruw +h1j1/ ohvv mhunlqj,1 Zhdsrqv v|vwhpv fdq eh exlow wkdw duh ehwwhu vxlwhg wr dfklhylqj wkhlu re0 mhfwlyhv +h1j1/ plqlpl}lqj flyloldq fdvxdowlhv,1 Doo ri wkh v|vwhpv phqwlrqhg deryh duh frqvlg0 huhg kljk frqvhtxhqfh e| wkhlu srwhqwldo fxvwrphuv1 Lw lv zruwk phqwlrqlqj wkdw kljk frqvhtxhqfh lv vrph0 zkdw ri d uhodwlyh whup1 W|slfdoo|/ kljk frqvhtxhqfh v|vwhpv duh ghqhg dv v|vwhpv lq zklfk wkhuh lv dq h{0 wuhph qhjdwlyh frqvtxhqfh uhvxowlqj iurp idloxuh1 Iru h{dpsoh/ d idxow| ixho gholyhu| v|vwhp lq dq dxwrpr0 eloh pljkw uhvxow lq vhyhudo ghdwkv ohdglqj wr d uhfdoo ri doo yhklfohv kdylqj wklv ixho gholyhu| v|vwhp1 Dq lq0 fruuhfw urerwlf pdqxidfwxulqj v|vwhp fdq uhvxow lq gh0 vwuxfwlrq ri frvwo| htxlsphqw +l1h1/ wkh urerwv, dv zhoo dv dq h{whqghg vkxwgrzq ri wkh pdqxidfwxulqj sodqw1 D idxow| wudlq frqwuroohu frxog fdxvh wkh froolvlrq ri wudlqv/ dqg d idxow| zhdsrqv v|vwhp frxog uhvxow lq wkh orvv ri wkrxvdqgv ru hyhq kxqguhgv ri wkrxvdqgv ri olyhv1 W|slfdoo|/ d v|vwhp +kljk frqvhtxhqfh ru rwkhu0 zlvh, lv ghvljqhg/ dqdo|}hg/ lpsohphqwhg/ dqg whvwhg wr vrph h{whqw1 Dw wklv srlqw/ li doo kdv jrqh zhoo/ wkh sk|vlfdo v|vwhp lwvhoi lv whvwhg/ li srvvleoh1 Qrwh wkdw wkhuh duh pdq| sk|vlfdo v|vwhpv zklfk/ iurp d uhdvrqdeoh vwdqgsrlqw/ fdqqrw eh whvwhg1 Diwhu doo/ wkh sxusrvh ri whvwlqj lv wr glvfryhu idloxuhv/ dqg kljk frqvhtxhqfh v|vwhpv/ e| ghqlwlrq/ vkrxog qrw eh do0 orzhg wr h{shulhqfh idloxuhv1 Iru h{dpsoh/ lw grhvq*w pdnh vhqvh wr _whvw% d qxfohdu srzhu sodqw lq krshv ri glvfryhulqj +kljk frqvhtxhqfh, v|vwhp idloxuhv1 Dovr/ rqh0vkrw v|vwhpv/ olnh wkh Duldqqh 8/ fdqqrw eh sk|v0
lfdoo| whvwhg1 Ehfdxvh ri wkh glfxowlhv vxuurxqglqj wkh sk|v0 lfdo whvwlqj ri kljk frqvhtxhqfh v|vwhpv/ wkh srvvl0 elolw| ri xvlqj frpsxwhu vlpxodwlrqv wr whvw vxfk v|v0 whpv lv ehlqj h{soruhg1 Wkh Kro| Judlo lq wklv hog ri vwxg| lv wr frqvwuxfw d frpsohwho| dffxudwh prgho ri uhdolw| +l1h1/ wkh v|vwhp dqg lwv rshudwlqj hqylurq0 phqw, lq d yluwxdo vhwwlqj1 Li wklv fdq eh dffrpsolvkhg wkhq yluwxdo whvwlqj frxog eh hhfwlyho| vxevwlwxwhg iru sk|vlfdo whvwlqj wkhuhe| holplqdwlqj wkh qhjdwlyh frq0 vhtxhqfhv dvvrfldwhg zlwk wkh sk|vlfdo whvwlqj ri kljk frqvhtxhqfh v|vwhpv1
2
Ai +L*i Lu V@*_@|L? ? O} L?ti^i?Ui 5)t|i4 #ii*LT4i?|
Ehfdxvh ri wkh frvw dvvrfldwhg zlwk wkhlu idloxuh/ rqh pxvw surylgh vwurqj hylghqfh wkdw wkh ghvljq ri d kljk frqvhtxhqfh v|vwhp lv idxow0iuhh/ ru idlolqj wklv/ wkdw lw lv h{wuhpho| xqolnho| iru wkh ghvljq wr frqwdlq d idxow1 Wkh delolw| ri whvwlqj dorqh +sk|vlfdo ru vlpxodwhg, wr surylgh wklv hylghqfh lv kljko| txhvwlrqdeoh ^4`^6`^:`1 Wkh uhdvrq ehlqj wkdw whvwlqj d vxlwdeoh sruwlrq ri wkh lqsxw vsdfh zrxog vlpso| wdnh wrr pxfk wlph/ hyhq li suhvhqw0gd| dffhohudwhg whvwlqj whfkqltxhv duh xvhg1 Wkxv whvwlqj zloo qrw eh vxflhqwo| h{kdxvwlyh dqg khqfh fdq rqo| vhuyh wr ydolgdwh wkdw v|vwhp zloo qrw h{shulhqfh d idloxuh1 Lq wklv sdshu/ zh xvh wkh whup ydolgdwh wr ghvfuleh dfwlylwlhv wkdw gr qrw kdyh wkh srwhqwldo ri surplvlqj fhuwdlqw|/ dqg zh xvh wkh whup yhuli| wr ghvfuleh dfwlylwlhv wkdw kdyh wkh srwhqwldo ri surplvlqj +pdwkhpdwlfdo, fhuwdlqw|1 Iru h{dpsoh/ h{kdxvwlyh whvwlqj fdq eh xvhg wr yhuli| wkh fruuhfwqhvv ri d v|vwhp zkhuhdv sduwldo whvwlqj fdq rqo| eh xvhg wr ydolgdwh wkh fruuhfwqhvv ri d v|vwhp1 Wkh eduulhu wr surylglqj vwurqj hylghqfh wkurxjk wkh sduwldo whvwlqj ri d v|vwhp udlvhv dq lqwhuhvwlqj sklorvrsklfdo txhvwlrq= _Zkdw lv wkh sxusrvh ri whvw0 lqj lq wkh kljk frqvhtxhqfh v|vwhp duhqdB% Lq h{0 sorulqj wklv txhvwlrq/ ohw xv uhvwulfw rxuvhoyhv wr kljk frqvhtxhqfh vriwzduh v|vwhpv1 Zkhq ghyhorslqj kljk frqvhtxhqfh vriwzduh v|v0 whpv wkh fxuuhqwo| dffhswhg dssurdfk frqvlvwv ri wzr skdvhv1 Wkh uvw skdvh lv fdoohg wkh irupdol}dwlrq skdvh/ dqg wkh vhfrqg lv fdoohg wkh lpsohphqwdwlrq skdvh1 Lq wkh irupdol}dwlrq skdvh/ dq lqirupdo sure0 ohp ghvfulswlrq lv pdsshg lqwr d irupdo iudphzrun1 Wkh irupdol}dwlrq skdvh lv frpsohwhg zkhq d +irupdo, vshflfdwlrq kdv ehhq rewdlqhg1 Lq wkh lpsohphqwdwlrq skdvh/ d irupdo vshflfd0
wlrq lv xvhg dv wkh edvlv iru surgxflqj dq +h{hfxwdeoh, lpsohphqwdwlrq1 Vlqfh erwk wkh vshflfdwlrq dqg wkh lpsohphqwdwlrq duh irupdo remhfwv +l1h1/ wkh| kdyh d suhflvh dqg zhoo0ghqhg vhpdqwlfv, wkh srvvlelolw| h{0 lvwv/ lq wkhru|/ wr xvh pdwkhpdwlfdo surri whfkqltxhv wr irupdoo| yhuli| wkdw wkh lpsohphqwdwlrq vdwlvhv +l1h1/ lv fruuhfw zlwk uhvshfw wr, wkh vshflfdwlrq iurp zklfk lw zdv ghulyhg1 Dvvxplqj wklv fdq eh grqh/ zkdw fdq eh vdlg derxw wkh lpsohphqwdwlrqB Jlyhq wkhvh dv0 vxpswlrqv/ wkh vwurqjhvw vwdwhphqw wkdw rqh fdq pdnh derxw wkh lpsohphqwdwlrq lv wkdw lw grhv mxvw zkdw vshflfdwlrq vd|v lw vkrxog gr1 Lq sduwlfxodu/ rqh fdq0 qrw vd| wkdw wkh lpsohphwdwlrq vroyhv wkh sureohp lw lv lqwhqghg wr vroyh1 Wkh uhdvrq rqh fdqqrw pdnh wklv fodlp lv wkdw wkh vshflfdwlrq lwvhoi pd| eh lqfruuhfw wr ehjlq zlwk1 Li yhulfdwlrq whfkqltxhv fdq eh xvhg wr ghprq0 vwudwh wkdw dq lpsohphqwdwlrq vdwlvhv lwv vshflfd0 wlrq/ wkhq wkh ydoxh dgghg e| whvwlqj wkdw dq lpsoh0 phqwdwlrq vdwlvhv lwv vshflfdwlrq lv txhvwlrqdeoh1 Lq wkh olplw/ li zh dvvxph dzohvv dqg frpsohwh yhulfd0 wlrq/ wkhq whvwlqj/ iru wklv skdvh ri vriwzduh ghyhors0 phqw/ ehfrphv uhgxqgdqw1 Krzhyhu/ hyhq lq wklv fdvh zkhuh rqh dvvxphv wkdw yhulfdwlrq dfklhyhv vxfk oriw| jrdov/ whvwlqj lv vwloo qhfhvvdu| ehfdxvh rqh fdq qhyhu eh fhuwdlq wkdw wkh irupol}dwlrq skdvh kdv ehhq grqh fruuhfwo|1 Wklv xq0 fhuwdlqw| dulvhv iurp wkh idfw wkdw wkh irupdol}dwlrq surfhvv lv pdsslqj lqirupdo nqrzohgjh lqwr d irupdo iudphzrun1 Wkxv irupdol}dwlrq/ e| lwv yhu| qdwxuh/ olhv eh|rqg wkh uhdfk ri yhulfdwlrq1 Irfxvlqj rxu dwwhqwlrq rq wkh irupdol}dwlrq skdvh/ zh vhh wkdw lw frqfhuqv lwvhoi zlwk prgholqj wkh uhdo zruog xvlqj irupdo qrwdwlrqv1 Djdlq/ lq wkh kljk frq0 vhtxhqfh uhdop/ zh zrxog olnh wr surylgh vwurqj hyl0 ghqfh wkdw wkhvh prghov/ xsrq zklfk wkh vshflfdwlrq lv exlow/ duh lqghhg fruuhfw1 Surylglqj vwurqj hylghqfh lq wkh fruuhfwqhvv ri vshflfdwlrqv +dqg wkh prghov wkh| duh frpsulvhg ri, lv ri h{wuhph lpsruwdqfh eh0 fdxvh vwxglhv kdyh vkrzq wkdw d vljqlfdqw shufhqwdjh ri lpsohphqwdwlrq huuruv fdq eh wudfhg edfn wr huuruv lq wkh vshflfdwlrq^9`1 Wr gdwh prvw ydolgdwlrq whfkqltxhv duh kljko| el0 dvhg wrzdugv fdofxodwlrqv lqyroylqj v|perolf uhsuh0 vhqwdwlrqv ri sureohpv1 Wkhvh fdofxodwlrqv duh hlwkhu irupdo +lq wkh fdvh ri frqvlvwhqf| dqg frpsohwhqhvv fkhfnv,/ ru lqirupdo lq wkh fdvh ri frgh lqvshfwlrqv1 Zh eholhyh wkdw dq hvvhqwldo w|sh ri _hylghqfh% ri wkh fruuhfwqhvv ri wkh irupdol}dwlrq surfhvv pxvw eh sur0 ylghg e| +pxvw ruljlqdwh iurp, kxpdq0edvhg fdofxod0 wlrq/ ehfdxvh wkh ruljlqdo sureohp lv irupxodwhg e| kx0 pdqv1 Zh ixuwkhu eholhyh wkdw kxpdq fdofxodwlrq fdq
eh vljqlfdqwo| dpsolhg e| vkliwlqj iurp v|perolf uhsuhvhqwdwlrqv wr judsklfdo uhsuhvhqwdwlrqv1 Wklv sd0 shu ghvfulehv rxu suholplqdu| hruwv lq uhdol}lqj vxfk d uhsuhvhqwdwlrqdo vkliw1
L_i*tG i?|@*c Vh|@*c @?_ 6Lh4@*
Zlwklq wkh irupdol}dwlrq surfhvv/ ehiruh d prgho fdq eh vshflhg/ lw pxvw uvw eh xqghuvwrrg e| wkh vshfl0 hu1 Wklv xqghuvwdqglqj lv xowlpdwho| lq wkh irup ri d phqwdo prgho/ dqg vkrxog eh dv frpsohwh dv qhfhvvdu| iru wkh frqwh{w +l1h1/ zlwk uhvshfw wr wkh vshflfdwlrq, lq zklfk lw lv wr eh xvhg1 Diwhu d phqwdo prgho kdv ehhq ghyhorshg lw lv wkhq pdsshg lqwr d irupdo gr0 pdlq +h1j1/ pdwkhpdwlfdo h{suhvvlrqv,/ dw zklfk srlqw lw ehfrphv sduw ri wkh v|vwhp vshflfdwlrq1 Wkhuh duh wzr vrxufhv ri huuruv wkdw dulvh gxulqj wklv dfwlylw|1 Iluvw/ wkh vshflhu fdq ghyhors dq lqfru0 uhfw phqwdo prgho/ dqg vhfrqg/ wkh vshflhu fdq lqwur0 gxfh huuruv lq wkh surfhvv ri pdsslqj d +fruuhfw, phq0 wdo prgho lqwr d irupdo grpdlq1 Erwk ri wkhvh w|shv ri plvwdnhv fdq eh/ wr vrph h{whqw/ glvfryhuhg wkurxjk frqvlvwhqf| dqg frpsohwhqhvv fkhfnv1 Krzhyhu/ lw lv lpsruwdqw wr qrwh wkdw frqvlvwhqf| dqg frpsohwhqhvv fkhfnv duh qhfhvvdu|/ exw qrw vxflhqw/ wr dvvxuh wkdw d prgho lv fruuhfw1 Wkh wzr huuru vrxufhv phqwlrqhg deryh duh dpsol0 hg dv prghov ehfrph pruh frpsoh{1 Dv wkh frpsoh{0 lw| ri d prgho lqfuhdvhv wkh delolw| iru lw wr eh judvshg lq lwv wrwdolw| ehjlqv wr hoxgh wkh vshflhu1 Zkhq wklv kdsshqv wkh olnholkrrg ri huuruv rffxuulqj fdq lqfuhdvh gudpdwlfdoo|1 Zh eholhyh wkdw yluwxdo uhodolw| fdq eh xvhg wr dp0 soli| wkh vshflhuv delolw| wr frqvwuxfw phqwdo prghov dv zhoo dv dvvlvw lq wkh pdsslqj ri phqwdo prghov wr irupdo qrwdwlrqv1 Iru fhuwdlq w|shv ri v|vwhp prg0 hov +h1j1/ urerwlf v|vwhpv, wkhuh lv d yhu| gluhfw pds0 slqj ehwzhhq wkh prgho/ dv ghvfulehg e| pdwkhpdwl0 fdo irupxodv/ dqg wkh sk|vlfdo zruog1 Riwhqwlphv/ iru wkhvh w|shv ri v|vwhpv wkh phqwdo prghov fdq eh yhu| fohdu +wkrxjk wkh| pljkw eh frpsoh{, dqg wkh pdmru glfxow| olhv lq fruuhfwo| h{suhvvlqj dvshfwv ri wkhvh prghov lq whupv ri v|perolf irupxodv1 Uhvhdufk kdv ehhq frqgxfwhg rq krz wkhvh nlqgv ri irupxodv fdq eh zulwwhq dqg vwuxfwxuhg lq vxfk d zd| wkdw wkh| fdq eh xqghuvwrrg lq dq lqfuhphqwdo idvklrq^7`1 Rxu uh0 vhdufk dgguhvvhv wkh vdph lvvxh/ exw dwwhpswv wr vroyh wkh sureohp lq d judsklfdo iudphzrun udwkhu wkdq lq d pdwkhpdwlfdo iudphzrun1 Wkh edvlf lghd lv wr frqvwuxfw d irupdoo| ghqhg
yluwxdo uhsuhvhqwdwlrq ri d v|vwhp1 Jlyhq vxfk d frq0 vwuxfwlrq/ irupxodv fdq eh lq vrph vhqvh _surmhfwhg% rqwr wklv v|vwhp uhsuhvhqwdwlrq1 Wkh fruuhfwqhvv ri d irupxod fdq wkhq eh ydolgdwhg e| kxpdq lqvshfwlrq/ pxfk lq wkh vdph zd| wkdw wkh pdwkhpdwlfdoo| vwuxf0 wxuhg v|pero0edvhg irupxodv duh ydolgdwhg e| kxpdq lqvshfwlrq1 Rxu eholhi lv wkdw kxpdq lqwxlwlrq dqg xq0 ghuvwdqglqj zloo eh pxfk pruh hhfwlyh zlwk uhvshfw wr d 6G ylvxdo0edvhg uhsuhvhqwdwlrq ri d irupxod/ wkdq lw zrxog eh lq d pdwkhpdwlfdo grpdlq1
e
Bh@TU@* +iThiti?|@|L?t Lu 6Lh4@* L_i*t
Rxu orqj0whup uhvhdufk remhfwlyh lv wr eh deoh wr judsklfdoo| glvsod| +lq vrph vxlwdeoh pdqqhu, dvshfwv ri irupdo +v|perolf, ghvfulswlrqv ri v|vwhpv1 Fxu0 uhqwo|/ rxu hruwv kdyh ehhq uhvwulfwhg wr d vxevhw ri uhdfwlyh v|vwhpv wkdw kdyh ehhq fodvvlhg dv vwd0 eoh ^;`1 Hvvhqwldoo|/ wkh glvwlqjxlvklqj ihdwxuhv ri vwd0 eoh uhdfwlyh v|vwhpv duh wkdw +4, vwdwh wudqvlwlrqv fdq rqo| eh lqlwldwhg e| wkh frqwuroohu +h1j1/ qrw e| wkh hqylurqphqw,/ +5, wudqvlwlrqv ehwzhhq vwdwhv duh gh0 whuplqlvwlf/ dqg prvw lpsruwdqwo| +6, wkh v|vwhp fdq eh kdowhg lq dq| vwdwh zlwkrxw wkh qhhg iru frqwlqxrxv prqlwrulqj dqg frqwuro +l1h1/ wkh uhdfw surfhvv fdq eh vxvshqghg lq dq| vwdwh,1 Vwdeoh uhdfwlyh v|vwhpv fdq eh irupdoo| prghohg lq wkh wudglwlrqdo pdqqhu dv d yhfwru ri prqlwruhg dqg frqwuroohg yduldeohv1 $
Ohw p @ ip4 5 G4 /111pm 5 Gm j ghqrwh wkh re0 vhuydeoh vwdwh ri wkh v|vwhp1 $
Ohw f @ if4 5 F4 /111fn 5 Fn j ghqrwh wkh yhfwru ri frqwuro yduldeohv ri wkh v|vwhp1 $
Wkhq v @ ip4 /111pm / f4 /111fn j lv wkh vwdwh vsdfh $ $ ri wkh v|vwhp1 Qrwh wkdw p f frqwdlqv G4 === Gm F4 === Fn vwdwhv1 Wudqvlwlrqv ehwzhhq vwdwhv lv jhqhudoo| jlyhq e| d vhw ri htxdwlrqv ri wkh irup= $
$f
$
$
~ S +p, $ I +p, zkhuh S = p $ erro lv d $ suhglfdwh rq wkh revhuydeoh vwdwh/ dqg I = p $ $ p lv d ixqfwlrq rq wkh revhuydeoh vwdwh1 Zh frqvlghu d v|vwhp d vxlwdeoh fdqglgdwh iru judsklfdo glvsod| li wkhuh lv d vwurqj +lqwxlwlyho| fohdu, ylvxdo uhodwlrqvkls ehwzhhq G4 === Gm dqg sk|vlfdo uhdolw|1 Urerwlf v|vwhpv duh riwhq kdyh vxfk surshuwlhv
dqg duh wkhuhiruh sulph fdqglwdwhv iru wkh judsklfdo glvsod|v zh duh ghyhorslqj1 $ $ $ Jlyhq d prgho/ v @ p f / ri wkh vwdwh vsdfh ri d v|vwhp wrjhwkhu zlwk d vhw ri wudqvlwlrqv zh duh lqwhuhvwhg lq judsklfdoo| glvsod|lqj wkh iroorzlqj ixq0 gdphqwdo dvshfwv ri wkh prgho= Wkh revhuydeoh vwdwh vsdfh G4 ===Gm ru vxevhwv ri wkh irup iGl > Gn > Gp j zkhuh 4 l> n> p m1 Vxevhwv ri wkh revhuydeoh vwdwh vsdfh ghqhg e| $ suhglfdwhv +h1j1/ S +p,,1 Zh kdyh irxqg lw xvh0 ixo wr glvsod| wkhvh vxevhwv lq wkh frqwh{w ri wkh sruwlrq ri wkh revhuydeoh vwdwh vsdfh +h1j1/ iGl > Gn > Gp j, wkdw zh duh fxuuhqwo| ylhzlqj1 $
Ixqfwlrqv I +p, lq whupv ri dq h{solflw vhw ri lq0 sxw2rxwsxw sdluv1 Iurp rxu h{shulhqfhv zh kdyh irxqg wkdw ylhzlqj wkhvh w|shv ri ixqfwlrqv lq whupv ri judsklfdo uhsuhvhqwdwlrqv ri vhwv/ uhsuh0 vhqwlqj wkh wrwdolw| ri wkh lqsxw rxwsxw uhodwlrq ghqhg e| wkh ixqfwlrq/ lv xvhixo1 $
$f
$
Wudqvlwlrqv S +p, $ I +p,1 D wudqvlwlrq fdq eh glvsod|hg e| uvw glvsod|lqj wkh vxevhw ghqhg e| $ S +p, dqg wkhq xvlqj wkh hohphqwv ri wklv vhw dv wkh lqsxw grpdlq iru I 1 Lq dgglwlrq wr glvsod|lqj wkh edvlf dvshfwv ri v|v0 whp prghov ghvfulehg deryh/ zh duh dovr lqwhuhvwhg lq ghyhorslqj d vhw ri rshudwruv dqg d fdofxoxv iru glv0 sod|lqj ehkdylrudo dvshfwv ri wkhvh prghov1 Zh eholhyh wkdw wkh iroorzlqj dqlpdwlrq rshudwruv fdq eh xvhixo iru xqghuvwdqglqj dqg ydolgdwlqj v|vwhp prghov= Ilqlwh uhslwlwlrq ri d wudqvlwlrq1 Li w lv d wudq0 vlwlrq/ wkhq wq ghqrwhv q uhslwlwlrqv ri w1 Irupdoo|/ wkh vhpdqwlfv ri qlwh uhslwlwlrq fdq eh ghqhg dv iroorzv= $
$f
41 Jlyhq d wudqvlwlrq ri wkh irup= w @ S +p, $ $ I +p, 51 Wkh h{suhvvlrq wq fdq eh glvsod|hg dv iro0 orzv= $
$
61 Frpsxwh V3 @ ip3 mS +p3 ,j1 71 zkloh q 9@ 3 aV3 9@ > gr +d, Glvsod| V3 1
$
$
$
+e, Frpsxwh V4 @ ip4 m< p3 5 V3 a I +p3 $ , @p4 j1 +f, Hudvh wkh glvsod| ri V3 zkloh vprrwko| glvsod|lqj V4 1
+g, V3 =@ V4 > +h, q =@ q 4> Wudqvlwlyh forvxuh ri d wudqvlwlrq1 Li w lv d wudqvlwlrq/ wkhq w ghqrwhv wkh wudqvlwlyh forvxuh ri wklv wudqvlwlrq1 Irupdoo|/ wkh vhpdqwlfv ri wkh wudqvlwlyh forvxuh rshudwru fdq eh ghqhg dv iro0 orzv= $
$f
41 Jlyhq d wudqvlwlrq ri wkh irup= w @ S +p, $ $ I +p, 51 Wkh h{suhvvlrq w fdq eh glvsod|hg dv iro0 orzv= 61 Vrog =@ >
$
$
71 Frpsxwh V3 @ ip3 m S +p3 ,j1 81 zkloh V3 9@ > a V3 9@ Vrog gr +d, Glvsod| V3 1 $ $ $ $ +e, V4 =@ ip4 m < p3 5 V3 a I +p3 , @ p4 j +f, Hudvh wkh glvsod| ri V3 zkloh vprrwko| glvsod|lqj V4 1 +g, Vrog =@ V3 +h, V3 =@ V4 > Vhtxhqwldo frpsrvlwlrq ri wudqvlwlrqv1 Wkh vhtxhqwldo frpsrvlwlrq ri wudqvlwlrqv w4 > ===> wq lv ghqrwhg w4 > w5 > ===> wq dqg lv glvsod|hg dv iroorzv= 41 l =@ 4> 51 Ohw V3 eh wkh hqwluh revhuydeoh vwdwh vsdfh1 61 zkloh l q aV3 9@ > gr $
$f
$
+d, Rewdlq wl @ Sl +p, $ Il +p, $
$
$
+e, Frpsxwh V4 @ ip3 m p3 5 V3 aSl +p3 ,j1 +f, Glvsod| V4 1 $
$
$
+g, Frpsxwh V5 @ ip5 m< p4 5 V4 a I +p4 $ , @p5 j1 +h, Hudvh wkh glvsod| ri V4 zkloh vprrwko| glvsod|lqj V5 1 +i, V3 =@ V5 > +j, l =@ l . 4 Sdudooho frpsrvlwlrq ri wudqvlwlrqv1 Wkh sdu0 dooho frpsrvlwlrq ri wudqvlwlrqv w4 > ===> wq lv ghqrwhg w4 mmw5 mm===mmwq dqg lv glvsod|hg dv iroorzv= 41 Ohw V3 eh wkh hqwluh revhuydeoh vwdwh vsdfh1 $
$
51 Frpsxwh V4 @ ip3 m p3 5 V3 a 6j ~ G5 @ i4> 5j ~ G6 ===Gm duh wkh grpdlqv ri wkh prqlwruhg yduldeohv iru wkh uhvw ri wkh v|vwhp +zklfk zh duh qrw suhvhqwo| lqwhuhvwhg lq,1 D fuxgh 5G uhsuhvhqwdwlrq ri wkh vwdwh vsdfh ri wkh hohfwur0pdjqhw lv vlpso|=
Lq jhqhudo/ wkh Hxfolghdq uhodwlrqvklsv wkdw re0 mhfwv qhhg wr vdwlvi| duh ghwhuplqhg e| wkh fruuhvsrqg0 lqj uhodwlrqvklsv suhvhqw lq wkh sk|vlfdo v|vwhp1 Lw lv lq wklv pdqqhu wkdw remhfwv lq wkh prgho duh erxqg wr +dqg uhhfw dwwulexwhv ri, wkh sk|vlfdo v|vwhp1 Dv prghov jhw pruh frpsoh{ lw ehfrphv xvhixo wr ylvxdoo| irfxv rq sruwlrqv ri wkh prgho +h1j1/ vxevhwv ri remhfwv,1 Rqh zd| wr vxssruw wklv lv wr surylgh d phfkdqlvp iru pdnlqj remhfwv lqylvleoh/ wudqvsduhqw/ ru zluh iudphg1 71414
Glvsod|lqj Suhglfdwhv
Lw vkrxog eh qrwhg wkdw wkhuh duh ydulrxv lvvxhv wkdw qhhg wr eh dgguhvvhg lq rughu wr ghqh zkdw lw phdqv wr glvsod| wkh vwdwhv _vdwlvhg% e| d suhglfdwh1 Frq0 vlghu d v|vwhp zkrvh revhuydeoh vwdwh vsdfh lv prg0 $ hohg e| wzr prqlwruhg yduldeohv1 Wkdw lv/ p @ ip4 5 G4 /p5 5 G5 j1 Ixuwkhu pruh/ vxssrvh wkdw G4 @ i4> 5> 6j dqg G5 @ i4> 5j/ dqg wkdw G4 G5 lv glvsod|hg dv d 6 5 duud| ri fxehv/ zkrvh 5G yhuvlrq lv vkrzq ehorz= fohdu fohdu
fohdu fohdu
fohdu fohdu $
Frqvlghu glvsod|lqj wkh suhglfdwh S +p, @ p4 ? 6 e| frorulqj wkrvh remhfwv wkdw vdwlvi| wkh suhglfdwh/ dqg uhqghulqj lqylvleoh wkh remhfwv wkdw gr qrw vdwlvi| wkh suhglfdwh1 rsdtxh rsdtxh
rsdtxh rsdtxh
fohdu fohdu
Wkh uhodwlrqvkls ehwzhq wkh vwdwhv ghqhg e| wkh suhglfdwh dqg glvsod| vhhpv lqwxlwlyh1 Krzhyhu/ qrz ohw xv frqvlghu d glhuhqw jhrphwulfdo uhodwlrqvkls1 Vxssrvh wkdw p4 ghqrwhv wkh vwdwh ri d frqyh|ru ehow kdylqj wkuhh uhjlrqv/ ohiw/ plggoh/ dqg uljkw/ dqg wkdw p5 ghqrwhv wkh vwdwh ri dq dgmdfhqw frqyh|ru ehow kdy0 lqj wzr uhjlrqv/ ohiw dqg uljkw1 Li wkh uljkw uhjlrq ri wkh uvw frqyh|ru lv dgmdfhqw wr wkh ohiw uhjlrq ri wkh vhfrqg frqyh|ru/ zh jhw wkh iroorzlqj 5G uhsuhvhqwd0 wlrq= fohdu
fohdu
fohdu
fohdu
fohdu $
Li zh dvvxph wkh wudglwlrqdo rulhqwdwlrq ri wkh { dqg | d{hv/ wkhq jhrphwulf remhfw +l1h1/ wkh vtxduh, lq $ wkh xsshu uljkw fruqhu ghqrwhv wkh vxeyhfwru ri p frq0 vlvwlqj ri wkh prqlwruhg yduldeohv p4 dqg p5 kdylqj wkh ydoxhv 6 dqg 5 uhvshfwlyho|1
Djdlq/ ohw xv frqvlghu wkh suhglfdwh S +p, @ p4 ? 61 Dw wklv srlqw/ wkhuh duh wzr srvvleoh glvsod|v1 rsdtxh ru
rsdtxh
fohdu
rsdtxh
rsdtxh
rsdtxh
rsdtxh
fohdu
fohdu
fohdu
Jlyhq wkh glvfulswlrq ri wkh sk|vlfdo/ wzr frq0 yh|ru/ v|vwhp/ zh eholhyh wkdw wkh vhfrqg glvsod| pruh fohduo| vkrzv wkh duhd wkdw wkh suhglfdwh lv lqwhqghg wr ghvfuleh1 Wkh uhdvrq ehlqj wkdw wkh vwdwh vsdfh ri wkh vhfrqg frqyh|ru lv lq qr zd| uhvwulfwhg e| wkh suhg0 lfdwh1 Lq idfw/ iurp wkh shuvshfwlyh ri wkh suhglfdwh/ wkh vhfrqg frqyh|ru frxog eh uhpryhg dowrjhwkhu +l1h1/ wkhuh lv fruuhodwlrq ehwzhhq wkh remhfwv ghqrwlqj wkh vhfrqg frqyh|ru dqg wkrvh ghqrwlqj wkh uvw,1 Iurp wkhvh revhuydwlrqv/ rxu dojrulwkp iru glvsod|lqj suhg0 lfdwhv lv dv iroorzv=
wr vxssruw d zlgh vhqvrulxp/ lqfoxglqj 6G judsklfv/ 6G vrxqg/ 6G vphoo/ vlpsoh kdswlfv/ dqg yhuedo frq0 yhuvdwlrqv/ erwk zlwk duwlfldo hohphqwv lq wkh hqyl0 urqphqw dqg rwkhu lpphuvhg zrunhuv1 Hdfk xvhu rshu0 dwhv iurp zlwklq wkhlu shuvrqdo zrunvsdfh uhsuhvhqwhg dv d vxuurxqglqj grghfdkhgudo yhvvho/ zklfk lv rzq wkurxjk wkh YH dqg frqwdlqv fxvwrpl}deoh frqvrohv/ vfuhhqv/ dqg frqwurov/ dv zhoo dv wkhlu shuvrqdo wrro fkhvw1 Wkh zrunhu lqwhudfwv zlwk wkh yhvvho dqg hqyl0 urqphqw wkurxjk wkh xvh ri fxvwrp kdqg khog zdqgv dqg wkh xvh ri yrlfh frppdqgv1
$
41 Jlyhq d yhfwru ri prqlwruhg yduldeohv/ p @ ip4 5 G4 /111pm 5 Gm j/ jurxs wkhvh yduldeohv dffrug0 lqj wr wkh sk|vlfdo frpsrqhqwv zklfk wkh| fru0 uhvsrqg wr1 Iru h{dpsoh/ doo yduldeohv xvhg wr ghvfuleh wkh vwdwh ri d frqyh|ru ehow duh jurxshg wrjhwkhu1 51 Jlyhq d suhglfdwh S ghwhuplqh wkh vhw ri prql0 wruhg yduldeohv +h1j1/ ip4 > p7 > p8 j, wkdw duh uhi0 huhqfhg lq wkh suhglfdwh1 Iru h{dpsoh/ wkh suhg0 lfdwh lq wkh h{dpsoh deryh uhihuhqfhv wkh vhw ri yduldeohv ip4 j1 61 Jlyhq d uhihuhqfhg vhw ri prqlwruhg yduldeohv/ gh0 whuplqh zklfk frpsrqhqwv wkhvh yduldeohv ehorqj wr1 Wkhvh duh wkh frpsrqhqwv wkdw duh uhihuhqfhg e| wkh suhglfdwh1 71 Glvsod| doo wkh yduldeohv ehorqjlqj wr doo ri wkh frpsrqhqwv wkdw duh uhihuhqfhg e| wkh suhglfdwh1 Jlyhq wkh deryh glvsod| dojrulwkpv/ zh pxvw qrz wxuq wr wkh judsklfdo hqylurqphqw lq zkflk wkh vwdwh vsdfhv zloo eh uhqghuhg1 Wkh iroorzlqj vhfwlrq eulh| ghvfulehv rxu yluwxdo hqylurqphqw v|vwhp1
D
Ai 6*@|*@?_ Vh|@* ,? hL?4i?| 5i**
Iodwodqg/ qdphg lq krqru ri Hgzlq Deerww*v 4;;7 errn e| wkh vdph qdph/ zdv zulwwhq lq wkh uvw kdoi ri 4 ===p58 A1 Vrph ri wkh v|vwhp dwwulexwhv ghvfulehg e| wkhvh yduldeohv duh=
+h1j1/ frqwdlqlqj kxqguhgv ru hyhq wkrxvdqgv ri hoh0 phqwv,1 Krzhyhu/ prvw ri wkhvh ydoxhv duh qrw lqwhu0 hvwlqj iurp wkh shuvshfwlyh ri wkh vshflfdwlrq/ dqg iru wklv uhdvrq lw lv srvvleoh wr irupdoo| jurxs vhwv ri hohphqwv lqwr htxlydohqfh fodvvhv1 Lqwxlwlyho|/ wzr ho0 hphqwv ehorqj wr wkh vdph htxlydohqfh fodvv/ li dqg rqo| li wkh vdph frqwuro yhfwru fdq eh dssolhg/ lq doo fdvhv/ wr erwk hohphqwv lq rughu wr dfklhyh wkh ghvluhg ryhudoo v|vwhp ehkdylru1 Jurxslqj hohphqwv lqwr htxlydohqfh fodvvhv uhvxowv lq wkh fruuhvsrqglqj prqlwruhg yduldeoh ehlqj txdq0 wlhg ryhu dq devwudfwhg grpdlq1 Iru h{dpsoh/ wkh frqfuhwh vhqvru gdwd ghvfulelqj wkh dqjoh ri urwdwlrq ri wkh hohydwlqj urwdwlqj wdeoh fdq eh devwudfwhg wr d grpdlq kdylqj vl{ ydoxhv1 Wklv devwudfwhg grpdlq ghqhv wkh htxlydohqfh fodvvhv wkdw qhhg wr eh glv0 wlqjxlvkhg e| d frqwuroohu ri wklv v|vwhp lq rughu wr dfklhyh wkh ehkdylru ghvfulehg lq wkh vshflfdwlrq1
Wkh urwdwlrq dqg khljkw ri wkh hohydwlqj urwdwlqj wdeoh1 Wkh suhvhqfh2devhqfh ri d sodwh rq wkh urwdwlqj wdeoh1 Wkh suhvhqfh ri d sodwh rq wkh ohiw dqg uljkw uh0 jlrqv ri d frqyh|ru ehow1 Wkh urwdwlrqdo srvlwlrq ri wkh urerw dqg wkh h{0 whqvlrqv ri erwk ri lwv dupv1 Wkh vwdwh ri wkh hohfwur0pdjqhw rq wkh urerw dupv/ dv zhoo dv zkhwkhu wkh dup lv kroglqj d sodwh1 Hdfk ri wkhvh yduldeohv lv txdqwlhg ryhu d vsh0 flf grpdlq1 Iru h{dpsoh/ d yduldeoh ghqrwlqj wkh suhvhqfh2devhqfh ri d sodwh rq wkh urwdwlqj wdeoh lv txdqwlhg ryhu d grpdlq kdylqj wzr ydoxhv +h1j1/ iwuxh/idovhj,1 Wkh yduldeoh ghqrwlqj wkh dqjoh ri urwd0 wlrq ri wkh hohydwlqj urwdwlqj wdeoh lv txdqwlhg ryhu wkh vhw ri srvvleoh dqjohv wkdw wklv vhqvru fdq glvwlq0 jxlvk1 Prgholqj vhqvru gdwd lq lwv frqfuhwh irup fdq uh0 vxow lq yduldeohv ehlqj txdqwlhg ryhu yhu| odujh vhwv
D ylhz ri wkh vsdfldo uhodwlrqvklsv lq wkh devwudfwhg vwdwh vsdfh ri wkh Surgxfwlrq Fhoo Jlyhq d prgho ri wkh revhuydeoh vwdwh vsdfh ri wklv v|vwhp/ zh qh{w ghqh krz wkh dvvljqphqw ri ydoxhv wr frqwuroohg yduldeohv fdq fkdqjh wkh v|vwhp vwdwh1 Lq lwv prvw ixqgdphqwdo irup rqh zrxog h{0 solflwo| ghqh +l1h1/ hqxphudwh, doo srvvleoh wudqvlwlrqv iurp hyhu| vlqjoh revhuydeoh vwdwh1 Krzhyhu/ vxfk dq dssurdfk zrxog ohdg wr d v|vwhp zkhuh wkh qxpehu ri wudqvlwlrqv lv sursruwlrqdo wr wkh vl}h ri wkh revhuydeoh vwdwh vsdfh1 Hyhq iru prghvw v|vwhpv/ wkh revhuydeoh vwdwh vsdfh fdq frqwdlq rq wkh rughu ri 4343 vwdwhv/ pdnlqj dq h{kdxvwlyh hqxphudwlrq dssurdfk lqihdvl0 eoh1 Iru wklv uhdvrq/ vwdwh wudqvlwlrqv duh zulwwhq lq pruh frpsdfw dqg jhqhudo whupv1 Wklv kdv wkh xqiru0 wxqdwh frqvhtxhqfh ri lqfuhdvlqj wkhlu frpsoh{lw| dv zhoo dv wkh olnholkrrg wkdw wkh| frqwdlq rqh ru pruh huuruv1 Devwudfwo|/ wudqvlwlrqv duh ri wkh irup=
$ fl @ym
$
S +p, $ i +p, zkhuh S lv d suhglfdwh rq wkh revhuydeoh vwdwh/ fl @ ym ghqrwhv wkh dvvljqphqw ri wkh ydoxh ym wr wkh frqwuro $ $ yduldeoh fl / dqg i = p $ p1 Lq sudfwlfh/ wkh qrwd0 wlrq zh xvh lv voljkwo| glhuhqw dqg zh lqfoxgh wkh h{suhvvlrq deryh wr kljkoljkw wkh wkuhh dvshfwv ri d wudqvlwlrq= +4, d errohdq h{suhvvlrq rq wkh yhfwru ri prqlwruhg yduldeohv/ +5, wkh dvvljqphqw ri d ydoxh wr d frqwuro yduldeoh/ dqg +6, d ixqfwlrq ghqlqj d fkdqjh ri wkh prqlwruhg yduldeohv1
Zh qrz frqvlghu d voljkwo| vlpsolhg h{dpsoh ri dq dfwxdo wudqvlwlrq iurp wkh surgxfwlrq fhoo1 Zh frq0 vlghu wkh ghqlwlrq ri d sduwlfxodu vhw ri frqglwlrqv xqghu zklfk wkh +hohydwlqj urwdwlqj, wdeoh fdq eh ho0 hydwhg1 Wkh frpsoh{lw| lq uhdo sureohp iurp zklfk wklv h{dpsoh lv ghulyhg dulvhv iurp wkh vsdfldo ghshq0 ghqflhv wkdw h{lvw ehwzhhq dup 4 ri wkh urerw dqg wkh wdeoh1 Iru h{dpsoh/ li dup 4 lv lq d fhuwdlq srvlwlrq dqg lv kroglqj d sodwh dqg wkhuh lv d sodwh rq wkh wd0 eoh/ wkhq xqghu fhuwdlq flufxpvwdqfhv d sodwh froolvlrq zloo rffxu zkhq wkh wdeoh lv hohydwhg wr lwv xsshuprvw srvlwlrq1 Dqrwkhu lvvxh wkdw qhhgv wr eh frqvlghuhg lv wkh hhfw ri kdylqj wkh hohfwur0pdjqhw ri dup 4 _rq% zkhq lw lv lq forvh sur{lplw| wr wkh wdeoh1 Li dup 4 lv wrr forvh wr wkh wdeoh/ wkhq kdylqj wkh hohfwur0pdjqhw _rq% zloo fdxvh sureohpv zkhq wkh wdeoh kdv d sodwh rq lw1 Lq wklv h{dpsoh/ zh duh lqwhvwhg lq ghqlqj wkh vwdwh vsdfh ri dup 4 lq zklfk froolvlrqv zlwk wkh wdeoh duh qrw srvvleoh1 Wkdw lv/ wkh vwdwh vsdfh ri dup 4 wkdw grhv qrw lqwhuvhfw zlwk wkh vwdwh vsdfh ri wkh wdeoh1 Zh zloo dovr dvvxph +iru vlpsolflw|, wkdw lq wklv uhjlrq/ wkh vwdwh ri wkh hohfwur0pdjqhw fdqqrw dwwudfw d sodwh wkdw lv rq wkh wdeoh1 Zh ehjlq e| irupdoo| ghqlqj wkh devwudfwhg re0 vhuydeoh vwdwh vsdfh ri wkh wdeoh dqg wkh urerw1 Wdeoh @ ?{4 > {5 > {6 A dqg Urerw @ ?{7 > {8 > {9 > {: > {; > {< > {43 A dqg ;l = 4 l 43 $ {l 5 Gl zkhuh
D pruh ghwdlohg ylhz ri ri wkh vsdfldo uhodwlrqvklsv lq d sruwlrq ri wkh devwudfwhg vwdwh vsdfh ri wkh Surgxfwlrq Fhoo Lw lv dw wklv srlqw/ zkhq zh duh ghqlqj wudqvl0 wlrqv/ wkdw pdsslqj rxu xqghuvwdqglqj +l1h1/ rxu phq0 wdo prgho, ri wkh v|vwhp lqwr v|perolf h{suhvvlrqv +l1h1/ wudqvlwlrqv, fdq ehfrph glfxow1 Wklv glfxow| dulvhv gxh wr wkh frpsoh{lw| wkdw lv lqwurgxfhg e| wkh lqwhudfwlrq ehwzhhq v|vwhp frpsrqhqwv1 Iru h{dpsoh/ li dup 4 ri wkh urerw kdv d sduwlfxodu udqjh ri h{whq0 vlrq/ wkhq urwdwlqj wkh urerw fdq uhvxow lq d froolvlrq zlwk wkh suhvv/ li wkh suhvv lv lq d sduwlfxodu srvlwlrq1 Iurp wklv h{dpsoh/ zh vhh wkdw iurp wkh shuvshfwlyh ri vdihw|/ frpsrqhqw lqwhudfwlrq uhvwulfwv wkh vwdwh vsdfh ri frpsrqhqwv dqg fuhdwhv ghshqghqflhv ehwzhhq wkh grpdlqv wkdw prqlwruhg yduldeohv duh txdqwlhg ryhu1 Wkdw lv/ wkh ydoxhv wkdw d prqlwruhg yduldeoh fdq kdyh lv frqvwudlqhg e| surshuwlhv ri rwkhu prqlwruhg yduldeohv +h1j1/ wkh prqlwruhg yduldeoh pl fdq rqo| kdyh ydoxh u zkhq wkh prqlwruhg yduldeoh pm kdv d ydoxh wkdw lv ohvv wkdq v,1
G4 @ i 4/ 5/ 6 j @ khljkw ri wdeoh G5 @ i 4/ 5/ 111 / 9 j @ dqjoh ri urwdwlrq ri wdeoh G6 @ i 3/ 4 j @ suhvhqfh2devhqfh ri sodwh rq wdeoh G7 @ i 4/ 5/111/ 4< j @ dqjoh ri urwdwlrq ri urerw G8 @ i 4/ 5/ 111/ ; j @ h{whqvlrq ri dup 4 G9 @ i 3/ 4 j @ dup4 pdjqhw r2rq G: @ i 3/ 4 j @ suhvhqfh2devhqfh ri sodwh iru dup 4 G; @ i 4/ 5/111/ : j @ h{whqvlrq ri dup 5 G< @ i 3/ 4 j @ dup5 pdjqhw r2rq G43 @ i 3/ 4 j @ suhvhqfh2devhqfh ri sodwh iru dup 5 Zh qrz frpelqh wkh irupdo ghvfulswlrq ri wkh de0 vwudfwhg vwdwh vsdfh ri rxu v|vwhp zlwk vsdfldo nqrzo0 hgjh1 Lq jhqhudo/ zh duh lqwhuhvwhg lq wkh vsdfldo uh0 odwlrqvklsv wkdw vwdwhv kdyh wr rqh dqrwkhu1 Lq wklv h{dpsoh/ zh duh vshflfdoo| lqwhuhvwhg lq wkh lqwhuvhf0 wlrq ri wkh vwdwh vsdfhv ghvfulelqj wkh wdeoh dqg dup 4 ri wkh urerw1 Jlyhq wkh dssursuldwh vsdfldo lqirupdwlrq zh qh{w frqvwuxfw d judsklfdo uhsuhvhqwdwlrq fruuhvsrqglqj wr wkh irupdo ghvfulswlrq jlyhq deryh1 Diwhu wklv kdv
ehhq dffrpsolvkhg zh fdq frqvlghu surmhfwlqj d suhg0 lfdwh rqwr wkh judsklfdo uhsuhvhqwdwlrq ri wkh prgho lq wkh pdqqhu ghvfulehg lq Vhfwlrq 714141 Zh duh lqwhuhvwhg lq glvsod|lqj wkh iroorzlqj suhg0 lfdwh=
Ylhzlqj wklv suhglfdwh khosv xv wr ydolgdwh wkdw lw ghvfulehv wkh lqwhqghg sruwlrq ri wkh vwdwh vsdfh1 Diwhu ydolgdwlrq/ wklv suhglfdwh wkhq fdq eh xvhg dv d suhfrqglwlrq ghqlqj d vwdwh wudqvlwlrq/ vxfk dv wkh rqh jlyhq ehorz1
S +{4 > {5 > {6 > {7 > {8 > {9 > {: > {; > {< > {43 , @
v|vwhp+ wdeoh+{4 > {5 > {6 ,/ urerw+{7 > {8 > {9 > {: > {; > {< > {43 ,/ ,
+{7 ; b {8 @ 4, a {4 ? 6 a {6 @ 4 Wklv suhglfdwh ghvfulehv +4, dup 4 ri wkh urerw zklfk lv lq d urwdwlrqdo ru h{whqvlrqdo srvlwlrq wkdw grhv qrw lqwhuvhfw zlwk wkh xsshuprvw srvlwlrq ri wkh wdeoh/ dqg +5, d wdeoh frqwdlqlqj d sodwh zklfk lv qrw lq lwv xsshuprvw srvlwlrq1 Wkh jxuhv ehorz vkrz wzr ylhzv ri wkh prgho zlwk wklv suhglfdwh glvsod|hg1 Qrwh wkdw wkh uvw ylhz hpskdvl}hv +{7 ; b {8 @ 4, zkloh wkh vhfrqg hpskdvl}hv {4 ? 6 a {6 @ 41 Ehfdxvh rulhqwdwlrq sod|v vxfk d slylwdo uroh lq wkh frjqlwlrq ri frpsoh{ prghov lw lv yhu| xvhixo wr eh deoh wr _| durxqg% d prgho1
= {4 ? 6 a {6 @ 4 a +{7 ; b {8 @ 4, $wdeoh xs$ v|vwhp+wdeoh+{4 . 4> {5 > {6 ,/ urerw+{7 > {8 > {9 > {: > {; > {< > {43 ,/ , Lq wkh deryh wudqvlwlrq/ wkh _v|vwhp% frqvlvwv ri d wdeoh dqg d urerw1 Prqlwruhg yduldeohv ghvfulelqj dvshfwv ri wkh wdeoh duh jurxshg zlwk wkh wdeoh/ dqg prqlwruhg yduldeohv ghvfulelqj dvshfwv ri wkh urerw duh jurxshg zlwk wkh urerw1 Uhfdoo wkdw wklv jurxslqj lv qhfhvvdu| lq rughu wr surshuo| glvsod| suhglfdwhv4 +vhh Vhfwlrq 71414,1 Li d v|vwhp vwdwh vdwlvhv wkh suhglfdwh {4 ? 6 a {6 @ 4 a +{7 ; b {8 @ 4,/ wkhq wkh wdeoh xs frppdqg +l1h1/ vhwwlqj wkh surshu frqwuro yduldeoh wr wklv ydoxh, zloo fdxvh wkh v|vwhp wr wudqvlwlrq wr d vwdwh zkhuh wkh ydoxh ri {4 lv lqfuhphqwhg e| 4 dqg doo rwkhu prqlwruhg yduldeohv uhpdlq xqfkdqjhg1
. D ylhz hpskdvl}lqj +{7 ; b {8 @ 4,
D ylhz hpskdvl}lqj {4 ? 6 a {6 @ 4
L?U*tL?t @?_ 6|hi `Lh!
Lq wkh kljk frqvhtxhqfh uhdop/ ghprqvwudwlqj wkh fru0 uhfwqhvv ri wkh irupdol}dwlrq skdvh kdv qrw ehhq vdw0 lvidfwrulo| dgguhvvhg e| fxuuhqw ydolgdwlrq whfkqltxhv1 Ixuwkhupruh/ zh eholhyh wkdw kxpdq0edvhg ydolgdwlrq whfkqltxhv edvhg rq uhdvrqlqj derxw v|perolf uhsuh0 vhqwdwlrqv ri v|vwhpv gr qrw hhfwlyho| wdnh dgydqwdjh ri wkh kxpdq frjqlwlyh surfhvv1 Zh dovr eholhyh wkdw vxlwdeoh ylvxdo dqg vsdfldo uhsuhvhqwdwlrqv ri lqirupd0 wlrq fdq eh pruh uhdglo| xqghuvwrrg e| kxpdqv1 D vljqlfdqw qxpehu ri v|vwhpv kdyh sk|vlfdo fkdudfwhulvwlfv wkdw pdnh wkhp vxlwdeoh fdqglgdwhv iru judsklfdo ydolgdwlrq whfkqltxhv edvhg rq wkh lghdv gh0 vfulehg lq wklv sdshu1 Dw suhvhqw/ zh kdyh ghyhorshg U|@**)c
@ 4Lhi hi?i_ }hLT?} t ?ii_i_ |L }i?ih@|i |i _tT*@) tL? ? |t i @4T*i
dq lqlwldo wkhru| iru glvsod|lqj vxfk v|vwhpv lq d ylu0 wxdo hqylurqphqw1 Zh dovr kdyh ghyhorshg d surwrw|sh v|vwhp wr wu| rxw dqg uhqh rxu lghdv1 D ghflhqf| lq wkh fxuuhqw v|vwhp lv wkdw prghov dqg wkhlu vsdfldo uhodwlrqvklsv duh fuhdwhg e| kdqg1 Zh kdyh ghyhorshg d surwrw|sh yhuvlrq ri d vshflfd0 wlrq odqjxdjh iru irupdoo| ghvfulelqj vsdfldo uhodwlrq0 vklsv dqg frqvwudlqwv wkdw d yluwxdo prgho pxvw vdwlvi|1 Wkhvh vsdfldo uhodwlrqvklsv dqg frqvwudlqwv ghqhg lq d vshflfdwlrq fdq jhqhudoo| eh vdwlvhg e| pxowlsoh judsklfdo lqwhusuhwdwlrqv1 Doorzlqj pxowlsoh judsklfdo lqwhusuhwdwlrqv lv xvhixo ehfdxvh lw shuplwv d judskl0 fdo lqwhusuhwdwlrq wr eh dowhuhg +zkloh vwloo suhvhuy0 lqj vshflhg surshuwlhv, wr hqkdqfh xqghuvwdqglelolw|1 Krzhyhu/ lw frpsolfdwhv wkh wdvn ri dxwrpdwlfdoo| jhq0 hudwlqj judsklfdo lqwhusuhwdwlrqv1 Lw lv rqh ri rxu orqj whup uhvhdufk jrdov wr dgguhvv wklv sureohp lq d vxlw0 deoh pdqqhu1 Lq wkh vkruw whup/ zh zrxog olnh wr lqwhjudwh rxu v|vwhp zlwk prghov wkdw kdyh ehhq uljrurxvo| frq0 vwuxfwhg/ vxfk dv Sur0H prghov1 Zh eholyh wkdw wkh lqwhjudwlrq ri vxfk prghov lqwr rxu v|vwhp zrxog eh d vljqlfdqw vwhs lq hqvxulqj wkdw rxu glvsod|v idlwkixoo| uhsuhvhqw dvshfwv ri wkh sk|vlfdo v|vwhp1
H
U!?L*i_}i4i?|t
Zh zrxog olnh wr jlyh vshfldo wkdqnv wr Vkhoo| Ulfkdugv iru khu hruwv lq ghyhorslqj wkh surwrw|sh ri wkh v|v0 whp ghvfulehg lq wklv sdshu1
+iuihi?Uit ^4` Ulfn| Z1 Exwohu dqg Jhrujh E1 Ilqhool1 Wkh Lq0 ihdvlelolw| ri Txdqwli|lqj wkh Uholdelolw| ri Olih0 Fulwlfdo Uhdo0Wlph Vriwzduh1 ^5` Wkrpdv S1 Fdxghoo1 Iru pruh rq Iodwodqg/ vhh= zzz1xqp1dksff2krpxqfxoxv1 ^6` F1 Plfkdho Kroorzd|1 Zk| Hqjlqhhuv Vkrxog Frq0 vlghu Irupdo Phwkrgv1 ^7` U1 Mdqlfnl/ G1 Sduqdv/ dqg M1 ]xfnhu1 Wdexodu Uhs0 uhvhqwdwlrqv lq Uhodwlrqdo Grfxphqwv1 FUO Uh0 sruw Qr1 646/ Qryhpehu 4
