Competitive Equilibrium of Indivisible Exchange Economy
์กธ์ ์ ์ํด ๋ง์ง๋ง ํ๊ธฐ์ โ๋ฏธ์๊ฒฝ์ ํโ ์์ ์ ๋ฃ๊ฒ ๋์์ต๋๋ค. ๊ฒฝ์ ํ์๋ก ์์ ์ ์ฌ๋ฐ๊ฒ ๋ค์ด์ ๊ฒฝ์ ์ชฝ์ด๋ ๊ถํฉ์ด ์ข์ ์ค ์๊ณ ์ ์ฒญ ํ๋๋ฐ, ์ฌ๊ฑธโฆ ์ด ๊ณผ๋ชฉ์ ์ฌ์ค์ ์ํ๊ณผ ๊ณผ๋ชฉ ์ด์์ต๋๋ค.. ใ ใ ๊ทธ๋๋ ์ํ๊ณผ ๋ณต์์ ๊ณต๋ ํ๊ณ ์์ผ๋, ์ด ์์ ๋ ํ๋ด์ ์ ๋ค์ด๋ด ์๋ค! ์ ์ฒด ํฌ์คํธ๋ โ๋ฏธ์๊ฒฝ์ ํโ ์นดํ ๊ณ ๋ฆฌ์์ ํ์ธํ์ค ์ ์์ต๋๋ค.
๋ค์ด๊ฐ๋ฉฐ
์ง๋ ํฌ์คํธ์์ ์ด์ฐ ๊ตํ ๊ฒฝ์ ์ ๋ํด ๋ชจ๋ธ๋ง ํ๊ณ , ์ด๋ป๊ฒ ๋์ํ๋์ง ์ฌ๋ก๋ฅผ ์ดํด๋ณด์์ต๋๋ค.
์ด๋ฒ ํฌ์คํธ๋ถํฐ๋ ์ด์ฐ ๊ตํ ๊ฒฝ์์์ ์ด๋ป๊ฒ ๊ท ํ์ด ํ์ฑ ๋๋์ง๋ฅผ ์ดํด๋ด ๋๋ค.
Competitive Equilibrium of Indivisible Exchange Economy
์ด์ฐ ๊ตํ ๊ฒฝ์ ์์ โ๊ฒฝ์ ๊ท ํ(Competitive Equilibrium)โ์ ์๋์ ๊ฐ์ ์กฐ๊ฑด์ ๋ง์กฑํ๋ ๊ท ํ ์ํ ์ ๋๋ค.
- Optimality of Choices
- ๊ฐ ๊ฐ์ธ $i$๋ ์๋ ์กฐ๊ฑด์ ๋ฐ๋ผ ์ต์ ์ ์ ํ์ ํฉ๋๋ค.
- ๋ง์ฝ $p < v_i$๋ผ๋ฉด
- $a_2(i) = 1$, ๊ฐ์ธ์ ๋ฐ๋์ ๊ตฌ๋งค๋ฅผ ํฉ๋๋ค.
- ๋ง์ฝ $p > v_i$๋ผ๋ฉด
- $a_2(i) = 0$, ๊ฐ์ธ์ ์ ๋ ๊ตฌ๋งคํ์ง ์์ต๋๋ค.
- $a_1(i) = e_1(i) + p\cdot (e_2(i) - a_2(i))$
- ๊ฐ์ธ์ ์ต์ข ์ฌํ๋ ์์ ๊ณต์์ ๋ฐ๋ฆ ๋๋ค.
- Feasibility
- $\sum a(i) = \sum e(i)$
- ์ฐ์ ๊ตํ ๊ฒฝ์ ์์๋ ์ฑ๋ฆฝํ๋ ๋ฑ์ ์ ๋๋ค!
Walrasโs Law
์ฐ์ ๊ตํ ๊ฒฝ์ ์์ ๋ดค๋ ์ ๋ฆฌ๊ฐ ์ด์ฐ ๊ตํ ๊ฒฝ์ ์์๋ ์ฑ๋ฆฝ ํฉ๋๋ค.
์ด์ฐ ์ฌํ์ ๋ํ ์์์ ์ดํฉ์ด ๊ณต๊ธ์ ์ดํฉ๊ณผ ๊ฐ๋ค๋ฉด,
์ฐ์ ์ฌํ(Money)์ ๋ํ ์์ ์ดํฉ๊ณผ ๊ณต๊ธ ์ดํฉ๋ ๊ฐ๋ค์ง๋ค.
์ฆ, ์ฌํ ์์ฅ์ด Feasibility๋ฅผ ๋ง์กฑํ๋ค๋ฉด, ๋์ ํ๋ฆ๋ ์ ์ ๋ก Feasibility๋ฅผ ์ด๋ฃจ๊ฒ ๋ฉ๋๋ค.
Example
์์์ ๋ดค๋ ์์ ๋ฅผ ๋ค์ ๋ด ์๋ค.
๊ตฌ๋งค์ $B_4$, $B_{10}$ ๊ทธ๋ฆฌ๊ณ ํ๋งค์ $S_0$, $S_6$๊ฐ ์์ ๋โฆ
๊ฒฝ์ ๊ท ํ์ด ์ฑ๋ฆฝํ๊ธฐ ์ํด์๋ ๊ฐ๊ฒฉ์ด $4 \le p \le 6$์ด ๋์ด์ผ ํฉ๋๋ค. ์ด ๊ฐ๊ฒฉ์์๋ ๋ชจ๋ ๊ตฌ๋งค์๊ฐ ๊ตฌ๋งคํ ์ํฅ์ด ์๊ณ , ๋ชจ๋ ํ๋งค์๊ฐ ๋ฌผ๊ฑด์ ํ๋งคํ ์ํฅ์ด ์์ต๋๋ค.
์์ธํ ์ดํด๋ณด๋ฉด,
- $p = 4$
- $B_{10}$์ ๊ตฌ๋งค ์ํฅ์ด ์๊ณ , ๊ตฌ๋งค๋ฅผ ํด์ผ ํฉ๋๋ค.
- $S_0$๋ ํ๋งค ์ํฅ์ด ์๊ณ , ํ๋งค๋ฅผ ํด์ผ ํฉ๋๋ค.
- ๋ฐ๋ฉด์, $B_4$๋ ๊ตฌ๋งค๋ฅผ ํด๋ ๋๊ณ , ์ ํด๋ ๋ฉ๋๋ค. (๋ฌด์ฐจ๋ณ)
- ๋ฐ๋ฉด์, $S_6$๋ ํ๋งค ์ํฅ์ด ์์ต๋๋ค.
- ๋ฐ๋ผ์, ๊ฑฐ๋๋ $(B_{10}, S_0)$ ์ฌ์ด์ ํ ๊ฑด๋ง ๊ฑฐ๋ ๋ฉ๋๋ค.
- $p = 5$
- $B_{10}$์ ๊ตฌ๋งค ์ํฅ์ด ์๊ณ , ๊ตฌ๋งค๋ฅผ ํด์ผ ํฉ๋๋ค.
- $S_0$๋ ํ๋งค ์ํฅ์ด ์๊ณ , ํ๋งค๋ฅผ ํด์ผ ํฉ๋๋ค.
- ๋ฐ๋ฉด์, $B_4$๋ ๊ฐ๊ฒฉ์ด ๋ฐ์ธ์ ๊ตฌ๋งคํ ์ํฅ์ด ์์ต๋๋ค.
- ๋ฐ๋ฉด์, $S_6$๋ ํ๋งค ์ํฅ์ด ์์ต๋๋ค.
- ๋ฐ๋ผ์, ๊ฑฐ๋๋ $(B_{10}, S_0)$ ์ฌ์ด์ ํ ๊ฑด๋ง ๊ฑฐ๋ ๋ฉ๋๋ค.
- $p = 6$
- $B_{10}$์ ๊ตฌ๋งค ์ํฅ์ด ์๊ณ , ๊ตฌ๋งค๋ฅผ ํด์ผ ํฉ๋๋ค.
- $S_0$๋ ํ๋งค ์ํฅ์ด ์๊ณ , ํ๋งค๋ฅผ ํด์ผ ํฉ๋๋ค.
- ๋ฐ๋ฉด์, $B_4$๋ ๊ฐ๊ฒฉ์ด ๋ฐ์ธ์ ๊ตฌ๋งคํ ์ํฅ์ด ์์ต๋๋ค.
- ๋ฐ๋ฉด์, $S_6$๋ ํ๋งค๋ฅผ ํด๋ ๋๊ณ , ์ ํด๋ ๋ฉ๋๋ค. (๋ฌด์ฐจ๋ณ)
- ๋ฐ๋ผ์, ๊ฑฐ๋๋ $(B_{10}, S_0)$ ์ฌ์ด์ ํ ๊ฑด๋ง ๊ฑฐ๋ ๋ฉ๋๋ค.
๊ทธ๋ฐ๋ฐ, $p = 7$์ด ๋์ด๋ฒ๋ฆฐ๋ค๋ฉด,
- $p=7$
- $B_{10}$์ ๊ตฌ๋งค ์ํฅ์ด ์๊ณ , ๊ตฌ๋งค๋ฅผ ํด์ผ ํฉ๋๋ค.
- $S_0$๋ ํ๋งค ์ํฅ์ด ์๊ณ , ํ๋งค๋ฅผ ํด์ผ ํฉ๋๋ค.
- ๋ฐ๋ฉด์, $B_4$๋ ๊ฐ๊ฒฉ์ด ๋ฐ์ธ์ ๊ตฌ๋งคํ ์ํฅ์ด ์์ต๋๋ค.
- ๋ฐ๋ฉด์, $S_6$๋ ํ๋งค ์ํฅ์ด ์๊ณ , ํ๋งค๋ฅผ ํด์ผ ํฉ๋๋ค.
- ๊ฑฐ๋๋ $(B_{10}, S_0)$ ๋๋ ๊ฑฐ๋๋ $(B_{10}, S_6)$ ์ฌ์ด์ ํ ๊ฑด ๊ฑฐ๋ ๋ฉ๋๋ค. ํ์ง๋ง, ํ๋งค๋ฅผ ๋ชปํ ํ๋งค์ ํ๋ช ์ด ๋จ๊ฒ ๋๊ธฐ ๋๋ฌธ์, ๊ท ํ์ด ์ด๋ค์ง์ง ์์ต๋๋ค.
Example - 2
์ด๋ฒ์๋ $S_0$์ธ ํ๋งค์๊ฐ 14๋ช ์๊ณ , $B_{100}$์ธ ๊ตฌ๋งค์๊ฐ 17๋ช ์์ต๋๋ค.
์ด๋ฐ ์ํฉ์์ ๊ฒฝ์ ๊ท ํ์ ๊ฐ๊ฒฉ์ ์ด๋ป๊ฒ ๋ ๊น์?
- $p < 100$
- ๊ตฌ๋งค์ 17๋ช ์ด ๋ชจ๋ ์ฌํ๋ฅผ ์ฌ๊ณ ์ถ์ดํฉ๋๋ค.
- ํ๋งค์ 14๋ช ๋ ๋ชจ๋ ์ฌํ๋ฅผ ํ๊ณ ์ถ์ดํฉ๋๋ค.
- ๊ทธ๋ฌ๋ โ์์ > ๊ณต๊ธโ์ธ โ์ด๊ณผ ์์โ์ด๊ธฐ ๋๋ฌธ์ ๊ท ํ์ด ์ด๋ค์ง์ง ์์ต๋๋ค.
- $p > 100$
- ๊ตฌ๋งค์ 17๋ช ๋ชจ๋ ์ฌํ๋ฅผ ๊ตฌ๋งคํ์ง ์์ต๋๋ค.
- ํ๋งค์ 14๋ช ์ ๋ชจ๋ ์ฌํ๋ฅผ ํ๊ณ ์ถ์ดํฉ๋๋ค.
- โ์์ < ๊ณต๊ธโ์ธ โ์ด๊ณผ ๊ณต๊ธโ์ ๋๋ค. ๋ฐ๋ผ์ ๊ท ํ์ด ์ด๋ค์ง์ง ์์ต๋๋ค.
- $p = 100$
- ๊ตฌ๋งค์ 17๋ช ๋ชจ๋ ๋ฌด์ฐจ๋ณํ ๊ฐ๊ฒฉ ์ ๋๋ค.
- ํ๋งค์ 14๋ช ์ ๋ชจ๋ ์ฌํ๋ฅผ ํ๊ณ ์ถ์ดํฉ๋๋ค.
- ๊ตฌ๋งค์ ์ค 14๋ช ์ด ํ๋งค์ 14๋ช ๊ณผ ์ ํ์ ์ผ๋ก ๊ฑฐ๋๋ฅผ ํฉ๋๋ค. ๋๋จธ์ง 3๋ช ์ ๊ตฌ๋งค์๋ ์ ์ฌ๋ ๋ฉ๋๋ค.
- ์ด๋๋ โ์์ = ๊ณต๊ธโ์ด ๋๊ณ , ๊ฒฝ์ ๊ท ํ์ด ์ฑ๋ฆฝํฉ๋๋ค!
์ด๊ฒ์ โ๊ฒฝ์ ๊ท ํโ์ด ์ด๋ค์ง๊ธฐ ์ํด์ ๊ผญ ๊ฑฐ๋๊ฐ ์ด๋ค์ ธ์ผ ํ๋๊ฒ ์๋์ ์๋ ค์ค๋๋ค. ์ด๋ค ์์ฃผ ํน์ํ ์ํฉ์์๋ ์๋ฌด๋ ์ฌ๊ณ ํ์ง ์๋๋ฐ๋ ๊ท ํ์ด ์ด๋ค์ง ์ ์์ต๋๋ค. ์๋ฅผ ๋ค์ด, ๊ตฌ๋งค์/ํ๋งค์ ๋ชจ๋ $B_{100}$, $S_{100}$์ด๋ผ๋ฉด, $p=100$์ธ ๊ฐ๊ฒฉ์์ ์๋ฌด๋ ๊ฑฐ๋๋ฅผ ํ์ง ์์๋ ๊ท ํ์ด ์ฑ๋ฆฝ ํฉ๋๋ค.
Characterization of Competitive Equilibrium
์ด์ฐ ๊ตํ ๊ฒฝ์ $<N, (v_i)_{i\in N}, e>$๊ฐ ์ฃผ์ด์ก์ต๋๋ค. ์ด๋, ๊ฐ์ธ์ Personal Valuation์ ๊ฐ์น๊ฐ ๋์ ๊ฒ์์ ๋ฎ์ ๊ฒ์ผ๋ก, ๋ด๋ฆผ์ฐจ์์ผ๋ก ์ ๋ ฌ ํฉ๋๋ค. ๊ฐ์น ์ ๋ ฌ์ ํ๋งค์์ธ์ง ๊ตฌ๋งค์์ธ์ง ๊ตฌ๋ถํ์ง ์๊ณ ์งํํฉ๋๋ค.
\[v_1 \ge v_2 \ge \cdots \ge v_n\]๊ทธ๋ฆฌ๊ณ $s$๋ฅผ ์ฌํ๋ฅผ ๋ณด์ ํ๊ณ ํ๋งค ๊ฐ๋ฅํ ์ฌ๋์ ์๋ผ๊ณ ํฉ๋๋ค. ์ด๊ฒ์ ํ์ฌ ์์ฅ์ ์๋ โ๋งค๋ฌผ์ ์ด๋โ์ด๋ผ๊ณ ํฉ๋๋ค.
๊ทธ๋ฌ๋ฉด, ๊ท ํ ๊ฐ๊ฒฉ์ ์๋ ๋ฒ์์์ ํ์ฑ ๋ฉ๋๋ค.
์ฆ, ์ฌํ๋ฅผ ๋ฐ๋ ์์ $s$๋ช ๊ณผ ์ฌํ๋ฅผ ๋ฐ์ง ๋ชปํ๋ ์๋ $N - s$๋ช ์ฌ์ด์์ ํ์ฑ ๋ฉ๋๋ค.
- $p \le v_s$
- ๋ฅผ ๋ง์กฑํ๋ ์์ $s$๋ช ์ ๊ตฌ๋งคํ ์ํฅ์ด ์๊ณ , ์ค์ ๋ก ๊ตฌ๋งค ํฉ๋๋ค.
- $v_{s+1} \le p$
- ๋ฅผ ๋ง์กฑํ๋ ํ์ $N - s$๋ช ์ ์ฌ๊ณ ์ถ์ง ์๊ฑฐ๋ ๋ฌด์ฐจ๋ณ ํฉ๋๋ค.
Proof
์์ ๋ช ์ ๊ฐ ์ฐธ์ธ์ง ์ดํด๋ณด๋ ค๋ฉด, ๊ฒฝ์ ๊ท ํ์ ๋ง์กฑํ๊ธฐ ์ํด 2๊ฐ์ง ์กฐ๊ฑด์ ์ฒดํฌํ๋ฉด ๋ฉ๋๋ค.
1. Optimality Condition
- $p \le v_i$
- ์ธ ์์ $s$๋ช ์ ๊ตฌ๋งค๋ฅผ ํด๋ ๋๋ ํฉ๋ฆฌ์ ์ธ ์ ํ์ ํฉ๋๋ค.
- $v_i \le p$
- ์ธ ํ์ $n-s$๋ช ์ ๊ตฌ๋งค ํ์ง ์์๋ ๋๋ ํฉ๋ฆฌ์ ์ธ ์ ํ์ ํฉ๋๋ค.
์ฆ, ๋ชจ๋ ๊ฐ์ธ์ ์๊ธฐ์๊ฒ ์ต์ ์ธ ์ ํ์ ํฉ๋๋ค.
2. Feasibility
์ด๋ฐ ์ํ์์ ๊ตํ์ด ์ผ์ด๋๋
- ์ด ์ฌํ ์์๋ $\sum a_2(i) = s$์ด๊ณ ,
- ์ด ์ฌํ ๊ณต๊ธ๋ $\sum e_2(i) = s$๋ก
์ฌํ์ ์์์ ๊ณต๊ธ์ด ์ผ์น ํฉ๋๋ค.
Graphical View
๊ฒฝ์๊ท ํ์ ๊ฐ๊ฒฉ๊ณผ ๊ฑฐ๋๋์ด ์ด๋ป๊ฒ ์ด๋ค์ง๋์ง ์๊ฐ์ ์ผ๋ก ๋ณด์ฌ์ฃผ๋ ๊ทธ๋ฆผ ์ ๋๋ค. ์ผ์ชฝ๊ณผ ์ค๋ฅธ์ชฝ์ ์ํฉ์ด ๋ค๋ฆ ๋๋ค.
๊ฐ๊ฐ์ ํ๋งค์์ ๊ฐ์น ํ๊ฐ์ ๊ตฌ๋งค์์ ๊ฐ์น ํ๊ฐ๊ฐ ํ์ ๋์ด ์์ต๋๋ค. ํ๋งค์๋ ๊ฐ๊ฒฉ์ด ์ปค์ง์๋ก ๊ฑฐ๋๋์ด ๋์ด๋ฉ๋๋ค. ๋ฐ๋ฉด์, ๊ตฌ๋งค์๋ ๊ฐ๊ฒฉ์ด ๋์์ง์๋ก ๊ฑฐ๋๋์ด ์ค์ด๋ญ๋๋ค.
[์ผ์ชฝ]
๋ ๊ณ๋จ ๊ทธ๋ํ๊ฐ ๊ต์ฐจํ๋ ์์ ์์
\[\text{# of Seller} \ge \text{# of Buyer}\]๊ฐ ๋ฉ๋๋ค. ์ด๋, ๊ฐ์ฅ ๋ฎ์ ๊ตฌ๋งค์์ ๊ฐ์น๋ $v_s$ ์ ๋๋ค.
๊ท ํ ๊ฑฐ๋๋์ $q^{\ast} = s$๋ก ํํ๋๊ณ , ๊ท ํ ๊ฐ๊ฒฉ์ $v_{s+1} \le p \le v_s$์ ๊ตฌ๊ฐ์ผ๋ก ํํ๋ฉ๋๋ค.
[์ค๋ฅธ์ชฝ]
์ด ๊ฒฝ์ฐ๋ ๊ท ํ ๊ฐ๊ฒฉ์ด ์ ํํ $p^{\ast}$๋ก ๊ณ ์ ๋ฉ๋๋ค.
์ด ๊ฐ๊ฒฉ์์ ๊ตฌ๋งค์๋ค ์ค ์ผ๋ถ๋ $v_i = p$๋ก ๋ฌด์ฐจ๋ณ์ ์ ํธ๋ฅผ ๋ณด์ ๋๋ค. ์ด๊ฒ์ ํ๋งค์๋ค ์ค ์ผ๋ถ๋ ๋ง์ฐฌ๊ฐ์ง ์ ๋๋ค.
์ํ์ผ๋ก ๊ฒน์น๋ ๊ณ๋จ์ด ์ด๊ฒ์ ์๋ฏธํ๋ฉฐ, ์ด๊ฒ์ ๋ฌด์ฐจ๋ณ์ ์ธ ๋ค์์ ๊ฑฐ๋๋์ด ๊ท ํ์ด ๋ ์ ์์์ ๋งํฉ๋๋ค.
์ผ์ชฝ๊ณผ ์ค๋ฅธ์ชฝ ๋ชจ๋ ํ๋์ ๊ท ํ์ด ์๋๋ผ ๊ตฌ๊ฐ์ด๋, ๋ฒ์์ ํํ๋ก ๊ท ํ์ด ๋์์ต๋๋ค. ๊ทธ๋ฐ๋ฐ ํ ํ๋์ ๊ท ํ์ด ์กด์ฌํ๋๋ก ํ ์๋ ์๋๋ฐ์!
\[v_s = v_{s+1}\]์ธ ์ํฉ์ด๋ผ๋ฉด, ๊ฒฝ์ ๊ท ํ์ด ์ ์ผํ๊ฒ ์กด์ฌํฉ๋๋ค!
Example
TDB
Pareto Stable Allocation
์ด์ฐ ๊ตํ ๊ฒฝ์ $<N, (v_i)_{i\in N}, e>$์์ ํ ๋น $a$๊ฐ ํ๋ ํ ์์ ์ด ๋๋ ค๋ฉด,
๊ตํ์ด ์ด๋ค์ง๊ณ ๋ ํ, ์ฌํ๋ฅผ ๊ฐ์ง $i$์ ์ฌํ๋ฅผ ๊ฐ์ง์ง ๋ชปํ $j$์ ๋ํ ์์์ ์ $(i, j)$์ ๋ํด ์ฌํ๋ฅผ ๊ฐ์ง ์ฌ๋์ ๊ฐ์ง์ง ๋ชปํ ์ฌ๋๋ณด๋ค ๊ทธ ๊ฐ์น๋ฅผ ๋ ๋๊ฒ ํ๊ฐํด์ผ ํ๋ค.
\[v_i \ge v_j\]์๋๋ฉด, ์ฌํ๋ฅผ ๊ฐ์ง์ง ๋ชปํ ์ฌ๋์ ๊ฐ์ง ๋๋ณด๋ค $i$๊ฐ ๋งค๊ธด ๊ฐ์น๊ฐ ๋ ์ปค์ผ ํฉ๋๋ค.
\[v_i \ge a_1(j)\]๋์ ์ข ํฉํ๋ฉด,
\[v_i \ge \min(v_j, a_1(j))\]๊ทธ๋ฆฌ๊ณ , ๊ฒฝ์ ๊ท ํ ํ ๋น์ ํญ์ ํ๋ ํ ์์ ์ ์ ๋๋ค.
์ ๋ $v_i \ge a_1(j)$ ๋ถ๋ถ์ด ์ ์ดํด๊ฐ ์ ๋์๋๋ฐ์ ๐ค ์๊ฒ $a_(j)$๋ฅผ ๊ฑฐ๋๊ฐ ์ด๋ค์ง ๊ฐ๊ฒฉ์ผ๋ก ์ดํดํ๋ฉด ๋๋๋ผ๊ตฌ์!
์ผ๋จ ๊ฑฐ๋๋ $v_i \ge p$์ธ ๊ฐ๊ฒฉ์์ ์ด๋ค์ง๋๋ค. ๊ทธ๋ฐ๋ฐ, ๊ฑฐ๋๊ฐ ์ด๋ค์ง๋ฉด ๊ทธ ๊ฐ๊ฒฉ๋งํผ ๊ธฐ์กด์ ์ฌํ๋ฅผ ๊ฐ์ก๋ ์ฌ๋์ ํํ ์ฌํ๊ฐ ์ถ๊ฐ ๋ฉ๋๋ค. ๋ฐ๋ผ์,
\[v_i \ge \left(p = a_1(j)\right) \ge v_j\]๋ผ๊ณ ๋ณด๋ฉด ๋ ๊ฒ ๊ฐ์ต๋๋ค!
Core and Competitive Equilibrium
Every allocation $a$ in the core of a indivisible exchange economy, there is a number $p$ s.t. $(p, a)$ which is a competitive equilibrium of the economy.