27. Job Search I: The McCall Search Model#

“Questioning a McCall worker is like having a conversation with an out-of-work friend: ‘Maybe you are setting your sights too high’, or ‘Why did you quit your old job before you had a new one lined up?’ This is real social science: an attempt to model, to understand, human behavior by visualizing the situation people find themselves in, the options they face and the pros and cons as they themselves see them.” – Robert E. Lucas, Jr.

In addition to what’s in Anaconda, this lecture will need the following libraries:

!pip install quantecon
Hide code cell output
Requirement already satisfied: quantecon in /opt/conda/envs/quantecon/lib/python3.12/site-packages (0.7.2)
Requirement already satisfied: numba>=0.49.0 in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from quantecon) (0.60.0)
Requirement already satisfied: numpy>=1.17.0 in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from quantecon) (1.26.4)
Requirement already satisfied: requests in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from quantecon) (2.32.3)
Requirement already satisfied: scipy>=1.5.0 in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from quantecon) (1.13.1)
Requirement already satisfied: sympy in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from quantecon) (1.13.1)
Requirement already satisfied: llvmlite<0.44,>=0.43.0dev0 in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from numba>=0.49.0->quantecon) (0.43.0)
Requirement already satisfied: charset-normalizer<4,>=2 in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from requests->quantecon) (3.3.2)
Requirement already satisfied: idna<4,>=2.5 in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from requests->quantecon) (3.7)
Requirement already satisfied: urllib3<3,>=1.21.1 in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from requests->quantecon) (2.2.3)
Requirement already satisfied: certifi>=2017.4.17 in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from requests->quantecon) (2024.8.30)
Requirement already satisfied: mpmath<1.4,>=1.1.0 in /opt/conda/envs/quantecon/lib/python3.12/site-packages (from sympy->quantecon) (1.3.0)
WARNING: Running pip as the 'root' user can result in broken permissions and conflicting behaviour with the system package manager, possibly rendering your system unusable.It is recommended to use a virtual environment instead: https://pip.pypa.io/warnings/venv. Use the --root-user-action option if you know what you are doing and want to suppress this warning.

27.1. Overview#

The McCall search model [McCall, 1970] helped transform economists’ way of thinking about labor markets.

To clarify notions such as “involuntary” unemployment, McCall modeled the decision problem of an unemployed worker in terms of factors including

  • current and likely future wages

  • impatience

  • unemployment compensation

To solve the decision problem McCall used dynamic programming.

Here we set up McCall’s model and use dynamic programming to analyze it.

As we’ll see, McCall’s model is not only interesting in its own right but also an excellent vehicle for learning dynamic programming.

Let’s start with some imports:

import matplotlib.pyplot as plt
plt.rcParams["figure.figsize"] = (11, 5)  #set default figure size
import numpy as np
from numba import jit, float64
from numba.experimental import jitclass
import quantecon as qe
from quantecon.distributions import BetaBinomial

27.2. The McCall Model#

An unemployed agent receives in each period a job offer at wage \(w_t\).

In this lecture, we adopt the following simple environment:

  • The offer sequence \(\{w_t\}_{t \geq 0}\) is IID, with \(q(w)\) being the probability of observing wage \(w\) in finite set \(\mathbb{W}\).

  • The agent observes \(w_t\) at the start of \(t\).

  • The agent knows that \(\{w_t\}\) is IID with common distribution \(q\) and can use this when computing expectations.

(In later lectures, we will relax these assumptions.)

At time \(t\), our agent has two choices:

  1. Accept the offer and work permanently at constant wage \(w_t\).

  2. Reject the offer, receive unemployment compensation \(c\), and reconsider next period.

The agent is infinitely lived and aims to maximize the expected discounted sum of earnings

\[ \mathbb{E} \sum_{t=0}^{\infty} \beta^t y_t \]

The constant \(\beta\) lies in \((0, 1)\) and is called a discount factor.

The smaller is \(\beta\), the more the agent discounts future utility relative to current utility.

