Strongly Regular Decompositions of the Complete Graph

Tilburg University

Strongly Regular Decompositions of the Complete Graph

van Dam, E.R.

Publication date:

2001

Document Version

Publisher's PDF, also known as Version of record

Link to publication in Tilburg University Research Portal

Citation for published version (APA):

van Dam, E. R. (2001). Strongly Regular Decompositions of the Complete Graph. (CentER Discussion Paper; Vol. 2001-61). Operations research.

General rights

Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain

• You may freely distribute the URL identifying the publication in the public portal

Take down policy

If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

No. 2001-61

STRONGLY REGULAR DECOMPOSITIONS OF THE

COMPLETE GRAPH

By Edwin R. van Dam

September 2001

5|hL?}*) hi}*@h _iUL4TLt|L?t Lu |i UL4T*i|i }h@T

,_? + @? #@4

Wloexuj Xqlyhuvlw|/ Ghsw1 Hfrqrphwulfv ) R1U1 SR Er{ <3486/ 8333 OH Wloexuj/ Wkh Qhwkhuodqgv

i4@*G )[=>= >27K='

}t| 2ff

5333 Pdwkhpdwlfv Vxemhfw Fodvvlfdwlrq= 38H63/ 38E53 Devwudfw

Zh vwxg| vhyhudo txhvwlrqv derxw dprusklf dvvrfldwlrq vfkhphv dqg rwkhu vwurqjo| uhjxodu ghfrpsrvlwlrqv ri wkh frpsohwh judsk1 Zh lqyhvwljdwh krz wzr frppxwlqj hgjh0glvmrlqw vwurqjo| uhjxodu judskv lqwhudfw1 Zh vkrz wkdw dq| ghfrpsrvlwlrq ri wkh frpsohwh judsk lqwr wkuhh vwurqjo| uhjxodu judskv pxvw eh dq dprusklf dvvrfldwlrq vfkhph1 Olnhzlvh zh vkrz wkdw dq| ghfrpsrvlwlrq ri wkh frpsohwh judsk lqwr vwurqjo| uhjxodu judskv ri +qhjdwlyh, Odwlq vtxduh w|sh lv dq dprusklf dvvrfldwlrq vfkhph1 Zh vwxg| vwurqjo| uhjxodu ghfrpsrvlwlrqv ri wkh frpsohwh judsk frqvlvwlqj ri irxu judskv/ dqg qg d sulplwlyh frxqwhuh{dpsoh wr D1Y1 Lydqry*v frqmhfwxuh zklfk vwdwhv wkdw dq| dvvrfldwlrq vfkhph frqvlvwlqj ri vwurqjo| uhjxodu judskv rqo| pxvw eh dprusklf1

 W?|hL_U|L?

Lq wklv sdshu zh wdfnoh vhyhudo txhvwlrqv derxw vr0fdoohg dprusklf dvvrfldwlrq vfkhphv1 Vxfk dq dvvrfldwlrq vfkhph kdv wkh surshuw| wkdw doo ri lwv judskv duh vwurqjo| uhjxodu1 Pruhryhu/ wkh| duh doo ri Odwlq vtxduh w|sh/ ru doo ri qhjdwlyh Odwlq vtxduh w|sh1 Iru edfnjurxqg rq dprusklf dvvrfldwlrq vfkhphv/ zh uhihu wkh uhdghu wr wkh h{srvlwru| sdshu ^9`1

Wr vwxg| wkh uhohydqw txhvwlrqv rq dprusklf dvvrfldwlrq vfkhphv/ zh lqwurgxfh wkh pruh jhqhudo vwurqjo| uhjxodu ghfrpsrvlwlrqv ri d frpsohwh judsk1 Wkhvh duh ghfrpsrvlwlrqv ri wkh hgjh vhw ri d frpsohwh judsk lqwr vsdqqlqj vxejudskv wkdw duh doo vwurqjo| uhjxodu1 D wulyldo h{dpsoh lv jlyhq e| d vwurqjo| uhjxodu judsk dqg lwv frpsohphqw/ zklfk irup d vwurqjo| uhjxodu ghfrpsrvlwlrq ri d frpsohwh judsk frqvlvwlqj ri wzr judskv1 Vxfk d ghfrpsrvlwlrq lv dovr dq dprusklf dvvrfldwlrq vfkhph +wulyldoo|,1

Dq lpsruwdqw uroh lq wklv sdshu lv sod|hg e| frppxwdwlyh ghfrpsrvlwlrqv1 Wkhvh duh ghfrpsrvlwlrqv iru zklfk wkh dgmdfhqf| pdwulfhv ri doo judskv lq wkh ghfrpsrvlwlrq frp0 pxwh1 Lq Vhfwlrq 6 zh wkhuhiruh lqyhvwljdwh krz wzr frppxwlqj hgjh0glvmrlqw vwurqjo| uhjxodu judskv J dqg J2 lqwhudfw dojheudlfdoo|/ dqg fkdudfwhul}h wkh fdvh zkhq wkh frp0

pxwdwlyh ghfrpsrvlwlrq iJ> J2> J^ J2j lv dq dvvrfldwlrq vfkhph1 Zh dovr jlyh h{dpsohv

ri doo srvvleoh fdvhv1

W_{Ai hiti@hU Lu ,+ @? #@4 @t Mii? 4@_i TLttM*i M) @ ui**LtT Lu |i +L)@* i|ih*@?_t U@_i4)}

Lu h|t @?_ 5Ui?Uit

Rqh ri rxu pdlq jrdov lq wklv sdshu lv wr vkrz wkdw dq| ghfrpsrvlwlrq ri d frpsohwh judsk lqwr wkuhh vwurqjo| uhjxodu judskv lv dq dprusklf dvvrfldwlrq vfkhph1 Wklv vxusulvlqj idfw zdv fodlphg wr eh wuxh e| Jro*idqg/ Lydqry/ dqg Nolq ^:`/ exw qr surri zdv jlyhq1 Qrz wzr txlwh glhuhqw surriv duh dydlodeoh1 Rqh lv frqwdlqhg lq Vhfwlrq 7> iru wkh rwkhu surri vhh ^9`1 Wkh uhvxow jhqhudol}hv d uhvxow e| Urzolqvrq ^46` dqg lqghshqghqwo| Plfkdho ^45` zkr vkrzhg wkdw dq| ghfrpsrvlwlrq ri d frpsohwh judsk lqwr wkuhh lvrprusklf vwurqjo| uhjxodu judskv lv dq dvvrfldwlrq vfkhph1

Lq Vhfwlrq 8lw lv vkrzq wkdw dq| vwurqjo| uhjxodu ghfrpsrvlwlrq frqvlvwlqj ri Odwlq vtxduh w|sh judskv rqo|/ ru ri qhjdwlyh Odwlq vtxduh w|sh judskv rqo|/ lv dovr dq dprusklf dvvrfldwlrq vfkhph1 Wklv jhqhudol}hv d uhvxow e| Lwr/ Pxqhpdvd/ dqg \dpdgd ^<` zkr vkrzhg wkdw dq| dvvrfldwlrq vfkhph frqvlvwlqj ri +qhjdwlyh, Odwlq vtxduh w|sh judskv rqo| lv dprusklf1

Vlqfh d vwurqjo| uhjxodu ghfrpsrvlwlrq ri d frpsohwh judsk lqwr wkuhh judskv qhfhvvdulo| lv dq dprusklf dvvrfldwlrq vfkhph/ wkh qh{w fdvh wr lqyhvwljdwh zrxog eh ghfrpsrvlwlrqv lqwr irxu vwurqjo| uhjxodu judskv1 Lq wkh jhqhudo +qrw qhfhvvdulo| frppxwdwlyh, fdvh lw vhhpv kdug wr fkdudfwhul}h vxfk ghfrpsrvlwlrqv1 Zh kdyh rqo| rqh +$, qrq0frppxwdwlyh h{dpsoh +rq 9 yhuwlfhv,/ zklfk zh irxqg e| fodvvli|lqj wkh ghfrpsrvlwlrqv lqwr irxu vwurqjo| uhjxodu judskv ri zklfk dw ohdvw wkuhh duh glvfrqqhfwhg1

Lq wkh frppxwdwlyh fdvh zlwk irxu judskv Wkhruhp 8uhgxfhv wkh qxpehu ri fdvhv frqvlghudeo|1 Wkh frppxwdwlyh fdvh lv dovr ri lqwhuhvw ehfdxvh ri D1Y1 Lydqry*v frqmhfwxuh +fi1 ^43/ Sureohp 416`,1 Wklv frqmhfwxuh vwdwhv wkdw dq| dvvrfldwlrq vfkhph frqvlvwlqj ri vwurqjo| uhjxodu judskv rqo| pxvw eh dprusklf1 Douhdg| lq ^8` frxqwhuh{dpsohv wr wklv frqmhfwxuh zhuh irxqg/ exw wkhvh zhuh doo lpsulplwlyh1 Wkhruhp 8khoshg xv wr qg d uvw sulplwlyh frxqwhuh{dpsoh wr wkh frqmhfwxuh/ zklfk zdv dovr rqh ri wkh pdlq jrdov ri wkh uhvhdufk zklfk ohg wr wklv sdshu1

2 hi*4?@hit

Lq wklv sdshu zh frqvlghu vlpsoh xqgluhfwhg judskv zlwkrxw orrsv/ xqohvv rwkhuzlvh lq0 glfdwhg1 D ghfrpsrvlwlrq ri d judsk lv ghqhg dv dq hgjh0ghfrpsrvlwlrq lqwr vsdqqlqj vxejudskv/ l1h d sduwlwlrq ri wkh hgjh vhw ri wkh ruljlqdo judsk lqwr judskv rq wkh vdph yhuwh{ vhw1 Pruh irupdoo|/ zh vd| wkdw iJ> J2> ===> J_j lv d ghfrpsrvlwlrq ri d judsk J

li iru dq| wzr dgmdfhqw yhuwlfhv lq J/ wkhuh lv h{dfwo| rqh l iru zklfk wkh wzr yhuwlfhv duh dgmdfhqw lq wkh judsk J/ dqg wkh yhuwh{ vhw ri J lv wkh vdph dv wkh rqh ri J/ iru doo l1 Iru

dq| judsk J/ wkh judsk dqg lwv frpsohphqw J2 @ J irup d +wulyldo, ghfrpsrvlwlrq ri d

frpsohwh judsk1 Dvvrfldwlrq vfkhphv duh rwkhu h{dpsohv ri ghfrpsrvlwlrqv ri wkh frpsohwh judsk1 D ghfrpsrvlwlrq lv fdoohg vwurqjo| uhjxodu li doo judskv lq wkh ghfrpsrvlwlrq duh vwurqjo| uhjxodu judskv1

2 5|hL?}*) hi}*@h }h@Tt @?_ hit|hU|i_ i}i?@*it

D vwurqjo| uhjxodu judsk J zlwk sdudphwhuv +y> n> > , lv d qrq0frpsohwh judsk rq y yhuwlfhv zklfk lv uhjxodu zlwk ydohqf| n/ dqg zklfk kdv wkh surshuw| wkdw dq| wzr dgmdfhqw yhuwlfhv kdyh  frpprq qhljkerxuv/ dqg dq| wzr qrq0dgmdfhqw yhuwlfhv kdyh  frpprq qhljkerxuv1 Lw lv zhoo nqrzq wkdw wkh dgmdfhqf| pdwul{ ri d vwurqjo| uhjxodu judsk kdv wzr ru wkuhh glvwlqfw hljhqydoxhv/ ghshqglqj rq zkhwkhu wkh judsk lv glvfrqqhfwhg ru qrw1 Vlqfh J lv

uhjxodu ri ydohqf| n/ lw kdv wkh doo0rqhv yhfwru m dv dq hljhqyhfwru zlwk hljhqydoxh n1 Wr xqli| wkh fdvhv zkhuh J lv frqqhfwhg dqg zkhuh lw lv qrw/ zh lqwurgxfh wkh frqfhswv ri uhvwulfwhg hljhqydoxhv dqg pxowlsolflwlhv1 Zh vd| wkdw d uhjxodu judsk +dqg lwv dgmdfhqf| pdwul{, kdv d uhvwulfwhg hljhqydoxh  li lw kdv dq hljhqyhfwru iru  zklfk lv ruwkrjrqdo wr wkh doo0rqhv yhfwru m +l1h1/ wkhvh duh doo hljhqydoxhv h{fhsw wkh ydohqf| lq fdvh wkh judsk lv frqqhfwhg/ dqg doo hljhqydoxhv li wkh judsk lv qrw frqqhfwhg,1 Wkh uhvwulfwhg pxowlsolflw| iru d uhvwulfwhg hljhqydoxh  lv wkh glphqvlrq ri lwv hljhqvsdfh lqwhuvhfwhg zlwk mz_{1 Lw qrz}

iroorzv wkdw d uhjxodu judsk lv vwurqjo| uhjxodu li dqg rqo| li lw kdv wzr glvwlqfw uhvwulfwhg hljhqydoxhv/ vd| u dqg v1 Lw lv zhoo nqrzq wkdw iru d vwurqjo| uhjxodu +y> n> > , judsk wkh uhvwulfwhg hljhqydoxhv u dqg v iroorz iurp wkh htxdwlrqv u . v @    dqg uv @   n1 Wkh uhvwulfwhg pxowlsolflwlhv i iru u dqg j iru v duh jlyhq e| wkh htxdwlrqv i @ &nE3r_o3r dqg j @ &nE3o_o3r 1 Li J lv frqqhfwhg wkhq wkhvh qxpehuv duh wkh xvxdo pxowlsolflwlhv iru d vwurqjo| uhjxodu judsk1

D vwurqjo| uhjxodu judsk lv ri Odwlq vtxduh w|sh ru ri qhjdwlyh Odwlq vtxduh w|sh li wkhuh duh lqwhjhuv q dqg w +srvlwlyh ru qhjdwlyh/ ghshqglqj rq wkh %w|sh%, vxfk wkdw wkh judsk kdv q2 _{yhuwlfhv/ ydohqf| w+q  4,/ dqg uhvwulfwhg hljhqydoxhv q  w dqg w1}

Zh uhpdun qdoo| wkdw wkh frpsohphqw ri d vwurqjo| uhjxodu judsk lv dovr vwurqjo| uhjxodu/ khqfh d vwurqjo| uhjxodu judsk dqg lwv frpsohphqw irup d +wulyldo, vwurqjo| uhjxodu ghfrpsrvlwlrq ri d frpsohwh judsk1 Iru pruh lqirupdwlrq rq vwurqjo| uhjxodu judskv zh uhihu wkh uhdghu wr ^7`1

22 L44|@|i _iUL4TLt|L?t @?_ @ttLU@|L? tUi4it

Zh fdoo d ghfrpsrvlwlrq ri d frpsohwh judsk frppxwdwlyh li wkh dgmdfhqf| pdwulfhv D> l @

4> 5> ===> g ri doo judskv lq wkh ghfrpsrvlwlrq frppxwh1 Lw iroorzv wkdw lq d frppxwdwlyh ghfrpsrvlwlrq ri d frpsohwh judsk doo judskv duh uhjxodu/ vlqfh hdfk dgmdfhqf| pdwul{ D> l @ 4> 5> ===> g frppxwhv zlwk wkh doo0rqhv pdwul{ M @ L . D. === . D_1

D +g0fodvv, dvvrfldwlrq vfkhph lv d ghfrpsrvlwlrq iJ> J2> ===> J_j ri d frpsohwh judsk

vxfk wkdw wkhuh duh s

/ k> l> m @ 4> ===> g/ fdoohg wkh lqwhuvhfwlrq qxpehuv/ vxfk wkdw iru dq|

wzr yhuwlfhv { dqg | dgmdfhqw lq J/ wkhuh duh s yhuwlfhv } wkdw duh dgmdfhqw wr { lq J dqg

dgmdfhqw wr | lq J1 Lw iroorzv wkdw dq dvvrfldwlrq vfkhph lv d frppxwdwlyh ghfrpsrvlwlrq/

dqg khqfh wkdw doo judskv lq wkh ghfrpsrvlwlrq duh uhjxodu1 Ehfdxvh ri wklv uhjxodulw| zh fdq h{whqg wkh ghqlwlrq ri wkh s

 wr k> l> m @ 3> 4> ===> g/ li zh ghqh Jf dv wkh judsk

frqvlvwlqj ri d orrs dw hdfk yhuwh{ +zlwk dgmdfhqf| pdwul{ Df @ L,1

Li Dghqrwhv wkh dgmdfhqf| pdwul{ ri J/ wkhq wkh frqglwlrqv ri wkh dvvrfldwlrq vfkhph

wudqvodwh lqwr DD @ DD @S_'fsD iru l> m @ 3> 4> ===> g1 Wklv lpsolhv wkdw d ghfrp0

srvlwlrq iJ> J2> ===> J_j ri d frpsohwh judsk lv dq dvvrfldwlrq vfkhph li dqg rqo| li wkh

yhfwru vsdfh kDf @ L> D> D2> ===> D_l irupv dq dojheud +l1h1 lv forvhg xqghu wdnlqj surgxfwv,1

Wklv dojheud lv fdoohg wkh Ervh0Phvqhu dojheud ri wkh dvvrfldwlrq vfkhph1 Zh uhpdun wkdw lq wkh olwhudwxuh pruh jhqhudo ghqlwlrqv ri dvvrfldwlrq vfkhphv duh ehlqj xvhg1 Lq wklv uhvshfw zh dgg wkdw wkh dvvrfldwlrq vfkhphv lq wklv sdshu zloo dozd|v eh v|pphwulf dqg khqfh frppxwdwlyh1

Dvvrfldwlrq vfkhphv duh jhqhudol}dwlrqv ri vwurqjo| uhjxodu judskv lq wkh vhqvh wkdw d ghfrpsrvlwlrq ri d frpsohwh judsk lqwr d judsk dqg lwv frpsohphqw lv dq dvvrfldwlrq vfkhph li dqg rqo| li wkh judsk lv vwurqjo| uhjxodu1 Iru pruh lqirupdwlrq rq dvvrfldwlrq vfkhphv zh uhihu wkh uhdghu wr ^4` ru ^6`1

Qrz frqvlghu d frppxwdwlyh ghfrpsrvlwlrq zlwk dgmdfhqf| pdwulfhv D> l @ 4> 5> ===> g/

dqg ohw Df @ L1 Vlqfh wkh pdwulfhv D frppxwh/ wkh| fdq eh gldjrqdol}hg vlpxowdqhrxvo|/

dqg khqfh wkh| kdyh d frpprq edvlv ri +pxwxdoo| ruwkrjrqdo , hljhqyhfwruv1 Lw iroorzv wkdw wkh yhfwru vsdfh LU_{fdq eh ghfrpsrvhg lqwr pd{lpdo frpprq hljhqvsdfhv Y/ l @ 3> 4> ===> w}

+iru vrph w,1 Vlqfh doo judskv duh uhjxodu/ rqh ri wkhvh pd{lpdo frpprq hljhqvsdfhv lv k m l/ zklfk zloo eh ghqrwhg e| Yf1 Ohw H eh wkh lghpsrwhqw pdwul{ uhsuhvhqwlqj wkh ruwkrjrqdo

surmhfwlrq rqwr wkh hljhqvsdfh Y/ iru l @ 3> 4> ===> w/ wkhq HH @ H1 Pruhryhu/ zh

fdq h{suhvv wkh pdwulfhv D lq whupv ri wkh pdwulfhv H/ l1h1 D @ S|'fSH iru l @

3> 4> ===> g/ zkhuh S lv wkh hljhqydoxh ri D rq wkh hljhqvsdfh Y1 Wkh pdwul{ S lv fdoohg

wkh hljhqpdwul{ ri wkh ghfrpsrvlwlrq1 Wkh iroorzlqj ohppd fkdudfwhul}hv wkh dvvrfldwlrq vfkhphv dprqj wkh frppxwdwlyh ghfrpsrvlwlrqv1

Ohppd 4 Ohw iJ> J2> ===> J_j eh d frppxwdwlyh ghfrpsrvlwlrq ri d frpsohwh judsk zlwk

lghpsrwhqwv H> m @ 3> ===> w/ dqg hljhqpdwul{ S dv ghqhg deryh1 Wkhq w  g zlwk htxdolw|

li dqg rqo| li wkh ghfrpsrvlwlrq lv dq dvvrfldwlrq vfkhph1 Li w @ g/ wkhq S lv qrqvlqjxodu1 Surri1 Ohw D @ kDf @ L> D> D2> ===> D_l/ dqg H @ kHf> H> ===> H|l1 Vlqfh D @S|'fSH

iru l @ 3> ===> g lw iroorzv wkdw D  H/ khqfh zh kdyh wkdw g  w +vlqfh fohduo| wkh pdwulfhv D> l @ 3> 4> ===> g duh olqhduo| lqghshqghqw,1

Zh fodlp wkdw H lv wkh vpdoohvw dojheud frqwdlqlqj D1 Wklv vkrzv wkdw D lv dq dojheud li dqg rqo| li w @ g/ zklfk suryhv wkh uvw sduw ri wkh ohppd1 Li w @ g/ wkhq S lv wkh pdwul{ zklfk wudqvirupv rqh edvlv ri wkh dojheud lqwr dqrwkhu +vlqfh dovr wkh pdwulfhv H> m @ 3> 4> ===> w duh olqhduo| lqghshqghqw,/ dqg khqfh S lv qrqvlqjxodu1

Wr suryh wkh fodlp/ zh uvw uhpdun wkdw fohduo| H lv dq dojheud1 Wkh uhpdlqghu ri wkh surri lv vlplodu wr wkh dujxphqw lq ^4/ Wkp1 614`1 Il{ l1 Ehfdxvh ri wkh pd{lpdolw| ri wkh frpprq hljhqvsdfhv Y/ wkhuh lv d n+m, vxfk wkdw S&E 9@ S&E/ iru hdfk m 9@ l1 Qrz wkh

pdwul{ I @T_'+D&ES&EL, lv frqwdlqhg lq hdfk dojheud frqwdlqlqj D/ dqg khqfh dovr

lq H1 Pruhryhu/ I ydqlvkhv rq hdfk Y> m @ 3> 4> ===> w h{fhsw rq Y1 Wklv phdqv wkdw H lv

d pxowlsoh ri I / dqg khqfh wkdw H lv frqwdlqhg lq hdfk dojheud frqwdlqlqj D1 Vlqfh wklv

krogv iru doo l/ wkh fodlp lv suryhq1 

2 6tL?t @?_ @4LhTU @ttLU@|L? tUi4it

Wkh ghfrpsrvlwlrq iK> ===> Kej ri vrph judsk J lv fdoohg d ixvlrq ri d ghfrpsrvlwlrq

iJ> ===> J_j ri J li iru doo l/ wkh hgjh vhw ri K lv wkh xqlrq ri wkh hgjh vhwv ri vrph ri wkh

judskv J1

Dq dvvrfldwlrq vfkhph lv fdoohg dprusklf li dq| ri lwv ixvlrqv lv dovr dq dvvrfldwlrq vfkhph1 Lw iroorzv wkdw hdfk ri wkh judskv lv dq dprusklf dvvrfldwlrq vfkhph pxvw eh vwurqjo| uhjxodu1 Wkxv dprusklf dvvrfldwlrq vfkhphv duh vwurqjo| uhjxodu ghfrpsrvlwlrqv ri d frpsohwh judsk1 Pruhryhu/ lw zdv vkrzq lq ^:` wkdw lq dq dprusklf dvvrfldwlrq vfkhph zlwk dw ohdvw wkuhh judskv doo judskv duh ri Odwlq vtxduh w|sh/ ru doo judskv duh ri qhjdwlyh Odwlq vtxduh w|sh1 Iru pruh lqirupdwlrq rq dprusklf dvvrfldwlrq vfkhphv zh uhihu wkh uhdghu wr ^9`1

Wkh iroorzlqj dvvrfldwlrq vfkhphv duh lq vrph fdvhv dprusklf/ dqg wkh| zloo sod| dq lpsruwdqw uroh lq Vhfwlrq 91 Ohw t @ s6_{/ zkhuh s lv sulph/ dqg ohw g eh d glylvru ri t  41}

Wkh g0fodvv f|forwrplf dvvrfldwlrq vfkhph rq yhuwh{ vhw JI +t, lv ghqhg dv iroorzv1 Ohw  eh d sulplwlyh hohphqw ri JI +t,1 Wkhq wzr yhuwlfhv duh dgmdfhqw lq judsk J li wkhlu

glhuhqfh htxdov _n _{iru vrph l/ iru m @ 4> ===> g1 Qrwh wkdw lq vrph fdvhv wklv dvvrfldwlrq}

vfkhph lv qrq0v|pphwulf/ exw wkhvh dvvrfldwlrq vfkhphv zloo qrw eh xvhg lq wklv sdshu1 Lw zdv suryhq e| Edxphuw/ Ploov/ dqg Zdug ^5/ Wkp1 7` wkdw/ iru g A 5/ wkh f|forwrplf vfkhph lv dprusklf li dqg rqo| li 4 lv d srzhu ri s prgxor g1

 L44|?} t|hL?}*) hi}*@h }h@Tt @?_ |hiiU*@tt @ttL

U@|L? tUi4it

Vxssrvh zh kdyh wzr hgjh0glvmrlqw vwurqjo| uhjxodu judskv J dqg J2 rq wkh vdph yhuwh{

vhw1 Dvvxph wkdw wkh wzr judskv duh qrw frpsohphqwdu|/ vr wkdw wkhuh lv d uhpdlqlqj qrqhpsw| wklug judsk J @ J^ J2 zlwk dgmdfhqf| pdwul{ D@ M  L  D D2/ zkhuh

D dqg D2 duh wkh dgmdfhqf| pdwulfhv ri J dqg J2/ uhvshfwlyho|1 Zh zrxog olnh wr nqrz

zkhq wkhvh wkuhh judskv irup d 60fodvv dvvrfldwlrq vfkhph1 Lw lv fohdu wkdw d qhfhvvdu| frqglwlrq iru wklv lv wkdw wkh pdwulfhv D dqg D2 frppxwh1 H{dpsohv ri qrqfrppxwlqj

D dqg D2 duh qrw kdug wr qg/ iru h{dpsoh/ wdnh wkh wuldqjxodu judsk W+8, dqg wkh judsk

frqvlvwlqj ri yh yhuwh{0glvmrlqw hgjhv zklfk duh qrw lq wkh wuldqjxodu judsk +d pdwfklqj lq wkh Shwhuvhq judsk/ wkh frpsohphqw ri W+8,,1 Wkhvh wzr judskv ohdyh wzr yhuwh{0glvmrlqw 80f|fohv dv wkh wklug judsk1 Wklv h{dpsoh lv sduwlfxoduo| lqwhuhvwlqj vlqfh lw vkrzv wkdw dowkrxjk wkh wklug judsk lv sduw ri vrph 60fodvv dvvrfldwlrq vfkhph +wkh zuhdwk surgxfw ri N2 dqg FD,/ lw grhv qrw irup rqh zlwk J dqg J21

Lv wkh surshuw| wkdw J dqg J2 +l1h1 D dqg D2, frppxwh vxflhqw iru J/ J2/ dqg J

wr irup dq dvvrfldwlrq vfkhphB Ehiruh dqvzhulqj wklv txhvwlrq zh uvw qhhg wkh iroorzlqj ohppd1 Wklv ohppd/ zklfk lq d vhqvh whoov xv krz J dqg J2 lqwhudfw dojheudlfdoo|/ zloo

dovr sod| dq lpsruwdqw uroh lq Vhfwlrq 91

Ohppd 5 Ohw J dqg J2 eh hgjh0glvmrlqw vwurqjo| uhjxodu judskv rq y yhuwlfhv/ zlwk J

kdylqj dgmdfhqf| pdwul{ D/ ydohqf| n/ dqg uhvwulfwhg hljhqydoxhv u dqg v/ iru l @ 4> 51

Li D dqg D2 frppxwh/ wkhq D. D2 kdv uhvwulfwhg hljhqydoxhv &@ v. v2/ &2@ v. u2/

&@ u. v2/ dqg &e @ u. u2/ zlwk uhvshfwlyh uhvwulfwhg pxowlsolflwlhv

p @ oo_Eo23E&_3r_3o_Eo₂E&_3r2₂3o2> p2 @ or_Eo23E&_3r_3o_Eo₂E&_3r2₂3r 2>

p @ ro_Eo23E&_3r_3r_Eo₂E&_3r2₂3o 2> pe @ rr_Eo23E&_3r_3r_Eo₂E&_3r223r 2=

Li pruhryhu u A v iru l @ 4> 5/ wkhq p2A 3 dqg pA 31

Surri1 Vlqfh D dqg D2 frppxwh/ wkh| kdyh d frpprq edvlv ri hljhqyhfwruv1 Fohduo|/ wklv

lv dovr d edvlv ri hljhqyhfwruv iru D. D21 Wkh doo0rqhv yhfwru m lv d frpprq hljhqyhfwru

zlwk hljhqydoxhv n/ n2/ dqg n.n2/ uhvshfwlyho|1 Lw lv dovr fohdu wkdw D.D2kdv uhvwulfwhg

hljhqydoxhv &> l @ 4> ===> 7/ dv vwdwhg1 Qrz ohw j eh wkh uhvwulfwhg pxowlsolflw| ri wkh

uhvwulfwhg hljhqydoxh v ri wkh pdwul{ D/ iru l @ 4> 51 Iurp wkh htxdwlrqv p. p2 @ j/

p. p @ j2/ p. p2. p. pe@ y  4 dqg +n. n2,2. p+v. v2,2. p2+v. u2,2.

p+u. v2,2. pe+u. u2,2 @ y+n. n2, +zklfk iroorzv iurp wkh wudfh ri +D. D2,2,/ dqg

wkh surshuw| wkdw j @ o_on&_3r3o_  iru l @ 4> 5/ wkh pxowlsolflwlhv p> l @ 4> ===> 7 iroorz1

Li pruhryhu u A vdqg u2A v2/ wkhq +nu,+n2v2, A yuv2+vlqfh v2 ? 3  u n,/

khqfh p2 A 31 Vlploduo| pA 31 

Zh uhpdun ixuwkhupruh wkdw li u A v/ wkhq zh dovr kdyh wkdw & ? & ? &e iru l @ 5> 6/

dqg wkdw &2 @ & li dqg rqo| li u v@ u2 v21 Lq wklv fdvh wkh uhvwulfwhg pxowlsolflw| ri

&2@ & lv ri frxuvh p2. p1

Dq lpphgldwh frqvhtxhqfh ri Ohppd 5 lv wkh iroorzlqj fruroodu|/ zklfk zloo eh xvhg lq Wkhruhp 61

Fruroodu| 4 Ohw J dqg J2 eh hgjh0glvmrlqw vwurqjo| uhjxodu judskv/ erwk ri Odwlq vtxduh

w|sh ru erwk ri qhjdwlyh Odwlq vtxduh w|sh1 Li wkh dgmdfhqf| pdwulfhv ri wkh wzr judskv frppxwh/ wkhq wkhlu xqlrq J^J2 lv dovr vwurqjo| uhjxodu ri Odwlq vtxduh w|sh/ ru qhjdwlyh

Odwlq vtxduh w|sh/ uhvshfwlyho|1

Surri1 Wkhuh duh lqwhjhuv q> w/ dqg w2 +srvlwlyh ru qhjdwlyh/ ghshqglqj rq wkh %w|sh% ri wkh

judskv, vxfk wkdw wkh qxpehu ri yhuwlfhv lv q2_{/ dqg J}

 kdv ydohqf| w+q  4, dqg uhvwulfwhg

hljhqydoxhv u @ q  w dqg v @ w/ iru l @ 4> 51 Lw iroorzv iurp Ohppd 5 wkdw wkh

pxowlsolflw| pe htxdov }hur1 Lw wkxv iroorzv wkdw J^ J2 kdv ydohqf| +w. w2,+q  4, dqg

uhvwulfwhg hljhqydoxhv q  w w2 dqg w w2/ khqfh lw lv dovr d vwurqjo| uhjxodu judsk ri

Odwlq vtxduh w|sh ru qhjdwlyh Odwlq vtxduh w|sh judsk/ uhvshfwlyho|1  Qrz zh vkdoo dqvzhu rxu hduolhu txhvwlrq1

Wkhruhp 4 Ohw J dqg J2 eh frppxwlqj/ hgjh0glvmrlqw vwurqjo| uhjxodu judskv rq y yhu0

wlfhv/ zlwk ydohqflhv n dqg n2 ? y  4  n/ dqg uhvwulfwhg hljhqydoxhv u A v dqg

u2 A v2/ uhvshfwlyho|1 Wkhq iJ> J2> J^ J2j lv dq dvvrfldwlrq vfkhph li dqg rqo| li

yuu2@ +n u,+n2 u2, ru yvv2 @ +n v,+n2 v2,1

Surri1 Ohw D> D2> D @ M  L  +D . D2, eh wkh dgmdfhqf| pdwulfhv ri J> J2> dqg

J @ J^ J2/ uhvshfwlyho|1 Vlqfh J lv uhjxodu iru l @ 4> 5> 6/ dqg D dqg D2 frppxwh/

lw iroorzv wkdw wkh ghfrpsrvlwlrq iJ> J2> Jj lv frppxwdwlyh1 Pruhryhu/ J kdv ydohqf|

n @ y  4  n n2 dqg uhvwulfwhg hljhqydoxhv  @ 4  & zlwk uhvwulfwhg pxowlsolflwlhv

p> l @ 4> ===> 7 +zkhuh wkh &duh wkh uhvwulfwhg hljhqydoxhv ri D.D2/ dv jlyhq lq Ohppd 5,1

Qrz ohw Yf@ k m l/ dqg ohw Y eh wkh uhvwulfwhg hljhqvsdfh fruuhvsrqglqj wr wkh hljhqydoxh &

ri D.D2/ iru l @ 4> ===> 7 +pruh suhflvho|/ Y lv wkh lqwhuvhfwlrq ri wkh uhvwulfwhg hljhqvsdfhv

ri v +ri D, dqg v2 +ri D2,/ hwf1,1 Wkh hljhqpdwul{ ri wkh frppxwdwlyh ghfrpsrvlwlrq +dv

ghqhg lq Vhfwlrq 515, lv wkxv jlyhq e| S @ 3 E E E E E C 4 n n2 n@ y  4  n n2 4 v v2 @ 4  v v2 4 v u2 2@ 4  v u2 4 u v2 @ 4  u v2 4 u u2 e@ 4  u u2 4 F F F F F D=

Frqvhtxhqwo|/ vlqfh p2 dqg p duh srvlwlyh +e| Ohppd 5,/ zh qg iurp Ohppd 4 wkdw dw

prvw rqh ri wkh pxowlsolflwlhv p dqg pe fdq eh }hur/ dqg li lqghhg rqh ri wkhp lv/ wkhq

iJ> J2> Jj lv d 60fodvv dvvrfldwlrq vfkhph1 Wkh uhvxow qrz iroorzv iurp wkh h{suhvvlrqv

iru p dqg pe lq Ohppd 51 

Wkh wkhruhp zh mxvw suryhg doorzv xv wr pdnh d uvw vwhs wrzdugv surylqj wkdw dq| vwurqjo| uhjxodu ghfrpsrvlwlrq ri d frpsohwh judsk frqvlvwlqj ri wkuhh judskv lv dq dprusklf dvvr0 fldwlrq vfkhph1

Fruroodu| 5 D frppxwdwlyh vwurqjo| uhjxodu ghfrpsrvlwlrq iJ> J2> Jj ri d frpsohwh

judsk lv dq dprusklf dvvrfldwlrq vfkhph1

Surri1 Iurp wkh surri ri Wkhruhp 4 lw iroorzv wkdw J @ J^ J2 kdv wzr uhvwulfwhg

hljhqydoxhv rqo| li p @ 3 ru pe @ 31 Khqfh wkh ghfrpsrvlwlrq lv dq dvvrfldwlrq vfkhph1

Pruhryhu/ iurp wkh ghqlwlrq ri dprusklf vfkhphv lw iroorzv hdvlo| wkdw dq| 60fodvv dvvrfl0 dwlrq vfkhph lq zklfk doo judskv duh vwurqjo| uhjxodu lv dprusklf1 

Lq wkh qh{w vhfwlrq zh vkdoo jhqhudol}h wklv fruroodu|/ dqg suryh wkdw dq| vwurqjo| uhjxodu ghfrpsrvlwlrq zlwk wkuhh judskv lv dq dprusklf dvvrfldwlrq vfkhph1

Wkh iroorzlqj h{dpsohv ri frppxwlqj vwurqjo| uhjxodu judskv J dqg J2 vkrz wkdw

wkhuh duh lqghhg fdvhv zkhuh wkh ghfrpsrvlwlrq iJ> J2> J @ J^ J2j lv qrw dq dvvrfld0

wlrq vfkhph1 Pruhryhu/ wkh| vkrz wkdw wkh qxpehu ri glvwlqfw hljhqydoxhv ri J lv qrw d

fulwhulrq iru iruplqj d vfkhph1

Zh mxvw vdz wkdw wkh fdvh zkhuh J lv vwurqjo| uhjxodu jlyhv dq dprusklf vfkhph1

Krzhyhu/ lq wkh iroorzlqj lqqlwh idplo| ri h{dpsohv Jkdv wkuhh glvwlqfw hljhqydoxhv dovr/

dqg wkh judskv gr qrw irup d vfkhph +J zloo eh glvfrqqhfwhg,1 Ohw D dqg D2 eh wkh

iroorzlqj dgmdfhqf| pdwulfhv ri wkh Fohevfk judsk dqg wkh odwwlfh judsk O2+7,/ uhvshfwlyho|=

D @ 3 E E E C R M  L L L M  L R L L L L R M  L L L M  L R 4 F F F Ddqg D2 @ 3 E E E C M  L L N N L M  L N N N N M  L L N N L M  L 4 F F F D>

zkhuh doo vxepdwulfhv duh 77/ dqg N lv d v|pphwulf shupxwdwlrq pdwul{ zlwk }hur gldjr0 qdo1 Wkhvh pdwulfhv frppxwh/ dqg wkh fruuhvsrqglqj judskv kdyh qr hgjhv lq frpprq1 E| wdnlqj K @ M  5+D. L, dqg K2@ M  5D2 zh kdyh wzr frppxwlqj uhjxodu v|pphwulf

Kdgdpdug pdwulfhv zlwk frqvwdqw gldjrqdo +fi1 ^7`,/ zklfk kdyh qr hqwu| 4 lq frpprq1 Qrz ghqh K  @ K | K dqg K2 @ K | K2/ iru w @ 3> 4> ===/ zkhuh K @ 3 E E E C 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 F F F D>

dqg ghqrwhv wkh Nurqhfnhu surgxfw +dqg vxshuvfulsw w wkh w0wk Nurqhfnhu srzhu,/ wkhq K

 dqg K2 duh dovr frppxwlqj uhjxodu v|pphwulf Kdgdpdug pdwulfhv zlwk frqvwdqw

gldjrqdo/ zklfk kdyh qr hqwu| 4 lq frpprq +zh ohdyh wkh whfkqlfdo ghwdlov wr wkh uhdghu,1 Qrz ghqh D

 @ 2+M  K,  L dqg D2 @ 2+M  K2,/ vr wkdw wzr yhuwlfhv duh dgmdfhqw

li wkhuh lv d 4 lq wkh fruuhvsrqglqj hqwu| ri wkh Kdgdpdug pdwul{1 Qrz dovr D  dqg

D

2 frppxwh/ dqg wkh judskv ghqhg e| wkhp duh hgjh0glvmrlqw/ dqg erwk duh vwurqjo|

uhjxodu rq y @ 7|n2 _{yhuwlfhv +fi1 ^7`,1 Pruhryhu/ D}

 kdv hljhqydoxhv n @ 52|n 5|n 4/

u @ 5|n 4 dqg v @ 5|n 4/ zkloh D2 kdv hljhqydoxhv n2 @ 52|n 5|n/ u2 @ 5|n

dqg v2@ 5|n1 Iurp wklv/ lw iroorzv wkdw wkh fruuhvsrqglqj hljhqpdwul{ lv wkh iroorzlqj1

S @ 3 E E E E E C 4 52|n_{ 5}|n_{ 4 5}2|n_{ 5}|n _n  @ 5|n2 4 5|n_{ 4 5}|n _{ @ 5}|n2 4 5|n_{ 4 5}|n _{2 @ 3} 4 5|n_{ 4 5}|n _  @ 3 4 5|n_{ 4 5}|n _{e @ 5}|n2 4 F F F F F D zlwk pxowlsolflwlhv pf @ 4> p @ 5|n 4> p2 @ 5|n2+5|n 4,> p @ 52|n> pe @ 5|n/

khqfh wkh judskv gr qrw irup d vfkhph1 Khuh J kdv 6 glvwlqfw hljhqydoxhv/ lq idfw lw lv wkh

glvmrlqw xqlrq ri +vwurqjo| uhjxodu, frpsohwh elsduwlwh judskv1 Qrwh wkdw lq wklv h{dpsoh J lv ri qhjdwlyh Odwlq vtxduh w|sh/ zkloh J2 lv ri Odwlq vtxduh w|sh1

Qh{w/ zh vkdoo frqvwuxfw lqqlwh idplolhv ri h{dpsohv ri frppxwlqj vwurqjo| uhjxodu judskv/ zkhuh J kdv 7 ru 8hljhqydoxhv1 Lq wkh odwwhu fdvh lw lv fohdu wkdw wkh judskv fdqqrw irup

dq dvvrfldwlrq vfkhph1 Lq wkh uvw fdvh zh kdyh h{dpsohv iruplqj vfkhphv/ dqg h{dpsohv qrw iruplqj vfkhphv1

Frqvlghu d jhqhudol}hg txdgudqjoh JT+t 4> t .4,/ zlwk t @ 5e_{/ dv frqvwuxfwhg e| Kdoo}

^;`/ wkdw lv/ zlwk srlqwv wkrvh ri wkh dqh vsdfh DJ+6> t, dqg olqhv wkrvh ri t . 5 sdudooho fodvvhv +vsuhdgv, ri olqhv lq DJ+6> t, fruuhvsrqglqj wr d k|shurydo R lq S J+5> t, +wkh olqhdu uhsuhvhqwdwlrq WW

2+R,/ fi1 ^47`,1 Wdnh wkh olqh judsk ri wklv jhqhudol}hg txdgudqjoh

+yhuwlfhv duh olqhv/ ehlqj dgmdfhqw li wkh| lqwhuvhfw,/ zklfk kdv y @ +t.5,t2_{yhuwlfhv/ ydohqf|}

n@ t+t .4,/ dqg uhvwulfwhg hljhqydoxhv u @ t dqg v @ t1 Iurp wkh ghqlwlrq/ lw lv fohdu

wkdw lw kdv d sduwlwlrq ri wkh yhuwlfhv lqwr t .5 frfoltxhv ri vl}h t2_{1 Wklv sduwlwlrq lv uhjxodu}

+htxlwdeoh,/ phdqlqj wkdw wkh lqgxfhg vxejudsk rq wkh xqlrq ri wzr frfoltxhv lv uhjxodu1 Wklv lpsolhv wkdw zkhq zh wdnh dv vhfrqg judsk J2 wkh fruuhvsrqglqj glvmrlqw xqlrq ri

t2_{0foltxhv/ wkhq J dqg J2 frppxwh1 Vlqfh J2 kdv ydohqf| n2 @ t}2 _{ 4 dqg uhvwulfwhg}

hljhqydoxhv u2 @ t2 4> v2 @ 4/ lw iroorzv wkdw wkh fruuhvsrqglqj hljhqpdwul{ lv

S @ 3 E E E C 4 t+t . 4, t2_{ 4 n @ t t} 4 t 4  @ t 4 t t2_{ 4 2 @ t  t}2 4 t 4  @ t 4 F F F D zlwk pxowlsolflwlhv p @ p @ ₂+t . 5,+t2 4, dqg p2 @ t . 41 Vlqfh pe @ 3 wkh wkuhh

judskv irup dq dvvrfldwlrq vfkhph/ zlwk J kdylqj 7 glvwlqfw hljhqydoxhv +xqohvv t @ 5/ lq

zklfk fdvh lw kdv 6 glvwlqfw hljhqydoxhv,1

Vpdoo dgmxvwphqwv ri wkh suhylrxv frqvwuxfwlrq zloo jlyh xv wkh rwkhu wzr fdvhv1 Iluvw/ zh vkdoo uhqh wkh sduwlwlrq lqwr t . 5 frfoltxhv %sodqh0zlvh%/ wkdw lv/ wdnh d uvw sdudooho fodvv +d frfoltxh,/ dqg sduwlwlrq lw lqwr t sdudooho %sodqhv%1 Vlqfh wkh vhw ri doo olqhv irupv d jhqhudol}hg txdgudqjoh/ wkhuh lv d xqltxh rwkhu sdudooho fodvv wkdw fdq eh sduwlwlrqhg lqwr wkh %vdph sodqhv%/ dqg zh gr vr +djdlq/ zh vnls wkh whfkqlfdo ghwdlov,1 Uhshdwlqj wklv

surfhgxuh zlwk wkh uhpdlqlqj t sdudooho fodvvhv zh qg d sduwlwlrq ri wkh yhuwh{ vhw lqwr +t . 5,t frfoltxhv ri vl}h t/ zklfk lv djdlq uhjxodu1 Wkh sduwlwlrq jlyhv xv dv vhfrqg judsk J

2 d glvmrlqw xqlrq ri t0foltxhv/ zklfk frppxwhv zlwk J @ J/ wkh olqh judsk ri wkh

jhqhudol}hg txdgudqjoh1 Vlqfh J

2 qrz kdv ydohqf| n2 @ t  4 dqg uhvwulfwhg hljhqydoxhv

u 2@ t  4 dqg v2 @ 4/ zh kdyh hljhqpdwul{ S @ 3 E E E E E C 4 t+t . 4, t  4 n  @ t. t2 5t 4 t 4   @ t 4 t t  4  2 @ 3 4 t 4   @ t 4 t t  4  e @ 5t 4 F F F F F D zlwk pxowlsolflwlhv p  @ p@ 2+t . 5,t+t  4,/ p2 @ 2+t2. 6t,/ dqg pe @ 2+t2. t  5,1

Wkxv wkh wkuhh judskv gr qrw irup dq dvvrfldwlrq vfkhph> lq wklv fdvh J

 kdv 8glvwlqfw

hljhqydoxhv1

Wkh frqvwuxfwhg sduwlwlrq lqwr frfoltxhv e| %sodqhv% dovr doorzv xv wr sduwlwlrq wkh olqhv uhjxoduo| lqwr 

2+t . 5,t frfoltxhv ri vl}h 5t +vlpso| uhxqlwh sdluv ri sdudooho %sodqhv%

frqvlvwhqwo|,1 Wklv jlyhv d judsk J

2 zklfk dovr frppxwhv zlwk J @ J/ dqg zklfk kdv

ydohqf| n

2 @ 5t  4 dqg uhvwulfwhg hljhqydoxhv u2 @ 5t  4 dqg v2 @ 41 Wkxv zh rewdlq

wkh hljhqpdwul{ S @ 3 E E E E E C 4 t+t . 4, 5t  4 n  @ t. t2 6t 4 t 4   @ t 4 t 5t  4  2 @ t 4 t 4   @ t 4 t 5t  4  e @ 6t 4 F F F F F D zlwk pxowlsolflwlhv p  @ p @ e+t . 5,t+5t  4,/ p2 @ et2. t/ dqg pe @ et2 4/ dqg

khqfh dovr khuh wkh wkuhh judskv gr qrw irup dq dvvrfldwlrq vfkhph/ xqohvv t @ 5 +lq zklfk fdvh pe @ 3,> lq wkhvh h{dpsohv J kdv 7 glvwlqfw hljhqydoxhv1

e #iUL4TLt|L?t ?|L |hii t|hL?}*) hi}*@h }h@Tt

Lq wklv vhfwlrq zh vkdoo frqvlghu ghfrpsrvlwlrqv ri wkh frpsohwh judsk lqwr wkuhh vwurqjo| uhjxodu judskv1 Zh vkdoo suryh wkdw vxfk ghfrpsrvlwlrqv pxvw eh +dprusklf, dvvrfldwlrq vfkhphv1 Wklv jhqhudol}hv wkh uhvxow ri Urzolqvrq ^46` dqg lqghshqghqwo| Plfkdho ^45` wkdw dq| ghfrpsrvlwlrq ri d frpsohwh judsk lqwr wkuhh lvrprusklf vwurqjo| uhjxodu judskv irupv dq dprusklf dvvrfldwlrq vfkhph1 Wkh surri jlyhq khuh lv edvhg rq whfkqltxhv iurp olqhdu dojheud1 Dq lqghshqghqw surri edvhg rq qrqfrppxwdwlyh dojheud dqg uhsuhvhqwdwlrq wkhru| lv jlyhq lq ^9`1

Wkhruhp 5 Ohw iJ> J2> Jj eh d vwurqjo| uhjxodu ghfrpsrvlwlrq ri d frpsohwh judsk1

Wkhq iJ> J2> Jj lv dq dprusklf dvvrfldwlrq vfkhph1

Surri1 Ohw J kdyh sdudphwhuv +y> n> > ,/ uhvwulfwhg hljhqydoxhv u dqg v/ dqg dgmdfhqf|

pdwul{ D/ iru l @ 4> 5> 61 Ghqrwh e| H+u,/ H+v, wkh uhvwulfwhg hljhqvsdfhv ri u/ v/

uhvshfwlyho|/ wkdw lv wkh vsdfhv ri fruuhvsrqglqj hljhqyhfwruv ruwkrjrqdo wr wkh doo0rqhv yhfwru1 Ohw i @ glp H+u, dqg j @ glp H+v, ghqrwh wkh uhvwulfwhg pxowlsolflwlhv ri

wkh hljhqydoxhv/ wkhq i @ &nE3r_o3r  dqg j @ &nE3o_o3r / iru l @ 4> 5> 61 Zlwkrxw orvv ri

jhqhudolw| zh uhduudqjh wkh hljhqydoxhv vxfk wkdw i  ₂+y4, +khqfh zh gr qrw qhfhvvdulo|

kdyh wkdw uA v,1

Rxu jrdo lv wr vkrz wkdw wkh judskv kdyh d frpprq edvlv ri hljhqyhfwruv/ khqfh wkdw wkh ghfrpsrvlwlrq lv frppxwdwlyh/ vlqfh wkhq zh kdyh dq dvvrfldwlrq vfkhph e| Fruroodu| 51

Wkh doo0rqhv yhfwru m lv d frpprq hljhqyhfwru ri wkh judskv zlwk hljhqydoxhv n/ n2/ dqg

n/ uhvshfwlyho|1 Wkhuhiruh/ iurp qrz rq zh rqo| kdyh wr frqvlghu uhvwulfwhg hljhqyhfwruv/

l1h1 hljhqyhfwruv lq wkh +y  4,0glphqvlrqdo vxevsdfh mz _{ri LU}₁

Iluvw zh vxssrvh wkdw u dqg u/ l 9@ m gr qrw kdyh d frpprq hljhqyhfwru1 Wkhq

qhfhvvdulo| i . i @ glp H+u, . glp H+u, @ glp+H+u, . H+u,,  y  4/ khqfh i @

i @ ₂+y  4,1 Exw wkhq n @ n @ ₂+y  4, +li i @ ₂+y  4, wkhq lw iroorzv wkdw

n @ ₂+y  4,+u. v, @ ₂+y  4,+  ,/ khqfh n lv d pxowlsoh ri/ dqg khqfh htxdo

wr/ 

2+y  4,,1 Wkxv wkh uhpdlqlqj judsk lv hpsw|/ zklfk jlyhv d frqwudglfwlrq1 Vr lq wkh

uhpdlqghu ri wkh surri zh pd| dvvxph wkdw u dqg u gr kdyh d frpprq hljhqyhfwru1

Qrz/ vxssrvh wkdw vrph u dqg v +l 9@ m, kdyh d frpprq hljhqyhfwru1 Wkhq 4uv

lv dq hljhqydoxh ri D +zlwk wkh vdph hljhqyhfwru,/ zkhuh k 9@ l> m1 Iluvw vxssrvh wkdw wklv

hljhqydoxh lv u/ l1h1 4uv @ u1 Vlqfh zh nqrz wkdw u dqg udovr kdyh dq hljhqyhfwru

lq frpprq/ lw iroorzv wkdw 4  u  u lv dovr dq hljhqydoxh ri D/ dqg wklv hljhqydoxh

pxvw wkhq htxdo v1 Dovr u dqg u kdyh dq hljhqyhfwru lq frpprq/ dqg lw qrz iroorzv

wkdw 4  u u@ v1 Iurp wkhvh htxdwlrqv zh qg wkdw u v@ u v @ u v/ dqg

wkhq

i @ &nE3r_o3r  @ 33&3&nE3E33o_o3r 3o @ &nE3o_o3r  .&nE3o_o3r 

@ j. j>

dqg vr j @ i. i +y  4,1 Vlqfh v@ 4  u u/ zh kdyh wkdw H+u, _ H+u,  H+v,1

Krzhyhu/ wkh suhylrxv frpsxwdwlrq vkrzv wkdw glp H+v, @ i.i+y 4,  glp H+u,.

glp H+u,  glp+H+u, . H+u,, @ glp+H+u, _ H+u,,/ khqfh H+v, @ H+u, _ H+u,1

Vlploduo| zh qg wkdw H+v, @ H+u, _ H+u, dqg H+v, @ H+u, _ H+u,1 Qrz +xvh

wkdw i @ j . j, lw lv fohdu wkdw hdfk hljhqyhfwru ri D lv dovr dq hljhqyhfwru ri D/ dqg

frqvhtxhqwo| dovr ri D1 Khqfh D/ D2/ dqg Dfrppxwh/ vr zh kdyh dq dvvrfldwlrq vfkhph1

Vhfrqgo|/ vxssrvh wkdw 4uv @ v1 Wkhq 4uu @ u/ dqg vr uv @ vu1

Qrz

j @ &nE3o_o3r  @ 33&3&nE3E33o_o3r 3o @ &nE3o_o3r  .&nE3o_o3r 

@ o3r

o3rj. j=

Ehfdxvh ri wkh v|pphwu| ri m dqg k/ zh pd| dvvxph zlwkrxw orvv ri jhqhudolw| wkdw jA j

+htxdolw| fdqqrw rffxu e| wkh suhylrxv frpsxwdwlrq,1 Li u dqg v gr qrw kdyh d frpprq

hljhqyhfwru/ wkhq i.j y41 Krzhyhu/ i.jA i.j @ y4/ zklfk lv d frqwudglfwlrq1

Vr u dqg v gr kdyh d frpprq hljhqyhfwru/ dqg wkhq 4  u v @ v/ zklfk wrjhwkhu

zlwk wkh rwkhu htxdwlrqv jlyhv wkdw uv@ uv/ dqg j@ j.j1 Qrz zh qg vlploduo|

dv ehiruh wkdw H+u, @ H+u, _ H+u,/ H+v, @ H+u, _ H+v, dqg H+v, @ H+u, _ H+v,/

Lq wkh uhpdlqlqj fdvh/ zklfk zloo qhhg d glhuhqw dssurdfk/ u dqg u gr kdyh frpprq

hljhqyhfwruv/ dqg u dqg v gr qrw kdyh frpprq hljhqyhfwruv/ iru doo l> m1 Frqvhtxhqwo|

i.j  y4/ dqg dovr i.j  y41 Exw i.j.i.j @ 5+y4,/ khqfh zh kdyh htxdolw|/

dqg vr i @ i1 Wkxv i @ i2@ i dqg j @ j2 @ j1 Lw lv dovr fohdu iurp wkh dvvxpswlrqv

wkdw u.u2.u @ 4/ dqg vlqfh +uv,j @ n.+y 4,u@ y 4n2n.+y 4,+4

u2u, @ n2+y4,u2n+y4,u@ +u2v2,j2+uv,j@ +u2v2.uv,j/

vr wkdw u  v. u2  v2 . u  v @ 3/ dovr v . v2. v @ 41 Pruhryhu/ zh vhh wkdw

u v. u2 v2 9@ 3/ d surshuw| zklfk zh vkdoo xvh odwhu rq1 Qrz/ qdoo|/ zh qhhg vrph

frpelqdwrulfv1 Ohw 

 eh wkh dyhudjh qxpehu ri yhuwlfhv wkdw duh dgmdfhqw lq J wr yhuwh{ {/ dqg lq

J wr yhuwh{ |/ ryhu doo sdluv +{> |, wkdw duh dgmdfhqw lq J/ iru l> m> k 5 i4> 5> 6j1 Wkh

sdudphwhuv 

 qdwxudoo| uhvhpeoh wkh lqwhuvhfwlrq qxpehuv s ri dq dvvrfldwlrq vfkhph1

Reylrxvo| zh kdyh wkh htxdwlrqv  @ / . 2 .  @ n /  @  li k 9@ l/ dqg  @ 1 E| frxqwlqj rughuhg %+l> m> k,0wuldqjohv%/ zh qg wkdw n@ n1 Xvlqj wkhvh htxdwlrqv zh ghulyh wkdw  2@ &&22 & & @ 2 &2 &2 @ 2 21 Iurp wkh htxdwlrqv  2. @ n/ 2.2@ n22/  .2 @ n4 zh ghulyh wkdw 5 2@ n.n22+n4,/ 5 @ n+n22,.n4/ dqg 52 @ +n,.n22.n41 Vlploduo|/ zh qg wkdw 52 @ +n4,.n22.n/ dqg 52  @ n    +n2  4  2, . n  1 Diwhu soxjjlqj wkhvh lqwr wkh htxd0 wlrq 

2 @ 2 2 / uhsodflqj wkh sdudphwhuv e| wkh hljhqydoxhv +n   @ uv dqg

@ u.v,/ dqg xvlqj wkdw u @ 4uu2 dqg v @ 4vv2/ zh qg dq htxdwlrq

zklfk lv htxlydohqw wr wkh htxdwlrq +uv2vu2,+uv.u2v2, @ 3 +wklv dujxphqw lv vlplodu

wr wkdw ri ^:/ Ohppd 718`,1 Zh phqwlrqhg ehiruh wkdw wkh vhfrqg idfwru lq qrq}hur/ khqfh zh kdyh wkdw uv2 @ vu21 Exw wkhq dovr nu2 @ iuu2jvu2 @ i2uu2j2uv2@ n2u/

dqg vr u dqg u2 kdyh wkh vdph vljq1 Vlploduo| u dqg u kdyh wkh vdph vljq/ zklfk jlyhv

d frqwudglfwlrq wr wkh idfw wkdw u. u2. u @ 41 Wkxv wklv qdo fdvh fdqqrw rffxu/ dqg

vr lq doo srvvleoh fdvhv zh kdyh dq dvvrfldwlrq vfkhph1 

Lq Vhfwlrq 8zh vkdoo suryh wkdw dovr dq| ghfrpsrvlwlrq lqwr +srvvleo| pruh wkdq wkuhh, vwurqjo| uhjxodu judskv ri Odwlq vtxduh w|sh/ dqg dq| ghfrpsrvlwlrq lqwr vwurqjo| uhjxodu judskv ri qhjdwlyh Odwlq vtxduh w|sh irupv dq dprusklf dvvrfldwlrq vfkhph1

D #iUL4TLt|L?t LuE?i}@|i w@|? t^@hi |)Ti

Lw zdv vkrzq lq ^:` wkdw lq dq dprusklf dvvrfldwlrq vfkhph +zlwk dw ohdvw wkuhh judskv, doo judskv duh ri Odwlq vtxduh w|sh/ ru doo judskv duh ri qhjdwlyh Odwlq vtxduh w|sh1 Zh zloo vkrz wkdw wkhuh duh qr rwkhu vwurqjo| uhjxodu ghfrpsrvlwlrqv ri d frpsohwh judsk lq zklfk doo judskv duh ri Odwlq vtxduh w|sh/ ru lq zklfk doo judskv duh ri qhjdwlyh Odwlq vtxduh w|sh1 Wklv h{whqgv wkh uhvxow e| Lwr/ Pxqhpdvd/ dqg \dpdgd ^<` zkr vkrzhg wkdw dq| dvvrfldwlrq vfkhph lq zklfk doo judskv duh vwurqjo| uhjxodu ri Odwlq vtxduh w|sh/ ru lq zklfk doo judskv duh vwurqjo| uhjxodu ri qhjdwlyh Odwlq vtxduh w|sh/ lv dprusklf1

Wkhruhp 6 Ohw iJ> J2> ===> J_j eh d vwurqjo| uhjxodu ghfrpsrvlwlrq ri wkh frpsohwh judsk

rq y yhuwlfhv/ vxfk wkdw wkh vwurqjo| uhjxodu judskv J> l @ 4> 5> ===> g duh doo ri Odwlq vtxduh

w|sh ru doo ri qhjdwlyh Odwlq vtxduh w|sh1 Wkhq wkh ghfrpsrvlwlrq lv dq dprusklf dvvrfldwlrq

vfkhph1

Surri1 Ohw Deh wkh dgmdfhqf| pdwul{ ri J/ zklfk kdv ydohqf| ndqg uhvwulfwhg hljhqydoxhv

u A v/ iru l @ 4> 5> ===> g1 Zh vkdoo jlyh d surri iru wkh fdvh zkhuh doo judskv duh ri Odwlq

vtxduh w|sh1 Wkh fdvh ri qhjdwlyh Odwlq vtxduh w|sh lv vlplodu> rqo| wkh urohv ri u dqg v

kdyh wr eh lqwhufkdqjhg1

Iluvw zh qrwh wkdw wkh doo0rqhv yhfwru m lv d frpprq hljhqyhfwru ri wkh vwurqjo| uhjxodu judskv J zlwk uhvshfwlyh hljhqydoxhv n/ iru l @ 4> 5> ===> g1

Wkh Odwlq vtxduh w|sh judsk J kdv wkh surshuw| wkdw wkh uhvwulfwhg pxowlsolflw| ri

wkh srvlwlyh uhvwlfwhg hljhqydoxh u lv htxdo wr wkh ydohqf| n ri wkh judsk> wkh qhjdwlyh

uhvwulfwhg hljhqydoxh v kdv pxowlsolflw| o @ y  4  n1

Qrz zh { m1 Wkhq y  4  n @ S'n @ +w  4,+y  4, S'o/ vr S'o @

+g  5,+y  4, . n1 Iurp uhshdwhgo| xvlqj wkh revhuydwlrq wkdw glp+D _ E, @ glp+D, .

glp+E,  glp+D . E,  glp+D, . glp+E,  +y  4, zkhq D dqg E duh vxevsdfhv ri mz_/

lw wkxv iroorzv wkdw glp+_'H+v,,  n/ zkhuh H+v, ghqrwhv wkh uhvwulfwhg hljhqvsdfh

ri v dv hljhqydoxh ri D/ iru l @ 4> 5> ===> g1 Lq rwkhu zrugv/ wkh pdwulfhv D> l 9@ m kdyh

d frpprq hljhqvsdfh ri glphqvlrq dw ohdvw n zlwk uhvshfwlyh hljhqydoxhv v1 Rq wklv

frpprq hljhqvsdfh wkh pdwul{ D @ M  L S'D kdv hljhqydoxh 4 S'v/ zklfk

pxvw eh htxdo wr u +vlqfh v  4 iru doo l,/ dqg zklfk kdv uhvwulfwhg pxowlsolflw| n1

Khqfh wkh glphqvlrq ri wkh frpprq hljhqvsdfh lv h{dfwo| n1 Vlqfh wkh deryh krogv iru

doo m @ 4> 5> ===> g/ lw iroorzv wkdw LU _{fdq eh ghfrpsrvhg lqwr g . 4 frpprq hljhqvsdfhv/}

dqg wkdw wkh ghfrpsrvlwlrq iJ> J2> ===> J_j lv frppxwdwlyh1 Lw wkhq iroorzv iurp Ohppd

4 wkdw wkh ghfrpsrvlwlrq lv dq dvvrfldwlrq vfkhph1

Vlqfh/ e| Fruroodu| 4/ wkh xqlrq ri dq| wzr frppxwlqj hgjh0glvmrlqw Odwlq vtxduh w|sh +ru qhjdwlyh Odwlq vtxduh w|sh, judskv lv djdlq d Odwlq vtxduh w|sh +qhjdwlyh Odwlq vtxduh w|sh/ uhvshfwlyho|, judsk/ lw iroorzv iurp wkh deryh wkdw dq| ixvlrq ri wkh dvvrfldwlrq vfkhph lv djdlq dq dvvrfldwlrq vfkhph/ khqfh wkh ruljlqdo dvvrfldwlrq vfkhph lv dprusklf 1  Lw zrxog eh qdwxudo wr dvn li d pl{wxuh ri Odwlq vtxduh w|sh judskv dqg qhjdwlyh Odwlq vtxduh w|sh judskv lv srvvleoh lq d ghfrpsrvlwlrq ri d frpsohwh judsk/ dqg li vr/ li wkhvh +fdq, irup dq dvvrfldwlrq vfkhph1 Lq wkh qh{w vhfwlrq zh vkdoo vhh h{dpsohv ri +frppxwd0 wlyh, ghfrpsrvlwlrqv zklfk lqghhg frqwdlq vxfk d pl{wxuh1 Wkhvh ghfrpsrvlwlrqv duh qrw dvvrfldwlrq vfkhphv1

S #iUL4TLt|L?t ?|L uLh t|hL?}*) hi}*@h }h@Tt

D ghfrpsrvlwlrq ri d frpsohwh judsk lqwr wkuhh vwurqjo| uhjxodu judskv qhfhvvdulo| lv dq dvvrfldwlrq vfkhph1 Qh{w/ zh frqvlghu wkh fdvh ri ghfrpsrvlwlrqv ri d frpsohwh judsk lqwr irxu vwurqjo| uhjxodu judskv1

S Ahii _tUL??iU|i_ }h@Tt

Iluvw/ zh vkdoo fodvvli| wkh ghfrpsrvlwlrqv lq zklfk dw ohdvw wkuhh ri wkh irxu vwurqjo| uhjxodu judskv duh glvfrqqhfwhg1 Iluvw ri doo/ zh kdyh wkh Odwlq vtxduh vfkhphv Occ+q,/

iru q A 51 Vxfk dq dprusklf dvvrfldwlrq vfkhph lv frqvwuxfwhg iurp d Odwlq vtxduh ri vlgh q dv iroorzv1 Wkh yhuwlfhv duh wkh q2 _{fhoov ri wkh Odwlq vtxduh1 Lq wkh uvw judsk/ wzr}

fhoov duh dgmdfhqw li wkh| duh lq wkh vdph urz/ lq wkh vhfrqg judsk li wkh| duh lq wkh vdph froxpq/ dqg lq wkh wklug judsk li wkh| frqwdlq wkh vdph hqwu|1 Wkh irxuwk judsk lv wkh uhpdlqghu1

Vhfrqgo|/ wkhuh lv d idplo| ri h{dpsohv frqvlvwlqj ri wkh iroorzlqj= rqh judsk lv d frpsohwh pxowlsduwlwh judsk Nececce/ dqg wkh rwkhu wkuhh judskv duh pdwfklqjv1 Wkhvh

irxu judskv irup dq dvvrfldwlrq vfkhph/ wkh zuhdwk surgxfw ri d frpsohwh judsk dqg Occ+5,1 Zh qrwh wkdw wklv dvvrfldwlrq vfkhph lv qrw dprusklf1

Ilqdoo|/ wkhuh lv rqh h{dpsoh rq 9 yhuwlfhv/ lq zklfk doo irxu judskv duh glvfrqqhfwhg= wkuhh ri wkh irxu duh pdwfklqjv/ dqg wkh irxuwk lv wkh glvmrlqw xqlrq ri wzr wuldqjohv1 Lq wklv h{dpsoh wkh pdwfklqjv gr qrw frppxwh/ khqfh lw grhv qrw jlyh ulvh wr dq dvvrfldwlrq vfkhph1

Wkhruhp 7 Ohw iJ> J2> J> Jej eh d vwurqjo| uhjxodu ghfrpsrvlwlrq ri wkh frpsohwh judsk

rq y yhuwlfhv lqwr irxu vwurqjo| uhjxodu judskv/ ri zklfk dw ohdvw wkuhh duh glvfrqqhfwhg1 Wkhq wkh ghfrpsrvlwlrq lv wkh deryh h{dpsoh rq 9 yhuwlfhv/ ru wkh zuhdwk surgxfw +dvvr0 fldwlrq vfkhph, ri d frpsohwh judsk dqg Occ+5,/ ru d Odwlq vtxduh dvvrfldwlrq vfkhph

Occ+q,> q A 51

Surri1 Zlwkrxw orvv ri jhqhudolw| zh dvvxph wkdw J> J2/ dqg J duh glvfrqqhfwhg/ vd| J

lv wkh glvmrlqw xqlrq ri w frpsohwh judskv rq q yhuwlfhv/ iru l @ 4> 5> 6/ zkhuh q  q2 

q  51 Wkh xqlrq ri J> J2/ dqg J/ l1h1 wkh frpsohphqw ri Je/ lv dovr vwurqjo| uhjxodu/

vd| zlwk sdudphwhuv +y @ wq> n @ q. q2. q 6> > ,/ dqg uhvwulfwhg hljhqydoxhv u dqg

v1 E| frqvlghulqj wzr dgmdfhqw yhuwlfhv lq J lw iroorzv wkdw  htxdov q/ q 4/ ru q 5/

iru l @ 4> 5> 6/ khqfh lw iroorzv wkdw q q 5 dqg  htxdov q/ q 4/ ru q 51

Wkh fdvhv zlwk q @ 5 duh hdvlo| fkhfnhg= xvlqj wkh idfw wkdw n lv hyhq dqg wkh frqglwlrq

wkdw  @ &E&33b_33& lv dq lqwhjhu uhgxfhv wkh qxpehu ri fdvhv vxevwdqwldoo|1 Vxevhtxhqwo| lw iroorzv wkdw wkh rqo| srvvlelolwlhv duh wkh fdvhv q @ q2 @ q@ 5/  @ 3/ y @ 9 dqg q@ 6/

q2 @ q @ 5/  @ 5/ y @ 9/ zklfk erwk jlyh ulvh wr wkh vwdwhg h{dpsoh rq 9 yhuwlfhv> dqg

wkh fdvhv q @ q2 @ q @ 5/  @ 5/ y @ 7p> p A 4/ zklfk jlyh ulvh wr wkh zuhdwk surgxfw

ri d frpsohwh judsk dqg Occ+5,1

Qh{w/ zh dvvxph wkdw q  61 Wkh judsk J kdv hljhqydoxh 4 zlwk pxowlsolflw| y  w/

iru l @ 4> 5> 61 Ohw Y eh wkh fruuhvsrqglqj hljhqvsdfh ri J iru wklv hljhqydoxh 41 Vlqfh

glp+Y_Y2_Y,  glp+Y,.glp+Y2,.glp+Y,5 glp+ mz,  y.56w@ +q6,w.5 A 3/

lw iroorzv wkdw J> J2/ dqg J kdyh d frpprq hljhqyhfwru zlwk hljhqydoxh 4/ khqfh wkhlu

xqlrq kdv dq hljhqydoxh v @ 61 Iurp wkh htxdwlrqv    @ u . v dqg   n @ uv zh qrz ghulyh wkdw  @ b3&nb

2 / dqg khqfh wkdw n .  lv rgg1

Wkh fdvh q @ q2 @ q @ q +n @ 6q  6,/  @ q jlyhv  @ 91 Iurp wkh htxdwlrq

+y  4  n, @ n+n  4  , zh qrz qg wkdw y @ q2_{1 Lw lv fohdu qrz wkdw lq wklv fdvh}

J> J2/ dqg J frppxwh/ dqg wkdw wkh irxu judskv irup d Odwlq vtxduh dvvrfldwlrq vfkhph

Occ+q,> q A 51

Wkh fdvh q @ q2 @ q @ q +n @ 6q  6,/  @ q  5 jlyhv  @ 6/ dqg y @ 5q2 q1

Wklv fdvh ohdgv wr d frqwudglfwlrq dv iroorzv1 Khuh wkh frqfhswv dgmdfhqf| dqg qhljkerxu uhihu wr wkh xqlrq ri J> J2/ dqg J/ xqohvv rwkhuzlvh vshflhg1 Ohw {> |> } eh pxwxdoo|

dgmdfhqw lq J1 Ohw {2 eh dgmdfhqw wr { lq J21 Vlqfh | dqg {2 duh qrw dgmdfhqw +rwkhuzlvh

{ dqg | kdyh pruh wkdq q  5 frpprq qhljkerxuv,/ wkh| kdyh  @ 6 frpprq qhljkerxuv1 Rqh ri wkhvh lv {/ wkh rwkhu wzr duh/ vd|/ |2 dqg | zklfk duh dgmdfhqw wr | lq J2 dqg J/

uhvshfwlyho|1 Lw iroorzv wkdw | dqg {2 pxvw eh dgmdfhqw lq J/ dqg |2 dqg {2 pxvw eh

dgmdfhqw lq J1 Vlploduo| {2 dqg } kdyh wkuhh frpprq qhljkerxuv/ rqh ri wkhp ehlqj {/

dqg wkh rwkhu wzr ehlqj/ vd|/ }2 dqg }/ zklfk duh dgmdfhqw wr } lq J2 dqg J/ uhvshfwlyho|1

Dovr khuh lw iroorzv wkdw } dqg {2 duh dgmdfhqw lq J +dqg khqfh | dqg } duh dgmdfhqw lq

J,/ dqg }2 dqg {2 duh dgmdfhqw lq J1 Vlqfh | dqg } duh qrw dgmdfhqw +rwkhuzlvh | dqg

} kdyh wrr pdq| frpprq qhljkerxuv,/ wkh| vkrxog kdyh wkuhh frpprq qhljkerxuv1 Wklv jlyhv d frqwudglfwlrq/ vlqfh | dqg } fdq kdyh dw prvw wzr frpprq qhljkerxuv/ } dqg |=

dq| rwkhu frpprq qhljkerxu vkrxog eh dgmdfhqw wr erwk | dqg } lq J2/ dqg khqfh | dqg

} vkrxog wkhpvhoyhv eh dgmdfhqw lq J2/ d frqwudglfwlrq1

Wkh fdvh q@ q2 @ q> q @ q4 +n @ 6q7,/  @ q4 jlyhv  @ 8 dqg y @ S_Dq2q._D1

Rq wkh rwkhu kdqg/ vlqfh y @ wq @ w+q  4,/ lw iroorzv wkdw y lv d pxowlsoh ri q+q  4,1

Wklv jlyhv d frqwudglfwlrq/ dv lv hdvlo| yhulhg1 Wkh uhpdlqlqj wkuhh fdvhv jr vlploduo|1  Wkxv lq dq| rwkhu h{dpsoh ri d vwurqjo| uhjxodu ghfrpsrvlwlrq zlwk irxu judskv dw ohdvw wzr ri wkhvh pxvw eh frqqhfwhg1 Zh frqmhfwxuh wkdw h{fhsw iru dprusklf dvvrfldwlrq vfkhphv wkhuh duh qr vwurqjo| uhjxodu ghfrpsrvlwlrqv ri d frpsohwh judsk lqwr irxu judskv ri zklfk h{dfwo| wzr duh frqqhfwhg1

S2 L44|?} t|hL?}*) hi}*@h }h@Tt

Iru d frppxwdwlyh vwurqjo| uhjxodu ghfrpsrvlwlrq ri d frpsohwh judsk lqwr irxu judskv zh kdyh wkh iroorzlqj1

Wkhruhp 8 Ohw iJ> J2> J> Jej eh d frppxwdwlyh vwurqjo| uhjxodu ghfrpsrvlwlrq ri wkh

frpsohwh judsk rq y yhuwlfhv1 Ohw J kdyh ydohqf| n dqg uhvwulfwhg hljhqydoxhv u dqg v

+zkhuh zh gr qrw dvvxph wkdw u A v,/ iru l @ 4> ===> 71 Wkhq iJ> J2> J> Jej lv +l, dq

dprusklf dvvrfldwlrq vfkhph> ru +ll, dq dvvrfldwlrq vfkhph lq zklfk wkuhh ri wkh judskv/ vd| J2> J> Je/ kdyh wkh vdph sdudphwhuv dqg zklfk kdv hljhqpdwul{ jlyhq e|

S @ 3 E E E E E C 4 n n2 n2 n2 4 v u2 u2 u2 4 u v2 v2 u2 4 u v2 u2 v2 4 u u2 v2 v2 4 F F F F F D> +4, ru +lll, lw lv qrw dq dvvrfldwlrq vfkhph/ lq zklfk fdvh wkh hljhqpdwul{ lv jlyhq e| S @ 3 E E E E E E E E E E C 4 n n2 n ne 4 v v2 u ue 4 v u2 v ue 4 v u2 u ve 4 u v2 v ue 4 u v2 u ve 4 u u2 v ve 4 F F F F F F F F F F D > +5,

zkhuh srvvleo| rqh urz lv uhpryhg1

Surri1 Ohw J kdyh dgmdfhqf| pdwul{ D/ iru l @ 4> ===> 71 Iluvw zh dvvxph wkdw wkh uh0

vwulfwhg hljhqydoxhv vdwlvi| u A v iru l @ 4> ===> 71 Gxulqj wkh surri zh vkdoo vhh wkdw wklv

dvvxpswlrq lv qrw qhfhvvdu|/ l1h1 wkdw zh fdq lqwhufkdqjh wkh uroh ri wkh u dqg v +iru doo l

vlpxowdqhrxvo|,1

E| xvlqj rqo| wkh srvvleoh hljhqydoxhv iru D> D2/ dqg D zh rewdlq wkh iroorzlqj

hljhqpdwul{ iru wkh ghfrpsrvlwlrq= S @ 3 E E E E E E E E E E E E E E C 4 n n2 n y  4  n n2 n @ ne 4 v v2 v 4  v v2 v @  4 v v2 u 4  v v2 u @ 2 4 v u2 v 4  v u2 v @  4 v u2 u 4  v u2 u @ e 4 u v2 v 4  u v2 v @ D 4 u v2 u 4  u v2 u @ S 4 u u2 v 4  u u2 v @ . 4 u u2 u 4  u u2 u @ H 4 F F F F F F F F F F F F F F D =

Vlqfh Je lv vwurqjo| uhjxodu/ pdq| ri wkh hljhqydoxhv  vkrxog frlqflgh/ dqg2ru vrph ri

wkh pxowlsolflwlhv p @ glp Y +m @ 3> 4> ===> ;, vkrxog eh }hur +lq zklfk fdvh vrph ri wkh

urzv lq S duh ghohwhg,/ zkhuh Y lv wkh hljhqvsdfh fruuhvsrqglqj wr wkh hljhqydoxh  ri Je

+pruh suhflvho|/ Y lv wkh lqwhuvhfwlrq ri wkh uhvwulfwhg hljhqvsdfhv ri v +ri D,/ v2+ri D2,/

dqg v +ri D,/ hwf1,1 Rq wkh rwkhu kdqg/ e| Ohppd 4 dw ohdvw yh ri wkh pxowlsolflwlhv p

pxvw eh srvlwlyh +rqh ri wkhp ehlqj pf@ 4,> dqg li h{dfwo| yh pxowlsolflwlhv duh srvlwlyh/

wkhq wkh irxu judskv irup d 70fodvv dvvrfldwlrq vfkhph1

Qrz zh dvvxph zlwkrxw orvv ri jhqhudolw| wkdw uv  u2v2  uv  ueveA 31

Dvvxph uvw wkdw u  v @ u2 v2 @ u v  ue ve A 31 Wkhq  A 2 @  @ D A

e @ S @ . A H1 Vlqfh zh pxvw kdyh wzr glvwlqfw ydoxhv +ue dqg ve, dprqj wkh  zlwk

srvlwlyh pxowlsolflw| p +ri zklfk wkhuh duh dw ohdvw irxu,/ wkhuh duh d ihz srvvlelolwlhv1

 Wkh srvlwlyh pxowlsolflwlhv duh p> p2> p> pD1 Diwhu uhprylqj wkh urzv ri S fruuh0

vsrqglqj wr wkh }hur hljhqvsdfhv +Ye> YS> Y.> YH,/ wklv jlyhv hljhqpdwul{

S @ 3 E E E E E C 4 n n2 n ne 4 v v2 v @ ue 4 v v2 u 2@ ve 4 v u2 v @ ve 4 u v2 v D@ ve 4 F F F F F D=

Iurp wkh hljhqpdwul{ ri wklv dvvrfldwlrq vfkhph lw iroorzv wkdw ixvlqj dq| wzr ri wkh vwurqjo| uhjxodu judskv jlyhv dqrwkhu vwurqjo| uhjxodu judsk1 Iurp wklv lw hdvlo| iroorzv wkdw wkh dvvrfldwlrq vfkhph lv dprusklf +fdvh +l,,1 Vlploduo| wkh fdvh zkhuh wkh srvlwlyh pxowlsolflwlhv duh pe> pS> p.> pHohdgv wr dq dprusklf dvvrfldwlrq vfkhph

+zlwk wkh urohv ri wkh u dqg v lqwhufkdqjhg,1

 Wkh srvlwlyh pxowlsolflwlhv duh p> pe> pS> p.1 Exw qrz ue  ve @  e @ u2

v2. u v A ue ve/ zklfk lv d frqwudglfwlrq1 Vlploduo| wkh fdvh zkhuh wkh srvlwlyh

pxowlsolflwlhv duh p2> p> pD> pH ohdgv wr d frqwudglfwlrq1

 Wkh srvlwlyh pxowlsolflwlhv duh dprqj p2> p> pD> pe> pS> p.1 Diwhu uhprylqj wkh

urzv ri S fruuhvsrqglqj wr wkh }hur hljhqvsdfhv Y dqg YH/ zh rewdlq hljhqpdwul{

S @ 3 E E E E E E E E E E C 4 n n2 n ne 4 v v2 u 2@ ue 4 v u2 v @ ue 4 v u2 u e@ ve 4 u v2 v D@ ue 4 u v2 u S@ ve 4 u u2 v .@ ve 4 F F F F F F F F F F D >

zklfk lv ri wkh irup +5, +fdvh +lll,,1 Iurp wklv zh ghulyh wkdw ue  ve @ u v @

u2 v2 @ u v1 Qrz wkh pxowlsolflwlhv p2> ===> p. fdq eh h{suhvvhg hdvlo| lq whupv

ri wkh rwkhu sdudphwhuv1 Iru h{dpsoh/ p. lv wkh glphqvlrq ri wkh lqwhuvhfwlrq ri

wkh uhvwulfwhg hljhqvsdfhv ri u dqg u2/ khqfh p. @ rr_Eo23E&_3r_3r_Eo₂E&_3r2₂3r 2/ dffruglqj wr

Ohppd 51

Qrz vxssrvh wkdw lq wklv fdvh zh kdyh dq dvvrfldwlrq vfkhph1 Wkhq wzr ri wkh pxowlsolflwlhv p2> ===> p. pxvw eh }hur1 Zlwkrxw orvv ri jhqhudolw| zh pd| wdnh rqh ri

wkhvh wr eh p.1 Vlqfh/ djdlq e| Ohppd 5/ dq| hljhqydoxh u kdv d frpprq hljhqyhfwru

zlwk v> m 9@ l/ lw iroorzv wkdw wkh rwkhu }hur pxowlsolflw| pxvw eh p21 Exw lq wklv fdvh

wkh hljhqpdwul{ ri wkh dvvrfldwlrq vfkhph zrxog eh vlqjxodu/ zklfk lv d frqwudglfwlrq1 Khqfh/ lq wklv fdvh dw prvw rqh ri wkh pxowlsolflwlhv p2> ===> p. fdq eh }hur/ dqg zh gr

qrw kdyh dq dvvrfldwlrq vfkhph1 Zh uhpdun wkdw wklv fdvh lv v|pphwulf zlwk uhvshfw wr wkh urohv ri wkh u dqg v1

Qh{w/ dvvxph wkdw u  v @ u2  v2 A u  v  ue  ve A 31 Wkhq  A 2 A  @

D A e @ S A . A H1 Vlqfh dw ohdvw irxu pxowlsolflwlhv pxvw eh srvlwlyh/ wkhvh pxvw eh

p> pD> pe> pS1 Khqfh wklv fdvh zrxog jlyh dq dvvrfldwlrq vfkhph1 Krzhyhu/ wkh fruuh0

vsrqglqj hljhqpdwul{ lv vlqjxodu/ zklfk lv d frqwudglfwlrq1

Ilqdoo|/ zh dvvxph wkdw u  v A u2 v2  u v  ue ve A 31 Wkhq  A 2   A

D> e A S  . A H1 Dovr khuh dw ohdvw 7 pxowlsolflwlhv pxvw eh srvlwlyh/ zklfk jlyhv wkh

iroorzlqj srvvlelolwlhv1

 Wkh srvlwlyh pxowlsolflwlhv duh p2> p> pS> p./ dqg 2 @  dqg S @ .1 Exw wkhq

ue ve @ 2 S@ u vA ue ve/ zklfk lv d frqwudglfwlrq1

 Wkh srvlwlyh pxowlsolflwlhv duh pe> pD> pS> p./ dqg e@ D dqg S@ .1 Iurp wklv lw

iroorzv wkdw u v @ u2 v2. u v dqg u2 v2 @ u v @ ue ve1

Vlqfh v dqg v kdyh qr frpprq hljhqyhfwru/ iru m @ 5> 6> 7/ zh qg wkdw yuu @

+n u,+n u,/ iru m @ 5> 6> 7 +vhh Ohppd 5,1 Iurp wklv zh fdq ghulyh wkdw

pe @ yuv_+u +n u,+n v,  v,+u  v, @ yvv +n v,+n v, +u v,+u v, iru m> k @ 5> 6> 7> m 9@ k= Iurp wklv lw iroorzv wkdw yu+vv, @ +nu,+nv+nv,, dqg yv+vv, @ +nv,+nv+nv,,

iru il> m> kj @ i5> 6> 7j1 Vlqfh wkh vljqv ri wkh uljkw kdqg vlghv ri wkhvh wzr htxdwlrqv duh wkh vdph/ zkloh wkh vljqv ri wkh ohiw kdqg vlghv duh rssrvlwh/ lw iroorzv wkdw lq rqh ri wkh htxdwlrqv erwk vlghv pxvw eh }hur1 Li n v 9@ n  v/ wkhq n u @ 3/ dqg

wkhq v @ v/ exw wkhq n @ v/ d frqwudglfwlrq1 Wkxv n v @ n v/ dqg wkhq dovr

v @ v/ dqg n @ n1 Khqfh n2 @ n @ n/ v2 @ v @ ve/ dqg dovr u2 @ u @ ue1 Qrz

wkh hljhqpdwul{ lv ri wkh irup +4, +fdvh +ll,,1

 Wkh odvw fdvh/ wkh rqh zlwk srvlwlyh pxowlsolflwlhv p2> p> pe> pD lv vlplodu wr wkh

suhylrxv rqh/ dqg ohdgv wr wkh hljhqpdwul{ +4, +fdvh +ll,,/ zkhuh wkh u dqg v duh

lqwhufkdqjhg1 

H{dpsohv ri frppxwdwlyh vwurqjo| uhjxodu ghfrpsrvlwlrqv zlwk irxu judskv zklfk duh qrw dvvrfldwlrq vfkhphv fdq eh frqvwuxfwhg dv iroorzv1 Ohw JI +626_{, eh wkh yhuwh{ vhw/}

zkhuh p lv hyhq/ dqg ohw  eh d sulplwlyh hohphqw lq wklv hog1 Frqvlghu wkh f|forwrplf dprusklf 70fodvv dvvrfldwlrq vfkhph rq JI +626_{,1 Wzr glvwlqfw yhuwlfhv duh dgmdfhqw lq J}

li wkhlu glhuhqfh lv ri wkh irup en _{iru vrph l +m @ 4> ===> 7,1 Wkh judskv J> ===> Je duh}

+lvrprusklf, vwurqjo| uhjxodu judskv ri qhjdwlyh Odwlq vtxduh w|sh zlwk ydohqf| 26_3

e / dqg

uhvwulfwhg hljhqydoxhv 6_3

e dqg 

6_3

e  661 Wkh xqlrq ri J2 dqg Je lv wkh Sdoh| judsk rq

626 _{yhuwlfhv= wzr yhuwlfhv duh dgmdfhqw li wkhlu glhuhqfh lv d vtxduh1}

Qh{w/ ohw g @ 66_{. 4/ dqg frqvlghu wkh f|forwrplf dprusklf g0fodvv dvvrfldwlrq vfkhph}

rq JI +626_{,1 Wzr glvwlqfw yhuwlfhv duh dgmdfhqw lq K}

 li wkhlu glhuhqfh lv ri wkh irup _n

iru vrph l +m @ 4> ===> g,1 Wkh judskv K> ===> K_ duh +glvfrqqhfwhg, vwurqjo| uhjxodu judskv

ri Odwlq vtxduh w|sh zlwk ydohqf| 66_{ 4/ dqg uhvwulfwhg hljhqydoxhv 6}6_{ 4 dqg 41 Wkh}

xqlrq ri K2> Ke> ===> K_ lv wkh vdph dv wkh xqlrq ri J2 dqg Je +wkh Sdoh| judsk rq 626

yhuwlfhv,1

Lw lv hdv| wr vkrz wkdw doo judskv J dqg K +l1h1/ wkhlu dgmdfhqf| pdwulfhv, frppxwh/

khqfh iJ> J> K2> Ke> ===> K_j lv d frppxwdwlyh vwurqjo| uhjxodu ghfrpsrvlwlrq ri d frp0

sohwh judsk1 Pruhryhu/ vr lv dq| ri lwv ixvlrqv ri wkh irup iJ> J> N> N2j1 Qrwh wkdw vxfk

d ixvlrq frqvlvwv ri wzr vwurqjo| uhjxodu judskv ri qhjdwlyh Odwlq vtxduh w|sh +J dqg J,/

dqg wzr ri Odwlq vtxduh w|sh +N dqg N2,1

Iru p @ 5 wkhuh duh wzr srvvleoh ixvlrqv ri iK2> Ke> ===> Kfj frqvlvwlqj ri wzr judskv1

Iru wkh fruuhvsrqglqj ghfrpsrvlwlrqv iJ> J> N> N2j/ wkh uhvshfwlyh S 0pdwulfhv +ri wkh

irup +5, zlwk rqh urz ghohwhg vlqfh p2@ 3, duh wkh iroorzlqj1

S @ 3 E E E E E E E C 4 53 53 ; 65 4 : 5 4 8 4 : 5 ; 7 4 5 : 4 8 4 5 : ; 7 4 5 5 4 7 4 F F F F F F F D dqg S @ 3 E E E E E E E C 4 53 53 49 57 4 : 5 5 9 4 : 5 : 6 4 5 : 5 9 4 5 : : 6 4 5 5 5 6 4 F F F F F F F D =

Dq h{dpsoh ri d qrq0dprusklf dvvrfldwlrq vfkhph zlwk irxu vwurqjo| uhjxodu judskv zdv douhdg| jlyhq e| wkh zuhdwk surgxfw ri d frpsohwh judsk dqg Occ+5,1 Lqghhg/ lwv

hljhqpdwul{ S @ 3 E E E E E C 4 y  7 4 4 4 4 7 4 4 4 4 3 4 4 4 4 3 4 4 4 4 3 4 4 4 4 F F F F F D

lv ri wkh irup +4,1 Zh uhpdun wkdw wklv dvvrfldwlrq vfkhph lv d frxqwhuh{dpsoh ri D1Y1 Lydqry*v frqmhfwxuh ^43/ Sureohp 416` wkdw dq| dvvrfldwlrq vfkhph lq zklfk doo judskv duh vwurqjo| uhjxodu pxvw eh dprusklf1 Douhdg| lq ^8` frxqwhuh{dpsohv ri wklv frqmhfwxuh zhuh irxqg/ dqg lw zdv vxjjhvwhg wkdw pd|eh Lydqry kdg lqwhqghg wr frqmhfwxuh wkh deryh iru sulplwlyh dvvrfldwlrq vfkhphv1 Zh vkdoo vkrz qh{w wkdw dovr wklv zhdnhu frqmhfwxuh lv idovh1 Li d frxqwhuh{dpsoh iru wkh frqmhfwxuh kdv irxu judskv/ wkhq wkh hljhqpdwul{ pxvw eh ri wkh irup +4,1 Zh irxqg e| frpsxwhu wkdw wkhuh duh rqo| : %ihdvleoh% sdudphwhu vhwv iru d sulplwlyh dvvrfldwlrq vfkhph ri wkh irup +4, rq dw prvw 537; yhuwlfhv/ wkh vpdoohvw rqh kdylqj 5;; yhuwlfhv1 Ehvlghv wkhvh zh irxqg dq lqqlwh vhulhv ri %ihdvleoh% sdudphwhu vhwv= lw kdv ;| _{yhuwlfhv dqg hljhqpdwul{} S @ 3 E E E E E C 4 5|_{ 7  6  5}2|_{ 6  5}| ₅2|_{. 5}|_{. 4 5}2|_{. 5}|_{. 4 5}2|_{. 5}|_{. 4} 4 7  6  5| _{4 . 5}| _{4 . 5}| _{4 . 5}| 4 7 . 5| _{4  5}| _{4  5}| _{4 . 5}| 4 7 . 5| _{4  5}| _{4 . 5}| _{4  5}| 4 7 . 5| _{4 . 5}| _{4  5}| _{4  5}| 4 F F F F F D=

Zh vkdoo frqvwuxfw dq dvvrfldwlrq vfkhph zklfk kdv wklv hljhqpdwul{ iru w @ 71 Lw lv re0 wdlqhg dv d ixvlrq vfkhph ri wkh 780fodvv f|forwrplf vfkhph rq JI +73<9,1 Frqvlghu lq wklv hog d sulplwlyh hohphqw  vdwlvi|lqj 2 _{@ }S _{. }e _{.  . 41 Wzr glvwlqfw yhuwlfhv duh}

dgmdfhqw lq K li wkhlu glhuhqfh lv ri wkh irup eDn iru vrph l +m @ 4> ===> 78,1 Gh Odqjh

^44` irxqg wkdw J2 @ KeD^ KD^ Kf lv d vwurqjo| uhjxodu judsk zlwk ydohqf| n2 @ 5:6

dqg uhvwulfwhg hljhqydoxhv u2 @ 4: dqg v2 @ 481 Fohduo| J @ KD^ K2f^ K2D dqg

Je @ Kf^ KD^ Kef duh lvrprusklf wr J21 Pruhryhu/ wkh xqlrq ri wkhvh wkuhh judskv

lv rqh ri wkh judskv lq wkh 80fodvv f|forwrplf dprusklf dvvrfldwlrq vfkhph rq JI +73<9,1 Khqfh wkh frpsohphqw J ri wklv xqlrq lv vwurqjo| uhjxodu/ dqg lw kdv ydohqf| n @ 65:9

dqg uhvwulfwhg hljhqydoxhv u @ 45 dqg v @ 851 Vlqfh u v 9@ u2 v2 lw qrz iroorzv

iurp Wkhruhp 8wkdw wkh irxu vwurqjo| uhjxodu judskv J> ===> Je irup d sulplwlyh 70fodvv

dvvrfldwlrq vfkhph zklfk lv qrw dprusklf1

Dfnqrzohgjhphqwv Wkh dxwkru zrxog olnh wr wkdqn Plvkd Nolq dqg Plvkd Px}|fkxn iru vhyhudo vwlpxodwlqj frqyhuvdwlrqv1

+iuihi?Uit

do , @??@ @?_ A W|Lc *}iMh@U L4M?@|LhUt WG ttLU@|L? tUi4itc i?@4?%44?}t M*c i?*L @h!c bHe

d2o w# @4ih|c `O **tc @?_ +w `@h_c N?uLh4 U)U*L|L4)c a 4Mih A e EbH2c S.H2 do , hLihc  Li?c @?_  i4@ih #t|@?Ui+i}*@h Bh@Ttc 5Th?}ihVih*@}c Oi_i*Mih}c

bHb

deo , hLih @?_ aO @? w?|c 5|hL?}*) hi}*@h }h@Tt @?_ T@h|@* }iL4i|hitc ? ,?4ih@|L? @?_ #it}? E# a@U!tL? @?_ 5 V@?t|L?ic i_tc U@_i4U hittc ALhL?|Lc bHec TT HD22

dDo ,+ @? #@4c  U@h@U|ih3@|L? Lu @ttLU@|L? tUi4it uhL4 @?i tT@Uitc #it L_it h)T| 2 E2fffc HHS

dSo ,+ @? #@4c  k*?c @?_  3)U!c 5L4i 4T*U@|L?t L? @4LhTU @ttLU@|L? tUi4itc ? ThiT@h@|L?

d.o a@a BL*<u@?_c V W@?Lc @?_  k*?c 4LhTU Ui***@h h?}tc ? W?it|}@|L?t ? *}iMh@U AiLh) Lu L4M?@|Lh@* MiU|t EW 6@h@_3i i| @*c i_tc k*ihc #Lh_hiU|c bbec TT S.HS dHo  O@** ahc ?i }i?ih@*3i_ ^@_h*@|ih@*tc ? 5|_it ? hi @|i4@|Ut Ew ht!)c i_c U@

_i4U hittc wL?_L?c b.c TT S

dbo A W|Lc  ?i4@t@c @?_  v@4@_@c 4LhTLt @ttLU@|L? tUi4it Lih |i B@*Lt h?}t Lu U@h @U|iht|U ec ,hLT a L4M?@|LhUt 2 Ebbc DD2S

dfo  W@?L @?_ , h@i}ihc hLM*i4 tittL? @| wbc ,hLT a L4M?@|LhUt D Ebbec fD2

do w _i w@?}ic 5L4i ?i U)U*L|L4U t|hL?}*) hi}*@h }h@Ttc a *} L4M? e EbbDc 2bf d2o A5 U@i*c Ai _iUL4TLt|L? Lu |i UL4T*i|i }h@T ?|L |hiic tL4LhTU t|hL?}*) hi}*@h }h@Ttc

L?}h 4ih@?|4 HD Ebbc ..H

do  +L*?tL?c ih|@? _iUL4TLt|L?t Lu UL4T*i|i }h@Tt | @? @TT*U@|L? |L €?|i €i*_tc hLU +L)@* 5LU ,_?Mh} bb EbHDc 2..2H

deo a A@tc Bi?ih@*3i_ TL*)}L?tc ? O@?_MLL! Lu W?U_i?Ui BiL4i|h)  *_?}t @?_ 6L?_@|L?t E6 i!i?L|c i_c Lh|OL**@?_c 4t|ih_@4c bbDc TT He2