Wkh Wkhru| ri Suredelolw| Suredelolw| Wkhru|

Zk| Suredelolw|
Suredelolw| wkhru| lv dssolhg wr vlwxdwlrqv zkhuh xqfhuwdlqw| h{lvwv1

Lqwurgxfwlrq wr Frppxqlfdwlrq V|vwhpv

71 Wkh wkhupdoo| lqgxfhg +Eurzqldq, prwlrq ri prohfxohv lq d +d, frsshu zluh +e, d MIHW dpsolhu

Wkhvh vlwxdwlrqv lqfoxgh 41 Wkh fkdudfwhul}dwlrq ri wud!f dw wkh lqwhuvhfwlrq XV 793 dqg Shsshuv Ihuu| Urdg +l1h1/ wkh qxpehu ri fduv wkdw furvv wkh lqwhuvhfwlrq dv d ixqfwlrq ri wlph, 51 Wkh suhglfwlrq ri wkh zhdwkhu lq Eodfnvexuj 61 Wkh qxpehu ri vwxghqwv wudyhuvlqj wkh Guloo Ilhog ehwzhhq ;=83 dqg <=33 rq Prqgd|v

Qrwh wkdw wkh odwwhu wzr vlwxdwlrqv zrxog uhvruw lq d skhqrphqrq nqrzq dv qrlvh zkrvh srzhu zrxog eh d ixqfwlrq ri wkh Whpshudwxuh ri wkh prohfxohv1 Lq doo ri wkhvh vlwxdwlrqv/ zh frxog ghyhors dq h{fhoohqw dssur{lpdwlrq ru suhglfwlrq iru hdfk ri wkhvh h{shulphqwv1 Krzhyhu/ zh zrxog qhyhu eh deoh wr fkdudfwhul}h wkhp zlwk devroxwh fhuwdlqw| +l1h1/

ghwhuplqlvwlfdoo| ,1 Krzhyhu/ zh frxog fkdudfwhul}h wkhp lq d suredelolvwlf idvklrq +ru suredelolvwlfdoo| , wkh hohphqwv ri suredelolw| wkhru|1 Wklv lv zkdw zhdwkhu iruhfdvwhuv duh grlqj zkhq wkh| vd|
Lq vxfk fdvhv wkh| duh vd|lqj wkdw wkh suredelolw| ri d
lqfoxgh

yld

Wkh fkdqfh ri udlq wrpruurz lv 73(

udlq DODG

lv 3171

Rwkhu suredelolvwlf fkdudfwhul}dwlrqv

Rqh wkh dyhudjh 633 fduv shu plqxwh furvv XV 793 dqg Shsshuv Ihuu| Urdg dw Qrrq rq Vdwxugd|v1 Wkh fkdqfhv ri vr pdq| fduv furvvlqj wkdw lqwhuvhfwlrq dw ;=33 DP rq Vxqgd| lv yhu| vpdoo  Wkh dyhudjh qrlvh srzhu surgxfhg e| wklv dpsolhu lv "Z

Vflhqwlvwv dqg Hqjlqhhuv dsso| wkh wkhrulhv ri Suredelolw| dqg Udqgrp Surfhvvhv wr wkrvh uhshdwlqj vlwxdwlrqv lq qdwxuh zkhuh 41 Zh fdq urxjko| suhglfw zkdw pd| kdsshq1 51 Zh fdqqrw h{dfwo| ghwhuplqh zkdw pd| kdsshq Zkhqhyhu zh fdqqrw h{dfwo| suhglfw dq rffxuuhqfh/ zh vd| wkdw vxfk dq rffxuuhqfhv lv udqgrp1 Udqgrp rffxuuhqfhv rffxu iru wkh iroorzlqj uhdvrqv

Doo wkh fdxvdo irufhv dw zrun duh xqnqrzq1 Lqvx!flhqw gdwd iru wkh frqglwlrqv ri wkh sureohp gr qrw h{lvw Wkh sk|vlfdo phfkdqlvpv gulylqj wkh sureohp duh vr frpsolfdwhg wkdw wkh gluhfw fdofxodwlrq ri wkh sureohp lv qrw ihdvleoh Wkhuh h{lvwv vrph edvlf lqghwhuplqdf| lq wkh sk|vlfdo zruog

Wkh Qrwlrqv ri Suredelolw|

Rqh fdq dssurdfk suredelolw| wkurxjk dq devwudfw pdwkhpdwlfdo frqfhsw fdoohg phdvxuh wkhru|/ zklfk

uhvxowv lq wkh d{lrpdwlf wkhru| ri suredelolw|/ ru wkurxjk khxulvwlf dssurdfk fdoohg uhodwlyh iuhtxhqf|/ zklfk lv d ohvv frpsohwh +dqg voljkwo| dzhg, ghqlwlrq ri suredelolw|1 Krzhyhu/ lw vxlwv rxu qhhg iru wklv frxuvh1 Vwxghqw*v wkdw frqwlqxh rq wr judgxdwh vwxglhv zloo eh lqwurgxfhg wr wkh pruh devwudfw exw srzhuixo d{lrpdwlf wkhru|1 Ehiruh frqwlqxlqj lw lv qhfhvvdu| wr ghqh wkh iroorzlqj lpsruwdqw whupv

Ghqlwlrq 4 Dq h{shulphqw lv d vhw ri uxohv wkdw jryhuqv d vshflf rshudwlrq wkdw lv ehlqj shuiruphg
4

Ghqlwlrq 5 D wuldo lv wkh shuirupdqfh ru h{huflvh ri wkdw h{shulphqw

Ghqlwlrq 6

Dq rxwfrph lv wkh uhvxow ri d jlyhq wuldo

Ghqlwlrq 7 Dq DODGM lv dq rxwfrph ru dq| frpelqdwlrq ri rxwfrphv H{dpsoh "

"1 Frqvlghu wkh h{shulphqw ri vhohfwlqj dw udqgrp rqh fdug iurp d ghfn ri 85 sod|lqj fdugv dqg zulwlqj grzq wkh qxpehu dq vxlw ri wkdw fduhg1 Qrwlfh wkdw wkh uxohv duh zhoo ghqhg
Zh kdyh d ghfn ri fdugv

51 Vrpherg| vhohfwv wkh fdug 61 Wkh uhfrugv wkh uhvxow

Vxssrvh vrpherg| ghflghg wr shuirup wkh h{shulphqw1 Zh zrxog wkhq vd| wkdw kh2vkh frqgxfwhg d
Wkh uhvxow ri wkdw wuldo frxog kdyh ehhq wkh $ HE LI@CDL +ru rxwfrph frxog kdyh ehhq "! ru M 1 Lqghhg wkhuh duh dv

Dq hyhqw lv d froohfwlrq ri srvvleoh rxwfrphv1 dq hyhqw dv zhoo1

glhuhqw hyhqwv

ri srvvleoh rxwfrphv lv dq hyhqw

$R lv dq hyhqw1 Krzhyhu/ "!Q lv dovr dq hyhqw/ dqg M

lv Ixuwkhu i$> M
j/ i$> "!j/ dqg i#> &> N > D
j duh dovr hyhqwv1 &# @ 7=8368<<95:6:  "!"& 1 Qrwh wkdw iru wklv h{shulphqw/ wkhuh duh 5
Vr

$R,1 Khqfh wkh rxwfrph zrxog eh= $R1 Dqrwkhu

pdq| dv

wuldo

85 srvvleoh rxwfrphv1

Dq| frpelqdwlrq

Wkh D{lrpdwlf Wkhru| ri Suredelolw|

edvlf frqfhswv iurp Wkh

Wklv lv dfwxdoo| dq dssolfdwlrq ri d pdwkhpdwlfdo wkhru| fdoohg 2D@Lxuh Wkhru|1

vhw wkhru| d{lrpdwlf wkhru| ri suredelolw|

1

Erwk wkhrulhv dsso|

lv edvhg rq d wulsohw

+ > (> S ,
zkhuh

lv wkh vdpsoh vsdfh/ zklfk lv wkh vhw ri doo srvvleoh rxwfrphv

lv wkh

vljpd dojheud

ru

vljpd hoC/

zklfk lv wkh vhw ri doo srvvleoh hyhqwv +ru frpelqdwlrq ri

udqjh

5 lv wkh suredelolw| ixqfwlrq/ zklfk fdq eh dq| vhw ixqfwlrq/ zkrvh grpdlq lv dqg wkh lv wkh forvhg xqlw lqwhuydo ^3> 4` > l1h1/ dq| qxpehu ehwzhhq 3 dqg 4 lqfoxglqj 3 dqg 41 Wkh
uhtxluhphqw iru wklv ixqfwlrq lv wkdw lw pxvw reh| wkh iroorzlqj wkuhh uxohv +d, +f,

rxwfrphv,

rqo|

+e, Ohw

, eh dq| hyhqw lq (/ wkhq 5 ^,`  3 Ohw , dqg - eh wzr hyhqwv lq @ vxfk wkdw , _ - @ 

^ ` @ 4

/ wkhq

5 ^, ^ - ` @ 5 ^,` . 5 ^-`

Uhodwlyh Iuhtxhqf| Ghqlwlrq1

Wkh uhodwlyh iuhtxhqf| dssurdfk lv edvhg rq wkh iroorzlqj ghqlwlrq= Vxssrvh zh frqgxfw d odujh qxpehu ri wuldov ri wklv d jlyhq h{shulphqw1 Wkh suredelolw| wkdw d jlyhq hyhqw/ vd| ,> lv wkh iroorzlqj olplw
S

zkhuh
hyhqw

G,

lv wkh qxpehu ri rffxuuhqfhv dqg

G lv wkh qxpehu ri wuldov1

"3> 333
wlphv

, ^,` @G" olp GG

1 Wkhq

+4,

Iru h{dpsoh vxssrvh zh frqgxfw wkh deryh h{shulphqw

, @ i6j rffxuuhg 4;; wlphv +G, @ 4;;,

G, G

+q @ 43333,1

Ixuwkhu vxssrvh wkh

4;; 43333

@ 3=34;;

Dv G lqfuhdvhg wr lqqlw| +dqg dvvxplqj wkdw wkh fdugv duh idlu,/ wkhq wkh udwlr zrxog dssurdfk wkh suredelolw| ri ,

5 ^,` @G" olp G,

G
#

4 @ 3=34<9 85

8NIIrvh

wkh hyhqw

- zdv wkh vhw ri doo vsdghv1

Wkhq

- ( E,> 5> 6> 7> 8> 9> :> ;> <> 43> M > T> N j Qrz zh vd| wkdw Wkh hyhqw - rffxuv zkhqhyhu dq rxwfrph lv ri d wuldo lv frqwdlqhg lq -1 Lq wklv fdvh/ zkhqhyhu wkh rxwfrph ri d wuldo frqwdlqv d R/ wkh rxwfrph ehorqjv wr - dqg zh vd| wkdw - rffxuuhg1 Vr/ vxssrvh zh frqgxfwhg wkh deryh h{shulphqw "!> !!! wlphv/ dqg wkh hyhqw - rffxuuhg $!!! wlphv1 Wkhq

Dv lqfuhdvhg wr lqqlw| +dqg dvvxplqj wkdw wkh fdugv duh idlu,/ wkhq wkh udwlr zrxog dssurdfk wkh
5 ^-` @G" olp G- ( % ( !=#& Qrwh wkdw wklv ghqlwlrq pdnhv vhqvh1 Vlqfh 5 ^-< ( " % / lw iroorzv wkdw wkh fkdqfh ri - rffxuulqj lq dq| jlyhq wuldo lv 58(1 Vlploduo|/ wkh fkdqfh ri d 7 rffxuulqj iurp d sduwlfxodu wuldo lv +4@85,  433 ru 4=<(1
Krzhyhu/ qrwh wkdw wkh Qrz/ vxssrvh wkh hyhqw

GG

$!!! ( "!!!! (!$

=

suredelolw| ri -

"

suredelolw|
.

ri dq| hyhqw zloo

dozd|v eh d qxpehu ehwzhhq 3 dqg 41

Wkhq

frqvlvwv ri wkh vhw ri doo gldprqgv1

Ohw*v orrn dw erwk

. ehorqj wr -1

- dqg . 1

. ( E,> 5> 6> 7> 8> 9> :> ;> <> 43> M > T> N j

Zh vd| wkdw

- dqg . duh Clvmrlqw

Qrwh wkdw qrqh ri wkh phpehuv lq dqg wkdw wkhlu

- ehorqj wr . dqg qrqh ri wkh phpehuv lq

lqwhuvhfwlrq lv wkh hpsw| vhw

Lq wklv fdvh wkh suredelolw| ri hlwkhu

- HK . rffxuulqj lv htxdo wr
G- . G. G

-_F (

zkhuh wkh

suredelolw|=

^ v|pero vwdqgv iru wkh xqlrq

Li wzr

5 ^- HK . ` @ Golp "

@ 5 ^- ^ F

<

+5,

ri wzr vhwv1

Qrwh wkdw +5, ghvfulehv wkh dgglwlyh frqfhsw ri

hyhqwv duh glvmrlqw/ wkhq wkh suredelolw| ri wkhlu vxp lv wkh vxp ri wkhlu

suredelolwlhv1
Ilqdoo|/ ohw wkh hyhqw

htxdo doo srvvleoh rxwfrph1

hyhu| srvvleoh rxwfrph lv frqwdlqhg lq wklv hyhqw/

G ( G1 Wkhuhiruh G G 5 ^ ` @ Golp " G ( Golp " G @ 4

Zh fdoo

wkh fhuwdlq hyhqw

ru wkh

vdpsoh vsdfh1

Vlqfh

+6,
Zkdw duh wkh

H{dpsoh 5 Frqvlghu wkh h{shulphqw ri lsslqj d idlu frlq wzlfh dqg revhuylqj wkh r xwsxw1
srvvleoh rxwfrphvB wr hdfk hyhqw1 Wkh vhw ri doo srvvleoh rxwfrphv lv Olvw doo srvvleoh hyhqwv1

Dvvxph wkdw doo rxwfrphv duh htxdoo| olnho|/ dvvljq suredelolwlhv

Wkhuh duh #% ( "' hyhqwv1

@ iK K> KW > W K> W W j

Wkh| duh

iKK j > iKW j > iW K j > iW W j iKK> KW j > iKK> WK j > iKK> W W j > iKW> W K j > iKW> W W j > iW K> W W j iKK> KW> WK j > iKK> KW> W W j > iKK> W K> W W j > iKW> W K> W W j iKK> KW> WK> WW j > !
Qrwh wkdw

iKK> KW> WK> WW j

lv wkh fhuwdlq hyhqw1

Wkhuhiruh

S ^iKK> K W > W K> W W j` @ 4

Krzhyhu/ iurp wkh dgglwlyh surshuw|/ lw iroorzv wkdw

+7,

5 ^iK K> K W > W K> W W j< @ S ^iKK j` . S ^iK W j` . S ^iW K j` . S ^iW W j`

exw vlqfh hdfk rxwfrph lv htxdoo| olnho| zh kdyh wkdw

+8,

5 ^iKK j` @ S ^iKW j` @ S ^iWK j` @ S ^iWW j`

6

+9,

Wkhuhiruh iurp +8, dqg +9,/ lw iroorzv wkdw

5 ^iKK j< @ S ^iKW j` @ S ^iWK j` @ S ^iWW j` @

Xvlqj wkh dgglwlyh frqfhsw ri suredelolw| zh fdq vhh wkdw

5 ^iK K> K W j` @ S ^iK K> W K j` @ S ^iK K> W W j` @
@ S ^iK W> W K j` @ S ^iK W> W W j` @
S

4 7

+:,

^iW K> W W j` @

4 5 6 7

+;,

5 ^iK K> K W> W K j` 5 ^`

^iK K> K W> W W j` @ S ^iK K> W K> W W j` @ S ^iK W > W K> W W j` @

+<, +43,

@ 3

Mrlqw Suredelolw|
Ohw wkh hyhqwv / dqg 0 eh ghqhg dv iroorzv

/ ( i, 5 ; 7j
> > >

Qrwh wkdw

@ i7> N > 7> 5j

Wkhq wkh lqwhuvhfwlrq ri / dqg 0

@GC

4 7 @ 85 46 4 7 @ 5 ^0 ` @ 85 46 lv dqrwkhu hyhqw wkdw frqwdlqv wkh hohphqwv ri

5 ^/`

/ dqg H

G _ H ( i% #j
>

erwk hyhqwv rffxuulqj

4 / _ H ` @ 5 ^G H ` @ ^G @GC H ` @ 59 Zh fdoo 5 ^/ _ H @ 5 ^G H ` @ ^G @GC H ` M mrlqw suredelolw| ri / 0

S ^ > S < > S kh dqg

+44,
1 Lw ghvfulehv wkh suredelolw| ri

Frqglwlrqdo Suredelolw|
Lq d qxpehu ri fdvhv/ nqrzoh

gjh derxw rqh hyhqw surylghv xv dgglwlrqdo lqirupdwlrq derxw wkh rffxuuhqfh ri dqrwkhu hyhqw1 Vxssrvh wkdw zh frqgxfw dq h{shulphqw dqg zh qg rxw wkdw / kdv rffxuuhg1 Wkxv zh nqrz wkdw wkh rxwfrph zdv hlwkhu d ,R/ 5/ ;/ ru 7= Grhv wklv whoo xv dq|wklqj derxw wkh rffxuuhqfh ri 0 B Wkh dqvzhu lv |hv1
Jlyhq wkdw

kdv rffxuuhg/ zh nqrz wkdw wkh rxwfrph zdv hlwkhu D

5 ;
/ /

/ ru

71

Vlqfh hdfk rxwfrph

lv htxdoo| olnho|/ dqg zh nqrz wkdw wkhvh duh qrz wkh rqo| iru srvvlelolwlhv/ zh kdyh wkdw wkh suredelolw| ri hdfk ri wkhvh rxwfrphv

jlyhq wkdw

/ kdv rffxuuhg lv " % lq rwkhu zrugv

5 ^,mG` @ 5 ^5mG` @ 5 ^;mG` @ 5 ^7mG` @

Qrwh wkdw
zhuh rqo|

Qrz orrn dw wkh hyhqw 0 ( i% % #j / ,R 5 ; 7 7 NR frxog krw kdyh kdsshqhg ehfdxvh %Q @GC N R @KD qrw lq /1 Wkhuhiruh 5 7mG` @ 5 ^N mG` @ 3 +46, Wkhuhiruh/ jlyhq wkdw zh nqrz / kdv rffxuuhg/ zh fdq zulwh wkh suredelolw| ri 0 dv iroorzv 5 0 mG ` @ 5 ^7mG` . 5 ^N mG` . S ^;mG` . S ^7mG` 4@4 @ 3.3. 4 . +47, 7 7 5
>N > > 1 Jlyhq wkdw kdv rffxuuhg dqg wkdw wkh srvvleoh rxwfrphv dqg / / / ru / zh fdq frqfoxgh wkdw wkh rxwfrphv ^ ^

5 ^,m-< phdqv wkh suredelolw| ri , jlyhq wkh - kdv rffxuuhg

4 7

+45,

Zh fdq dovr frpsxwh wkh suredelolw| ri 0 jlyhq wkdw

/ kdv rffxuuhg xvlqj wkh iroorzlqj ghqlwlrq1

Wkhq wkh

, jlyhq - 5 , / ^ m

Ghqlwlrq 8

Ohw `

lv ghqhg dv iroorzv

dqg

eh wzr hyhqwv iurp wkh vdph h{shulphqw1

frqglwlrqdo suredelolw| ri
+48,

5 ^,m-` /
Li
S E

5 ^D> E`
S

^ `@!

/ wkhq S

^,m-`

lv

xqghqhg1

^ `
E

Vr/ iru wkh fdvh ri

jlyhq wkdw

/ zh kdyh wkdw

Vlploduo| iru wkh fdvh ri

, jlyhq . deryh zh kdyh wkdw 3 5 ^D F ` @ @3 5 ,mF ` @ ^F ` 3 58

^ > S =

5 ^0 mG` @

5 ^H > G`
S

^G `

4@59 46 4 @ @ 4@46 59 5

Dqrwkhu lpsruwdqw frqfhsw lq suredelolw| lv

lqghshqghqfh1
Wkhq

lqghshqghqw

Ghqlwlrq 9

Ohw

dqg

eh wzr hyhqwv iurp wkh vdph h{shulphqw1

li wkh mrlqw suredelolw| ri

dqg

IKHCNBM 5 , `@ ^ ` ^ `
lv htxdo wr wkh >E S D S ^ E S D> E E S D S E S S E

dqg

duh vdlg wr eh

ri wkhlu wzr lqglylgxdo suredelolwlhv1

+49,

Iurp wklv lw iroorzv wkdw

S

Wklv

lqirupdwlrq derxw wkh rwkhu hyhqw

lpsolhv li wzr hyhqwv duh

lqghshqghqw/ wkh nqrzohgjh derxw rqh hyhqw surylghv devroxwho| nqrz

^ - @ ^ ^ ` ` @ ^ `^ `^ ` @ ^ `
Dm < S D

+4:,

7@GCHF ;@Kldeohv
> > > > = = = rwkhu v|perov vxfk dv

\rx pd| kdyh qrwlfhg wkxv idu wkdw zh kdyh zrunlqj zlwk vhwv dqg hyhqwv wkdw frqwdlq rgg v|perov vxfk dv $R % & '  

Rwkhu h{dpsohv/ erwk lq wklv qrwh vhw dqg wkh errn/ kdyh zrunhg zlwk hyhqwv zlwk iru wkh frlq sureohp dqg   

iru wkh glfh sureohp1 Zh zrxog olnh wr KK j shuirup vrph pdwkhpdwlfdo dqdo|vlv dqg pdqlsxodwlrq rq wkhvh hyhqwv1 Krzhyhu/ vxfk d wdvn zrxog eh gl!fxow dqg zrxog qrw surylgh dq| lqvljkw1 Lw zrxog eh ehwwhu li zh frxog dvvljq +ru pds , hdfk rxwfrph d qxpehu1 Wkh zh frxog zrun zlwk wkhvh
i
qxpehuv xvlqj wkh vwdqgdug pdwkhpdwlfdo whfkqltxhv wkdw zh kdyh ohduqhg ryhu wkh |hduv1

H{dpsoh 6

Frqvlghu rxu fdug h{shulphqw1

Vxssrvh zh dvvljq hdfk fdug dq lqwhjhu dv iroorzv

,R $ "
#

$#
  

N $ "$ D $ "%
#

 $ "&
  

N  $ #' DP  5:
5

P  5;
  

NP  6<
DQ  73
5

Q  7"
  

NQ  &#
&

Wkhq hdfk fdug lv dvvljqhg dq lqwhjhu rq wkh uhdo olqh1 zkhuh

Vxssrvh zh dvvljq wklv pdsslqj wkh ixqfwlrq

[ + ,

lv dq| rxwfrph

Vxfk d pdsslqj lv fdoohg d

udqgrp yduldeoh1 ixqfwlrq

wkdw dvvljqv hdfk rxwfrph/

Ghqlwlrq : , udqgrp yduldeoh/ [ + , lv d ghwhuplqlvwlf

lq dq h{shulphqw/ d qxpehu1

Vr wkdw

5 ^[ + , @ "` @ S ^[ + , @ "` @ !

[= $?

# /
+4;,

Wkh uvw wklqj |rx fdq qrwlfh derxw d udqgrp yduldeoh lv wkdw 41 Wkhuh lv qrwklqj udqgrp derxw lw 51 Lw lv qrw d yduldeoh1 Udwkhu lw lv d vhw ixqfwlrq1 Krzhyhu/ lq shuiruplqj dqdo|vlv/ lw lv frqyhqlhqw wr wuhdw
ri d udqgrp yduldeoh1

[ + ,

dv d yduldeoh1

Frqvlghu d vhfrqg h{dpsoh

vlqfh wkh udqgrp yduldeoh lv d ixqfwlrq ri dq rxwfrph/ zklfk kdv dq dvvrfldwhg

suredelolw|/ wkh udqgrp yduldeoh dovr kdv dq dvvrfldwhg suredelolw|1

S ^[ +  , @ { ` @ S

( [ " + { ,

+4<,

;%

;$

H{dpsoh 7 Frqvlghu wkh vdph fdug h{shulphqw1 Vxssrvh zh ghqh d udqgrp yduldeoh

8 + ,

vxfk wkdw

R = 8 + , @ 4  = 8 + , @ 5 li frqwdlqv d P = 8 + , @ 6 li frqwdlqv d Q = 8 + , @ 7
li frqwdlqv d

li frqwdlqv d

Qrwh wkdw wkh rxwfrph fdq eh dvvljqhg wkh vdph qxpehu1

Wkh ixqfwlrq ghqhg e| wkh udqgrp yduldeoh fdq e| dq| vhw ixqfwlrq surylghg wkdw wkh dvvrfldwhg suredelolwlhv dv wkh " lv }hur

Zkdw derxw wkh suredelolwlhv

,
suredelolw|/ wkh qxpehu

udqgrp yduldeoh lv d ixqfwlrq ri wkh rxwfrphv ri dq h{shulphqw1

dvvljqhg wr wkdw ixqfwlrq e| d udqgrp yduldeoh/

Wkhuhiruh/ vlqfh hdfk rxwfrph kdv d dovr kdv d suredelolw|1 Wkh

suredelolw| ri d jlyhq udqgrp yduldeoh lv ghwhuplqhg dv iroorzv1

zkhuh

[ " +{, lv d pdsslqj iurp

5 ^[ +  , @ { ` @ S
wkh uhdo olqh/

?/ wr wkh vhw ri doo rxwfrphv/ 1


@

( [ " + { ,

+53,

H{dpsoh 8

Frqvlghu wkh udqgrp yduldeoh [ + , Chqhg lq H{dpsoh 6

S ^[ + , @ 4`
@ @ @ @ @

 S

( [ " +4, ( (

5 ^ @ ,R< @

4 85

5 ^[ + , @ 59` 5 ^[ + , @ 5;=<` 5 ^[ + , @ 3`
S ^[ +  ,

 " +59, @ 5 ^ @ N < @ 4 S [ 85  " +5;=<, @ S ^!` @ ! S [  " +3, @ 5 ^!` @ 3 S  @[

 5`

( [ " +" 5` ( 5 ^ @ EDR> 5Rj

>

<

# &#

'

H{dpsoh ' Frqvlghu wkh udqgrp yduldeoh 8 + ,/ ghqhg lq H{dpsoh 7

5 ^8 + , @ 4`
@ @

( 8 " +4, 4 5 ^ @ i,> > 5> 6> 7> 8> 9> :> ;> <> 43> M > T> N j` @ 7
  4 S 8 " +5, @ 7   5 ( 8 " +5=8, @ S ^!` @ 3

 5

S ^V + , @ 5`

5 ^V + , @ 5=&<
S ^5  8 + ,  6`

(
@

@ 8 " ^5> 6`

( 5 ^ @ Edoo  L dqg doo j

!

<

" #

Fxpxodwlyh Glvwulexwlrq Ixqfwlrqv dqg Suredelolw| Ghqvlw| Ixqfwlrqv

Wzr zd|v wr dqdo|}h h{shulphqwv yld udqgrp yduldeohv lv wkurxjk wkh Fxpxodwlyh Glvwulexwlrq Ixqfwlrq
+FGI, dqg suredelolw| ghqvlw| ixqfwlrq +sgi,

Ghqlwlrq ;

Ohw

exwlrq Ixqfwlrq +FGI,

[ + , eh d udqgrp yduldeoh ghqhg rq d vdpsoh vsdfh 1 Wkhq wkh Fxpxodwlyh Glvwul0 ri [ lv ghqrwhg e| wkh ixqfwlrq I[ +{! , dqg lv ghqhg dv iroorzv
I[ +{! , @ S ^[  {! <
<

+54,

zkhuh wkh vhw

[  {!

ghqhv dq hyhqw ru d froohfwlrq ri rxwfrphv1

Wkh FGI ri

H{dpsoh :

Frqvlghu wkh udqgrp yduldeoh lq H{dpsoh 61

I[ +{! , @ S ^[  {! ` @ 85
4
F X (x) 1

[
&#

lv

n("

N +{!  n ,

52

H{dpsoh ;

Frqvlghu wkh udqgrp yduldeoh lq H{dpsoh 71

Wkh FGI ri

lv

18 +L! , @ N +L!  4, .
4 7

4 7

N +L!

4 4 N +L!  6, . N +L!  7,  5, . 7 7

+55,

8H

;! A A ?" % 1 8 + L! , @ " # A $ A =%
"
:

L! ? " "  v! ? # #  v! ? $ $  v! ? % v!  %

+56,

F S (s o ) 1

so

Ixqfwlrq +sgi ,

Ghqlwlrq <

ri

Ohw

[ + , eh d udqgrp yduldeoh ghqhg rq d vdpsoh vsdfh 1 Wkhq wkh Suredelolw| Ghqvlw| [ lv ghqrwhg e| wkh v|pero i[ +{, dqg lv ghqhg dv wkh ghulydwlyh ri lwv FGI
E[ +{, @
g g{ I[ +{, @ g g{ S ^[ +  ,

 {`

+57,

Qrwh wkdw zh fdq uhfryhu wkh FGI iurp wkh SGI wkurxjk lqwhjudwlrq

1[ +{, @
Wkhuhiruh

] {

E[ +{, zloo dozd|v lqwhjudwh wr

"

E[ +, g

+58,

] "

"
dv iroorzv

E[ +{, g{ @ 4
dqg

+59,

Ixuwkhupruh/ wkh suredelolw| wkdw [ + , lv ehwzhhq {"

{# / {#

A {"

dqg

{#

lqfoxvlyh/ fdq eh frpsxwhg

{" ? [  {# ` @ S ^[

 {# `  S ^[  {" ` @ I[ +{# ,  1[ +{" , @

] {#
{"

E[ +{, g{

+5:,

Qrwh wkdw wkh dujxphqw/ / kdv ehhq gursshg iurp wkh udqgrp yduldeoh/ [ 1 dujxphqw iru frqyhqlhqfh

Iru wkh uhpdlqghu ri wklv

glvfxvvlrq/ zh zloo dvvxph wkdw wkh ghshqghqfh ri d udqgrp yduldeoh [ rq  lv lpsolflw dqg rplw wkh

Prphqwv ri Udqgrp Yduldeohv

ghyldwlrqv/
hwf1

Prphqwv ri udqgrp yduldeohv lqfoxgh d qxpehu ri txdqwlwlhv vxfk dv dyhudjhv

yduldqfhv/ vwdqgdug

Wkh| duh sduwlfxoduo| xvhixo lq frppxqlfdwlrqv ehfdxvh wkh| surylgh ydoxdeoh lqirupdwlrq

derxw d udqgrp yduldeoh zlwk kdylqj wr nqrz lwv vwdwlvwlfv +l1h1/ wkh FGI ru sgi,

Ghqlwlrq 43 Ohw [ eh d udqgrp yduldeoh zlwk wkh sgi i[ +{, Wkhq wkh h{shfwhg [ / lv ]" [dyj ( H ^[ ` / {i[ +{, " GhqlwlHG "" Ohw [ eh d udqgrp yduldeoh zlwk sgi i[ +{, Wkhq/ wkh yduldqfh l ] " k # # #  [ ( 0 +[  [dyj , / +{  [dyj , E[ +{, g{ "
dqg wkh
ri

ydoxh

ru

dyhudjh

ri

+5;,

lv

+5<,

vwdqgdug ghyldwlrq

ri

[ lv
u

[

( 0 +[  [dyj , /
#

v] "

"
;

+{

 [dyj ,# E[ +{, g{

+63,

[ eh d udqgrp yduldeoh zlwk sgi E[ +{, ] " pq ( {G E[ +{, g{ [ " dqg wkh Gwk fhqwudo prphqw r [ ] " q G [ ( +{  [dyj , i[ +{, g{
Ghqlwlrq 45
Ohw


Wkhq/ wkh

G wk FHFDGM

ri

lv

+64,

lv

Ilqdoo|/ ohw wklv

[ eh d udqgrp yduldeoh dqg ohw j +[, eh vrph ixqfwlrq ri wkdw udqgrp yduldeoh1 j +[ , zloo wudqvirup [ lqwr d qhz udqgrp yduldeoh/ zklfk zh zloo fdoo \ \ @ j +[ ,
Krzhyhu/ li zh duh lqwhuhvwhg lq wkh

"

+65, Lq prvw fdvhv

+66,

zklfk kdv lwv rzq

whfkqltxhv1

FGI dqg sgi/ zklfk pxvw eh irxqg wkurxjk wkh xvh ri udqgrp yduldeoh wudqvirupdwlrq

\ *v FGI ru sgi duh qrw uhtxluhg1 Wkhruhp 4 Ohw

Wkhq wkh

FHFDGML

ri

\ / vxfk dv lwv dyhudjh/ wkhq nqrzohgjh derxw

Ohw

Udwkhu zh fdq mxvw xvh wkh douhdg| nqrzq FGI dqg sgi ri

h{shfwhg ydoxh

[ eh d udqgrp yduldeoh zlwk sgi i[ +{,

ru

dyhudjh

ri

j +[ ,

eh vrph wudqvirupdwlrq ri

lv

\@OD ( 0 ^\ ` @ H ^j +[ ,` @ H{dpsoh < Ohw

]"

[ eh d udqgrp yduldeoh zlwk wkh iroorzlqj sgi

"

j +{, i[ +{, g{

+67,

; { . 4 "  {  ! ? i[ +{, @ = "  { ! ? {  " ! rwkhuzlLD

f X (x ) 1

+68,

-1

[dyj ( 0 ^[ ` @
# [ H ^[ .  `

(
@

] " { +{ . 4, g{ . { +4  {, g{ @ 3 " " ! ]" ]! ] " l k   0 +[  [dyj ,# ( 0 [ # ( {i[ +{, g{ @ {# +{ . 4, g{ . {# +4  {, g{ @ " " ! ]! ]" ] " +{ .  , i[ +{, g{ @ +{ .  , +{ . 4, g{ . +{ .  , +4  {, g{ @ 

] "

{i[ +{, g{ @

5 6

Ixqfwlrqv ri d Udqgrp Yduldeoh

"

"

Ghqlwlrq 4 Frqvlghu d ixqfwlrq ri d udqgrp yduldeoh/ j +[ ,1 Wkh uhvxow lv dqrwkhu udqgrp yduldeoh/ zklfk zh frxog fdoo \ / \ @ j +[ ,1 Krzhyhu wkh FGI dqg sgi ri \ zloo eh glhuhqw wkdq wkh FGI dqg sgi ri [ 1 Lq idfw zh zloo xvh lqirupdwlrq derxw wkh 1[ +{,/ i[ +{,/ dqg j +[ , wr ghwhuplqh 1\ +|, dqg i\ +|,
\ / lv qrwklqj pruh wkdq wkh suredelolw| ri wkh hyhqw wkdw E  |j Wklv wv ri doo rxwfrphv # vxfk wkdw + ,  | Wklv lv htxlydohqw wr wkh vhw ri doo rxwfrphv # vxfk wkdw j ^[ + ,`  |/ dqg wklv lv htxlydohqw wr wkh vhw ri doo rxwfrph # vxfk wkdw + ,  j" +|, 8H
Wkh SGI ri wkh udqgrp yduldeoh/ frqvlv

Wkh glvwulexwlrq ri t

'

}Ef 

1 +|, @ S +E\  |j, @ S +ij +[,  |j, @ S

<

[  j " + | ,

+69,

Wkh Suredelolw| Ghqvlw| Ixqfwlrq +sgi, ri

'

} Ef 
+6:,

Rqfh wkh SGI ri \ lv frpsxwhg/ wkh frpsxwdwlrq ri wkh sgi ri \ lv vwudljkwiruzdug

E\ +|, @

g I +| , g| \

H{dpsohv
H{dpsoh 43
Ilqg dqg Ohw [ eh d udqgrp yduldeoh1 Ohw

\
|

I\

+| ,

dqg i\ +|,1 Wr qg I\ +|,/ zh pxvw hydoxdwh wkh hyhqw E\

Frqvlghu wkh iroorzlq

( j +[ , @ 5 [ . 4
j judsk
Y

 |j zkhuh \

lv wkh udqgrp yduldeoh

lv vlpso| d qxpehu1

Y= 2X +1 y

{X (y-1)/2}

x=(y-1)/2

hyhqw

Wkh vkdghg yhuwlfdo olqh fruuhvsrqgv wr wkh hyhqw E = \ + ,  |j dqg wkh krul}rqwdo olqh fruuhvsrqgv wr wkh  
=

{Y y}

[ + ,  " # +|  4,

Erwk hyhqwv kdyh wkh h{dfw vdph rxwfrphv1

E = \ + ,  | j @

 = [ + ,

Wkhuhiruh
E\

" + |  4, 5

Wkhuhiruh

Qrwh wkdw wkh lqyhuvh ixqfwlrq j" +\ , lv

8H

 4 +|  4, @ [  j" +|,  |j ( E5[ . 4  |j @ [  5

j " + \ , @
4 5 +

[  ",
 
4 5 +

Qrz vxssrvh [ zdv xqlirupo| glvwulexwhg ehwzhhq 3 dqg 41

1\

+| , @

S ^\

+|  4, ( 1[  |` @ S ^5[ . 4  |` @ S [  " 5

|  ",

i[ +{,
1[ +{,

x +{,  x +{  4, @

Wkhq

Zh fdq qrz sorw 1\

; ! {?! ? { ^x +{,  x +{  4,` @ { !  {  " = " {A"

3

rwkhuzlvh

{4

+6;,

+6<,

+| ,

Ohw*v soxj lq vrph ydoxhv

|@3 |("

|(6

|@5

" I\ +3, @ 1[  " # + 3  4, @ 1[  # ( ! " I\ +4, @ 1[  # +4  4, @ 1[ + 3, @ 3" " I\ +5, @ I[  " # + 5  4, @ 1[ # ( # I\ +6, @ I[ " # + 6  4, @ 1[ + 4, @ 4
43

+73,

8H

Wkh ghqvlw| ri

\ / i\ +|,/ lv

;! ? 1\ + |, @ " # +|  4, =4
vlpso|

|?" |6 |A6

+74,

i\ + | , @
dqg iurp +74, zh kdyh wkdw

Zh fdq dovr frpsxwh wkh E\

E\ + |, @
+| ,

g 1\ g|
4

+ ,

+75,

dv iroorzv

" #

rwkhuzlvh

|$

@ 4 5

+76,

i\ +|, @
H{dpsoh 44

g g I +|, @ I[ g| \ g|

"
5

+|

 4,

E[

"
5

+|

 ",


+77,

Vxevwlwxwlqj +6;, lqwr wkh deryh htxdwlrq/ zh jhw wkh vdph uhvxow dv +76,1 Ohw [ eh d udqgrp yduldeoh1 Ohw

Wkhq iru |  !/ zh kdyh wkdw \  |/ zkhG

( j +[ , @ [ # [ #  | I|  [  I|
\
EHK

Y
2

Y= X y

-y

{Y y}
3H

wh wkdw lq wklv fdvh wkhuh duh wzr lqyhuvh ixqfwlrqv iru j +

j " + \ ,
#

" + \ , j"

@ @

[,
+78, +79,

\ I  \

8H
@GC
Qrz iru |

1\

+| , @

  S +\ ? |, @ S [ # ( | ( S +I|  [  I|, @ I[ +I|,  I[ +I|, g 4 4 I I E +|, @ I +| , @ I i + | , . I i +  | ,

g{

3/ wkhuh duh qr ydoxhv ri { vxfk wkdw

{ ?|

5 #

wkhuhiruh

I\ +|, @ 3

|?3

Djdlq/ vxssrvh [ lv xqlirup ehwzhhq wkh lqwhuydo ^3/4`1 Wkhq zh kdyh wkdw

; 3 |! ? 1\ +|, @ I| ! ? |  " = " |A"

 I " # |
! !|"

@GC

i\ +|, @

Rwkhuzlvh

+7:,

44

F (x)
X

Iljxuh 4=

sgi ri d Jdxvvldq Udqgrp Yduldeoh

Frpprq Udqgrp Yduldeohv

Wkh Jdxvvldq Udqgrp Yduldeoh
Wkh Jdxvvldq udqgrp yduldeoh lv wkh prvw frpprq ri doo udqgrp yduldeohv1 Lw lv xvhg wr fkdudfwhul}h d qxpehu ri udqgrp skhqrphqrq vxfk dv qrlvh prvw frppxqlfdwlrq v|vwhp wr wkh udqgrp xfwxdwlrqv ri wkh ghvluhg uhfhlyhg yrowdjh lq qrq0olqh0ri0vljkw zluhohvv frppxqlfdwlrqv v|vwhpv vxfk dv fhooxodu v|vwhpv dqg shuvrqdo frppxqlfdwlrq v|vwhpv1 Wkh Jdxvvldq udqgrp yduldeoh kdv d sgi zklfk lv frpsohwho| ghqhg e| lwv phdq p dqg yduldqfh #  Ohw [ eh d Jdxvvldq udqgrp yduldeoh zlwk d phdq ri p[ dqg d yduldqfh ri # [  Wkhq/ E[ +{, lv  +{p{,5 4
i[ +{, @
dqg lv so

rwwhg dv iroorzvWkh FGI ri [ lv irxqg lq wkh xvxdo zd|

I [ +{, @
]{

I#

5 5 [

+7;,

"

E[ +, g @

I#
4

] {

[ "
#

p{,5  +  5 5 [

g

+7<,

Wklv lqwhjudo fdqqrw eh hydoxdwhg lq forvhg irup1

Krzhyhu wkh lqwhjudo lv zhoo wdexodwhg1

D wdexodwlrq

frpprq wr frppxqlfdwlrq hqjlqhhuv lv wkh T0ixqfwlrq zkhuh

6 +{, @ I
Wkhuhiruh/

4 5

] "
{

D

#
#

g


+83,

I [ +{, @ 4  T
Rwkhu zhoo wdexodwhg lqwhjudov lqfoxgh wkh

ixqfwlrq lv ghqhg dv iroorzv

huuru ixqfwlrq
hui +{, @ 5 I 

{  p[ [
D
#

+84,

dqg wkh

frpsohphqwdu| huuru ixqfwlrq  Wkh huuru

+85,

]{
!

g

Wkh frpsohphqwdu| huuru ixqfwlrq lv huif +{, @

I
5

]"
{

D 

g

+86,

Qrwh wkdw wkh frpsohphqwdu| huuru ixqfwlrq dqg wkh T0ixqfwlrq duh uhodwhg dv iroorzv 4 { 6 +{, @ 5 huif I Qrwh wkdw

+87,

5 ^{" ? [  {# < lv frpsxwhg dv iroorzv 5 ^{" ? [  {# < ( I

" ## [

] {# +p{ ,5  5 5

{"

g ( T

{  p  {  p  # [ T " [
[ [

+88,

45

Wkh Ud|olhjk Udqgrp Yduldeoh

Vxssrvh zh ghqh d qhz udqgrp yduldeoh
Ohw

[ dqg \ eh wzr lqghshqghqw Jdxvvldq udqgrp yduldeohv zlwk p[ ( p\ ( ! @GC # [ ( # \ ( #

] iurp wkh wudqvirupdwlrq ](

I[ . \
#


Qrz li

dqg

uhsuhvhqwv wkh lv

uhfhlyhg hqyhorsh/

uhsuhvhqw wkh uhfhlyhg yrowdjhv iurp wzr vljqdo frpsrqhqwv lq d zluhohvv fkdqqho/ wkhq qdpho

I;

[ . ;\# ]
#

lv fdoohg d

Ud|olhjk udqgrp yduldeoh

Wkh sgi ri

}# i] +}, @ }# h ## N +},

+89,

dqg lv sorwwhg ehorz iru ydulrxv ydoxhv ri

# [

# ( # W (
Rayleigh distributions for s=1,2,3,...,10

0.7 1 0.6

0.5

0.4 Fx(x)

2 3

0.3

0.2

0.1

0 0

5 x

10

Wkh FGI ri

] lv irxqg e| lqwhjudwlqj wkh sgi1

I ] +} , @
]
}

Wkhuhiruh

"

E] +}, g}

]
@

} !

E] +}, g}

@4

 h #}#
#

+8:,

Wkh uhfhlyhg vljqdo hqyhors lq d fhooxodu ru SFV v|vwhp/ zkhuh olqh0ri0vljkw lv qrw hvwdeolvkhg/ lv w|slfdoo| prghohg dv d Ud|olhjk udqgrp yduldeoh

Wkh H{srqhqwldo Udqgrp Yduldeoh

Ohw

] eh d Ud|ohljk udqgrp yduldeoh1

xssrvh zh ghqh d qhz udqgrp yduldeoh/

Z / vxfk wkdw
+8;,

Z ( ]#
Li

uhsuhvhqwv wkh yrowdjh hqyhorsh ri d vljqdo/ wkh

Wkhq

frqvwdqw1

kdv wkh iroorzlqj sgi

Z
4

uhsuhvhqwv wkh srzhu

lq d vljqdo/ wr zlwklq d

iZ Z

+z , @

#

h # N +
z

+8<,

lv fdoohg dq h{srqhqwldo udqgrp yduldeoh/ dqg wkh sgi ri 46

orrnv dv iroorzv

Exponential distributions for s=1,2,3,...,10 1 1 0.9 0.8 0.7 0.6 Fx(x) 0.5 0.4 3 0.3 4 0.2 0.1 0 0

5 x

10

Wkh F

GI ri Z lv

IZ +z, @

"  D # N +z,
#

+93,

H{srqhqwldo udqgrp yduldeohv duh xvhg wr prgho wkh srzhu ri fhooxodu dqg SFV v|vwhpv zkhuh olqh0ri0vljkw
sursdjdwlrq lv qrw hvwdeolvkhg

Xqlirup Udqgrp Yduldeoh

Lq v|vwhpv ru vljqdov zkhuh wkh skdvh lv qrw nqrzq/ lw lv jhqhudoo| prghohg dv d udqgrp yduldeoh lv xqlirupo| glvwulexwhg ehwzhhq

dqg

#

/ zklfk

Wkh sgi ri vxfk d udqgrp yduldeoh lv

Wkh FGI lv

Wkh Fhqwudo Olplw Wkhruhp

;! ?  1 +, @ ^x +,  x +  5,` . x + . 5, @ #" =" 5

i +, @ ^x +,  x +  5 ,` @ 5
4

" #

rwkhuzlvh

!    #
?! !    #  A #

+94,

+95,

Vxssrvh zh wdnh d odujh qxpehu ri udqgrp yduldeohv dqg vxp wkhp wrjhwkhu1 vwdwhv wkdw wkh uhvxowdqw udqgrp yduldeoh zloo kdyh d Jdxvvldq glvwulexwlrq1 Jdxvvldq udqgrp yduldeohv duh vr frpprq1

Wkh

fhqwudo olplw wkhruhp

Wklv lv rqh ri wkh uhdvrqv zk|

D pruh irupdo vwdwhphqw ri wkh wkhruhp iroorzv

Wkhruhp 5 Ohw [l > l ( "> #> = = = > Q eh d froohfwlrq ri lqghshqghqw udqgrp yduldeohv zlwk d phdq ri ! dqg d yduldqfh ri 41 Ghqh d qhz udqgrp yduldeoh/ \ / dv iroorzv \ @ olp
Wkhq

3 " 3

"

3 [ [
l("

+96,

lv d Jdxvvldq udqgrp yduldeoh zlwk d phdq ri 3 dqg d yduldqfh ri 4/ l1h1/

p\

(!

# \

("

Ulfldq Udqgrp Yduldeohv

Zh mxvw ohduqhg wkdw zkhq olqh0ri0vljkw grhv qrw h{lvw lq d fhooxodu v|vwhp/ wkdw wkh uhfhlyhg hqyhorsh iroorzv d Ud|olhjk glvwulexwlrq1

glvwulexwlrq

Krzhyhu/ li olqh0ri0vljkw lv hvwdeolvkhg/ wkhq wkh vljqdo iroorzv d

Ulfldq
+97,

/ zklfk kdv wkh iroorzlqj sgi

E] +}, @
zkhuh L! +, lv wkh
ghjhqhudwhv wr d Ud|olhjk glvwulexwlrq1

prglhg Ehvvho ixqfwlrq ri wkh 3 wk

#

h  5 5

}# .y5

}y  x +} , # rughu Qrwh wkdw

L!

zkhq

(3

L! +3, @ 4

dqg

47