# Martingale optimal transport and mathematical finance

In the financial market, an option is a contract signed at present that gives the holder some nonnegative payoff in the future, which depends on the price of one or more assets(i.e., anything that can be traded). One needs to pay for holding an option in order to get the payoff in the future, and this leads to the problem of option pricing. In the following, we will first introduce some fundamental results regarding option pricing, and then discuss how an option pricing problem can be reformulated as an optimal transport problem possibly with martingale condition.

## Contents

## Backgrounds For Option Pricing

Suppose is the underlying probability space. We equip this probability space with a **filtration** , which is an increasing sequence of -algebras indexed by time . That is, for every pair , we have . A -algebra can be viewed as a collection of information, so the filtration represents the information accumulating as time evolves.

For simplicity, we only consider stocks and money as our assets. The price of an asset at time , denoted by , is a random variable on the underlying probability space. The collection of random variable indexed by time is a stochastic process and assumed to be *adapted to* the filtration , meaning the random variable is measurable with . The intuition of this condition is that the price of the stock at time can be observed in the market, so it should be part of the information we have up to time .

The payoff of an option is a function of the stock price process . An option is called **vanilla** if the payoff is given at a fixed time in the future, called **maturity**, and is called **European style** if the payoff only depends on the asset price at the maturity . A **vanilla European call option** on a stock has the payoff , where is a constant called **strike** determined in the contract. An option with payoff is not European style because the payoff depends on the whole path of stock price before time .

A basic assumption for option pricing is that the market is free of **arbitrage opportunity**, meaning we cannot generate a positive return starting with nothing. The rigorous definition is the following.

**Definition 1. ** *Arbitrage opportunity*

A portfolio (i.e. a linear combination of different assets with weights possibly changing by time) gives an arbitrage opportunity if (i) , (ii) , and (iii) , for some time .

In other words, a portfolio generates an arbitrage if it starts with nothing, guarantees no loss, and has a positive probability to obtain a positive return at the end. A fair price of an option should exclude arbitrage opportunities. No-arbitrage condition is equivalent with the existence of the **equivalent martingale measure**, or **risk-neutral measure**. The definition involves the notion of *martingales*.

**Definition 3.** *Martingale*

A stochastic process is called a *martingale adapted to the filtration* if (i) is measurable with for every , (ii) is integrable for every , and (iii) for every pair , -a.e.

The notation of conditional expectation given a -algebra can be viewed as an estimation of the random variable given the information represented by the -algebra. By taking expectation on both sides of (iii) and using tower property of conditional expectations(), we obtain that a martingale has a constant expectation over the whole time horizon, so it can be treated as an analogue of constant function in the stochastic world. Now we are ready to state the definition of equivalent martingale measure.

**Definition 4.** *Equivalent martingale measure (EMM)*

A probability measure is an *equivalent martingale measure*, if:

(i) is equivalent with , meaning , and

(ii) the discounted price is a martingale under for all assets: , -, where is the risk-free rate, i.e., the growth rate of money.

The existence of EMM excludes arbitrage. To see this, we assume for simplicity and is an EMM. Assume that a portfolio satisfies and , so by equivalence of and we have and as well. The portfolio as a linear combination of assets, should also be a martingale under the EMM by linearity of conditional expectations. Therefore, which implies . Applying the equivalence of and again gives so it cannot be the case that . Thus, the existence of EMM leads to an arbitrage-free market. Actually, the converse argument is also correct so we have the equivalent of two conditions: the existence of EMM and no-arbitrage.

A well-known result in option pricing is that the expected value of the discounted payoff under an EMM gives a no-arbitrage price. This result also holds for path-dependent payoffs, but we use a European style payoff as an example.

**Theorem 1.** *No arbitrage price*

Suppose is an EMM and the payoff of an option is . Then the expected discounted payoff under

gives a no-arbitrage price of this option at time .

*Proof:* Since an option can be traded, it is an asset, thus its discounted process is a martingale under the EMM . Therefore, for , , since the price of the option at time is exactly the payoff at time . Multiply on both sides we get the desired result.

Denote the set of EMMs to be , according to this result, the set of no-arbitrage prices for this option is:

Sometimes the EMM is not unique, and it is the market that choose the EMM by giving assets proper prices through trading.

Another useful result is that the prices of all European call options with different strikes give the marginal distribution of the stock at time .

**Theorem 2. ** *Call option gives marginal distribution*^{[1]}

Let be the price of a European call option at time given by some EMM , with maturity , strike , and . Then the marginal distribution of the stock price under is given by

where is the probability density function of given that . We assume that the European options of stocks are traded very frequently so that the prices for each strike are available, which gives us the marginal distribution of the stock prices.

## Option Pricing as an Optimal Transport Problem

For simplicity we assume the risk-free rate to be , and denote the EMM by . We introduce the following two option pricing problems.^{[2]} By Theorem 1, we always price the option under EMMs, so in the following discussion we consider the problem under EMMs.

### Problem 1. Option with payoff .

Suppose the payoff depends on two assets but only the price at maturity : . Suppose we have all the prices of call options for both stocks and , then Theorem 2 gives that we have the marginal distribution of and under , denoted by and . By Theorem 1, the price of the option is:

where is the joint distribution of **Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_{T}^1}**
and under the EMM . The upper and lower bound of the no-arbitrage price is given by the supremum and infimum of the above quantity over all the possible probability measures on that have the right marginals, and denote the set of these probability measures as:

The problem then becomes:

This is exactly an optimal transport problem with the cost function being . We point out that needs to be an EMM, but here we drop this restriction because the payoff only depends on the stock prices at maturity, so the evolution of the stock price before does not effect the problem.

However, in the following problem, the martingale condition cannot be avoided.

### Problem 2. Option with path-dependent payoff.

Consider a payoff function depending on one stock, but the whole path . For simplicity, we only consider finitely many time points before the maturity and the payoff function is denoted by . Similar as Problem 1, we obtain the marginal distributions of stock prices . To estimate the no-arbitrage price of this option, we consider the supremum and infimum of the following quantity:

where so for each . In addition, the stock price should be an martingale under . Therefore, we need to add conditions that , -a.e., meaning

for any Borel measurable function .