@@ -248,8 +248,8 @@ about $\bar{a}$.
248248``` {prf:lemma} Posterior Sufficiency
249249:label: ime_lemma_posterior_sufficiency
250250
251- The posterior distribution $\mu_{\tilde{y}}$
252- is sufficient for $\tilde{y}$.
251+ The posterior distribution $\mu_{\tilde{y}}$ is a sufficient statistic for
252+ $\tilde{y}$.
253253```
254254
255255``` {prf:proof} (Sketch)
@@ -275,16 +275,13 @@ belief to price.
275275``` {prf:theorem} Price Revelation
276276:label: ime_theorem_price_revelation
277277
278- In the economy described above, the price
279- random variable $p(\mu_{\tilde{y}})$ is sufficient for $\tilde{y}$ **if and only
280- if** the
281- belief-to-price map is one-to-one on the realized posterior set $M$,
282- equivalently if its
283- inverse is well defined on the price set
278+ In the model outlined above, the price random variable $p(\mu_{\tilde{y}})$ is
279+ sufficient for the random variable $\tilde{y}$ if and only if the function
280+ $p(P^1)$ is invertible on the set of prices
284281
285282$$
286- \mathcal{P} \equiv \bigl \{\, p(\mu_y) : y \in Y,\;
287- P(\tilde{y} = y) = \sum_{a \in A} \phi_a(y)\,\mu_0(a) > 0 \bigr \}.
283+ \mathcal{P} = \Bigl \{\, p(\mu_y) : y \in Y,\;
284+ P(\tilde{y} = y) = \sum_{a \in A} \phi_a(y)\,\mu_0(a) > 0 \Bigr \}.
288285$$
289286```
290287
@@ -370,25 +367,32 @@ argument.
370367``` {prf:lemma} Same Price Implies Same Allocation
371368:label: ime_lemma_same_price_same_allocation
372369
373- Assume that $u^i$ has continuous first partial derivatives
374- and that $u^i$ is quasi-concave. Let $p\in\mathcal{P}$. If there exist two measures $\mu^*$ and $\mu'$ in $M$ such that $p(\mu*, P^2, . . . ,P^n), = p(\mu',P^2, ... ,P^n)=p$, then
370+ Assume that $u^i$ has continuous first partial derivatives and that $u^i$ is
371+ quasi-concave.
372+
373+ Let $p \in \mathcal{P}$.
374+
375+ If there exist two measures $\mu^*$ and $\mu'$ in $M$ such that
376+ $p(\mu^*, P^2, \ldots, P^n) = p(\mu', P^2, \ldots, P^n) = p$, then
375377
376378$$
377- x^i(\mu^*, P^2, \dots , P^n) = x^i(\mu', P^2, \dots , P^n), \quad
378- i = 1, \dots , n
379+ x^i(\mu^*, P^2, \ldots , P^n) = x^i(\mu', P^2, \ldots , P^n), \quad
380+ i = 1, \ldots , n.
379381$$
380382```
381383
382- This lemma says that fix the beliefs of all agents except agent 1.
384+ Fix the beliefs of all agents except agent 1.
383385
384- If two posterior beliefs $\mu$ and $\mu'$
385- both generate the same equilibrium price $p$, then they generate the same
386- equilibrium
387- allocation for every trader.
386+ The lemma says that if two posterior beliefs $\mu^* $ and $\mu'$ for agent 1
387+ both support the same equilibrium price $p$, then they support the same
388+ equilibrium allocation for every trader.
389+
390+ The intuition is that when the price is unchanged, the demands of the
391+ uninformed traders are unchanged too, so market clearing forces the informed
392+ agent's bundle to be unchanged as well.
388393
389394This lemma lets us define the informed agent's equilibrium bundle as a function
390- of price
391- alone:
395+ of price alone:
392396
393397$$
394398x(p) = (x_1(p), x_2(p)).
@@ -410,18 +414,24 @@ whether this equation admits a unique posterior $\mu$.
410414``` {prf:lemma} Unique Posterior at a Given Price
411415:label: ime_lemma_unique_posterior
412416
413- If, for each price $p \in P$, the first-order condition above has a unique
414- solution
415- $\mu \in M$, then the price map is invertible on $P$.
417+ Assume that the first partial derivatives of $u^1$ exist and that $u^1$ is
418+ quasi-concave.
419+
420+ Also assume that agent 1 always consumes positive quantities of both goods.
421+
422+ Then $p(P^1)$ is invertible on $\mathcal{P}$ if for each $p \in \mathcal{P}$
423+ there exists a unique probability measure $\mu \in M$ such that
424+
425+ $$
426+ \frac{\sum_{s=1}^S a_s\, u^1_1(a_s x_1(p), x_2(p))\, \mu(a_s)}
427+ {\sum_{s=1}^S u^1_2(a_s x_1(p), x_2(p))\, \mu(a_s)} = p.
428+ $$
416429```
417430
418- If two different posteriors gave the same price,
419- then by
431+ If two different posteriors gave the same price, then by
420432{prf: ref }` ime_lemma_same_price_same_allocation ` they would share the same bundle
421- $x(p)$,
422- contradicting uniqueness of the posterior that solves the first-order condition
423- at that
424- price.
433+ $x(p)$, contradicting uniqueness of the posterior that solves the first-order
434+ condition at that price.
425435
426436### The two-state first-order condition
427437
@@ -448,27 +458,26 @@ equation.
448458``` {prf:theorem} Invertibility Conditions
449459:label: ime_theorem_invertibility_conditions
450460
451- Assume $u^1$ is quasi-concave and
452- homothetic with continuous first partials.
461+ Assume that the first partial derivatives of $u^1$ exist and that $u^1$ is
462+ quasi-concave and homothetic.
453463
454- Assume agent 1 always consumes positive
455- quantities of both goods.
464+ Also suppose that the informed agent always consumes positive quantities of
465+ both goods in all equilibrium allocations .
456466
457- For $S = 2$:
467+ If $S = 2$ and the elasticity of substitution of $u^1$ is either always less
468+ than one or always greater than one, then $p(P^1)$ is invertible on
469+ $\mathcal{P}$.
458470
459- - If $\sigma < 1$ for all feasible allocations, the price map is **invertible**
460- on $P$.
461- - If $\sigma > 1$ for all feasible allocations, the price map is **invertible**
462- on $P$.
463- - If $u^1$ is **Cobb-Douglas** ($\sigma = 1$), the price map is **constant** on
464- $P$
465- (no information is transmitted).
471+ If $u^1$ is Cobb-Douglas (elasticity of substitution constant and equal to
472+ one), then $p(P^1)$ is constant on $\mathcal{P}$.
466473```
467474
468- Thus, when $\sigma = 1$ the income and substitution effects exactly cancel,
469- making agent 1's demand for good 1 independent of information about $\bar{a}$.
475+ When $\sigma = 1$ the income and substitution effects exactly cancel, so
476+ agent 1's demand for good 1 does not respond to changes in beliefs about
477+ $\bar{a}$.
470478
471- So the market price cannot reveal that information.
479+ Because the demand is unchanged, the market-clearing price is unchanged too,
480+ and the price reveals nothing about the insider's signal.
472481
473482### CES utility
474483
@@ -592,14 +601,14 @@ plt.show()
592601
593602The plot confirms {prf: ref }` ime_theorem_invertibility_conditions ` .
594603
595- - * CES with $\sigma \neq 1$* : the equilibrium price is * strictly monotone* in
596- $q$.
604+ For CES with $\sigma \neq 1$, the equilibrium price is strictly monotone in $q$.
605+
606+ An outside observer who knows the equilibrium map $p^* (\cdot)$ can therefore
607+ invert the price uniquely to recover $q$, so the inside information is fully
608+ transmitted.
597609
598- - An outside observer who knows the equilibrium map $p^* (\cdot)$ can uniquely
599- invert the
600- price to recover $q$, that is, inside information is fully transmitted.
601- - * Cobb-Douglas ($\sigma = 1$)* : the price is * flat* in $q$, that is, information is never
602- transmitted through the market.
610+ For Cobb-Douglas ($\sigma = 1$), the price is flat in $q$, so information is
611+ never transmitted through the market.
603612
604613``` {code-cell} ipython3
605614p_cd = [eq_price(q, a1, a2, W1, ρ=0.0) for q in q_grid]
@@ -620,15 +629,16 @@ pattern back to the proof of {prf:ref}`ime_theorem_invertibility_conditions`.
620629(price_monotonicity)=
621630### Why monotonicity depends on $\sigma$
622631
623- The key derivative in the paper fixes a price $p$, treats $\alpha_s(p)$ and
624- $\beta_s(p)$ as constants, and then differentiates the right-hand side of
632+ Fix a price $p$ and treat $\alpha_s(p)$ and $\beta_s(p)$ as constants.
633+
634+ The right-hand side of the two-state first-order condition
625635
626636$$
627637\frac{\alpha_1(p)\, q + \alpha_2(p)\, (1-q)}
628638 {\beta_1(p)\, q + \beta_2(p)\, (1-q)}
629639$$
630640
631- is a function of $q$ whose derivative is
641+ is then a function of $q$ alone, with derivative
632642
633643$$
634644\frac{\partial}{\partial q}
@@ -705,12 +715,12 @@ plt.tight_layout()
705715plt.show()
706716```
707717
708- When $\sigma = 1$ the ratio is constant across all $a_s$ values, information
709- about the state has no effect on the marginal rate of substitution.
718+ When $\sigma = 1$ the ratio is constant across all $a_s$ values, so
719+ information about the state has no effect on the marginal rate of substitution.
710720
711- For $\sigma < 1$ the
712- ratio is decreasing in $a_s$, and for $\sigma > 1$ it is increasing, making the
713- equilibrium price strictly monotone in the posterior $q$ in both cases.
721+ For $\sigma < 1$ the ratio is decreasing in $a_s$, and for $\sigma > 1$ it is
722+ increasing, making the equilibrium price strictly monotone in the posterior $q$
723+ in both cases.
714724
715725The static analysis asks whether a current price reveals current private
716726information, whereas the next section asks what a whole history of prices
@@ -1201,11 +1211,10 @@ that theorem.
12011211:class: dropdown
12021212```
12031213
1204- ** 1. First-order condition.**
1214+ For the first-order condition, define $W_s = w + (a_s - p)\, x_1$ for
1215+ $s = 1, 2$.
12051216
1206- Define $W_s = w + (a_s - p)\, x_1$ for $s=1,2$.
1207-
1208- The FOC is
1217+ Then the FOC is
12091218
12101219$$
12111220q\,(a_1 - p)\,\gamma\, e^{-\gamma W_1}
@@ -1219,11 +1228,8 @@ q\,(a_1 - p)\, e^{-\gamma(a_1-p) x_1}
12191228 = (1-q)\,(p - a_2)\, e^{\gamma(p-a_2) x_1}.
12201229$$
12211230
1222- ** 2. Market-clearing equilibrium price.**
1223-
1224- Setting $x_1 = 1$ (all supply absorbed by informed agent), the equation becomes
1225-
1226- a scalar root-finding problem in $p$:
1231+ Setting $x_1 = 1$ (the informed agent absorbs all supply), this becomes a
1232+ scalar root-finding problem in $p$:
12271233
12281234$$
12291235F(p;\,q,\gamma) \equiv
@@ -1259,16 +1265,15 @@ plt.tight_layout()
12591265plt.show()
12601266```
12611267
1262- ** 3. Invertibility for CARA. **
1268+ The price is strictly increasing in $q$ for every $\gamma > 0$.
12631269
1264- The price is strictly increasing in $q$ for every $\gamma > 0$, because
1265- portfolio utility $u(x_2 + \bar{a}\, x_1)$ treats the two goods as ** perfect
1266- substitutes** in creating wealth, so a higher posterior probability of the
1267- high-return state raises the marginal value of the risky asset and pushes the
1268- equilibrium price upward.
1270+ The reason is that portfolio utility $u(x_2 + \bar{a}\, x_1)$ treats the two
1271+ goods as perfect substitutes in creating wealth, so a higher posterior
1272+ probability of the high-return state raises the marginal value of the risky
1273+ asset and pushes the equilibrium price upward.
12691274
12701275This behavior is similar in spirit to the $\sigma > 1$ case in
1271- {prf: ref }` ime_theorem_invertibility_conditions ` , but it is * not* a direct
1276+ {prf: ref }` ime_theorem_invertibility_conditions ` , but it is not a direct
12721277consequence of that theorem because CARA utility over wealth is not homothetic
12731278in the two-good representation used in the theorem.
12741279
@@ -1486,10 +1491,10 @@ D_{KL}\bigl(N(2.0, 0.4^2)\,\|\,N(2.3, 0.4^2)\bigr)
14861491D_{KL}\bigl(N(2.0, 0.4^2)\,\|\,N(1.5, 0.4^2)\bigr),
14871492$$
14881493
1489- so the model with mean $2.3$ is the KL-best approximation among the two
1490- wrong models, and in the simulation posterior weight concentrates on that model.
1494+ so the model with mean $2.3$ is the KL-best approximation among the two wrong
1495+ models, and in the simulation posterior weight concentrates on that model.
14911496
1492- Since posterior odds are cumulative {doc}` likelihood ratios<likelihood_bayes> ` .
1497+ Posterior odds are cumulative {doc}` likelihood ratios<likelihood_bayes> ` .
14931498
14941499If we compare the two wrong Gaussian models $f$ and $g$, then under the true
14951500distribution $h$ the average log likelihood ratio satisfies
0 commit comments