<p>Martingale is a very broad term, sometimes just basically meaning "the future is independent conditioned on today". Of course, any random walk has this property. So do Markov chains.</p>

<p>"Martingale" also usually refers to a real-valued random variable that changes over time, but whose expectation is always equal to its current value. An unbiased random walk also satisfies this because, given that the current location of the random walk is $x$, the expected location after $50$ steps is still $x$. It is hard to see how a Markov chain relates to this property in general because its state space might not be the real numbers.</p>

<p>The idea of the Doob martingale is that these two cases are almost the same: any time you have a Markov-chain type structure where the future is independent conditioned on the present, and you have a real-valued random variable $X_t$ that is changing over time, you can construct a new random variable $Y_t = \mathbb{E}[X_T | X_t]$, where $T$ is the time that the process stops. Now by conditional independence, $Y_t$ is a martingale.</p>

<p>Finally, a Bayesian agent's expectation of a random variable is a martingale, as they receive new information over time. To see this, consider a two-stage process: The agent begins with just a prior distribution on $Z$, then receives a signal $A$ and updates to a posterior on $Z$. Naturally, the posterior will be $\mathbb{E}[ Z \mid A]$. But the prior will just be $\mathbb{E} Z$, and the law of iterated expectation says that
 $$ \mathbb{E}_A\left[ \mathbb{E}_Z [Z \mid A] \right] = \mathbb{E} Z. $$
You can see this by working it out for yourself using the definition of expectation.</p>

CC BY-SA 3.0
2016-04-21T06:46:36.383Z
A Markov process need not be a martingale.
Michael
CC BY-SA 3.0
2016-04-21T15:36:16.353Z
@Michael, correct.
usul
CC BY-SA 3.0
2016-04-21T15:39:13.267Z
Sorry if you found my first line confusing - I am just saying that in practice, people are often loose with terminology and use the term martingale to apply to any situation with Markov-like properties, often because in these situations one constructs a natural martingale as I explain below.
usul
CC BY-SA 3.0
2016-04-16T15:12:30.273Z
2016-04-16T15:12:30.273Z
usul
<p>All concepts are used in Economics. Definitions (not stated in a fully rigorous manner):</p>

<p><strong>Martingale :</strong> A stochastic process $\{X_t\}$ is called "martingale" if and only if it holds that</p>

<p>$$E(X_{t+1} \mid X_t,X_{t-1},...) = X_t \tag{1}$$</p>

<p>There are extensions like "sub-martingale", "super-martingale" but the basic definition is the above</p>

<p><strong>Random walk :</strong> A stochastic process $\{X_t\}$ is called "random walk" if and only if</p>

<p>$$X_{t+1} = X_t + u_{t+1}, \;\;\;u_t \sim \text{White Noise} \tag{2}$$</p>

<p>and you can look up the definition of "White Noise".</p>

<p>Here too there are spin-offs ("random walk with drift" etc).</p>

<p>Comment: it follows that a random walk is (one example of) a martingale, but a martingale does not imply a random walk, the former being a much broader concept.</p>

<p><strong>Rational Expectations</strong> : Originally, the Rational Expectations Hypothesis stated that <em>the aggregate expectation</em> on some unknown (usually future) value of an <em>aggregate</em> random variable (<a href="https://economics.stackexchange.com/a/141/61">see also this post on the matter</a>), equals the conditional expectation (in the rigorous mathematical sense) of this variable "given all relevant information at the time of forming the expectation</p>

<p>$$X^e_{t+k|t} = E(X_{t+k}\mid I_t) \tag{3}$$</p>

<p>Comment: note that the conditioning set in the case of a martingale contains only past values of the process. The conditioning set in the case of the REH contains "whatever is available and is deemed relevant".</p>

<p>In a representative agent model, we are forced, for internal methodological consistency, to apply the Rational Expectations Hypothesis at the individual level (something that has raised all sorts of valid objections as regards the availability of information and the information processing constraints of an individual).</p>

<p><strong>So do the forecasts of an individual follow a martingale?</strong> Let's examine it for one-step-ahead forecasts only: our stochastic process is </p>

<p>$$\{X^e_{t+1|t},\,X^e_{t+2|t+1},...\} = \{E(X_{t+1}\mid I_t),\,E(X_{t+2}\mid I_{t+1}),...\} \tag{4}$$</p>

