VHL$$XVGUXFN >∀[$XQG

.DSLWHO5HODWLRQHQNDONOHDOVDQJHZDQGWH3UlGLNDWHQNDONOH .DS3UlGLNDWHQNDONO

'HI7HUPH

.RQVWDQWH DEF VLQG7HUPH 9DULDEOHQ [\] VLQG7HUPH )XQNWRUHQ IJK

ZHQQWWWN7HUPHVLQG GDQQLVWIWWWN7HUP

%HLVSLHOH IDJ[EK\][[

KJE[IJE[IDKDEFG

LH$XIVFKLFKWXQJYRQ7HUPHQEHOLHELJZHLW

'HI3UlGLNDWHVWW]HQVLFKDXI7HUPHDE

§ 3UlGLNDWEH]HLFKQHU3UlGLNDWRUHQ345

§ ZHQQWWWN7HUPHVLQGGDQQLVW

3WWWN3UlGLNDWE]Z3UlGLNDWVDXVGUXFN$WRP 'HIORJLVFKHU$XVGUXFN)RUPHO

§ $WRPLVWHLQ$XVGUXFN

§ ORJLVFKH.RQQHNWRUHQ ∧∨¬

§ VHLHQ$%$XVGUFNH >

$∧%$∨%¬$ VLQG$XVGUFNH

§ 4XDQWRUHQ ∀∃

§ VHL$$XVGUXFN >∀[$XQG∃[$ VLQG$XVGUFNH [LVWJHEXQGHQVRQVWLVW[IUHL

%HLVSLHOH 33[3\]

3∨4DEF

5JI[

∀[3[

∃\4[\

3∧¬∃[3[\∨5JI[

.ODPPHUQZHJODVVHQZHJHQ2SHUDWRUSUl]HQGHQ]HQ

¬

∧

∨

EHOLHELJH8PEHQHQQXQJJHEXQGHQHU9DULDEOHQLQQHUKDOELKUHV

%LQGXQJVEHUHLFKHVPVVHQHLQGHXWLJEOHLEHQ

+LQZHLV%LVKLHUKHUV\QWDNWLVFKHV6SLHOPLW=HLFKHQUHLKHQ

,QWHUSUHWDWLRQ6HPDQWLN%HGHXWXQJGHU=HLFKHQUHLKHQ , I→I¶

3→3¶ PLW

I¶'×'××'M→' 3¶'×'××'P→%RRO %RRO % ^WUXHIDOVH` ^`

MPVLQG6WHOOLJNHLWYRQI¶E]Z3¶

'L,QGLYLGXHQEHUHLFKH'RPlQHQ.RQVWDQWHQ

IXQG3VLQG$EELOGXQJHQGLHHLQH$XVZHUWXQJYRQ7HUPHQXQG

$XVGUFNHQHUP|JOLFKHQIXQG3ZHUGHQEHUHFKQHWRGHU JHVSHLFKHUW

%HLVSLHOH I¶≡,QGLYLGXHQLQW

→E]Z I¶→

3¶≡³LVW7HLOHUYRQ´

3¶→WUXH 3¶→IDOVH

3¶[→"KlQJWYRQ%HOHJXQJYRQ[DE

∃[3¶[ ∃\3¶\

∀\∃[3¶[\ ∃[∃\3¶[\

)D]LW

:DKUKHLWVZHUWHLQHUJHVFKORVVHQHQ)RUPHOLVWZRKOGHILQLHUW GKXQDEKlQJLJYRQ9DULDEOHQEHOHJXQJ'DVLVWGDVEOLFKH ,QWHUHVVHEHL3UlGLNDWHQORJLNXQGEHL6lW]HQGHU0DWKHPDWLN :DKUKHLWVZHUWHLQHURIIHQHQ)RUPHOLVWDEKlQJLJYRQ

9DULDEOHQEHOHJXQJ

'HI$QWZRUW 0HQJHGHU%HOHJXQJHQIUGLHIUHLHQ9DULDEOHQIU GLHHLQH)RUPHOWUXHZLUG

%HLVSLHO'+31DPH1RWH∧1RWH $QWZRUW"

∃[∃\>'+3[\∧[@ $QWZRUW"

.DSLWHO5HODWLRQHQNDONO7XSHONDONO

PHKUHUH'RPlQHQ'''N

]% LQWHJHU UHDO VWULQJ GDWH WLPH %RROFKDU FKDU∗ QXPHULF LQWHJHUHWF

OLHIHUQ.RQVWDQWHXQWHUVFKLHGOLFKHQ7\SVIU7HUPH

9DULDEOHQXQG%HOHJXQJHQ

,Q/RJLNPHLVWHQV%HUHLFKIU9DULDEOHQEHOHJXQJHQLGHQWLVFKIU DOOH9DULDEOHQ³,QGLYLGXHQEHUHLFK´ZLUGGHVKDOELQ)RUPHOQ XQWHUVFKODJHQ

,Q5HODWLRQHQ.DONO5HODWLRQHQKDEHQ=ZHFN%HUHLFKHIU 9DULDEOHQEHOHJXQJHQ]XGHILQLHUHQ]%

[∈5PLW

5⊂'×'××'N

Þ6SH]LILNDWLRQYRQ7XSHOYDULDEOH [∈5 \∈6]∈6]∈6

HWFZLUGDX‰HUKDOEYRQ)RUPHOQDQJHJHEHQE]ZLQGLUHNWLQ 64/±6WDWHPHQWV

$OWHUQDWLYHIU[EHOLHELJH6WUXNWXUHQXQG%HOHJXQJHQ]XODVVHQ XQG3UlGLNDW5[HLQIKUHQPLW

5[ WUXH LII [∈5

$WWULEXWYDULDEOH

VHL$L$WWULEXWYRQ5HODWLRQ5

VHL [∈ 5 GK %HOHJXQJVEHUHLFK YRQ7XSHOYDULDEOH[VLQGGLH 7XSHOYRQ5

[LE]Z[$LLVW$WWULEXWYDULDEOH3XQNWQRWDWLRQIU5

9DULDEOHQEHOHJXQJ

[∈5NDQQEHOLHELJHV7XSHOYRQ5VHLQ

GDQQ LVW [L PLW HQWVSUHFKHQGHU .RPSRQHQWH GLHVHV 7XSHOV EHOHJWLPSOL]LW

]% [ µEODX¶

[ [ µEODX¶

7HUPH6DW]YRQNRQNUHWHQ2SHUDWRUHQ]%

÷÷÷÷∗∗∗∗ IU$WWULEXWYDULDEOHQ PLW'RPlQHQLQWUHDO

7HUPHZHUGHQPLW$WWULEXWYDULDEOHQJHELOGHW WSULFH∗

SDUWFRVWODERUWLPH∗ZRUNHUUDWH WRGD\±ZRUNHUELUWKGDWH

PLW7XSHOYDULDEOHQ SDUW∈3$57 ODERU∈/$%25 ZRUNHU∈:25.(5

0HUNH8QWHUVFKHLGH]ZLVFKHQ7XSHOYDULDEOHXQG5HODWLRQ

3UlGLNDWH

9HUJOHLFKVSUlGLNDWH !!!! PLW,QIL[6FKUHLEZHLVHE]Z

/7 /( (4 1( *( *7

/,.(IUVWULQJ9HUJOHLFKPLW9HUJOHLFKVPXVWHUGDED

0HQJHQYHUJOHLFKV3UlGLNDWH]XP9HUJOHLFKYRQ0HQJHQYRQ 7XSHOQ]%YRQ5HODWLRQHQ$QWZRUWHQ

&217$,16 127&217$,16 FRQWDLQV QRWFRQWDLQV HTXDO QRWHTXDO

DLQ5E]ZD∈5LVW.XU]IRUPIU D DDDN∧

∃UU D∧U D∧∧UN DN

$XVGUFNHDXIJHEDXWPLW

9HUJOHLFKVSUlGLNDWHQIU$WWULEXWYDULDEOHQ

∀ ∃EHU7XSHOYDULDEOHQ

0HQJHQYHUJOHLFKHQ

%HLVSLHOH$XVGUFNH)RUPHOQ]XU$QIUDJHIRUPXOLHUXQJ EHUHFKQXQJIU8QL6FKHPD

352) 0,7$5%

=L 01DPH

31DPH IRUVFKW 7HO EHWUHXW

23DXO 6SHFKW201,6%D\HU

2%D\HU 5HLVHU6)%%D\HU

$QIUDJH³0LWDUEHLWHUYRQ3URI%D\HU"´

7XSHOYDU S[∈352) P\∈0,7$5%

$QIUDJH±$XVGUXFN4$

P\EHWUHXW µ%D\HU¶ ≡≡≡≡ 4$P\

^P\1DPH_P\EHWUHXW µ%D\HU¶`

)UHLH9DULDEOHP\

$QWZRUW DOOH%HOHJXQJHQYRQP\

VRGD‰4$WUXHZLUG

$QIUDJH³&KHIYRQ6SHFKWPLW1DPHXQG7HO"´

$QIUDJH±$XVGUXFN4$

P\01DPH µ6SHFKW¶∧P\EHWUHXW S[3QDPH≡≡≡≡ 4$P\S[

^S[31DPHS[7HO_P\01DPH µ6SHFKW¶

∧∧∧∧P\EHWUHXW S[3QDPH`

+LHUZLUGP\ZHJSURML]LHUW

+LQZHLV4$P\ 4$P\S[

VLQG4XHU\$XVGUFNHE]ZRIIHQH)RUPHOQPLWIUHLHQ9DULDEOHQ P\S[

Þ 4$4$ZHUGHQWUXHIUEHVWLPPWH%HOHJXQJHQYRQS[P\

$OV$QWZRUWHQDXI4$4$LQWHUHVVLHUHQQXU7HLOHGHU

%HOHJXQJHQGHVKDOE3URMHNWLRQ

3DUWLHOOHU$EVFKOX‰HLQHU)RUPHOPLW∃∃∃∃

)DOOVQXU7HLOHGHU$QWZRUWLQWHUHVVLHUHQ]%

∃P\4$P\S[

3URMHNWLRQVOLVWHhEHUJDQJYRQ7XSHOYDULDEOHQ]X

$WWULEXWYDULDEOHQEHLIUHLHQ7XSHOYDULDEOHQ]%

S[31DPHS[7HO_4$P\S[

RGHUPLWH[SOL]LWHU4XDQWLIL]LHUXQJ

S[31DPHS[7HO_∃∃∃∃P\4$P\S[

9RUJULIIDXI64/

VHOHFWS[31DPHS[7HO

IURP S[∈352)P\∈0,7$5%

ZKHUH P\01DPH µ6SHFKW¶DQG P\EHWUHXW S[31DPH

=XVDPPHQIDVVXQJ7XSHONDONO

%LQGXQJVEHUHLFKYRQ7XSHOYDULDEOHQ IHVWOHJHQa5HODWLRQ

4XHU\$XVGUXFN4$IRUPXOLHUHQXQWHU9HUZHQGXQJYRQ$WWULEXWYDULDEOHQ .RQVWDQWHQXQGHLQJHEDXWHQ9HUJOHLFKVRSHUDWRUHQ4XDQWRUHQ

:DVIU$QWZRUWQLFKWLQWHUHVVLHUWPLW∃TXDQWLIL]LHUHQ$QWZRUWDXI4$LVWGLH

%HOHJXQJGHUIUHLHQ9DULDEOHQVRGD‰4$WUXHZLUG

)UQRFKIUHLH7XSHO9DULDEOHQGLHLQWHUHVVLHUHQGHQ$WWULEXWYDULDEOHQ

DQJHEHQ³3URMHNWLRQVOLVWH´LH(UZHLWHUXQJGHVVWDQGDUG3UlGLNDWHQNDONOV [L[LN]M]MH4$

RIIHQHUSUlGLNDWHQORJLVFKHU$XVGUXFN

[]VLQGJHQDXGLH7XSHOYDULDEOHQGLHLQ4$IUHLVLQG

,PSOL]LWH4XDQWLIL]LHUXQJPLW∃IDOOVIUHLH7XSHO9DULDEOHQQLFKWLQ 3URMHNWLRQVOLVWHVWHKHQ

.DS%HLVSLHOH7XSHO.DONO

5HODWLRQHQ*UDSK6FKHPDPLW-RLQ0|JOLFKNHLWHQ

,167,787,21 *5833(

1DPH *%H]

8QL EHL

YHUWULWW EHL

KDW&KHI

352) 0,7$5%

31DPH 01DPH

7HO IRUVFKW

=L EHWUHXW

/(,7(7 352-(.7

3URIHVVRU 3%H]

3URMHNW %HJLQQ

(QGH

'0

]XHUJlQ]HQ678'(17 35h)7

³3URIHVVRUHQPLW7HO=L´

S[S[∈352)

³7HOYRQ3URI3DXO´

S[7HO S[∈352)∧ S[3QDPH µ3DXO¶

³0LWDUEHLWHUGLHYRQ3URI%RGHEHWUHXWZHUGHQ´

P[P[∈0,7$5%∧ P[EHWUHXW µ%RGH¶

³1DPHXQG7HOGHV%HWUHXHUVYRQ6SHFKW´

S\31DPHS\7HO

P[∈0,7$5%∧S\∈352)∧ P[1DPH µ6SHFKW¶∧

P[EHWUHXW S\31DPH

LH9HUIROJXQJJHQDXHLQHV9HUZHLVHV

³$OOH0LWDUEHLWHUYRQ3URMHNWHQGLHYRUHQGHQ´

P[P[∈0,7$5%∧∧∧∧S]∈352-(.7∧∧∧∧

S](QGH>@∧∧∧∧

P[IRUVFKW S]3%H]

LH5FNYHUIROJXQJYRQYLHOHQ9HUZHLVHQ2SWLPLHUXQJ"

³/HLWHUYRQ3URMHNWHQGLHYRUHQGHQPLW 7HO=L³

[[∈352)∧∧∧∧]∈/(,7(7∧∧∧∧\∈352-(.7∧∧∧∧

[31DPH ]3URIHVVRU∧ ]3URMHNW \3%H]∧

\(QGH>@

LH-RLQVPLW5HVWULNWLRQ

³3URMHNWHPLW0LWDUEHLWHUQGLHDQ78SURPRYLHUHQ´

$OOJHPHLQH9RUJHKHQVZHLVHIU$QIUDJHIRUPXOLHUXQJ

DQKDQGGHV5HODWLRQHQ*UDSKHQPLW)UHPGVFKOVVHO'LDJUDPP

• JHZQVFKWH,QIRÞ3URMHNWLRQVOLVWH

• 9HUZHLV±9HUELQGXQJHQ-RLQ±%HGLQJXQJHQ]%[$ \%

GDUDXVHUJHEHQVLFKGLHEHWHLOLJWHQ5HODWLRQHQ

• 5HVWULNWLRQHQÞRIW.RQVWDQWHQYHUJOHLFK,QWHUYDOO%HGLQJXQJHQ]%

P[EHWUHXW µ%RGH¶ RGHU S](QGH>@∧∧∧∧

S](QGH≥≥≥≥>@

• 7XSHO9DULDEOHQEHUEHQ|WLJWHQ5HODWLRQHQ

.DS5HODWLRQHQNDONO'RPlQHQ.DONO

• 9DULDEOHQKDEHQDOV%HUHLFK'RPlQHQ

• 5HODWLRQHQZHUGHQDOV3UlGLNDWHDXIJHID‰WLH 3UlGLNDW5¶IU5HODWLRQ5

5¶[\]DOVRIIHQHV$WRPGK

5¶[\]ZLUGWUXHIU%HOHJXQJ

[ D \ E ] F

LII DEF∈5

5HO5DOV0HQJHYRQ7XSHOQDXIJHID‰W

%HLVSLHODXV7XSHO.DONO U[∈5 ∧ V\∈6

^U[LV\M _4U[V\`

ZLUGLP'RPlQHQ±.DONO 5¶''' 6¶''

[[[ \\

'RPlQHQ±9DULDEOHQ

PLW 3UlGLNDW 4¶ XQG PLW ,GHQWLIL]LHUXQJ YRQ $WWULEXWHQ GXUFK 3RVLWLRQHQ GKNHLQH$WWU1DPHQ

DXV4ZLUG4¶

5¶[[[∧6¶\\∧ 4¶[[[\\

GK[_L[_MlKQOLFKZLH$WWULEXW9DU

9HUHLQIDFKXQJEHL(TXL-RLQV

-RLQ%HGLQJXQJ [$ \% LQ 7XSHO.DONO ZLUG GXUFK 9DULDEOHQ ,GHQWLIL]LHUXQJDXVJHGUFNW

VLHKH4XHU\6LQ.DS P[∈0,7$5%∧S\∈352)∧ P[1DPH µ6SHFKW¶∧

P[EHWUHXW S\31DPH

LP'RPlQHQNDONO

0,7$5%[\] ∧∧∧∧352)XYZ∧∧∧∧

[ ¶6SHFKW¶∧∧∧∧ ] X

Þ 0,7$5%¶6HFKW¶\]∧∧∧∧

352)]YZ

+DXSWSUREOHPEHL'RPlQHQNDONO

6HPDQWLVFKH%HGHXWXQJYRQ3RVLWLRQHQYRQ9DULDEOHQ"

0,7$5%¶[\] lTXLYDOHQW]X 0,7$5%¶ZYX

01DPH IRUVFKW EHWUHXW

3URMHNWLRQVOLVWHXQGZHLWHUHIUHLH9DULDEOHQ

352)¶XYZ

31DPH 7HO =L

^XY_0,7$5%[\]∧∧∧∧352)XYZ∧∧∧∧[ ¶6SHFKW¶∧∧∧∧] X`

RGHU

^]Y_0,7$5%¶6SHFKW¶\]∧∧∧∧352)]YZ`

)UDJHIUHLH9DULDEOHQ\Z"

ZHUGHQLPSOL]LWPLW ∃∃∃∃ TXDQWLIL]LHUWGK

^]Y_∃∃∃∃\∃∃∃∃Z0,7$5%¶6SHFKW¶\]∧∧∧∧352)]YZ`

%HWUDFKWHDOV'HILQLWLRQHLQHVQHXHQ3UlGLNDWV&+()]Y 'LH%HOHJXQJGHUIUHLHQ9DULDEOHQ]YLVW$QWZRUWDXI$QIUDJH

=XVDPPHQIDVVXQJ

7XSHO.DONO UHODWLRQDOH'%6\VWHPH 7KHRULH)XQGDPHQWIU64/

'RPlQHQ.DONO

hEOLFKEHL/RJLN3URJUDPPLHUXQJ ]%352/2*XGHGXNWLYH'%6H

%HLVSLHODXV099LP'RPlQHQNDONO352/2*1RWDWLRQ 6WRSV/LQLH+DOWHVWDWLRQ

8PVWHLJHQ6+8← 6WRSV6+∧∧∧∧

6WRSV8+

6WRSV DOV %H]LHKXQJ ]ZLVFKHQ ]ZHL (QWLWLHV /LQLH XQG +DOWHVWDWLRQ DXIJHID‰W

GDVVHOEH%HLVSLHO8PVWHLJHQLP7XSHO.DONO

^µ6µVµ8µ_

V∈6WRSV ∧∧∧∧ V∈6WRSV∧∧∧∧

V µ6µ∧∧∧∧ V µ8µ∧∧∧∧V V`

PLW64/6\QWD[

VHOHFWµ6µVµ8µ

IURP 6WRSV V 6WRSV V

ZKHUHV µ6µ∧∧∧∧V µ8µ∧∧∧∧V V

+LQZHLVGLH.RPSDNWHUH6FKUHLEZHLVHGHV'RPlQHQNDONOV lQGHUWVLFKEHL³EUHLWHQ´5HODWLRQHQXQGVHPDQWLVFKHQ

$WWULEXWQDPHQ]XJXQVWHQGHV7XSHONDONOV