Stop just before a large predictable coefficient would be used. Set
with the infimum of the empty set equal to infinity. Because is -measurable, is a stopping time. The increment of the stopped martingale transform is
Its coefficient is predictable and bounded by : the first coefficient exceeding occurs at the step after stopping, and is never included. Part (c) makes a martingale. Since the finitely many on any fixed finite horizon are finite almost surely, almost surely. Thus
This is predictable-coefficient localization of a martingale transform. Stopping after taking the large increment would not give the required bound.
First propagate terminal nonnegativity backwards; it is not necessary to assume nonnegative wealth at intermediate dates. Suppose and define
These events increase to the whole space up to a null set. On , both the old value and the coefficient are bounded, so is integrable and
The left side is nonnegative; hence on every , and therefore almost surely. Starting from , induction gives for every .
The process stopped at is now a nonnegative discrete-time local martingale. Part (b) makes it a martingale with initial value zero. Consequently , and a nonnegative random variable with zero expectation vanishes almost surely:
This is the terminal nonnegativity criterion for a finite-horizon martingale transform. A finite deterministic horizon is essential to the backward induction.
On a finite sample space, all real-valued holdings over the finite interval are bounded after null states are discarded. The gains identity is therefore a bounded predictable martingale transform of the vector martingale , summed over its coordinates. It follows that is a martingale, so
Here the replication cost is a prescribed deterministic initial capital, as in the definition of attainability. The stronger intermediate identity is . If initial capital is instead allowed to be -measurable and random, the corresponding statement is ; its unconditional expectation still equals .
Let be the predictable stock holding during . Cash has constant price, so self-financing gives
Put . The tower property of conditional expectation and -measurability of give
Since , and are -measurable, substituting the gains identity yields
The denominator is positive on every positive-probability parent atom. If it were zero on such an atom, would be constant there, and the martingale property would force that constant to equal , contradicting the nonzero-increment assumption. Hence
This is conditional covariance hedge ratio. It uses attainability; a regression coefficient alone would not replicate a general unattainable payoff. After maturity one may liquidate into cash, so the same formula gives zero for later dates wherever its denominator remains nonzero. On a finite sample space a martingale cannot have nonzero increments forever; the stated nondegeneracy is naturally a finite-maturity assumption.
Write the discount factor as . Splitting the time integral at gives
The random variable lies in because the short rate is nonnegative and continuous on the finite maturity interval. A process of conditional expectations of an integrable terminal variable is a martingale, by the tower property of conditional expectation. Therefore
The terminal density is strictly positive and has expectation one under the usual deterministic initial bond-price convention. Its density process is
For , the Bayes formula for conditional expectation under a change of measure gives
The same calculation at gives the finite expectation , so this is a true martingale, not just a formal conditional identity. Thus the continuous-time bank account measured in units of the maturity- bond is a -martingale. This is the forward measure change of numéraire. If the initial bond price were random rather than given, integrability of its reciprocal would need to be included for this true-martingale assertion.
To avoid confusing the continuous-time bank account with the coefficient of , denote the latter by and the other coefficient by , where . Apply the Itô formula to . Since the expression is affine in , its second rate derivative is zero. Its drift is
The quadratic terms cancel. The remaining expression is
It vanishes when and . For a unit bond payoff choose terminal conditions , , giving
The resulting local martingale is . The allowed bound puts it between zero and one, so the bounded local martingale criterion makes it a true martingale. At maturity it equals . Comparing with part (a) therefore gives
In particular , and . This is linear bond pricing in a bounded short-rate diffusion; choosing zero coefficients would produce a local martingale but would not price the required terminal payoff.
The integral against the local-martingale vector is a local martingale, provided the predictable holdings are stochastically integrable. Integrating part (b) gives
Both and the cumulative deflated consumption are nonnegative. Hence . With the usual finite deterministic initial capital, the shifted process
is a nonnegative local martingale, and is therefore a supermartingale. For completeness, a localizing sequence turns it into true martingales; conditional Fatou lemma for their nonnegative stopped values gives the supermartingale inequality and ordinary Fatou gives integrability at each time. Subtracting the initial constant proves
This is supermartingale control of deflated consumption gains. It uses as well as ; an unrestricted stochastic integral is not necessarily a true supermartingale.
We need independent sets in every sufficiently large remaining induced subgraph, rather than just one in the initial random graph. The useful concentration variable is the maximum edge-disjoint clique packing in the complement graph; changing one edge changes that variable by at most one. This avoids the much larger sensitivity of the ordinary clique count in a binomial random graph.
First work in a binomial random graph , take , and let count its -cliques. Put and let be its maximum edge-disjoint clique packing size. Form the clique conflict graph whose vertices are these cliques, adjacent when they share an edge. If counts unordered conflicting pairs, the Caro-Wei bound gives, for each realization,
To verify the bound, randomly order the vertices of a finite graph and retain each vertex preceding all its graph neighbours. These retained vertices are an independent set, with expected size by the Cauchy-Schwarz inequality. Interpret the ratio as zero when . A second application of the Cauchy-Schwarz inequality, now to expectations, gives
Counting ordered pairs of -sets with common vertices, including identical sets when , yields
The shared edges account for the factor . We claim
Here are the estimates, including the large overlaps. For , the probability that a random -set contains any specified elements is at most . Summing over their choices inside the first -set gives
The logarithm of is a convex function, a quadratic in , so the maximum on this interval is at an endpoint. We have . As , the other endpoint satisfies
and is smaller than for sufficiently large . Summing at most terms gives .
For the other half of the overlaps, write , where . The exact identity and an upper bound are
The quantity in parentheses is , which tends to zero. The geometric series is thus at most for sufficiently large . This proves the claim. In fact and , so eventually
Now expose the independent edge indicators one at a time. The edge-exposure martingale starts at and ends at . Deleting one edge destroys at most one member of any edge-disjoint clique packing. Hence changing one indicator changes by at most one; coupling the remaining indicators shows .
Precisely, the Azuma-Hoeffding inequality says that if is a martingale and almost surely for deterministic , then, for ,
If all , the martingale is constant. Applying the lower-tail inequality with and gives
for sufficiently large . This is the only martingale concentration inequality needed.
Return to the original binomial random graph and set . For each fixed -element vertex set , the complement graph of has distribution . The union bound therefore gives
since . Thus with high probability every vertex set of size at least contains an independent set of size
Apply greedy colouring by removing independent sets: remove such an independent set, give it a fresh colour, and repeat while at least vertices remain. Give each of the fewer than final vertices its own colour. This uses at most
colours, since . Together with the lower bound, this gives the chromatic number of the half-density binomial random graph:
Put . The stopped martingale in discrete time identity
shows that is a martingale: the indicator function is -measurable and the increment has zero conditional expectation. Integrability follows because is selected from the finitely many integrable values .
For the bounded stopping time , the optional stopping theorem in its conditional form gives
Here is the stopping-time sigma-algebra. Indeed, for , partition into and apply the martingale identity on each piece. This proves the displayed conditional expectation identity directly.
Let and . Conditional absolute-value domination and the Markov inequality give and, for any ,
First choose using the uniform integrability of , and then choose . The estimate is uniform in , proving uniform integrability of a stopped uniformly integrable martingale. No finiteness assumption on is needed.
A martingale has uniform integrability when its entire family of time values has uniformly small integrable tails:
Here every is an integrable random variable. This implies , because the contribution from is at most . Mere boundedness of these expectations does not imply uniform integrability.
Write . For , let be the upcrossing count obtained by successively buying at an observation at or below and selling at an observation at or above , with the first purchase allowed at time zero. The Doob upcrossings lemma for an integrable discrete-time martingale is
The weaker last bound is also the usual Doob upcrossing inequality.
To prove it, hold one unit between each purchase and sale, and zero units otherwise. If records the holding over , the decision is -measurable, with . The resulting martingale transform has gain
Each completed upcrossing earns at least . An unfinished holding loses at most . If a purchase occurs at zero, its price is , giving the additional discount , whether that holding has been sold or remains open. If no purchase occurs at zero, this extra term is zero. Therefore, path by path,
Taking expectations proves the bound.
The Martingale convergence theorem, stated without proof, says that a discrete-time martingale satisfying converges almost surely to a finite integrable random variable . In particular every nonnegative martingale converges almost surely to a finite limit. Under uniform integrability, the uniformly integrable martingale convergence theorem additionally gives convergence in L1 and .