Information in Securities Markets Kyle Meets Glosten and Milgrom

  • Upload
    sj855

  • View
    215

  • Download
    0

Embed Size (px)

Citation preview

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    1/33

    Econometrica , Vol. 72, No. 2 (March, 2004), 433465

    INFORMATION IN SECURITIES MARKETS: KYLE MEETSGLOSTEN AND MILGROM

    BY K ERRY B ACK AND SHMUEL B ARUCHThis paper analyzes models of securities markets with a single strategic informed

    trader and competitive market makers. In one version, uninformed trades arrive as aBrownian motion and market makers see only the order imbalance, as in Kyle (1985).In the other version, uninformed trades arrive as a Poisson process and market mak-ers see individual trades. This is similar to the GlostenMilgrom (1985) model, exceptthat we allow the informed trader to optimize his times of trading. We show there is anequilibrium in the GlostenMilgrom-type model in which the informed trader plays amixed strategy (a point process with stochastic intensity). In this equilibrium, informedand uninformed trades arrive probabilistically, as Glosten and Milgrom assume. Westudy a sequence of such markets in which uninformed trades become smaller and ar-rive more frequently, approximating a Brownian motion. We show that the equilibriaof the GlostenMilgrom model converge to the equilibrium of the Kyle model.

    K EYWORDS : Market microstructure, Kyle model, GlostenMilgrom model, asym-metric information, insider trading, bid-ask spread, liquidity, depth, blufng.

    THE MOTIVATION for this paper is to understand the relationship betweenthe two canonical models of market microstructure, due to Kyle (1985) andGlosten and Milgrom (1985). The Kyle model is a model of a batch-auctionmarket, in which market makers see only the order imbalance at each auctiondate. Market makers compete to ll the order imbalance, and matching orders

    are crossed at the market-clearing price. Because orders are batched, there areno real bid and ask prices. In the GlostenMilgrom model, orders arrive andare executed by market makers individually. In this model, there are bid andask quotes, which are determined by the probability that a particular order isinformed. Glosten and Milgrom assume the arrival rates of informed and un-informed traders are determined exogenously. Informed traders trade whenchosen by this exogenous mechanism as if they have no future opportunities totrade. In other words, when trade is protable, they trade as much as possible whenever possible. On the other hand, Kyle determines the optimal trading be-havior for the single informed agent in his model and shows that in equilibriumthe agent will trade on his information only gradually, rather than exploiting itto the maximum extent possible as soon as possible.

    The rst contribution of this paper is to solve a version of the GlostenMilgrom model with a single informed trader, in which the informed traderchooses his trading times optimally. We wish to give the trader a rich menuof times from which to choose, and we wish to avoid the likelihood of in-formed and uninformed trades arriving simultaneously, because the spirit of the model is that market makers execute orders individually. So, we work incontinuous time. We assume uninformed trades arrive as Poisson processes.We show that the informed trader plays a mixed strategy, randomizing at eachinstant between trading and waiting (specically, his equilibrium strategy is

    433

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    2/33

    434 K. BACK AND S. BARUCH

    a point process with stochastic intensity). This means that informed and un-informed trades do arrive probabilistically, as Glosten and Milgrom assume.The bid-ask spread, which depends on the relative arrival rates of informed

    and uninformed trades, is endogenous in our model.The second contribution of the paper is to show that this version of theGlostenMilgrom model is approximately the same as the continuous-time version of the Kyle model, when the trade size is small and uninformed tradesarrive frequently. The distinction between batching orders, as in Kyles model,or executing individual orders, as in Glosten and Milgroms model, turns outto be unimportant when orders are small and arrive frequently. We show thatthe trading strategies and prots of the informed trader and the losses of un-informed traders are approximately the same in the two models. We also showthat the bid-ask spread in the GlostenMilgrom model is approximately twicethe order size multiplied by Kyles lambda.

    Kyle shows that the equilibrium in his continuous-time model is the limit of discrete-time equilibria of a batch-auction market when the time intervals be-tween trades and the variance of uninformed trades at each date become small.Therefore, our convergence result shows that the discrete-time Kyle model isapproximately the same as our version of the GlostenMilgrom model, whenthe time intervals and the variance of uninformed trades are small in the for-mer, and the frequency of uninformed trades is large and the order size smallin the latter.

    The convergence of the informed trading strategy in the GlostenMilgrommodel to that in the Kyle model means that the frequency of informed tradesin the GlostenMilgrom model does not increase at the same rate as thefrequency of uninformed trades, when the latter approaches innity. In thelimit, the informed trading strategy is absolutely continuous (of order dt ) whereas the uninformed trades are a Brownian motion (of order dt ), eventhough the order size is the same for both types of traders in the GlostenMilgrom model. In Kyles derivation of the continuous-time equilibrium as alimit of discrete-time equilibria, this difference in uninformed volume versusinformed volume is the result of the informed order being signicantly smallerthan the variance of uninformed trades at each date. Our results provide analternative interpretation for the difference in volume: even though the ordersize for both types of traders is the same, the informed trader simply choosesto trade at a frequency that is lower than the frequency at which uninformedtrades arrive.

    We focus on mixed-strategy equilibria in the GlostenMilgrom model be-cause pure-strategy equilibria cannot exist. We assume the asset value v has aBernoulli distribution with values normalized to zero and one. A pure strat-egy for the informed trader who knows v =1 would be a sequence of stoppingtimes 1 2 , measurable with respect to public information, at which hebuys or sells the asset. If in equilibrium the informed trader were to followsuch a strategy and there were no order at time 1, then market makers would

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    3/33

    INFORMATION IN SECURITY MARKETS 435

    assume that v =0 and would quote bids and asks at 0 thereafter. Consequently, when 1 is reached, the optimal strategy would be to abstain from the market atthat instant and then buy an innite amount beginning immediately afterward.

    We conclude that there can be no equilibrium in pure strategies.In a mixed strategy equilibrium, an agent is of course indifferent among the various choices over which he randomizes. In our model these choices are totrade (either to buy or to sell or he may randomize over both) or to wait totrade. The willingness of the informed trader to wait to trade in this versionof the GlostenMilgrom model is analogous to his trading gradually on hisinformation in Kyles model.

    We show that in certain circumstances the informed trader in the GlostenMilgrom model will randomize over all the alternatives available to him, in-cluding trading in the wrong direction. We call this phenomenon blufng.

    Black (1990) discusses blufng by uninformed traders who trade as if theyhad news, using market orders, and then reverse their trades using limit or-ders. We do not allow the informed trader to use limit orders; nevertheless, hesometimes trades as if he had the opposite information. Huddart, Hughes, andLevine (2001) also show that informed traders may bluff, but in their model,traders are required to disclose their trades ex-post, and it is this disclosure thatmakes it protable to bluff. We show that blufng can occur even when tradesare ex-post anonymous. We should emphasize that the trader does not protfrom blufng, so it is perhaps incorrect to think of it as manipulating themarket. The trader is simply indifferent in equilibrium between trading in thenormal direction, waiting to trade, and blufng. Each of the latter alternativesincreases the potential for future prots at the expense of current prots.

    The Kyle version of our model is analyzed in Section 1 and the GlostenMilgrom version in Section 2. Section 3 establishes the convergence result, andSection 4 documents that there is sometimes blufng in the GlostenMilgrommodel. Section 5 concludes the paper.

    1. KYLE MODEL

    We consider a continuous-time market for a risky asset and one risk-free as-set with interest rate set to zero. A public release of information takes placeat a random time , distributed as an exponential random variable with pa-rameter r . After the public announcement has been made, the value of therisky asset, denoted by v, will be either zero or one, and all positions are liqui-dated at that price. There is a single informed trader who knows v at date 0.There are also uninformed (presumably liquidity motivated) trades that arriveas a Brownian motion with volatility 2. We will call these noise trades. Alltrades are anonymous. Competitive risk neutral market makers absorb the netorder ow, the competition ensuring that the transaction price is always theconditional expectation of v, given the information in orders. The informedtrader recognizes that his trades affect prices through the Bayesian updating

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    4/33

    436 K. BACK AND S. BARUCH

    of market makers. Our goal is to determine the optimal trading behavior of theinformed trader and the equilibrium price adjustments, as a function of orderow, of market makers.

    This model differs from the continuous-time model of Kyle (1985) in onlytwo ways: the announcement date is random, and the asset value is zero or one,rather than normally distributed. The assumption of a random announcementdate may be more or less reasonable than assuming a known announcementdate, depending on the context. Our motive for the assumption is tractability:it means that we can eliminate time as a state variable. Our motive for thedistribution assumption on the asset value is that it simplies the GlostenMilgrom-type model. It is actually a bit of a hindrance in the Kyle-type model. 1

    Without loss of generality, we take the initial position of the informedtrader in the risky asset to be zero. We denote by X t the number of shares

    held at time t . We let Z t denote the number of shares held by noise tradersat date t , taking Z 0 =0. We require that X be adapted to the ltration gen-erated by Z and v. This does not literally require that Z be observed by theinformed trader, because, given strictly monotone pricing, Z can be inferredby the informed trader from the price process.

    Setting Y =X +Z , the net order received by market makers at time t canbe viewed as dY t dX t +dZ t . Risk neutrality and competition between themarket makers implies that the price at time t < isp t =E [v|(Y s) st ](1.1)

    The initial price p 0 is the unconditional expectation of v, and we assume 0

    0 and L > 0, so H denotes the rate at which the high type buys thesecurity and L denotes the rate at which the low type sells. Whether the traderhas good or bad news, his order rate in this circumstance is

    t =v H (p t ) (1 v) L (p t )(1.3)1Back (1992) solves the Kyle model for more general distributions than the normal, but he still

    requires the distribution to be continuous. We do not know of any literature on the continuous-time Kyle model with discrete distributions.

    2Back (1992) shows that optimal strategies in Kyle models have this property.

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    5/33

    INFORMATION IN SECURITY MARKETS 437

    In this case, the high-type informed traders expected prot is

    E

    0

    (1

    p t ) H (p t )dt(1.4)

    and the low types expected prot is

    E

    0p t L (p t )dt(1.5)

    When the informed traders strategy is as described in the previous para-graph, the competitive pricing assumption (1.1) implies a specic form for theprice process. Given (1.3), the expected rate of informed trade at time t , giventhe market makers information, is

    p t H (p t ) (1 p t ) L (p t )Hence, the surprise or innovation in the order ow at time t is

    dY t (p t )dt where

    (p) p H (p) (1 p) L (p)(1.6)In this model, we have the standard result that the revision in beliefs is propor-tional to the surprise in the variable being observed, which means that

    dp t =(p t )[dY t (p t ) dt ](1.7)for some function . Fairly standard ltering theory (we derive this in the Ap-pendix, in the proof of Theorem 1) shows in fact that, for 0 < p < 1,

    (p)

    =

    p( 1 p) [H (p) +L (p) ]

    2(1.8)

    We need to augment (1.7) by dening the boundary behavior at 0 and 1. Newinformation will not change beliefs that put probability zero or one on the asset value being high, so we specify that 0 and 1 are absorbing states for p .

    We assume that the informed trader believes prices evolve in accordance with (1.7), for some functions and that he takes as given. In generali.e., without imposing (1.3)the expected prot of the informed trader is

    E

    0( v p t ) t dt v

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    6/33

    438 K. BACK AND S. BARUCH

    We need to rule out strategies that rst incur innite losses and then reapinnite prots, because in that case the overall prot is undened. 3 In fact, weneed to ensure that expected prots are well dened, so we require expected

    total losses to be nite. We dene a strategy dX t = t dt to be admissible forthe high type if

    E

    0(1 p t ) t dt < (1.9a)

    where as usual t =max (0 t ) and we dene it to be admissible for the lowtype if

    E

    0

    p t +t dt LB and in particular HB > 0.Similarly, b < p implies LS > HS 0.Considering only the jumps to the ask or the bid, the expected change in pin an instant dt is

    (a(p) p) [p HB +(1 p) LB + ]dt +(b(p) p) [p HS +(1 p) LS + ]dt

    =p( 1 p) [ HB + HS LB LS]dtThe process p is a martingale, so this expected change must be canceled bythe expected change in p between orders. We conclude that between ordersdp t =f (p t ) dt , where

    f(p) p( 1 p) [ LB(p) + LS(p) HB(p) HS(p) ](2.7)Summarizing, the evolution of p must be given by 5

    dp t =f (p t ) dt +[a(p t ) p t ]dy +t +[b(p t ) p t ]dy t (2.8) As in the previous section, we take 0 and 1 to be absorbing points for p .

    The informed trader takes f , a , and b to be given functions and maximizeshis expected prot subject to (2.8) and the boundary conditions that 0 and 1are absorbing. As in the previous section, we denote the value function for the

    high-type informed trader by V and the value function for the low type by J .Because is exponentially distributed, the value functions depend only on p t for t < (they jump to zero at ).

    As observed above, to have a > p and b < p , we must have HB > 0 and LS > 0, which means that it must be optimal for the high type to buy and thelow type to sell at each time t . Because p jumps to a(p) when there is a buy

    5The existence of a unique strong solution to this stochastic differential equation is guaranteedby the differentiability assumption in Theorem 2, which implies that f , a , and b are continuouslydifferentiable, hence locally Lipschitz. See Protter (1990, p. 199).

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    13/33

    INFORMATION IN SECURITY MARKETS 445

    order and falls to b(p) when there is a sell order, this optimality implies

    V (p) =[1 a(p) ] +V (a(p))(2.9)J(p) =b(p) +J(b(p))(2.10)

    Also, it can never be better than optimal for the high type to sell or the low typeto buy, and if the high type sells with positive probability or the low type buys with positive probability, then it must be optimal to do so. This is equivalent to

    V (p) [b(p) 1] +V (b(p)) with equality when HS > 0(2.11)J(p) a(p) +J(a(p)) with equality when LB > 0(2.12)

    It must also be optimal to refrain from trading at each time. During an in-stant dt the announcement occurs with probability r dt and if the announce-ment occurs, then the value function becomes 0. An uninformed buy order willarrive with probability dt , in which case p will jump to a(p) and the valuefunction for the high type will jump to V (a(p)) . Similarly, with probability dt the value function will jump to V (b(p)) . Finally in the absence of an an-nouncement or an order, p will change by f(p)dt and the value function willchange by V (p)f(p)dt . For it to be optimal for the high type to refrain fromtrading, all of these expected changes in V must cancel. Applying this logic tothe low-type informed trader also, we have

    rV (p) =V (p)f(p) + [V (a(p)) V (p) ]+ [V (b(p)) V (p) ](2.13)rJ(p) =J (p)f(p) + [J(a(p)) J(p) ]+ [J(b(p)) J(p) ](2.14)

    The natural boundary conditions (which hold also in our version of the Kylemodel) are J( 0) =V (1) =0 and J( 1) =V (0) =.The following establishes the sufciency of these conditions for equilibrium.The key step in the proof is the replication of the result of Glosten and Milgrom(1985) that beliefs of market makers converge over time to the truth.

    THEOREM 2: Let a , b , f , V , J , HB , HS , LB , and LS satisfy (2.5) (2.14), with HB > LB and LS > HS . Assume the trading strategies are admissible . Assume V

    is a nonincreasing and J is a nondecreasing function of p , and V and J satisfy the boundary conditions

    limp 0

    V (p) =limp 1 J(p) = and limp 1 V (p) =limp 0 J(p) =0 Assume the functions HS , HB, LB , and LS are continuously differentiable on(0 1) . Then the informed trading strategy is optimal and , for all t , p t =E [v|F

    y t ].

    We can solve conditions (2.5)(2.14) numerically. We consider a discrete gridon (0 1) and use a variation of value iteration to compute the value functionat each p in the grid. Our numerical method is explained in Appendix B.

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    14/33

    446 K. BACK AND S. BARUCH

    FIGURE 1.Value functions in the GlostenMilgrom model. Assuming r =1 and 22

    =1,this shows the value function V (p) of the high-type informed trader in our version of theGlostenMilgrom model. As decreases, the value functions are approaching the value func-tion from our version of the Kyle model (labeled Kyle).

    In Figures 1 and 2 we show the value function V and the bid and ask pricesfor different values of , with in each case =1/( 2 2) and r =1. Figure 1 alsoshows the value function for our version of the Kyle model with =1. Figure 1suggests that the GlostenMilgrom models converge to the Kyle model as becomes smaller. This is veried in the following section.

    FIGURE 2.Bid and ask prices in the GlostenMilgrom model. Assuming r =1 and 2 2 =1,this shows the bid and ask prices in our version of the GlostenMilgrom model as functions of p ,for =3, =1, = 2, and = 1. The upper curves are the ask functions and the lower curvesare the bid functions. As decreases, the ask functions are decreasing and the bid functionsincreasing towards the 45 line.

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    15/33

    INFORMATION IN SECURITY MARKETS 447

    3. CONVERGENCE

    We now consider the convergence of the GlostenMilgrom equilibria to theKyle equilibrium, when the trade size becomes small (

    0) and the noise

    trades arrive more frequently ( ). We will take = 2/( 2 2) . This im-plies that the expected squared noise trade per unit of time is 2 2 = 2, as inthe Kyle model. In fact, these assumptions imply that the process of cumulativenoise trades in the GlostenMilgrom model converges weakly to the Brownianmotion in the Kyle model (see, e.g., Ethier and Kurtz (1986)).

    We assume the existence of an equilibrium in the GlostenMilgrom modelfor each . We denote the equilibrum value functions by V and J and theequilibrium ask and bid prices by a and b . The equilibrium s also dependon but our notation will not indicate it.

    The following veries the convergence of the value functions indicated byFigure 1. Part (b) establishes the relationship between the bid-ask spread inthe GlostenMilgrom model and Kyles lambda.

    THEOREM 3: Assume the equilibria satisfy (2.5) (2.14). Assume V and J converge in the topology of C 2-convergence on compact subsets of (0 1) to func-tions V and J that are strictly monotone (V decreasing and J increasing ) and satisfy the boundary conditions

    limp 0

    V (p) =limp 1 J(p) = and limp 1 V (p) =limp 0 J(p) =0Then :

    (a) V and J must be the value functions from our version of the Kyle model dened in (1.13) and (1.14);

    (b) for each p(0 1) ,

    lim0

    a (p) p =lim0

    p b (p) =(p)

    where is the market depth parameter (1.10) from our version of the Kyle model ;(c) for each p

    =1/ 2, there exists

    (p) such that for all

    (p) , either

    LB(p) > 0 or HS(p) > 0.

    Part (b) means that for small the change in the conditional expectationof the asset value when a buy order arrives is approximately (p) , andthe change in the conditional expectation upon receipt of a sell order is ap-proximately (p) . This is fully consistent with Kyles (1985) interpretationof as the market depth parameter. Figure 3 illustrates the convergence of (a p)/ to .Part (c) means that for sufciently small , either the low-type informedtrader buys the asset with positive probability, or the high-type informed trader

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    16/33

    448 K. BACK AND S. BARUCH

    FIGURE 3.Convergence of the price impact of buy orders. Assuming r

    =

    =1 and 2 2

    =1,

    this plots (a (p) p)/ for different values of . The modes of the curves are moving to the rightas decreases, and the curves are taking on the shape of the plot labeled Kyle, which is the plotof the market depth parameter (p) from our version of the Kyle model.

    sells it with positive probability. We refer to this phenomenonas blufng, and we will discuss it further in the next section.

    Under the assumption that the intensity of blufng does not increase at thesame rate as the intensity of noise trading, we can establish the convergenceof the informed trading strategies and give a more precise result about wheneach type of trader bluffs.

    COROLLARY : Assume the hypothesis of Theorem 3. Assume in addition that LB(p)/ and HS(p)/ converge to zero for each p (0 1) as 0. Then :(a) for each p(0 1) ,

    [ HB(p) HS(p) ]H (p) and

    [ LS(p) LB(p) ] L (p) where H and L are the equilibrium order rates in our version of the Kyle model dened in (1.11) and (1.12);

    (b) for each p > 1/ 2, HS(p) > 0 for all sufciently small , and , for eachp < 1/ 2, LB(p) > 0 for all sufciently small .

    The additional hypothesis of the corollary is quite weak. We know that LB(p)p . Likewise HS(p)

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    17/33

    INFORMATION IN SECURITY MARKETS 449

    FIGURE 4.Convergence of relative order intensities. Assuming r = =1 and 2 2 =1, thisshows the convergence of HB / to zero as decreases.

    Figure 5 illustrates part (a) of the Corollary. It shows ( HB HS) converg-ing to H .6 The interpretation of ( HB HS) dt is that it is the expected netbuy order of the high type in the GlostenMilgrom model in an instant dt . Theanalogous concept in the Kyle model is H dt .

    FIGURE 5.Convergence of order intensities. Assuming r = =1 and 2 2 =1, this showsthe convergence of ( HB HS) as decreases. The bottom curve (labeled Kyle) is a plot of the equilibrium order rate H of the high-type informed trader in our version of the Kyle model.

    6 As we explain in Appendix B, the s are estimated with signicantly lower accuracy than arethe value functions or ask and bid prices when blufng is optimal. This accounts for the slightlyanomalous behavior in Figure 5 of the plot for

    =1 for p below about .25and p above about .75.

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    18/33

    450 K. BACK AND S. BARUCH

    4. BLUFFING

    We say that the informed trader is blufng if he knowingly sells an un-dervalued asset or buys an overvalued asset. The benet for the high type of selling is that it increases the market makers belief that the asset value mayactually be low, allowing the trader to buy later at a lower price. According topart (b) of the Corollary, the high type bluffs when p is large and is small.This is supported by our numerical results. Figure 6 plots

    V (p) +(1 b (p)) V (b (p))(4.1)The inequality (2.11) states that this quantity must be nonnegative. When it ispositive, blufng is strictly suboptimal. When it is zero, the high-type informedtrader is willing to bluff. Figure 6 conrms part (b) of the Corollary, because it

    shows that blufng is optimal for the high type for small values of and large values of p .It seems reasonable that, if blufng occurs at all, it will occur for the high type

    when p is large and is small, because the cost of blufng is the immediate loss

    (1b (p)) , which is small when p is large (because b (p) is then close to 1)and is small. On the other hand, the benet of blufng is the change in marketmakers beliefs, and, according to part (b) of Theorem 3, the change in beliefsb(p) p is small when is small. To understand which of these factors ismore important, we compute the ratio (1 b (p))/(p b (p)) . This is a typeof cost-benet ratio of blufng for the high type. According to Theorem 3,this ratio is approximately (1

    p)/ (p) for small . As far as we know, there

    is no particular value of this cost-benet ratio that indicates when blufng will

    FIGURE 6.The blufng inequality. This plots inequality (2.11), which is the condition thatblufng cannot be better than optimal for the high-type informed trader. The value must benonnegative, and it must be zero if the high type bluffs with positive probability. The plot showsthere is no blufng when =1 or = 5, but blufng is optimal for the high type when is smalland p is large.

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    19/33

    INFORMATION IN SECURITY MARKETS 451

    FIGURE 7.Cost-benet of blufng. Assuming r = = 1 a n d 2 2 = 1, this plots(1 b )/(p b ) , which is the cost-benet ratio of blufng for the high type. As decreases,this converges to the curve labeled Kyle, which is a plot of (1p)/ (p) . The gure shows thatthe relative cost of blufng for the high type is lower as decreases and is lower as p increases.

    be optimal. However, the numerical values of the ratio, shown in Figure 7,are consistent with the Corollary: the ratio is smaller when is smaller andit is smaller when p is large. Symmetrically, the cost-benet ratio is likewisesmaller for the low type when is smaller, and it is smaller for the low type

    when p is small.The existence of blufng may seem odd, but actually the same possibilityexists in Kyles (1985) model. Kyles conclusion is that the informed traderbuys/sells in proportion to the mispricing of the asset, but buying at rate f canbe accomplished by buying at rate g and selling at rate h , as long as f =g h .The informed trader is indifferent between these two alternatives and the mar-ket makers cannot distinguish them, because they see only the net orders.Hence, the conclusion of a unique linear equilibrium in Kyle (1985) shouldreally be qualied: it is only the net buy rate of the informed trader that isunique; the actual buy and sell rates are indeterminate, except for the fact thatthe difference between them must equal the unique net buy rate. Seen in thislight, it is perhaps less surprising that it is the expected net buy order of the hightype in the GlostenMilgrom model that converges to H and the expected netsell order of the low type that converges to L .

    5. CONCLUSION

    The Kyle (1985) and GlostenMilgrom (1985) models are models of thesame phenomenon, elucidated by Bagehot (1971): trades move prices becausethere is a possibility that the trader is better informed than the market at large.Glosten and Milgrom focus on the behavior of transactions prices, showing

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    20/33

    452 K. BACK AND S. BARUCH

    that if market makers are competitive and risk neutral, then transactions prices will be a martingale relative to their information (there is no negative serialcorrelation due to bid-ask bounce) and prices in the long run will reect the

    information of better informed traders. Kyle focuses on the depth or liquid-ity of the market, which depends on the amount of private information rela-tive to the volume of uninformed trading. To derive the equilibrium depth, Kylesolves for the equilibrium strategy of an informed trader. In contrast, Glostenand Milgrom assume that the arrival rates of informed and uninformed tradersare determined exogenously. However, Kyle makes the simplifying assumptionthat the market is organized as a series of batch auctions, which is not charac-teristic of most markets. The contribution of this paper is to show the consis-tency of the Kyle and GlostenMilgrom models. We solved for the equilibriumstrategy of an informed trader in a version of the GlostenMilgrom model,

    and we showed that the equilibrium of the GlostenMilgrom model is approx-imately the same as the equilibrium of the Kyle model, when the trade size issmall and uninformed trades arrive frequently.

    Our version of the GlostenMilgrom model is less tractable than thecontinuous-time Kyle model, and we were only able to solve for the equilib-rium numerically. Our results provide justication for using the more tractablecontinuous-time Kyle model, not just as an approximation to a discrete-timebatch-auction market, but also as an approximation to a market in which indi- vidual trades are observed and executed by market makers, as in the GlostenMilgrom model and as most markets are actually organized. Conversely, our

    results provide justication for using the GlostenMilgrom model with ex-ogenously imposed probabilistic arrival of informed and uninformed trades,because we showed that probabilistic arrival is consistent with equilibrium be-havior when an informed trader is allowed to optimize his trading times.

    John M. Olin School of Business, Washington University in St. Louis, St. Louis, MO 63130, U.S.A.; [email protected]

    and David Eccles School of Business, University of Utah, Salt Lake City, UT 84112,

    U.S.A.; [email protected].

    Manuscript received January, 2002; nal revision received June, 2003.

    APPENDIX A: P ROOFS

    PROOF OF THEOREM 1: For convenience, we will write v =v. First we will verify the lteringequations (1.6)(1.8). Consider the system of stochastic differential equationsdp t =(p t ){dY t (p t ) dt }dY t = [v H (p t ) (1 v) L (p t )]dt +dZ t

    where is dened in (1.8) and in (1.6). We consider this system on {t : 0 < p t < 1}. Set vt =E [v

    |F Y t

    ]. We need to show that p t

    =vt .

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    21/33

    INFORMATION IN SECURITY MARKETS 453

    Dene

    h t =v H (p t ) (1 v) L (p t )

    Set z t =Z t / and y t =Y t / . Then, substituting for and from (1.8) and (1.6), we can writethe system of stochastic differential equations asdp t =

    p t (1 p t )[ H (p t ) +L (p t )]

    dy t p t H (p t ) (1 p t ) L (p t )

    dt (A.1)

    dy t =h t dt +dz t (A.2)Note z is a Wiener process.

    Dene g t =vh t . Because v is zero or one, we have v2 =v and thereforeg t =

    v H (p t )

    Set h t =E [h t |F Y t ]and g t =E [g t |F Y t ]. From the FujisakiKallianpurKunita Theorem (Rogersand Williams (2000, Section VI.8)), we haved vt = [g t vt h t ]{dy t h t dt }

    Directly from the denitions, we have

    h t =vt H (p t ) (1 vt ) L (p t )

    g t =vt H (p t )

    g t vt h t = vt (1 vt )[H (p t ) +L (p t )] Therefore,

    d vt =vt (1 vt )[ H (p t ) +L (p t )]

    dy t

    vt H (p t ) (1 vt ) L (p t )

    dt (A.3)

    From the denition of a conditional expectation of a 01 random variable, 0 and 1 must be ab-sorbing boundaries for v.

    Now consider H =H dened in (1.11) and L =L dened in (1.12). These functions arecontinuously differentiable, hence locally Lipschitz and bounded on each compact subset of (0 1) . This implies there is a unique solution of the system (A.1)(A.3) up to any nite explosiontime (Protter (1990, p. 199)). But the local boundedness of the s implies that y can explodeonly at a hitting time of the boundaries for p . Hence there is a unique solution of (A.1)(A.3)on {t : 0 < p t < 1}. But if (p t y t vt ) is a solution of (A.1)(A.3), then clearly (p t y t pt ) is also asolution. Moreover, the boundaries are absorbing for both p and v; therefore, p t =vt for all t .The denition of H and L imply (1.6) and (1.8) with =0, so we conclude that the pricedynamics stated in the theorem, dp =dY , imply p t =E [v|(Y s ) st ] for t < as required. Itremains to show that H and L are optimal. We will do this using the value functions given in(1.13) and (1.14) and simultaneously show that they are the true value functions.

    We will prove optimality for H . The proof of optimality for L is identical. So assume v =1.Let V (p) denote the value given in (1.13); i.e.,

    V (p) =

    1

    p

    1 a(a)

    da(A.4)

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    22/33

    454 K. BACK AND S. BARUCH

    We will write =through the remainder of the proof. Obviously, (A.4) implies (1.15), the rstpart of the Bellman equation. Furthermore, the formula for implies (1.21), so we haveV (p)

    = 1

    p

    1 a(a)

    da

    = 2

    2r 1

    p(1

    a) (a)da

    Integrating by parts and using the fact that ( 1) =0 gives

    1

    p(1 a) (a)da = (1 p) (p) (p)

    so

    rV =12

    2[ +(1 p) ](A.5)When we combine (A.5) with (1.15) we obtain (1.16), the second part of the Bellman equation.Furthermore, differentiating both sides of (1.10) and using the fact that lim p 0 (p) =0, wededuce that lim p

    0 (p)

    =. Therefore, (A.5) implies lim p

    0 V (p)

    = .

    Let X be an arbitrary admissible strategy of the form dX = t dt The price dynamics dp t =(p t ) dY t hold only for t < (because at time the price jumps from p to v) and for t lessthan the rst date, if any, at which p t hits the boundary. Consider a different process dened byp 0 =p 0 and d p t =( p t )[ t dt +dZ t ]for all t > 0 and 0 < p t < 1. We maintain the condition that0 and 1 are absorbing states. We have of course that p t =p t for t < .By the denition of an admissible strategy,

    E

    0(1 p u ) u du <

    Since is exponentially distributed with parameter r and independent of p and and sincep t =p t for t < , we have

    E

    0(1 p u ) u du =E 0 e

    ru (1 p u ) u duIn particular,

    0 eru (1 p u ) u duexists and is nite a.s. This implies that

    0 eru (1 p u ) u du(A.6)is well dened (though possibly equal to +).

    Let T denote the rst time at which p hits the boundary; i.e., T =inf {t | p t =0 or 1}. As usual,let t T denote min {t T }. Applying Its lemma to the function ert V (p t ) giveser(t T ) V (p t T ) V (p 0)

    = t T

    0re ru V du +

    t T

    0eru V d p u +

    12

    2 t T

    0eru 2V du

    = t T

    0eru rV +V +

    12

    2 2V du + t T

    0eru V dZ u

    Substituting V ( p) =( p 1)/( p) from (1.15) andrV (

    p)

    = 2(

    p) 2V (

    p)/ 2

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    23/33

    INFORMATION IN SECURITY MARKETS 455

    from (1.16) gives

    er(t T ) V (p t

    T ) V (p 0)(A.7)

    = t

    T

    0 eru

    (1 p u ) u du t

    T

    0 eru

    (1 p u ) dZ uIn conjunction with the nonnegativity of V this implies

    V (p 0) t

    T

    0eru (1 p u ) u du +

    t

    T

    0eru (1 p u ) dZ u(A.8)

    The second-term on the right-hand side of (A.8) almost surely has a nite limit as t , becauseit is an L 2-bounded martingale (in fact, the L 2 norms are bounded by 1 / 2r ). We have already seenthat the rst term has a well-dened limit. Hence, we have

    V (p 0) T

    0eru (1 p u ) u du +

    T

    0eru (1 p u ) dZ u(A.9)

    and both integrals must be nite.Consider the states of the world, if any, in which T < . We argue that we must have p T =1.If p T =0, then the left-hand side of (A.7) is innite, because V (0) = . For the right-hand sideto be innite, we must have

    T

    0eru (1 p u ) u du =

    which implies that T

    0 (1 p u ) u du = which is precluded by admissibility. Therefore,p T =1. Because p u =p T =1 for u T , (A.9) implies in this case thatV (p 0) 0 eru (1 p u ) u du + 0 eru (1 p u ) dZ u(A.10)

    Of course, if T = , then (A.9) is the same as (A.10), so we conclude that (A.10) holds almostsurely.Taking expectations throughout (A.10) yields

    V (p 0) E 0 eru (1 p u ) u dubecause the stochastic integral, being an L 2-bounded martingale, is closed on the right by its limit.Using again the fact that is exponentially distributed with parameter r and independent of pand and the fact that p t =p t for t < , we have

    E 0 eru (1 p u ) u du =E

    0(1 p u ) u du

    So, we conclude that V (p 0) is an upper bound on the expected prots.We now consider the strategy =H (= H ) specied in the theorem. This strategy is certainlyadmissible because there are no losses for the high type when he never sells. We will show that

    the upper bound V (p 0) is attained by this strategy. The key is to show that p t 1, implying thatert V (p t ) 0. Observe that p is a submartingale on the informed traders ltration, becaused p t =( p t )[H ( p t ) dt +dZ t ]and H > 0. Because the submartingale p is bounded, it convergesa.s. to some p . We haveEp = limt E p t =p 0 + limt E

    t

    0( p u ) H ( p u ) du

    =p 0 +

    0E [( p u ) H ( p u )]du

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    24/33

    456 K. BACK AND S. BARUCH

    The rst equality is due to the bounded convergence theorem. The second equality is due tothe fact that E

    t 0 ( p u ) dZ u =0 for all t , which follows from the boundedness of . The thirdequality is due to Fubinis theorem and the monotone convergence theorem. The niteness

    of the improper integral on the right-hand side and the nonnegativity of the integrand im-plies E [( p t ) H ( p t )] 0. Now Fatous lemma gives us E [(p ) H (p )] =0, which impliesp {0 1}a.s.We have

    p t I [t

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    25/33

    INFORMATION IN SECURITY MARKETS 457

    is well dened (though possibly equal to +).Using the chain rule for LebesgueStieltjes integrals and the law of motion for d p t and sub-stituting from (2.13), we have

    er(t T ) V (p t T ) =V (p 0) + t

    T

    0d(e ru V (p u ))(A.13)

    =V (p 0) r t T

    0eru V (p u) du +

    t T

    0eru dV (p u )

    = t

    T

    0eru [V (a( p u)) V (p u)]dx +

    + t T

    0eru [V (b(p u)) V (p u)]dx

    + t T

    0 eru

    [V (a( p u)) V (p u)]{dz + dt }+

    t

    T

    0eru [V (b(p u)) V (p u)]{dz dt }

    The last two stochastic integrals on the right-hand side are L 2-bounded martingales, the bound-edness being due to the bounds on V (a) V (p) and V (b) V (p) given by (2.9) and (2.11).Hence they converge almost surely to nite limits. We will denote the limit random variables byM and N . Rearranging, substituting for V (a) V (p) from (2.9), and taking limits therefore gives

    limsupt

    t

    T

    0eru [1 a( p u)]dx +

    + t T

    0eru [V (p u) V (b(p u)) ]dx

    =V (p 0) +M +N limt er(t T ) V (p t

    T )

    assuming lim t er(t T ) V (p t T ) exists. In any case, the nonnegativity of V implies that the left-

    hand side is dominated by V (p 0) +M +N . In fact the condition b 1 V (p) V (b) from (2.11)and the existence of the limit (A.12) implies

    T

    0eru [1 a( p u)]dx ++

    T

    0eru [b( p u) 1]dx V (p 0) +M +N(A.14)

    and both integrals on the left-hand side must be nite.Consider the states of the world, if any, in which T < . We claim that we must have p T =1. If p T =0, then the left-hand side of (A.13) equals +at t =T by the assumed boundary conditionV (0) =. For the right-hand side to be innite, we must have

    T

    0eru [V (b(p u)) V (p u)]dx =

    which, given that 1 b V (b) V (p) , implies

    T

    0eru [1 b( p u)]dx =

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    26/33

    458 K. BACK AND S. BARUCH

    However, this contradicts admissibility. Hence, we conclude that p T =1. The formulas (2.5) and(2.6) imply a( 1) =b( 1) =1. Because 1 is an absorbing point for p , we have a( p u) =b( p u) =1for u T . Therefore (A.14) implies

    0 eru [1 a( p u)]dx ++ 0 e

    ru [b( p u) 1]dx V (p 0) +M +N(A.15)If T = , (A.14) is the same as (A.15), so we conclude that (A.15) holds almost surely.Since the limit of an L 2-bounded martingale closes it on the right, taking expectations through-out (A.15) yields

    E 0 eru [1 a( p u)]dx ++E 0 eru [b( p u) 1]dx V (p 0)Using again the fact that is exponentially distributed with parameter r and independent of pand x and the fact that p t =p t for t < , we conclude that

    E

    0 [1 a(p u)]dx ++E

    0 [b(p u) 1]dx V (p 0)(A.16)Therefore, V (p 0) is an upper bound on the expected prots.

    We will now show that the upper bound is attained by the strategy specied in the theorem.First we will show that under this strategy we have p t 1 a.s., implying ert V (p t ) 0 a.s., by virtue of the boundary condition V (1) =0. The conditions (2.5)(2.8) in conjunction with theconditions 0 < b < p < a < 1, HS < LS , and LB < HB imply that

    k(p) f(p) +(a(p) p) [ + HB] +(b(p) p) [ + HS]> 0This is the expected change in p per unit of time conditional on v =1. In fact, for s < t ,

    E [p t T p sT |F y s {v =1}]=E t T

    sT k( p u) du F y s {v =1} 0

    where T inf {u |p u{0 1}}This implies that p t T is a submartingale. Since it is bounded byone, it converges almost surely to an integrable limit p (see Karatzas and Shreve (1988, p. 17)).In particular, if we take s =0 and let t go to innity, we get

    E T

    0k( p u) du =E [p |v =1]p 0 < (A.17)

    Since the expectation on the left-hand side is nite, the integral T

    0 k( p u) du is nite a.s.If T = , we conclude from the continuity and strict positivity of k that p t p {p : k(p) =0

    } = {0 1

    }a.s. If T 0 and the possibility that b 1 < V (p) V (b) . However,for this strategy we have ert V (p t ) 0 and we have dx =1 only when b 1 =V (p) V (b) .Therefore (A.15) holdswith equality and takingexpectations throughout yields equality in (A.16),establishing that this is an optimal strategy. Q.E.D.

    PROOF OF THEOREM 3 AND THE COROLLARY : We adopt the hypothesis of the theorem. First we will show that a (p) p and b (p) p for each p . From (2.9), V (p) V (a (p)) 0, soV (a (p))

    V (p) . Because the sequence

    {a (p)

    }is bounded, each subsequence has a further

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    27/33

    INFORMATION IN SECURITY MARKETS 459

    subsequence with some limit q . By uniform convergence, V (q) =lim V (a (p)) =V (p) , whichimplies q =p by the strict monotonicity of V . Because this is true for each subsequence, thesequence {a (p) }must converge to p . The same argument using the convergence of J to J andequation (2.10) shows that b (p)

    p .Now we will show that (a (p) p)/ and (p b (p))/ have nite limits. Applying the mean value theorem to V , we have

    V () =V (a (p)) V (p)

    a (p) pfor some between p and a (p) . Substituting from (2.9), this implies

    V () =(1 a (p))a (p) p

    Since a (p)

    p , we have

    p and, by C 1 convergence, V ()

    V (p) . Therefore

    V (p) =lim0(1 a (p))

    a (p) pThe factor 1 a (p) has the nonzero limit 1 p , so (a (p) p)/ must also have a nite limit, which we will denote by A(p) . Now we can write

    V (p) =(1 p)A(p)

    (A.18)

    Likewise, using (2.10), we can show that (p b (p))/ has a nite limit B(p) and

    J (p) = pB(p)(A.19)

    Now we will show that the limits A(p) and B(p) are equal. Applying the mean value theoremto V again and using (2.11), we have, for some between b (p) and p ,

    V () =V (p) V (b (p))

    p b (p)

    (1 b (p))p b (p)

    Taking limits we obtain

    V (p) (1 p)B(p)

    (A.20)

    Likewise, we obtain from (2.12) that

    J (p) p

    A(p)(A.21)

    We conclude from (A.18) and (A.20) that A B and from (A.19) and (A.21) that A B , so wemust have A=

    B.

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    28/33

    460 K. BACK AND S. BARUCH

    Dene =A =B . Expand V (a) and V (b) in (2.13) by exact second-order Taylor series ex-pansions to obtainrV (p) =V (p) [f +(a +b 2p) ](A.22)

    +12

    V ()(a p) 2 +12

    V ( )(b p) 2

    for some p < < a (p) and b (p )

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    29/33

    INFORMATION IN SECURITY MARKETS 461

    Subtracting (A.29) from (A.28) yields

    r =

    ddp

    +12

    2

    Dividing by p in (A.29) also yieldsr =

    p +

    ddp

    +12

    2

    Comparing these last two equations, we conclude that =0. We already noted that + 2 / 2must be C 1, so actually it must be the case that is C 2. Moreover, equations (A.28) and (A.29)are each equivalent to (1.21).

    Since is nonnegative, the differential equation (1.21) implies is concave. The limitslimp 0 (p) and lim p 1 (p) are therefore well dened. The boundary condition V (0) = im-plies limsup p 0 V (p) =. In view of (A.18) this implies lim p 0 (p) =0. Similarly, the bound-ary condition J( 1)

    = and (A.19) imply lim p

    1 (p)

    =0.

    The uniqueness of the solution to the differential equation (1.21) with these boundary condi-tions implies that is the given by (1.10). This veries part (b) of the theorem. Furthermorethe boundary conditions V (1) =J( 0) =0 in conjunction with (A.18) and (A.19) imply that V andJ are given by (1.13) and (1.14), which is part (a).

    It remains to prove part (c) and the Corollary. Fix any p (0 1) . Part (c) of the theorem istrivially true unless both LB(p)/ 0 and HS (p)/ 0, so assume that these conditions hold;i.e., adopt the hypothesis of the Corollary.Consider the quantity (p) dened in (A.23). We have shown that (p) 0 for each p .From the denition (2.7) of f and part (b) we have

    f +(a p) +(b p)

    = [p HB +(1 p) LB]a

    p

    +[p HS +(1 p) LS]p

    b

    [p HS +(1 p) LS p HB (1 p) LB]Therefore, 0 implies

    [p HS +(1 p) LS p HB (1 p) LB]0(A.30)The ask price can be written (see the derivation above (2.5)) as

    a (p) =m +n p where

    m =p HB

    p HB +(1 p) LB +and

    n =

    p HB +(1 p) LB +The assumption LB / 0 implies m +n 1 and the fact that a p now leads to n 1and m 0. From n 1, we conclude that

    p HB +(1 p) LB 0(A.31)

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    30/33

    462 K. BACK AND S. BARUCH

    Likewise, we can deduce from HS / 0 and b p thatp HS +(1 p) LS

    0(A.32)From (2.5), the denition of , and (A.31), we have

    a p =

    2(a p) 2

    =2p( 1 p)

    2( HB LB)

    1 +[p HB +(1 p) LB]/

    2p( 1 p)

    2( HB LB)

    Therefore, the result (a p)/ implies( HB

    LB)

    2

    2p( 1 p)(A.33)

    Likewise, (2.6), (A.32), and the result that (p b )/ imply( LS HS)

    22p( 1 p)

    (A.34)

    Write (A.30) as

    p( HS LS ) +p( LB HB) +( LS LB) 0From (A.34) the rst term converges to 2/( 2(1 p)) , and from (A.33) the second termconverges to the same thing. Therefore,

    ( LS LB) 2

    1 p(A.35)Likewise, (A.30), (A.33), and (A.34) imply

    ( HB HS) 2

    p(A.36)

    The limit in (A.35) is the denition (1.12) of L , and the limit in (A.36) is the denition (1.11)of H . This completes the proof of part (a) of the Corollary.

    Now write (A.30) as

    ( 1 p)( LS HS) +p( LB HB) +( HS LB) 0From (A.34) the rst term converges to 2/( 2p) , and from (A.33) the second term converges

    to 2

    /( 2(1 p)) . Therefore,( HS LB)

    (2p 1) 22p( 1 p)

    Thus, for p > 1/ 2 and sufciently small ,

    HS ( HS LB) > 0and, for p < 1/ 2 and sufciently small ,

    LB ( LB HS) > 0 which is part (b) of the Corollary. As noted before, part (b) of the Corollary implies part (c) of the theorem. Q.E.D.

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    31/33

    INFORMATION IN SECURITY MARKETS 463

    APPENDIX B: N UMERICAL METHOD

    We work with a grid of size n on [0 1]. We start with a guess for the value function V of the high type at each point on the grid, taking V (1) =0. We interpolate linearly to compute V at all other points, except for p < 1/n . For p < 1/n , we extrapolate V as follows. We choose anormalizing function (p) that is also innite at 0 and t a quadratic function to V (p)/(p) atp =1/n , 2/n , and 3/n . We then calculate V (p) for p < 1/n as (ap 2 +bp +cp)(p) . For thenormalizing function, we use the value function (1.13) from the Kyle model. We also start with aguess f =0 for the drift of p between orders, the equilibrium value of which is given in (2.7).We work on the grid in the region p 1/ 2 and use symmetry to dene variables for p < 1/ 2.In accordance with part (b) of the Corollary, we conjecture (and conrm) that LB(p) =0 forp > 1/ 2. Note that in this circumstance equations (2.5)(2.7) imply

    f(p) =g(p) +p [p b(p) ]

    b(p) HS(p)

    where

    g(p) = p [p b(p) ]b(p) ( 1 p) [a(p) p ]1 a(p)(B.1)

    The algorithm is as follows.

    Step 1: We set J(p) =V (1 p) . We compute a(p) on the grid for p 1/ 2 fromV (p) =(1 a(p)) +V (a(p))

    and we compute b(p) from

    J(p) =b(p) +J(b(p))We compute g(p) from (B.1).

    Step 2: We check inequality (2.11). If it is satised, we set f(p) =g(p) . If not, we set

    f(p) =(1 1)f(p) + 1rV (p) [a(p) b(p) ]

    V (p)(B.2)

    for a suitably chosen constant 1. To estimate V (p) in (B.4), we use a ve-point approximation(Gerald and Wheatley (1999, p. 373)). Equation (B.2) is motivated by (2.13), which states that

    f(p) =rV (p) [V (a(p)) +V (b(p)) 2V (p) ]

    V (p)(B.3)

    which equals

    rV (p) [a(p) b(p) ]V (p) when (2.9) holds and (2.11) holds as an equality. We then compute V and J by adding a smallfraction of the errors in (2.13) and (2.14). Specically, we set

    V (p) =V (p) + 2 V (p) f(p) + [V (a(p)) +V (b(p)) 2V (p) ] rV (p)(B.4)J(p) =J(p) + 2 J (p) f(p) + [J(a(p)) +J(b(p)) 2J(p) ]rJ(p)(B.5)

    Equations (B.4)(B.5) employ the method that Judd (1998, p. 166) describes as extrapolation.

    Step 3: For p < 1/ 2, dene V (p)

    =J( 1

    p) and return to Step 1, with V

    =V and f

    =f .

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    32/33

    464 K. BACK AND S. BARUCH

    When this converges, we have V , J , a , b , and f . We compute the s from a , b , and f via(2.5)(2.7).

    Our updating equation for the vaue functions can be understood as a type of value iteration.To interpret it in this way, consider a discrete-time model with period length t in which anuninformed buy order arrives with probability t , an uninformed sell order arrives with thesame probability, the announcement arrives with probability r t , and no two of these eventsoccur simultaneously. Assume that, if none of these events occurs, then p moves to p +f(p) t , which is consistent with (2.8). Assuming it is optimal to wait to trade and letting V denote the value function for the next period, the value function V for the current period will satisfy

    V (p) = t [V (a(p)) +V (b(p)) ]+(1 r t 2 t)V (p +f(p) t)(B.6)If we take t = 2, approximate V (p + f(p) t) as V (p) +V (p)f (p) t , and ignore termsof order ( t) 2, (B.6) is the same as (B.4). Value iteration is well known to converge in dis-counted dynamic programming problems (see, e.g., Judd (1998, p. 412)), and one would expectthis discrete-time model to converge to our continuous-time model as t

    0. However, we are

    actually solving an equilibrium problem, updating the functions a , b , and f in each step, so wecannot appeal to standard results for convergence. Nevertheless, the algorithm did converge.

    We iterated until the change in V (the maximum change across the grid points) was sufcientlysmall. We enforced (2.9)(2.10), so the equilibrium conditions we need to check at the end arethe inequalities (2.11) and (2.12) and the differentialdifference equations (2.13) and (2.14). Forthe values of = 5 and above shown in the gures, the inequalities hold strictly, as Figure 6shows. For = 2 and below, the inequality (2.11) holds as an equality for large values of p and(2.12) holds as an equality for small values of p , with a maximum error in all cases on the orderof 104 . In all cases, the error in (2.13) and (2.14) was less than 10 10 at each grid point.

    We did numerous robustness checks. We started with different initial estimates for V , we useddifferent grid sizes ( n =100, n =400, and n =1000), we used different methods of extrapolatingV below 1/n , and we tried both (B.4) and (B.6) (and the equation for J corresponding to (B.6))as the updating equation. Provided the constants 1 and 2 were chosen well, the algorithm con- verged in all cases, and when it converged, it converged to the same limits.

    Even though all the equilibrium conditions hold with a high order of accuracy, it appears fromour plots that the s are not estimated very accurately when there is blufng. This is probablyan inevitable result of our estimation method, because we are estimating the s from f obtainedfrom (B.3). The derivative V (p) is small near one, where blufng occurs, and even if V wereknown exactly, small errors introduced by the numerical computation of this derivative in (B.3) would lead to relatively large errors in f and hence in the s.

    REFERENCES

    B ACK , K. (1992): Insider Trading in Continuous Time, Review of Financial Studies , 5, 387409.

    B AGEHOT , W. ( PSEUD .) (1971): The Only Game in Town, Financial Analysts Journal , 22, 1214.BLACK , F. (1990): Blufng, Working Paper, Goldman Sachs.E ASLEY , D., N. K IEFER , M. OH ARA , AND J. P APERMAN (1996): Liquidity, Information, and

    Infrequently Traded Stocks, Journal of Finance , 51, 14051436.ETHIER , S., AND T. K URTZ (1986): Markov Processes . New York: John Wiley & Sons.GERALD , C., AND P. WHEATLEY (1999): Applied Numerical Analysis . Reading, MA: Addison-

    Wesley.GLOSTEN , L., AND P. M ILGROM (1985): Bid, Ask, and Transaction Prices in a Specialist Market

    with Heterogeneously Informed Traders, Journal of Financial Economics , 13, 71100.HUDDART , S., J. HUGHES , AND C. L EVINE (2001): Public Disclosure and Dissimulation of In-

    sider Trades, Econometrica , 69, 665681.JUDD , K. (1998): Numerical Methods in Economics . Cambridge: MIT Press.

  • 7/31/2019 Information in Securities Markets Kyle Meets Glosten and Milgrom

    33/33

    INFORMATION IN SECURITY MARKETS 465

    K ARATZAS , I., AND S. SHREVE (1988): Brownian Motion and Stochastic Calculus . New York:Springer-Verlag.

    K YLE , A. S. (1985): Continuous Auctions and Insider Trading, Econometrica , 53, 13151335.PROTTER , P. (1990): Stochastic Integration and Differential Equations . New York: Springer-Verlag.ROGERS , L. C. G., AND D. W ILLIAMS (2000): Diffusions, Markov Processes and Martingales ,

    2nd ed. Cambridge, MA: Cambridge University Press.