Kdplowrq f|fohv lq wkh sdwk judsk ri d vhw ri srlqwv lq frqyh{ srvlwlrq Hgxdugr Ulyhud0Fdpsr dqg Ylujlqld Xuuxwld0Jdolfld Ghsduwdphqwr gh Pdwhpäwlfdv Xqlyhuvlgdg Dxwöqrpd Phwursrolwdqd0L}wdsdodsd

Devwudfw

 eh d vhw ri ? srlqwv lq frqyh{ srvlwlrq lq wkh sodqh1 Wkh sdwk C E  ri  lv wkh judsk zlwk rqh yhuwh{ iru hdfk sodqh vsdqqlqj sdwk ri  / lq zklfk wzr sdwkv 7 dqg A duh dgmdfhqw li rqh fdq eh rewdlqhg iurp wkh rwkhu e| d vlqjoh hgjh h{fkdqjh1 Zh suryh wkdw li ? D / wkhq C E  lv kdplowrqldq1 Ohw

judsk

Nh|zrugv= Jhrphwulf judsk/ vsdqqlqj sdwk

4

Lqwurgxfwlrq

Iru dq| frqqhfwhg devwudfw judsk J/ wkh wuhh judsk W +J, lv wkh judsk wkdw kdv rqh yhuwh{ iru hdfk vsdqqlqj wuhh ri J/ dqg dq hgjh mrlqlqj wuhhv U dqg V zkhqhyhu U fdq eh rewdlqhg iurp V e| ghohwlqj dq hgjh v ri V dqg dgglqj dq hgjh u ri U1 U1 O1 Fxpplqjv suryhg lq ^F` wkdw W +J, lv kdplowrqldq> vhh dovr ^V` iru d vkruw surri1 D jhrphwulf yduldwlrq wkdw kdv ehhq vwxglhg lv wkh iroorzlqj= Iru d vhw S ri srlqwv lq jhqhudo srvlwlrq lq wkh sodqh/ wkh sodqh wuhh judsk W +S , ri S lv ghqhg dv wkh devwudfw judsk zlwk rqh yhuwh{ iru hdfk sodqh vsdqqlqj wuhh ri S / lq zklfk wzr wuhhv duh dgmdfhqw li/ dv lq wkh devwudfw fdvh/ rqh lv rewdlqhg iurp wkh rwkhu e| d vlqjoh hgjh h{fkdqjh1 G1 Dylv dqg N1 Ixnxgd suryhg lq ^D` wkdw W +S , lv dozd|v frqqhfwhg1 Lq ^K`/ F1 Khuqdqgr hw do vkrz wkdw li wkh srlqwv lq S duh wkh yhuwlfhv ri d frqyh{ sro|jrq/ wkhq W +S , lv kdplowrqldq1 Lq wklv qrwh zh rqo| frqvlghu vhwv S ri srlqwv lq frqyh{ srvlwlrq dqg vwxg| wkh vxejudsk J +S , ri W +S , lqgxfhg e| wkh vhw ri sodqh vsdqqlqj sdwkv ri S 1 Zh suryh wkdw J+S , lv lwvhoi kdplowrqldq1 Vlqfh/ iru dq| vsdqqlqj sdwk W ri S / sodqdulw| ghshqgv rqo| rq wkh uhodwlyh srvlwlrq ri lwv yhuwlfhv dorqj wkh frqyh{ kxoo ri S / iru dq| vhw S ri q srlqwv lq frqyh{ srvlwlrq lq wkh sodqh wkh judsk J+S , lv lvrprusklf wr J +Sq ,/ zkhuh Sq lv d uhjxodu q0jrq1 Zh ghqrwh e| Jq wkh judsk J +Sq ,> wkh judskv J6 dqg J7 duh vkrzq lq Iljxuh 41

4

Iljxuh 4= Wkh judskv J6 dqg J7 1 Wkh pdlq uhvxow ri wklv duwlfoh lv wkh iroorzlqj1 Wkhruhp 4 Li q

6

q

/ wkhq J

lv kdplowrqldq1

Iru dq| jhrphwulf judskv J dqg I rq wkh vdph vhw ri srlqwv zh vd| wkdw J dqg I duh dgmdfhqw li I fdq eh rewdlqhg iurp J e| d vlqjoh hgjh h{fkdqjh1 Wkurxjkrxw wkh sdshu z4 > z5 > = = = > zq ghqrwh wkh yhuwlfhv ri Sq lq forfn0 zlvh rughu1 Iru dq| yhuwlfhv zw dqg zv ri Sq zh ghqrwh e| ^zw > zv ` wkh vhw izw > zw.4 > = = = > zv j/ zkhuh lqglfhv duh dgghg prgxor q1

5

Suholplqdu| uhvxowv

D ohdi ri d wuhh W lv dq hgjh lqflghqw zlwk d yhuwh{ ri W zlwk ghjuhh rqh1 Iru dq| vhw S ri srlqwv lq wkh sodqh zh ghqrwh e| F K +S , wkh erxqgdu| ri wkh frqyh{ kxoo ri S 1 Lq ^K`/ F1 Khuqdqgr hw do suryhg wkh iroorzlqj uhvxow1 Wkhruhp 5 Ohw S eh d vhw ri q

6

srlqwv lq frqyh{ srvlwlrq lq wkh sodqh1 Li W

lv d sodqh vsdqqlqj wuhh ri S / wkhq W kdv dw ohdvw wzr ohdiv o|lqj lq F K +S ,1

Fruroodu| 6 Ohw S eh d vhw ri q srlqwv lq frqyh{ srvlwlrq lq wkh sodqh1 Li h lv d ohdi ri d sodqh vsdqqlqj sdwk W ri S / wkhq h olhv lq F K +S ,1

Li q  6/ wkhq doo hgjhv ri W olh lq F K +S ,1 Dqg li q  6/ wkhq W kdv h{dfwo| wzr ohdiv zklfk/ e| Wkhruhp 5/ pxvw olh lq F K +S ,1 Ohw W @ z4 > zw5 > = = = > zwq eh d sodqh vsdqqlqj sdwk ri Sq zlwk rqh hqg lq z4 1 Vlqfh z4 zw5 lv d ohdi ri W / e| Fruroodu| 6/ lw pxvw olh lq F K +S ,> zlwkrxw orvv ri jhqhudolw| zh dvvxph zw5 @ z5 1 Li z6 9@ zw6 9@ zq / wkhq z6 dqg zq duh vhsdudwhg e| wkh hgjh z5 zw6 1 Vlqfh W lv d sodqh vsdqqlqj sdwk ri Sq / wkhq z6 lv frqqhfwhg wr zw6 e| d vxesdwk ri W frqwdlqhg lq rqh ri wkh kdoi sodqhv ghqhg e| wkh olqh o wkdw frqwdlqv wkh hgjh z5 zw6 / dqg zq lv frqqhfwhg wr zw6 e| d vxesdwk ri W frqwdlqhg lq wkh rwkhu kdoi sodqh ghqhg e| o1 Wklv lpsolhv wkdw dw ohdvw rqh yhuwh{ ri W pxvw kdyh ghjuhh 6 zklfk lv qrw srvvleoh vlqfh W lv d sdwk1 Wkhuhiruh hlwkhu zw6 @ z6 ru zw6 @ zq > wklv phdqv wkdw wkh uvw wkuhh yhuwlfhv ri W duh frqvhfxwlyh yhuwlfhv ri Sq 1 E| h{whqglqj wklv dujxphqw/ zh fdq suryh wkh iroorzlqj uhvxow1 Surri1

5

Wkhruhp 7 Ohw W eh d sodqh vsdqqlqj sdwk ri Sq 1 Iru n @ 4> 5> = = = > q/ wkh uvw n yhuwlfhv ri W duh frqvhfxwlyh srlqwv ri Sq 1 Ohw [ @ i{4 > {5 > = = = > {v j eh d vhw ri srlqwv lq frqyh{ srvlwlrq lq wkh sodqh dqg ohw b = [ $ [ eh jlyhq e|  +{n , @ {v.4n 1 Iru dq| jhrphwulf judsk J zlwk yhuwh{ vhw [ / zh ghqrwh e|  +J, wkh jhrphwulf judsk/ dovr zlwk yhuwh{ vhw [ / lq zklfk  +{l , dqg  +{m , duh dgmdfhqw li dqg rqo| li {l dqg {m duh dgmdfhqw lq J1 Lq wkh fdvh zkhuh [ lv d vhw ri frqvhfxwlyh srlqwv ri Sq / wkhq  +J, lv wkh uh hfwlrq ri J zlwk uhvshfw wr wkh ruwkrjrqdo elvhfwru ri wkh vhjphqw {4 {v 1 Wkh iroorzlqj ohppdv zloo eh xvhg lq wkh surri ri Wkhruhp 4> wkhlu surriv duh rplwwhg1

Ohppd 8 Ohw [ eh d vhw ri srlqwv lq frqyh{ srvlwlrq lq wkh sodqh1 Li J lv d sodqh jhrphwulf judsk zlwk yhuwh{ vhw [ / wkhq  +J, lv dovr d sodqh jhrphwulf judsk zlwk yhuwh{ vhw [ 1 Ohppd 9 Ohw [ eh d vhw ri srlqwv lq frqyh{ srvlwlrq lq wkh sodqh dqg ohw J dqg I eh jhrphwulf judskv zlwk yhuwh{ vhw [ 1 Li J dqg I duh dgmdfhqw/ wkhq +I , dqg  +J, duh dovr dgmdfhqw1 Iru dq| sodqh vsdqqlqj sdwk W

4

@ zw4 > zw5 > = = = > zwq

ri Sq dqg dq| lqwhjhu dqg e| W n wkh

 n  q/ zh ghqrwh e| Wn wkh vxesdwk zw4 > zw5 > = = = > zwn ri W

vxesdwk zwn > zwn.4 > = = = > zwq ri W 1

6

Surri ri Wkhruhp 4 iru q rgg

Iru n @ 3> 4> = = = > q  4 zh vkrz wkdw wkhuh lv d sdwk Mn lq Jq frqwdlqlqj doo sodqh vsdqqlqj sdwkv ri Sq zlwk plggoh srlqw zn.4 / dqg wkdw wkh sdwkv M3 > M4 > = = = > Mq4 fdq eh frqfdwhqdwhg wr jlyh d Kdplowrq f|foh ri Jq 1 Iru hdfk p  4/ ohw xv ghqrwh wkh srlqwv ri S5p.4 dv iroorzv= Iru l @ 4> 5> = = = > p . 4 ohw xl @ zl dqg yl @ z5pl.5 1 Ohw Dp eh wkh vhw ri sodqh vsdqqlqj sdwkv ri J5p.4 zlwk plggoh srlqw xp.4 @ zp.4 @ yp.4 / dqg ghqrwh e| Ip wkh vxejudsk ri J5p.4 lqgxfhg e| Dp 1 E| Wkhruhp 7/ zlwkrxw orvv   ri jhqhudolw|/ zh pd| dvvxph Y +Wp.4 , @ ix4> x5 > = = = > xp.4j dqg Y W p.4 @ iy4> y5> = = = > yp.4 j iru hyhu| W 5 Dp 1 Zh fdoo Wp.4 wkh ohiw vxesdwk ri W dqg W p.4 wkh uljkw vxesdwk ri W / dqg ghqrwh wkhp e| WO dqg WU / uhvshfwlyho| +vhh Iljxuh 5,1 Wkh iroorzlqj ohppd lv dovr suhvhqwhg zlwkrxw surri1

Ohppd : Wzr sdwkv W> V 5 Dp duh dgmdfhqw li dqg rqo| li VU dqg WU duh dgmdfhqw dqg WO @ VO / ru VO dqg WO duh dgmdfhqw dqg WU @ VU 1

i

j j

Ohw O eh d sodqh sdwk zlwk yhuwh{ vhw x4 > x5 > = = = > xp.4 dqg rqh hqg lq xp.4 dqg U eh d sodqh sdwk zlwk yhuwh{ vhw y4 > y5 > = = = > yp.4 dqg rqh hqg lq yp.4 1 Zh ghqrwh e| O U wkh sdwk lq Dp zlwk ohiw vxesdwk O dqg uljkw vxesdwk U1



6

i

u4 = v 4 u3

v3

u2

v2 u1

Iljxuh 5=

Iru

x x .4 D 1 l p l>m p

l>m

x5 > x6> x4> x7 dqg W

U

l>m p

y .4y

dqg

p

m

p

I 41

@

y7> y6> y4 > y51 D

eh wkh vhw ri sdwkv lq p frqwdlqlqj wkh hgjhv l>m / dqg ghqrwh e| p eh wkh vxejudsk ri p lqgxfhg e|

5

dqg

I

l> m

5 i4> pj

/ wkh judsk

I

I

l>m p

lv lvrprusklf wr wkh

p

W



+ , @

5 i4> pj ohw  +W  x .4 ,  

l> m

Iru

Surri1



@

O

5 i4> pj ohw D

l> m

Ohppd ; Iru judsk

W

v1

O

p p

p

=

m 4

l>m

l 4

p p

lghqwlw| ixqfwlrq +vhh Iljxuh 6,1

$ D 4 eh wkh ixqfwlrq jlyhq e|  y .4,/ zkhuh 4 @  dqg 3 lv wkh

D +W

l>m p

U

p

p

u3 = v 3

u4 = v 4 u3

v3 u2

u2

v2 u1

Iljxuh 6=

W

v2

@

W

u1

v1

v1

 W 5 D46 6 dqg 4 6 +W , @ 4 +W  x7,  3 +W  y7, 5 D51 >

O

U

>

O

U

x x .4 lv dq hgjh ri W / wkhq x lv dq hqg ri W  x .4/ dqg vlqfh pl  +x , @ x / wkhq x lv dq hqg ri  p4 +W  x .4 ,1 Vlqfh y .4 y lv dq pm hgjh ri W / wkhq y lv dq hqg ri W  y .4 / dqg vlqfh  p4 +y , @ y / wkhq y pm lv dq hqg ri  p4 +W  y .4 ,1 Wkhuhiruh  +W , lv sodqh vsdqqlqj sdwk ri S5 4 zlwk plggoh srlqw x @ z @ y 1 pm pl Li  +W , @  +V ,/ wkhq  p4 +W  x .4 , @  p4 +V  x .4 , dqg pm pm  p4 +W  y .4, @  p4 +V  y .4,1 Vlqfh  lv d rqh wr rqh ixqfwlrq/ wkhq W  x .4 @ V  x .4 dqg W  y .4 @ V  y .4 > wklv lpsolhv W @ V dqg W @ V dqg wkhuhiruh  lv dovr rqh wr rqh1  pl  Iru W 3 @ W 3  W 3 5 D 4 ohw W @  p4 +W 3 , . x x .4 dqg W @  pm  pl  p4 +W 3 , . y y .4 1 Vlqfh x lv dq hqg ri W 3 dqg  p4 +x , @ x / wkhq x pl lv dq hqg ri  p4 +W 3 , dqg x .4 lv dq hqg ri W 1 Vlqfh y lv dq hqg ri W 3 Vlqfh

l 4

p p

l

p

l

O

p

U

U

p

U

p

U

p

U

m

p

p

p

p

O

p

p

U

p

U

p

O

O

l>m

O

U

m

O

U

O

p

l>m

p

l>m

p

p

p

p

p

p

l>m

O

O

m

O

l

p

m

U

p

O

p

p

O

O

l

p

p

O

p

O

7

p

U

l

l

U

pm pm dqg  p4 +yp , @ ym / wkhq ym lv dq hqg ri  p4 +WU3 , dqg yp.4 lv dq hqg ri WU 1 Wkhuhiruh W @ WO  WU lv d sodqh vsdqqlqj sdwk ri S5p.4 zlwk plggoh srlqw xp.4 @ zp.4 @ yp.41 Vlqfh 5 @ 3 lv wkh lghqwlw| ixqfwlrq/ wkhq l>m +W , @ W 3 dqg wkhuhiruh l>m lv d ixqfwlrq rqwr Dp4 1 l>m E| ohppdv : dqg 9/ W dqg V duh dgmdfhqw lq Ip li dqg rqo| li l>m +W , dqg l>m +V , duh dgmdfhqw lq Ip41 Wkhuhiruh Ipl>m dqg Ip4 duh lvrprusklf1

p  5/ wkhq I frqwdlqv d Kdplowrq O  U3 / zkhuh O @ x4>x5> = = = > x .4/ U 3 @ y .4> y4> y5> = = = > y 1 dqg U Sursrvlwlrq < Li

O

p

U

p

p

dqg

p

p

p

p

p

p

p

M zlwk hqgv y .4> y > = = = > y4

sdwk

@

p

p

p

p

Wkh sdwk M5 lv vkrzq lq Iljxuh 71 Zh surfhhg e| lqgxfwlrq dvvxplqj p  6 dqg wkdw wkh uhvxow krogv iru wkh judsk I 41 Surri1

p

Iljxuh 7= Wkh sdwk M5 1 E| lqgxfwlrq Ip4 frqwdlqv d Kdplowrq sdwk Mp4 zlwk hqgv lq Op4 Up4 3 4 1 Vlqfh Ipl>m lv lvrprusklf wr Ip4/ wkhq Ipl>m frqwdlqv d dqg Op4  Up 4 +Op4  Up4, dqg 4 Op4  U3 1 Wr l>m Kdplowrq sdwk Mp zlwk hqgv  p4 l>m l>m p>p 4>p/ Mp 4>4 dqg Mp p>4 hqg wkh surri zh vkrz krz wr frqfdwhqdwh wkh sdwkv Mp / Mp 4 + O U , @ O U wr irup d Kdplowrq sdwk Mp ri Ip zlwk hqgv    p4 p4 p p p>p 4 Op4  U3 3 @ O U dqg  1  p p4 p p>4  4 Op4  Up 3 4 @ +Op4 . xpxp.4,  U3p4 . ypyp.4 Vlqfh  p>p 4  3 4 @ +Op4 . x4xp.4,  Up 3 4 . ypyp.4/ wkhq dqg  4>p Op4  U p   4 Op4  U3 4 Op4  Up 3 4 e| ghohwlqj wkh 4>p fdq eh rewdlqhg iurp  p4 p>p 4 hgjh xp xp.4 dqg dgglqj wkh hgjh x4 xp.4 1 Dqdorjrxvo|  4>p +Op4  Up4 ,  4 4 3 4 lv dgmdfhqw wr lv dgmdfhqw wr  4>4 +Op4  Up4, dqg dovr 4>4 Op4  Up   4 3 p>4 Op4  Up4 1 Zh fdq qrz suryh Wkhruhp 4 iru wkh fdvh zkhuh q @ 5p . 41 Surri1 Ilj1 4 vkrzv wkdw J6 lv kdplowrqldq/ wkhuhiruh zh pd| dvvxph p  5= Iru n @ 3> 4> = = = > 5p ohw Dn eh wkh vhw ri sodqh vsdqqlqj sdwkv ri S5p.4 zlwk plggoh srlqw zn.4 dqg I n eh wkh vxejudsk ri J5p.4 lqgxfhg e| Dn 1 Ohw  = S5p.4 $ S5p.4 eh jlyhq e|  +zw , @ zw.4 1 Vlqfh Dn lv rewdlqhg iurp Dp e| wkh urwdwlrq ghqhg e| np / wkhq I n lv lvrprusklf wr I p zklfk lv htxdo wr Ip / dv ghqhg deryh1 E| Sursrvlwlrq M4 > = = = > M5p wr rewdlq d Kdplowrq f|foh ri J5p.4 1 Ohw xv fdoo np +Op  Up , wkh ohiw hqg ri Mn dqg np +Op  U3p , wkh uljkw 3  zp.4z5p.4,. z5p.4z4 @ p.4 +Op  Up,/ wkhq hqg ri Mn 1 Vlqfh +Op  Up p.4 3 Op  Up lv dgmdfhqw wr  +Op  Up, +vhh Iljxuh 8,/ wkxv wkh uljkw hqg ri Mp 8

w5

w1

w5

w9

w1

Iljxuh 8=

w9

3 +O7  U73 , dqg 8 +O7  U7 ,1

M5p.4 1Zh fodlp wkdw iru doo w/ wkh uljkw hqg ri Mw Mw.+p.4, / dqg wkhuhiruh Mp > M5p.4 @ M3 > M6p.5 @ Mp.4 > M7p.6 @ M4 > = = = > M+5p.4,p.5p @ M5p fdq eh frqfdwhqdwhg/ lq wklv rughu/ wr irup d Kdplowrq f|foh ri J5p.4 lv dgmdfhqw wr wkh ohiw hqg ri lv dgmdfhqw wr wkh ohiw hqg ri

1

7

Surri ri Wkhruhp 4 iru q hyhq

p  6/ ohw xv ghqrwh wkh srlqwv lq S5p dv iroorzv= Iru l @ 4> 5> = = = > p zl dqg yl @ z5pl.4 1 l>m Iru l> m 5 i4> pj/ ohw Ep eh wkh vhw ri sodqh vsdqqlqj sdwkv W ri S5p zlwk   p , @ ix4 > x5 > = = = > xp j dqg Y W p.4 @ plggoh hgjh xl ym / dqg vxfk wkdw Y +W iy4 > y5 > = = = > yp j1 Lq wklv fdvh/ zh fdoo W p wkh ohiw vxesdwk ri W dqg W p.4 wkh uljkw vxesdwk ri W / dqg ghqrwh wkhp dovr e| WO dqg WU / uhvshfwlyho|1 Wkh Iru hdfk ohw

xl

@

iroorzlqj ohppd lv suhvhqwhg zlwkrxw surri1 l>m V> W 5 Ep duh dgmdfhqw li dqg rqo| li VU WO @ VO ru VO dqg WO duh dgmdfhqw dqg WU @ VU 1

Ohppd 43 Wzr sdwkv dgmdfhqw dqg

WU

duh

ix4 > x5 > = = = > xp j dqg rqh hqg lq xl U eh d sodqh sdwk zlwk yhuwh{ vhw iy4 > y5 = = = > yp j dqg rqh l>m hqg lq ym +m 5 i4> pj,1 Zh ghqrwh e| O  xl ym  U wkh sdwk lq Ep zlwk ohiw vxesdwk O dqg zlwk uljkw vxesdwk U1 l>m l>m Iru l> m 5 i4> pj/ ohw Kp ghqrwh wkh vxejudsk ri J5p / lqgxfhg e| Ep 1 +l

Ohw

O

dqg

eh d sodqh sdwk zlwk yhuwh{ vhw

5 i4> pj,/

dqg

Ohppd 44 Iru Surri1

 l>m +W ,

l>m p  6 dqg l> m 5 i4> pj wkh judskv Kp

l> m 5 i4> pj

Iru p l @ p 4

ohw

 l>m

pm    +WO ,   p4 +WU ,1

=

l>m Ep $ Dp4

l

lv lvrprusklf wr

Ip4 1

eh wkh ixqfwlrq jlyhq e|

l

p

p

xl lv dq hqg ri WO dqg  p4 +xl , @ xp / wkhq xp lv dq hqg ri  p4 +WO ,/ pm pm dqg vlqfh ym lv dq hqg ri WU dqg  p4 +ym , @ yp / wkhq yp lv dq hqg ri  p4 +WU ,1 Wkhuhiruh wkh plggoh srlqw ri  l>m +W , lv xp @ zp @ yp zklfk lpsolhv  l>m +W , 5 Dp4 1 pm pm pl pl Li  l>m +V , @  l>m +W ,/ wkhq  p4 +VO , @  p4 +WO , dqg  p4 +VU , @  p4 +WU ,1 Vlqfh  lv d rqh wr rqh ixqfwlrq/ wkhq VO @ WO dqg VU @ WU dqg wkhuhiruh  l>m Vlqfh

lv d dovr rqh wr rqh1

9

W3

l

WO3  WU3 5 Dp4 1 Vlqfh xp lv dqg hqg ri WO3 dqg  p4 +xp , @ xl / pl 3 ,1 Vlqfh yp lv dq hqg ri WU3 dqg  ppm4 +yp, @ ym / wkhq xl lv dq hqg ri  p4 +WO pm 3 ,1 Wklv lpsolhv W @  pp4l +WO3 ,  xl ym   pp4m +WU3 , 5 wkhq ym lv dq hqg ri  p4 +WU 5 3 l>m Ep 1 Vlqfh  @  lv wkh lghqwlw| ixqfwlrq/ wkhq  l>m +W , @ W 3 dqg wkhuhiruh  l>m lv d ixqfwlrq rqwr Dp4 1 l>m E| ohppdv 43 dqg 9/ V dqg W duh dgmdfhqw lq Kp li dqg rqo| li  l>m +W , dqg l>m  l>m +V , duh dgmdfhqw lq Ip4 1 Wkhuhiruh Kp dqg Ip4 duh lvrprusklf1 p>p Ohw Ep @ Ep ^ Ep4>p ^ Epp>4 ^ Ep4>4 dqg Kp eh wkh vxejudsk ri J5p/ lqgxfhg e| Ep +vhh Iljxuh 9,1 Ohw

p

@

Iljxuh 9= Wkh judsk

K6 1

F eh wkh f|foh x4 > x5 > = = = > xp > yp > yp4 > = = = > y4 sdwkv F  x4 y4 dqg F  xp yp 1 Ohw

Sursrvlwlrq 45 Iru hqgv

Vp

dqg

31 Vp

p

6

wkh judsk

Vp

dqg

3 Vp

frqwdlqv d Kdplowrq sdwk

eh wkh

Lp

zlwk

lv lvrprusklf wr Ip4 dqg e| Sursrvl0 3 41 Ip4 frqwdlqv d Kdplowrq sdwk zlwk hqgv Op4 Up4 dqg Op4 Up  4 l>m l>m Wkhuhiruh Kp frqwdlqv d Kdplowrq sdwk Lp zlwk hqgv  l>m +Op4  Up4 , 4  3 4 1 Wr hqg wkh surri zh vkrz krz wr frqfdwhqdwh Lp p>p dqg  l>m Op4  Up / 4 >p p>4 4 >4 Lp / Lp dqg Lp wr irup d Kdplowrq sdwk Lp ri Kp zlwk hqgv Vp @ 4 3 @ 4>44 +Op4  Up4 ,1  +Op4  Up4 , dqg Vp p>p   4  4  3 3 4 dqg 4>p 3  O Vlqfh  p>p Op4  Up4 @ Op4 xp yp Up p4  Up4 4  3 4/ wkhq 4>p 3 4 fdq eh rewdlqhg iurp @ Op4  x4 yp  Up Op4  Up   4  Op4  U3p4 e| ghohwlqj wkh hgjh xp yp dqg dgglqj wkh hgjh x4 yp 1 p>p 4 4 Dqdorjrxvo|  4>p +Op4  Up4 , lv dgmdfhqw wr  p4 +Op4  Up4 , dqg dovr    4 4 3   Op4  U3p4 lv dgmdfhqw wr   p>4 4>4 Op4  Up4 1 Surri1

E| Ohppd 44/ hdfk judsk

l>m Kp

Kp

dqg

wlrq
:

Zh fdq qrz suryh Wkhruhp 4 iru wkh fdvh q @ 5p1 Surri1 Ilj1 4 vkrzv wkdw J7 lv kdplowrqldq/ wkhuhiruh zh fdq dvvxph p  61 Iru n @ 4> 5> = = = > 5p ohw E n eh wkh vhw ri sodqh vsdqqlqj sdwkv W ri S5p zlwk plggoh hgjh zl zm +zlwk l 5 in> n  p . 4j dqg m 5 in . 4> n . pj, dqg vxfk wkdw Y +W p , @ ^znp.4 > zn ` dqg Y W p.4 @ ^zn.4 > zn.p `1 E| v|pphwu| En @ E n.p1 Iru n @ p> p . 4> = = = > 5p  4 ohw K n eh wkh vxejudsk ri J5p lqgxfhg e| n E dqg ohw  = S5p $ S5p eh jlyhq e|  +zw , @ zw.41 Vlqfh En lv rewdlqhg iurp E p e| wkh urwdwlrq/ ghqhg e| np wkhq K n lv lvrprusklf wr K p zklfk lv htxdo wr Kp / dv ghqhg deryh1 E| Sursrvlwlrq 45/ K p frqwdlqv d Kdplowrq 3 > wkhuhiruh K n frqwdlqv d Kdplowrq sdwk L n zlwk sdwk Lp zlwk hqgv Vp dqg Vp n  p n  p 3 ,1 +Vp , dqg  +Vp hqgv  n  p 3 , duh rewdlqhg iurp wkh +Vp , dqg doo sdwkv np +Vp Vlqfh doo sdwkv  f|foh F @ z4 > z5 > = = = > z5p e| ghohwlqj dq hgjh/ wkhq wkh| duh sdluzlvh dgmdfhqw lq J5p 1 Wkhuhiruh Lp > Lp.4 > = = = > L5p4 fdq eh frqfdwhqdwhg +lq pdq| zd|v, wr rewdlq d f|foh T5p ri J5p wkdw frqwdlqv hyhu| sdwk lq E p ^ E p.4 ^  ^ E 5p4 1 Zh fodlp T5p lqfoxghv doo sodqh vsdqqlqj sdwkv ri J5p 1 Ohw W eh d sodqh vsdqqlqj sdwk ri J5p zlwk plggoh hgjh h1 E| Wkhruhp 7 wkh uvw p yhuwlfhv ri W duh frqvhfxwlyh srlqwv ri S5p > fohduo| wkh odvw p yhuwlfhv ri W duh dovr frqvhfxwlyh srlqwv ri S5p 1 Wkhuhiruh/ wkhuh lv dq lqwhjhu v zlwk 4  v  5p vxfk wkdw W  h frqvlvwv ri d vxesdwk WO zlwk yhuwh{ vhw ^zvp.4 > zv ` dqg d vxesdwk WU zlwk yhuwh{ vhw ^zv.4 > zv.p `1 Vlqfh h lv wkh plggoh hgjh ri W / wkhq h kdv dq hqg lq WO dqg dq hqg lq WU > ohw 4  w  p eh vxfk wkdw zv.w lv wkh hqg ri h lq WU 1 Vlqfh S 3 @ Y +WO , ^ izv.w j lv d vhw ri srlqwv lq frqyh{ srvlwlrq/ WO .h lv d sodqh vsdqqlqj sdwk ri S 3 dqg h lv d ohdi ri WO .h/ wkhq h olhv lq FK +S 3 ,1 Qrwlfh wkdw zvp.4 dqg zv duh wkh wzr srlqwv lq S 3 zklfk duh dgmdfhqw wr zv.w lq FK +S 3 ,/ wkhuhiruh rqh ri wkhp lv wkh hqg ri h lq WO 1 Dqdorjrxvo| wkh hqg ri h lq WU lv rqh ri wkh yhuwlfhv zv.4 ru zv.p> wkhuhiruh h 5 izv zv.4 > zvzv.p> zvp.4zv.4> zvp.4 zv.pj1 Vlqfh WO kdv yhuwh{ vhw ^zvp.4 > zv ` dqg WU kdv yhuwh{ vhw ^zv.4 > zv.p `/ wkhq W @ WO  h  WU 5 Ev @ Ev.p

8

Ilqdo uhpdun

Dq dqrq|prxv uhihuhh qrwlfhg wkdw iru q  6/ wkh frqqhfwlylw| ri Jq lv htxdo wr 51 Wklv lv ehfdxvh wkh }lj0}dj sdwk z4 > zq > z5 > zq4 > = = = > ze q5 f.4 kdv ghjuhh 5 lq Jq h{fhsw zkhq q @ 7/ exw lq wklv fdvh Iljxuh 4 vkrzv wkdw J7 dovr kdv frqqhfwlylw| htxdo wr 51

Uhihuhqfhv ^D` G1 Dylv dqg N1 Ixnxgd/ Uhyhuvh vhdufk iru hqxphudwlrq/ Pdwk1 9 +4<<9,/ 540791

;

Glvfuhwh Dssolhg

^F` U1 O1 Fxpplqv/ Kdplowrq flufxlwv lq wuhh judskv/ ru|

46

LHHH Wudqv1 Flufxlw Wkh0

+4<99,/ ;50<31

^K` F1 Khuqdqgr/ I1 Kxuwdgr/ D1 Päutxh}/ P1 Prud dqg P1 Qr|/ Jhrphwulf wuhh judskv ri srlqwv lq frqyh{ srvlwlrq/ Glvfuhwh Dssolhg Pdwk1 <6 +4<<<,/ 840991 ^V` K1 Vkdqn/ D qrwh rq Kdplowrq flufxlwv lq wuhh judskv/ Wkhru|

48

+4<9;,/ ;91

<

LHHH Wudqv1 Flufxlw

Hamilton cycles in the path graph of a set of points in ...

of points in general position in the plane, the plane tree graph W(S) of S is defined as the abstract graph with one vertex for each plane spanning tree of S,.

432KB Sizes 1 Downloads 171 Views

Recommend Documents

Paths and Cycles in Breakpoint Graph of Random ...
2Department of Biology, University of Ottawa, Ottawa, ON, Canada. 423 ..... that to a very high degree of precision, the values fit. E΀.n; / D. 1. 2 log n C. 2.

A note on convex decompositions of a set of points in ...
Interchange y and x and a and b in Case 3.2.1. Subcase .... O. Aichholzer, H. Krasser, The point set order type data base: A collection of applications and results ...

Loose Hamilton Cycles in Regular Hypergraphs
Mar 15, 2013 - Let S ⊂ [n]nd be the family of all sequences in which every value i ∈ [n] .... and for every such vertex the green degree changes by at most one, ...

the graph conception of set
X0 ∈ X1 ∈ X2 ∈ X0. But not only does the axiom rule out the existence of certain sets; it does so in such a way as to give rise to a picture of the set-theoretic universe as a hierarchy divided into levels. For let us define the levels Vα of t

Path of a packet in the Linux kernel
Apr 22, 2003 - At its most basic a list of buffers is managed using functions like this: ... and a solution, referred to as NAPI (New API) is proposed. Congestion ...

Locating Points in the Pentagonal Rectangular Tiling of ...
[email protected], [email protected] ...... ba and so, the first equation of (S) cannot be satisfied. And so, in this case, p(a,b) does not belong to the ... [3] M. Margenstern, A contribution of computer science to.

Metrics of human perception of vanishing points in ...
cloud of VPs located by the subjects (such as the blue, green and red clouds in Figure 8). First, the centroid of the cloud is calculated: xcentroid= (∑ xi)/nvp) ...

Minsky cycles in Keynesian models of growth and ...
1 Department of Accounting, Finance and Economics, Adelphi University, 1 South ... business cycles where a Harrodian investment assumption makes the goods market unstable. ..... of the system depends critically on the magnitude of , and . .... capita

The Competition Effect in Business Cycles Appendix A: Model ...
Nov 26, 2012 - The Competition Effect in Business Cycles. Appendix A: ...... with ф0+K denoting the Lagrange multiplier on the technology constraint. We see ...

China's Emergence in the World Economy and Business Cycles in ...
Step 2: Solution to the global model. • Collect all the endogenous variables in a global vector. • Solve simultaneously using the link matrix of country specific.

Persistence of business cycles in multisector real ...
Using vecto or auto regressions he demonstrates that, in response to a technology shock, hours might decline on ... The present paper is organized as follows: the next section discusses the one-capital- good, two-sector model, .... consumption as a s

Structure of cycles and local ordering in complex ...
Feb 17, 2004 - World-Wide-Web: Map of the World-Wide-Web col- lected at the domain of Notre Dame University2 [19–21]. This network is actually directed, ...

Structure of cycles and local ordering in complex ...
Feb 17, 2004 - ranging from technological (the physical Internet) to social. (scientific ..... are collected and made publicly available by the National. Laboratory for ... of the World-Wide-Web domain collected at www.nd.edu. (c) Network of ...

ON THE COMPUTATION OF RATIONAL POINTS OF A ...
d. ∑ i=0. |Bi|. We also set D−1 := 0. Observe that the sequence (Di)i≥−1 is strictly increasing. Therefore, there exists a unique κs ∈ N such that. Dκs−1 < s ≤ Dκs . By definition it follows that κs ≤ d. The matrix MΦ ∈ Fs(d+1)

A THREE CRITICAL POINTS RESULT IN A BOUNDED DOMAIN OF A ...
DOMAIN OF A BANACH SPACE AND APPLICATIONS. RADU PRECUP, PATRIZIA PUCCI, AND CSABA VARGA. Abstract. Using the bounded mountain pass ...

On the number of 4-cycles in a tournament
Aug 20, 2015 - In [8] we initiated the study of 4-local profiles of tournaments, namely the set .... In fact, the best lower bound that we have is f(1. 3. +) ≥. 4. 9.

Stylized facts of business cycles in the G7 from a real ...
data sets.5 In this paper we wish to pursue that tack. In particular, the purpose of this paper is to investigate the basic stylized facts of business cycles in the G7 ...

Makeenko, Non-Perturbative Methods in Gauge Theory, A Set of ...
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Makeenko, Non-Perturbative Methods in Gauge Theory, A Set of Lectures.pdf. Makeenko, Non-Perturbative Method

Stylized facts of business cycles in the G7 from a real ...
Real business cycles models cannot account for some basic stylized facts of labor dynamics .... students of business cycles and growth should draw through a time plot of this ... An illustration of this filter using the quarterly real GDP data of the

www.mechdiploma.com Various Salient points in the cycle :
www.mechdiploma.com. Various Salient points in the cycle : 1-2 isentropic Compression. 2-3 : Constant Volume Heat Addition. 3-4 : Isentropic Expansion. 4-1 : Constant volume heat rejection. Point 1: Point 2: Point 3 : Point 4: P1= Given. T1= Given. V

Model Based Learning of Sigma Points in Unscented ...
Sep 1, 2010 - α = 0.68 gives optimal moment matches solution. Can we find ..... Analytic moment-based Gaussian process filtering. In Proceedings of the 26th ...

Graph topology plays a determinant role in the ...
Oct 4, 2005 - the opponent's decision, which in turns makes cooperators unable to resist invasion by ..... NJ: Princeton University Press. Hammerstein, P. (ed) ...