The variable \(y_t\) is income, equal to

  • his/her wage \(w_t\) when employed

  • unemployment compensation \(c\) when unemployed

27.2.1. A Trade-Off#

The worker faces a trade-off:

  • Waiting too long for a good offer is costly, since the future is discounted.

  • Accepting too early is costly, since better offers might arrive in the future.

To decide optimally in the face of this trade-off, we use dynamic programming.

Dynamic programming can be thought of as a two-step procedure that

  1. first assigns values to “states” and

  2. then deduces optimal actions given those values

We’ll go through these steps in turn.

27.2.2. The Value Function#

In order to optimally trade-off current and future rewards, we need to think about two things:

  1. the current payoffs we get from different choices

  2. the different states that those choices will lead to in next period

To weigh these two aspects of the decision problem, we need to assign values to states.

To this end, let \(v^*(w)\) be the total lifetime value accruing to an unemployed worker who enters the current period unemployed when the wage is \(w \in \mathbb{W}\).

In particular, the agent has wage offer \(w\) in hand.

More precisely, \(v^*(w)\) denotes the value of the objective function (28.1) when an agent in this situation makes optimal decisions now and at all future points in time.

Of course \(v^*(w)\) is not trivial to calculate because we don’t yet know what decisions are optimal and what aren’t!

But think of \(v^*\) as a function that assigns to each possible wage \(s\) the maximal lifetime value that can be obtained with that offer in hand.

A crucial observation is that this function \(v^*\) must satisfy the recursion

(27.1)#\[v^*(w) = \max \left\{ \frac{w}{1 - \beta}, \, c + \beta \sum_{w' \in \mathbb{W}} v^*(w') q (w') \right\}\]

for every possible \(w\) in \(\mathbb{W}\).

This important equation is a version of the Bellman equation, which is ubiquitous in economic dynamics and other fields involving planning over time.

The intuition behind it is as follows:

  • the first term inside the max operation is the lifetime payoff from accepting current offer, since

\[ \frac{w}{1 - \beta} = w + \beta w + \beta^2 w + \cdots \]
  • the second term inside the max operation is the continuation value, which is the lifetime payoff from rejecting the current offer and then behaving optimally in all subsequent periods

If we optimize and pick the best of these two options, we obtain maximal lifetime value from today, given current offer \(w\).

But this is precisely \(v^*(w)\), which is the left-hand side of (27.1).

27.2.3. The Optimal Policy#

Suppose for now that we are able to solve (27.1) for the unknown function \(v^*\).

Once we have this function in hand we can behave optimally (i.e., make the right choice between accept and reject).

All we have to do is select the maximal choice on the right-hand side of (27.1).

The optimal action is best thought of as a policy, which is, in general, a map from states to actions.

Given any \(w\), we can read off the corresponding best choice (accept or reject) by picking the max on the right-hand side of (27.1).

Thus, we have a map from \(\mathbb R\) to \(\{0, 1\}\), with 1 meaning accept and 0 meaning reject.

We can write the policy as follows

