Iloolqj d Pxowlfroru Xuq=

dq d{lrpdwlf dqdo|vlv

Khuyì Prxolq dqg Ulfkdug Vwrqj

Ulfh Xqlyhuvlw|

Mdqxdu| 5334

4
 Devwudfw
Zh vwxg| wkh suredelolvwlf glvwulexwlrq ri lghqwlfdo vxffhvvlyh
xqlwv1 Zh uhsuhvhqw wkh doorfdwlrq surfhvv dv wkh oolqj ri dq xuq zlwk
edoov ri glhuhqw froruv +rqh froru shu djhqw,1 Dssolfdwlrqv lqfoxgh
wkh vfkhgxolqj ri krprjhqhrxv wdvnv dprqj zrunhuv dqg doorfdwlqj
qhz zrunhuv ehwzhhq glylvlrqv1 Wkh {hg fkdqfhv phwkrgv doorfdwh
hdfk xqlw lqghshqghqwo| ri wkh fxuuhqw glvwulexwlrq ri vkduhv1 Wkh
Sro|d0Hjjhqehujhu phwkrgv sodfh lq dq xuq d {hg qxpehu ri edoov
dqg gudz iurp wkh xuq zlwk uhsodfhphqw ri wzr edoov ri wkh froru
gudzq1
Wkhvh wzr idplolhv ri xuq0oolqj phwkrgv hphujh xqltxho| iurp
rxu d{lrpdwlf glvfxvvlrq lqyroylqj= d yhuvlrq ri wkh idploldu Frq0
vlvwhqf| surshuw|> Vkduh Prqrwrqlflw|. +p| suredelolw| ri uhfhlylqj
wkh qh{w edoo lv qrq0ghfuhdvlqj lq p| fxuuhqw vkduh,> Lqghshqghqfh
ri Wudqvihuv +wudqvihuulqj edoov dfurvv djhqwv lv qrw surwdeoh, dqg
Rughu Lqghshqghqfh +d vhtxhqfh ri vxffhvvlyh doorfdwlrqv lv dv olnho|
dv dq| shupxwhg vhtxhqfh,1
Zh dovr h{soruh wkh lpsdfw ri Vkduh Prqrwrqlflw|b +p| suredelo0
lw| ri uhfhlylqj wkh qh{w edoo lv qrq0lqfuhdvlqj lq p| fxuuhqw vkduh,/
ohdglqj wr dq htxdol}dwlrq ri lqglylgxdo vkduhv dorqj d {hg vwdqgdug
ri frpsdulvrq1
Nh|zrugv= xuq0oolqj phwkrgv/ pdunryldq/ frqvlvwhqf|/ Sro|d0Hjjhqehujhu

Khuyì Prxolq/ Ghsduwphqw ri Hfrqrplfv/ PV 55/ Ulfh Xqlyhuvlw|/

S1R1 Er{ 4;<5/ Krxvwrq/ W[ ::58404;<5/ XVD/ prxolqCulfh1hgx/
kwws=22zzz1uxi1ulfh1hgx2hfrq2sdshuv2lqgh{1kwpo
Ulfkdug Vwrqj/ Ghsduwphqw ri Pdwkhpdwlfv/ PV 469/ Ulfh Xql0
yhuvlw|/ S1R1 Er{ 4;<5/ Krxvwrq/ W[ ::58404;<5/ XVD/ vwrqj C
ulfh1hgx
MHO= G96

Wklv uhvhdufk lv vxssruwhg e| wkh QVI xqghu judqw VHV33<95631

Zh judwhixoo| dfnqrzohgjh wkh fulwlfdo frpphqwv ri vhplqdu dqg frq0

ihuhqfh sduwlflsdqwv lq Shqq Vwdwh/ Mrkqv Krsnlqv/ XW Dxvwlq/ VPX/ Do0
lfdqwh +Vrfldo Fkrlfh dqg Zhoiduh phhwlqjv,/ dqg Eloedr +Jdph Wkhru|
phhwlqjv,1

5
 Iloolqj d Pxowlfroru Xuq= dq d{lrpdwlf
dqdo|vlv
4 Lqwurgxfwlrq

Lq dq xuqoolqj sureohp/ wkhuh lv d vhw Q @ i4> 5> ===> qj ri djhqwv/ hdfk djhqw
l ehlqj uhsuhvhqwhg e| d glhuhqw froru1 Wkh xuq frqwdlqv lqlwldoo| {l edoov ri
froru l> dqg w dgglwlrqdo edoov pxvw eh dgghg wr wkh xuq1 Wkh txhvwlrq lv wr
doorfdwh wkh w edoov ehwzhhq wkh djhqwv lq Q> qdpho| wr sdlqw hdfk edoo lq rqh ri
wkh q froruv1 Orwwhulhv duh xvhg iru wkh vdnh ri idluqhvv= h1j1/ li w @ 4> wkh vlqjoh
edoo pd| eh htxdoo| glylghg dprqj wkh q djhqwv e| dvvljqlqj lw wr hdfk djhqw l
zlwk suredelolw| 4@q=
Dq xuqoolqj phwkrg vhohfwv d +suredelolvwlf, doorfdwlrq iru hdfk xuqoolqj
sureohp1
Wkh xuqoolqj prgho uhsuhvhqwv d ydulhw| ri glvwulexwlyh mxvwlfh sureohpv
zkhuh d jlyhq vhw ri djhqwv vkduh vrph krprjhqhrxv lqglylvleoh xqlwv1 Iru
lqvwdqfh wkh l  wk ghsduwphqw ri d xqlyhuvlw| froohjh fxuuhqwo| kdv {l srvlwlrqv
dqg w qhz srvlwlrqv kdyh ehhq ixqghg/ wkdw pxvw eh doorfdwhg ehwzhhq wkh
ghsduwphqwv1 Ru djhqw l uhsuhvhqwv d frppxqlw| +flw|/ uhjlrq,/ {l lv wkh qxpehu
ri uhfuxlwv wkdw kdyh ehhq gudiwhg lq frppxqlw| l> dqg dq dgglwlrqdo exughq ri w
gudiwhhv pxvw eh glylghg dprqj wkh frppxqlwlhv1 Ru wkh djhqwv vkduh d krxvh/
{l lv wkh qxpehu ri wlphv krxvhpdwh l kdv shuiruphg d fhuwdlq fkruh +fohdq wkh
|dug,/ dqg wkh lvvxh lv zkr zloo eh qh{w1
Lq wkh deryh h{dpsohv/ {l uhsuhvhqwv djhqw l*v fxuuhqw vkduh ri uhvrxufhv/ exw
pdq| rwkhu lqwhusuhwdwlrqv duh srvvleoh1 Iru lqvwdqfh {l frxog eh wkh qxpehu S ri
uhfuxlwv wkdw frppxqlw| l rhuv wr gudiw/ dqg wkh wrwdo gudiw exughq lv w. l {l =
Ru {l lv wkh qxpehuS ri qhz fodvvhv wkdw ghsduwphqw l zlvkhv wr rhu/ dqg wkh
ghpdqg iru w . l {l fodvvhv pxvw eh phw/ ru frppxqlw| S l rhuv wr krvw {l
uhixjhhv/ exw wkh wrwdo qxpehu ri uhixjhhv lv w . l {l = Dqg vr rq1
Wkh h{wuhph vlpsolflw| ri rxu prgho frphv iurp wkh idfw wkdw djhqwv duh
rqo| glhuhqwldwhg e| d vlqjoh sdudphwhu {l / d qrq qhjdwlyh lqwhjhu wkdw fdq eh
ydulrxvo| lqwhusuhwhg dv dq dfwxdo vkduh ri wkh uhvrxufhv/ d ghpdqg/ d fodlp/ d
oldelolw| dqg vr rq1 Dq xuqoolqj phwkrg dvvrfldwhv wr hdfk suroh +{4 > ===> {q ,
dqg wr hdfk +srvlwlyh lqwhjhu, w> d suredelolw| glvwulexwlrq ryhu doo doorfdwlrqv ri
w xqlwv dprqj q djhqwv1
Rxu pdlq d{lrpv duh wzr lqyduldqfh surshuwlhv olqnlqj wkh vroxwlrqv wr gli0
ihuhqw xuqoolqj sureohpv1 Wkh Pdunryldq surshuw| vd|v wkdw wkh doorfdwlrq ri
w xqlwv lv htxlydohqw wr w vxffhvvlyh lqghshqghqw doorfdwlrqv ri rqh xqlw= lq rwkhu
zrugv wkh phwkrg lv hqwluho| ghwhuplqhg e| wkh zd| lw doorfdwhv d vlqjoh xqlw
lq wkh xuq +{4 > ===> {q ,> l1h1/ e| wkh suredelolvwlf glvwulexwlrq ryhu Q ghvfulelqj
zkr uhfhlyhv wkh qh{w xqlw jlyhq wkh fxuuhqw vwdwh ri wkh xuq1 Wkh Frqvlvwhqf|
surshuw| vd|v wkdw wkh doorfdwlrq ri w xqlwv wr q djhqwv lv htxlydohqw wr q vxffhv0
vlyh lqghshqghqw doorfdwlrqv wr wkh lqglylgxdo djhqwv1 Wkdw lv/ zh fkrrvh uvw d

6
uhdol}dwlrq |4 ri djhqw 4*v vkduh/ wkhq d uhdol}dwlrq |5 ri djhqw 5*v vkduh zkhq
w  |4 xqlwv duh doorfdwhg dprqj Qi4j> qh{w |6 uhdol}hv djhqw 6*v vkduh iurp
w  |4  |5 xqlwv dprqj Q i4> 5j> dqg vr rq1
Reylrxvo| wkh Pdunryldq dqg Frqvlvwhqf| surshuwlhv kdyh pxfk pdwkhpdw0
lfdo elwh/ zlwkrxw frqyh|lqj dq| qrwlrq ri lqwhushuvrqdo htxlw|= iru lqvwdqfh
wkh xuqoolqj phwkrg wkdw dozd|v jlyhv doo w xqlwv wr wkh vdph djhqw l +wkh
glfwdwru, lv erwk pdunryldq dqg frqvlvwhqw/ dv lv wkh +hjdolwduldq, phwkrg
wkdw doorfdwhv hdfk vxffhvvlyh xqlw zlwk htxdo suredelolw| 4@q wr hdfk djhqw1 Li
wkh hqwluh idplo| ri pdunryldq dqg frqvlvwhqw phwkrgv lv wrr frpsolfdwhg iru d
frpsdfw ghvfulswlrq/ zh qg wkdw dq dgglwlrqdo plog prqrwrqlflw| uhtxluhphqw
srlqwv wr wkh vlpsoh dqg qdwxudo Sro|d0Hjjhqehujhu xuqoolqj phwkrgv +vhh/
h1j1/ Mrkqvrq dqg Nrw} ^4<::`,1
Lq d Sro|d0Hjjhqehujhu phwkrg/ wkh xuq frqwdlqv d {hg qxpehu l ri edoov
ri froru l soxv djhqw l! v fxuuhqwSvkduh {l= Wkh qh{w xqlw lv doorfdwhg e| gudzlqj d
edoo iurp wkh xuq +frqwdlqlqj l +l . {l , edoov, dqg uhsodflqj lw zlwk wzr edoov
ri wkh vdph froru1 Wkxv djhqw l uhfhlyhv wklv xqlw zlwk suredelolw| sursruwlrqdo
wr l . {l = Qrwh wkdw l lv d srvlwlyh uhdo qxpehu/ qrw qhfhvvdulo| dq lqwhjhu1 Lq
vxfk d phwkrg/ wkh juhdwhu djhqw l! v fxuuhqw vkduh {l > wkh juhdwhu klv fkdqfhv ri
uhfhlylqj wkh qh{w xqlw1 Rqh ri rxu pdlq uhvxowv +Wkhruhp 4,/ ghvfulehv wkh idp0
lo| ri pdunryldq dqg frqvlvwhqw xuqoolqj phwkrgv vkdulqj wklv prqrwrqlflw|
surshuw| +d kljkhu fxuuhqw vkduh {l phdqv d kljkhu fkdqfh ri uhfhlylqj wkh qh{w
xqlw,1 Wkh idplo| frqvlvwv/ hvvhqwldoo|/ ri wkh Sro|d0Hjjhqehujhu phwkrgv mxvw
ghvfulehg/ dqg ri wkh {hg fkdqfhv phwkrgv/ zkhuh wkh suredelolw| glvwulexwlrq
ri wkh qh{w xqlw lv dowrjhwkhu lqghshqghqw ri wkh fxuuhqw frqwhqw ri wkh xuq1
Rxu vhfrqg pdlq uhvxow +Wkhruhp 5, fkdudfwhul}hv wkh pdunryldq dqg frq0
vlvwhqw xuq0oolqj phwkrgv zlwk wkh rssrvlwh prqrwrqlflw| surshuw|= d kljkhu
fxuuhqw vkduh {l lpsolhv d orzhu fkdqfh ri uhfhlylqj wkh qh{w xqlw1 Wkhvh lq0
foxgh wkh {hg fkdqfhv phwkrgv/ dqg pdq| rwkhu phwkrgv wkdw whqg wr htxdol}h
vkduhv mxvw olnh wkh S1H1 phwkrgv whqg wr vsuhdg wkhp1
Ehiruh dqqrxqflqj wkh frqwhqwv ri wkh sdshu/ zh uhylhz wkh uhohydqw olwhud0
wxuh1
Wkh vhplqdo prgho lv wkh udwlrqlqj dffruglqj wr fodlpv * sureohp lqwur0
gxfhg e| R*Qhloo ^4<;5`/ dqg ixuwkhu glvfxvvhg e| Dxpdqq dqg Pdvfkohu ^4<;8`/
\rxqj ^4<;:` ^4<;;` dqg pdq| rwkhuv xqghu ydulrxv qdphv/ vxfk dv edqnuxswf|
ru lqkhulwdqfh sureohp +Wkrpvrq ^4<<8` rhuv d vxuyh|,1 Lq wkh udwlrqlqj prgho/
{l lv d srvlwlyh uhdo qxpehu uhsuhvhqwlqj djhqw l*v fodlp2ghpdqg2oldelolw|/ dqg
wkh dydlodeoh S uhvrxufhv w! / dovr d srvlwlyh uhdo qxpehu/ idoo vkruw ri wkh wrwdo
!
fodlp= w ? l {l= Wkhuh lv dovr d gxdo +dqg ohvv vwxglhg, vxusoxv0vkdulqj
S
prgho zkhuh wkh uhvrxufhv w! h{fhhg wkh vxp ri lqglylgxdo fodlpv/ w! A l {l= =
\rxqj ^4<;:`/ Prxolq ^4<;:`/ Fkxq ^4<;<`/ Khuuhur hw do1 ^4<<<`1
Wkh prgho ri wklv sdshuS ehorqjv wr wkh vxusoxv0vkdulqj idplo| +prgxor wkh
fkdqjh ri yduldeoh w @ w!  l {l ,/ zlwk wzr vshfldo ihdwxuhv ri fuxfldo whfkql0
fdo lpsruwdqfh1 Iluvw wkh krprjhqhrxv frpprglw| frphv lq lqglylvleoh xqlwv/
vhfrqg wkh phwkrg vhohfwv d orwwhu| ryhu wkh ihdvleoh ghwhuplqlvwlf doorfdwlrqv1
Rxu wzr nh| d{lrpv/ Frqvlvwhqf| dqg wkh Pdunryldq surshuw|/ duh idplo0
ldu wr wkh udwlrqlqj dqg vxusoxv0vkdulqj olwhudwxuhv1 Frqvlvwhqf| kdv sod|hg wkh

7
ohdglqj uroh/ hyhu vlqfh wkh fkdudfwhul}dwlrq ri wkh v|pphwulf dqg frqvlvwhqw
udwlrqlqj ru vxusoxv0vkdulqj phwkrgv lq wkh fodvvlfdo prgho +l1h1/ glylvleoh jrrg
dqg ghwhuplqlvwlf vkduhv, e| \rxqj ^4<;:`4 1 Wkhvh phwkrgv doo kdyh d sdudphw0
ulf uhsuhvhqwdwlrq/ zklfk dsshduv wr kdyh qr frxqwhusduw lq wkh suredelolvwlf
prgho ri wklv sdshu1
Wkh Pdunryldq surshuw| sod|v d vpdoohu uroh wkdq Frqvlvwhqf| lq wkh fodvvlfdo
olwhudwxuh/ |hw lw dsshduv surplqhqwo| +xqghu ydulrxv qdphv, lq Prxolq ^4<;:`/
\rxqj ^4<;;`/ Prxolq ^5333d`/ Khuuhur hw do1 ^4<<<`1
Lq wkh fodvvlfdo prgho/ d ixoo fkdudfwhul}dwlrq ri doo pdunryldq dqg frqvlv0
whqw phwkrgv lv vwloo rxw ri uhdfk5 1 D frqvlghudeoh dgydqwdjh ri wkh suredelolvwlf
prgho lv wkdw/ xsrq dgglqj plog prqrwrqlflw| ru lqglylgxdo udwlrqdolw| frqgl0
wlrqv/ zh jhw d ixoo ghvfulswlrq ri wkh lpsdfw ri wkhvh wzr d{lrpv1
Wzr uhfhqw sdshuv e| wkh vdph dxwkruv/ Prxolq ^5333e`/ dqg Prxolq dqg
Vwrqj ^5333`/ duh d nh| lqvsludwlrq wr wkh suhvhqw zrun1 Lq wkh vdph suredelolvwlf
prgho zlwk lqglylvleoh krprjhqhrxv jrrgv/ wkhvh sdshuv frqvlghu wkh S udwlrqlqj
sureohp/ qdpho| wkh wrwdo uhvrxufhv w! idoo vkruw ri wkh wrwdo fodlp l {l= = D
vroxwlrq
S wr wkh udwlrqlqj sureohp lv d phwkrg wr hpsw| iurp wkh xuq +{4 > ===> {q ,
w @ l {l  w! xqlwv1 Wkh txhvwlrq lv zklfk vkrxog eh wkh froru ri wkh edoov zh
wdnh rxw ri wkh xuqB Iurp wkh vdph frqvlvwhqf| dqg Pdunryldq d{lrpv/ dv zhoo
dv vlplodu prqrwrqlflw| dqg lqglylgxdo udwlrqdolw| frqvwudlqwv/ wkh phwkrg fdoohg
sursruwlrqdo hphujhv= wklv phwkrg vlpso| hpswlhv wkh xuq zlwkrxw S uhsodfhphqw/
slfnlqj wkh qh{w xqlw dzd| iurp djhqw l zlwk suredelolw| {l @ m {m = Wkxv wkh
vlqjoh sursruwlrqdo xuqhpsw|lqj phwkrg lv wkh frxqwhusduw ri wkh idplo| ri wkh
Sro|d0Hjjhqehujhu xuqoolqj phwkrgv1 Diwhu hdfk rqh ri rxu pdlq uhvxow/ zh
frpphqw rq wkh fruuhvsrqglqj uhvxow/ li dq|/ lq wkh xuq0hpsw|lqj prgho= vhh
Uhpdunv 5 wr 91 Zh dovr vwuhvv wkdw pdq| surri whfkqltxhv lq wkh Dsshqglfhv
4 wr 9 iroorz forvho| wkrvh ri wkh frpsdqlrq sdshuv1

Ryhuylhz ri wkh sdshu

Wkh prgho dqg wkh nh| d{lrpv duh ghqhg lq Vhfwlrq 51 Wkh| lqfoxgh Frq0
vlvwhqf| dqg wkh Pdunryldq surshuw|/ dv zhoo dv wkh wzr surshuwlhv phqwlrqhg
deryh fdoohg Vkduh Prqrwrqlflw|. dqg Vkduh Prqrwrqlflw| +VP. dqg VP ,/
vwdwlqj uhvshfwlyho| wkdw djhqw l! v vkduh ri wkh vxusoxv w grhv qrw ghfuhdvh/ ru
grhv qrw lqfuhdvh/ dv djhqw l! v vkduh {l lqfuhdvhv1 Hdfk dvvxpswlrq lv frpshoolqj
lq fhuwdlq frqwh{wv= VP. lq wkh gudiw ru dfdghplf uhfuxlwphqw h{dpsoh/ zkhuh
d odujhu vkduh uh hfwv d odujhu oldelolw| ru d odujhu fodlp lq wkh qh{w xqlwv/ VP
lq wkh fkruhv h{dpsohv/ zkhuh d odujhu uhfrug ri fkruhv lq wkh sdvw zduudqwv d
orzhu frqwulexwlrq wrpruurz1
Lq Vhfwlrq 6/ zh uhvwulfw dwwhqwlrq wr ghwhuplqlvwlf pdunryldq dqg frqvlvwhqw
phwkrgv1 D vlpsoh ghvfulswlrq ri doo vxfk phwkrgv lv qrw srvvleoh/ hyhq lq wklv
vlpsoh fdvh1 \hw wkh vxevhw ri wkrvh phwkrgv vdwlvi|lqj Vkduh Prqrwrqlflw|% > % @
.>  kdv d yhu| vlpsoh vwuxfwxuh1 Xqghu VP. zh duh ohiw zlwk wkh xqdsshdolqj
zlqqhu wdnhv doo phwkrgv zkhuhe| dq| xuq zloo eh oohg h{foxvlyho| wr wkh
4 \rxqj*v uhvxow dovr dvvxphv vrph frqwlqxlw| dqg prqrwrqlflw| surshuwlhv1
5 \rxqj ^4<;:` dggv d v|pphwu| dvvxpswlrq soxv vrph uhjxodulw| surshuwlhv/ dqg Prxolq
^5333d` dggv dq htxdoo| srzhuixo gxdo pdunryldq surshuw|1

8
ehqhw ri rqh djhqw/ wkrxjk zklfk djhqw lv wkh zlqqhu pd| ghshqg xsrq wkh
lqlwldo xuq1 Xqghu VP zh qg wkh sodxvleoh htxdol}lqj phwkrgv wkdw hvvhqwldoo|
oo wkh xuq dffruglqj wr d {hg sdwwhuq1
Wkh Sro|d0Hjjhqehujhu +S1H1, phwkrgv duh ghqhg lq Vhfwlrq 7/ dqg fkdu0
dfwhul}hg lq Wkhruhp 4/ wrjhwkhu zlwk wkh {hg fkdqfhv phwkrgv +zkhuh wkh
glvwulexwlrq ri wkh qh{w xqlw grhv qrw ghshqg rq wkh xuq dw doo,1 Wkhruhp 4
xvhv irxu d{lrpv= Frqvlvwhqf|/ wkh Pdunryldq surshuw|/ Vkduh Prqrwrqlflw|.
dqg d plog lqglylgxdo udwlrqdolw| surshuw| vwdwlqj wkdw dq| djhqw vwdqgv vrph
srvlwlyh fkdqfh ri uhfhlylqj vrph xqlw vrphwlph lq wkh ixwxuh1 Wkh odwwhu d{lrp
lv fdoohg Srvlwlyh Ixwxuh Vkduhv +SIV,1
Wkhruhp 5 lq Vhfwlrq 8 ghvfulehv wkh xuq0oolqj phwkrgv phhwlqj wkh vdph
irxu d{lrpv/ h{fhsw wkdw Vkduh Prqrwrqlflw|. lv uhsodfhg e| Vkduh Prqrwrqlflw| =
Zh qg d ulfk idplo| ri phwkrgv sdwfklqj wrjhwkhu dq htxdol}lqj phwkrg dv lq
Vhfwlrq 6/ dw prvw rqh {hg fkdqfhv phwkrg/ dv zhoo dv vrph slhfhv ri d sur0
sruwlrqdo oolqj phwkrg1
Lq Vhfwlrq 9/ zh lqwurgxfh wzr dgglwlrqdo d{lrpv1 Wkh uvw rqh/ Lqyduldqfh
xqghu Wudqvihuv/ lv dq rog iulhqg ri wkh udwlrqlqj dqg vxusoxv0vkdulqj olwhudwxuhv
lq wkh fodvvlfdo prgho +Edqnhu ^4<;4`/ Prxolq ^4<;:`,1 Lw vwdwhv wkdw lqwhushuvrqdo
wudqvihuv ri vkduhv +iurp {4 > {5 wr {4 .6> {5 6> vd|, duh qhyhu surwdeoh +wkh wrwdo
vkduh ri djhqwv 4 dqg 5 zloo qrw fkdqjh,1 Wkh vhfrqg d{lrp/ Rughu Lqghshqghqfh/
lv qhz/ dqg dssolhv wr pdunryldq phwkrgv rqo|1 Wklqn ri doorfdwlqj w xqlwv dv d
vhtxhqfh ri ohqjwk w ghvfulelqj zkr uhfhlyhv hdfk vxffhvvlyh xqlw> wkh RL d{lrp
uhtxluhv wkdw wzr uhdol}dwlrqv ri wkh vhtxhqfh wkdw vxp xs wr wkh vdph suroh
ri vkduhv/ eh htxlsuredeoh1 Wkxv RL frqyh|v wkh lghd wkdw wkh oolqj phwkrg lv
fkurqrorjlfdoo| xqeldvhg= lw vfkhgxohv djhqwv htxdoo| riwhq lq wkh hduo| urxqgv
ru lq wkh odwh rqhv1 Lq suredelolw| wkhru|/ RL fruuhvsrqgv wr wkh surshuw| ri
udqgrp surfhvvhv fdoohg h{fkdqjhdelolw| +Eloolqjvoh| ^4<<8`,1
Wkhruhp 6 lq Vhfwlrq 9 vkrzv wkdw wkh rqo| pdunryldq oolqj phwkrgv phhw0
lqj LW dqg RL duh/ rqfh djdlq/ wkh Sro|d0Hjjhqehujhu dqg wkh {hg fkdqfhv
phwkrgv1
Vhfwlrq ; irfxvhv rq wkh pdunryldq phwkrgv phhwlqj RL exw qrw qhfhvvdu0
lo| frqvlvwhqw1 Wkhvh phwkrgv duh lqwhuhvwlqj lq wkhlu rzq uljkw wkdqnv wr dq
dsshdolqj ed|hvldq lqwhusuhwdwlrq= Wkhruhp 71
Wkh vl{ Dsshqglfhv frqwdlq doo wkh surriv dv zhoo dv vhyhudo h{whqvlrqv dqg
yduldqwv ri wkh irxu pdlq uhvxowv1 Vshflfdoo|/ zh frqvlghu lq Dsshqgl{ 5 zkdw
kdsshqv wr Wkhruhp 4 zkhq zh gurs wkh Srvlwlyh Ixwxuh Vkduhv uhtxluhphqw1 Lq
Dsshqgl{ 8 zh jlyh d fkdudfwhul}dwlrq/ doehlw d qrq0lqwxlwlyh rqh/ ri doo pdunr0
yldq dqg frqvlvwhqw phwkrgv1 Ilqdoo| Dsshqgl{ 9 rhuv d frpsohwh ghvfulswlrq
ri wkh pdunryldq dqg frqvlvwhqw phwkrgv dovr lqyduldqw xqghu wudqvihuv1

5 Xuq0oolqj phwkrgv dqg wkh nh| d{lrpv

Ohw 3 @ i3> 4> 5> ===j eh wkh vhw ri qdwxudo lqwhjhuv dqg Q eh d qlwh vhw ri djhqwv1
Dq xuq lv d sdlu +Q> {, zkhuh { @ +{l ,l#Q lv d yhfwru lq 3Q > ri zklfk wkh l  wk

9
frpsrqhqw
S {l uhsuhvhqw djhqw l! v doorfdwlrq1 Iru hdfk vxevhw V ri Q> zh zulwh
l#V {l @ {V =
D oolqj phwkrg u vshflhv iru hdfk qrq0hpsw| vxevhw Q ri d jlyhq +qlwh ru
lqqlwh, vhw Q ri srwhqwldo djhqwv/ iru hdfk lqlwldo xuq +Q> {, dqg hdfk srvlwlyh
lqwhjhu w> d udqgrp
S yduldeoh u+Q> {> w, @ \ @ +\l ,l#Q > zkhuh \l lv lqwhjhu0ydoxhg/
\l  {l > dqg l \l @ {Q . w=
Zh lpsrvh wzr srzhuixo ghfrpsrvlwlrq surshuwlhv rq oolqj phwkrgv= wkh
Pdunryldq surshuw| pdnhv wkh dgglwlrq ri w xqlwv htxlydohqw wr w lqghshqghqw
vxffhvvlyh dgglwlrqv ri rqh xqlw> wkh frqvlvwhqf| surshuw| pdnhv wkh oolqj ri dq
Q xuq htxlydohqw wr uvw frpsxwlqj djhqw l! v +udqgrp, vkduh/ wkhq frpsxwlqj
lqghshqghqwo| wkh doorfdwlrq ri wkh uhpdlqlqj xqlwv dprqj wkh uhpdlqlqj djhqwv
Q l= Wkh iruphu surshuw| olqnv wkh dvvrfldwlrq ri vxffhvvlyh xqlwv/ wkh odwwhu
olqnv wkh doorfdwlrq dfurvv qhvwhg vxevhwv ri djhqwv1
Pdunryldq Surshuw|+P,= iru doo Q> w> {> | v=w= |Q @ {Q . w dqg |  {

surediu+{> w, @ |j @
[
surediu+{> 4, @ { . hl j=surediu+{ . hl > w  4, @ |j +4,
l#Q

zkhuh hl lv wkh l  wk frruglqdwh lq 3Q > dqg zkhuh zh vhw surediu+{ . hl > w  4 @

|j @ 3 li |l @ {l +lq zklfk fdvh oolqj wkh xuq iurp { wr | suhfoxghv jlylqj dq|
xqlw wr djhqw l,= Qrwh wkdw zh rplw iurp htxdwlrq +4, dq| uhihuhqfh wr Q vlqfh
Q sod|v qr uroh lq htxdwlrq +4,1
Vwduwlqj iurp dq duelwudu| xuq +Q> {,> vxssrvh zh dgg rqh xqlw dffruglqj wr
u> vr wkdw wkh frqwhqw ri wkh xuq ehfrphv u+Q> {> 4, @ {4 > qh{w zh dgg rqh xqlw wr
wkh +uhdol}dwlrq ri, xuq {4 > wkdw ehfrphv u+Q> {4 > 4, @ {5 +wklv qhz gudz ehlqj
lqghshqghqw ri wkh uvw,/ dqg nhhs dgglqj xqlwv lq vdph idvklrq1 Wkh Pdunryldq
surshuw| vd|v wkdw w lwhudwlrqv ri wklv dojrulwkp jhqhudwh d udqgrp yduldeoh \
zlwk suhflvho| wkh vdph suredelolw| glvwulexwlrq dv u+Q> {> w,= Wkhuhiruh d pdunr0
yldq oolqj phfkdqlvp lv hqwluho| ghvfulehg e| d pdsslqj +Q> {, $ s+Q> {,>
vshfli|lqj iru hdfk xuq +Q> {, wkh suredelolw| glvwulexwlrq ri u+Q> {> 4, = sl +Q> {,
lv wkh suredelolw| wkdw djhqw l uhfhlyhv wkh uvw xqlw/ ru

sl +Q> {, @ surediu+Q> {> 4, @ { . hl j=

Frqvlvwhqf| +FV\,= iru doo Q> w> {> l 5 Q> dqg |> |  { dqg |Q @ {Q . w

surediu+Q> {> w, @ |j @
surediul +Q> {> w, @ |l j=surediu+Ql> {l > w  |l . {l , @ |l j +5,

zkhuh {l > |l duh wkh surmhfwlrqv ri {> | rq 3Q  l =

Dgglqj w xqlwv wr wkh xuq { fdq eh ghfrpsrvhg lqwr wzr vwrfkdvwlfdoo| lq0
ghshqghqw pryhv/ wkh uvw rqh fkrrvlqj djhqw l*v vkduh |l +dffruglqj wr wkh

:
suredelolw| glvwulexwlrq ri ul +Q> {> w,, dqg wkh vhfrqg rqh dgglqj w  |l xqlwv wr
wkh xuq +Ql> {l ,> qr orqjhu sd|lqj dwwhqwlrq wr djhqw l=
Zh jlyh uvw vrph h{dpsohv ri oolqj phwkrgv idlolqj rqh ru wkh rwkhu ri
wkh wzr edvlf uhtxluhphqwv= Zh vhw q @ mQm = D qrq pdunryldq h{dpsoh lv wkh
udqgrp glfwdwru phwkrg=

4
iru doo Q> w> { dqg l = surediu+Q> {> w, @ { . whl j @ +6,
q
Qrwh wkdw udqgrp glfwdwru lv frqvlvwhqw/ krzhyhu1
Dq hdv| zd| wr jhqhudwh d qrq frqvlvwhqw phwkrg lv wr ohw rqh w|sh ri phwkrg
jryhuq wkh oolqj ri xuqv dprqj wkuhh djhqwv/ dqg d frpsohwho| glhuhqw w|sh
iru oolqj xuqv zlwk wzr djhqwv1 Rqh lqvwdqfh lv wkh pdunryldq phwkrg=

4
sl +Q> {, @ iru doo Q> { dqg l zkhqhyhu mQm  6
q
4
sl +il> mj> {, @ 4 li {l ? {m > @ li {l @ {m > @ 3 li {l A {m +7,
5
Wkh idplo| ri pdunryldq dqg frqvlvwhqw oolqj phwkrgv lv vwloo yhu| frpsol0
fdwhg +vhh Dsshqgl{ 8,/ dqg lq rughu wr surylgh dq hdv| ghvfulswlrq/ zh vkdoo
dgg rqh ri wzr qdwxudo/ dqg plog/ prqrwrqlflw| surshuwlhv1
Zkhq djhqw l! v vkduh lq wkh xuq +Q> {, lqfuhdvhv iurp {l wr {l . 4> grhv
klv vkduh ri d jlyhq qxpehu ri dgglwlrqdo xqlwv jr xs ru grzqB Li wkh xqlwv
ehlqj doorfdwhg uhsuhvhqw wkh glylghqgv ri dq lqyhvwphqw dqg {l uhsuhvhqw djhqw
l! v vkduh lq wrwdo lqyhvwphqw {Q > lw lv qdwxudo wr uhtxluh wkdw wkh odujhu {l lv/
wkh odujhu djhqw l*v vkduh ri wkh glylghqgv1 Vlploduo|/ li {l uhsuhvhqw djhqw l*v
wd{ frqwulexwlrqv/ dqg wkh xqlwv duh dq dgglwlrqdo wd{ wr eh ohylhg/ d odujhu wd{
sd|phqw |hvwhugd| zduudqwv d kljkhu vkduh ri wkh wd{ exughq wrgd|1
Rq wkh rwkhu kdqg li xqlwv uhsuhvhqw fkruhv +zdvklqj wkh glvkhv/ vhqglqj
uhfuxlwv wr eh gudiwhg,/ d kljkhu qxpehu ri fkruhv shuiruphg vr idu lv jurxqgv
wr uhfhlyh d ohvvhu vkduh ri wkh qhz fkruhv wr eh glylghg1
Wkhvh h{dpsohv vxjjhvw wkh iroorzlqj wzr prqrwrqlflw| surshuwlhv/ sxoolqj
wkh oolqj phwkrg lq rssrvlwh gluhfwlrqv=

Vkduh Prqrwrqlflw| . +VP. , = iru doo Q> {> w dqg l

ul +Q> {> w,  {l  ul +Q> { . hl > w,  +{l . 4, +8,

zkhuh wkh lqhtxdolw| ehwzhhq udqgrp yduldeoh phdqv vwrfkdvwlf grplqdqfh1

Vkduh Prqrwrqlflw|  +VP , = iru doo Q> {> w dqg l


ul +Q> {> w,  {l  ul +Q> { . hl > w,  +{l . 4, +9,

Wkh surshuw| VP frqyh|v wkh lghd ri d ihhgedfn htxdol}lqj lqglylgxdo

vkduhv/ lq wkh vhqvh wkdw d kljkhu vkduh lv ohvv olnho| wr jurz wkdq d vpdoohu

;
rqh1 V|pphwulfdoo|/ VP. vxjjhvwv d uhlqirufhphqw phfkdqlvp zkhuhe| d odujhu
vkduh lv jurzlqj idvwhu wkdq d vpdoohu rqh= vxffhvv euhhgv vxffhvv dqg lw lv qrw
lqfrqfhlydeoh wkdw rqh djhqw*v vkduh ryhuwdnhv +doprvw, wkh hqwluh xuq6 1
Qrwlfh wkdw VP. dqg VP h{suhvv d fhuwdlq qrwlrq ri idluqhvv/ exw gr qrw
lqfoxgh dq| hohphqw ri lqwhushuvrqdo frpsdulvrq ri vkduhv1 Erwk d{lrpv duh/
lq idfw/ frpsdwleoh zlwk dq| dprxqw ri dv|pphwu| lq wkh wuhdwphqw ri wkh
glhuhqw djhqwv1 Iru lqvwdqfh frqvlghu d {hg fkdqfhv oolqj phwkrg/ qdpho| d
pdunryldq phwkrg zkhuh s+Q> {, @  lv lqghshqghqw ri {1 Wklv phwkrg phhwv
erwk VP. dqg VP = Dv  ydulhv lq wkh Q vlpsoh{/ lw hperglhv dq duelwudu|
dprxqw ri lqwhushuvrqdo glvfulplqdwlrq1

Uhpdun 4 1 Lq rxu fkdudfwhul}dwlrq uhvxowv +vxfk dv Wkhruhpv 4/ 5 dqg Sursr0

vlwlrq4, zh rqo| qhhg wr dvvxph d zhdnhu surshuw| wkdq VP. > >qdpho| wkh vsh0
fldo fdvh w@4 lq lqhtxdolwlhv +8, ru +9,=

VP.4 = sl +Q> {, lv qrq ghfuhdvlqj lq {l

VP4 = sl +Q> {, lv qrq lqfuhdvlqj lq {l

Zkhq Q frqwdlqv wkuhh ru pruh djhqwv/ wkh VP%4 surshuw|/ iru % @ .> > lv
vwulfwo| zhdnhu wkdq VP% dv wkh uhdghu fdq hdvlo| yhuli|7 =

Uhpdun 5 Dq xuq0hpsw|lqj phwkrg u vshflhv iru hdfk lqlwldo xuq +Q> {, dqg
hdfk lqwhjhu w> 4  w  {QS> d udqgrp yduldeoh u+Q> {> w, @ \ zkhuh \l lv lqwhjhu0
ydoxhg/ 3  \l  {l > dqg l \l @ {Q  w= Rqh lqwhusuhwdwlrq lv wkdw {l lv djhqw
l*v fodlp/ ru ghpdqg/ dqg w lv wkh vl}h ri wkh ghflw/ qdpho| wkh glhuhqfh
ehwzhhq wrwdo ghpdqg dqg dfwxdo uhvrxufhv1 Dqrwkhu idploldu lqwhusuhwdwlrq lv
wd{dwlrq= {l uhsuhvhqwv djhqw l! v wd{ oldelolw| dqg w lv wkh wrwdo wd{ wr eh ohylhg1
Vhh wkh glvfxvvlrq ri wkh udwlrqlqj2wd{dwlrq prgho lq Vhfwlrq 41
Wkh wzr frpsdqlrq sdshuv Prxolq ^5333e` dqg Prxolq dqg Vwrqj ^5333`
glvfxvvhv wkh xuq0hpsw|lqj prgho/ dv zhoo dv wkh gxdosureohp ri oolqj dq xuq
zlwk d fds/ qdpho| doorfdwlqj w xqlwv dprqj Q zkhq djhqw l! v ghpdqg {l lv dq
xsshu erxqg rq klv +udqgrp, vkduh \l = Wkh pdlq d{lrpv xvhg lq Prxolq dqg
Vwrqj ^5333` duh suhflvho| wkh vdph dv lq wkh fxuuhqw sdshu/ qdpho| Frqvlvwhqf|/
wkh Pdunryldq surshuw| +xqghu wkh qdph ri Xsshu Frpsrvlwlrq,/ dqg Vkduh
Prqrwrqlflw|. +xqghu wkh qdph ri Ghpdqg Prqrwrqlflw| ,/ qdpho| d odujhu
ghpdqg lpsolhv d odujhu uhvsrqvlelolw| lq wkh ghflw=

{l  ul +Q> {> w,  +{l . 4,  ul +Q> { . hl > w,

6 Wklv krzhyhu/ grhv qrw kdsshq lq wkh Sro|d0Hjjhqehujhu oolqj phwkrgv glvfxvvhg iurp
Vhfwlrq 7 rqzdug1
7 Wkh fdvh SS  lv dq h{fhswlrq1 Wkhuh wkh wzr surshuwlhv duh htxlydohqw/ dv fdq eh
vkrzq e| plplfnlqj wkh surri ri Ohppd 7 lq Prxolq dqg Vwrqj ^5333`1

<
Rqo| wkh Vkduh Prqrwrqlflw| d{lrp kdv qr dqdorj lq wkh xuq0hpsw|lqj prgho/
dv wkh lqhtxdolw| ul +{> w, . 4  ul +{ . hl > w, iru doo {> w zrxog lpso| ul +{> w, 
ul ++{l  4> {l ,> w, . 4  ul ++{l  5> {l ,> w, . 5  ===  {l > frqwudglfwlrq=
Prvw ri wkh uhvxowv glvfxvvhg ehorz kdyh d frxqwhusduw lq wkh xuq0hpsw|lqj
prgho/ lq vrph fdvhv dq doprvw lghqwlfdo vwdwhphqw1 Vhh Uhpdunv 6/ 7/ 8 dqg
91 Wkh surri whfkqltxhv ri Sursrvlwlrq 4/ Wkhruhpv 4 dqg 5 duh dgdswhg iurp
wkrvh lq wkh xuq0hpsw|lqj frpsdqlrq sdshu1

6 Wkh fdvh ri ghwhuplqlvwlf phwkrgv

Lq wklv vhfwlrq zh uhvwulfw dwwhqwlrq wr ghwhuplqlvwlf phwkrgv/ qdpho| u+Q> w> {,
lv qrw udqgrp diwhu doo1 Wkh vhw ri pdunryldq dqg frqvlvwhqw phwkrgv phhwlqj
rqh ri wkh wzr prqrwrqlflw| d{lrpv lv erwk hdv| wr ghvfuleh dqg qrupdwlyho|
xqdsshdolqj= h1j1/ lq wkh fdvh ri VP. > wkhvh phwkrgv ohdyh qr urrp iru d idlu
frpsurplvh1
Wkh suredelolw| glvwulexwlrq s+Q> {, lv frqfhqwudwhg rq rqh ri wkh q frrugl0
qdwh yhfwruv/ vr wkh vhw 3Q lv sduwlwlrqhg lqwr q +srvvleo| hpsw|, vhwv Pl > zlwk
{ 5 Pl l s+Q> {, @ hl= Wkh d{lrp VP.4 vd|v { 5 Pl , { . hl 5 Pl = li wkh oo0
lqj phwkrg jlyhv wkh uvw xqlw wr djhqw l zkhq wkh xuq frqwhqw lv {> wkhq djhqw l
uhfhlyhv doo vxevhtxhqw xqlwv1 V|pphwulfdoo|/ VP4 vd|v { 5 Pl , {hl= 5 Pl =
li djhqw l uhfhlyhv wkh uvw xqlw dw xuq {> vkh lv dovr wkh uvw wr eh vhuyhg zkhqhyhu
khu vkduh lv vpdoohu1

Ghqlwlrq 4 D +ghwhuplqlvwlf, vwdqgdug ri frpsdulvrq lv d olqhdu rughulqj "

ri Q 3> lqfuhdvlqj lq wkh vhfrqg frruglqdwh= +l> {l , ! +l> {l .4, iru doo +l> {l , 5
Q  3= Wkh "zlqqhuwdnhvdoo phwkrg lv wkh pdunryldq oolqj phwkrg=

s+Q> {, @ hl / +l> {l , " +m> {m , iru doo m 5 Q l

Wkh "htxdol}lqj phwkrg lv wkh pdunryldq oolqj phwkrg=

s+Q> {, @ hl / +m> {m , " +l> {l , iru doo m 5 Q l

Iru lqvwdqfh/ ohw Q @ i4> 5> ===> qj dqg " eh wkh doprvw v|pphwulf vwdqgdug=

+l> {l , " +m> {m , l i{l A {m j ru i{l @ {m dqg l ? mj

Vwduwlqj iurp dq xuq +{4> ===> {q , wkh zlqqhuwdnhvdoo phwkrg jlyhv doo xqlwv
wr dq djhqw zlwk wkh odujhvw vkduh/ zkhuhdv wkh htxdol}lqj phwkrg jlyhv wkh
qh{w xqlw wr dq djhqw zlwk wkh vpdoohvw vkduh1 Li Q frqwdlqv rqo| wzr djhqwv/
d pdunryldq oolqj phwkrg phhwlqj VP.4 +uhvs1 VP4 , lv wkh zlqqhuwdnhv
doo +uhvs1 htxdol}lqj, phwkrg dvvrfldwhg zlwk wkh iroorzlqj vwdqgdug= +l> {l , "
+m> {m , l s+{, @ hl = Lq rughu wr jhqhudol}h wklv vwdwhphqw wr dq duelwudu|/ qlwh

43
ru lqqlwh/ vhw Q zh qhhg wkh Frqvlvwhqf| surshuw|/ zklfk lq wkh ghwhuplqlvwlf
fdvh uhdgv dv iroorzv=

um +Q> {> w, @ um +Ql> {l > w  ul +Q> {> w, . {l , iru doo Q> {> w> l dqg m> l 9@ m
Li djhqw l*v vkduh lv |l zkhq w xqlwv duh vkduhg dprqj wkh djhqwv lq Q zlwk
fodlp suroh {/ wkhq wkh doorfdwlrq ri w  |l xqlwv dprqj Q l zlwk fodlpv {l
pdwfkhv wkh doorfdwlrq ri w xqlwv dprqj Q=
Sursrvlwlrq 4 D ghwhuplqlvwlf oolqj phwkrg lv pdunryldq +4,/ frqvlvwhqw +5,
dqg vkduh prqrwrqlf. +8,/ li dqg rqo| li lw lv wkh "zlqqhuwdnhvdoo phwkrg
dvvrfldwhg zlwk d vwdqgdug ri frpsdulvrq " =
D ghwhuplqlvwlf phwkrg lv pdunryldq/ frqvlvwhqw dqg vkduh prqrwrqlf +9,>
li dqg rqo| li lw lv wkh "htxdol}lqj phwkrg iru d vwdqgdug ri frpsdulvrq " =
Qrwh wkdw lw lv hqrxjk wr dvvxph wkh zhdn irup VP%4 ri Vkduh Prqrwrqlflw|%
+vhh Uhpdun 4, iru wkh rqo| li vwdwhphqw1

Uhpdun 6 Lq wkh fdvh ri xuq0hpsw|lqj phwkrgv +Uhpdun 5,/ Sursrvlwlrq 4
lq Prxolq dqg Vwrqj ^5333` ghvfulehv wkh vhw ri phwkrgv fkdudfwhul}hg e| wkh
Pdunryldq surshuw|/ Frqvlvwhqf| dqg Vkduh Prqrwrqlflw|. +vhh Uhpdun 5,1
Wkhvh phwkrgv duh wkh gluhfw frxqwhusduw ri wkh htxdol}lqj phwkrgv lq Sursr0
vlwlrq 41 Iru d vwdqgdug "> l1h1/ dq rughulqj ri Q 3 lqfuhdvlqj lq wkh vhfrqg
frruglqdwh/ wkh uvw xqlw ri ghflw lv wdnhq dzd| iurp {l l +l> {l , lv wkh odujhvw
fodlp=

u+Q> {> 4, @ {  hl / +l> {l , " +m> {m , iru doo m 9@ l

Dv wkh xuq hpswlhv/ wklv phwkrg htxdol}hv wkh fodlpv +l> {l , zlwk uhvshfw wr
wkh vwdqgdug " =

7 Sro|d0Hjjhqehujhu oolqj phwkrgv

Ghqlwlrq 5 Fkrrvh iru hdfk djhqw l lq Q d srvlwlyh zhljkw l  d srvlwlyh uhdo

qxpehu  dqg ghqrwh e|  wkh Q suroh ri wkhvh zhljkwv1 Wkh Sro|d0Hjjhqehujhu
oolqj phwkrg lv wkh iroorzlqj pdunryldq phwkrg=

l . {l
sl +Q> {, @ iru doo Q> { dqg l +:,
Q . {Q
Wkh {hg fkdqfhv oolqj phwkrg lv=

l
sl +Q> {, @ iru doo Q> { dqg l +;,
Q

44
 Wkh lqwhusuhwdwlrq ri irupxod +:, lv fohdu1 Wkh xuq frqwdlqv edoov ri glhuhqw
froruv/ rqh froru shu djhqw1 Wkhuh duh {l edoov ri froru l soxv d {hg qxpehu
l +wkdw pd| qrw eh dq lqwhjhu, Zh gudz dw udqgrp d edoo iurp wklv xuq dqg
uhsodfh lw zlwk wzr edoov ri wkh vdph froru1
Wkh Sro|d0Hjjhqehujhu +lq vkruw S1H1, xuq0oolqj phwkrgv duh d idploldu
h{dpsoh ri glvfuhwh vwrfkdvwlf surfhvv/ dqg wkhlu vwdwlvwlfdo surshuwlhv duh zhoo0
nqrzq= vhh Fkdswhu 7 lq Mrkqvrq dqg Nrw} ^4<::`1 Vwduwlqj iurp dq xuq +Q> {,/
wkh h{shfwhg ydoxh ri u+Q> {> w,  wkh xuq*v frqwhqw diwhu w edoov kdyh ehhq dgghg
 lv=

w
H^u+Q> {> w,` @ { . + . {,
Q . {Q
zkhuh  vwdqgv iru wkh surmhfwlrq ri  rq 7Q = Wkh udqgrp yduldeoh iu+Q> {> w, 
{j@w frqyhujhv lq suredelolw| wr wkh glvwulexwlrq rq wkh Qvlpsoh{ zlwk ghqvlw|
F=|44 .{4 4 =|55 .{5 4 ===|qq .{q 4 zlwk uhvshfw wr wkh Ohehvjxh phdvxuh +F lv d
qrupdol}dwlrq sdudphwhu,1 Iru lqvwdqfh/ zlwk l @ 4 dqg {l @ 3 iru doo l> wkh
suredelolw| glvwulexwlrq ri u+Q> w> {,@w frqyhujhv wr wkh Ohehvjxh phdvxuh rq
wkh Q vlpsoh{1
Wkh   S=H= oolqj phwkrg lv vkduh prqrwrqlf. = lqfuhdvlqj djhqw l! v vkduh
{l vwulfwo| lqfuhdvhv wkh suredelolw| sl +Q> {,> surshuw| +8, fdq eh fkhfnhg zlwk
d olwwoh pruh zrun1 Wkh {hg fkdqfhv phwkrg lv erwk vkduh prqrwrqlf. dqg
vkduh prqrwrqlf =
Xqolnh wkh zlqqhuwdnhvdoo phwkrgv ri Sursrvlwlrq 4/ d S1H1 ru d {hg
fkdqfhv phwkrg qhyhu ohdyhv rxw dq| djhqw iurp wkh glvwulexwlrq surfhvv= hyhu|
djhqw kdv d srvlwlyh suredelolw| ri uhfhlylqj wkh qh{w xqlw/ d surshuw| wkdw zh
fdoo

Srvlwlyh Vkduhv +SV, = sl +Q> {, A 3 iru doo Q> { dqg l +<,

Srvlwlyh vkduhv lv d vwurqj uhtxluhphqw/ uxolqj rxw iru lqvwdqfh doo ghwhuplq0
lvwlf phwkrgv1 Krzhyhu/ pdq| ri wkh htxdol}lqj phwkrgv ri Sursrvlwlrq 4 phhw
d zhdnhu surshuw|/ qdpho| wkh| jxdudqwhh wkdw qr djhqw lv hyhu ohiw rxw li zh
orrn idu hqrxjk lq wkh ixwxuh=

Srvlwlyh Ixwxuh Vkduhv +SIV, = iru doo Q> { dqg l>

wkhuh h{lvwv w vxfk wkdw H^ul +Q> {> w,` A {l +43,
Srvlwlyh ixwxuh vkduhv uxohv rxw wkh srvvlelolw| wkdw vwduwlqj iurp xuq {>
d fhuwdlq djhqw l qhyhu uhfhlyhv dq| ri wkh xqlwv glvwulexwhg lq wkh lqghqlwh
ixwxuh1 Wkxv SIV lv d plog uhtxluhphqw/ wkdw rqo| uxohv rxw h{wuhph phwkrgv
vxfk dv wkh zlqqhuwdnhvdoo ri Sursrvlwlrq 41
Wkhruhp 4 Dvvxph mQ m  6= Wkh idplo| ri wkh  Sro|d0Hjjhqehujhu +:,
dqg wkh {hg fkdqfhv +;, phwkrgv/ zkhq  ydulhv ryhu doo surohv ri srvl0
wlyh zhljkwv/ lv fkdudfwhul}hg e| hdfk rqh ri wkh wzr iroorzlqj frpelqdwlrqv ri
d{lrpv=

45
 l, Pdunryldq Surshuw| +4,/ Frqvlvwhqf| +5,/ Vkduh Prqrwrqlflw|. +8, dqg
Srvlwlyh Ixwxuh Vkduhv +43,>
ll, Pdunryldq Surshuw| +4,/ Frqvlvwhqf| +5,/ dqg Srvlwlyh Vkduhv +<,>

Lq Dsshqgl{ 5/ zh glvfxvv wkh idplo| ri phwkrgv phhwlqj Pdunryldq/ Frq0

vlvwhqf| dqg Vkduh Prqrwrqlflw|. = Lw frqwdlqv pdq| k|eulg phwkrgv/ frpelqlqj
zlqqhu0wdnhv0doo/ S1H1 dqg {hg fkdqfhv phwkrgv1
Fkhfnlqj ixuwkhu wkdw wkh wzr fkdudfwhul}dwlrq uhvxowv duh wljkw lv hdv| zlwk
wkh khos ri wkh wzr h{dpsohv +6,/ +7, lq Vhfwlrq 5 dqg ri Sursrvlwlrq 41 Zh rplw
wkh ghwdlov1
Qrqh ri wkh d{lrpv olvwhg lq Wkhruhp 4 uhtxluhv d v|pphwulf wuhdwphqw ri wkh
djhqwv/ lqghhg wkh phwkrgv wkxv fkdudfwhul}hg doorz iru dq duelwudu| ghjuhh ri
v|vwhpdwlf glvfulplqdwlrq e| dgmxvwlqj wkh zhljkwv = Frqvlghu wkh edvlf htxlw|
uhtxluhphqw nqrzq dv=
Htxdo Wuhdwphqw ri Htxdov +HWH,= iru doo Q> {> w> l dqg m

{l @ {m , ul +Q> {> w, dqg um +Q> {> w, duh lghqwlfdoo| glvwulexwhg +44,

Xqghu HWH/ wkh idplo| fkdudfwhul}hg lq Wkhruhp 4 uhgxfhv wr wkh +xqltxh,

v|pphwulf {hg fkdqfhv phwkrgv +l @ 4> doo l, dqg wr wkh rqh0glphqvlrqdo
idplo| ri v|pphwulf SH phwkrgv=

3 . {l
sl +Q> {, @ iru doo Q> mQ m @ q> doo { dqg l
q=3 . {Q
zkhuh 3 lv d srvlwlyh qxpehu1

Uhpdun 7 Lq wkh xuq0hpsw|lqj prgho/ wkh frxqwhusduw ri wkh Sro|d0Hjjhqehujhu

idplo| ri phwkrgv lv d vlqjoh phwkrg fdoohg wkh sursruwlrqdo phwkrg dqg ghqhg
dv iroorzv1 Dw xuq {> wkh suredelolw| wkdw wkh uvw xqlw lv wdnhq dzd| iurp djhqw
l lv sursruwlrqdo wr {l = Wklv phwkrg lv fkdudfwhul}hg lq Prxolq ^5333e` e| vhyhudo
frpelqdwlrqv ri d{lrpv1 Rqh uhvxow lq sduwlfxodu +vwdwhphqw l lq Wkhruhp 6,
lv wkh gluhfw frxqwhusduw ri vwdwhphqw ll lq Wkhruhp 4 deryh= wkh sursruwlrqdo
phwkrg lv fkdudfwhul}hg e| Frqvlvwhqf|/ wkh Pdunryldq surshuw| dqg Srvlwlyh
vkduhv +hyhu| djhqw kdv d srvlwlyh suredelolw| ri orvlqj wkh qh{w xqlw> wklv surs0
huw| lv fdoohg Srvlwlyh Ulvnv lq Prxolq ^5333e`,1
Rq wkh rwkhu kdqg/ Srvlwlyh Ixwxuh Vkduhv kdv qr frxqwhusduw lq wkh xuq0
hpsw|lqj prgho/ dqg wkh frpelqdwlrq ri Pdunryldq/ Frqvlvwhqf| dqg Vkduh
Prqrwrqlflw|. lv qrw hqrxjk wr fdswxuh wkh sursruwlrqdo phwkrg dorqh= pruh rq
wklv frpelqdwlrq lq Uhpdun 8 dw wkh hqg ri wkh qh{w vhfwlrq1
Wkh {hg fkdqfhv phwkrgv ri wkh xuq0oolqj prgho duh hdv| wr dgdsw lq wkh
xuq0hpsw|lqj rqh1 Jlyhq dq xuq {> rqo| wkh djhqwv lq wkh vxssruw ri {> {l A 3>
fdq orvh wkh qh{w xqlw> d {hg fkdqfhv phwkrg dvvljqv wkh suredelolw| ri orvlqj
wkh qh{w xqlw dprqj wkh djhqwv lq wkh vxssruw ri {> lq sursruwlrq wr vrph {hg
zhljkwv = Krzhyhu/ wklv phwkrg lv qrw frqvlvwhqw/ dv zh vkrz qrz1

46
 Frqvlghu wkh +pdunryldq, phwkrg jlylqj htxdo fkdqfhv ri orvlqj wkh qh{w xqlw
wr doo djhqwv lq wkh vxssruw ri {= Wkhq iru Q @ i4> 5> 6j> { @ +5> 4> 4, dqg w @ 5
zh kdyh=

8
surediu+Q> {> w, @ +4> 4> 3,j @ >
4;
44
surediu6 +Q> {> w, @ 3j @ >
4;
4
surediu+i4> 5j> +5> 4,> 4, @ +4> 4,j @
5
8 44
exw 4; 9@ 4;  45 =

8 Htxdol}lqj phwkrgv
Zh lqyhvwljdwh wkh pdunryldq dqg frqvlvwhqw oolqj phwkrgv vdwlvi|lqj Vkduh
Prqrwrqlflw| = Zh douhdg| nqrz wzr vxevhwv ri wklv idplo|/ qdpho| wkh htxdo0
l}lqj phwkrgv ri Sursrvlwlrq 4 dqg wkh {hg fkdqfhv phwkrgv +;,1 Wkhruhp 5
ehorz vkrzv wkdw wkh jhqhudo phwkrgv frpelqh wkhvh wzr lqjuhglhqwv dv zhoo dv
vrph uhvwulfwhg sursruwlrqdo phwkrgv1
Zh lqwurgxfh vrph qrwdwlrqv wrzdug wkh vwdwhphqw ri Wkhruhp 51 Jlyhq d
srvvleo| lqqlwh vxevhw P ri Q / d Plqwhuydo lv d vxevhw ^d> e^ ri 32 ghqhg
e| wkh lqhtxdolwlhv dl  }l ? el iru l 5 P1 Zh dvvxph dl ? el  .4> l1h1/ el
frxog eh lqqlwh1 Iru dq| qlwh vxevhw P ri P/ zh dexvh qrwdwlrqv e| vd|lqj
wkdw wkh Pyhfwru } lv lq ^d> e^ li dl  }l ? el iru doo l 5 P=  
Zh vd| wkdw wkh Plqwhuydo ^d> e^ lv erxqghg li e lv erxqghg e 5 32 =
Zh fdoo mPm wkh w|sh ri rxu lqwhuydo1 Wkxv wkh surshuwlhv d fhuwdlq lqwhuydo lv
erxqghg/ dqg lwv w|sh lv qlwh/ duh orjlfdoo| lqghshqghqw1
Zh ghqh qh{w d oolqj phwkrg uh uhvwulfwhg wr d jlyhq Plqwhuydo ^d> e^= Iru
dq| qlwh vxevhw P ri P/ dq| Pyhfwru } v1w1 dl  }l  el iru doo l 5 P dqg
} 9@ e> dqg dq| lqwhjhu w> 4  w  eP  }P > wkh phwkrg vshflhv d Pudqgrp
yduldeoh uh +P> }> w, @ \> zkhuh \l lv lqwhjhu0ydoxhg/ }l  \l  el iru doo l 5 P/
dqg \P @ }P . w= Qrwlfh wkdw zkhqhyhu }l @ el +zklfk fdq rqo| kdsshq li el lv
qlwh, wkh uhvwulfwhg oolqj phwkrg qhyhu jlyhv dq|pruh xqlwv wr djhqw l=
Lw lv vwudljkwiruzdug wr h{whqg wkh ghqlwlrqv ri wkh Pdunryldq surshuw|
+4,/ Frqvlvwhqf| +5, dv zhoo dv Vkduh Prqrwrqlflw|% +8,/ +9, wr d uhvwulfwhg
oolqj phwkrg1 D pdunryldq phwkrg lv uhsuhvhqwhg e| d suredelolw| glvwulexwlrq
sh +P> }, ghqhg iru doo Pyhfwruv }> d  }  e dqg } 9@ e> dqg vxfk wkdw
sl +P> }, A 3 , }l ? el =
Dq h{dpsoh ri lqwhuhvw lv wkh sursruwlrqdo phwkrg uhvwulfwhg wr d jlyhq
erxqghg Plqwhuydo ^d> e^= Wklv lv wkh iroorzlqj pdunryldq phwkrg1 Iru doo
qlwh vxevhw P ri P dqg doo Pyhfwru }> d  }  e dqg } 9@ e =

47
 el  }l
shl +P> }, @ iru doo l 5 P +45,
eP  }P
Qrwh wkdw wklv phwkrg lv Vkduh Prqrwrqlfb =

Ghqlwlrq 6 D suredelolvwlf vwdqgdug ri frpsdulvrq +lq vkruw/ d vwdqgdug, lv

d suh0rughulqj +frpsohwh/ wudqvlwlyh,  ri Q 3/ qrq0ghfuhdvlqj lq wkh vhfrqg
frruglqdwh= +l> {l ,  +l> {l . 4, iru doo l> {l =
Zh fdoo +l> {l , d fodlp e| djhqw l=

Dq lqglhuhqfh fodvv ri wkh vwdqgdug  wdnhv wkh irup ^ imj  ^dl > el ^>
m#2
zkhuh P lv d vxevhw ri Q dqg dl ? el  .4= Zh vkdoo uhsuhvhqw dq lqglhuhqfh
fodvv ri  dv wkh Plqwhuydo ^d/e^1 Zh fdoo mPm wkh w|sh ri wkh lqglhuhqfh
fodvv1
Jlyhq dq xuq +Q> {,/ zh zulwh P+{, iru wkh vxevhw ri djhqwv l zkrvh fodlp
+l> {l , lv plqlpdo zlwk uhvshfw wr d jlyhq vwdqgdug =

P+{, @ il 5 Q m +l> {l ,  +m> {m , iru doo m 5 Qj +46,

Wkh P+{,lqwhuydo uhsuhvhqwlqj wkh plqlpdo lqglhuhqfh fodvv ri  dw {

+l1h1/ wkh lqglhuhqfh fodvv ri +l> {l , iru doo l 5 P+{,, lv ghqrwhg L+{, @ ^d> e^ +iru
vlpsolflw| zh gr qrw pdnh d> e ghshqg h{solflwo| rq {,=
Qrwh wkdw P+{, @ P+{, _ Q= Zh fdoo mP+{,m wkh w|sh ri wkh xuq +Q> {,=
Li wkh w|sh ri +{> Q, lv 4/ wkh vwdqgdug kdv d xqltxh vpdoohvw fodlp +l> {l , dw {>
exw wkh frqyhuvh lv qrw wuxh= P+{, pd| eh d vlqjohwrq zkloh P+{, lv qrw1

Ghqlwlrq 7 Ohw  eh d vwdqgdug ri frpsdulvrq vxfk wkdw hlwkhu doo lqglhu0

hqfh fodvvhv duh erxqghg/ ru wkhuh lv h{dfwo| rqh xqerxqghg fodvv/ qdpho| d
Q lqwhuydo ^d> .4^ +el @ .4 iru doo l,1 Lq wkh odwwhu fdvh/ wkh xqerxqghg fodvv
lv wkh kljkhvw lqglhuhqfh fodvv ri  =
D  htxdol}lqj xuq0oolqj phwkrg lv ghqhg e| fkrrvlqj iru wkh xqerxqghg
lqglhuhqfh fodvv +li dq|, d Q suroh  ri srvlwlyh zhljkwv/ dqg iru hdfk erxqghg
lqglhuhqfh fodvv ^d> e^ ri w|sh 5 +li dq|,/ d pdunryldq oolqj phwkrg sh uhvwulfwhg
wr ^d> e^=
Wkh htxdol}lqj phwkrg lv pdunryldq1 Iru dq| xuq +Q> {, qrw ri w|sh 5
wkh vxssruw ri s+Q> {, lv P+{,> pruhryhu=

 li wkh w|sh ri +Q> {, lv dw ohdvw 6 dqg L+{, @ ^d> e^ lv erxqghg/ rxu phwkrg
lv wkh sursruwlrqdo phwkrg uhvwulfwhg wr ^d> e^=

el  {l
sl +Q> {, @ iru doo l 5 P+{,
eP+{,  {P+{,

48
  li wkh w|sh ri +Q> {, lv dw ohdvw 6 dqg L+{, @ ^d> .4^ lv wkh xqerxqghg
lqglhuhqfh fodvv/ wkhq P+{, @ Q dqg rxu phwkrg lv wkh {hg fkdqfhv=
l
sl +Q> {, @ doo l 5 Q
Q

 li wkh w|sh ri +Q> {, lv wzr +vr L+{, @ ^d> e^ lv erxqghg,/ rxu phwkrg lv wkh
jlyhq phwkrg sh uhvwulfwhg wr ^d> e^=

sl +Q> {, @ shl +P+{,> {^P +{,` , iru doo l 5 P+{,

+zkhuh {^P` ghqrwhv wkh surmhfwlrq ri { rq 3P ,

Wkh deryh ghqlwlrq h{kdxvwv doo fdvhv ehfdxvh li +Q> {, lv ri w|sh 4/ P+{,
uhgxfhv wr wkh xqltxh djhqw l zkrvh fodlp +l> {l , lv  plqlpdo1
Wkh odvw ghqlwlrq ehiruh vwdwlqj Wkhruhp 5 lv uhodwhg wr wkh surshuw| Srv0
lwlyh Ixwxuh Vkduhv1 Zh vd| wkdw d vwdqgdug  lv dufklphgldq li iru doo fodlp
+l> {l , dqg doo m> m 9@ l> wkhuh h{lvwv d fodlp +m> {m , vxfk wkdw +l> {l ,  +m> {m ,= Wklv
vd|v wkdw dq| fodlp e| dq| djhqw fdq eh uhdfkhg lq wkh vwdqgdug e| d odujh
hqrxjk fodlp ri dq| rwkhu djhqw1
Qrwh wkdw d vwdqgdug  zlwk dq xqerxqghg Q fodvv ^d > .4^> dv lq Ghql0
wlrq 7/ lv dufklphgldq1

Wkhruhp 5 Hyhu| htxdol}lqj oolqj phwkrg ghvfulehg lq Ghqlwlrq 7 lv frq0

vlvwhqw1 Lw phhwv Srvlwlyh Ixwxuh Vkduhv li dqg rqo| li wkh vwdqgdug  lv dufkl0
phgldq1 Lw lv vkduh prqrwrqlf li dqg rqo| li hdfk phwkrg uh uhvwulfwhg wr d
erxqghg lqglhuhqfh fodvv ri w|sh 5 +li dq|, lv vkduh prqrwrqlf 1
Frqyhuvho|/ dvvxph mQ m  6= D pdunryldq dqg frqvlvwhqw oolqj phwkrg/
vdwlvi|lqj Vkduh Prqrwrqlflw| dqg Srvlwlyh Ixwxuh Vkduhv/ lv d htxdol}lqj
phwkrg dv lq Ghqlwlrq 71

Wkh idplo| ri phwkrgv ghvfulehg lq Ghqlwlrq 7 lv qrw vlpsoh1 D pruh lqwx0

lwlyh vxevhw frqvlvwv ri lwv htxlwdeoh phpehuv/ lq wkh vhqvh ri Htxdo Wuhdwphqw
ri Htxdov +44,1
Zh ghvfuleh uvw wkh v|pphwulf vwdqgdugv ri frpsdulvrq1 Revhuyh wkdw dq|
sduwlwlrq ri 3 lq glvmrlqw lqwhuydov lv ghvfulehg e| d qlwh ru lqqlwh vwulfwo|
lqfuhdvlqj vhtxhqfh lq 3 ^ i.4j> d3 @ 3> d4 > ===> dn > === vxfk wkdw vxsn idn j @
.4= Wkh sduwlwlrq frqvlvwv ri wkh lqwhuydov ^dn > dn.4 ^> li lw lv qlwh wkh odujhvw
hohphqw lq wkh vhtxhqfh lv .4=
Jlyhq vxfk d vhtxhqfh/ zh ghqh iru doo } 5 3/  +}, @ n l dn  } ? dn.4 >
dqg fdoo  +}, wkh wudfh ri } lq wklv sduwlwlrq1
D vwdqgdug ri frpsdulvrq  lv v|pphwulf li +l> {l ,  +m> {m , zkhqhyhu {l @
{m = wzr fodlpv ri lghqwlfdo vl}hv duh uhjdughg dv htxlydohqw e| wkh vwdqgdug1 D
v|pphwulf vwdqgdug lv uhsuhvhqwhg e| dq lqfuhdvlqj vhtxhqfh d3 @ 3> d4 > ===> dn > ===
vxfk wkdw vxsn dn @ .4 =

+l> {l ,  +m> {m , l  +{l ,   +{m , +47,

49
dqg frqyhuvho| hyhu| vxfk vhtxhqfh ghqhv d v|pphwulf vwdqgdug1 Qrwh wkdw d
v|pphwulf vwdqgdug lv dufklphgldq1
Il{ d v|pphwulf vwdqgdug  = Iru dq| xuq +Q> {,> zh kdyh P+{, @ duj plq  +{l ,
dqg L+{, @ ^dn ="> dn.4 ="^ zkhuh n @ plql  +{l , dqg 4 lv wkh Q yhfwru zlwk doo
frruglqdwhv htxdo wr 41 Qrwh wkdw li L+{, @ ^dn ="> 4^> zh kdyh  +{l , @ n iru doo
l dqg P+{, @ Q=

Fruroodu| wr Wkhruhp 5
Il{ d v|pphwulf vwdqgdug  uhsuhvhqwhg e| wkh vhtxhqfh d3 @ 3> d4 > ===> dn > ===
dv deryh1 Frqvlghu wkh iroorzlqj pdunryldq oolqj phwkrg=

iru doo +Q> {,> ohw n @ plq  +{l , dqg p+{, @ mP+{,m
l

dn.4  {l
li dn.4 ? .4 = sl +Q> {, @ iru l 5 P+{,
p+{,dn.4  {P+{,

@ 3 iru l 5
@ P+{,

4
li dn.4 @ .4 = sl +Q> {, @ iru doo l
q
Wklv phwkrg lv frqvlvwhqw/ vkduh prqrwrqlf  dqg vdwlvhv Htxdo Wuhdwphqw ri
Htxdov +44,1
Frqyhuvho|/ dvvxph mQ m  6= Wkhuh duh qr rwkhu pdunryldq/ frqvlvwhqw oo0
lqj phwkrgv phhwlqj Vkduh Prqrwrqlflw|  dqg Htxdo Wuhdwphqw ri Htxdov1
Hdfk phwkrg lq wkh deryh idplo| lv ghwhuplqhg e| d vhtxhqfh d3 @ 3> d4 > ===> dn >
===ru/ htxlydohqwo|/ d sduwlwlrq ri 3 lq lqwhuydov1 Wkh frduvhvw sduwlwlrq/ d3 @
3> d4 @ .4/ |lhogv wkh htxdo fkdqfhv phwkrg +sl +Q> {, @ 4@q iru doo Q> { dqg
l,= Wkh qhvw sduwlwlrq/ dn @ n> n @ 3> 4> 5> ===/ |lhogv wkh phwkrg=

s+Q> {, lv xqlirupo| glvwulexwhg ryhu dujplq {l +48,

Wklv phwkrg lv forvhvw wr wkh ghwhuplqlvwlf htxdol}lqj phwkrgv ri Vhfwlrq

61 Dprqj doo phwkrgv ghvfulehg lq Wkhruhp 5/ lw ghvhuyhv ehvw wkh qdph
htxdol}lqj1 Li wzr djhqwv kdyh lghqwlfdo vkduhv lq xuq +Q> {, wkhq qr pdwwhu krz
pdq| dgglwlrqdo xqlwv duh glvwulexwhg/ wkh vkduhv ri wkhvh djhqwv qhyhu glhu e|
pruh wkdq rqh xqlw=

{l @ {m , mum +Q> {> w,  ul +Q> {> w,m  4 iru doo Q> {> w> l dqg m +49,

Rqh fdq vkrz wkdw wkh phwkrg +48, lv fkdudfwhul}hg e| wkh frpelqdwlrq ri
Vkduh Prqrwrqlflw| +9,> Htxdo Wuhdwphqw ri Htxdov +44,/ surshuw| +49,/ dqg
wkh Pdunryldq surshuw| +4,8 1
8 Wkh surri lv yhu| vlplodu wr wkdw ri Wkhruhp 4/ vwdwhphqw e lq Prxolq dqg Vwrqj ^5333`1

Lw lv rplwwhg iru euhylw|1

4:
Uhpdun 8 Wkh pdlq uhvxow +Wkhruhp 5, lq Prxolq dqg Vwrqj ^5333` fkdudf0
whul}hv doo wkh pdunryldq/ frqvlvwhqw dqg vkduh prqrwrqlf. xuq0hpsw|lqj phwk0
rgv1 Wkhlu vwuxfwxuh lv vlplodu wr wkdw ri wkh oolqj phwkrgv lq Wkhruhp 5 deryh1
Wkhuh lv d vwdqgdug ri frpsdulvrq  dqg dw xuq { wkh djhqw zkr orvhv wkh qh{w
xqlw lv dprqj wkrvh zlwk wkh vpdoohvw fodlp +l> {l ,= Zlwklq dq lqglhuhqfh fodvv
ri w|sh dw ohdvw wkuhh/ d uhvwulfwhg sursruwlrqdo phwkrg lv xvhg1 Wkh rqo| glhu0
hqfh lv wkdw wkh {hg fkdqfhv phwkrgv sod| qr uroh dq| pruh +uhfdoo iurp Uhpdun
7 wkdw vxfk d phwkrg lv qrw frqvlvwhqw lq wkh xuq0hpsw|lqj prgho,1
Qrw vxusulvlqjo|/ wkh surri whfkqltxh ri rxu Wkhruhp 5 iroorzv forvho| wkh
surri ri wkdw uhvxow1

9 Lqyduldqfh xqghu Wudqvihuv dqg Rughu Lqgh0

shqghqfh
Zh lqwurgxfh d srzhuixo lqghshqghqfh surshuw| wkdw erwk wkh {hg fkdqfhv dqg
wkh Sro|d0Hjjhqehujhu phwkrgv vdwlvi|1 Lq wxuq wklv ohdgv wr d qhz fkdudfwhul0
}dwlrq ri +d yduldqw ri, wklv idplo|1
Lqghshqghqfh ri Wudqvihuv lv rqh ri wkh roghvw lghdv lq wkh d{lrpdwlf olw0
hudwxuh rq idlu glylvlrq dffruglqj wr fodlpv +Edqnhu ^4<;4`/ Prxolq ^4<;:`/ Gh
Iuxwrv ^4<<<`,= lw uxohv rxw wkh surwdelolw| ri lqwhushuvrqdo wudqvihuv ri vkduhv1
Lqyduldqfh xqghu Wudqvihuv +LW,= iru doo Q> {> {! > w dqg doo V> V  Q

i{V @ {!V > {l @ {!l iru doo l 5

@ Vj ,
iuV +Q> {> w, dqg uV +Q> {! > w, duh lghqwlfdoo| glvwulexwhg€ +4:,

Wkh LW d{lrp uxohv rxw wkh iroorzlqj nlqg ri vwudwhjlf pdqhxyhu1 D frdolwlrq
V ri djhqwv wudqvihuv vrph ri wkh vkduhv ri lwv phpehuv/ wkxv wudqviruplqj wkh
lqlwldo suroh +{l > l 5 V, wr +{!l > l 5 V,> ihdvlelolw| ri wkhvh wudqvihuv uhtxluhv
{V @ {!V = Zkhq w xqlwv duh glvwulexwhg/ wkh wrwdo vkduh dffuxlqj wr frdolwlrq
V pd| eh dhfwhg e| wkh wudqvihuv= lq wklv fdvh/ wkhvh djhqwv fdq pdqlsxodwh
wkh phwkrg wr wkhlu pxwxdo dgydqwdjh e| d frpelqdwlrq ri wudqvihuulqj vkduhv
wzlfh/ ehiruh dqg diwhu wkh oolqj phwkrg lv dssolhg1
Xqghu LW/ lqglylgxdo vkduhv duh olnh dqrq|prxv erqgv wkdw fdq eh sdvvhg
durxqg ehwzhhq sod|huv zlwkrxw dhfwlqj wkhlu uhwxuqv1 Dq lpsruwdqw frqvh0
txhqfh ri surshuw| +4:, lv wkdw wkh suredelolw| glvwulexwlrq ri djhqw l*v vkduh \l
rqo| ghshqgv xsrq klv lqlwldo vkduh {l dqg wkh djjuhjdwh vkduh ri wkh djhqwv lq
Q l = ul +Q> {> w, wdnhv wkh irup l +Q> {l > {Q > w,9 =
Fohduo| wkh {hg fkdqfhv dqg S1H1 phwkrgv lq Ghqlwlrq 5 phhw LW1 Rq wkh
rwkhu kdqg/ d zlqqhu0wdnhv0doo ru dq htxdol}lqj phwkrg lq Ghqlwlrq 4 ylrodwhv
wklv surshuw|1 Wkh vdph lv wuxh ri prvw htxdol}lqj phwkrgv lq Ghqlwlrq 7= iru
9 Wklv iroorzv iurp dsso|lqj +4:, wr %    Wkh frqyhuvh surshuw| lv mxvw dv hdv|= li wkh

glvwulexwlrq ri J rqo| ghshqgv xsrq  dqg  / wkhq LW krogv1

4;
lqvwdqfh/ iurp wkh idplo| ghvfulehg lq wkh Fruroodu| wr Wkhruhp 5/ rqo| wkh
{hg fkdqfhv phwkrgv sdvv wkh LW whvw1
Rxu odvw d{lrp h{suhvvhv wkdw wkh glvwulexwlrq ri vxffhvvlyh xqlwv lq wkh xuq
lv htxdoo| olnho| lq dq| rughulqj ri wkh uhflslhqwv1
Jlyhq d pdunryldq oolqj phwkrg u dqg dq xuq +Q> {, > wkh vxffhvvlyh door0
fdwlrq ri w xqlwv jhqhudwhv d udqgrp vhtxhqfh lq Q>  @ il4 > l5> ===> lw j> zkhuh ln
lv wkh djhqw uhfhlylqj wkh n  wk xqlw1
Zh vd| wkdw wzr vhtxhqfhv  @ il4 > ===> lw j dqg ! @ im4 > ===> mw j lq Q duh
shupxwdwlrqv ri rqh dqrwkhu li zh fdq zulwh mn @ ls+n, iru n @ 4> ===> w> zkhuh s
lv d elmhfwlrq iurp i4> ===> wj lqwr lwvhoi1
Rughu Lqghshqghqfh +RL, = iru doo Q> { dqg w

! @ im4 > ===> mw j lv d shupxwdwlrq ri  @ il4 > ===> lw j

, i dqg ! duh htxdoo| suredeoh xqghu u dw +Q> {,€

Li s+Q> {, lv wkh suredelolw| glvwulexwlrq ri wkh uvw xqlw/ wkh RL surshuw| lv=

w4
[ w4
[
sl4 +{,=sl5 +{ . hl4 ,=111=slw +{ . hln , @ sm4 +{,=sm5 +{ . hm4 ,=111=smw +{ . hmn ,
4 4

zkhqhyhu  dqg ! duh shupxwdwlrqv ri rqh dqrwkhu1 +4;,

Rughu Lqghshqghqfh grhv qrw sodfh dq| gluhfw uhvwulfwlrq rq wkh djjuh0
jdwh glvwulexwlrq ri w xqlwv/ qdpho| rq wkh glvwulexwlrq ri wkh udqgrp yduldeoh
u+Q> {> w,= Iru lqvwdqfh/ lw lv vdwlvhg e| d glfwdwruldo phwkrg doorfdwlqj doo
xqlwv wr d fhuwdlq djhqw l +wkh glfwdwru, luuhvshfwlyh ri wkh xuq +Q> {,= doo
vhtxhqfhv  jhqhudwhg e| wklv phwkrg duh frqvwdqw dw lw @ l = Wkh zlqqhu
wdnhvdoo phwkrgv ri Sursrvlwlrq 4 phhw RL iru wkh vdph uhdvrq1
Rughu Lqghshqghqfh lv d qhxwudolw| surshuw|/ vwdwlqj wkdw qr djhqw lv v|vwhp0
dwlfdoo| vhuyhg hduolhu wkdq dqrwkhu djhqw zkhq xqlwv duh glvwulexwhg vhtxhqwldoo|1
Li vd|/ Q @ i4> 5j dqg djhqw 4 pxvw uhfhlyh rq dyhudjh wzlfh dv pdq| xqlwv
wkdq djhqw 5 zkhq rqh kxqguhg xqlwv duh glvwulexwhg/ wkhq kh lv htxdoo| olnho|
wr uhfhlyh doo klv xqlwv uvw ru doo xqlwv odvw/ ru lq dq| rwkhu wlplqj1
Qrwh wkdw RL grhv qrw pdnh vhqvh iru d qrq0pdunryldq oolqj phwkrg u>
ehfdxvh wkh lqghshqghqw gudzv ri hl4 > hl5 > === gr qrw vxp wr d +udqgrp, xuq
wS
\ @ { . hn zlwk wkh vdph glvwulexwlrq dv u+Q> {> w,=
4
D {hg fkdqfhv phwkrg +;, vdwlvhv Rughu Lqghshqghqfh= wklv lv reylrxv rq
htxdwlrq +4;,1 D S1H1 phwkrg phhwv RL dv zhoo/ dv vkrzq e| ghyhorslqj erwk
vlghv ri +4;, zlwk wkh khos ri +:,1 Rq wkh rwkhu kdqg/ wkh htxdol}lqj phwkrgv ri
Ghqlwlrqv 4 dqg 7 idlo RL1
Wkh wkuhh d{lrpv P/ LW dqg RL lqyroyh d {hg srsxodwlrq= wkh| gr qrw
lpsrvh dq| uhodwlrq ehwzhhq wkh phwkrgv wr oo xuqv +Q> {, dqg +Q ! > {! , zkhq

4<
Q dqg Q ! duh wzr glhuhqw srsxodwlrqv1 Wkhuhiruh zh { d qlwh srsxodwlrq
Q lq rxu qh{w uhvxow1

Wkhruhp 6 Il{ wkh qlwh vhw Q ri frqfhuqhg djhqwv dqg dvvxph mQm  6= Wr
d suroh ri qrq0qhjdwlyh zhljkwv l > l 5 Q> qrw doo }hur/ zh dvvrfldwh wkuhh +{hg
srsxodwlrq, pdunryldq xuq0oolqj phwkrgv=
l, {hg fkdqfhv= iru doo {> l

l
sl +Q> {, @
Q
ll, txdvl0sursruwlrqdo= iru doo {> l

{l l
sl +Q> {, @ li {Q A 3> sl +Q> 3, @
{Q Q
lll, Sro|d0Hjjhqehujhu=

l . {l
sl +Q> {, @ iru doo {> l
Q . {Q
Wkhvh phwkrgv duh lqghshqghqw ri wudqvihuv dqg rughu lqghshqghqw1 Frq0
yhuvho|/ wkhuh lv qr rwkhu pdunryldq phwkrg phhwlqj LW dqg RL1

Lq Dsshqglfhv 9 dqg 8/ zh glvfxvv wzr idplolhv ri phwkrgv fkdudfwhul}hg

uhvshfwlyho| e| wkh 6 d{lrpv P/ FV\/ LW> ru e| wkh wulsoh P/ FV\/ RL1 Zh
vkrz wkdw +doprvw, doo vxfk phwkrgv vdwlvi| Vkduh Prqrwrqlflw|. = Lw iroorzv
wkdw li zh dgg SIV wr wkh olvw ri uhtxluhphqwv/ zh duh edfn lq hdfk fdvh wr wkh
{hg fkdqfhv dqg S1H1 phwkrgv ri Wkhruhp 41 Rq wkh rwkhu kdqg/ zkhq SIV lv
qrw uhtxluhg/ wkh frpelqdwlrq P/ FV\/ LW fdswxuhv qhz phwkrgv pl{lqj {hg
fkdqfhv/ S1H1 dqg sursruwlrqdo lq lqwhuhvwlqj zd|v1 E| frqwudvw/ wkh wulsoh P/
FV\/ RL kdv hvvhqwldoo| wkh vdph elwh dv P/ FV\/ VP. glvfxvvhg lq Dsshqgl{
51

Uhpdun 9 Lq wkh xuq0hpsw|lqj prgho/ wkh sursruwlrqdo phwkrg phhwv Lqghshq0

ghqfh ri Wudqvihuv dqg Rughu Lqghshqghqfh1 Lq idfw/ RL lv hvvhqwldoo| d uhzulwlqj
ri wkh ghqlwlrq ri wklv phwkrg dqg LW lv hqrxjk wr vlqjoh rxw wklv phwkrg dprqj
doo pdunryldq phwkrgv: 1 Wkxv hlwkhu rqh ri wkh wzr d{lrpv LW dqg RW ohdyhv
qr fkrlfh zkdwvrhyhu wr wkh phfkdqlvp ghvljqhu lq wkh xuq0hpsw|lqj fdvh1

: Wklv uhvxow lv qrw wr eh irxqg lq wkh wzr frpsdqlrq sdshuv/ wkdw glvfxvv qhlwkhu LW qru

RL1 Lw lv dq hdv| frqvhtxhqfh ri Vwhs 4 wkh surri ri Wkhruhp 6 lq Dsshqgl{ 61

53
: Ed|hvldq oolqj phwkrgv
Qrz ohw xv frqvlghu wkh phwkrgv wkdw vdwlvi| mxvw P dqg RL1 Vlqfh P dqg
RL gr qrw pdnh xvh ri d yduldeoh srsxodwlrq/ zh pd| dvvxph wkdw
S wkhuh lv
d {hg srsxodwlrq Q1 Ohw +Q, @ i+sl ,l#Q = 3  sl  4> dqg l#Q sl @
4j eh wkh mQm  4 glphqvlrqdo vlpsoh{ dqg ohw +Q, ghqrwh lwv lqwhulru1 Zh
pd| wklqn ri d srlqw lq +Q , dv dq dvvljqphqw ri d suredelolw| wr hdfk ri
wkh djhqwv1 D Ed|hvldq dvvljqphqw phwkrg lv ghwhuplqhg e| wkh fkrlfh ri d
suredelolw| phdvxuh  rq Eruho vxevhwv ri +Q,/ zlwk wkh whfkqlfdo uhvwulfwlrq
wkdw + +Q,, A 31
Jlyhq vxfk d phdvxuh/ zh fdq ghvfuleh wkh Ed|hvldq phwkrg lq hlwkhu ri
wzr htxlydohqw idvklrqv1 Iru dq| yhfwru
U d @T+dl ,dl#Q ri qrq qhjdwlyh lqwhjhuv/
ghqh wkh dwk prphqw wr eh P+d, @ +Q , sl l g+s,1 Qrwh wkdw ehfdxvh ri
l#Q
rxu whfkqlfdo dvvxpswlrq/ P+d, A 3 iru doo d1 Wkhq zh fdq ghqh d pdunryldq
xuq0oolqj phwkrg e| wkh irupxod sl +Q> {, @ P+{ . hl ,@P+{,1
Dowhuqdwho|/ ghqh phdvxuhv  { e|
U T {l
D
sl g+s,
l#Q
 { +D, @ U T {l =
+Q,
sl g+s,
l#Q

Jlyhq lqlwldo fodlpv ri {/ zh fkrrvh d vhw ri suredelolwlhv +sl ,l#Q udqgrpo| iurp
+Q, dffruglqj wr wkh suredelolw| phdvxuh { dqg wkhq zh froru vxffhvvlyh edoov
lqghshqghqwo| dw udqgrp dffruglqj wr wkh fkrvhq suredelolwlhv1 Lq Dsshqgl{ 6
zh zloo vkrz wkdw wklv lv htxlydohqw wr wkh ghvfulswlrq deryh1
Zlwk wkhvh ghqlwlrqv zh kdyh wkh iroorzlqj wkhruhp1

Wkhruhp 7 Dq xuq0oolqj phwkrg wkdw phhwv wkh Pdunryldq surshuw|/ Rughu

Lqghshqghqfh dqg Srvlwlyh Ixwxuh Vkduhv lv d ed|hvldq phwkrg1 Frqyhuvho|/ dq|
ed|hvldq phwkrg phhwv wkh Pdunryldq surshuw|/ Rughu Lqghshqghqfh/ Srvlwlyh
Ixwxuh Vkduhv/ Srvlwlyh Vkduhv/ dqg Vkduh Prqrwrqlflw|. 1

Lq Dsshqgl{ 7/ zh jlyh wkh surri ri wklv Wkhruhp dqg lq wkh surfhvv dovr
jlyh d udwkhu frpsolfdwhg fkdudfwhul}dwlrq ri wkh idplo| ri phwkrgv vdwlvi|lqj
mxvw wkh Pdunryldq Surshuw| dqg Rughu Lqghshqghqfh1

54
 DSSHQGL[ 4= SURSRVLWLRQ 4 DQG WKHRUHP 4

41 Sursrvlwlrq 4
Wkh vlpsoh surri lv vlplodu wr wkdw ri Sursrvlwlrq 4 lq Prxolq dqg Vwrqj
^5333`1 Wkh li vwdwhphqwv duh fohdu1
Ohw u eh d pdunryldq dqg frqvlvwhqw ghwhuplqlvwlf phwkrg phhwlqj VP.4 +Uhpdun
4,1 Zh zulwh +Q> {, @ l zkhqhyhu s+Q> {, fkrrvhv l zlwk suredelolw| 41 Zh
zulwh +{, iru vlpsolflw| zkhq wkh vhw ri frruglqdwhv ri wkh suroh { lv fohdu1 Iru
lqvwdqfh +{l hl . {m hm , vwdqgv iru +il> mj> {l hl . {m hm ,= Ghqh d elqdu| uhodwlrq
" rq Q  3 =

+l> {l , " +m> {m , l il @ m dqg {l A {m j ru ~l 9@ m dqg +{l hl . {m hm , @ lj

Fohduo| " lv frpsohwh dqg dqwlv|pphwulf1 Lw lv wudqvlwlyh dv zhoo1 Iru lq0

vwdqfh dvvxph l> m> n duh doo glhuhqw dqg

+{l hl . {m hm , @ l> +{m hm . {n hn , @ m

Frqvlvwhqf| lpsolhv=

+{l hl . {m hm . {n hn , @ m , +{l hl . {m hm , @ m
+{l hl . {m hm . {n hn , @ n , +{m hm . {n hn , @ n

Wkhuhiruh +{l hl . {m hm . {n hn , @ l> lpso|lqj +{l hl . {n hn , @ l> dv ghvluhg1

Fkhfnlqj wudqvlwlylw| zkhq l> m> n duh qrw doo glhuhqw/ lv hdv| zlwk VP.4 =
Uhshdwhgo| dsso|lqj FV\ dw dq duelwudu| xuq +Q> {,>zh jhw=

+Q> {, @ l , +Q n> {n , @ l , === , +{l hl . {m hm , @ l +4<,

iru dq| sdlu l> m lq Q= Wkxv +Q> {, @ l lpsolhv +l> {l , " +m> {m , iru doo m
lq Ql> dqg u lv wkh " zlqqhuwdnhvdoo phwkrg ri Ghqlwlrq 4 dv ghvluhg1
Wxuqlqj wr wkh fdvh ri d pdunryldq dqg frqvlvwhqw phwkrg phhwlqj VP4 > zh
ghqh wkh uhodwlrq " dv iroorzv=

+l> {l , " +m> {m , l il @ m dqg {l A {m j ru il 9@ m dqg +{l hl . {m hm , @ mj

Rqh fkhfnv dv deryh wkdw " lv d olqhdu rughulqj ri Q 31 Wkh rqo| glhuhqfh
lv zkhq fkhfnlqj wudqvlwlylw| lq fdvhv zkhuh l> m> n duh qrw doo glvwlqfw/ h1j1=

+l> {l , " +l> {!l , dqg +l> {!l , " +m> {m ,

55
 Khuh {l A {!l dqg sl +{!l hl . {m hm , @ 3> vr VP4 lpsolhv sl +{l hl . {m hm , @ 3
dv ghvluhg1
Surshuw| +4<, lpsolhv wkdw u lv wkh "htxdol}lqj phwkrg ri Ghqlwlrq 41

51 Wkhruhp 4
Vwdwhphqw ll
Zh { u> d S1H phwkrg +:,/ dqg fkhfn wkdw lw lv frqvlvwhqw1 Iru dq| srvlwlyh
lqwhjhu d dqg qrq0qhjdwlyh lqwhjhu e> zh xvh wkh qrwdwlrq +d> e,$ @ d=+d . 4,=+d .
5,=1111+d . e  4, zlwk wkh frqyhqwlrq +d> 3,$ @ 41
Il{ Q> {> w> | dqg frqvlghu d vhtxhqfh  lq Q zkhuh m dsshduv }m @ |m 
{m wlphv/ iru doo m= Wkh suredelolw| wkdw  lv wkh uhdol}dwlrq ri w lqghshqghqw
vxffhvvlyh doorfdwlrqv ri rqh xqlw dffruglqj wr +:, lv=

+4 . {4 > }4 ,$===+q . {q > }q ,$

sured+, @
+Q . {Q > w,$
Ehfdxvh u lv pdunryldq/ wkh suredelolw| glvwulexwlrq ri u+Q> w> {, rewdlqv
iurp w vxffhvvlyh lqghshqghqw doorfdwlrqv ri rqh xqlw/ wkhuhiruh=

w$ +4 . {4 > }4 ,$===+q . {q > }q ,$

surediu+Q> {> w, @ |j @ =
}4 $====}q $ +Q . {Q > w,$
vlploduo|

w$ +4 . {4 > }4 ,$+Q " 4 . {Q " 4 > }Q " 4 ,$

surediul +Q> {> w, @ |l j @ =
}l $}Q  l $ +Q . {Q > w,$

dqg htxdolw| +5, iroorzv hdvlo|1

Iru d {hg fkdqfhv phwkrg +;,/ Frqvlvwhqf| fdq eh fkhfnhg lq vlplodu idvk0
lrq1 Dowhuqdwlyho|/ zh fdq xvh wkh idfw wkdw d {hg fkdqfhv phwkrg lv wkh olplw
ri d vhtxhqfh ri S1H1 phwkrgv zkhuh wkh l doo whqg wr lqqlw| dw wkh vdph udwh1
Vlqfh wkh FV\ htxdwlrq lv d udwlrqdo ixqfwlrq ri wkh l > lw iroorzv wkdw wkh olplw
phwkrg lv frqvlvwhqw1
Wkxv doo S1H1 dqg {hg fkdqfhv phwkrgv duh frqvlvwhqw/ dqg wkh| reylrxvo|
phhw SV1
Zh wxuq wr wkh frqyhuvh vwdwhphqw 1 Il{ d pdunryldq dqg frqvlvwhqw phwkrg
u phhwlqj SV1 Frqvlvwhqf| +5, dssolhg wr w @ 4 jlyhv=

sl +Q> {, @ +4  sm +Q> {,,=sl +Q m> {m , iru doo Q> {> l> m +53,

SV lpsolhv 3 ? sn +Q> {, ? 4 iru doo Q> {> n= Dsso|lqj +53, uhshdwhgo|=

sl +Q> {, sl +{l hl . {m hm ,
@ iru doo Q> {> l> m +54,
sm +Q> {, sm +{l hl . {m hm ,

56
+zkhuh sl +{l hl . {m hm , vwdqgv/ dv xvxdo/ iru sl +il> mj> {l hl . {m hm ,,=
E| dvvxpswlrq Q frqwdlqv wkuhh glvwlqfw djhqwv 4/5/61 Vhw Q @ i4> 5> 6j>
fkrrvh { lq 3Q dqg frpsxwh=

s4 s5 s6 s4 s5 s6
+{4 h4 . {5 h5 ,= +{5 h5 . {6 h6 ,= +{4 h4 . {6 h6 , @ +Q> {,= +Q> {,= +Q> {, @ 4
s5 s6 s4 s5 s6 s4

Il{lqj {6 > vd| {6 @ 3> wkh deryh htxdwlrq vkrzv wkh h{lvwhqfh ri wzr srvlwlyh
ixqfwlrqv i4 +{4 ,> i5 +{5 , vxfk wkdw=

s4 i4 +{4 , il +{l ,
+{4 h4 . {5 h5 , @ / sl +{4 h4 . {5 h5 , @ iru l @ 4> 5=
s5 i5 +{5 , i4 +{4 , . i5 +{5 ,

Uhshdwlqj wkh dujxphqw iru doo sdluv ~l/m€ iurp ~4/5/6€/ dqg wkhq iru doo wulsoh
il> m> nj lq Q / zh frqfoxgh wkdw wkhuh h{lvwv iru doo l 5 Q d srvlwlyh ixqfwlrq il
vxfk wkdw=
il +{l ,
sl +{l hl . {m hm , @ iru doo l> m> {l > {m
il +{l , . im +{m ,

Lq ylhz ri +54, wklv htxdoo| h{whqgv wr=

il +{l ,
sl +Q> {, @ S iru doo Q> {> l +55,
Q im +{m ,

Wkh odvw vwhs ri wkh surri lv wr vkrz wkdw doo ixqfwlrqv il duh d!qh dqg kdyh
lghqwlfdo vorshv1 Iru wklv zh pxvw dsso| FV\ +5, wr wkh doorfdwlrq ri dw ohdvw
wzr xqlwv; 1 Il{ Q @ i4> 5> 6j dqg { @ +{4 > {5 > {6 ,> dqg lqyrnh FV\=

surediu+Q> {> 5, @ +4> 4> 3,j @ surediu5 +Q> {> 5, @ 4j=s4 +{4 h4 . {6 h6 , +56,

Zh ghyhors wkhvh wzr suredelolwlhv zlwk +55, dqg wkh Pdunryldq surshuw|1
Iru vlpsolflw|/ zh zulwh dl @ il +{l , dqg el @ il +{l . 4, =

d4 d5 d5 d4
surediu+Q> {> 5, @ +4> 4> 3,j @ = . =
d456 e4 . d56 d456 e5 . d46
d4 d5 d5 d46 d6 d5
surediu5 +Q> {> 5, @ 4j @ = . = . =
d456 e4 . d56 d456 e5 . d46 d456 e6 . d45
Ghyhorslqj +56, jlyhv qrz e4  d4 @ e6  d6 > qdpho| i4 +{4 . 4, i4 +{4 , @
i6 +{6 . 4, i6 +{6 ,= Dv wkh djhqwv 4> 6 dqg wkh vkduhv {4 > {6 duh duelwudu|/ zh
frqfoxgh wkdw doo ixqfwlrqv il duh d!qh dqg kdyh wkh vdph vorsh1 Ehfdxvh
; Wkh iroorzlqj surri lv vlplodu wr wkdw ri Wkhruhp 6 lq Prxolq ^5333e`1

57
il +{l , A 3> wklv ohdyhv rqo| wzr fdvhv1 Li wkh il duh doo frqvwdqw/ zh kdyh d
{hg fkdqfh phwkrg> li wkh| duh doo lqfuhdvlqj dw wkh vdph sdfh/ zh kdyh d S1H1
phwkrg1

Vwdwhphqw l
Fkrrvh d pdunryldq dqg frqvlvwhqw phwkrg u phhwlqj VP.4 dqg SIV1 Zh
suryh ehorz wkdw lw vdwlvhv SV dv zhoo/ vr wkh frqfoxvlrq iroorzv iurp wkh
vwdwhphqw ll mxvw suryhg1
Vxssrvh s4 +Q> {, @ 4 iru vrph Q> {= Wkhq e| VP.4 dqg wkh Pdunryldq
surshuw|/ wkh xuq +Q> {, zloo eh oohg h{foxvlyho| iru djhqw 4> iru dq| w> zklfk
frqwudglfwv SIV1 Wkxv s4 +Q> {, ? 4=
Vxssrvh qrz s4 +Q> {, @ 3 iru vrph Q> {= E| +53, dqg wkh idfw wkdw s lv qhyhu
ghwhuplqlvwlf/ s4 +Q ! > {! , @ 3 krogv iru dq| vxevhw Q ! ri Q frqwdlqlqj 4/ li {! lv
wkh surmhfwlrq ri {> dqg iru dq| vxshuvhw Q ! ri Q li { lv wkh surmhfwlrq ri {! =
Wkxv zh fdq dvvxph Q @ i4> 5> 6j= Iurp +53, djdlq zh kdyh=

s4 +{4 h4 . {6 h6 , @ 3 , s4 +Q> { . h5 , @ 3

Dqg e| lqgxfwlrq s4 +Q> {! , @ 3 iru dq| {! vxfk wkdw {!4 @ {4 > dqg {!l  {l iru
l @ 5> 61 Exw wklv frqwudglfwv SIV ehfdxvh wkh xuq +Q> {, zloo eh qhyhu eh oohg
zlwk dq| edoo ri froru 4=

DSSHQGL[ 5= SURRI RI WKHRUHP 5 DQG D

JHQHUDOL]DWLRQ RI WKHRUHP 4

41 Wkhruhp 5
Vwhs 41 Dq htxdol}lqj phwkrg lv frqvlvwhqw
Zh { d  htxdol}lqj phwkrg u dv lq Ghqlwlrq 71 Zh dovr { dq xuq
+Q> {3 ,= Zh frqvwuxfw uvw dq lqfuhdvlqj vhtxhqfh {3 > {4 > ===> {n > ===fruuhvsrqglqj
wr wkh vxffhvvlyh lqglhuhqfh fodvvhv L+|,>dv | ydulhv lq wkh vxssruw ri u+Q> {> w,=
Wkh lpsruwdqw idfw lv wkdw wkh vhtxhqfh lv ghwhuplqlvwlf= iru dq| w> doo uhdol}d0
wlrqv ri \ @ u+Q> {> w, ohdg wr wkh vdph fodvv L+|,=
Jlyhq dq| xuq +Q> {, zh ghqh d yhfwru v+{, lq 3Q dv iroorzv=

v+{,l @ el li l 5 P+{, dqg L+{, @ ^d> e^

v+{,m @ {m li m 5@ P+{,

Qrwh wkdw v+{,  {> v+{, 9@ {= E| ghqlwlrq 7 li w lv lq wkh lqwhuydo 4  w 

vQ +{,  {Q > wkh vxssruw ri u+Q> {> w, uhpdlqv lq ^{> v+{,` dqg iru dq| | lq wklv
vxssruw/ zlwk wkh h{fhswlrq ri v+{,> L+|, @ L+{, dqg v+|, @ v+{,= Qrwh wkdw
v+{, lv xqerxqghg rqo| li L+{, lv wkh xqerxqghg lqglhuhqfh fodvv ^d> .4^ ri
Ghqlwlrq 71

58
 Zh ghqh lqgxfwlyho| wkh vhtxhqfh {n > e| {n.4 @ v+{n ,= Wkh vxffhvvlyh lq0
glhuhqfh fodvvhv L+{n , duh lqfuhdvlqj1 Li rqh vxfk fodvv lv ^d > .4^> wkh vhtxhqfh
vwrsv wkhuh/ rwkhuzlvh lw lv xqerxqghg1 Zh ohw uhn wr eh wkh oolqj phwkrg uh0
vwulfwhg wr L+{n , dv lq Ghqlwlrq 71 Qrwh wkdw hdfk phwkrg uhn lv frqvlvwhqw=
wklv lv fohdu iru wkh sursruwlrqdo dqg {hg fkdqfhv phwkrg/ dqg iru d phwkrg
uhvwulfwhg wr dq lqwhuydo ^d> e^ ri w|sh 5/ Frqvlvwhqf| lv ydfxrxvo| wuxh1 Wklv lv
doo zh qhhg wr vkrz wkh Frqvlvwhqf| ri u=
Vhw P n @ P+{n , dqg wn @ {nQ  {3Q > vr wkh vhtxhqfh wn lv vwulfwo| lqfuhdvlqj
dqg vxsn wn @ .4> zkhwkhu wkh vhtxhqfh {n lv qlwh ru lqqlwh1 Qrz u+Q> w> {3 ,
lv frpsxwhg dv iroorzv=

ohw n eh ghqhg e| wn ? w  wn.4 =

ul +Q> {3 > w, @ uhl n +P n > {n^P n ` > w  wn , li l 5 P n
@ {nl @ {n.4
l @ Pn
li l 5 +57,

Qrwh wkdw {n  u+Q> {3 > w,  {n.4 =

'@
Zh fodlp wkdw wkh vhtxhqfh +{l ,n > n @ 4> 5===> iru wkh xuq +Ql> {rl , lv
vlpso| +{n ,l > n @ 4> 5> wkh surmhfwlrq ri {n rq Ql= Lqghhg/ v+{l , @ +v+{,,l
zkhqhyhu P+{, 9@ ilj> dqg v+{l , @ {l zkhq P+{, @ ilj= Wkhuhiruh wkh fodlp
lv wuxh/ surylghg zh doorz d uhshwlwlrq/ {nl @ {n.4 n
l > hyhu| wlph P+{ , @ ilj=
n n 3
Zh vhw w+l, @ {Q l  {Q  l =
Zh duh qrz uhdg| wr suryh FV\/ qdpho| htxdwlrq +5,/ zkhuh zh { w> wn ?
w  wn.4 > dq djhqw 4/ dqg d suroh | lq wkh vxssruw ri u+Q> {r > w,> qdpho|
{n  |  {n.4 dqg |Q @ w +li | lv rxwvlgh wklv vxssruw/ erwk vlghv ri +5, duh
'@
reylrxvo| }hur,1
Zh glvwlqjxlvk wzr fdvhv1 Iluvw zh dvvxph 45 @ P n = Lq wklv fdvh |4 @ {n4 @
n.4
{4 > lpso|lqj surediu4 +Q> {> w, @ |4 j @ 4= Pruhryhu=

wn+4, ? wn  |4 . {34 ? w  |4 . {34  wn.4  |4 . {34 @ wn.4

+4,

Irupxod +57, jlyhv=

surediu+Q> {3 > w, @ |j @ suredih

un +P n > {n^P n ` > w  wn , @ |^P n ` j

vlploduo|/ dv P+{n4 , @ P n > +57, jlyhv

surediu+Q4> {34 > w  |4 . {4 , @ |4 j @

un +P n > {n^P n ` > w  |4 . {34  wn+4, , @ |^P n ` j
suredih

Wkh ghvluhg txdolw| iroorzv iurp |4 @ {n4 , |4  {34 . wn+4, @ wn =

59
 Wkh vhfrqg fdvh lv zkhq P n frqwdlqv 4/ vr wkdw {n4 ? {n.4
4 = Zh fkhfn uvw=

wn+4,  w  |4 . {34  wn.4

+4, +58,

Qrwh wkdw w  wn @ |P n  {nP n > ehfdxvh |m @ {nm iru doo m 5

@ P n +vhh +57,,1
Pruhryhu {n  |  {n.4 = Xvlqj wkh qrwdwlrq P in @ P n 4 zh frpsxwh=

w @ |P n  {nP n . {nQ  {3Q @ +|P n

i n  {P
3 n
i n , . +|4  {4 , . w+4,

, |4  {34 . wn+4,  w  {n.4 n

i n.4  {P
3 n n.4 3
i n . |4  {4 . w+4, @ w+4, . |4  {4
P

lpso|lqj +58,1
E| Frqvlvwhqf| ri uhn > zh kdyh=

un +P n > {n^P n ` > w  wn , @ |^P n ` j @

suredih
u4n +P n > {n^P n ` > w  wn , @ |4 j=
suredih
n
un +P " 4 > {n^P
suredih n n
i n ` > w  w  |4  {4 , @ |^P
in`j

E| +57,/ wkh ohiw0kdqg dqg wkh plggoh suredelolwlhv lq wkh deryh htxdolw| duh/
uhvshfwlyho|/ surediu+Q> {3 > w, @ |j dqg surediu4 +Q> {3 > w, @ |4 j= Wkh uljkw0
kdqg suredelolw| lv surediu+Q4> {4 > w  |4 . {34 , @ |4 j e| yluwxh ri lqhtxdo0
lwlhv +58,/ ri +57, dssolhg wr Q4> dqg ri wkh lghqwlw| +w  |4 . {34 ,  wn+4, @
w  wn  |4 . {n4 =

Vwhs 5
Zh fkhfn wkdw d phwkrg lq Ghqlwlrq 7 phhwv Srvlwlyh Ixwxuh Vkduhv li
dqg rqo| li  lv dufklphgldq1 Dvvxph  lv dufklphgldq1 Vxssrvh +43, idlov dw
vrph Q> {> l> qdpho| ul +Q> {> w, @ {l zlwk suredelolw| 4 iru doo w= Lq whupv ri wkh
vhtxhqfh vwduwlqj iurp { frqvwuxfwhg lq Vwhs 4> wklv phdqv l 5 @ P n @ P+{n ,
iru doo n @ 4> 5> === Li wkh vhtxhqfh { lv qlwh/ dw vrph srlqw L+{n , @ ^d > .4^
n

dqg P n @ Q +ehfdxvh wklv lv wkh odujhvw lqglhuhqfh fodvv/ vhh Ghqlwlrq 7,/
frqwudglfwlrq1 Li {n lv lqqlwh/ wkhuh h{lvwv dq djhqw m dqg d vxevhtxhqfh n! ri n
3 3
vxfk wkdw {nm lv xqerxqghg dqg m 5 P n iru doo n! = E| wkh dufklphgldq surshuw|/
 n
@ P n=
m> {m  +l> {l , iru n odujh hqrxjk/ frqwudglfwlqj l 5
Frqyhuvho|/ li u phhwv SIV/ iru doo Q> {> l wkhuh h{lvwv d whup {n lq wkh
vhtxhqfh vwduwlqj iurp { vxfk wkdw l 5 P n = Li zh wdnh wkh uvw vxfk n> zh kdyh
+m> {nm ,  +l> {l , iru doo m=
Li d phwkrg ri Ghqlwlrq 7 lv Vkduh Prqrwrqlf > doo wkh uhvwulfwhg phwkrgv
uh pxvw phhw VP dv zhoo1 Wkh dujxphqw lv vwudljkwiruzdug1
Frqyhuvho|/ ohw u eh d phwkrg dv lq Ghqlwlrq 7 vxfk wkdw doo uhvwulfwhg
phwkrgv uh phhw VP = Wr fkhfn wkdw u lv VP > zh pxvw frpsduh wkh wzr
vhtxhqfhv {n dqg } n jhqhudwhg uhvshfwlyho| e| u+Q> {> , dqg u+Q> { . hl > , = vhh

5:
wkh frqvwuxfwlrq ri Vwhs 41 Ghqrwh P n @ P+{n , dqg S n @ P+} n , dqg ohw n
eh wkh vpdoohvw lqwhjhu vxfk wkdw l 5 P n = Wkhq=

l @ S n @ P n dqg } n @ {n . 4
5 iru n ? n
n
S @ Pn dqg } n @ {n iru n ? n
   
Sn @ P n l li {nl .4  {nl @ 4
   .4 
Sn @ Pn li {nl  {nl A 4

Iurp wklv zh ghgxfh zlwk wkh qrwdwlrqv ri Vwhs 4/ lq sduwlfxodu wn @ {nQ 

{Q / dqg wkh v|pero  iru wkh idfw wkdw wzr udqgrp yduldeohv kdyh lghqwlfdo
glvwulexwlrqv=


ul +Q> { . hl > w,  ul +Q> {> w, . 4 iru 4  w  wn

ul +Q> { . hl > w  4,  ul +Q> {> w, iru wn .4 ? w
  .4  .4 
ul +Q> { . hl > w, @ {l . 4  ul +Q> {> w, . 4 iru wn ? w  wn > li {nl  {nl @ 4
 
Wkh lqhtxdolw| +9, iroorzv lq hdfk fdvh1 Wkh rqo| fdvh ohiw lv wn ? w  wn .4
   
zkhq {nl .4  {nl A 4> vr wkdw S n @ P n = Lq wklv fdvh ul +Q> { . hl > w, dqg

ul +Q> {> w, duh jlyhq e| wkh vdph uhvwulfwhg phwkrg uhn dv lq +57,=

  
ul +Q> { . hl > w, @ uhl n +Pn > {n^P n ` . hl > w  wn ,
  
ul +Q> {> w, @ uhl n +Pn > {n^P n ` > w  wn ,

dqg +9, iroorzv iurp wkh surshuw| VP ri uhn =

Vwhs 61 Frqyhuvh vwdwhphqw

Qrz zh { d pdunryldq/ frqvlvwhqw phwkrg u vdwlvi|lqj SIV dqg VP > dqg
zh pxvw vkrz wkdw u lv d phwkrg ghvfulehg lq Ghqlwlrq 71 Wklv surri lv grqh
lq wkuhh vwhsv/ dqg lv vlplodu wr wkdw ri Wkhruhp 5 lq Prxolq dqg Vwrqj ^5333`1
Lq wkh uvw vwhs zh frqvwuxfw wkh vwdqgdug ri frpsdulvrq  = Frqvlghu uvw
wkh elqdu| uhodwlrq U rq Q 3 =

+l> {l ,U+m> {m , / il @ m dqg {l  {m j ru il 9@ m dqg sm +{l hl . {m hm , A 3j

Iurp FV\ dqg VP3 +l1h1/ sl +Q> {, lv qrq0lqfuhdvlqj lq {l ,> zh fkhfn wkdw U lv
doprvw wudqvlwlyh lq wkh iroorzlqj vhqvh1 Li l> m dqg n duh doo glvwlqfw=

i+l> {l ,U+m> {m , dqg +m> {m ,U+m> {!m ,j , i+l> {l ,U +m> {!m ,j

i+l> {l ,U+l> {!l , dqg +l> {!l ,U+m> {m ,j , i+l> {l ,U +m> {m ,j
i+l> {l ,U+m> {m , dqg +m> {m ,U+n> {n ,j , i+l> {l ,U +n> {n ,j +59,

5;
Wkh wrs wzr vwdwhphqwv iroorz hdvlo| iurp VP3 = Zh fkhfn wkh erwwrp vwdwh0
phqw/ d frqvhtxhqfh ri FV\1 Vhw { @ {l hl . {m hm . {n hn dqg dsso| FV\ wr
u+Q> {> 4, wkuhh wlphv=

sm +{, @ +4  sn +{,,=sm +{l hl . {m hm ,> sn +{, @ +4  sl +{,,=sn +{m hm . {n hn ,>

sn +{, @ +4  sm +{,,=sn +{l hl . {n hn ,

Zh suryh wkh erwwrp vwdwhphqw e| frqwudglfwlrq= dvvxph sm +{l hl . {m hm ,

dqg sn +{m hm . {n hn , duh erwk srvlwlyh/ zkhuhdv sn +{l hl . {n hn , @ 3> dqg wkh
deryh v|vwhp lv lpsrvvleoh1
Qrwh wkdw U pd| qrw eh wudqvlwlyh ehfdxvh fkdlqv dowhuqdwlqj ehwzhhq wzr
djhqwv duh srvvleoh=

+l> {l ,U+m> {m ,U+l> {!l ,U+m> {!m ,U===zlwk {l A {!l A === dqg {m A {!m A === +5:,

Exw +59, lpsolhv wkdw wkhvh duh wkh rqo| lqfoxvlrq plqlpdo fkdlqv1
Wkh vwdqgdug ri frpsdulvrq  lv wkh wudqvlwlyh forvxuh ri U= Wkh lqglhuhqfh
fodvvhv ri  zloo eh uhsuhvhqwhg/ dv xvxdo/ e| Plqwhuydov ^d/e^1
Zh fkhfn qh{w wkdw wkh vxssruw ri s+Q> {, lv frqwdlqhg lq P+{,> qdpho| wkh
vhw ri djhqwv l vxfk wkdw +m> {m ,  +l> {l , iru doo l= Iru vlpsolflw| zh zulwh s+{, lq
olhx ri s+Q> {,=
Vxssrvh sl +{, A 3= Wkhq iru doo n lq Q l> FV\ lpsolhv sl +{, @ +4 
sn +{,,=sl +{n , khqfh sl +{n , A 3= Uhshdwlqj wkh dujxphqw/ zh qg sl +{l hl .
{m hm , A 3 khqfh +m> {m ,U+l> {l , iru doo m 5 Ql= Wklv phdqv l 5 P+{, ehfdxvh
 frqwdlqv U=
Qh{w zh vkrz wkdw s+Q> {, ghshqgv rqo| rq {^P+{,` = Wklv dprxqwv wr vkrz0
lqj=

@ P+{, , s+{, @ s+{ . hl , iru doo Q> { dqg l

l5 +5;,

Li {> {! duh vxfk wkdw P+{, @ P+{! , dqg {> {! frlqflgh rq wklv vxevhw/ wkhuh
h{lvwv {!! zlwk P+{!! , @ P+{, dqg wkh vdph surmhfwlrq rq P+{,/ dqg vxfk wkdw
{  {!! > {!  {!! = Wkxv uhshdwhg dssolfdwlrqv ri +5;, |lhog s+{, @ s+{! ,=
Wr suryh +5;,/ zh qrwh wkdw sl +{, @ 3 +wkh vxssruw ri s lv frqwdlqhg lq
P+{,,> khqfh sl +{ . hl , @ 3 e| VP3 = Iru dq| m lq Q l> dsso| FV\ wzlfh=

sm +{, @ +4  sl +{,,=sm +{l , @ sm +{l ,

sm +{ . hl , @ +4  sl +{ . hl ,,=sm +{l , @ sm +{l ,

hvwdeolvklqj +5;,1 Zh vxppdul}h wkh qglqjv ri Vwhs 61 Wkh phwkrg u lv hqwluho|

ghwhuplqhg e| wkh vwdqgdug  dqg lwv uhvwulfwlrqv wr hdfk lqglhuhqfh fodvv ^d> e^
ri = iru dq| xuq +Q> {,> s+Q> {, lv vxssruwhg e| P+{, dqg ghwhuplqhg e| wkh
uhvwulfwlrq ri s wr L+{,> qdpho| s+P+{,> {^P+{,` ,=

5<
 Vwhs 71 Wkh fdvh ri lqglhuhqfh fodvvhv ri w|sh dw ohdvw 61
Ohw wkh Plqwhuydo ^d> e^ eh dq lqglhuhqfh fodvv ri  vxfk wkdw mPm  6=
Zh vkrz wkdw iru doo glvwlqfw l> m lq P =

dl  {l ? el > dm  {m ? em , 3 ? sl +{l hl . {m hm , ? 4 +5<,

E| frqvwuxfwlrq +m> {m ,  +l> {l ,/ exw zh qhhg +m> {m ,U+l> {l , wr frqfoxgh

sl +{l hl . {m hm , A 3= Fkrrvh d wklug djhqw n lq P/ dqg vhw {n @ dn = Zh kdyh
+m> {m ,  +n> {n , dqg +n> {n ,  +l> {l ,= Zh nqrz iurp Vwhs 6 wkdw dq lqfoxvlrq
plqlpdo fkdlq iurp +m> {m , wr +n> {n , ru iurp +n> {n , wr +l> {l , wdnhv wkh irup
+5:,1 Olqnlqj wzr vxfk fkdlqv dqg xvlqj +59, uhshdwhgo|/ zh qg +m> {m ,U+l> {l ,$
H{fkdqjlqj wkh urohv ri l dqg m hvwdeolvkhv +l> {l ,U+m> {m , dqg +5<, lv suryhq1
Rxu qh{w revhuydwlrq lv wkdw iru doo P  P> dqg doo +P> {, lq ^d> e^/ wkh
vxssruw ri s+P> {, lv h{dfwo| P= Wklv lpsolhv wkdw iru doo +Q> {,>li L+{, lv ri
w|sh dw ohdvw 6/ wkh vxssruw ri s+Q> {, lv h{dfwo| P+{, +zh kdyh vhhq lq Vwhs 5
wkdw lw lv dozd|v frqwdlqhg lq P+{,,1
Il{ +P> {, lq ^d> e^= Li mPm @ 5> surshuw| +5<, vkrzv wkdw wkh vxssruw ri s+{,
lv P= Li mPm  6> zh wdnh l lq wkh vxssruw ri s+{,> dqg wzr pruh djhqwv m> n lq
P= FV\ lpsolhv=

sl +P> {, @+4  sn +P> {,,=sl +Pn> {n ,

sm +P> {, @+4  sn +P> {,,=sm +Pn> {n ,
sm +P> {, sm +Pn> {n ,
, sl +Pn> {n , A 3 dqg @
sl +P> {, sl +Pn> {n ,

Uhshdw wkh dujxphqw wr holplqdwh vxffhvvlyho| doo djhqwv lq Pil> mj vr wkdw=

sm +P> {, sm +{l hl . {m hm ,
@
sl +P> {, sl +{l hl . {m hm ,

dqg wkh ghvluhg frqfoxvlrq sm +P> {, A 3 iroorzv iurp +5<,1

Vwhs 81 Ilqdo dujxphqw

Zh duh qrz uhdg| wr vkrz wkdw u wdnhv wkh irup dqqrxqfhg lq Ghqlwlrq 7
rq lwv lqglhuhqfh fodvvhv ri w|sh dw ohdvw 61
Il{ vxfk d fodvv/ d Plqwhuydo ^d> e^> zkhuh hdfk el fdq eh qlwh ru lqqlwh1
E| Vwhs 7/ wkh uhvwulfwlrq ri s wr ^d> e^ vdwlvhv Srvlwlyh Vkduhv/ wkhuhiruh zh fdq
gxsolfdwh wkh dujxphqw lq wkh surri ri Wkhruhp 4/ vwdwhphqw ll1 Zh qg wkhuh
h{lvwv iru doo l 5 P d srvlwlyh ixqfwlrq il +{l , ghqhg ryhu ^dl > el ^ dqg vxfk wkdw=

il +{l ,
sl +P> {, @ S iru doo +P> {, lq ^d> e^
P im +{m ,

63
E| vhwwlqj il +el , @ 3 lq fdvh el lv qlwh/ wkh deryh htxdwlrq qrz krogv iru dq|
{ v=w= d  {  e dqg { 9@ e= E| VP3 > il lv qrq0lqfuhdvlqj1
Zh qrz ghyhors htxdwlrq +56,/ wkh dssolfdwlrq ri FV\ wr wkh doorfdwlrq ri
wzr xqlwv dprqj wkuhh djhqwv 4/5/6 lq P zlwk vkduhv {l > dl  {l ? el > l @ 4> 5> 6=
Qrwh wkdw wkh frpsxwdwlrq rqo| lqyroyhv il +{l , dqg il +{l . 4,> dqg vr lw xqirogv
h{dfwo| dv lq wkh surri ri Wkhruhp 4/ hvwdeolvklqj i4 +{4 ,  i4 +{4 .4, @ i6 +{6 , 
i6 +{6 . 4,=
Zh kdyh vkrzq wkh h{lvwhqfh ri d qrq0qhjdwlyh vorsh v vxfk wkdw il +{l , 
il +{l . 4, @ v iru doo {l lq ^dl > el ^= Zh glvwlqjxlvk wzr fdvhv=
Fdvh 41 e lv erxqghg= el ? .4 iru doo l 5 P= Iurp il +el , @ 3 dqg il +el 
4, A 3> zh jhw v A 3 dqg il +{l , @ v=+el  {l , vr s lv wkh sursruwlrqdo phwkrg
uhvwulfwhg wr ^d> e^=
Fdvh 51 e lv xqerxqghg= el @ .4 iru vrph l 5 P= Li e4 @ .4 dqg e5 lv
qlwh/ zh jhw i4 +{4 ,  i4 +{4 . 4, @ i5 +e5  4, A 3> zklfk frqwudglfwv i4 +{4 , A 3
iru {4 odujh hqrxjk1 Wkhuhiruh el @ .4 iru doo l 5 P=
Zh fodlp wkdw P @ Q dqg wkdw wkh Q fodvv ^d> .4^ lv wkh odujhvw ri  =
Vxssrvh ^d> .42 ^ lv qrw wkh odujhvw  lqglhuhqfh fodvv> wklv fdq rqo| kdsshq
li P 9@ Q 1 Zh fdq slfn djhqw 4 lqvlgh P> dqg djhqw 5 rxwvlgh P/ zlwk d vkduh
{5 v=w=+5> {5 , " +4> d,= Wkh xuq dh4 . {5 h5 zloo eh oohg zlwk 4edoov rqo|/ lq
frqwudglfwlrq ri SIV1
Vxssrvh qh{w ^d> 42 ^ lv wkh odujhvw lqglhuhqfh fodvv dqg P 9@ Q 1 Qrz wkh
xuq dh4 . {5 h5 zloo eh oohg zlwk 50edoov rqo|/ iru dq| {5 > djdlq d frqwudglfwlrq
ri SIV1
Lq wkh Q lqwhuydo ^d> .4^/ wkh htxdwlrq il +{l ,il +{l .4, @ v wrjhwkhu zlwk
il +{l , A 3 lpsolhv wkdw il lv frqvwdqw/ iru doo l> wkhuhiruh wkh uhvwulfwlrq ri s wr
wklv lqwhuydo lv d {hg fkdqfhv phwkrg/ dqg wkh surri ri Wkhruhp 5 lv frpsohwh1

Vwhs 91 Fruroodu| wr Wkhruhp 5

Li  lv v|pphwulf/ doo lqglhuhqfh fodvvhv duh v|pphwulf ri w|sh mQ m  6=
Wkhuhiruh d fodvv ^d> e^ lv hlwkhu erxqghg ru kdv el @ .4 iru doo l 5 P= Wklv lv
wkh rqo| sodfh lq wkh surri ri Wkhruhp 5 zkhuh SIV zdv xvhg1 Wkh uhvw ri wkh
surri lv urxwlqh1

51 D jhqhudol}dwlrq ri Wkhruhp 4
E| lplwdwlqj wkh suhylrxv surri whfkqltxhv/ zh fdq ghvfuleh doo wkh pdunr0
yldq dqg frqvlvwhqw oolqj phwkrgv phhwlqj Vkduh Prqrwrqlflw|. = Zh vwdwh wkh
uhvxow zlwkrxw surri1 Hdfk vxfk phwkrg lv dvvrfldwhg zlwk d vwdqgdug ri frp0
sdulvrq  +Ghqlwlrq 6, zlwk rqo| wkuhh srvvleoh w|shv ri lqglhuhqfh fodvvhv
L=

 d vlqjohwrq Pfodvv/ L @ ^d`> zkhuh mPm  6

 dq xqerxqghg Pfodvv L @ ^d> .4^> zkhuh mPm  6
 d fodvv ri w|sh 5 ru 41

64
 Iru dq| xuq +Q> {,/ wkh suredelolw| glvwulexwlrq s+Q> {, lv frqfhqwudwhg rq
wkh vhw T+{, ri djhqwv l vxfk wkdw +l> {l ,  +m> {m , iru doo m= Wkh uhvwulfwlrq ri s wr
dq xqerxqghg fodvv ^d> .4^ +zlwk mPm  6, lv hlwkhu d {hg fkdqfhv ru d Sro|d0
3
Hjjhqehujhu phwkrg1 Wkh uhvwulfwlrq ri s wr d fodvv ri w|sh 5 phhwv VP. +wkdw
lv/ sl +{l hl . {m hm , lv qrq0ghfuhdvlqj lq {l ,= Li L+{,> wkh kljkhvw lqglhuhqfh fodvv
dprqj +l> {l ,> lv d vlqjohwrq/ wkh oolqj surfhvv lv d zlqqhu0wdnhv0doo= zkrhyhu
dprqj T+{, uhfhlyhv wkh uvw xqlw/ zloo uhfhlyh doo wkh vxevhtxhqw xqlwv dv zhoo/
ehfdxvh T+{ . hl , @ ilj zkhqhyhu l 5 T+{,=
Wkh idplo| ri phwkrgv mxvw ghvfulehg lv suhflvho| fkdudfwhul}hg e| wkh frp0
elqdwlrq P/ FV\ dqg VP. 1 Wkhvh phwkrgv fdq eh orrvho| ghvfulehg dv pl{lqj
zlqqhu0wdnhv0doo/ Sro|d0Hjjhqehujhu/ {hg fkdqfhv/ dqg phwkrgv lqyroylqj wzr
djhqwv1 \hw wkh sdwwhuq olqnlqj wkhvh ydulrxv frpsrqhqwv lv wrr frpsoh{ wr
doorz d pruh lqwxlwlyh ghvfulswlrq ri wkh idplo|1
Qhyhuwkhohvv/ wkh v|pphwulf vxeidplo| +l1h1/ P/ FV\/ VP. dqg HWH, lv
vlpsoh1 Doo lqglhuhqfh fodvvhv duh hlwkhu d vlqjohwrq ru xqerxqghg dqg wkhuh lv
dq lqwhjhu n > n @ 3> 4> === vxfk wkdw iru doo xuq +Q> {, =

li {l  n  4 iru vrph l> s+Q> {, lv xqlirup ryhu duj pd{{l

l
li {l  n iru doo l> s+Q> {, lv wkh htxdo fkdqfhv ru d v|pphwulf S1H1 phwkrg1

Wkhvh phwkrgv duh d k|eulg ri wkh v|pphwulf zlqqhu0wdnhv0doo li vrph vkduhv

duh ehorz wkh wkuhvkrog n > dqg rqh ri wkh v|pphwulf phwkrgv ri Wkhruhp 4
zkhq qr vkduh lv ehorz n =

DSSHQGL[ 6= SURRI RI WKHRUHP 6

Vwhs 41
Zh ghvfuleh wkh frqvhtxhqfhv ri P . LW=
E| wkh pdunryldq surshuw|/ wkh xuq oolqj lv fkdudfwhul}hg e| wkh suredelo0
lwlhv sl +Q> {,1 Krzhyhu e| LW/ sl +Q> {, ghshqgv rqo| rq l/ {l / dqg {Q 1 Zulwh
lw dv sl +Q> {, @ l +{l > {Q ,1 Vxssrvh mQ m  6/ wkhq dsso|lqj LW wr wkh frdolwlrq
il> mj vkrzv wkdw

l +{l . 4> {Q ,  l +{l > {Q , @ m +4> {Q ,  m +3> {Q ,=

Vlqfh wklv krogv iru doo l dqg m lq Q dqg doo {l ? Q/ zh vhh wkdw sl +Q> {, @
l +{l > {Q , duh doo olqhdu lq {l zlwk wkh vdph vorsh  @ m +4> {Q ,  m +3> {Q ,
zklfk lv lqghshqghqw ri m1 Wkhuh duh wkuhh voljkwo| glhuhqw fdvhv/ srvlwlyh
vorsh/ }hur vorsh ru qhjdwlyh vorsh1 Zh fdq frpelqh wkhvh e| vd|lqj wkdw d
phwkrg vdwlvi|lqj P dqg LW kdv

d+Q> {Q ,{l . l +Q> {Q ,

sl +Q> {, @ =
d+Q> {Q ,{Q . +Q> {Q ,,

65
fkdudfwhul}hg e| d vhw ri qrq0qhjdwlyh zhljkwv l +Q> {Q , dqg d vorsh d+Q> {Q ,
zklfk wdnhv ydoxhv lq i4> 3> 4j iru hdfk Q  Q zlwk mQ m  6 dqg hdfk {Q  41
Li d+Q> {Q , @ 4/ wkhq l +Q> {Q , fdq eh dq| qrq0qhjdwlyh zhljkwv1 Li d+Q> {Q , @
4/ wkhq zh pxvw kdyh l +Q> {Q ,  {Q iru doo l1 Li d+Q> {Q , @ 3/ wkhq +Q> {Q ,
lv rqo| ghqhg xs wr d vfdodu pxowlsoh dqg zh pxvw kdyh Q +Q> {Q , A 31 Qrwh
wkdw iru {hg Q +zlwk mQ m  6, dqg {Q  4/ d dqg  ghwhuplqh sl +Q> {, dqg
ylfh yhuvd1 Li {Q @ 3/ wkhq wkh sl vwloo kdyh wkh irup deryh/ krzhyhu sl grhv
qrw ghshqg rq dqg khqfh grhv qrw ghwhuplqh d+Q> 3,1 Li mQ m @ 5/ wkhq LW lv
ydfxrxv dqg sl pd| qrw kdyh wkh irup deryh1 Krzhyhu li lw grhv kdyh wklv irup
zh zloo frqwlqxh wr xvh wkh vdph qrwdwlrq1

Vwhs 51
Zh lqwurgxfh qrz RL/ wkdw fdq eh zulwwhq dv

sl +{,sm +{ . hl , @ sm +{,sl +{ . hm ,

dqg soxjjlqj lq wkh irup

d+{Q ,{l . l +{Q ,

sl +{, @
d+{Q ,{Q . Q +{Q ,
zh jhw

{l +d+{Q ,m +{Q . 4,  d+{Q . 4,m +{Q ,, . {m +d+{Q . 4,l +{Q ,  d+{Q ,l +{Q . 4,, .

+l +{Q ,m +{Q . 4,  l +{Q . 4,m +{Q ,, @ 3=

Vlqfh mQ m  6/ zh fdq wdnh {l @ {m @ 3 jlylqj

l +{Q ,m +{Q . 4, @ l +{Q . 4,m +{Q ,

iru doo l> m 5 Q dqg {Q  31 Vxpplqj ryhu m 5 Q jlyhv

l +{Q ,Q +{Q . 4, @ l +{Q . 4,Q +{Q ,=

Li {Q  4/ zh fdq wdnh {l @ 4 dqg {m @ 3/ khqfh

d+{Q ,m +{Q . 4, @ d+{Q . 4,m +{Q ,

iru doo m 5 Q dqg {Q  41 Vxpplqj wklv ryhu m jlyhv

d+{Q ,Q +{Q . 4, @ d+{Q . 4,Q +{Q ,=

Frqvlghu wkh wkuhh fdvhv iru d vhsdudwho|1 Li d+{Q , @ 3/ wkhq Q +{Q , A 3

dqg khqfh d+{Q . 4, @ 31 Frqyhuvho| li d+{Q . 4, @ 3/ wkhq Q +{Q . 4, A 3

66
dqg khqfh d+{Q , @ 31 Wkxv li d+{Q , @ 3 iru vrph {Q / wkhq d+{Q , @ 3 iru doo
{Q 1 Ixuwkhu vlqfh

l +{Q ,Q +{Q . 4, @ l +{Q . 4,Q +{Q ,

zh vhh wkdw +prgxor dq luuhohydqw uhvfdolqj, +{Q , lv lqghshqghqw ri {Q 1 Wkxv

wkh phwkrg lv d {hg fkdqfhv phwkrg1
Li rqh ri d+{Q , dqg d+{Q . 4, lv 4 dqg wkh rwkhu lv 4/ wkhq zh pxvw kdyh
Q +{Q . 4, @ 3 @ Q +{Q ,1 Krzhyhu li d+{Q , @ 4/ wkhq Q +{Q ,  mQ m {Q A
31 Wkxv lq hlwkhu fdvh zh jhw d frqwudglfwlrq1 Wkxv zh vhh lq dq| fdvh wkdw
d+{Q , @ d lv frqvwdqw1
Li d @ 4/ wkhq m +{Q . 4, @ m +{Q , iru doo m 5 Q dqg {Q  41 Wkxv zh
frqfoxgh wkdw +{Q , lv lqghshqghqw ri {Q iru {Q  41 Li d @ 4/ zh pxvw kdyh
m +{Q ,  {Q dqg khqfh d frqwudglfwlrq1 Wkxv d 9@ 41 Li Q +{Q , 9@ 3/ wkhq
dv iru wkh fdvh d @ 3/ zh vhh wkdw +{Q , lv frqvwdqw dqg wkh oolqj phwkrg lv
d SH phwkrg1 Li Q +{Q , @ 3/ wkhq m +{Q , @ 3 iru doo m 5 Q dqg doo {Q  41
Krzhyhu/ zh vhh wkdw +3, lv duelwudu|1 Wkxv wkh phwkrg lv txdvl0sursruwlrqdo1
Wklv frpsohwhv wkh surri1

DSSHQGL[ 7= Surri ri Wkhruhp 7

Frqvlghu wkh ed|hvldq xuq0oolqj phwkrg dvvrfldwhg wr d phdvxuh  ghvfulehg

lq whupv
Sw ri lwv vhtxhqfh ri prphqwv P+d,1 Iru dq| vhtxhqfh  @ il4 > l5 > = = = > lw j
zlwk n@4 hln @ |  { rqh hdvlo| frpsxwhv wkdw suredi xqghu u dw +Q> {,j @
P+|,@P+{, lv lqghshqghqw ri shupxwdwlrqv ri 1 Khqfh vxfk d phwkrg vdwlvhv
RL1 Vlqfh P+d, A 3 iru doo d lw dovr fohduo| vdwlvhv SV dqg wkh zhdnhu frqglwlrq
SIV1 VP. lv hdvlhu wr suryh iurp wkh dowhuqdwh ghvfulswlrq ri wkh ed|hvldq
phwkrg/ vr zh zloo uvw fkhfn wkdw wkh wzr duh htxlydohqw1
Li zh ylhz  @ 3 dv rxu sulru glvwulexwlrq rq wkh suredelolwlhv +sl ,l#Q ri
wkh ydulrxv froruv rffxuulqj/ wkhq { lv wkh srvwhulru glvwulexwlrq diwhu kdylqj
revhuyhg {l rffxuuhqfhv ri froru l1 Wkxv zkhqhyhu zh kdyh |l edoov lq wkh xuq ri
froru l/ zh kdyh wkh srvwhulru glvwulexwlrq | uhjdugohvv ri zkdw frpelqdwlrq ri
lqlwldo fodlpv dqg edoov dgghg eurxjkw xv wr |1 Wkxv dw +Q> {, wkh suredelolw|
wkdw qh{w edoo dgghg zloo eh ri froru l lv sl +Q> {, @ H{ +sl , @ P+{ . hl ,@P+{,/
+l,
dqg wkh wzr ghvfulswlrqv djuhh1 Ohw I{ +s, @ suredisl  s xqghu { j eh
wkh pdujlqdo glvwulexwlrq ixqfwlrq ri sl xqghu wkh suredelolw|  { 1 Dv idu dv
djhqw l lv frqfhuqhg/ kh zloo uhfhlyh d suredelolw| ri jhwwlqj hdfk edoo zlwk vrph
+l,
suredelolw| sl fkrvhq dffruglqj wr wkh glvwulexwlrq ixqfwlrq I{ 1 Wkxv wr vkrz
+l, +l,
VP. lw vx!fhv wr vkrz wkdw I{.hl lv vwrfkdvwlfdoo| juhdwhu wkdq I{ 1 Vlqfh
Us +l, +l, U4 +l, +l,
3
 gI{ +,  sI{ +s, dqg s  gI{ +,  s+4  I{ +s,, zh kdyh
Us +l, Us +l,
+l, 3
 gI{ +, 3
 gI{ +,
I{.hl +s, @ U4 +l,
@ Us +l, U4 +l,
3
 gI{ +, 3
 gI{ +, . s  gI{ +,

67
 +l,
sI{ +s,
 +l, +l,
@ I{+l, +s,>
sI{ +s, . s+4  I{ +s,,
dqg vwrfkdvwlf grplqdqfh iroorzv1
Iru wkh frqyhuvh/ vxssrvh zh kdyh dq xuq0oolqj phwkrg zklfk phhwv P dqg
RL1 Vxssrvh zh vwduw zlwk lqlwldo fodlpv ri 3 dqg dgg edoov vxffhvvlyho|1 Ohw [w
eh wkh froru dvvljqhg wr edoo w1 E| RL/ wkh vhtxhqfh [w lv h{fkdqjhdeoh wkhuhiruh
e| gh Ilqhwwl*v Wkhruhp +Wkhruhp 68143 s1 7:6 ri Eloolqjvoh| ^4<<8`,/ wkhuh lv
d suredelolw| phdvxuh  rq +Q , vxfk wkdw wkh froruv [w duh lqghshqghqwo|
fkrvhq zlwk suredelolwlhv +sl ,l#Q / dqg wkh +sl ,l#Q fkrvhq udqgrpo| dffruglqj
wr 1 Wr frpsohwh wkh surri wkdw wkh xuq0oolqj phwkrg lv ed|hvldq/ zh qhhg
rqo| vkrz wkdw + +Q,, A 31 Wklv iroorzv txlfno| iurp RL dqg SIV1 Ehfdxvh
ri Rughu Lqghshqghqfh/ srvlwlyh vkduh dw vrph ixwxuh wlph SIV lv htxlydohqw wr
srvlwlyh vkduh lpphgldwho| SV1 Wkhuhiruh wkhuh lv srvlwlyh suredelolw| wkdw wkh
uvw mQ m edoov zloo eh glvwulexwhg rqh hdfk wr hdfk ri wkh djhqwv/ l1h1/
] \
sl g+s, A 3>
+Q , l#Q

dqg khqfh + +Q ,, A 31
Iurp wklv glvfxvvlrq zh dovr jhw d frpsolfdwhg fkdudfwhul}dwlrq ri xuq0oolqj
phwkrgv vdwlvi|lqj P dqg RL1 Iru dq| lqlwldo vhw ri fodlpv { zh fdq orrn dw
wkh vhtxhqfh [w ri froruv dvvljqhg wr wkh vxffhvvlyh edoov1 Djdlq wklv vhtxhqfh
lv h{fkdqjhdeoh dqg gh Ilqhwwl*v wkhruhp lpsolhv wkdw wkhuh lv d suredelolw|
phdvxuh { rq +Q, vxfk wkdw wkh froruv [w duh lqghshqghqwo| fkrvhq zlwk
suredelolwlhv
U +sl ,l#Q / zkhuh +sl ,l#Q duh fkrvhq dffruglqj wr { 1 Li H{ +sl , @
s
+Q, l
g { +s, A 3/ wkhq wkhuh lv srvlwlyh suredelolw| wkdw zh zloo dgg d edoo ri
froru l wr rewdlq dq xuq frqwdlqlqj { . hl 1 Khqfh zh pxvw kdyh
U
s g { +s,
D l
 {.hl +D, @ U =
s g { +s,
+Q , l
U
Krzhyhu li +Q, sl g { +s, @ 3/ wkhq wkhuh lv qr gluhfw uhodwlrqvkls ehwzhhq {
dqg  {.hl 1 Vxfk dq xuq0oolqj phwkrg frxog eh uhihuuhg wr dv txdvl0ed|hvldq/
vlqfh iru dq| vhw ri lqlwldo fodlpv lw ehkdyhv olnh d ed|hvldq phwkrg/ exw glhuhqw
lqlwldo fodlpv pd| ohdg wr xquhodwhg ed|hvldq phwkrgv1

DSSHQGL[ 8= P . FV\

Rqh fdq jlyh d yhu| frpsolfdwhg ghvfulswlrq ri doo xuq0oolqj phwkrgv vdw0
lvi|lqj P dqg FV\1 Wkh pdlq lqyduldqw ri vxfk phwkrg lv dq rughulqj  rq
Q  31 Iru d qlwh vhw ri djhqwv Q dqg yhfwru ri fodlpv {/ ohw P+{,  Q eh wkh
vhw ri djhqwv l vxfk wkdw +l> {l , lv pd{lpdo xqghu  dqg ohw | eh wkh surmhfwlrq
ri { rqwr P+{,1 Dw +Q> {, wkh rqo| djhqwv zkr kdyh qrq}hur suredelolw| ri

68
uhfhlylqj wkh qh{w xqlw duh wkrvh lq P+{, dqg ixuwkhu sl +Q> {, @ sl +P+{,> |,
ghshqgv rqo| rq |1 Iru dq htxlydohqfh fodvv L  Q 3 ri / ohw P+L, eh wkh vhw
ri doo djhqwv uhsuhvhqwhg e| L dqg fdoo mP+L,m wkh w|sh ri L1 Wkhq wkh srvvleoh
htxlydohqfh fodvvhv duh dv iroorzv=
+4, Dq htxlydohqfh fodvv ri w|sh 4 lv qhfhvvdulo| d vlqjohwrq1
+5, Dq htxlydohqfh fodvv ri w|sh 5 pd| eh duelwudu| dqg rq wklv fodvv wkh xuq0
oolqj phwkrg fdq eh dq| pdunryldq phwkrg1
+6, Dq htxlydohqfh fodvv ri w|sh dw ohdvw 6 pd| eh ri rqh ri irxu w|shv1
+6l, Zlqqhu0wdnhv0doo1 Wkh htxlydohqfh fodvv L frqvlvwv ri d vlqjoh sdlu +l> {l ,
iru hdfk l 5 P+L, dqg zh kdyh +l> |l , " +l> {l , iru doo |l A {l 1 Lq wklv fdvh
wkhuh lv vrph vhw ri srvlwlyh zhljkwvl iru l 5 P+L,= Li P  P+L, dqg { lv wkh
Pyhfwru zlwk hqwulhv {l > wkhq sl +P> {, @ l @P dqg wkh djhqw zkr uhfhlyhv
wkdw uvw xqlw zloo uhfhlyh doo vxevhtxhqw xqlwv1
+6ll, Htxdol}lqj1 Wkhuh lv d qlwh lqwhjhu v  4 dqg wkh htxlydohqfh fodvv L
frqvlvwv ri d xqlrq ri glvmrlqw fkdlqv zlwk frqvwdqw lqfuhphqw v/ +l> dl ,> +l> dl .
v,> = = = +l> el v, dqg zh kdyh +l> dl , " +l> el , dqg +l> |l , " +l> dl , iru doo dl ? |l ? el
zklfk duh qrw frqjuxhqw wr dl prg v1 Qrwh wkdw wkhuh pd| eh pruh wkdq rqh
vxfk fkdlq iru hdfk djhqw l1 Vxssrvh { lv d yhfwru ri fodlpv vxssruwhg rq
P  P+L,/ +l> {l , 5 L iru doo l/ dqg +l> dl ,> = = = > +l> el  v, lv wkh fkdlq frqwdlqlqj
+l> {l ,/ wkhq
el  {l
sl +P> {, @ =
eP  {P
+6lll, SH1 Wkhuh lv dq lqwhjhu v  4 dqg iru hdfk djhqw l 5 P+L, wkhuh lv
d qrqqhjdwlyh lqwhjhu dl vxfk wkdw wkh htxlydohqfh fodvv L frqvlvwv ri doo sdluv
+l> dl . nv, iru n  31 Ixuwkhupruh +l> |l , " +l> dl , iru dq| |l A dl dqg qrw ri wkh
irup dl . nv1 Lq wklv fdvh wkhuh lv d yhfwru  ri srvlwlyh zhljkwv vxssruwhg rq
P+L, dqg li { lv d yhfwru ri fodlpv vxssruwhg rq P  P+L, vxfk wkdw +l> {l , 5 L
iru doo l 5 P/ wkhq
{l  dl . l
sl +P> {, @ =
{P  dP . P
+6ly, {hg fkdqfhv1 Wkhuh lv dq lqwhjhu v  4 dqg iru hdfk djhqw l 5 P+L,
wkhuh lv d qrqqhjdwlyh lqwhjhu dl vxfk wkdw wkh htxlydohqfh fodvv L frqvlvwv ri
doo sdluv +l> dl . nv, iru n  31 Ixuwkhupruh +l> |l , " +l> dl , iru dq| |l A dl
dqg qrw ri wkh irup dl . nv1 Lq wklv fdvh wkhuh lv d yhfwru  ri srvlwlyh zhljkwv
vxssruwhg rq P+L, dqg li { lv d yhfwru ri fodlpv vxssruwhg rq P  P+L, vxfk
wkdw +l> {l , 5 L iru doo l 5 P/ wkhq
l
sl +P> {, @ =
P
Qrwh wkdw lq fdvhv +6ll,/ +6lll,/ dqg +6ly,/ li dq djhqw uhfhlyhv rqh edoo/ wkhq
kh zloo uhfhlyh wkh qh{w v  4 edoov dv zhoo1
Rqh fdq dovr jlyh d frpsohwh fkdudfwhul}dwlrq ri doo xuq0oolqj phwkrgv zklfk
vdwlvi| wkh Pdunryldq Surshuw|/ Frqvlvwhqf| dqg Rughu Lqghshqghqfh1 Iurp

69
wkh uhpdunv lq Dsshqgl{ 7/ lw lv hdv| wr fkhfn wkdw Rughu Lqghshqghqfh lpsolhv
Vkduh Prqrwrqlflw|. 1 Lq wkh rssrvlwh gluhfwlrq/ d phwkrg zklfk vdwlvhv P/
FV\ dqg VP. lv d frpelqdwlrq ri zlqqhu0wdnhv0doo/ Sro|d0Hjjhqehujhu/ {hg
fkdqfhv dqg phwkrgv lqyroylqj 5 djhqwv +Dsshqgl{ 5,1 Krzhyhu zlqqhu0wdnhv0
doo/ Sro|d0Hjjhqehujhu/ dqg {hg fkdqfhv phwkrgv doo vdwlvi| Rughu Lqghshq0
ghqfh1 Diwhu d olwwoh dqdo|vlv ri wkh 5 djhqw fdvh/ rqh vhhv wkdw d phwkrg vdw0
lvi|lqj P/ FV\ dqg RL lv h{dfwo| d phwkrg vdwlvi|lqj P.FV\.VP. zlwk wkh
dgghg uhvwulfwlrq wkdw rq hdfk htxlydohqfh fodvv ri w|sh 5 wkh xuq0oolqj phwkrg
pxvw eh ed|hvldq1

DSSHQGL[ 9= P . FV\ . LW

Frqvlghu wkh jhqhudol}dwlrq ri wkh SH phwkrgv +:, ru wkh {hg fkdqfhv phwk0
rgv +;, zkhuh vrph ri wkh zhljkwv l fdq eh }hur= wkh glvwulexwlrq s+Q> {, lv
zhoo0ghqhg zkhqhyhu Q lqwhuvhfwv wkh vxssruw ri  . { ru ri  +iru wkh fdvhv
ri SH dqg {hg fkdqfhv phwkrgv uhvshfwlyho|,1 Zkhq lw grhv qrw/ zh fdq xvh
d glhuhqw vhw ri qrq0qhjdwlyh {hg fkdqfhv wr glvwulexwh wkh qh{w xqlw1 Wklv
ohdgv wr wkh iroorzlqj frqfhsw ri qhvwhg {hg zhljkwv1
Ghqlwlrq 8 Jlyhq dq rughulqj  ri Q +frpsohwh/ wudqvlwlyh, dqg d vhw ri
srvlwlyh zhljkwv l iru hdfk l 5 Q / zh ghqh wkh qhvwhg vhw ri zhljkwv  + >,
dvvrfldwlqj wr hyhu| qlwh vxevhw Q ri Q wkh iroorzlqj vhw ri frqyh{ zhljkwv=
+ >, l
l +Q, @ li l 5 Q  @ duj pd{ +> Q,
Q
@ 3 @ Q
li l 5
Qrwh wkdw wkh qh{w vhw ri zhljkwv lv xqfkdqjhg li zh pxowlso| doo qxpehuv l
lq dq lqglhuhqfh fodvv ri  e| d srvlwlyh idfwru1
Ghqlwlrq 9 Jlyhq d qhvwhg vhw ri zhljkwv + >, > zh ghqh wkuhh pdunryldq
xuq0oolqj phwkrgv=
l,  {hg fkdqfhv = iru doo Q> {> l
sl +Q> {, @ l +Q ,
ll,   sursruwlrqdo = iru doo Q> {> l
{l
sl +Q> {, @ li {Q A 3> sl +Q> 3, @ l +Q ,
{Q
lll, Sro|d0Hjjhqehujhu= iru doo Q> {> l
l . {l
sl +Q> {, @ li {Q A 3> sl +Q> 3, @ l +Q ,
Q . {Q
zkhuh  lv wkh wuxqfdwlrq ri  wr Q  @ duj pd{+> Q , =
m @ m li m 5 Q  dqg m @ 3 rwkhuzlvh

6:
 Qrwlfh wkdw wkh S1H1 phwkrg lv ghqhg rqo| li wkhuh duh vrph odujhvw
djhqwv iru  lq Q > zklfk lv dozd|v wuxh zkhq Q lv qlwh1 Wkh {hg fkdqfhv
dqg S1H1 phwkrgv ++;,/+:,, fruuhvsrqg wr wkh fdvh zkhuh doo djhqwv ri Q duh
lqglhuhqw iru  =
Zh fodlp wkdw doo phwkrgv lq Ghqlwlrq 9 phhw LW dqg FV\1 Wkh fodlp
lv reylrxv iru LW1 Zh fkhfn wkdw d   S=H= ru d sursruwlrqdo phwkrg u lv
frqvlvwhqw1
Il{ dq xuq +Q> {,> wzr djhqwv l> m dqg fkhfn htxdwlrq +5,1 Li {Q  m A 3> erwk
oolqj surfhvvhv u+Q> {, dqg u+Q m> {, duh d S1H1 phwkrg zlwk qrq0qhjdwlyh
frh!flhqw n +wkh| duh doo }hur iru wkh sursruwlrqdo phwkrg,= wkh surri wkdw d
S1H1 phwkrg lv frqvlvwhqw lq Dsshqgl{ 4 h{whqgv wr wkh fdvh ri qrq0qhjdwlyh n =
Li {Q  m @ 3 dqg {m A 3> doo edoov lq u+Q> {, jr wr djhqw m xqghu wkh
sursruwlrqdo phwkrg/ khqfh +5, lv wulyldoo| wuxh1 Iru d S1H1 phwkrg/
glvwlqjxlvk wzr fdvhv= li +Q m, _ Q  @ >> djdlq doo edoov lq u+Q> {, jr wr djhqw
m> li +Qm, _ Q  9@ >/ wkhq u+Q> {, dqg u+Q m> {, duh wkh S1H1 phwkrgv zlwk
qrq0qhjdwlyh frh!flhqwv n +iru lqvwdqfh u+Qm> 3, jlyhv wkh uvw edoo wr n zlwk
sured1n @Q  m > dqg vr rq,1
Li {Q @ 3> wkhq u+Q> 3, dqg u+Q m> 3, rqo| hyhu jlyh edoov wr Q  dqg
+Q m, = Li m 5
@ Q  kh lv ohiw rxw ri wkh glvwulexwlrq dqg +5, lv wulyldo1 Li m 5 Q  >
wkhq wkh sursruwlrqdo surfhvv u+Q> 3, jlyhv doo wkh edoov wr rqh djhqw lq Q 
vhohfwhg dffruglqj wr wkh glvwulexwlrq +Q  , dqg +5, iroorzv hdvlo|1 Wkh S1H1
phwkrg u+Q> 3, grhv wkh vdph li Q  _ Q  @ >> rwkhuzlvh lw lv wkh S1H1 phwkrg
zlwk +srvlwlyh, frh!flhqwv n rq Q  > dqg +5, iroorzv1
Zh qhhg rqh pruh ghqlwlrq ehiruh vwdwlqj wkh fkdudfwhul}dwlrq uhvxow1 Vxs0
srvh Q lv sduwlwlrqhg dv Q. ^ Q > dqg u. > u duh wzr oolqj phwkrgv ghqhg
uhvshfwlyho| rq Q. dqg Q = Wkh sulrulw| frpsrvlwlrq ri u. dqg u +zlwk Q.
kdylqj wkh kljkhu sulrulw|, lv wkh phwkrg oolqj dq xuq +Q> {, olnh u zkhqhyhu
Q  Q / dqg olnh u. zkhqhyhu Q _ Q. 9@ > lq wkh odwwhu fdvh/ wkh djhqwv lq
Q Q. uhfhlyh qrwklqj1
Wkh sulrulw| frpsrvlwlrq uhvshfwv P dqg FV\/ wkdw lv/ wkh frpsrvhg phwkrg
phhwv P/ ru FV\ li erwk u. dqg u gr1 Sulrulw| frpsrvlwlrq grhv qrw uhvshfw
LW/ h{fhsw zkhq u. lv d {hg fkdqfhv phwkrg1
D oolqj phwkrg u phhwv P/ FV\ dqg LW li dqg rqo| lw lv wkh sulrulw| frp0
srvlwlrq ri d . {hg fkdqfhv phwkrg +Q. > u. , dqg d phwkrg +Q > u , wkdw lv
d   sursruwlrqdo ru d  S1H1 phwkrg/ ru d 5shuvrq phwkrg1 Qrwh wkdw zh
doorz Q. ru Q wr eh hpsw|1
Zh rplw wkh surri iru wkh vdnh ri euhylw|1
Qrwh wkdw doo deryh phwkrgv duh RL +uhvs1 VP. , surylghg RL +uhvs1 VP. ,
krogv iru wkh orz sulrulw| 50shuvrq phwkrg +li dq|,1 Lq wklv vhqvh RL dqg VP.
doprvw iroorz iurp wkh frpelqdwlrq P/ FV\ dqg LW1

6;
Uhihuhqfhv
^4` Dxpdqq/ U1 M1 dqg P1 Pdvfkohu1 4<;81 Jdph Wkhruhwlf Dqdo|vlv ri d
Edqnuxswf| Sureohp iurp wkh Wdopxg/ Mrxuqdo ri Hfrqrplf Wkhru|/ 69/
4<85461
^5` Edqnhu/ U1 4<;41 Htxlw| Frqvlghudwlrqv lq Wudglwlrqdo Ixoo Frvw Door0
fdwlrq Sudfwlfhv= Dq D{lrpdwlf Shuvshfwlyh/ Mrlqw Frvw Doorfdwlrqv/ V1
Prulduw|/ Hg1/ Rnodkrpd Flw|= Xqlyhuvlw| ri Rnodkrpd Suhvv/ 4434631
^6` Eloolqjvoh|/ S1 4<<81 Suredelolw| dqg Phdvxuh/ Mrkq Zloh| dqg Vrqv/ Qhz
\run1
^7` Fkxq/ \1 4<;<1 D qrq0frrshudwlyh mxvwlfdwlrq iru hjdolwduldq vxusoxv0
vkdulqj/ Pdwkhpdwlfdo Vrfldo Vflhqfhv/ 4:/ 57805941
^8` Gh Iuxwrv/ P1 D1/ 4<<<1 Frdolwlrqdo Pdqlsxodwlrqv lq d Edqnuxswf| Sure0
ohp/ Uhylhz ri Hfrqrplf Ghvljq/ 7/ 58805:51
^9` Khuuhur/ F1/ P1 Pdvfkohu dqg D1 Yloodu/ 4<<<1 Lqglylgxdo uljkwv dqg fro0
ohfwlyh uhvsrqvdelolw|= wkh uljkwv hjdolwduldq vroxwlrq/ Pdwkhpdwlfdo Vrfldo
Vflhqfhv/ 6:/ 8<0::1
^:` Mrkqvrq/ Q1 dqg V1 Nrw}/ 4<::1 Xuq Prghov dqg wkhlu dssolfdwlrqv/ Mrkq
Zloh| dqg Vrqv/ Qhz \run1
^;` Prxolq/ K1 4<;:1 Htxdo ru Sursruwlrqdo Glylvlrq ri d Vxusoxv/ dqg Rwkhu
Phwkrgv/ Lqwhuqdwlrqdo Mrxuqdo ri Jdph Wkhru|/ 49/ 6/ 49404;91
^<` Prxolq/ K1 5333d1 Sulrulw| Uxohv dqg Rwkhu Dv|pphwulf Udwlrqlqj Phwk0
rgv/  Hfrqrphwulfd/ 9;/ 6/ 97609;71
^43` Prxolq/ K1 5333e1 Wkh Sursruwlrqdo Udqgrp Doorfdwlrq ri Lqglylvleoh
Xqlwv/ iruwkfrplqj/ Vrfldo Fkrlfh dqg Zhoiduh1
^44` Prxolq/ K1 dqg U1 Vwrqj/ 53331 Idlu Txhxlqj dqg rwkhu Suredelolvwlf
Doorfdwlrq Phwkrgv/ iruwkfrplqj/ Pdwkhpdwlfv ri Rshudwlrqv Uhvhdufk1
^45` R*Qhloo/ E1 4<;51 D Sureohp ri Uljkwv Duelwudwlrq iurp wkh Wdopxg/
Pdwkhpdwlfdo Vrfldo Vflhqfhv/ 5/ 6786:41
^46` Wkrpvrq/ Z1 4<<81 D{lrpdwlf Dqdo|vhv ri Edqnuxswf| dqg Wd{dwlrq
Sureohpv= D Vxuyh|/ plphr/ Xqlyhuvlw| ri Urfkhvwhu1
^47` \rxqj/ K1 S1 4<;:1 Rq glylglqj dq dprxqw dffruglqj wr lqglylgxdo fodlpv
ru oldelolwlhv/ Pdwkhpdwlfv ri Rshudwlrqv Uhvhdufk/ 4/5/6/ 6<;7471
^48` \rxqj/ K1 S1 4<;;1 Glvwulexwlyh Mxvwlfh lq Wd{dwlrq/ Mrxuqdo ri Hfrqrplf
Wkhru|/ 7;/ 664668

6<