<p>To obtain the martingale property it must hold that</p>

<p>$$E[X^e_{t+1|t} \mid X^e_{t|t-1}, X^e_{t-1|t-2},...] = ?\; X^e_{t|t-1} \tag{5}$$
(I will name in the end what expectations does eq. $(5)$ describes)</p>

<p>$$E[X^e_{t+1|t} \mid X^e_{t|t-1}, X^e_{t-1|t-2},...] = E[E(X_{t+1}\mid I_t) \mid \{E(X_{t}\mid I_{t-1}), E(X_{t-1}\mid I_{t-2}),...\}]$$</p>

<p>As already commented, the outer conditioning set is smaller than the inner conditioning set. By the Law of Iterated Expectations (the Tower property) of Conditional Expectation, we then obtain</p>

<p>$$E[E(X_{t+1}\mid I_t) \mid \{E(X_{t}\mid I_{t-1}), E(X_{t-1}\mid I_{t-2}),...\}] = E[X_{t+1} \mid \{E(X_{t}\mid I_{t-1}), E(X_{t-1}\mid I_{t-2}),...\}] \tag{6}$$</p>

<p>The right-hand-side of $(6)$ is not necessarily equal to the right-hand-side of $(5)$, so we <em>cannot</em> say that the stochastic process of one-step-ahead forecasts under the Rational Expectations Hypothesis is a martingale. </p>

<p>Equation $(5)$ describes the following situation: standing at period $t-1$ we form the expectation $X^e_{t|t-1}$, and "the best we can say" (best in the mean-squared-error sense) about our subsequent expectation $X^e_{t+1|t}$ is that it will be equal to $X^e_{t|t-1}$. This is (sometimes) called "static expectations" but beware because the term has two totally different meanings in the literature: for some authors, eq. $(5)$ represents "static" expectations in the sense that the expectation itself remains (or is expected to remain) unchanged in value. But you will often find authors who write the term "static expectations" <em>and mean something totally different</em>, namely $E(X_{t+1}\mid I_t) = X_t$ ("what is, will be"). This in turn <em>looks</em> like the martingale property but it is at best an extended concept of it (because the conditioning set is bigger), and in any case, it is a martingale-like property <em>as regards the actual process $\{X_t\}$</em>, and <em>not</em> the forecasts-process $\{X^e_{t+1|t}\}$.</p>

CC BY-SA 3.0
2016-04-16T18:50:00.180Z
2016-04-16T18:50:00.180Z
2017-04-13T12:51:38.253Z
Alecos Papadopoulos
<p>What is the link between these concepts?</p>

<p>For example let's take a process $Z_n$ which follows a random walk, I would say that:</p>

<ol>
<li>This is a martingale, because my expectations of tomorrow, i.e. n+1 depends only on today</li>
<li>If we assume an individual with rational expectation, he will assume that the forecast of tomorrow is today</li>
</ol>

<p>So in other words, the forecast of a rational individual follows a martingale?</p>

<p>I am not sure of the difference since one concept is used in finance while the other in economics, but they seem basically the same to me.</p>

<p>Last, I have seen in the example that a random walk implies a martingale, is this always true? Does a martingale implies a random walk?</p>