\[ \sigma(w) := \mathbf{1} \left\{ \frac{w}{1 - \beta} \geq c + \beta \sum_{w' \in \mathbb W} v^*(w') q (w') \right\} \]

Here \(\mathbf{1}\{ P \} = 1\) if statement \(P\) is true and equals 0 otherwise.

We can also write this as

\[ \sigma(w) := \mathbf{1} \{ w \geq \bar w \} \]

where

(27.2)#\[ \bar w := (1 - \beta) \left\{ c + \beta \sum_{w'} v^*(w') q (w') \right\}\]

Here \(\bar w\) (called the reservation wage) is a constant depending on \(\beta, c\) and the wage distribution.

The agent should accept if and only if the current wage offer exceeds the reservation wage.

In view of (27.2), we can compute this reservation wage if we can compute the value function.

27.3. Computing the Optimal Policy: Take 1#

To put the above ideas into action, we need to compute the value function at each possible state \(w \in \mathbb W\).

To simplify notation, let’s set

\[ \mathbb W := \{w_1, \ldots, w_n \} \quad \text{and} \quad v^*(i) := v^*(w_i) \]

The value function is then represented by the vector \(v^* = (v^*(i))_{i=1}^n\).

In view of (27.1), this vector satisfies the nonlinear system of equations

(27.3)#\[v^*(i) = \max \left\{ \frac{w(i)}{1 - \beta}, \, c + \beta \sum_{1 \leq j \leq n} v^*(j) q (j) \right\} \quad \text{for } i = 1, \ldots, n\]

27.3.1. The Algorithm#

To compute this vector, we use successive approximations:

Step 1: pick an arbitrary initial guess \(v \in \mathbb R^n\).

Step 2: compute a new vector \(v' \in \mathbb R^n\) via

(27.4)#\[v'(i) = \max \left\{ \frac{w(i)}{1 - \beta}, \, c + \beta \sum_{1 \leq j \leq n} v(j) q (j) \right\} \quad \text{for } i = 1, \ldots, n\]

Step 3: calculate a measure of a discrepancy between \(v\) and \(v'\), such as \(\max_i |v(i)- v'(i)|\).

Step 4: if the deviation is larger than some fixed tolerance, set \(v = v'\) and go to step 2, else continue.

Step 5: return \(v\).

For a small tolerance, the returned function \(v\) is a close approximation to the value function \(v^*\).

The theory below elaborates on this point.

27.3.2. Fixed Point Theory#

What’s the mathematics behind these ideas?

First, one defines a mapping \(T\) from \(\mathbb R^n\) to itself via

(27.5)#\[(Tv)(i) = \max \left\{ \frac{w(i)}{1 - \beta}, \, c + \beta \sum_{1 \leq j \leq n} v(j) q (j) \right\} \quad \text{for } i = 1, \ldots, n\]

(A new vector \(Tv\) is obtained from given vector \(v\) by evaluating the r.h.s. at each \(i\).)

The element \(v_k\) in the sequence \(\{v_k\}\) of successive approximations corresponds to \(T^k v\).

  • This is \(T\) applied \(k\) times, starting at the initial guess \(v\)

One can show that the conditions of the Banach fixed point theorem are satisfied by \(T\) on \(\mathbb R^n\).

One implication is that \(T\) has a unique fixed point in \(\mathbb R^n\).

  • That is, a unique vector \(\bar v\) such that \(T \bar v = \bar v\).

Moreover, it’s immediate from the definition of \(T\) that this fixed point is \(v^*\).

A second implication of the Banach contraction mapping theorem is that \(\{ T^k v \}\) converges to the fixed point \(v^*\) regardless of \(v\).

27.3.3. Implementation#

Our default for \(q\), the distribution of the state process, will be Beta-binomial.

n, a, b = 50, 200, 100                        # default parameters
q_default = BetaBinomial(n, a, b).pdf()       # default choice of q

Our default set of values for wages will be

w_min, w_max = 10, 60
w_default = np.linspace(w_min, w_max, n+1)

Here’s a plot of the probabilities of different wage outcomes:

fig, ax = plt.subplots()
ax.plot(w_default, q_default, '-o', label='$q(w(i))$')
ax.set_xlabel('wages')
ax.set_ylabel('probabilities')

plt.show()
_images/b1e0653a1bae364f0a10c2aece05b0b0c8dd71ac6e4f337fe3058df7c038cbdc.png

We are going to use Numba to accelerate our code.

The following helps Numba by providing some type

mccall_data = [
    ('c', float64),      # unemployment compensation
    ('β', float64),      # discount factor
    ('w', float64[:]),   # array of wage values, w[i] = wage at state i
    ('q', float64[:])    # array of probabilities
]

Here’s a class that stores the data and computes the values of state-action pairs, i.e. the value in the maximum bracket on the right hand side of the Bellman equation (27.4), given the current state and an arbitrary feasible action.

Default parameter values are embedded in the class.

@jitclass(mccall_data)
class McCallModel:

    def __init__(self, c=25, β=0.99, w=w_default, q=q_default):

        self.c, self.β = c, β
        self.w, self.q = w_default, q_default

    def state_action_values(self, i, v):
        """
        The values of state-action pairs.
        """
        # Simplify names
        c, β, w, q = self.c, self.β, self.w, self.q
        # Evaluate value for each state-action pair
        # Consider action = accept or reject the current offer
        accept = w[i] / (1 - β)
        reject = c + β * np.sum(v * q)

        return np.array([accept, reject])

Based on these defaults, let’s try plotting the first few approximate value functions in the sequence \(\{ T^k v \}\).

We will start from guess \(v\) given by \(v(i) = w(i) / (1 - β)\), which is the value of accepting at every given wage.

Here’s a function to implement this:

def plot_value_function_seq(mcm, ax, num_plots=6):
    """
    Plot a sequence of value functions.

        * mcm is an instance of McCallModel
        * ax is an axes object that implements a plot method.

    """

    n = len(mcm.w)
    v = mcm.w / (1 - mcm.β)
    v_next = np.empty_like(v)
    for i in range(num_plots):
        ax.plot(mcm.w, v, '-', alpha=0.4, label=f"iterate {i}")
        # Update guess
        for j in range(n):
            v_next[j] = np.max(mcm.state_action_values(j, v))
        v[:] = v_next  # copy contents into v

    ax.legend(loc='lower right')

Now let’s create an instance of McCallModel and watch iterations \(T^k v\) converge from below:

mcm = McCallModel()

fig, ax = plt.subplots()
ax.set_xlabel('wage')
ax.set_ylabel('value')
plot_value_function_seq(mcm, ax)
plt.show()
_images/b57007b8157e7e596bc43d7bbc6e8c436df6c8b4b061fe0426d531d4d1bc0ac9.png

You can see that convergence is occurring: successive iterates are getting closer together.

Here’s a more serious iteration effort to compute the limit, which continues until measured deviation between successive iterates is below tol.

Once we obtain a good approximation to the limit, we will use it to calculate the reservation wage.

We’ll be using JIT compilation via Numba to turbocharge our loops.

@jit
def compute_reservation_wage(mcm,
                             max_iter=500,
                             tol=1e-6):

    # Simplify names
    c, β, w, q = mcm.c, mcm.β, mcm.w, mcm.q

    # == First compute the value function == #

    n = len(w)
    v = w / (1 - β)          # initial guess
    v_next = np.empty_like(v)
    j = 0
    error = tol + 1
    while j < max_iter and error > tol:

        for j in range(n):
            v_next[j] = np.max(mcm.state_action_values(j, v))

        error = np.max(np.abs(v_next - v))
        j += 1

        v[:] = v_next  # copy contents into v

    # == Now compute the reservation wage == #

    return (1 - β) * (c + β * np.sum(v * q))

The next line computes the reservation wage at default parameters

compute_reservation_wage(mcm)
47.316499710024964

27.3.4. Comparative Statics#

Now that we know how to compute the reservation wage, let’s see how it varies with parameters.

In particular, let’s look at what happens when we change \(\beta\) and \(c\).

grid_size = 25
R = np.empty((grid_size, grid_size))

c_vals = np.linspace(10.0, 30.0, grid_size)
β_vals = np.linspace(0.9, 0.99, grid_size)

for i, c in enumerate(c_vals):
    for j, β in enumerate(β_vals):
        mcm = McCallModel(c=c, β=β)
        R[i, j] = compute_reservation_wage(mcm)
fig, ax = plt.subplots()

cs1 = ax.contourf(c_vals, β_vals, R.T, alpha=0.75)
ctr1 = ax.contour(c_vals, β_vals, R.T)

plt.clabel(ctr1, inline=1, fontsize=13)
plt.colorbar(cs1, ax=ax)


ax.set_title("reservation wage")
ax.set_xlabel("$c$", fontsize=16)
ax.set_ylabel("$β$", fontsize=16)

ax.ticklabel_format(useOffset=False)

plt.show()
_images/f2c8f0f81e5ac4db1cbe7b253d76ca15e7f6bad9ff7a2aa94a23e945da429241.png

As expected, the reservation wage increases both with patience and with unemployment compensation.

27.4. Computing an Optimal Policy: Take 2#

The approach to dynamic programming just described is standard and broadly applicable.

But for our McCall search model there’s also an easier way that circumvents the need to compute the value function.

Let \(h\) denote the continuation value:

(27.6)#\[h = c + \beta \sum_{s'} v^*(s') q (s') \quad\]

The Bellman equation can now be written as

\[ v^*(s') = \max \left\{ \frac{w(s')}{1 - \beta}, \, h \right\} \]

Substituting this last equation into (27.6) gives

(27.7)#\[h = c + \beta \sum_{s' \in \mathbb S} \max \left\{ \frac{w(s')}{1 - \beta}, h \right\} q (s') \quad\]

This is a nonlinear equation that we can solve for \(h\).

As before, we will use successive approximations:

Step 1: pick an initial guess \(h\).

Step 2: compute the update \(h'\) via

(27.8)#\[h' = c + \beta \sum_{s' \in \mathbb S} \max \left\{ \frac{w(s')}{1 - \beta}, h \right\} q (s') \quad\]

Step 3: calculate the deviation \(|h - h'|\).

Step 4: if the deviation is larger than some fixed tolerance, set \(h = h'\) and go to step 2, else return \(h\).

One can again use the Banach contraction mapping theorem to show that this process always converges.

The big difference here, however, is that we’re iterating on a scalar \(h\), rather than an \(n\)-vector, \(v(i), i = 1, \ldots, n\).

Here’s an implementation:

@jit
def compute_reservation_wage_two(mcm,
                                 max_iter=500,
                                 tol=1e-5):

    # Simplify names
    c, β, w, q = mcm.c, mcm.β, mcm.w, mcm.q

    # == First compute h == #

    h = np.sum(w * q) / (1 - β)
    i = 0
    error = tol + 1
    while i < max_iter and error > tol:

        s = np.maximum(w / (1 - β), h)
        h_next = c + β * np.sum(s * q)

        error = np.abs(h_next - h)
        i += 1

        h = h_next

    # == Now compute the reservation wage == #

    return (1 - β) * h

You can use this code to solve the exercise below.

27.5. Exercises#

Exercise 27.1

Compute the average duration of unemployment when \(\beta=0.99\) and \(c\) takes the following values

c_vals = np.linspace(10, 40, 25)

That is, start the agent off as unemployed, compute their reservation wage given the parameters, and then simulate to see how long it takes to accept.

Repeat a large number of times and take the average.

Plot mean unemployment duration as a function of \(c\) in c_vals.

Exercise 27.2

The purpose of this exercise is to show how to replace the discrete wage offer distribution used above with a continuous distribution.

This is a significant topic because many convenient distributions are continuous (i.e., have a density).

Fortunately, the theory changes little in our simple model.

Recall that \(h\) in (27.6) denotes the value of not accepting a job in this period but then behaving optimally in all subsequent periods:

To shift to a continuous offer distribution, we can replace (27.6) by

(27.9)#\[h = c + \beta \int v^*(s') q (s') ds'. \quad\]

Equation (27.7) becomes

(27.10)#\[h = c + \beta \int \max \left\{ \frac{w(s')}{1 - \beta}, h \right\} q (s') d s' \quad\]

The aim is to solve this nonlinear equation by iteration, and from it obtain the reservation wage.

Try to carry this out, setting

  • the state sequence \(\{ s_t \}\) to be IID and standard normal and

  • the wage function to be \(w(s) = \exp(\mu + \sigma s)\).

You will need to implement a new version of the McCallModel class that assumes a lognormal wage distribution.

Calculate the integral by Monte Carlo, by averaging over a large number of wage draws.

For default parameters, use c=25, β=0.99, σ=0.5, μ=2.5.

Once your code is working, investigate how the reservation wage changes with \(c\) and \(\beta\).