Lotteries
Lotteries
νλ₯ μ μΈ κ²°κ³Όλ₯Ό ν¬ν¨νλ μ νμ§ μ λλ€. μ¬λμ΄ μ νμ νλ©΄, 보μμ΄ νλ₯ μ μΌλ‘ κ²°μ λ©λλ€.
μ΄λ€ 보μμ μ§ν©μ $Z$λΌκ³ ν λ,
Lottery $p$λ $z \in Z$μ νλ₯ $p(z)$λ₯Ό ν λΉ ν©λλ€.
λ‘ν°λ¦¬μμ νλ₯ μ΄ 0λ³΄λ€ ν° λ³΄μμ μ§ν©μ support $\text{supp}(p)$λΌκ³ ν©λλ€.
\[\text{supp}(p) = \left\{ z \in Z | p(x) > 0 \right\}\]- $L(Z)$
- set of all lotteries over $Z$
- $[z]$
- the lottery that yields the prize $z$ with probability 1
- Deterministic Lottery, Unity Lottery
κ·Έλ¦¬κ³ Lotteryμ λν νκΈ°λ μλμ κ°μ΄ ν μ μμ΅λλ€.
each $\alpha_k = p(z_k)$
\[\alpha_1 \cdot z_1 \oplus \cdots \oplus \alpha_n \cdot z_n\]Visualize set of lotteries
λ§μ½ $Z$κ° λ κ°μ μν $z_1, z_2$λ‘ κ΅¬μ± λμ΄ μλ€κ³ νλ€κ³ , κ° μνμ λν νλ₯ $p_1, p_2$κ° ν λΉ λλ€κ³ νμ.
νλ₯ μ ν©μ νμ 1μ΄μ΄μΌ νκΈ° λλ¬Έμ $p_1 + p_2 = 1$μ λ§μ‘±νκ³ , μ΄λ μμ κ·Έλ¦Όμ²λΌ νλ©΄ μμ ννν μ μμ΅λλ€.
λ§μ½, $Z$κ° 3κ°μ μνμΌλ‘ κ΅¬μ± λμ΄ μμλ€λ©΄, λΉμ·νκ² 3μ°¨μμ κ³΅κ° λ€μ 그릴 μ μμ΅λλ€.
Preference over lotteries
μ΄λ€ μ¬λ μμ μ¬λ¬ μ’ λ₯μ 볡κΆμ΄ μμ΅λλ€. μ¬λλ§λ€ μ νΈνλ 볡κΆμ΄ λ€λ₯Ό ν μ£ . μλμμλ μ¬λλ€μ 볡κΆμ λν μ νΈμ λν΄ μκΈ°ν΄λ΄ λλ€.
Pessimist
λΉκ΄μ£Όμμμ μμ μ λλ€. μ΄ μ¬λμ 볡κΆμ νκ°ν λ, κ·Έ μμμ μΌμ΄λ μ μλ κ²°κ³Όλ€ μ€ βκ°μ₯ λμ κ²°κ³Όβλ₯Ό κΈ°μ€μΌλ‘ νλ¨ ν©λλ€.
κ·Έ λμ κ²°κ³Όκ° μ무리 μμ νλ₯ μ κ°λλΌλ, λΉκ΄μ£Όμμλ κ°μ₯ λμ κ²°κ³Όλ₯Ό κΈ°μ€μΌλ‘ κ·Έ 볡κΆμ νκ° ν©λλ€.
λΉκ΄μ£Όμμλ κ° λ³΅κΆμ κ°μ₯ λμ κ²°κ³Ό $w(p)$λ‘ λ체ν΄μ μκ° ν©λλ€. κ·Έλ¦¬κ³ , κ·Έ λμ κ²°κ³Ό μ€μμ κ°μ₯ ν° ν¨μ©μ κ°μ§λ 볡κΆμ μ νΈ ν©λλ€.
Good and Bad
μ΄ μ¬λμ 볡κΆμ μ’μκ²(good)κ³Ό λμκ²(bad) λ μ§λ¨μΌλ‘ λΆν νμ¬ μκ° ν©λλ€.
κ·Έλ¦¬κ³ , μ’μκ²μ μ§λ¨μ νλ₯ λͺ¨λ κ³μ°ν΄ $G(p)$λ‘ λ‘λλ€.
\[G(p) = \sum_{z\in\text{good}} p(z)\]μ΄ μ¬λμ κ° λ³΅κΆμ λν μ’μ κ±Έ μ»μ νλ₯ $G(p)$λ₯Ό ꡬνκ³ , μ΄κ²μ΄ λμ 볡κΆμ μ νΈ ν©λλ€.
μ΄ μ¬λμ μ’μ κ²°κ³Όμ κ°μΉλ 무μνκ³ , μ’μ κ²°κ³Όκ° λμ¬ νλ₯ λ§μ κΈ°μ€μΌλ‘ ν©λλ€.
Minimizing Options
μ΄ μ¬λμ μΌμ΄λ μ μλ κ²½μ°μ μκ° μμ κ±Έ μ νΈ νλ μ¬λ μ λλ€. μ΄μ λ₯Ό λ€μ΄λ³΄λ, κ°λ₯ν κ²½μ°μ μκ° μ μμλ‘ λλΉνκΈ° μ½κ³ μμ¬ λλ€κ³ νλ€μ. μ¦, λΆνμ€μ±μ΄ μ μμλ‘ μ νΈνλ μ¬λ μ λλ€.
\[p > q \iff \| \text{supp}(p) \| \ge \| \text{supp}(p) \|\]μ΄λ° κ²½μ°λ μ΄λ€ μν©μ μ€λΉνλκ² μ€μν μν©, μλ₯Ό λ€λ©΄ μλ£ μμ μ΄λ κ΅°μ¬ μμ μμ μ΄ μ νΈκ° μ μ©ν μ μμ΅λλ€.
Summary
μμμ 볡κΆμ λν 3κ°μ§μ μ νΈ λ°©μμ μ΄ν΄λ³΄μμ΅λλ€β¦λ§ 볡κΆμ λν μ νΈλ μ λ§ λ€μνκ² μ μν μ μμ΅λλ€.
μμΌλ‘λ μ΄λ° λ³΅κΆ μ νΈλ€ μ€μμ βμ’μ μ±μ§βμ λ§μ‘±νλ νΉλ³ν λ³΅κΆ μ νΈλ€λ§ 골λΌμ μ’λ μ΄ν΄λ³΄κ³ μ ν©λλ€.
Properties
Continuity
μνκΆ 100λ§μ, 70λ§μ, 40λ§μμ΄ μμ΅λλ€. λ§μ½ 100λ§μμ΄ 0.5 νλ₯ , 40λ§μμ΄ 0.5 νλ₯ μΈ λ³΅κΆμ΄ μλ€λ©΄, κ·Έ μ¬λμ 70λ§μκ³Ό κ·Έ 볡κΆμ 무차λ³νκ² μ νΈ νλ€κ³ ν©λλ€.
μμ κ°μ μν©μ΄ 볡κΆμ λν μ νΈκ° Continuityλ₯Ό λ§μ‘±νλ€κ³ ν©λλ€. νμμ κ°μΆ°μ μ μ΄λ³΄λ©΄,
볡κΆμ λν 보μ $Z$μ λν΄ μλμ κ°μ΄ μ°μμ μΈ μ νΈκ° μμ΅λλ€.
\[[a] \succ [b] \succ [c]\]κ·Έλ¦¬κ³ , $b$μ λλ±ν κ°μΉλ‘ μ¬κ²¨μ§λ μ΄λ€ 볡κΆμ λ§λ€μ΄λΌ μ μλ€λ©΄,
\[[b] \sim \alpha \cdot a \oplus (1-\alpha) \cdot c\]βμ νΈ κ΄κ³κ° 볡κΆμ λν΄ μ°μμ±μ κ°λλ€βκ³ λ§ν μ μμ΅λλ€.
λΉκ΄μ£Όμμκ° κ°λ μ νΈλ μ°μμ±μ κ°μ§ λͺ»ν©λλ€. μλνλ©΄, λΉκ΄μ£Όμμλ $a$μ $c$λ₯Ό μμ 볡κΆμ΄ μμΌλ©΄ νμ $c$λ₯Ό κΈ°μ€μΌλ‘ νλ¨νκΈ° λλ¬Έμ λλ€.
βGood and Badβ μ νΈλ vacuously μ°μμ΄λΌκ³ ν©λλ€. κ·Έ μ΄μ λ μ’μ κ²°κ³Όκ° λμ¬ νλ₯ μ μ΄ν© $G(p)$λ§ λ³΄κ³ νλ¨νκΈ° λλ¬Έμ 보μμ λν μ‘°ν©μ΄ μλ―Έκ° μκΈ° λλ¬Έμ λλ€. μ΄ μ νΈμμλ μ°μμ±μ ν μ€νΈν μν© μμ²΄κ° μλ€κ³ ν©λλ€.
βMinimizing Optionsβλ vacuously μ°μμ΄λΌκ³ ν©λλ€. μλνλ©΄, $[a] \succ [b] \succ [c]$μ κ°μ 보μ κ°μ μ νΈκ° μμ μ μλμ§ μκΈ° λλ¬Έμ λλ€. κ·Έλμ μ μ΄μ μ°μμ±μ λν μ μ¬κ° μ±λ¦½νμ§ μκ³ , μ°μμ±μ΄ vacuously λ§μ‘±νλ€κ³ λ΄ λλ€.
Compound Lottery
λ³΅ν© λ³΅κΆ, λ³΅κΆ μμ 볡κΆ. λ λ¨κ³ μ΄μμ 무μμμ±μ΄ μμ λλ₯Ό λͺ¨λΈλ§ νλ λ°©λ² μ λλ€.
보μμ λν μ§ν© $Z$κ° μκ³ , κ·Έ μμ μ μλ λ³΅κΆ $p_1, β¦, p_k$κ° μμ΅λλ€. μ΄λ€μ $L(Z)$μ μμ μ λλ€.
λ³΅ν© λ³΅κΆμ μλμ κ°μ΄ μ μ λ©λλ€.
\[\alpha_1 p_1 \oplus \alpha_2 p_2 \oplus \cdots \oplus \alpha_k p_k\]μ΄κ²μ κ° μ¬ν $z \in Z$μ λν νλ₯ μ νμ΄μ°λ©΄ μ΄λ κ² λ©λλ€.
\[\text{Prob}(z) = \sum_{i=1}^{k} \alpha_k \cdot p_k(z)\]Independence
볡κΆμ λΆλΆμ λν μΌκ΄μ±μ΄ λ³΅κΆ μ 체μ λν μΌκ΄μ±κ³Ό μΌμΉν΄μΌ νλ€λ μ±μ§ μ λλ€.
λ³΅κΆ λ΄μ νΉμ νλͺ©μ λ€λ₯Έ κ±Έλ‘ λ°κΏ¨μ λ, λ³΅κΆ μ 체μ λν μ νΈλ κ·Έμ λ§κ² μΌκ΄λκ² λ°λμ΄μΌ νλ€λ μ±μ§ μ λλ€.
μμμΌλ‘ μ΄ν΄νλκ² μ’λ νΈν©λλ€.
λ λ³΅κΆ μμ΄μ μλμ κ°μ μ νΈκ° μ±λ¦½ ν©λλ€.
\[[z_k] \succeq \beta a \oplus (1-\beta) b\]κ·Έλ¬λ©΄, μλμ μ νΈλ μ±λ¦½ νλ€λ©΄, κ·Έ μ νΈκ° 볡κΆμ λν΄ λ 립μ±μ κ°μ΅λλ€.
\[\alpha_1 z_1 \oplus \cdots \oplus \alpha_k z_k \oplus \cdots \oplus a_n z_n \succeq \alpha_1 z_1 \oplus \cdots \oplus \alpha_k (\beta a \oplus (1-\beta) b) \oplus \cdots \oplus a_n z_n\]κ·Έλ¦¬κ³ μ΄ λͺ μ μ λν μλ μ±λ¦½ ν©λλ€.