CC BY-SA 3.0
2016-04-16T01:41:28.927Z
Is the question if the rational forecast of a random walk is a martingale? Or if any rational forecast has to be a random walk?
BKay
CC BY-SA 3.0
2016-04-16T04:12:06.047Z
More like the first one. The second one is somewhat implied by the second part of mi questions, but you can treat it as separate
Lex
CC BY-SA 3.0
2016-04-16T05:04:23.020Z
to add to 1) All Markov chains are Martingales (though there are non-Markovian Martingales too), since random walks are a special case of Markov chains then yes as you think they are Martingales.  But I don't know about 2.
Sunhwa
CC BY-SA 3.0
2016-04-16T17:04:50.810Z
I don't think you're defining Martingale correctly. "This is a Martingale, because my expectations of tomorrow, i.e. n+1 depends only on today." A (discrete time) [Martingale](https://en.wikipedia.org/wiki/Martingale_(probability_theory)) is defined by two properties: (1) $E[|Z_n|) < \infty$ and (2) $E[Z_{n+1} | Z_0, \dots, Z_n] = Z_n$. What you seem to be referring to, as @Sunhwa hints at, is the [Markov property](https://en.wikipedia.org/wiki/Markov_property). But note, [Not all Martingales are Markov](http://math.stackexchange.com/questions/113747/martingale-that-is-not-a-markov-process)
cc7768
<statistics><martingales>
Martingale, random walk and rational expectations
Lex
# Martingale, random walk and rational expectations

(Asked by: username_0 on 2016-04-15)

What is the link between these concepts?

For example let's take a process $Z\_n$ which follows a random walk, I would say that:

1. This is a martingale, because my expectations of tomorrow, i.e. n+1 depends only on today
2. If we assume an individual with rational expectation, he will assume that the forecast of tomorrow is today

So in other words, the forecast of a rational individual follows a martingale?

I am not sure of the difference since one concept is used in finance while the other in economics, but they seem basically the same to me.

Last, I have seen in the example that a random walk implies a martingale, is this always true? Does a martingale implies a random walk?

**Tags:** statistics, martingales

> **Comments:**
> **username_1**: Is the question if the rational forecast of a random walk is a martingale? Or if any rational forecast has to be a random walk?  
> **username_0**: More like the first one. The second one is somewhat implied by the second part of mi questions, but you can treat it as separate  
> **username_2**: to add to 1) All Markov chains are Martingales (though there are non-Markovian Martingales too), since random walks are a special case of Markov chains then yes as you think they are Martingales.  But I don't know about 2.  
> **username_3**: I don't think you're defining Martingale correctly. "This is a Martingale, because my expectations of tomorrow, i.e. n+1 depends only on today." A (discrete time) [Martingale](https://en.wikipedia.org/wiki/Martingale_(probability_theory)) is defined by two properties: (1) $E[|Z_n|) < \infty$ and (2) $E[Z_{n+1} | Z_0, \dots, Z_n] = Z_n$. What you seem to be referring to, as @username_2 hints at, is the [Markov property](https://en.wikipedia.org/wiki/Markov_property). But note, [Not all Martingales are Markov](http://math.stackexchange.com/questions/113747/martingale-that-is-not-a-markov-process)  

---

## 2 answers

### Answer by username_6 on 2016-04-16. Score: 6 | Accepted answer

All concepts are used in Economics. Definitions (not stated in a fully rigorous manner):

**Martingale :** A stochastic process $\{X\_t\}$ is called "martingale" if and only if it holds that

$$E(X\_{t+1} \mid X\_t,X\_{t-1},...) = X\_t \tag{1}$$

There are extensions like "sub-martingale", "super-martingale" but the basic definition is the above

**Random walk :** A stochastic process $\{X\_t\}$ is called "random walk" if and only if

$$X\_{t+1} = X\_t + u\_{t+1}, \;\;\;u\_t \sim \text{White Noise} \tag{2}$$

and you can look up the definition of "White Noise".

Here too there are spin-offs ("random walk with drift" etc).

Comment: it follows that a random walk is (one example of) a martingale, but a martingale does not imply a random walk, the former being a much broader concept.

**Rational Expectations** : Originally, the Rational Expectations Hypothesis stated that *the aggregate expectation* on some unknown (usually future) value of an *aggregate* random variable ([see also this post on the matter](https://economics.stackexchange.com/a/141/61)), equals the conditional expectation (in the rigorous mathematical sense) of this variable "given all relevant information at the time of forming the expectation

$$X^e\_{t+k|t} = E(X\_{t+k}\mid I\_t) \tag{3}$$

Comment: note that the conditioning set in the case of a martingale contains only past values of the process. The conditioning set in the case of the REH contains "whatever is available and is deemed relevant".

In a representative agent model, we are forced, for internal methodological consistency, to apply the Rational Expectations Hypothesis at the individual level (something that has raised all sorts of valid objections as regards the availability of information and the information processing constraints of an individual).

**So do the forecasts of an individual follow a martingale?** Let's examine it for one-step-ahead forecasts only: our stochastic process is

$$\{X^e\_{t+1|t},\,X^e\_{t+2|t+1},...\} = \{E(X\_{t+1}\mid I\_t),\,E(X\_{t+2}\mid I\_{t+1}),...\} \tag{4}$$

To obtain the martingale property it must hold that

$$E[X^e\_{t+1|t} \mid X^e\_{t|t-1}, X^e\_{t-1|t-2},...] = ?\; X^e\_{t|t-1} \tag{5}$$
(I will name in the end what expectations does eq. $(5)$ describes)

$$E[X^e\_{t+1|t} \mid X^e\_{t|t-1}, X^e\_{t-1|t-2},...] = E[E(X\_{t+1}\mid I\_t) \mid \{E(X\_{t}\mid I\_{t-1}), E(X\_{t-1}\mid I\_{t-2}),...\}]$$

As already commented, the outer conditioning set is smaller than the inner conditioning set. By the Law of Iterated Expectations (the Tower property) of Conditional Expectation, we then obtain

$$E[E(X\_{t+1}\mid I\_t) \mid \{E(X\_{t}\mid I\_{t-1}), E(X\_{t-1}\mid I\_{t-2}),...\}] = E[X\_{t+1} \mid \{E(X\_{t}\mid I\_{t-1}), E(X\_{t-1}\mid I\_{t-2}),...\}] \tag{6}$$

The right-hand-side of $(6)$ is not necessarily equal to the right-hand-side of $(5)$, so we *cannot* say that the stochastic process of one-step-ahead forecasts under the Rational Expectations Hypothesis is a martingale.

Equation $(5)$ describes the following situation: standing at period $t-1$ we form the expectation $X^e\_{t|t-1}$, and "the best we can say" (best in the mean-squared-error sense) about our subsequent expectation $X^e\_{t+1|t}$ is that it will be equal to $X^e\_{t|t-1}$. This is (sometimes) called "static expectations" but beware because the term has two totally different meanings in the literature: for some authors, eq. $(5)$ represents "static" expectations in the sense that the expectation itself remains (or is expected to remain) unchanged in value. But you will often find authors who write the term "static expectations" *and mean something totally different*, namely $E(X\_{t+1}\mid I\_t) = X\_t$ ("what is, will be"). This in turn *looks* like the martingale property but it is at best an extended concept of it (because the conditioning set is bigger), and in any case, it is a martingale-like property *as regards the actual process $\{X\_t\}$*, and *not* the forecasts-process $\{X^e\_{t+1|t}\}$.


---

### Answer by username_4 on 2016-04-16. Score: 1

Martingale is a very broad term, sometimes just basically meaning "the future is independent conditioned on today". Of course, any random walk has this property. So do Markov chains.

"Martingale" also usually refers to a real-valued random variable that changes over time, but whose expectation is always equal to its current value. An unbiased random walk also satisfies this because, given that the current location of the random walk is $x$, the expected location after $50$ steps is still $x$. It is hard to see how a Markov chain relates to this property in general because its state space might not be the real numbers.

The idea of the Doob martingale is that these two cases are almost the same: any time you have a Markov-chain type structure where the future is independent conditioned on the present, and you have a real-valued random variable $X\_t$ that is changing over time, you can construct a new random variable $Y\_t = \mathbb{E}[X\_T | X\_t]$, where $T$ is the time that the process stops. Now by conditional independence, $Y\_t$ is a martingale.

Finally, a Bayesian agent's expectation of a random variable is a martingale, as they receive new information over time. To see this, consider a two-stage process: The agent begins with just a prior distribution on $Z$, then receives a signal $A$ and updates to a posterior on $Z$. Naturally, the posterior will be $\mathbb{E}[ Z \mid A]$. But the prior will just be $\mathbb{E} Z$, and the law of iterated expectation says that
$$ \mathbb{E}\_A\left[ \mathbb{E}\_Z [Z \mid A] \right] = \mathbb{E} Z. $$
You can see this by working it out for yourself using the definition of expectation.

> **Comments:**
> **username_5**: A Markov process need not be a martingale.  
> **username_4**: @username_5, correct.  
> **username_4**: Sorry if you found my first line confusing - I am just saying that in practice, people are often loose with terminology and use the term martingale to apply to any situation with Markov-like properties, often because in these situations one constructs a natural martingale as I explain below.  

---

