On Representative Democracy - Wallis Institute of Political Economy

Rq Uhsuhvhqwdwlyh Ghprfudf|
Fkulvwrskhu S1 Fkdpehuv
Pd|/ 5335
+Wklv yhuvlrq Ghfhpehu/ 5335,
Mre pdunhw sdshu
Devwudfw
Zh vwxg| d{lrpv zklfk ghqh uhsuhvhqwdwlyh ghprfudf| lq dq
hqylurqphqw lq zklfk djhqwv yrwh ryhu d qlwh vhw ri dowhuqdwlyhv1 Zh
irfxv rq d surshuw| wkdw vwdwhv wkdw zkhwkhu yrwhv duh djjuhjdwhg
gluhfwo| ru lqgluhfwo| pdnhv qr glhuhqfh1 Zh fdoo wklv surshuw| uhsuh0
vhqwdwlyh frqvlvwhqf|1 Uhsuhvhqwdwlyh frqvlvwhqf| fdq dovr eh xqghu0
vwrrg dv d jhuu|pdqghulqj0surriqhvv uhtxluhphqw iru yrwlqj uxohv1
Zh fkdudfwhul}h wkh fodvv ri uxohv vdwlvi|lqj xqdqlplw|/ dqrq|plw|/
dqg uhsuhvhqwdwlyh frqvlvwhqf|1 Zh fdoo wkhvh uxohv sduwldo sulrulw|
uxohv1 D sduwldo sulrulw| uxoh fdq eh lqwhusuhwhg dv d uxoh lq zklfk hdfk
djhqw fdq yhwr fhuwdlq dowhuqdwlyhv1 Zh lqyhvwljdwh wkh lpsolfdwlrqv
ri lpsrvlqj rwkhu d{lrpv wr wkh olvw vshflhg deryh1 Zh dovr vwxg|
wkh sduwldo sulrulw| uxohv lq wkh frqwh{w ri vshflf hfrqrplf prghov1
4
Lqwurgxfwlrq
Rxu remhfwlyh khuh lv wr glvfxvv dq lqwhusuhwdwlrq ri uhsuhvhqwdwlyh ghprf0
udf| lq d yrwlqj prgho1 Lq vr grlqj/ zh surylgh dq d{lrpdwlf ghqlwlrq ri
wkh phdqlqj ri uhsuhvhqwdwlyh1
Ghsduwphqw
ri Hfrqrplfv/ Xqlyhuvlw| ri Urfkhvwhu/ Urfkhvwhu/ Q\ 4795:1 Hpdlo=
ffkkCwurl1ff1urfkhvwhu1hgx1 L zrxog olnh wr wkdqn Mrkq Gxjjdq/ Oduu| Hsvwhlq/ Elxqj0Jkl
Mx/ Urjhu Odjxqr/ Ohrqdugr Pduwlqh}/ Mrvhi Shunwrog/ Iudqfhvfr Vtxlqwdql/ Zlooldp
Wkrpvrq/ dqg Fkxq0Kvlhq \hk iru khosixo frpphqwv dqg glvfxvvlrqv1 Doo huuruv duh p|
rzq1
4
Lq wkh frqwh{w ri elqdu| vrfldo fkrlfh/ wkh rqo| yrwlqj uxoh zklfk lv dqrq|0
prxv/ qhxwudo/ dqg srvlwlyho| uhvsrqvlyh lv pdmrulw| uxoh +Pd|*v Wkhruhp/
^45`,1 Pdmrulw| uxoh lv qrw frpsdwleoh zlwk uhsuhvhqwdwlyh ghprfudf|/ lq
dq lpsruwdqw vhqvh1 Wkh dowhuqdwlyhv vhohfwhg e| wklv uxoh duh jhqhudoo| qrw
wkh vdph dv wkh dowhuqdwlyhv vhohfwhg zkhq djhqwv duh uvw glylghg lqwr glv0
wulfwv/ zkhuh hdfk glvwulfw ri djhqwv vhohfwv d uhsuhvhqwdwlyh yrwh iru lwv
phpehuv dffruglqj wr wkh uxoh1 Wkxv/ lq d uhsuhvhqwdwlyh ghprfudf| zlwk
vlqjoh0phpehu glvwulfwv/ wkh zd| lq zklfk glvwulfwv duh gudzq fdq fkdqjh wkh
rxwfrph ri d yrwh1 Lq frpprq odqjxdjh/ zh vd| wkdw jhuu|pdqghulqj lv
srvvleoh1 Wkxv/ pdmrulw| uxoh ohdyhv lwvhoi rshq wr pdqlsxodwlrq e| zkrhyhu
ghwhuplqhv zklfk djhqwv yrwh lq zklfk glvwulfw1
Li rqh eholhyhv lq uhsuhvhqwdwlyh ghprfudf| zlwk vlqjoh0phpehu glvwulfwv/
d qdwxudo txhvwlrq lv zkhwkhu ru qrw wkhuh h{lvw yrwlqj uxohv zklfk fdq qhyhu
eh pdqlsxodwhg lq wkh vhqvh ghvfulehg deryh1 Rxu dlp lv wr irupdoo| vwxg|
wklv txhvwlrq/ surylglqj d zrundeoh dqg vx!flhqwo| jhqhudo qrwlrq ri d uhs0
uhvhqwdwlyh dowhuqdwlyh iru d jurxs ri djhqwv e| dvvxplqj wkdw wkh glvwulfwv
lqwr zklfk djhqwv pd| eh jurxshg duh qrw suhvshflhg1
Vrflhw|*v froohfwlyh jrdo lv wr vhohfw rqh ri d qlwh vhw ri vrfldo dowhuqd0
wlyhv1 Hdfk djhqw lq vrflhw| vxeplwv d yrwh iru rqh ri wkh dowhuqdwlyhv1 Dq
dowhuqdwlyh lv vhohfwhg e| djjuhjdwlqj djhqwv* yrwhv dffruglqj wr vrph uxoh1
Rxu lqwhuhvw lv lq vwxg|lqj vxfk uxohv1 Wklv prgho lv d uhgxfhg irup prgho/
dv suhihuhqfhv ri djhqwv duh qrw vshflhg1
Zkhq zh vd| d yrwlqj uxoh lv ghprfudwlf/ zh phdq wkdw lw l, vhohfwv
dq| dowhuqdwlyh zklfk uhfhlyhv xqdqlprxv dssurydo dqg ll, wuhdwv doo djhqwv
lghqwlfdoo|1 Wkhvh uhtxluhphqwv duh fdswxuhg e| wkh surshuwlhv xqdqlplw|
dqg dqrq|plw|/ uhvshfwlyho|1
Rxu remhfwlyh lv wr ghwhuplqh zklfk ghprfudwlf yrwlqj uxohv fdq eh xqghu0
vwrrg dv uhsuhvhqwdwlyh ghprfudflhv xqghu d vlqjoh0phpehu glvwulfw v|vwhp1
Wr pdnh wklv remhfwlyh suhflvh/ zh vshfli| qrwlrqv ri gluhfw ghprfudf| dqg
lqgluhfw ghprfudf|1 Wkhvh wzr qrwlrqv duh glvfxvvhg zlwk uhvshfw wr d jlyhq
yrwlqj uxoh1 Lq d gluhfw ghprfudf|/ hdfk phpehu ri vrflhw| yrwhv iru dq do0
whuqdwlyh/ dqg dq dowhuqdwlyh lv vhohfwhg e| gluhfwo| djjuhjdwlqj wkhvh yrwhv
dffruglqj wr wkh uxoh1 Lq dq lqgluhfw ghprfudf|/ djhqwv duh sduwlwlrqhg
lqwr glvwulfwv/ dqg hdfk djhqw yrwhv iru dq dowhuqdwlyh1 Hdfk glvwulfw wkhq
vhohfwv dq dowhuqdwlyh dffruglqj wr wkh uxoh edvhg rq wkh yrwhv lq wkh glvwulfw/
uhvxowlqj lq d uhsuhvhqwdwlyh yrwh1 Hdfk djhqw lq vrflhw| lv wuhdwhg dv kdy0
4
4
Iru d vwxg| ri wkhvh w|shv ri uxohv/ vhh Ilvkexuq ^43`1
5
lqj yrwhg iru klv glvwulfw*v uhsuhvhqwdwlyh yrwh1 Wkh uxoh lv wkhq dssolhg wr
wkh uhsuhvhqwdwlyh yrwhv/ ohdglqj wr d vrfldo dowhuqdwlyh1 D yrwlqj uxoh lv d
uhsuhvhqwdwlyh ghprfudf| li gluhfw ghprfudf| dqg lqgluhfw ghprfudf|
ohdg wr wkh vdph fkrvhq dowhuqdwlyh/ lqghshqghqwo| ri wkh sduwlwlrqlqj ri
djhqwv1 Wklv htxlydohqfh ri gluhfw dqg lqgluhfw yrwh djjuhjdwlrq lv orjlfdoo|
lqghshqghqw iurp wkh qrwlrq ri ghprfudf|/ vr zh jlyh lw dq lqghshqghqw
qdph= uhsuhvhqwdwlyh frqvlvwhqf|1
Wkxv/ uhsuhvhqwdwlyh frqvlvwhqf| fdq eh xqghuvwrrg dv d frqglwlrq ri
jhuu|pdqghulqj0surriqhvv1 Li d yrwlqj uxoh lv uhsuhvhqwdwlyh frqvlvwhqw/ wkh
vhohfwhg vrfldo dowhuqdwlyh lv lqghshqghqw ri krz yrwlqj glvwulfwv duh gudzq1
Lqwxlwlrq vxjjhvwv wkdw uhsuhvhqwdwlyh frqvlvwhqf| lv d gl!fxow frqglwlrq wr
vdwlvi|1 Wdnh wkh fdvh ri pdmrulw| uxoh1 Vxssrvh vrph djhqw lv lq fkdujh ri
ghflglqj zkr yrwhv lq zklfk glvwulfw1 Wkhuh duh wzr zd|v lq sudfwlfh wkdw
kh pd| jhuu|pdqghu1 Rqh lv wr gudz glvwulfwv vr wkdw wkh djhqwv zkr zloo
yrwh iru klv ohdvw suhihuuhg dowhuqdwlyh duh frqfhqwudwhg lq dv ihz glvwulfwv
dv srvvleoh1 Wkh rwkhu zd| lv wr vsuhdg wkh djhqwv zkr zloo yrwh iru klv
ohdvw suhihuuhg dowhuqdwlyh lq dv pdq| glvwulfwv dv srvvleoh vr wkh| gr qrw
jdlq d pdmrulw| lq dq| glvwulfw1 Lq idfw/ zlwk doprvw dq| yrwlqj uxoh rqh fdq
wklqn ri/ jhuu|pdqghulqj lv vrphwlphv srvvleoh1 Lq d vhqvh/ wkhuh zloo doprvw
dozd|v eh vlwxdwlrqv lq zklfk rqh fdq gudz glvwulfwv vr wkdw vrph djhqwv*
yrwhv duh gloxwhg1 Krzhyhu/ wkhuh duh h{fhswlrqv wr wklv uxoh1
Wkh frqglwlrqv xqdqlplw|/ dqrq|plw|/ dqg uhsuhvhqwdwlyh frqvlvwhqf| duh
frpsdwleoh/ dqg fkdudfwhul}h d fodvv ri uxohv wkdw zh eholhyh kdv qrw ehhq
vwxglhg ehiruh1 Wkhvh uxohv duh hdvlhvw wr xqghuvwdqg zkhq wkhuh duh rqo|
wzr dowhuqdwlyhv1 Lq wklv fdvh/ rqh ri wkh dowhuqdwlyhv lv vshfldo/ dqg wkh
uxoh fkrrvhv wkh vshfldo dowhuqdwlyh xqohvv doo djhqwv yrwh iru wkh rwkhu
dowhuqdwlyh1 Wkxv/ hdfk djhqw kdv d yhwr dqg fdq irufh vrflhw| wr fkrrvh wkh
vshfldo dowhuqdwlyh mxvw e| yrwlqj iru lw1 Khqfh/ qr djhqwv duh srzhuohvv
djdlqvw jhuu|pdqghulqj1
Wkhvh uxohv fdq eh ghvfulehg lq d glhuhqw zd|1 Wklqn ri wkh wzr dowhu0
qdwlyhv dv ehlqj rughuhg/ zkhuh wkh vshfldo dowhuqdwlyh frphv uvw lq wkh
rughu1 Dprqj wkh dowhuqdwlyhv uhfhlylqj yrwhv/ wkh uxoh vhohfwv wkh rqh wkdw
frphv uvw lq wkh rughu1 Rxu pdlq frqwulexwlrq lv wr vkrz wkdw/ iru dq|
qlwh qxpehu ri dowhuqdwlyhv/ hdfk uhsuhvhqwdwlyh ghprfudf| fdq eh gh0
vfulehg e| d sduwldo rughu ryhu wkh vhw ri dowhuqdwlyhv1 Li wzr dowhuqdwlyhv duh
udqnhg dffruglqj wr wklv sduwldo rughu/ wkhq zh vd| wkdw wkh wzr dowhuqdwlyhv
duh sulrulwl}hg1 Ri wkhvh wzr dowhuqdwlyhv/ wkh dowhuqdwlyh zklfk frphv uvw
dffruglqj wr wkh sduwldo rughu kdv d kljkhu sulrulw|1 Vxfk d uxoh vhohfwv wkh
6
orzhvw sulrulw| dowhuqdwlyh zklfk kdv d sulrulw| +zhdno|, kljkhu wkdq doo ri
wkh dowhuqdwlyhv zklfk uhfhlyh yrwhv1 Wklv dowhuqdwlyh pd| ru pd| qrw kdyh
ehhq yrwhg iru e| vrph ri wkh djhqwv1 Zh fdoo vxfk d uxoh d sduwldo sulrulw|
uxoh1
D w|slfdo h{dpsoh ri d sduwldo sulrulw| uxoh lv irxqg lq mxu| wuldov1 D mxu|
pxvw ghflgh ehwzhhq wkh jxlow ru wkh lqqrfhqfh ri d vxvshfw1 D vxvshfw lv
frqvlghuhg lqqrfhqw xqohvv wkh mxuruv xqdqlprxvo| djuhh wkdw vkh lv jxlow|1
Wkh sduwldo rughu fruuhvsrqglqj wr wklv sduwldo sulrulw| uxoh udqnv jxlow|
diwhu lqqrfhqw1 Sduwldo sulrulw| uxohv zlwk wkuhh ru pruh dowhuqdwlyhv fdq
eh ghvfulehg e| lqwurgxflqj wkh frqfhsw ri d kxqj mxu|1 Khuh/ li doo djhqwv
djuhh rq jxlow|/ wkh vxvshfw lv jxlow|1 Li doo djhqwv djuhh rq lqqrfhqw/
wkh vxvshfw lv lqqrfhqw1 Li wkhuh lv qrw xqdqlprxv djuhhphqw iru hlwkhu
dowhuqdwlyh> krzhyhu/ zh vd| wkdw wkhuh lv d kxqj mxu|1 Wklv fruuhvsrqgv wr
d sduwldo sulrulw| uxoh zklfk udqnv erwk jxlow| dqg lqqrfhqw diwhu kxqj
mxu|/ exw ohdyhv jxlow| dqg lqqrfhqw lqfrpsdudeoh1
Wkh fkdudfwhul}dwlrq ri uhsuhvhqwdwlyh ghprfudf| frqupv wkh lqwxlwlrq
wkdw uhsuhvhqwdwlyh frqvlvwhqf| lv yhu| gl!fxow wr vdwlvi|/ dqg wkxv rxu uhvxow
pd| eh ylhzhg lq d qhjdwlyh oljkw1 Qhyhuwkhohvv/ wkh fodvv ri sduwldo sulrulw|
uxohv lv qrqhpsw|/ dqg wkhuh lv urrp wr lpsrvh rwkhu lqwhuhvwlqj surshuwlhv
rq uxohv1 Zh lqyhvwljdwh wkh frpsdwlelolw| ri dgglwlrqdo surshuwlhv zlwk rxu
pdlq d{lrpv1 Iru h{dpsoh/ wkh srvlwlyh yrwh0vkduh frqglwlrq uhtxluhv wkdw
dq| vhohfwhg dowhuqdwlyh pxvw uhfhlyh dw ohdvw rqh yrwh1 Zkhq frxsohg zlwk
rxu rwkhu d{lrpv/ wklv frqglwlrq lv htxlydohqw wr wkh frqglwlrq wkdw wkh sduwldo
rughu fruuhvsrqglqj wr d sduwldo sulrulw| uxoh lv d olqhdu rughu1
Rqh dgydqwdjh ri rxu prgho lv lwv jhqhudolw|1 Lq idfw/ zh dvvxph qr
vwuxfwxuh rq wkh vhw ri dowhuqdwlyhv h{fhsw wkdw lw lv qlwh1 Krzhyhu/ lq
vshflf h{dpsohv/ uhvwulfwlrqv rq wkh vhw ri dowhuqdwlyhv duh dozd|v zduudqwhg1
Wr hvwdeolvk wkdw rxu prgho lv lqwhuhvwlqj lq frqfuhwh hfrqrplf hqylurqphqwv/
zh vwxg| wkh sduwldo sulrulw| uxohv lq wkh frqwh{w ri vsdwldo frpshwlwlrq1 Wkxv/
zh dvvxph wkdw wkh dowhuqdwlyhv duh h{rjhqrxvo| rughuhg dffruglqj wr vrph
olqhdu rughu1 Iru h{dpsoh/ srolflhv pd| eh rughuhg iurp ohiw wr uljkw1
Zh glvfxvv frqglwlrqv uhodwlqj wr wklv h{rjhqrxv rughu1 Ehwzhhqqhvv lv
wkh uhtxluhphqw wkdw wkh vhohfwhg dowhuqdwlyh olh ehwzhhq wkh pd{lpdo dqg
plqlpdo yrwhv dffruglqj wr wkh olqhdu rughu1 Li lw lv lpsolflwo| xqghuvwrrg
wkdw djhqwv kdyh vlqjoh0shdnhg suhihuhqfhv ryhu wkh dowhuqdwlyhv dqg yrwhv duh
wdnhq wr eh wkh djhqwv* shdnv/ ehwzhhqqhvv lv htxlydohqw wr Sduhwr0h!flhqf|1
Yrwh prqrwrqlflw| vwdwhv wkdw li wkh yrwhv ri doo djhqwv pryh lq d fhuwdlq
gluhfwlrq/ wkhq vr vkrxog wkh vhohfwhg dowhuqdwlyh1 Yrwh prqrwrqlflw| fdq eh
7
xqghuvwrrg dv d vlpsoh srvlwlyh uhvsrqvlyhqhvv frqglwlrq1 Odvwo|/ zh vwxg|
vwudwhj|0surriqhvv/ dvvxplqj wkdw djhqwv kdyh suhihuhqfhv ryhu wkh dowhuqd0
wlyhv zklfk duh vlqjoh0shdnhg1 Vwudwhj|0surriqhvv vwdwhv wkdw/ lq d vwudwhjlf
vlwxdwlrq lq zklfk djhqwv duh uhtxluhg wr dqqrxqfh dq dowhuqdwlyh/ lw lv d
grplqdqw vwudwhj| iru hdfk djhqw wr dqqrxqfh khu shdn1 Lw wxuqv rxw wkdw
zkhq frxsohg zlwk rxu rwkhu d{lrpv/ wkhvh d{lrpv ohdg wr wkuhh surjuhv0
vlyho| uhvwulfwlyh fodvvhv ri uxohv/ zklfk zh fkdudfwhul}h1
Lw lv qrw qhfhvvdulo| wkh fdvh wkdw vrflhw| zloo ghvluh d vlqjoh0phpehu glv0
wulfw v|vwhp1 Lq idfw/ riwhq/ ghprfudflhv rsw iru sursruwlrqdo uhsuhvhqwdwlrq1
Zh fdswxuh wklv lghd e| lqwurgxflqj orwwhulhv lqwr wkh prgho1 Zh ghqh dq
hqwluh fodvv ri qhz uxohv lq wklv prgho/ zklfk zh fdoo wkh txdvl0sursruwlrqdo
uxohv1 Wkh txdvl0sursruwlrqdo uxohv duh qrw sduwldo sulrulw| uxohv/ exw wkh|
vdwlvi| wkh sulqflsohv zklfk zh wdnh wr ghqh uhsuhvhqwdwlyh ghprfudf|1
Vhfwlrq 5 glvfxvvhv wkh prgho dqg wkh pdlq d{lrpv1 Vhfwlrq 6 suryhv rxu
pdlq wkhruhp dqg vhyhudo vlpsoh fruroodulhv1 Vhfwlrq 7 glvfxvvhv rxu wkhruhp
lq d vsdwldo prgho1 Vhfwlrq 8 lv ghyrwhg wr d glvfxvvlrq ri sursruwlrqdo
uhsuhvhqwdwlrq1 Vhfwlrq 9 vwxglhv d qdwxudo frqfhsw ri gxdov wr sduwldo
sulrulw| uxohv1 Vhfwlrq : frqfoxghv1
5
514
Wkh prgho
Suholplqdulhv
Ohw Q eh d vhw ri srwhqwldo djhqwv1 Ohw Q eh wkh vhw ri qlwh vxevhwv ri
Q1 Ohw X eh d qlwh vhw1 Hohphqwv ri X duh dowhuqdwlyhv/ wr eh lqwhusuhwhg
dv srolflhv/ fdqglgdwhv/ hwf1 HdfkVdjhqw vxeplwv d yrwh/ ru dq hohphqw
ri X1 D uxoh lv d ixqfwlrq f G
M X $ X1 Wkxv/ d uxoh vshflhv
d uhsuhvhqwdwlyh dowhuqdwlyh iru dq| srsxodwlrq ri djhqwv dqg dq| olvw ri
yrwhv wkhvh djhqwv pd| vxeplw1 Wklv uhsuhvhqwdwlyh dowhuqdwlyh vkrxog eh
lqwhusuhwhg dv wkh vrfldo dowhuqdwlyh vhohfwhg iru wklv sduwlfxodu srsxodwlrq ri
djhqwv dqg yrwhv1
N
N
515
Ghprfudf|
Wkh uvw surshuw| zh glvfxvv lq wklv vhfwlrq vwdwhv wkdw d uxoh vkrxog uhvshfw
wkh zloo ri wkh shrsoh zkhq wklv zloo lv xqdpeljxrxv1 Lw lv dq h{wuhpho|
zhdn d{lrp1
8
Iru doo N 5 Q / x 5 X/ ohw x eh d yhfwru ri x*v lq X 1 Iru doo N 5 Q /
doo x 5 X / dqg doo M N / ohw x eh wkh surmhfwlrq ri x rqwr X 1
Xqdqlplw|= Iru doo N 5 Q dqg doo x 5 X/ f x ' x1
N
N
N
M
M
N
Wkh qh{w d{lrp vwdwhv wkdw d uxoh vkrxog eh ljqrudqw ri wkh qdphv ri
djhqwv1 Wklv lv d plog sulqflsoh ri htxdolw|/ fdswxulqj wkh rqh0pdq/ rqh0
yrwh sulqflsoh1
5
Dqrq|plw|= Iru doo N; N 5 Q vxfk wkdw mNm ' mN m/ iru doo elmhfwlrqv
£ G N $ N / dqg doo x 5 X / f Ex ' f E£ x1
N
Rqh zrxog h{shfw prvw ghprfudwlf yrwlqj uxohv wr vdwlvi| wkhvh wzr surs0
huwlhv1
516
Uhsuhvhqwdwlyh frqvlvwhqf|
Zh khuh lqwurgxfh uhsuhvhqwdwlyh frqvlvwhqf|1 Lqirupdoo|/ wkh d{lrp vwdwhv
wkdw iru dq| srsxodwlrq ri djhqwv dqg dq| froohfwlrq ri yrwhv/ zh pd| zlwkrxw
orvv ri jhqhudolw| sduwlwlrq wkh vhw ri djhqwv lqwr glvwulfwv/ qg wkh fkrlfh
iru hdfk glvwulfw/ dqg wkhq wuhdw hdfk glvwulfw dv li hdfk djhqw lq wkh glvwulfw
kdg yrwhg iru wkh rxwfrph vhohfwhg iru wkh glvwulfw1
6
Uhsuhvhqwdwlyh
frqvlvwhqf|= Iru doo N 5 Q / doo M N/ dqg doo x 5 X /
f Ex ' f f Ex ; x . 1
N
M
M
N
M
Xqghu wkh xqdqlplw| sulqflsoh/ uhsuhvhqwdwlyh frqvlvwhqf| lv htxlydohqw
wr wkh vwdwhphqw wkdw iru doo N 5 Q / doo sduwlwlrqv
iN ; :::; N j ri N/ dqg
doo x 5 X / f Ex ' f f Ex   ; :::; f Ex 1
K
N
N
NK
N
NK
5
Wklv sulqflsoh lv ylrodwhg lq hohfwlrqv iru wkh Xqlwhg Vwdwhv Vhqdwh/ iru h{dpsoh1 Lq
wklv fdvh/ hdfk vwdwh lv wuhdwhg htxdoo|/ uhjdugohvv ri srsxodwlrq1 Dqrq|plw| lv forvhu wr
wkh sulqflsoh xqghuo|lqj hohfwlrqv iru wkh Xqlwhg Vwdwhv Krxvh ri Uhsuhvhqwdwlyhv1
6
Uhsuhvhqwdwlyh frqvlvwhqf| ehduv uhvhpeodqfh wr wkh sdwk0lqghshqghqfh frqglwlrq iru
fkrlfh ixqfwlrqv/ uvw irupdol}hg e| Sorww ^48`1 Vhh dovr Dvdk dqg Vdqyhu ^6`1
9
6
Uhvxowv
614
Suholplqdulhv
Dq| dqrq|prxv uxoh fdq eh vshflhg zlwkrxw uhihuhqfh wr wkh vshflf qdphv
ri djhqwv1 Lq wkh surriv ri uhvxowv lq zklfk dqrq|plw| sod|v d uroh/ zh riwhq
h{sorlw wklv idfw zlwkrxw phqwlrq/ glvuhjduglqj wkh yduldeoh N 1
Wkh iroorzlqj d{lrp fdq eh lqwhusuhwhg dv phdqlqj wkdw rqo| wkh sursru0
wlrqv ri yrwhv uhfhlyhg iru hdfk dowhuqdwlyh duh xvhg lq ghwhuplqlqj wkh vrfldo
dowhuqdwlyh1
Ohw m eh dq lqwhjhu/ ohw N 5 Q / dqg ohw x 5 X 1 Ohw N 5 Q eh vxfk
wkdw mN m ' m mN m1 D yhfwru x 5 X lv dq 40uhsolfd ri li wkhuh h{lvwv d
sduwlwlrq ri N lqwr m vhwv ri vl}h mNm/ vd| iN ; :::; N j vxfk wkdw iru doo N /
wkhuh h{lvwv d elmhfwlrq £ G N $ N iru zklfk x ' £ x1 Iru doo N 5 Q /
x 5 X / m 5 Q/ x ghqrwhv dq m0uhsolfd ri x1
N
N
m
i
N
i
m
7
Ni
i
i
Uhsolfdwlrq lqyduldqfh= Ohw m eh dq lqwhjhu1 Ohw N 5 Q dqg ohw x 5 X 1
Ohw x eh dq m0uhsolfd ri x1 Wkhq f Ex ' f Ex1
N
Wkh iroorzlqj wulyldo revhuydwlrq lv xvhixo=
Ohppd 4= Li d uxoh vdwlvhv xqdqlplw|/ dqrq|plw|/ dqg uhsuhvhqwdwlyh frq0
vlvwhqf|/ wkhq lw vdwlvhv uhsolfdwlrq lqyduldqfh1
Surri= Ohw N 5 Q dqg ohw 3
x 5 X 14Ohw x eh dq m0uhsolfd ri x1 Wkhq
N
e| ghqlwlrq ri x / f Ex ' f Cx; :::; xD1
 ~} €
3
4
m
E| uhsuhvhqwdwlyh frqvlvwhqf|/
3
4
E
F
E
F
f Ex ' f Cf Ex ; :::; f ExD1 E| xqdqlplw|/ f Cf Ex ; :::; f ExD ' f Ex1

~}
€

~}
€
ƒ ƒ
Frqfoxgh wkdw f Ex ' f Ex1
ƒ ƒ
m N
m N
Rxu pdlq uhvxow lv d fkdudfwhul}dwlrq ri wkh fodvv ri uxohv vdwlvi|lqj xqd0
qlplw|/ dqrq|plw|/ dqg uhsuhvhqwdwlyh frqvlvwhqf|1 Wkh iroorzlqj h{dpsoh
looxvwudwhv wklv fodvv lq wkh wzr0dowhuqdwlyh fdvh1 Wkh ghvfulswlrq ri wkh jhq0
hudo fodvv iroorzv1
7
Dq m0uhsolfd ri d jlyhq yhfwru lv qrw xqltxho| ghqhg1
:
H{dpsoh 4= Ohw X iy; zj1 Wkhq wkhuh duh rqo| wzr uxohv vdwlvi|lqj
xqdqlplw|/ dqrq|plw|/ dqg uhsuhvhqwdwlyh frqvlvwhqf|1 Rqh vxfk uxoh
vhohfwv f Ex ' y xqohvv doo djhqwv yrwh iru z1 Wkh rwkhu vxfk uxoh
dozd|v vhohfwv z/ xqohvv doo djhqwv yrwh iru y1
Zh qrz jhqhudol}h wkh suhfhglqj h{dpsoh wr wkh fdvh ri dq duelwudu|
+qlwh, qxpehu ri dowhuqdwlyhv1 D sduwldo rughu lv d elqdu| uhodwlrq zklfk
lv l, uh h{lyh/ ll, wudqvlwlyh/ dqg lll, dqwl0v|pphwulf1 D sduwldo rughu qhhg
qrw eh frpsohwh1 Iru d sduwldo rughu / ! ghqrwhv wkh dv|pphwulf sduw1
D sdlu EY; lv d sduwldoo| rughuhg vhw li Y lv d vhw dqg lv d sduwldo rughu
rq Y 1 Iru doo x; y 5 Y / zkhuh EY; lv d sduwldoo| rughuhg vhw/ x a y 5 Y lv
wkh phhw ri
dqg ) li lw lv wkh xqltxh juhdwhvw orzhu erxqg iru x dqg y
dffruglqj wr 1 Jhqhudoo|/ wzr hohphqwv x; y 5 Y qhhg qrw srvvhvv d phhw1 D
phhw0vhplodwwlfh lv d sduwldoo| rughuhg vhw vxfk wkdw dq| sdlu ri hohphqwv
srvvhvvhv d phhw1 Iru pruh rq wkhvh ghqlwlrqv/ vhh Elunkr ^7`1
Iljxuh 4 glvsod|v d w|slfdo phhw0vhplodwwlfh1 Hdfk phhw0vhplodwwlfh fdq
eh slfwxuhg dv d gluhfwhg judsk zlwk d xqltxh urrw1 Khuh/ a lv wkh urrw ri
wkh wuhh1 Dq dowhuqdwlyh suhfhghv dqrwkhu dowhuqdwlyh lq whupv ri wkh sduwldo
rughu li rqh fdq frqvwuxfw d sdwk hpdqdwlqj iurp wkh uvw dowhuqdwlyh grzq
wkh judsk wr wkh rwkhu dowhuqdwlyh1 Wkxv/ lq Iljxuh 4/ a c dv wkhuh h{lvwv d
sdwk jrlqj grzq wkh judsk vwduwlqj dw a dqg hqglqj dw c1 Pruhryhu/ a e1
Krzhyhu/ wkh dowhuqdwlyhv b dqg c duh xquhodwhg dffruglqj wr / dv wkhuh h{lvwv
qr gluhfwhg sdwk ehwzhhq wkhp1 Wkh phhw ri wzr dowhuqdwlyhv lv hdvlo| irxqg
dv wkh orzhvw frpprq suhghfhvvru ri wkh wzr dowhuqdwlyhv1 Wkxv/ b a e ' a lq
wkh h{dpsoh/ zkhuhdv c a e ' c1
D uxoh f lv d sduwldo sulrulw| uxoh li wkhuh h{lvwv d sduwldo rughu ryhu
X vr wkdw
Y EX; lv d phhw0vhplodwwlfh/ dqg iru doo N 5 Q dqg doo x 5 X /
f Ex ' M x 1
8
9
N
i
N
i
: /;
8
Uh h{lyh= Iru doo x 5 X/ x x1
Wudqvlwlyh= Iru doo x; y; z 5 X/ li x y dqg y z1 wkhq x z1
Dqwl0v|pphwulf= Iru doo x; y 5 X/ li x y dqg y x/ wkhq x @ y1
Frpsohwh= Iru doo x; y 5 X/ hlwkhu x y ru y x1
9
Wkdw lv/ x " yYli dqg rqo| li x y lv wuxh dqg y x lv idovh1
:
Wkh qrwdwlrq i5N xi uhihuv wr wkh phhw ri wkh vhw ri hohphqwv ixi ji5N / zklfk h{lvwv
iru dq| phhw0vhplodwwlfh1
;
Wkhuh lv qr vljqlfdqfh wr wkh idfw wkdw sduwldo sulrulw| uxohv vhohfw wkh phhw ri wkh do0
whuqdwlyhv uhfhlylqj d srvlwlyh qxpehu ri yrwhv1 Hyhu| sduwldo sulrulw| uxoh fdq htxlydohqwo|
eh ghvfulehg wkurxjk wkh xvh ri d sduwldoo| rughuhg vhw lq zklfk hyhu| sdlu ri hohphqwv
kdv d mrlq +xqltxh ohdvw xsshu erxqg,/ zkhuh wkh uxoh vhohfwv wkh mrlq ri wkh dowhuqdwlyhv
;
a
b
c
d
e
Iljxuh 4= D phhw0vhplodwwlfh
Wkxv/ zlwk dq| sduwldo sulrulw| uxoh/ wkh sursruwlrq ri yrwhv uhfhlyhg iru
hdfk dowhuqdwlyh grhv qrw pdwwhu1 Wr vhohfw dq dowhuqdwlyh/ rqh rqo| qhhgv wr
ghwhuplqh zklfk dowhuqdwlyhv uhfhlyh d srvlwlyh qxpehu ri yrwhv1
615
Lqwhusuhwlqj sduwldo sulrulw| uxohv
Ohw f eh d sduwldo sulrulw| uxoh zlwk sduwldo rughu 1 Ohw x; y 5 X eh rughuhg
e| / vr wkdw x y1 Zh pd| lqwhusuhw wklv vwdwhphqw dv uhdglqj x kdv d
kljkhu sulrulw| wkdq y1 Lq rwkhu zrugv/ x lv pruh lpsruwdqw wkdq y1 Wklv
lqwhusuhwdwlrq lv srvvleoh ehfdxvh y fdq eh vhohfwhg lq sodfh ri x rqo| li doo
djhqwv yrwh iru y lq olhx ri x1 Wkxv/ hdfk djhqw fdq yhwr y e| yrwlqj iru x1
Krzhyhu/ qrw doo dowhuqdwlyhv qhhg eh uhodwhg e| 1 Vxssrvh lq idfw wkdw x
dqg y duh xquhodwhg dffruglqj wr 1 Wkhq zh pd| lqwhusuhw wklv dv phdqlqj
wkdw qhlwkhu x qru y fdq eh ghhphg d pruh lpsruwdqw dowhuqdwlyh1 Lq wklv
fdvh/ vrph frpsurplvh pxvw eh vwuxfn ehwzhhq wkh wzr1 Wkh frpsurplvh
ehwzhhq x dqg y lv ghflghg xvlqj wkh sduwldo sulrulw|1 Lw lv wkh orzhvw sulrulw|
dowhuqdwlyh zklfk kdv sulrulw| kljkhu wkdq erwk x dqg y1
616
Wkh pdlq wkhruhp
Wkh pdlq wkhruhp vwdwhv wkdw d yrwlqj uxoh lv d uhsuhvhqwdwlyh ghprfudf|
li dqg rqo| li lw lv d sduwldo sulrulw| uxoh1 Wkh surri ri wklv wkhruhp lv
frqvwuxfwlyh dqg lv glylghg lqwr yh vwhsv1 Jlyhq lv d uxoh vdwlvi|lqj wkh
uhfhlylqj d srvlwlyh qxpehu ri yrwhv1
<
d{lrpv ghvfulelqj uhsuhvhqwdwlyh ghprfudf|1 Lq wkh uvw vwhs/ dq rughu rq
wkh dowhuqdwlyhv lv ghqhg iurp wkh uxoh/ dqg lw lv yhulhg wkdw wklv rughu lv
d sduwldo rughu1 Wklv frqvwuxfwlrq lv dozd|v ydolghyhq li X lv qrw qlwh1
Wkh prvw vljqlfdqw revwdfoh lv lq vkrzlqj wkdw wklv sduwldo rughu irupv d
phhw0vhplodwwlfh zkhq frxsohg zlwk X1 Wr suryh wklv/ lw lv qhfhvvdu| wkdw
X eh qlwh1 Zh hvwdeolvk wklv idfw lq Vwhsv 5/ 6/ dqg 71 Vwhs 5 vkrzv wkdw
wkh uxoh lv prqrwrqlf lq wkh sduwldo rughu1 Vwhs 6 vkrzv wkdw iru wzr0djhqw
hqylurqphqwv/ wkh vhohfwhg vrfldo dowhuqdwlyh olhv ehorz wkh wzr dowhuqdwlyhv
yrwhg iru lq whupv ri wkh sduwldo rughu1 Vwhs 7 xvhv Vwhsv 5 dqg 6 wr vkrz
wkdw wkh sduwldo rughu lv dfwxdoo| d phhw0vhplodwwlfh dqg wkdw iru wzr0djhqw
hqylurqphqwv/ wkh uxoh vhohfwv wkh phhw ri wkh dowhuqdwlyhv zklfk duh yrwhg
iru1 Vwhs 8 hvwdeolvkhv wkdw wkh uxoh dozd|v vhohfwv wkh phhw ri wkh dowhuqdwlyhv
zklfk uhfhlyh yrwhv1
Wkhruhp 4= D uxoh vdwlvhv xqdqlplw|/ dqrq|plw|/ dqg uhsuhvhqwdwlyh frq0
vlvwhqf| li dqg rqo| li lw lv d sduwldo sulrulw| uxoh1
Surri= Li f lv d sduwldo sulrulw| uxoh/ wkhq lw fohduo| vdwlvhv xqdqlplw|/
dqrq|plw|/ dqg uhsuhvhqwdwlyh frqvlvwhqf|1 Iru wkh rwkhu gluhfwlrq/ ohw f eh
d uxoh zklfk vdwlvhv xqdqlplw|/ dqrq|plw|/ dqg uhsuhvhqwdwlyh frqvlvwhqf|1
Vwhs 4= Frqvwuxfwlrq ri wkh rughu dqg yhulfdwlrq ri lwv surs0
huwlhv
Iru doo x/y 5 X/ ghqh x y li f Ex; y ' x1 Ohw x 5 X1 E| xqdqlplw|/
f Ex; x ' x/ vr wkdw x x1 Wkxv/ lv uh h{lyh1 Ohw x; y 5 X1 Vxssrvh
x y dqg y x1 Wkhq e| ghqlwlrq/ f Ex; y ' x dqg f Ex; y ' y1 Wkxv/
x ' y dqg lv dqwl0v|pphwulf1
Zh fodlp wkdw lv wudqvlwlyh1 Ohw x; y; z 5 X1 Vxssrvh x y dqg y z1
E| uhsolfdwlrq lqyduldqfh/
f Ex; z ' f Ex; x; z; z 1
Dv x y/ e| ghqlwlrq/
f Ex; x; z; z ' f Ef Ex; y ; f Ex; y ; z; z 1
E| uhsuhvhqwdwlyh frqvlvwhqf|/
f Ef Ex; y ; f Ex; y ; z; z ' f Ex; y; z; z 1
43
E| uhsuhvhqwdwlyh frqvlvwhqf|/
f Ex; y; z; z ' f Ex; f Ey; z ; f Ey; z ; z 1
Dv y z/ e| ghqlwlrq/
f Ex; f Ey; z ; f Ey; z ; z ' f Ex; y; y; z 1
E| uhsuhvhqwdwlyh frqvlvwhqf|/
f Ex; y; y; z ' f Ex; y; f Ey; z ; f Ey; z 1
Dv y z/ e| ghqlwlrq/
f Ex; y; f Ey; z ; f Ey; z ' f Ex; y; y; y 1
E| uhsuhvhqwdwlyh frqvlvwhqf|/
f Ex; y; y; y ' f Ef Ex; y ; f Ex; y ; y; y 1
Dv x y/ e| ghqlwlrq/
f Ef Ex; y ; f Ex; y ; y; y ' f Ex; x; y; y 1
E| uhsolfdwlrq lqyduldqfh/
f Ex; x; y; y ' f Ex; y 1
Dv x y/ e| ghqlwlrq/
f Ex; y ' x1
Wkxv/ f Ex; z ' x/ vr wkdw e| ghqlwlrq/ x z1 Wkhuhiruh/ lv wudqvlwlyh1
Vwhs 5= Wkh uxoh lv prqrwrqlf lq wkh sduwldo rughu
Zh fodlp wkdw iru doo x; y; z 5 X/ li x y/ wkhq f Ex; z f Ey; z1
Wkxv/ ohw x; y; z 5 X dqg vxssrvh x y1 E| uhsolfdwlrq lqyduldqfh dqg
uhsuhvhqwdwlyh frqvlvwhqf|/
f Ef Ex; z ; f Ey; z ' f Ex; y; z; z 1
E| uhsuhvhqwdwlyh frqvlvwhqf| dqg uhsolfdwlrq lqyduldqfh/
f Ex; y; z; z ' f Ef Ex; y ; f Ex; y ; z; z ' f Ef Ex; y ; z 1
44
Dv x y/ e| ghqlwlrq/
f Ef Ex; y ; z ' f Ex; z 1
Wkhuhiruh/
f Ef Ex; z ; f Ey; z ' f Ex; z /
vr wkdw/ e| ghqlwlrq/ f Ex; z f Ey; z1
Vwhs 6= Wkh uxoh pdsv hyhu| wzr hohphqwv lqwr dq hohphqw
zklfk suhfhghv wkhp lq wkh sduwldo rughu
Zh fodlp wkdw iru doo x; y 5 X/ f Ex; y x1 Ohw x; y 5 X1 Zh ghqh
dq dx{loldu| ixqfwlrq F ghulyhg iurp f 1 Ohw P T_ df; o +wklv zloo eh wkh
grpdlq ri F ,1
Iru doo p 5 P / p fdq eh zulwwhq dv p EE / zkhuh m Ep ; n Ep 5 Q1
Iru doo p 5 P / ghqh F Ep ' f x E ; y E 3 E 1 E| uhsolfdwlrq lqyduldqfh/
zklfk iroorzv iurp Ohppd 4/ F lv zhoo0ghqhg1
Zh fodlp wkdw iru doo p; p 5 P dqg z 5 X vxfk wkdw p < p / li F Ep ' z
dqg F Ep ' z/ wkhq iru doo p 5 Ep; p _ T/ F Ep ' z1
Wkxv/ ohw p; p 5 P vxfk wkdw F Ep ' F Ep ' z1 Ohw p 5 Ep; p _ T1
Wkhq wkhuh h{lvwv “ 5 T vxfk wkdw p ' “p n E “ p 1 Vlqfh “ 5 T/
“ ' EE iru m E“ ; n E“ 5 Q1 Wkxv p ' EE EE n E E 3E E EE 1
m p
<
n p
m p
n p
m p
m “
m “
m p
n “
n “
n p
E 3 E Zh fdq zulwh p ' E E E nE
E E E duudqjlqj whupv/ F Ep lv htxdo wr=
E E E ; x
;y
f x E ; y E 3 E m “ m p n p
n “
m “
E nEp
m p
n “ n p n p
m p
n p
n p
m p
m “
m p
3
E n p
n “
m “
m p
n p
n “
1 Wkxv/ e| dssursuldwho|
E m p
E EnE“
n p
3
E m “
+4,
E| dvvxpswlrq/ f x E ; y E 3 E ' f x E ; y E 3 E ' z/ vr wkdw e|
E E E E E E E 3 E uhsuhvhqwdwlyh frqvlvwhqf|/
+4,
lv
htxdo
wr
f
z
;
z
1
E E E E E E E 3 E E| xqdqlplw|/ f z
;z
' z1 Wkhuhiruh/ F Ep '
z1 Khqfh/ F lv frqyh{1
Zh qh{w vkrz wkdw F lv frqvwdqw rq Ef; 1 Vlqfh X lv qlwh dqg Ef;  _ P
lv frxqwdeoh/ wkhuh h{lvwv z 5 X dqg d vhtxhqfh ip j"' Ef;  _ P vxfk
wkdw p $ / iru zklfk F Ep ' z iru doo n1 Frqfoxgh e| wkh suhylrxv
m p
n p
m p
m p
n p
n p n p
n p n p
m “
n p
n p
n “
m p
m “
n p
n p
n “
m “
m “
43
n
n
n
n
<
Wklv uhsuhvhqwdwlrq ri p lv reylrxvo| qrw xqltxh1
Lq wkh surri ri dq lpsruwdqw wkhruhp/ \rxqj ^4;` xvhv d vlplodu whfkqltxh ri ghqlqj
dq dx{loldu| ixqfwlrq edvhg rq sursruwlrqv/ dqg vkrzlqj lw lv frqyh{1
43
45
sdudjudsk +xvlqj wkh frqyh{lw| ri F ,/ wkdw wkhuh h{lvwv pW <  vxfk wkdw
iru doo p 5 EpW ;  _ T/ F Ep ' z1
Zh fodlp wkdw iru doo p; q 5 P / “ 5 T_ Ef; / li F Ep ' F Eq/ wkhq
F E“p ' F E“q1 Wkxv/ ohw p; q; “ vdwlvi| wkhvh k|srwkhvhv dqg vxssrvh
F Ep ' F Eq ' z1 Zulwh p ' EE / q ' EE / dqg “ ' EE / zkhuh
mEp ; n Ep ; m Eq; n Eq ; m E“/ dqg
n E“ 5 Q1 E| ghqlwlrq/ F Ep '
f x E ; y E 3 E dqg F Eq ' f x E ; y E 3 E 1 E| ghqlwlrq/
E ; y E E E 3 E F E“p ' f x E ; y E 3 E +5,
m p
n p
m q
m “
n p
n q
n “
m p
m q
m p
dqg
m p
F E“q ' f
x
n p
E m q
;y
3
E m q
m q
m “
m p
E n q
n q
E m “
n p
;y
n “
m “
3
E EnE“
n q
E m “
1
+6,
E| uhsolfdwlrq lqyduldqfh/ zh rewdlq +e| uhsolfdwlqj wkh lqvlgh ri +5, n Eq
wlphv,
E E F E“p ' f x E ; y E 3 E ; y E E E E 3 E m p
n p
n q m “
m p
dqg +e| uhsolfdwlqj wkh lqvlgh ri +6, n Ep wlphv,
E E F E“q ' f x E ; y E 3 E ;y
m q
n q
E| uhsuhvhqwdwlyh frqvlvwhqf|/
F E“p ' f f x E ; y
m p
dqg
F E“q ' f f x
E m q
Dv f x
E m p
;y
3
E n p
E m p
;y
E 'f x
dqg
F E“q ' f z
3
E m q
F E“p ' f z
3
E n p
n q
n p m “
m q
E E E E m q
E E E ;y
n p n q m “
n p n q m “
3
E n q
E E E n p n q m “
E E E n p n q m “
Wkxv F E“p ' F E“q1
46
E m q
;y
;y
n “
E E EnE“
n p n q
E n p
n p n q
;y
;y
m “
3
E E EnE“
n p n q
E E EnE“
n p n q
E E EnE“
3
3
E m “
E m “
3
3
E E EnE“
n p n q
' z/
n p n q
E m “
1
1
E m “
E m “
1
Ohw qW 5 P vdwlvi| q W 5 EpW ; 1 Wkhq F EqW ' z dqg F EpW ' z1
Pruhryhu/ wkhuh h{lvwv “W 5 Ef;  _ T vxfk wkdw pW ' “W q W 1 Iru doo k '
; :::; 4/ ohw q E“W q W 1 Dv “W < / q $ f/ dqg iru doo k/ q > f1
Zh fodlp wkdw iru doo k ' ; :::; 4/ F Eq ' z1 E| ghqlwlrq/ F Eqf '
F Eq ' z1 Surfhhg e| lqgxfwlrq1 Vxssrvh wkdw iru doo k < K/ F Eq ' z1
Zh vkrz wkdw F Eq ' z1 Wkxv/ F Eq ' F E“W q 3 dqg F Eq 3 '
F Eq 32 ' z/ vr wkdw e| wkh uhvxow lq wkh suhylrxv sdudjudsk/ F E“W q 3 '
F E“W q 32 1 Exw e| ghqlwlrq/ F E“W q 32 ' F Eq 3 ' z/ vr wkdw F Eq '
F E“W q 3 ' z1 Wkxv/ iru doo k/ F Eq ' z1 E| wkh frqyh{lw| ri F / zh
frqfoxgh wkdw F lv frqvwdqw dqg htxdo wr z rq Ef; 1
Wkhuhiruh/ f Ef Ex; y ; x ' f Ex; x; x; y ' F E=e ' F E=2 ' f Ex; y/
vr wkdw e| ghqlwlrq/ f Ex; y x1
k
k
k
k
k
k
K
K
K
K
K
K
K
K
K
K
K
k
Vwhs 7= Iru wzr djhqwv/ wkh uxoh fkrrvhv wkh phhw ri wkh dowhu0
qdwlyhv uhfhlylqj yrwhv
Ohw x; y 5 X1 Zh fodlp wkdw f Ex; y lv wkh xqltxh juhdwhvw orzhu erxqg
iru x dqg y dffruglqj wr 1 E| Vwhs 6/ f Ex; y lv d orzhu erxqg iru x dqg
y1 Vxssrvh wkhuh h{lvwv dqrwkhu orzhu erxqg iru x dqg y/ vd|/ z1 Wkhq/
e| ghqlwlrq/ z x dqg z y1 E| Vwhs 5/ f Ex; z f Ex; y1 Dv z x/
e| ghqlwlrq/ f Ex; z ' z/ vr wkdw z f Ex; y1 Wkxv/ e| wkh dqwl0v|pphwu|
ri / f Ex; y lv wkh xqltxh juhdwhvw orzhu erxqg iru x dqg y1 Wkhuhiruh/
f Ex; y ' xay1 Wkxv/
EX; lv d phhw0vhplodwwlfh1 Wkhuhiruh/ iru doo N 5 Q
Y
dqg doo x 5 X / M x lv zhoo0ghqhg +dv a lv dvvrfldwlyhvhh Elunkr ^7`/
s1 ;043,1
N
i
Vwhs 8=
djhqwv
N
i
H{whqglqj wkh uhvxow wr duelwudu| qlwh qxpehuv ri
Y
Zh hvwdeolvk wkdw iru doo N 5 Q dqg doo x 5 X / f Ex '
M x1
Wkh surri surfhhgv e| lqgxfwlrq rq wkh fduglqdolw| ri
Y wkh vhw ri djhqwv N 1
Vxssrvh wkdw mN m ' 1 E| xqdqlplw|/
f
Ex
'
x
'
M x 1 Vxssrvh wkdw
Y
mN m ' 21 Wkhq e| Vwhs 7/ f Ex ' M x 1
Ohw K eh dq lqwhjhu vxfk wkdw K > 21 Y
Vxssrvh wkdw iru doo N 5 Q vxfk
wkdw mN m < K/ iru doo x 5 X / f Ex '
x 1 Ohw N W 5 Q vxfk wkdw
M
mN W m ' K1 Zlwkrxw orvv ri jhqhudolw|/ zulwh N W i; :::; Kj1 Ohw x 5 X 1
E| uhsuhvhqwdwlyh frqvlvwhqf|/
N
i
i
i
N
N
i
N
i
i
N
i
N
i
N
f Ex ; :::; x ' f Ef Ex ; :::; x 3 ; :::; f Ex ; :::; x 3 ; x 1
K
K
47
K
K
W
E| wkh lqgxfwlrq k|srwkhvlv/
# 3
a
K
f Ef Ex ; :::; x 3 ; :::; f Ex ; :::; x 3 ; x ' f
K
K
K
3
a
x ; :::;
i
i
$
K
'
x ;x
i
i
1
K
'
E| uhsuhvhqwdwlyh frqvlvwhqf| +xvlqj wkh idfw wkdw K > ,/
4
3 Y
# 3
$
3 x ; f Y 3 x ; :::; Y 3 x ; x ; :::;
3
a
a
'
'
D1
Y '
x ; :::;
x ;x
f
'fC
Y 3
3

f
x
;
:::;
x
;
x
'
'
'
'
K
K
K
K
i
i
i
i
i
K
i
i
K
K
i
i
i
K
K
i
i
i
i
K
E| wkh lqgxfwlrq k|srwkhvlv/ wkh suhylrxv h{suhvvlrq lv htxdo wr
# 3
$
a
a
a
f
x ; x ; :::; x 1
K
K
K
i
i
'
i
i
i
'
i
'
E| uhsuhvhqwdwlyh frqvlvwhqf|/
# 3
$
# Y
3 x ; Y x ; f Y 3 x ; Y x ; $
a
a
a
f
'
'
'
'
1
f
x ; x ; :::; x ' f
Y
Y
x
;
:::;
x
'
'
'
'
'
K
K
K
i
i
K
i
i
K
i
i
i
K
i
i
K
i
i
K
i
i
i
i
K
i
i
i
E| wkh lqgxfwlrq k|srwkhvlv/ wkh suhylrxv h{suhvvlrq lv htxdo wr
#
$
a
a
f
x ; :::; x 1
K
K
i
i
Y
i
'
i
'
Y
E| xqdqlplw|/ f
' ' x 1 Wkhuhiruh/ rxu lqgxfwlrq
' x ; :::;
' x
k|srwkhvlv lv wuxh1 Wkh iroorzlqj lv d qdwxudo h{dpsoh ri d sduwldo sulrulw| uxoh1
Y
K
K
i
i
i
i
K
i
i
H{dpsoh 5= Vhwv ri dowhuqdwlyhv Ohw A eh d qlwh vhw1 Zh vwxg| wkh
srzhu vhw ri A1 Wkxv/
2 lv qdwxudoo| rughuhg e| vhw lqfoxvlrq/ dqg lw
lv fohdu wkdw 2 ; irupv d phhw0vhplodwwlfh/ zkhuh iru doo B; C 5 2 /
/
Ba C ' B
_ C1
W Ghqh f vr wkdw/ iru doo N 5 Q dqg doo B 5 2
f EB M
M B 1 Wkxv/ f vhohfwv doo dowhuqdwlyhv zklfk duh
yrwhg iru e| doo djhqwv1
A
A
A
A
i
i
N
i
N
i
48
N
Wkh sduwldo sulrulw| uxohv vdwlvi| wkh wkuhh d{lrpv qr pdwwhu zkdw wkh
fduglqdolw| ri X lv1 Exw lq rughu iru wkhp wr eh wkh rqo| uxohv vdwlvi|lqj wkh
wkuhh d{lrpv/ lw lv qhfhvvdu| wkdw X eh qlwh1 Khuh lv dq h{dpsoh ri d vhw
X zklfk lv frxqwdeo| lqqlwh/ dqg d uxoh f rq X vdwlvi|lqj wkh wkuhh d{lrpv
zklfk lv qrw d sduwldo sulrulw| uxoh1
H{dpsoh 6= D frxqwdeo| lqqlwh vhw ri dowhuqdwlyhv Ohw X eh frxqw0
deo| lqqlwh1 Ohw r G X $ T eh d elmhfwlrq +vxfk
Vd elmhfwlrq h{lvwv dv
X dqg T kdyh wkh vdph fduglqdolw|,1 Ghqh f G
M X $ X dv
S
r3 Ex M
1
f Ex M r
mNm
N
N
i
i
i
i
N
N
Lw lv vlpsoh wr yhuli| wkdw f vdwlvhv wkh wkuhh d{lrpv olvwhg lq wkh wkh0
ruhp1 Wr vhh wkdw f lv qrw d sduwldo sulrulw| uxoh/ ohw N eh d wzr0djhqw
vhw dqg N eh d wkuhh djhqw vhw1 Ohw x; y 5 X vxfk wkdw x 9' y1 Wkhq
Ex; y 5 X dqg Ex; x; y 5 X 1 Vxssrvh f lv d sduwldo sulrulw| uxoh1
Wkhq f Ex; y ' x ay ' Ex a x a y ' x a x a y ' f Ex;
E| gh0
x; y1
 E n
E 2  E n  E dqg
f
Ex;
x;
y
'
r
1
qlwlrq/ f Ex; y ' r
2
N
N
r
3
x
r
3
y
r
3
3
3
3
3
x
r
3
y
E n
E E Dv r lv d elmhfwlrq/ frqfoxgh
' 2 E n
1 Wkxv/
2
3

3

r Ex ' r Ey1 Dv r lv d elmhfwlrq/ x ' y1 Exw zh vxssrvhg x 9' y/ d
frqwudglfwlrq1 D sduwldo rughu fdq eh ghqhg iurp f dv lq wkh surri
ri Wkhruhp 4/ Vwhs 41 Krzhyhu/ lw lv lpphgldwh wkdw li x 9' y/ wkhq
f Ex; y 5
= ix; yj/ dqg wkxv lv wkh wulyldo sduwldo rughu lq zklfk doo
dowhuqdwlyhv duh rqo| frpsdudeoh wr wkhpvhoyhv1 Wkxv/ EX; grhv qrw
irup d phhw0vhplodwwlfh1
r
x
r
y
r
x
r
y
Zh gr qrw nqrz zkdw lv wkh prvw jhqhudo fodvv ri uxohv vdwlvi|lqj wkh
wkuhh d{lrpv iru duelwudu| vhwv X1 Krzhyhu/ wkhuh lv pxfk uhodwhg zrun lq
wkh ixqfwlrqdo htxdwlrqv olwhudwxuh ^4`1
617
Srvlwlyh yrwh0vkduh dqg sulrulw| rughulqjv
D sduwldo sulrulw| uxoh fdqqrw jhqhudoo| eh lqwhusuhwhg dv sulrulwl}lqj doo do0
whuqdwlyhv1 Krzhyhu/ wkhuh duh vrph sduwldo sulrulw| uxohv zklfk sulrulwl}h
doo dowhuqdwlyhv1 Wkh iroorzlqj d{lrp vwdwhv wkdw dq dowhuqdwlyh fdqqrw eh
vhohfwhg zlwkrxw uhfhlylqj dq| yrwhv1 Lw lv qdwxudo wr lpsrvh zkhq X lv
lqwhusuhwhg dv d vhw ri fdqglgdwhv/ iru h{dpsoh1
49
Srvlwlyh yrwh0vkduh= Iru doo N 5 Q dqg doo x 5 X / f Ex 5 ix j M 1
N
i
i
N
Wkh iroorzlqj fruroodu| vwdwhv wkdw sduwldo sulrulw| uxohv zklfk vdwlvi|
srvlwlyh yrwh0vkduh duh h{dfwo| wkrvh sduwldo sulrulw| uxohv zklfk sulrulwl}h doo
dowhuqdwlyhv1
44
Fruroodu| 4= D uxoh f vdwlvhv xqdqlplw|/ dqrq|plw|/ uhsuhvhqwdwlyh frqvlv0
whqf|/ dqg srvlwlyh yrwh0vkduh li dqg rqo| li wkhuh h{lvwv d olqhdu rughu ryhu X vxfk wkdw iru doo N 5 Q dqg doo x 5 X / f Ex 4? ix j M 1
N
i
i
N
Surri= Lw lv vlpsoh wr yhuli| wkdw wkh d{lrpv duh vdwlvhg e| dq| vxfk
uxoh1
Iru wkh rwkhu gluhfwlrq/ ohw eh wkh sduwldo rughu frqvwuxfwhg iurp f lq
Wkhruhp 41 Iru doo x; y 5 X/ srvlwlyh yrwh0vkduh lpsolhv wkdw f Ex; y 5
ix; yj1 E| ghqlwlrq ri / hlwkhu x y ru y x1 Khqfh lv frpsohwh/ vr
wkdw lw lv d olqhdu rughu1 Wkh suhfhglqj fruroodu| fdq eh suryhg gluhfwo| zlwkrxw uhihuulqj wr Wkhr0
uhp 41 Lq idfw/ d fuxfldo vwhs lq wkh surri ri Wkhruhp 4 uholhv rq wkh idfw wkdw
X lv qlwh1 Krzhyhu/ wkh suhfhglqj fruroodu| fdq eh suryhg hyhq zlwkrxw wkh
qlwhqhvv ri X1 Wkh uhdvrqlqj lv vlpsoh1 Lq wkh surri ri wkh pdlq wkhr0
uhp/ zh ghqh wkh sduwldo rughu ryhu X e| x y li f Ex; y ' x1 Krzhyhu/
zh kdg wr ghwhuplqh wkdw EX; lv d phhw0vhplodwwlfh +Vwhs 5/ Vwhs 6/ dqg
Vwhs 7,1 Zkhq srvlwlyh yrwh0vkduh lv vdwlvhg/ EX; lv hdvlo| vhhq wr eh d
phhw0vhplodwwlfh/ dv lv frpsohwh1
618
Uhsuhvhqwdwlyh suhihuhqfh
Ohw A eh d qlwh vhw/ dqg ohw X eh wkh vhw ri olqhdu rughuv ryhu A/ lqwhusuhwhg
dv suhihuhqfh uhodwlrqv1 D w|slfdo suhihuhqfh uhodwlrq lv zulwwhq dv R 5 X1
Wkh jrdo ri wklv vhfwlrq lv wr glvfxvv vrfldo zhoiduh ixqfwlrqv zklfk vdw0
lvi| uhsuhvhqwdwlyh frqvlvwhqf|1 Wkxv/ jlyhq d vhw ri djhqwv zlwk suhihuhqfh
uhodwlrqv/ zh pd| ghqh d uhsuhvhqwdwlyh suhihuhqfh1
Wkh dgghg vwuxfwxuh ri wklv vhfwlrq ohdgv xv qdwxudoo| wr wkh frqfhsw ri
Sduhwr h!flhqf|1
45
44
D olqhdu rughu lv dq| elqdu| uhodwlrq zklfk lv l , frpsohwh/ ll , wudqvlwlyh/ dqg lll ,
dqwl0v|pphwulf1
45
Wklv qrwlrq lv qrw uhodwhg wr wkh qrwlrq ri uhsuhvhqwdwlyh djhqw ri frqvxphu wkhru|1
4:
H!flhqf|= Iru doo N 5 Q / doo R 5 X / dqg doo a; b 5 A/ li iru doo i 5 N /
aR b/ wkhq af ER b1
N
i
H!flhqf| lv vwdqgdug1 Pruhryhu/ h!flhqf| reylrxvo| lpsolhv xqdqlplw|1
Wkxv/ dq| uxoh vdwlvi|lqj h!flhqf|/ dqrq|plw|/ dqg uhsuhvhqwdwlyh frqvlv0
whqf| lv d sduwldo sulrulw| uxoh1 Lw lv qdwxudo wr dvn krz pxfk pruh vwuxfwxuh
lv lpsolhg rq sduwldo sulrulw| uxohv e| h!flhqf|1
Wkh iroorzlqj fruroodu| lv vlpsoh dqg lv edvlfdoo| d uhvkx"lqj ri wkh ghi0
lqlwlrqv1 Iru doo a; b 5 A/ ohw X iR 5 X G aRbj1
a;b
Fruroodu| 5= D sduwldo sulrulw| uxoh zlwk sduwldo rughu vdwlvhv h!flhqf|
li dqg rqo| li iru doo a; b 5 A/ wkh uhvwulfwlrq ri wr X lv d phhw0
vhplodwwlfh1
a;b
Surri= Ohw f eh d sduwldo sulrulw| uxoh vdwlvi|lqj h!flhqf|1 Ohw a; b 5 A
dqg ohw R; R 5 X 1 Wkxv/ aRbdqg aR b1 E| h!flhqf|/ a ER a R b1 Wkxv/
R a R 5 X dqg X ; m
lv d phhw0vhplodwwlfh1
wkdw f lv d sduwldo sulrulw| uxoh vxfk wkdw iru doo a; b 5 A/
Qh{w/ vxssrvh
X ; m
lv d phhw0vhplodwwlfh1 Ohw a; b 5 A/ N 5 Q dqg R 5 X vxfk
wkdw
f ER '
Y
Y iru doo i 5 N/ aR b1 Wkhq iru
Y doo i 5 N / R 5 X 1 E| ghqlwlrq/
M R / dqg e| dvvxpswlrq/ M R 5 X 1 Wkhuhiruh/ a M R b/ vr
wkdw af ER b1 Wkxv/ f vdwlvhv h!flhqf|1 a;b
a;b
a;b
a;b
Xa;b
N
Xa;b
i
i
7
N
i
i
i
N
i
a;b
a;b
i
N
i
Wkh vsdwldo prgho
Dv qrwhg/ wkh sduwldo rughu fruuhvsrqglqj wr d sduwldo sulrulw| uxoh lv lqwhu0
suhwhg dv d sulrulw| ri dowhuqdwlyhv dqg qrw dv d zd| ri uhodwlqj wkh vlplodulw|
ri dowhuqdwlyhv1 Krzhyhu/ wkhuh lv riwhq d qdwxudo/ h{rjhqrxv zd| ri rughulqj
wkh vhw ri dowhuqdwlyhv1 Iru h{dpsoh/ fdqglgdwhv lq hohfwlrqv duh riwhq ylhzhg
dv ehlqj rughuhg iurp ohiw wr uljkw1 Wd{ srolflhv fdq eh rughuhg e| prqhwdu|
dprxqwv1 Lq wklv vhfwlrq/ zh irfxv rq vhwv ri dowhuqdwlyhv srvvhvvlqj vxfk dq
h{rjhqrxv rughu dqg frqglwlrqv ri uxohv uhodwlqj wr vxfk rughuv1
Lq wkh uhpdlqghu ri wklv vhfwlrq/ zh vxssrvh X lv h{rjhqrxvo| hqgrzhg
zlwk d olqhdu rughu W 1 Zh lqwhusuhw W dv rughulqj wkh dowhuqdwlyhv e| vrph
dwwulexwh lq d idvklrq djuhhg xsrq e| doo srwhqwldo djhqwv1 Wkxv/ iru doo
x; y; z 5 X/ x W y W z lv wr eh uhdg dv y lv pruh vlplodu wr x wkdq z lv lq
whupv ri wkh dwwulexwh1
Wkh dqdo|vlv ri wklv vhfwlrq ohdgv wr wkuhh surjuhvvlyho| uhvwulfwlyh fodvvhv
ri uxohv1
4;
714
Irupdo qrwlrqv ri frpsurplvh
Wkh uvw frqglwlrq vwdwhv wkdw wkh vhohfwhg vrfldo dowhuqdwlyh vkrxog eh d
frpsurplvh dprqjvw wkh djhqwv* yrwhv/ lq wkh zhdn vhqvh wkdw lw olhv eh0
wzhhq wkh pd{lpdo dqg plqlpdo yrwhv dffruglqj wr W 1 Dv phqwlrqhg lq
wkh Lqwurgxfwlrq/ li djhqwv srvvhvv vlqjoh0shdnhg suhihuhqfhv ryhu X +wr eh
ghqhg irupdoo| ehorz,/ ehwzhhqqhvv lv htxlydohqw wr uhtxlulqj wkdw d uxoh
vhohfw Sduhwr0h!flhqw dowhuqdwlyhv1
Ehwzhhqqhvv= Iru doo N 5 Q dqg doo x 5 X / 4?$ ix j M
4@ $ ix j M 1
N
W
i
i
W
i
i
N
W f Ex W
N
Wkh qh{w frqglwlrq lv d zhdn prqrwrqlflw| frqglwlrq1 Li doo djhqwv* yrwhv
pryh lq d fhuwdlq gluhfwlrq/ vr vkrxog wkh vhohfwhg vrfldo dowhuqdwlyh1 Wklv
lv d vlpsoh frqglwlrq uh hfwlqj wkh idfw wkdw wkh vhohfwhg vrfldo dowhuqdwlyh lv
uhsuhvhqwdwlyh ri wkh djhqwv* yrwhv1
Yrwh prqrwrqlflw|= Iru doo N 5 Q dqg doo x; y 5 X / li iru doo i 5 N /
x W y / wkhq f Ex W f Ey1
N
i
i
Wkh iroorzlqj ohppdv zloo eh xvhixo1
Ohppd 5= Li d uxoh vdwlvhv ehwzhhqqhvv/ wkhq lw vdwlvhv xqdqlplw|1
Surri= Ohw f eh d uxoh
Ohw N 5 Q dqg ohw
wkdw vdwlvhv ehwzhhqqhvv1
x 5 X1 Wkhq 4?$ x M ' x dqg 4@ $ x M ' x1 E| ehwzhhqqhvv/
W
x W f x
x1 Dv W lv dqwl0v|pphwulf/ f x
' x1 Wkhuhiruh/ f
vdwlvhv xqdqlplw|1 N
W
i
i
N
W
N
i
i
N
N
N
Ohppd 6= Li d uxoh vdwlvhv xqdqlplw| dqg yrwh prqrwrqlflw|/ wkhq lw vdw0
lvhv ehwzhhqqhvv1
Surri= Ohw f eh d uxoh wkdw vdwlvhv xqdqlplw| dqg yrwh prqrwrqlf0
W
lw|1 Ohw N 5 Q dqg ohw x 5 X 1 Wkhq
iru doo i 5 N/
4?$ ix j M x W 4@ $ ix j M 1 E| xqdqlplw|/ f 4?$ ix j M
' 4?$ ix j M
dqg f 4@ $ ix j M
' 4@ $ ix j M 1 Wkxv/ e| yrwh prqrwrqlflw|/
4?$ ix j M W f Ex dqg f Ex W 4@ $ ix j M 1 Wkxv f vdwlvhv eh0
wzhhqqhvv1 N
W
i
i
N
N
W
i
i
i
W
N
i
i
N
N
W
W
i
i
i
i
N
W
i
i
N
W
N
4<
i
i
N
W
i
i
N
715
Uhvxowv rq frpsurplvh
Zh ehjlq wklv vhfwlrq e| ghqlqj wzr vxefodvvhv ri wkh sduwldo sulrulw| uxohv/
zklfk ghshqg rq wkh olqhdu rughu W 1
Vd| wkdw d uxoh f lv dq lqwhuydo sduwldo sulrulw| uxoh li lw lv d sduwldo
sulrulw| uxoh dqg iru doo x; y; z 5 X/ li y; z W x/ wkhq y a z W x/ dqg li
y; z W x/ wkhq y a z W x1 Wkxv/ d sduwldo sulrulw| uxoh lv dq lqwhuydo sduwldo
sulrulw| uxoh li wkh zhdn orzhu dqg xsshu frqwrxu vhwv ri dq| dowhuqdwlyh
dffruglqj wr W duh wkhpvhoyhv phhw0vhplodwwlfhv xqghu wkh sduwldo rughu
lqgxfhg e| 1 Wkh whup lqwhuydo uhihuv wr wkh idfw wkdw uhvwulfwhg wr dq|
lqwhuydo dffruglqj wr W / wkh uxoh lv vwloo d sduwldo sulrulw| uxoh1 Vd| wkdw
d uxoh f lv d vhsdudwlqj sduwldo sulrulw| uxoh li lw lv dq lqwhuydo sduwldo
sulrulw| uxoh vxfk wkdw iru doo x; y; z 5 X/ li x W y W z dqg x; z y/ wkhq
xaz ' y1 Wkxv/ dq lqwhuydo sduwldo sulrulw| uxoh lv d vhsdudwlqj sduwldo sulrulw|
uxoh li wkh zhdn orzhu dqg xsshu frqwrxu vhwv ri dq| dowhuqdwlyh dffruglqj wr
W qhyhu lqwhuvhfw dw dq| hohphqw juhdwhu wkdq wkh dowhuqdwlyh lwvhoi1 Wkh
whup vhsdudwlqj uhihuv wr wkh idfw wkdw wkhvh frqwrxu vhwv qhyhu lqwhuvhfw1
Iljxuh 5 glvsod|v wkh phhw0vhplodwwlfh fruuhvsrqglqj wr d w|slfdo lqwhuydo
sduwldo sulrulw| uxoh xqghu wkh suhvxpswlrq wkdw a W b W c W d W e1
Wkh jhqhudo vwuxfwxuh ri vxfk uxohv fdq eh judvshg iurp wklv gldjudp1 Wkh
pdlq fkdudfwhulvwlf ri vxfk d uxoh lv wkdw wkhuh duh dw prvw wzr eudqfkhv
hpdqdwlqj iurp dq| dowhuqdwlyh1 Li wkhuh duh wzr eudqfkhv/ rqh pxvw eudqfk
lqwr wkh xsshu frqwrxu vhw ri wkh dowhuqdwlyh/ dqg wkh rwkhu pxvw eudqfk lqwr
wkh orzhu frqwrxu vhw +dv lq wkh gldjudp/ wkh wzr eudqfkhv hpdqdwlqj iurp b
eudqfk lqwr wkh wzr glhuhqw frqwrxu vhwv,1 Wkhvh wzr eudqfkhv duh doorzhg
wr uhmrlq1 Lw lv fohdu wkdw wkh phhw0vhplodwwlfh lq Iljxuh 5 grhv qrw fruuhvsrqg
wr d vhsdudwlqj sduwldo sulrulw| uxoh/ dv a W b W e dqg a/e b/ |hw a ae ' a1
Iljxuh 6 lv dq h{dpsoh ri d w|slfdo vhsdudwlqj sduwldo sulrulw| uxoh1 Wkh
jhqhudo vwuxfwxuh ri vhsdudwlqj sduwldo sulrulw| uxohv fdq eh xqghuvwrrg iurp
wklv gldjudp1 Qrwh wkdw wkh dowhuqdwlyhv a/ b/ c/ d/ dqg e duh rughuhg iurp
ohiw wr uljkw1 Pruhryhu/ dw prvw wzr eudqfkhv hpdqdwh iurp dq| jlyhq
dowhuqdwlyh1 Wkh odvw lpsruwdqw fkdudfwhulvwlf lv wkdw iru dq| dowhuqdwlyh/
rqh fdq gudz dq lpdjlqdu| yhuwlfdo olqh eudqfklqj grzq iurp wkh dowhuqdwlyh
zklfk qhyhu furvvhv wkh judsk1 Wkxv/ wkh judsk fruuhvsrqglqj wr d vhsdudwlqj
sduwldo sulrulw| uxoh lv d v|vwhp ri lqwhuorfnlqj xsvlgh0grzq |0vkdshv1 Vxfk
d judsk orrnv olnh d jdph wuhh lq zklfk dw dq| jlyhq srlqw/ wkhuh duh rqo|
wzr srvvleoh pryhv1
Wkhruhp 5= D uxoh vdwlvhv ehwzhhqqhvv/ dqrq|plw|/ dqg uhsuhvhqwdwlyh
53
b
c
a
d
e
Iljxuh 5= Dq lqwhuydo sduwldo sulrulw| uxoh
d
b
a
c
e
Iljxuh 6= D vhsdudwlqj sduwldo sulrulw| uxoh
54
frqvlvwhqf| li dqg rqo| li lw lv dq lqwhuydo sduwldo sulrulw| uxoh1
Surri= Vxssrvh f lv dq lqwhuydo sduwldo sulrulw| uxoh1 Zh douhdg| nqrz
wkdw lw vdwlvhv dqrq|plw| dqg uhsuhvhqwdwlyh frqvlvwhqf|/ vr zh zloo vkrz
wkdw lw vdwlvhv ehwzhhqqhvv1 Wkxv/ ohw N 5 Q dqg x 5 X 1 Dv f lv
W
dq lqwhuydo sduwldo sulrulw| uxoh/ dqg
Y vlqfh iru doo i 5 N / 4?$ ix j M W
x / zh rewdlq 4?$ ix j M M x 1 D vlplodu h{suhvvlrq krogv iru
4@ $ ix j M / vr wkdw f vdwlvhv ehwzhhqqhvv1
Qrz vxssrvh wkdw f lv d uxoh vdwlvi|lqj wkh d{lrpv1 E| Ohppd 5/ zh
nqrz wkdw lw lv d sduwldo sulrulw| uxoh1 Zh zloo yhuli| wkdw f lv dq lqwhuydo
sduwldo sulrulw| uxoh1 Ohw x; y; z 5 X/ dqg vxssrvh wkdw y; z W x1 Zlwkrxw
orvv ri jhqhudolw|/ dvvxph wkdw y W z W x1 E| ehwzhhqqhvv/ f Ey; z W z1
E| wkh wudqvlwlylw| ri W / f Ey; z W x1 E| ghqlwlrq/ f Ey; z ' y a z1 Wkxv/
y a z W x1 D vlplodu vwdwhphqw krogv iru wkh orzhu frqwrxu vhw ri x1
Wkhruhp 6 ghprqvwudwhv wkdw d sduwldo sulrulw| uxoh lv yrwh prqrwrqlf li
dqg rqo| li lw lv d vhsdudwlqj sduwldo sulrulw| uxoh1
N
W
W
i
W
i
i
i
i
N
i
N
i
i
N
i
N
Wkhruhp 6= D uxoh vdwlvhv xqdqlplw|/ dqrq|plw|/ uhsuhvhqwdwlyh frqvlv0
whqf|/ dqg yrwh prqrwrqlflw| li dqg rqo| li lw lv d vhsdudwlqj sduwldo
sulrulw| uxoh1
Surri= E| Ohppd 6 dqg Wkhruhp 5/ li f vdwlvhv wkh d{lrpv/ lw pxvw
eh dq lqwhuydo sduwldo sulrulw| uxoh1 Ohw x; y; z 5 X vdwlvi| x W y W z
dqg x; z y1 E| yrwh prqrwrqlflw|/ x a z ' f Ex; z W f Ey; z ' y dqg
x a z ' f Ex; z W f Ex; y ' y1 E| wkh dqwl0v|pphwu| ri W / x a z ' y1
Wkxv/ f lv d vhsdudwlqj sduwldo sulrulw| uxoh1
Iru wkh rwkhu gluhfwlrq/ ohw f eh d vhsdudwlqj sduwldo sulrulw| uxoh1 Zh
zloo vkrz wkdw lw lv yrwh prqrwrqlf1
Ohw eh wkh sduwldo rughu dvvrfldwhg zlwk f 1 Vd| d sduwldo sulrulw| uxoh f
vdwlvhv frqglwlrq E li iru doo x; y; z 5 X/ li x W y/ wkhq f Ex; z W f Ey; z1
Zh fodlp wkdw li d sduwldo sulrulw| uxoh vdwlvhv frqglwlrq E/ wkhq lw lv
yrwh prqrwrqlf1 Wr vhh zk|/ vxssrvh E lv wuxh1 Ohw N 5 Q / dqg ohw
x; y 5 X 1 Vxssrvh wkdw iru doo i 5 N / x W y 1 Vxssrvh/ zlwkrxw orvv ri
jhqhudolw|/ wkdw N fdq eh rughuhg dv N i; :::; nj1 Iru doo m ' ; :::; n/
ohw y x Ey ; :::; y ; x n ; :::; x 1 Zh vkrz e| lqgxfwlrq wkdw iru doo m '
; :::; n/Y f Ex W f Ey x1
Ohw m ' 1 Wkhq x W y 1 E| frqglwlrq E/
Y
x a E '2 x W y a E '2 x 1 Wkxv/ f Ex W f Ey x1 Ohw M n eh
N
i
m
m
m
n
m
n
i
n
i
i
i
55
i
vrph lqwhjhu1 Qrz/ vxssrvh wkdw iru doo m < M / f Ex W f Ey x1 Wkhq
x W y 1 E| frqglwlrq E/
## 3 $ #
$$
a
a
x a
y a
x
m
M
M
M
n
M
i
i
Wy
i
'
i
'M n
## 3 $ #
$$
a
a
a
y a
x
1
M
M
n
i
i
i
'
i
'M n
Wkh ohiw0kdqg vlgh ri wklv h{suhvvlrq lv f Ey 3 x/ dqg wkh uljkw0kdqg vlgh
lv f Ey x1 Wkxv/ f Ey 3 x W f Ey x1 E| wudqvlwlylw| ri W / f Ex W
f Ey 3 x W f Ey x lpsolhv f Ex W f Ey x1 Wkxv/ iru doo m ' ; :::; n/
f Ex W f Ey x1 Lq sduwlfxodu/ li m ' n/ wkhq y x ' y dqg f Ex W f Ey1
Zh qrz vkrz wkdw li d uxoh lv d vhsdudwlqj sduwldo sulrulw| uxoh/ wkhq lw
vdwlvhv frqglwlrq E1 Ohw x; y; z 5 X/ dqg vxssrvh wkdw x W y1 Wkhuh duh
wkuhh srvvleoh fdvhv1
d, y W z= Lq wklv fdvh/ dv f lv d vhsdudwlqj sduwldo sulrulw| uxoh/ lw lv
dq lqwhuydo sduwldo sulrulw| uxoh1 Wkxv/ y W y a z W z1 Li x a z W y a z/
zh duh grqh1 Rwkhuzlvh/ y a z W x a z1 Dv f lv dq lqwhuydo sduwldo sulrulw|
uxoh/ y a z W Ey a z a Ex a z W x a z1 Dv Ey a z a Ex a z ' x a y a z/
y W x a y a z W z1 Pruhryhu/ y; z x a y a z1 Dv f lv d vhsdudwlqj sduwldo
sulrulw| uxoh/ frqfoxgh y a z ' x a Ey a z1 Wkxv/ e| ghqlwlrq/ y a z x1
Wkxv/ x; z y a z dqg x W y a z W z1 Dv f lv d vhsdudwlqj sduwldo sulrulw|
uxoh/ frqfoxgh x a z ' y a z1 Wkxv/ x a z W y a z1
e, x W z W y= Lq wklv fdvh/ dv f lv dq lqwhuydo sduwldo sulrulw| uxoh/
x W x a z W z W y a z W y/ vr wkdw x a z W y a z1
f, z W x= Lq wklv fdvh/ dv f lv d vhsdudwlqj sduwldo sulrulw| uxoh/ lw lv
dq lqwhuydo sduwldo sulrulw| uxoh1 Wkxv/ z W x a z W x1 Li x a z W y a z/
zh duh grqh1 Rwkhuzlvh/ y a z W x a z1 Dv f lv dq lqwhuydo sduwldo sulrulw|
uxoh/ y a z W Ey a z a Ex a z W x a z1 Dv Ey a z a Ex a z ' x a y a z/
z W x a y a z W x1 Pruhryhu/ x; z x a y a z1 Dv f lv d vhsdudwlqj sduwldo
sulrulw| uxoh/ frqfoxgh x a z ' y a Ex a z1 Wkxv/ e| ghqlwlrq/ x a z y1
Wkxv/ y; z x a z dqg z W x a z W y1 Dv f lv d vhsdudwlqj sduwldo sulrulw|
uxoh/ frqfoxgh y a z ' x a z1 Wkxv/ x a z W y a z1
Wkh suhfhglqj uhvxowv duh vxusulvlqj dv rqh zrxog h{shfw wkdw wkh sduwldo
sulrulw| uxohv vdwlvi|lqj rxu frpsurplvh frqglwlrqv zrxog eh wkrvh zkrvh
sduwldo rughu lv h{dfwo| wkh h{rjhqrxv olqhdu rughu W 1
M
M
M
M
M
M
M
m
n
56
716
Vwudwhjlf frqvlghudwlrqv lq wkh vsdwldo prgho
Zh qrz vwxg| d grpdlq ri suhihuhqfhv ryhu X1 Vd| d elqdu| uhodwlrq R
rq X lv vlqjoh0shdnhg li wkhuh h{lvwv x ER 5 X vxfk wkdw iru doo x 5 X
vxfk wkdw x 9' x ER/ x ER P x/ dqg iru doo x; y 5 X/ li x ER W x W y ru
li x ER W x W y/ xRy1 Ohw SP EX; W eh wkh vhw ri doo vlqjoh0shdnhg
elqdu| uhodwlrqv iru wkh olqhduo| rughuhg vhw EX; W 1
Zh dvn zklfk sduwldo sulrulw| uxohv vdwlvi| wkh iroorzlqj frqglwlrq/ zklfk
vwdwhv wkdw li yrwhv duh wdnhq wr eh djhqwv* shdnv/ wkhq qr djhqw fdq hyhu
ehqhw e| o|lqj derxw klv shdn1 Wklv frqglwlrq zdv uvw vwxglhg lq wklv
prgho e| Prxolq ^46`1
46
47
dqg
Vwudwhj|0surriqhvv= Iru doo N 5 Q / doo R 5SP EX; W / doo j 5 N/
W
doo R 5 SP EX; / f Ex ER M R f Ex ER M .t ; x R 1
N
j
i
i
N
j
i
i
N
j
j
Vd| d sduwldo sulrulw| uxoh f lv d wdujhw uxoh li wkhuh h{lvwv xW 5 X vxfk
wkdw iru doo y; z 5 X/ l, z W y W xW lpsolhv z y/ ll, xW W y W z lpsolhv
z y/ dqg lll, y W xW W z lpsolhv y a z ' xW 1 Wkxv/ d wdujhw uxoh lv d
sduwldo sulrulw| uxoh zlwk wzr eudqfkhv/ urrwhg dw xW / hdfk ri zklfk djuhh zlwk
wkh rughu W 1 Wdujhw uxohv zhuh uvw glvfxvvhg e| Wkrpvrq dqg Wkrpvrq
dqg Fklqj ^49/ 4:` xvlqj d glhuhqw vhw ri d{lrpv1 Wkh whuplqrorj| ehorqjv
wr wkhp1 Wkh zrug wdujhw uhihuv wr wkh hohphqw xW 5 X glvfxvvhg lq wkh
ghqlwlrq1 D wdujhw uxoh vhohfwv wkh dowhuqdwlyh lq ehwzhhq wkh djhqwv yrwhv
zklfk olhv forvhvw +lq whupv ri W , wr wkh wdujhw1
Lq Iljxuh 7/ zh jlyh d w|slfdo h{dpsoh ri d wdujhw uxoh1 Khuh/ wkh dowhu0
qdwlyh xW fruuhvsrqgv wr b1 Wkh sduwldo rughuv fruuhvsrqglqj wr wdujhw uxohv
doo kdyh wkh xsvlgh0grzq y0vkdsh dv ghslfwhg khuh1
48
Wkhruhp 7= D uxoh vdwlvhv xqdqlplw|/ dqrq|plw|/ uhsuhvhqwdwlyh frqvlv0
whqf|/ dqg vwudwhj|0surriqhvv li dqg rqo| li lw lv d wdujhw uxoh1
49
46
Dv xvxdo/ iru d elqdu| uhodwlrq R/ P ghqrwhv wkh dv|pphwulf sduw ri R1 Wkh dowhuqdwlyh
x +R, lv fdoohg wkh shdn ri R1
47
Lq wklv hqylurqphqw/ d uxoh vhohfwv rqo| Sduhwr h!flhqw dowhuqdwlyhv li dqg rqo| li lw
vdwlvhv ehwzhhqqhvv zlwk uhvshfw wr wkh shdnv1
48
Irupdoo|/ wkhlu ghqlwlrq zdv vwdwhg iru uxohv zklfk pds iurp surohv ri vlqjoh0shdnhg
suhihuhqfhv lqwr dowhuqdwlyhv1 Pruhryhu/ wkhlu ghqlwlrq lv vwdwhg iru d {hg srsxodwlrq
ri djhqwv1 Krzhyhu/ lq wkdw frqwh{w/ wdujhw uxohv rqo| xvh lqirupdwlrq derxw wkh djhqwv*
shdnv/ zkhuh wkh shdnv duh djjuhjdwhg lq wkh vdph zd| zh ghvfuleh khuh1
49
Iru d {hg srsxodwlrq N 5 Q / lw iroorzv wkdw wkh wdujhw uxohv pxvw eh jhqhudol}hg
phgldq yrwhu uxohv/ dv ghqhg lq Prxolq ^46`1
57
b
a
c
d
e
Iljxuh 7= D wdujhw uxoh
Surri= Fohduo|/ wkh wdujhw uxohv duh vhsdudwlqj sduwldo sulrulw| uxohv/ dqg
wkxv vdwlvi| xqdqlplw|/ dqrq|plw|/ dqg uhsuhvhqwdwlyh frqvlvwhqf|1 Lw lv zhoo0
nqrzq wkdw wkh| dovr vdwlvi| vwudwhj|0surriqhvv1 Wkxv/ zh zloo vkrz wkdw dq|
uxoh vdwlvi|lqj wkh d{lrpv pxvw eh d wdujhw uxoh1
Iluvw/ zh vkrz wkdw iru doo x; y; z 5 X/ li x y z/ wkhq hlwkhu x W
y W z ru z W y W x1 Fdoo wklv surshuw| wkh fkdlq surshuw|1 Vxssrvh
wkdw wklv vwdwhphqw lv idovh1 Zh zloo rqo| vkrz wkdw rqh fdvh ohdgv wr dq
lpsrvvlelolw|1 Wkh uhpdlqlqj wkuhh fdvhv fdq eh vlploduo| suryhg1 Wkxv/
vxssrvh y W z W x1 Vxssrvh/ zlwkrxw orvv ri jhqhudolw|/ wkdw y <W z +wklv
lv zlwkrxw orvv ri jhqhudolw|/ dv rwkhuzlvh/ z W y W x krogv,1 Ohw R 5
SP EX; W vxfk wkdw x ER ' z dqg xP y1 Wkhq f Ex ER ; y ' y1 Krzhyhu/
f Ex; y ' xP y ' f Ex ER ; y/ lq frqwudglfwlrq wr vwudwhj|0surriqhvv1
Qh{w/ zh vkrz wkdw f lv dq lqwhuydo sduwldo sulrulw| uxoh1 Wkxv/ ohw x; y; z 5
X vxfk wkdw x; y W z1 Li x ' y/ wkhq fohduo| xax ' x1 Vr vxssrvh wkdw x 9' y/
dqg vxssrvh x a y <W z1 Zlwkrxw orvv ri jhqhudolw|/ vxssrvh wkdw y >W x1 Ohw
R 5 SP EX; W vdwlvi| x ER ' y1 Wkhq f Ex; x ' xP Ex a y ' f Ex ER ; x/
d frqwudglfwlrq wr vwudwhj|0surriqhvv1 Wkh fdvh lq zklfk x; y W z lv suryhg
vlploduo|1
Y
W
W
Ohw xW M x1 E| ghqlwlrq ri x / iru doo x 5 X/ x x1 Zh suryh
wkdw l, lq wkh ghqlwlrq ri wdujhw uxoh lv wuxh> ll, iroorzv iurp d v|pphwulf
dujxphqw1
Ohw y; z 5 X vxfk wkdw z W y W xW 1 Zh vkrz wkdw z y1 Dv f lv
dq lqwhuydo sduwldo sulrulw| uxoh/ z W y a z W y1 Pruhryhu/ e| ghqlwlrq/
y y a z xW / vr wkdw e| wkh fkdlq surshuw| dqg wkh idfw wkdw xW W y/
xW W y a z W y1 Wkxv/ y a z W y dqg y a z W y/ vr wkdw e| wkh dqwl0
x
X
58
v|pphwu| ri W / y a z ' y1 Wkxv/ e| ghqlwlrq/ z y1
Wr yhuli| lll, lq wkh ghqlwlrq ri wdujhw uxoh/ ohw y; z 5 X vdwlvi| y W
xW W z1 Dv y y a z xW / e| wkh fkdlq surshuw|/ xW W y a z W y1
Dv z y a z xW / e| wkh fkdlq surshuw|/ xW W y a z W z1 Wkhuhiruh/
xW W y a z dqg xW W y a z1 E| wkh dqwl0v|pphwu| ri W / y a z ' xW 1 8
814
Sursruwlrqdo uhsuhvhqwdwlrq
Vlqjoh0phpehu glvwulfwv yv1 sursruwlrqdo uhsuhvhq0
wdwlrq
Wkhruhp 4 uholhv rq wkh idfw wkdw uhsuhvhqwdwlyh frqvlvwhqf| prghov vlqjoh0
phpehu glvwulfw uhsuhvhqwdwlrq1 Wklv phdqv wkdw hdfk glvwulfw fkrrvhv d
xqltxh uhsuhvhqwdwlyh dowhuqdwlyh1 Vxfk d v|vwhp hqvxuhv wkdw hdfk glvwulfw
kdv lwv rzq uhsuhvhqwdwlyh1 Krzhyhu/ wkhuh duh rwkhu qdwxudo v|vwhpv ri
uhsuhvhqwdwlrq> wkh prvw frpprq dowhuqdwlyh ehlqj sursruwlrqdo uhsuhvhqwd0
wlrq1 Sursruwlrqdo uhsuhvhqwdwlrq lv qrw d zlqqhu0wdnh0doo v|vwhp dv lv vlqjoh0
phpehu glvwulfw uhsuhvhqwdwlrq1 Lqvwhdg/ d vhw ri uhsuhvhqwdwlyhv duh fkrvhq
iru hdfk glvwulfw sursruwlrqdoo| wr wkh qxpehu ri yrwhv fdvw iru hdfk dowhuqd0
wlyh1 Wkxv/ li wkhuh duh rqh kxqguhg yrwhv iru x dqg rqh kxqguhg yrwhv iru
y/ wkh rxwfrph ri wkh yrwh lv d iw|0iw| pl{wxuh ehwzhhq x dqg y1 Xvxdoo|
pdmrulw| uxoh lv dssolhg dw d odwhu vwdjh1
Zh fdq prgho wklv w|sh ri v|vwhp e| lqwurgxflqj orwwhulhv1 Vshflfdoo|/ li
X lv wkh vhw ri dowhuqdwlyhv/ ohw { EX eh wkh vhw ri orwwhulhv ryhu X1 Djhqwv
vxeplw yrwhv iru orwwhulhv ryhu X> wkh lqwhusuhwdwlrq lv ohiw rshq1 D orwwhu|
pd| uhsuhvhqw wkh frpsrvlwlrq ri vrph jryhuqlqj erg|iru h{dpsoh/ d iw|0
iw| orwwhu| ehwzhhq x dqg y phdqv wkdw kdoi ri Sduoldphqw vkrxog vxssruw
srolf| x dqg wkh rwkhu kdoi vkrxog vxssruw srolf| y1 Wkhuh duh qr vwdwhphqwv
pdgh khuh derxw krz vxfk d Sduoldphqw zloo ghflgh zklfk dowhuqdwlyh lv
fkrvhq iru vrflhw|1 Dqrwkhu lqwhusuhwdwlrq lv wkdw d orwwhu| uhsuhvhqwv dq
dfwxdo udqgrpl}dwlrqd iw|0iw| orwwhu| ehwzhhq x dqg y lv wkh vwdwhphqw
wkdw lq wkh ixwxuh/ d idlu frlq zloo eh wrvvhg> li khdgv/ wkh dowhuqdwlyh vhohfwhg
lv x/ li wdlov/ lw lv y1
59
815
Txdvl0sursruwlrqdo uhsuhvhqwdwlrq
Zh ghqh d fodvv ri yrwlqj uxohv/ zklfk zh whup wkh txdvl0sursruwlrqdo
uxohv1 Wkhvh uxohv duh fdoohg txdvl0dulwkphwlf phdqv lq wkh olwhudwxuh rq
ixqfwlrqdo htxdwlrqv ^4/ 5`1 Vshflfdoo|/ ohw r G { EX $ { EX eh d krph0
rprusklvp vxfk wkdw iru doo x 5 X/ r E– ' – +khuh/ – uhihuv wr wkh
ghjhqhudwh orwwhu| zlwk suredelolw| rqh rq x,1 Ghqh
uxoh dv iro0
Sd yrwlqj
E orzv1 Iru doo N 5 Q / iru doo p 5 { EX / f Ep r
1 Dq| vxfk
ƒ ƒ
yrwlqj uxoh vdwlvhv wkh frqglwlrqv olvwhg lq rxu wkhruhp/ dv zhoo dv frqwlqxlw|1
Wkh ixqfwlrq r vhuyhv wkh sxusrvh ri wudqviruplqj wkh vsdfh ri orwwhulhv vr
wkdw wkh rxwfrph ri d yrwh lv vlpso| wkh dyhudjh ri doo ri wkh djhqwv* yrwhv1
Wkh sursruwlrqdo uxoh uhvxowv zkhq r lv wkh lghqwlw| pdsslqj1 Wkh txdvl0
sursruwlrqdo uxohv vdwlvi| wkh wkuhh sulqflsohv zh wrrn wr ghqh uhsuhvhqwdwlyh
ghprfudf|> lq sduwlfxodu/ wkh| duh jhuu|pdqghulqj0surri1
E| ydu|lqj r/ zh fdq jlyh pruh ru ohvv lpsruwdqfh wr glhuhqw do0
whuqdwlyhv1 Lq v|vwhpv ri sursruwlrqdo uhsuhvhqwdwlrq/ wr holplqdwh iulqjh
dowhuqdwlyhv/ d txrwd ri yrwhv lv riwhq uhtxluhg iru dq dowhuqdwlyh wr eh uhs0
uhvhqwhg1 Iru h{dpsoh/ lq pdq| uhsuhvhqwdwlyh ghprfudflhv/ dq dowhuqdwlyh
qhhgv wr uhfhlyh yh shufhqw ri wkh srsxodu yrwh wr eh uhsuhvhqwhg1 Zkloh wklv
h{wuhph fdvh ylrodwhv wkh sulqflsoh ri vwurqj prqrwrqlflw| +zklfk lv vdwlvhg
e| doo txdvl0sursruwlrqdo uxohv,/ e| xvlqj dq dssursuldwh ixqfwlrq r/ zh fdq
ghqh vlplodu uxohv/ vr wkdw iulqjh dowhuqdwlyhv duh jlyhq ohvv lpsruwdqfh wkdq
wkhlu srsxodu yrwh zrxog vxjjhvw1
D qdwxudo txhvwlrq lv zkhwkhu ru qrw wkh sduwldo sulrulw| uxohv dqg wkh
txdvl0sursruwlrqdo uxohv h{kdxvw wkh fodvv ri uxohv vdwlvi|lqj xqdqlplw|/
dqrq|plw|/ dqg uhsuhvhqwdwlyh frqvlvwhqf| rq wkh vsdfh ri orwwhulhv1 Wkh
dqvzhu lv fohduo| qr> zh pd| vlpso| fkrrvh dq r lq wkh ghqlwlrq ri txdvl0
sursruwlrqdo uxoh zklfk lv qrw frqwlqxrxv/ |hw lv vwloo d elmhfwlrq1 Vwloo/ wkhuh
duh hyhq pruh frpsoh{ uxohv vdwlvi|lqj wkh wkuhh surshuwlhv/ dv wkh iroorz0
lqj h{dpsohv ghprqvwudwh1 Wkh h{dpsohv zrun e| frpsrvlqj wkh sduwldo
sulrulw| uxohv zlwk wkh txdvl0sursruwlrqdo uxohv1
4:
x
N
x
x
N
r
3
pi
N
H{dpsoh 7= Ohw X ix; yj1 Zh fdq lghqwli| dq| p 5 { EX zlwk wkh
suredelolw| wkdw lw sodfhv rq dowhuqdwlyh x1 Wkhuhiruh/ zh lghqwli| { EX
4:
Wkh txdvl0dulwkphwlf phdqv zhuh uvw fkdudfwhul}hg e| Nroprjrury ^44` dqg Qdjxpr
^47`1 Wkh| zhuh vshflfdoo| frqfhuqhg zlwk wkh fdvh lq zklfk mXm @ 51 Wkh txdvl0
dulwkphwlf phdqv duh fkdudfwhul}hg e| wkh d{lrpv xqdqlplw|/ dqrq|plw|/ uhsuhvhqwdwlyh
frqvlvwhqf|/ wrjhwkhu zlwk d frqwlqxlw| dqg vwurqj prqrwrqlflw| d{lrpv1
5:
zlwk df; o1 Ghqh f dv iroorzv1 S
Iru doo N 5 Q dqg doo x 5 df; o /

li iru doo i 5 N/ x > 2 / f Ex ƒ ƒ / dqg li wkhuh h{lvwv x 2 /
S 4?i  j
2
1
f Ex ƒ ƒ
N
iMN
i
xi
i
N
xi ;
iMN
N
H{dpsoh 8= Ohw X ix; yj1 Zh fdq lghqwli| dq| p 5 { EX zlwk wkh
suredelolw| wkdw lw sodfhv rq dowhuqdwlyh x1 Wkhuhiruh/ zh lghqwli| { EX
zlwk df; o1 Ghqh dq htxlydohqfh uhodwlrq * rq df; o dv iroorzv= iru
doo r; s 5 df; o/ r * s li dqg rqo| li r s 5 T1 Odeho wkh vhw ri
htxlydohqfh fodvvhv ri * e| S/ zlwk jhqhulf hohphqw
S P 1 Iru doo P /
iru doo ir ; :::; r j P / lw lv hdvlo| yhulhg wkdw E ' r =n 5 P 1 E|
wkh D{lrp ri Fkrlfh/ iru doo P / ohw x 5 P 1 Iru doo P 5 S/ ohw
r G P $ P eh d vwulfwo| lqfuhdvlqj elmhfwlrq1 Ohw eh d olqhdu
rughu ryhu S1 Ghqh wkh uxoh f dv iroorzv1 Ohw N 5 Q dqg ohw x 5
df; o 1 Ohw P Ex 4? iP G wkhuh h{lvwv i 5 N vxfk wkdw x 5 P j1
Ohw N N eh ghqhg e| N ii 5N G x 5 P Exj1 Wkhq f Ex S
S


E n
E E E E
r E
1 Qrwh wkdw f Ex 5 P Ex1
ƒ ƒ
n
n
i
i
P
P
N
i
i
iMN P x
9
r
3
P x
xi
iMN .N r
3
P x
xP x
N
Gxdov ri sduwldo sulrulw| uxohv
Iru vrph sduwldo sulrulw| uxohv/ d qdwxudo frqfhsw ri d gxdo uxoh h{lvwv1
Wkxv/ iru d sduwldo rughu rq d vhw X/ ghqh wkh gxdo ri / zulwwhq / vr
wkdw iru doo x; y 5 X/ x y li dqg rqo| li y x1 Zkhq lw h{lvwv/ wkh phhw
fruuhvsrqglqj wr lv wkh mrlq fruuhvsrqglqj wr 1 Iru d sduwldo sulrulw|
uxoh f zlwk fruuhvsrqglqj sduwldo rughu / li h{lvwv/ zh ghqh wkh gxdo
ri u / zulwwhq f / dv wkh sduwldo sulrulw| uxoh zlwk fruuhvsrqglqj sduwldo rughu
1
D odwwlfh lv d sduwldoo| rughuhg vhw vxfk wkdw dq| sdlu ri hohphqwv kdv d
phhw dqg d mrlq1 Wkxv/ d gxdo ri f h{lvwv li dqg rqo| li EX; lv d odwwlfh1
Zkhq X lv qlwh/ d vlpsoh qhfhvvdu| dqg vx!flhqw frqglwlrq iru d phhw0
vhplodwwlfh EX; wr eh d odwwlfh lv wkdw lw kdyh d xqltxh pd{lpdo hohphqw
+Elunkr/ ^7`/ s1 56,1 Wkxv/ iru d sduwldo sulrulw| uxoh f zlwk sduwldo rughu /
d xqltxh pd{lpdo hohphqw x h{lvwv li dqg rqo| li iru doo y 5 X/ f Ex; y ' y1
Wkxv/ zh kdyh wkh iroorzlqj sursrvlwlrq1
4;
Wr vhh wklv/ ohw x; y 5 X/ dqg ohw x a3 y eh wkh phhw ri x dqg y dffruglqj wr 3 1 E|
ghqlwlrq/ iru doo z 3 x/y/ z 3 x a3 y1 E| ghqlwlrq ri 3 / wkhq/ iru doo z x; y/ z x a3 y1
Exw wkhq x a3 y lv h{dfwo| x b y1
4;
5;
Sursrvlwlrq 4= D sduwldo sulrulw| uxoh f zlwk sduwldo rughu kdv d gxdo li
dqg rqo| li wkhuh h{lvwv x 5 X vxfk wkdw iru doo y 5 X/ f Ex; y ' y1
Wkxv/ d sduwldo sulrulw| uxoh kdv d gxdo li wkhuh h{lvwv vrph dowhuqdwlyh
zklfk fdq dozd|v eh yhwrhg e| dq| rwkhu dowhuqdwlyh1 Wkh iroorzlqj h{0
dpsoh surylghv wkh gxdo ri wkh uxoh iurp H{dpsoh 51
H{dpsoh 9= Wkh gxdo ri H{dpsoh 5 Lw lv vlpsoh wr yhuli| wkdw wkh uxoh f
ri H{dpsoh 5 kdv d gxdo1 Wr vhh zk|/ qrwh wkdw A 5 2 dqg wkdw iru doo
B 5 2 / f EA; B ' A _ B ' B1 Wkxv/ e| Sursrvlwlrq 5/ f kdv d gxdo1
V
/ f EB M
Lq idfw/ iru doo N 5 Q / iru doo B 5 2
'
M B1
Wkxv/ dq dowhuqdwlyh lv vhohfwhg li dqg rqo| li dw ohdvw rqh djhqw yrwhv
iru lw1 Wklv uxoh lv lqwxlwlyho| gxdo wr wkh uxoh ri H{dpsoh 51
A
A
A
:
:14
N
i
i
N
i
N
i
Glvfxvvlrq dqg frqfoxvlrq
Suhylrxv olwhudwxuh uhodwhg wr uhsuhvhqwdwlyh frq0
vlvwhqf|
Lw lv lpsruwdqw wr qrwh wkdw uhsuhvhqwdwlyh frqvlvwhqf| lv qrw d qhz frqglwlrq>
krzhyhu/ zh eholhyh wkdw wkh lqwhusuhwdwlrq khuh lv1 Eodfnrue| dqg Grqdogvrq
^8` vwxg| d frqglwlrq fdoohg wkh srsxodwlrq vxevwlwxwlrq sulqflsoh/ zklfk lv
wkh vdph dv uhsuhvhqwdwlyh frqvlvwhqf|1 Wkhlu lqwhuhvw lq wkh frqglwlrq lv
lq frpsdulqj wkh zhoiduhv ri ydu|lqj jurxsv ri djhqwv1 Wkh olwhudwxuh rq
ixqfwlrqdo htxdwlrqv kdv orqj vwxglhg wklv +gdwlqj edfn wr 4<63vhh ^44/ 47`/
dv zhoo dv ^9`, dqg uhodwhg qrwlrqv1 Wkhvh zrunv xvh wkh qrwlrq wr fkdudfwhul}h
wkh txdvl0dulwkphwlf phdqv ^4/ 5`1 Iru d jrrg lqwurgxfwlrq/ vhh Glhzhuw ^:`1
E| hvwdeolvklqj wkdw uhsuhvhqwdwlyh frqvlvwhqf| lv dq dyhudjlqj frqglwlrq/
wkhvh zrunv dgg ixuwkhu qrupdwlyh mxvwlfdwlrq wr uhsuhvhqwdwlyh frqvlvwhqf|1
Wkh pdlq wkhruhwlfdo glvwlqfwlrq ehwzhhq rxu zrun dqg wkhvh zrunv lv wkdw
wkh flwhg zrunv uhtxluh wkh grpdlq ri d uxoh wr eh d frqwlqxxp/ xvxdoo| wkh
xqlw lqwhuydo1 Wr rxu nqrzohgjh/ qr rwkhu zrun kdv doorzhg wkh grpdlq wr
eh d qlwh vhw1
:15
Rwkhu sulqflsohv ri ghprfudf|
Dq xsvhwwlqj dvshfw ri wkh sduwldo sulrulw| uxohv lv wkdw wkh| ylrodwh wkh sulq0
flsoh ri qhxwudolw|1 Lqirupdoo| vshdnlqj/ qhxwudolw| uhtxluhv wkdw wkh qdphv
5<
ri dowhuqdwlyhv vkrxog qrw pdwwhu iru d yrwlqj uxoh1 Lw lv riwhq wdnhq dv d edvlf
sulqflsoh ri ghprfudf|1 Xqiruwxqdwho|/ lq d sxuh yrwlqj prgho/ wkh surshuwlhv
dqrq|plw| dqg qhxwudolw| duh lqfrpsdwleoh zkhq uxohv pxvw eh vlqjoh0ydoxhg
dqg hqylurqphqwv zlwk hyhq srsxodwlrqv ri djhqwv duh shuplvvleoh1 Wkxv/
d qdwxudo h{whqvlrq ri rxu prgho zrxog lqfoxgh uxohv zklfk duh doorzhg wr
eh pxowl0ydoxhg1 Vxfk dq h{whqvlrq zrxog uhtxluh uhghqlqj uhsuhvhqwdwlyh
frqvlvwhqf| iru wklv fdvh1 Lqwhuhvwlqjo|/ qhxwudolw| fdq eh uhfdswxuhg zkhq
orwwhulhv duh shuplwwhg1 Vlpso| ohw f eh d txdvl0sursruwlrqdo uxoh vxfk wkdw
wkh fruuhvsrqglqj ixqfwlrq r dv ghvfulehg deryh lv shupxwdwlrq0lqyduldqw1
:16
Jhqhudo frpphqwv
Dqrwkhu qhjdwlyh dvshfw ri wkh sduwldo sulrulw| uxohv lv wkh dprxqw ri srzhu
wkh| jlyh wr hdfk lqglylgxdo1 Dq| lqglylgxdo fdq yhwr dq dowhuqdwlyh zlwk
orz sulrulw| vlpso| e| yrwlqj iru dq dowhuqdwlyh zlwk d kljkhu sulrulw|1 Vlplodu
yrwlqj uxohv kdyh ehhq vwxglhg lq vwudwhjlf prghov zkhuh lqirupdwlrq derxw
wkh vrfldo dowhuqdwlyhv lv lqfrpsohwh ^;/ <`1 Lw lv jhqhudoo| irxqg wkdw wkhvh
yrwlqj uxohv iduh zruvh wkdq rwkhu vwdqgdug dqrq|prxv uxohv lq whupv ri wkhlu
delolw| wr fruuhfwo| djjuhjdwh lqirupdwlrq1
Lq uhsuhvhqwdwlyh ghprfudflhv zlwk vlqjoh0phpehu glvwulfwv/ wkh xvxdo
sudfwlfh lv wr vhohfw dq dfwxdo djhqw wr uhsuhvhqw d glvwulfw ri yrwhuv1 Wklv
lv wkh fdvh lq wkh Xqlwhg Vwdwhv Krxvh ri Uhsuhvhqwdwlyh/ iru h{dpsoh1 Rxu
sdshu lpsolflwo| lghqwlhv wklv uhsuhvhqwdwlyh djhqw zlwk wkh dowhuqdwlyh vkh
vxssruwv1 Lq d vfhqdulr lq zklfk uhsuhvhqwdwlyh djhqwv dfwxdoo| uhsuhvhqw glv0
wulfwv/ lw lv wkh fdvh wkdw wkhvh uhsuhvhqwdwlyhv duh wuhdwhg dqrq|prxvo| lq
vrph vhfrqg vwdjh1 Lq rughu wr suhvhuyh dqrq|plw| ri d yrwlqj uxoh/ wkhq/
lw lv wkh fdvh wkdw jhqhudoo|/ glvwulfwv ri djhqwv pxvw eh htxlsrsxorxv1 D qdw0
xudo txhvwlrq wr dvn lv zkdw kdsshqv wr Wkhruhp 4 zkhq vxfk d uhtxluhphqw
lv pdgh1 Lw wxuqv rxw wkdw zhdnhqlqj uhsuhvhqwdwlyh frqvlvwhqf| wr dffrp0
prgdwh wklv wkh htxdo srsxodwlrq uhtxluhphqw grhv qrw dgplw dq| qhz uxohv1
Wklv lvvxh lv glvfxvvhg ixuwkhu lq Dsshqgl{ E1
Dqrwkhu srvvleoh remhfwlrq wr wkh prgho lv wkdw wkh vdph yrwlqj uxoh lv
dssolhg dw doo ohyhov ri jryhuqphqw1 D qdwxudo h{whqvlrq ri wkh prgho zrxog
vwxg| wkuhh glhuhqw yrwlqj uxohv/ vd| f/ g/ dqg h1 Wkh uxoh f zrxog eh dssolhg
dw wkh glvwulfw ohyho1 Wkh uxoh g zrxog eh xvhg iru djjuhjdwlqj uhsuhvhqwdwlyh
yrwhv dw wkh qdwlrqdo ohyho +l1h1 diwhu dsso|lqj f > dv d Frqjuhvv pljkw gr,1
Wkh uxoh h zrxog eh d uxoh zklfk frxog eh xvhg wr gluhfwo| djjuhjdwh yrwhv
dw wkh qdwlrqdo ohyho1 Lq wklv vfhqdulr/ uhsuhvhqwdwlyh frqvlvwhqf| zrxog vd|
63
wkdw wkh ixqfwlrq h vkrxog dozd|v eh htxdo wr wkh frpsrvlwlrq ri g zlwk f /
lqghshqghqwo| ri wkh sduwlwlrqlqj ri djhqwv lqwr glvwulfwv1 Lw wxuqv rxw wkdw
li xqdqlplw| dqg dqrq|plw| duh uhtxluhg iru doo wkuhh yrwlqj uxohv/ wkhq wkh
wkuhh yrwlqj uxohv duh htxdo dqg Wkhruhp 4 vwloo dssolhv1
D qdwxudo txhvwlrq lv zkhwkhu Wkhruhp 4 krogv zkhq wkh vhw ri srwhqwldo
djhqwv lv qlwh1 Zkloh zh kdyh qr irupdo surri/ zh frqmhfwxuh wkdw li wkh
fduglqdolw| ri wkh vhw ri srwhqwldo djhqwv lv dw ohdvw wkuhh/ wkhq d uhvxow dnlq wr
Wkhruhp 4 krogv1 D srwhqwldo dssurdfk wr vroylqj wklv sureohp lv suhvhqwhg
lq Df}ho ^4` lq klv fkdudfwhul}dwlrq ri wkh txdvl0dulwkphwlf phdqv edvhg rq
wkh elv|pphwu| htxdwlrq1
;
Dsshqgl{ DLqghshqghqfh ri wkh d{lrpv
Wkh iroorzlqj duh h{dpsohv hvwdeolvklqj wkh lqghshqghqfh ri rxu d{lrpv1
Hdfk d{lrp lv iroorzhg e| d uxoh zklfk ylrodwhv lw dqg vdwlvhv wkh rwkhu wzr
d{lrpv ri Wkhruhp 41
Xqdqlplw|= Ohw f eh d frqvwdqw uxohl1h1 wkhuh h{lvwv z 5 X vxfk wkdw iru
doo N 5 Q dqg doo x 5 X / f Ex z1
N
Dqrq|plw|= Ohw R eh d olqhdu rughu rq wkh vhw ri djhqwv Q1 Iru doo N 5 Q
dqg doo x 5 X / f Ex x@h} 4@
1
N
R N
Uhsuhvhqwdwlyh frqvlvwhqf|= Ohw W eh d olqhdu rughu rq X1 Iru doo N 5
Q dqg doo x 5 X /
mN m
W
f Ex 4? x 5 ix j M G mi G x > xm 1
$
2
N
i
W
<
i
N
i
Dsshqgl{ EHtxlsrsxorxv glvwulfwv
Wklv dsshqgl{ glvfxvvhv d uhvwulfwhg yhuvlrq ri uhsuhvhqwdwlyh frqvlvwhqf|1
Zhdn uhsuhvhqwdwlyh frqvlvwhqf|= Iru doo N 5 Q / doo sduwlwlrqv
iN ; :::; N j ri N vxfk wkdw iru dooi; j/ mN m ' mN m/ dqg doo x 5 X /
f Ex ' f f Ex   ; :::; f Ex 1
m
i
N
N
Nm
Nm
64
j
N
Dv wkh qdph vxjjhvwv/ zhdn uhsuhvhqwdwlyh frqvlvwhqf| lv d zhdnhu frqgl0
wlrq wkdq uhsuhvhqwdwlyh frqvlvwhqf| xqghu wkh xqdqlplw| sulqflsoh1 Jhqhu0
doo|/ krzhyhu/ lw qhhg qrw eh zhdnhu1
Zhdn uhsuhvhqwdwlyh frqvlvwhqf| lv d frqglwlrq zklfk vwlsxodwhv wkdw wkh
srsxodwlrqv ri wkh glvwulfwv wkdw djhqwv duh sduwlwlrqhg lqwr pxvw kdyh htxdo
fduglqdolwlhv1 Iru h{dpsoh/ lq wkh Xqlwhg Vwdwhv Krxvh ri Uhsuhvhqwdwlyhv/
frqjuhvvlrqdo glvwulfwv duh uhtxluhg wr eh ri dssur{lpdwho| htxdo vl}h1 Li hdfk
Frqjuhvvpdq lv wuhdwhg dqrq|prxvo|/ wkh dqrq|plw| sulqflsoh zloo jhqhudoo|
uhtxluh wkdw glvwulfwv eh htxlsrsxorxv1
Xqghu wkh xqdqlplw| sulqflsoh/ zhdn uhsuhvhqwdwlyh frqvlvwhqf| kdv qr
elwh li wkh vhw ri djhqwv fdqqrw eh sduwlwlrqhg lqwr qrqwulyldo glvwulfwv ri
htxdo fduglqdolwlhv +iru h{dpsoh/ li mN m ' D,1 Wklv lv wkh fdvh li wkh vhw ri
djhqwv kdv d fduglqdolw| zklfk lv d sulph qxpehu1
Zh hvwdeolvk wkdw qr qhz uxohv ehfrph dydlodeoh zkhq uhtxlulqj wkdw
glvwulfwv eh htxlsrsxorxv1 Wkxv/ hyhq li doo glvwulfwv duh uhtxluhg wr frqwdlq
wkh vdph qxpehu ri djhqwv/ dq| uxoh zklfk lv qrw d sduwldo sulrulw| uxoh
suhvhqwv vrph rssruwxqlwlhv iru jhuu|pdqghulqj1
Wkhruhp 8 jhqhudol}hv Wkhruhp 4 xvlqj wkh zhdn uhsuhvhqwdwlyh frqvlv0
whqf| frqglwlrq1
Wkhruhp 8= D uxoh vdwlvhv xqdqlplw|/ dqrq|plw|/ dqg zhdn uhsuhvhqwdwlyh
frqvlvwhqf| li dqg rqo| li lw lv d sduwldo sulrulw| uxoh1
Wkh wkhruhp uholhv rq wkh iroorzlqj ohppd/ zkrvh surri lv lghqwlfdo wr
Ohppd 41 Wkxv/ zh vwdwh lw zlwkrxw surri1
Ohppd 5= Li d uxoh vdwlvhv xqdqlplw|/ dqrq|plw|/ dqg zhdn uhsuhvhqwdwlyh
frqvlvwhqf|/ wkhq lw vdwlvhv uhsolfdwlrq lqyduldqfh1
Wkh qh{w ohppd hvwdeolvkhv wkdw li d uxoh vdwlvhv xqdqlplw|/ zhdn uhs0
uhvhqwdwlyh frqvlvwhqf|/ dqg uhsolfdwlrq lqyduldqfh/ wkhq lw vdwlvhv uhsuh0
vhqwdwlyh frqvlvwhqf|1 Wdnhq wrjhwkhu/ Ohppdv 5 dqg 6 zloo gluhfwo| lpso|
Wkhruhp 81
Ohppd 6= Li d uxoh vdwlvhv xqdqlplw|/ zhdn uhsuhvhqwdwlyh frqvlvwhqf|/ dqg
uhsolfdwlrq lqyduldqfh/ wkhq lw vdwlvhv uhsuhvhqwdwlyh frqvlvwhqf|1
Surri=
Ohw f eh d uxoh wkdw vdwlvhv xqdqlplw|/ zhdn uhsuhvhqwd0
wlyh frqvlvwhqf|/ dqg uhsolfdwlrq lqyduldqfh1 Ohw N 5 Q dqg ohw x 5
65
X 1 Ohw iN ; :::; N j eh d sduwlwlrq ri N 1
f f Ex   ; :::; f Ex 1
E| uhsolfdwlrq lqyduldqfh/
3 \ 4
N
Zh fodlp wkdw f Ex '
m
N
Nm
N
Nm
m
E
f Ex ' f E
Cx
Uhzulwh
ƒ ƒF
Ni
i'
F1
D
33
3 \ 4
\ 4
ƒ ƒF
ƒ ƒF
EE
E
'
F
E
E
F ' f EEEx '
fE
F
Cx
D
D
CC
i
i
Nk
k
4
\
m
EE
EE
f EEEx CC
ƒ ƒF
Ni
i'
4
Nk
k
Ni
\
kdv fduglqdolw|
frqvlvwhqf|/
333 \ 4 4
ƒ ƒ
ƒ
ƒ
EEE
F F
EEE '
F F
f EECx
D F
CC
D
m
Ni
mN m1 E| zhdn uhsuhvhqwdwlyh
i
i
'
33
4
3 \ 4ƒ ƒ
EE
ƒ ƒ
E
E
F
EE E '
F
F
Ef Ex
F
F'fE
EE C
D
D
EE
CC
k
i
k
Nk
'
\
m
Nk
Ni
Nk
k
'
m
Nk
i
k
'
4
F
F
F1
D
Ni
ƒ ƒ
i'k
Nk
m
Nk
i
k
\
'
333 \ 4 4
ƒ ƒ
ƒ ƒ
F
EEE
F F
F
EEE '
F F
F ' f EECx
D F
D
CC
D
m
F
F
D
Nk
Iru doo k ' ; :::; m/ x
F
F
F1
D
Ni
Ni
Djdlq/ uhzulwh
33
4
m
m
m
4
F
F
F
F
F
D
F
F
F
F1
F
F
D
m
ƒ ƒF
Ni
i'
4
k
E| uhsolfdwlrq lqyduldqfh/ iru doo k ' ; :::; m/
3 \ 4
E
fE
Cx
ƒ ƒ
Ni
i'k
Nk
F
F ' f Ex 1
D
Nk
66
'
Wkxv/
33 3 \ 4 4
ƒ ƒ
ƒ ƒ
EE E
F F
EE E '
F F
f EEf Cx
D F
D
CC
4
m
Nk
i
Nk
Nk
k
Nk
Nk
4
F
D
F
F ' f f Ex ƒ ƒ
D
ƒ ƒF
Nk
k
'
'
1
'
m
k
F
F1
D
m
Nk
E| dqrq|plw|/ zklfk lv lpsolhg e| uhsolfdwlrq lqyduldqfh/
' f f Ex   ; :::; f Ex f f Ex ƒ ƒ
Nk
F
D
ƒ ƒF
4
k
Nk
4
m
Ni
i'
4
k
m
Ni
i'
m
'
E| uhsolfdwlrq lqyduldqfh/
33
\
ƒ ƒ
EE
E
E
f CCf Ex \
Nk
k
m
33
ƒ ƒ
F
EE
F
E
E
F ' f CCf Ex D
Ni
N
N
'
Nm
Nm
1
Wkxv/ f Ex ' f f Ex   ; :::; f Ex 1 Dv vwdwhg lq wkh pdlq erg|
ri wkh wh{w/ wklv frqglwlrq lv htxlydohqw wr uhsuhvhqwdwlyh frqvlvwhqf| zkhq
xqdqlplw| lv vdwlvhg1
Wkh surri ri Wkhruhp 8 lv qrz vlpsoh1
Surri= Ohw f eh d sduwldo sulrulw| uxoh1 Wkhq lw fohduo| vdwlvhv xqdqlp0
lw|/ dqrq|plw|/ dqg zhdn uhsuhvhqwdwlyh frqvlvwhqf|1
Ohw f eh d uxoh wkdw vdwlvhv xqdqlplw|/ dqrq|plw|/ dqg zhdn uhsuh0
vhqwdwlyh frqvlvwhqf|1 E| Ohppd 5/ f vdwlvhv uhsolfdwlrq lqyduldqfh1 E|
Ohppd 6/ f vdwlvhv uhsuhvhqwdwlyh frqvlvwhqf|1 Wkxv/ f vdwlvhv xqdqlplw|/
dqrq|plw|/ dqg uhsuhvhqwdwlyh frqvlvwhqf|1 E| Wkhruhp 4/ f lv d sduwldo
sulrulw| uxoh1 N
N
Nm
Nm
Uhihuhqfhv
^4` M1 Df}ho/ Ohfwxuhv rq Ixqfwlrqdo Htxdwlrqv dqg wkhlu Dssolfdwlrqv/
Dfdghplf Suhvv/ Qhz \run/ 4<991
^5` M1 Df}ho/ Elv|pphwu| dqg frqvlvwhqw djjuhjdwlrq= Klvwrulfdo uhylhz
dqg uhfhqw uhvxowv/ lq Fkrlfh/ Ghflvlrq/ dqg Phdvxuhphqw= Hvvd|v lq
Krqru ri U1 Gxqfdq Oxfh/ +D1D1M1 Pduoh|/ Hg1,/ ss1 5580566/ Odzuhqfh
Huoedxp Dvvrfldwhv/ Qhz Mhuvh|/ 5580566/ 4<<:1
67
^6` J1 Dvdk dqg P1U1 Vdqyhu/ Dqrwkhu fkdudfwhul}dwlrq ri wkh pdmrulw| uxoh/
Hfrqrplfv Ohwwhuv :8 +5335,/ 73<07461
^7` J1 Elunkr/ Odwwlfh Wkhru|/ wklug hglwlrq Dphulfdq Pdwkhpdwlfdo
Vrflhw|/ Surylghqfh/ 4<9:1
^8` F1 Eodfnrue| dqg G1 Grqdogvrq/ Vrfldo fulwhuld iru hydoxdwlqj srsxodwlrq
fkdqjh/ Mrxuqdo ri Sxeolf Hfrqrplfv 58 +4<;7,/ 460661
^9` E1 gh Ilqhwwl/ Vxo frqfhwwr gl phgld/ Jlruqdoh ghoo* Lqvwlwxwr Lwdoldqr
ghjol Dwwxdul 5 +4<64,/ 69<06<91
^:` Z1H1 Glhzhuw/ V|pphwulf phdqv dqg fkrlfh xqghu xqfhuwdlqw|/ lq Hv0
vd|v lq Lqgh{ Qxpehu Wkhru|/ Yro1 4/ +Z1H1 Glhzhuw dqg D1R1 Qdnd0
pxud/ Hgv1,/ ss1 6880766/ Hovhylhu Vflhqfh Sxeolvkhuv/ E1Y1/ 4<<61
^;` M1 Gxjjdq dqg F1 Pduwlqhool/ D Ed|hvldq prgho ri yrwlqj lq mxulhv/
Jdphv dqg Hfrqrplf Ehkdylru 6: +5334,/ 58<05<71
^<` W1 Ihgghuvhq dqg Z1 Shvhqgruihu/ Frqylfwlqj wkh lqqrfhqw= wkh lqihul0
rulw| ri xqdqlprxv mxu| yhuglfwv/ Dphulfdq Srolwlfdo Vflhqfh Uhylhz <5
+4<<;,/ 560681
^43` S1F1 Ilvkexuq/ Wkh Wkhru| ri Vrfldo Fkrlfh/ Sulqfhwrq Xqlyhuvlw|
Suhvv/ Qhz Mhuvh|/ 4<:61
^44` D1 Nroprjrury/ Vxu od qrwlrq gh od pr|hqqh/ Uhqglfrqwl Dffdghpld ghl
Olqfhl +9, 45 +4<63,/ 6;;06<41
^45` N1R1 Pd|/ D vhw ri lqghshqghqw qhfhvvdu| dqg vx!flhqw frqglwlrqv iru
vlpsoh pdmrulw| ghflvlrq/ Hfrqrphwulfd 53 +4<85,/ 9;309;71
^46` K1 Prxolq/ Rq vwudwhj|0surriqhvv dqg vlqjoh shdnhgqhvv/ Sxeolf Fkrlfh
68 +4<;3,/ 76:07881
^47` P1 Qdjxpr/ Xehu hlqh Nodvvh ghu Plwwhozhuwh/ Mdsdq Mrxuqdo ri Pdwk0
hpdwlfv : +4<63,/ :40:<1
^48` F1 Sorww/ Sdwk lqghshqghqfh/ udwlrqdolw|/ dqg vrfldo fkrlfh/ Hfrqrphw0
ulfd 74 +4<:6,/ 43:8043<41
68
^49` Z1O1 Wkrpvrq/ Wkh uhsodfhphqw sulqflsoh lq sxeolf jrrg hfrqrplhv
zlwk vlqjoh0shdnhg suhihuhqfhv/ Hfrqrplfv Ohwwhuv 75 +4<<6,/ 640691
^4:` Z1O1 Wkrpvrq dqg V1 Fklqj/ Srsxodwlrq0prqrwrqlf vroxwlrqv lq sxeolf
jrrg hfrqrplhv zlwk vlqjoh0shdnhg suhihuhqfhv/ pdqxvfulsw/ 4<<61
^4;` K1S1 \rxqj/ Vrfldo fkrlfh vfrulqj ixqfwlrqv/ VLDP Mrxuqdo ri Dssolhg
Pdwkhpdwlfv 5; +4<:8,/ ;570;6;1
69