Advertisement

International Journal of Game Theory

, Volume 48, Issue 4, pp 1033–1054 | Cite as

Separating equilibrium in quasi-linear signaling games

  • Jiwoong Lee
  • Rudolf Müller
  • Dries VermeulenEmail author
Open Access
Original Paper
  • 1.1k Downloads

Abstract

Using a network approach we provide a characterization of a separating equilibrium for standard signaling games where the sender’s payoff function is quasi-linear. Given a strategy of the sender, we construct a network where the node set and the length between two nodes are the set of the sender’s type and the difference of signaling costs, respectively. Construction of a separating equilibrium is then equivalent to constructing the length between two nodes in the network under the condition that the response of the receiver is a node potential. When the set of the sender’s type is a real interval, shortest path lengths are antisymmetric and a node potential is unique up to a constant. A strategy of the sender in a separating equilibrium is characterized by some differential equation with a unique solution. Our results can be readily applied to a broad range of economic situations, such as for example the standard job market signaling model of Spence, a model not captured by earlier papers.

Keywords

Signaling game Separating equilibrium Node potential 

JEL Classification

C72 D82 

1 Introduction

A signaling game is a two-player game of incomplete information in which one player has private information—a type—and the other is affected by the information. The informed player, the sender, can send a signal, contingent on type, and the uninformed party, the receiver, takes an action, which may be conditional on the observed signal. In equilibrium, the informed player optimally chooses a signal, knowing that the uninformed player will take an optimal action conditional on his inferences from the signal, and inferences are correct. If the sender chooses to send different signals for different types, the uninformed party can unambiguously determine the informed player’s type. In this case the equilibrium is called separating. Among many equilibria, separating equilibria are of central interest because informational asymmetry is resolved.

Contribution In the model described above, we focus on those type separating strategies of the sender that, combined with the induced optimal strategy of the receiver, form a (separating) equilibrium. Such strategies are called SE strategies. Earlier results on the characterization of SE strategies in signaling games, despite their seeming generality, fail to capture many simple and natural extensions of the classic job market model by Spence. We achieve full coverage of job market models with quasi-linear utilities. That is, settings in which the utility function of the sender is calculated as the payment a by the receiver, minus the cost c(st) of signaling s when of type t (in formula, \(U_S = a - c(s, t)\)). The advantage of quasi-linearity is that it separates the cost of signaling from the response of the receiver, thereby making the cost independent of the response of the receiver. This advantage translates itself into two improvements upon previous literature, which we describe below.

First, we give a complete characterization of SE strategies that uses only four fairly mild conditions, the most prominent one being that the cost function should satisfy decreasing differences, an algebraic version of the single crossing property. Under these conditions many of the results on SE strategies can already be established. For example the—intuitive—result that any SE strategy is strictly increasing with type follows immediately. Notably, we do not need differentiability (or even continuity) of the utility function of the sender, so that these results apply in a wide variety of settings.

Second, when type space is a halfopen interval, we only need a further three relatively natural and straightforward conditions on model primitives to characterize existence and uniqueness of the SE strategy. The requirements on the signaling cost function are that it is continuous, and that it has a continuously differentiable and bounded partial derivative with respect to the signal.1

Approach The technique we use to establish our results is in itself worth a short discussion. We use the—essentially algebraic—theory of node potentials on directed graphs to derive our results. This technique has recently been applied with much success in the, related, context of mechanism design.2 See for example Heydenreich et al. (2009), Carbajal and Ely (2013), Chung and Olsewski (2007) and Kos and Messner (2012) for applications of the theory of networks to mechanism design without differentiability.

The algebraic nature of the theory allows us to discard conditions on the first and second order partial derivatives of the utility function of sender, the conditions that drive most of the earlier results. Our proof technique highlights that differentiability is in itself not the driving force of these results. Instead, these results are shown to rely only on the implied algebraic structure of marginal gains in type pooling versus marginal costs of signaling captured by the decreasing differences condition.

Related literature Mailath (1987) studies a model in which the utility function of the receiver is \(C^2\), utility is strictly monotonic in types and actions, and strictly quasi-concave in signals, plus a technical condition on the first and second order derivatives of the utility function for the sender, called boundedness. Type space is assumed to be a compact interval, the signal space is assumed to be equal to the type space3 and the action space is the entire set of reals. Under the assumption of single crossing it is shown that an one-to-one strategy is a separating equilibrium strategy precisely when the strategy is strictly increasing and it solves a characterizing differential equation. Existence and uniqueness of a separating equilibrium strategy is then shown under the additional assumption that the derivative of the utility function of the sender with respect to signals satisfies a boundedness condition.

Mailath and von Thadden (2013) study a model in which the utility function of the sender and the best response function of the receiver under complete information are both \(C^2\). Further, under complete information the receiver needs to have a unique best response, and the induced valuation function of the sender needs to satisfy a technical condition on both first and second order derivatives of the valuation function. Thus, the conditions on the strategy of the receiver are only implicitly formulated, in terms of the induced payoff function for the sender. They show that if a separating equilibrium strategy of the receiver is differentiable at a certain point, it is characterized by a differential equation at that point. They also show that if (1) a strategy is separating, (2) it solves the characterizing differential equation, and (3) it satisfies a version of the single-crossing property, then that strategy is incentive-compatible. They apply their results in several examples.

Quinzii and Rochet (1985) study a model where both types and signals are higher dimensional. They show for the case of linear, separable costs, that a separating equilibrium exists under assumptions of smoothness of the productivity function, plus convexity of the surplus function.

Hoppe et al. (2009) study a matching market between a set of men and a set of women. Each man and each woman has private information regarding their type. The value of a match depends on both the type of the man and the woman in question.4 Signals are costly, but do not depend on type of either men or women, and are linearly deducted from utility. In this model, Hoppe et al. (2009) show that there exists a single symmetric, strictly monotonic, and continuously differentiable equilibrium. They also characterize this equilibrium by means of a differential equation. However, the analysis does not rule out the existence of non-symmetric, non-monotonic, or non-differentiable equilibria, and uniqueness is not guaranteed.

Organization Section 2 presents the model of signaling games and several notions of graph theory. In Sect. 3 we fully characterize SE strategies in terms of node potentials for an induced length function. In Sect. 4 we derive conditions to guarantee existence of a unique SE strategy when type space is a halfopen interval. We show that the unique SE strategy can be computed by solving an associated differential equation. We illustrate the power of our techniques in four applications, among those the job market model and an example of a model without differentiability. All omitted proofs are in the “Appendix”.

2 The model

We consider the following standard signaling game. There are two risk neutral players, a sender and a receiver. The type space and signal space of the sender are denoted by T and S, respectively. We assume that the type space T is a subset of \({\mathbb {R}}_+\) and that the signal space S equals \({\mathbb {R}}_+\). Further, T is assumed to have a smallest element \({\underline{t}}\). The action space of the receiver is \(A = {\mathbb {R}}_+\).

The game proceeds as follows. Nature decides the sender’s type \(t \in T\), and the result is communicated to the sender only. With knowledge of his type t, the sender chooses a signal \(s \in S\), incurring a cost c(st) depending on both type and signal. Upon observing the sender’s signal s, the receiver chooses an action \(a \in A\). The sender receives a payoff \(U_S(a,s,t) = a - c(s, t)\) and the receiver receives a payoff \(U_R(a, t)\). Then the game ends.

Note that the payoff of the receiver does not depend on the signal s. This is called the “pure signaling case” in Quinzii and Rochet (1985).

Assumptions

We adopt the following four structural assumptions.
  1. [1]

    The cost function c(st) is strictly increasing in s and for each \(s > 0\) strictly decreasing in t. Further, for all t, \(c(0,t)=0\).

     
  2. [2]
    The cost function c(st) satisfies decreasing differences. That is, for all \(s, s^\prime \in S\) and \(t, t^\prime \in T\) with \(s > s^\prime \) and \(t > t^\prime \) it holds that
    $$\begin{aligned} c(s, t^\prime ) - c(s^\prime , t^\prime ) > c(s, t) - c(s^\prime , t). \end{aligned}$$
     
  3. [3]
    For every \(t \in T\) there exists an \(\alpha (t) \in A\) with
    $$\begin{aligned} U_R(\alpha (t),t) > U_R(a,t) \quad \quad \hbox {for all } a \in A\setminus \{ \alpha (t) \}. \end{aligned}$$
    In other words, for every \(t \in T\), \(\alpha (t):= \arg \max \limits _{a\in A} U_R(a,t)\) is unique.
     
  4. [4]

    The resulting function \(\alpha \) is strictly increasing in t, and \(\alpha ({\underline{t}}) = 0\).

     

A (pure) strategy of the sender is a mapping \(\sigma :T \rightarrow S\). A (pure) strategy of the receiver is a function \(\gamma :S \rightarrow A\). Since in this paper we only focus on pure strategies, we omit the prefix “pure” from now on.

Definition

A strategy pair \((\sigma , \gamma )\) is a separating equilibrium (SE) if the strategy \(\sigma \) is one-to-one and, moreover, for all \(t \in T\) we have
  1. [1]

    \(U_S\bigl (\gamma (\sigma (t)), \sigma (t), t \bigr ) \ge U_S\bigl (\gamma (s), s, t \bigr )\)    for all \(s \in S\)

     
  2. [2]

    \(U_R\bigl (\gamma (\sigma (t)), t \bigr ) \ge U_R\bigl (a, t \bigr )\) for all \(a \in A\).

     

Condition [1] states that the strategy \(\sigma \) is a best response for the sender given the strategy \(\gamma \) of the receiver. Condition [2] states that the strategy \(\gamma \) is a best response for the receiver given the strategy \(\sigma \) of the sender. Thus, in fact we use the concept of separating Bayesian Nash Equilibrium (BNE) to analyze sender-receiver games.5

If a strategy \(\sigma \) of the sender is part of a separating equilibrium it is called a separating equilibrium strategy (SE strategy). The aim of this paper is to characterize the set of SE strategies.6

We end this section with two short observations. In any SE, each type t gets paid \(\alpha (t)\), and the lowest type sends the lowest signal possible.

Lemma 1

Let \((\sigma , \gamma )\) be an SE. Then \((\gamma \circ \sigma )(t) = \alpha (t)\) for all \(t \in T\). Further, \(\sigma ({\underline{t}}) = 0\).

Proof

Let \((\sigma , \gamma )\) be an SE. By assumption [3] and part [2] of the definition of SE, \((\gamma \circ \sigma )(t) = \alpha (t)\) for all \(t \in T\).

We argue that \(\sigma ({\underline{t}}) = 0\). Using assumption [4], \((\gamma \circ \sigma )({\underline{t}}) = \alpha ({\underline{t}}) = 0\). So, since type \({\underline{t}}\) receives the lowest possible payment, it is clear that type \({\underline{t}}\) sends the lowest cost signal. Hence, since \(c(s, {\underline{t}})\) is strictly increasing in s, \(\sigma ({\underline{t}}) = 0\). \(\square \)

3 Graph representation of SE strategies

We provide a graph theoretic interpretation of SE strategies. We recall a few basic terms from graph theory. A directed graph or digraph is a pair \(G = (V, E)\) where V is an arbitrary set and E is a collection of pairs (uv) of elements \(u, v \in V\) with \(u \not = v\). The elements of V are called nodes or vertices, and the elements of E are called arcs. The complete digraph is the digraph \(G = (V, E)\) where E is the set of all possible ordered pairs of distinct elements of V.

3.1 The characterization

Let \(G = (V, E)\) be a complete digraph. An arc length on G is a function \(l :E \rightarrow {\mathbb {R}}\). A function \(p :V \rightarrow {\mathbb {R}}\) is called a node potential for arc length l on \(G = (V, E)\) if for all arcs \((u ,v) \in E\)
$$\begin{aligned} p(v) - p(u) \le l(u, v). \end{aligned}$$
Let \(\sigma \) be a strategy of the sender. Let \(H = (T, Q)\) be the complete digraph on the type space T, so \(Q = \{ (u, v) \in T \times T \mid u \not = v \}\). Define the arc length \(l_\sigma \) on H by, for all \(t, t^\prime \in T\),
$$\begin{aligned} l_\sigma (t, t^\prime ) = c(\sigma (t^\prime ), t) - c(\sigma (t), t) \end{aligned}$$

Theorem 2

A strategy \(\sigma \) of the sender is an SE strategy if and only if \(\sigma \) is one-to-one, \(\sigma ({\underline{t}}) = 0\), and \(\alpha \) is a node potential for \(l_\sigma \) on H.

Proof

We show both implications separately.

A.    Let \((\sigma , \gamma )\) be an SE. Since \(\sigma \) is separating, it is one-to-one. Further, by Lemma 1, \(\sigma ({\underline{t}}) = 0\). Also by Lemma 1, \((\gamma \circ \sigma )(t) = \alpha (t)\) for all t. So, since \(\sigma \) is an equilibrium,
$$\begin{aligned} \alpha (t) - c(\sigma (t), t) = (\gamma \circ \sigma )(t) - c(\sigma (t), t) \ge \gamma (s) - c(s,t) \end{aligned}$$
for any s. Substitution of \(s = \sigma (t^\prime )\) and rewriting then yields
$$\begin{aligned} \alpha (t^\prime ) - \alpha (t) \le c(\sigma (t^\prime ), t) - c(\sigma (t), t) = l_\sigma (t, t^\prime ) \end{aligned}$$
for all \(t, t^\prime \in T\). Hence, \(\alpha \) is a node potential for \(l_\sigma \) on H.
B.    Conversely, since \(\sigma \) is one-to-one, for every \(s \in S\) there is at most one \(t \in T\) with \(\sigma (t) = s\). So, we can define the strategy \(\gamma \) of the receiver by
$$\begin{aligned} \gamma (s) = {\left\{ \begin{array}{ll} \alpha (t) &{}\quad \hbox {if } t \in T \hbox { is such that } \sigma (t) = s \\ 0 &{}\quad \hbox {otherwise.} \end{array}\right. } \end{aligned}$$
It suffices to show that \((\sigma , \gamma )\) is a Nash equilibrium. First, for all \(a \in A\)
$$\begin{aligned} U_{R}(\gamma (\sigma (t)),t)=U_{R}(\alpha (t), t) \ge U_{R}(a,t) \end{aligned}$$
by definition of \(\gamma \) and \(\alpha \). So, \(\gamma \) is a best response of the receiver to \(\sigma \).
Second, suppose the sender is of type t. Take any \(s \in S\). If there is \(t^\prime \in T\) with \(\sigma (t^\prime ) = s\). Then \(\gamma (s) = \alpha (t^\prime )\). So,
$$\begin{aligned} U_S\bigl (\gamma (\sigma (t)), \sigma (t), t \bigr ) = \alpha (t) - c(\sigma (t),t) \ge \alpha (t^\prime ) - c(\sigma (t^\prime ),t) = U_S\bigl (\gamma (s), s, t \bigr ). \end{aligned}$$
Otherwise \(\gamma (s) = 0\). Then, since \(\alpha ({\underline{t}}) = 0\), \(\sigma ({\underline{t}}) = 0\), and c(st) is increasing in s, we get
$$\begin{aligned} U_S\bigl (\gamma (\sigma (t)), \sigma (t), t \bigr )= & {} \alpha (t) - c(\sigma (t),t) \ge \alpha ({\underline{t}}) - c(\sigma ({\underline{t}}),t) \\= & {} 0 - c(0,t) \ge 0 - c(s,t) \\= & {} U_S\bigl (\gamma (s), s, t \bigr ). \end{aligned}$$
Hence, \(\sigma \) is a best response for the sender to \(\gamma \). \(\square \)

3.2 A few useful consequences

We need a few direct consequences of the basic characterization in the remainder of this paper. We discuss these here in this section. One direct consequence of the above characterization is the following observation.

Lemma 3

Let \(\sigma \) be an SE strategy. Then \(\sigma \) is strictly increasing in t.

Proof

Take \(t, t^\prime \in T\) with \(t^\prime > t\). To show: \(\sigma (t') > \sigma (t)\). Since \(\sigma \) is an SE strategy, by Theorem 2
$$\begin{aligned} \alpha (t')-\alpha (t)\le c(\sigma (t'),t)-c(\sigma (t),t). \end{aligned}$$
By assumption [4] this implies \(c(\sigma (t^\prime ), t) > c(\sigma (t), t)\). Hence, since c(st) is strictly increasing in s by assumption [1], it follows that \(\sigma (t') > \sigma (t)\). \(\square \)

An arc length l on H is strictly monotone if \(l(t, t') + l(t', t) > 0\) for all \(t \not = t'\). The arc length l is decomposition monotone if for any \(t,t',t'' \in T\) with \(t< t' < t''\) we have \(l(t,t'') > l(t,t')+l(t',t'')\) and \(l(t'',t) > l(t'',t')+l(t',t)\).

Lemma 4

Suppose \(\sigma \) is strictly increasing. Then arc length \(l_\sigma \) is strictly monotone and decomposition monotone on H.

Proof

In order to show that \(l_\sigma \) is strictly monotone, take \(t, t'\) with \(t < t'\). Then, since \(\sigma (t^\prime ) > \sigma (t)\) and c has decreasing differences,
$$\begin{aligned} l_\sigma (t,t') + l_\sigma (t',t) = c(\sigma (t'),t) - c(\sigma (t),t) + c(\sigma (t),t') - c(\sigma (t'),t') > 0. \end{aligned}$$
In order to prove that \(l_\sigma \) is decomposition monotone, take \(t,t',t'' \in T\) with \(t< t' < t''\). Then, because \(\sigma (t'') > \sigma (t')\) and c has decreasing differences,
$$\begin{aligned} l_\sigma (t,t'')= & {} c(\sigma (t''),t) -c(\sigma (t),t) \\= & {} c(\sigma (t''),t) - c(\sigma (t'),t) + c(\sigma (t'),t) - c(\sigma (t),t) \\> & {} c(\sigma (t''),t') - c(\sigma (t'),t') + c(\sigma (t'),t) - c(\sigma (t),t) \\= & {} l_\sigma (t',t'') + l_\sigma (t,t'). \end{aligned}$$
Similarly, \(l_\sigma (t'',t) > l_\sigma (t',t) + l_\sigma (t'',t')\). \(\square \)

4 Characterization of SE when T is a continuum

If the type space T is a continuum, we can characterize an SE strategy as a solution of an integral equation. The environment is the same as before, except that the sender’s type space is an interval \(T = [{\underline{t}}, {\overline{t}})\), where \({\overline{t}}\) may be equal to \(\infty \). Recall that both the set of signals S and the action space A are \({\mathbb {R}}_+\).

Assumptions

We adopt the following three additional structural assumptions.
  1. [5]

    The function \(\alpha \) is continuous.

     
  2. [6]

    The cost function c(st) is continuous on \(S \times T\).

     
  3. [7]

    For all t, the partial derivative \(c_s(s, t)\) of c(st) with respect to s exists, and \(c_s(s,t) > 0\) is continuous and bounded on \(S \times T\).

     

Lemma 5

The function \(c_s(s, t)\) is non-increasing in t.

Proof

By assumption [2], for \(h > 0\) and \(t \le t'\),
$$\begin{aligned} c(s+h, t') - c(s, t') \le c(s+h, t) - c(s, t). \end{aligned}$$
By assumption [7] we can divide both sides by h and take limits for \(h \rightarrow 0\), which yields the inequality \(c_s(s, t') \le c_s(s, t)\). \(\square \)

We need the following observation in this setting.

Lemma 6

Suppose that \(\sigma \) is an SE strategy. Then, \(\sigma \) is strictly increasing and continuous.

Proof

Let \((\sigma , \gamma )\) be an SE. Then \(\sigma \) is strictly increasing by Lemma 3. We show that \(\sigma \) is continuous. Take \(t \in T\). Define \(\sigma (t+) := \lim \nolimits _{\varepsilon \downarrow 0} \sigma (t + \varepsilon )\). Since \((\sigma , \gamma )\) is an SE, Lemma 1 implies that
$$\begin{aligned} c(\sigma (t + \varepsilon ), t + \varepsilon ) - c(\sigma (t), t + \varepsilon ) \le \alpha (t + \varepsilon ) - \alpha (t). \end{aligned}$$
for every \(\varepsilon > 0\). Since \(\alpha (t)\) and c(st) are continuous by assumptions [5] and [6], it follows that
$$\begin{aligned} c(\sigma (t+),t)-c(\sigma (t),t)\le 0. \end{aligned}$$
So, \(\sigma (t+) \le \sigma (t)\) by assumption [1], which implies that \(\sigma \) is right-continuous. Similarly, \(\sigma \) is left-continuous. Hence, \(\sigma \) is continuous. \(\square \)

We show that there is a unique SE strategy \(\sigma = \left( \gamma ^*\right) ^{-1} \circ \alpha \), under the condition that the image \(\gamma ^*(S)\) of the solution \(\gamma ^*\) of an associated differential equation equals the image \(\alpha (T)\).7

Write \(B = \{ \alpha (t) \mid t \in T \}\). By assumption [4], \(\alpha ^{-1} :B \rightarrow T\) exists. Take \((s, a) \in S \times B\). Define
$$\begin{aligned} H(s, a) := c_s(s, \alpha ^{-1}(a)). \end{aligned}$$
Note that \(H(s, a) > 0\) by assumption [7]. A subset I of \({\mathbb {R}}_+\) is called an initial segment if I is either a closed interval [0, b] with \(0< b < \infty \), or a halfopen interval \([0, \ b )\) with \(0 < b \le \infty \). A function \(f :I \rightarrow {\mathbb {R}}\) is called a partial solution on initial segment I if \(f(0) = 0\), f is differentiable on I, and
$$\begin{aligned} f^\prime (s) = H(s, f(s)) \end{aligned}$$
for all \(s \in I\). A partial solution \(f :I \rightarrow {\mathbb {R}}\) encompasses a partial solution \(g :J \rightarrow {\mathbb {R}}\) if \(J \subseteq I\) and \(f(x) = g(x)\) for all \(x \in J\). A solution is a partial solution that is not encompassed by any other partial solution.

Theorem 7

The initial value problem
$$\begin{aligned} \gamma ^\prime (s) = H(s, \gamma (s)) \hbox { with } \gamma (0) = 0, \end{aligned}$$
has a unique solution \(\gamma ^*:I \rightarrow B\), where I is an initial segment of B. Moreover, \(\gamma ^*\) is strictly increasing.

Proof

The function H is continuous, strictly positive, and non-increasing in the second argument due to assumptions [2], [4], and [7]. So, the initial value problem
$$\begin{aligned} \gamma ^\prime (s) = H(s, \gamma (s)) \hbox { with } \gamma (0) = 0 \end{aligned}$$
has a unique solution \(\gamma ^*\) on an initial segment I by Theorem 17. Moreover, \(\gamma ^*\) is continuously differentiable, and \(\left( \gamma ^*\right) ^\prime (s) = H(s, \gamma ^*(s)) > 0\) for all s. So, \(\gamma ^*\) is strictly increasing. \(\square \)

Using the solution to the above initial value problem we can now characterize under which conditions SE strategies exist.

Theorem 8

Let \(\gamma ^*:I \rightarrow B\) be the unique solution to the above initial value problem. Then
  1. [1]

    if \(\gamma ^*(I) \not = B\), there does not exist an SE strategy.

     
  2. [2]

    if \(\gamma ^*(I) = B\), the strategy \(\sigma = \left( \gamma ^*\right) ^{-1} \circ \alpha \) is the unique SE strategy.

     

Proof

A. Proof of [1].    Let \(\sigma \) be an SE strategy. By Lemma 6, \(\sigma \) is continuous and strictly increasing. So, \(J := \sigma (T)\) is an initial segment of S. Define \(\gamma (s) = (\alpha \circ \sigma ^{-1})(s)\) for all \(s \in J\).

We first argue that \(\gamma \) is a partial solution to the initial value problem. Note that \(\gamma (0) = 0\) by Lemma 1 and assumption [4]. Further, by Lemma 15, it follows that
$$\begin{aligned} \alpha (t) = \int _{{\underline{t}}}^{t} h(\sigma )(x) d \sigma (x), \end{aligned}$$
where \(h(\sigma )(x) = c_s(\sigma (x), x)\). The change of variable \(y = \sigma (x)\) yields for \(s = \sigma (t)\) that
$$\begin{aligned} \gamma (s) = (\alpha \circ \sigma ^{-1})(s) = \int _{\sigma ({\underline{t}})}^{\sigma (t)} c_s(y, \sigma ^{-1}(y)) d y = \int _0^s H(y, \gamma (y)) dy. \end{aligned}$$
Since the function \(y \mapsto H(y, \gamma (y))\) is continuous by Lemma 6 and assumptions [5] and [7], the Fundamental Theorem of Calculus states that \(\gamma \) is differentiable, and that for all \(s \in J\)
$$\begin{aligned} \gamma '(s) = H(s, \gamma (s)). \end{aligned}$$
It follows that \(\gamma \) is a partial solution to the initial value problem.
Now suppose that \(\gamma ^*(I) \not = B\). Since \(\gamma \) is a partial solution, \(\gamma ^*\) encompasses \(\gamma \) by Theorem 17. Take any \(a \in B\) with \(a \notin \gamma ^*(I)\). Since \(a \in B\), there is \(t \in T\) with \(\alpha (t) = a\). Then
$$\begin{aligned} a = \alpha (t) = (\alpha \circ \sigma ^{-1})(\sigma (t)) = \gamma (\sigma (t)) = \gamma ^*(\sigma (t)) \in \gamma ^*(I). \end{aligned}$$
This contradicts the assumption that \(a \notin \gamma ^*(I)\). This proves claim [1].

B. Proof of [2].    Suppose that \(\gamma ^*(I) = B\). Then, for every t there exists an s with \(\gamma ^*(s) = \alpha (t)\). So we can define \(\sigma = \left( \gamma ^*\right) ^{-1} \circ \alpha \). We show that \(\sigma \) is an SE strategy.

Note that \(\sigma \) is strictly increasing and continuous by assumptions [4] and [5]. Moreover, \(\sigma ({\underline{t}}) = \left( \gamma ^*\right) ^{-1}(\alpha ({\underline{t}})) = \left( \gamma ^*\right) ^{-1}(0) = 0\). So, by Theorem 2 it suffices to show that \(\alpha \) is a node potential for \(l_\sigma \). Take \(t, t^\prime \in T\). We show that
$$\begin{aligned} \alpha (t^\prime ) - \alpha (t) \le l_\sigma (t, t^\prime ). \end{aligned}$$
On the one hand, by definition of \(\sigma \),
$$\begin{aligned} \alpha (t^\prime ) - \alpha (t)= & {} (\gamma ^*\circ \sigma )(t^\prime ) - (\gamma ^*\circ \sigma )(t) = \int _{\sigma (t)}^{\sigma (t^\prime )} \left( \gamma ^*\right) ^\prime (x) dx \\= & {} \int _{\sigma (t)}^{\sigma (t^\prime )} H(x, \gamma ^*(x)) dx = \int _{\sigma (t)}^{\sigma (t^\prime )} c_s(x, \alpha ^{-1}(\gamma ^*(x)) dx \\= & {} \int _{\sigma (t)}^{\sigma (t^\prime )} c_s(x, \sigma ^{-1}(x)) dx. \end{aligned}$$
On the other hand,
$$\begin{aligned} l_\sigma (t, t^\prime ) = c(\sigma (t^\prime ), t) - c(\sigma (t), t) = \int _{\sigma (t)}^{\sigma (t^\prime )} c_s(x, t) dx. \end{aligned}$$
Now note that, since \(\sigma \) is strictly increasing, for any \(x \ge \sigma (t)\) we have \(\sigma ^{-1}(x) \ge t\). Therefore \(c_s(x, \sigma ^{-1}(x)) \le c_s(x, t)\) for any \(x \ge \sigma (t)\) by Lemma 5. Hence,
$$\begin{aligned} \alpha (t^\prime ) - \alpha (t) = \int _{\sigma (t)}^{\sigma (t^\prime )} c_s(x, \sigma ^{-1}(x)) dx \le \int _{\sigma (t)}^{\sigma (t^\prime )} c_s(x, t) dx = l_\sigma (t, t^\prime ). \end{aligned}$$
This completes the proof. \(\square \)

Remark

We do not know of any example where [1] of Theorem 8 does indeed occur. On the other hand, we are also not aware of any reason why [1] could not occur. So, existence of such examples remains a possibility in our results.

5 Applications

In this section we present a few applications and direct consequences of our results. We first discuss a simple example to illustrate the computational power of our results. The second application is the continuous-type version of the classic job market model by Spence (1973). Third, we illustrate the scope of our results in an example outside the context of differentiable utility. Fourth, we discuss the consequences of our results for mechanism design.

5.1 Application: the differentiable case

As a first application we consider the case where \(\alpha \) is differentiable.

Corollary 9

Suppose \(\alpha \) is differentiable on T. Then, the unique SE strategy \(\sigma \) is also differentiable and its inverse \(\tau = \sigma ^{-1}\) solves the initial value problem
$$\begin{aligned} \alpha '(\tau (s)) \cdot \tau '(s) = c_s(s, \tau (s)) \hbox { with } \tau (0) = {\underline{t}}. \end{aligned}$$

Proof

From Theorem 8 it follows immediately that the SE strategy \(\sigma \) is differentiable as well. Further, by differentiating both sides in the integral expression for \(\alpha \) with respect to s, we have the differential equation.

Example

Take \(\alpha (t) = t^2\) and \(c(s, t) = \frac{s}{t+1}\). It is straightforward to check that this model satisfies all conditions [1] till [7]. Thus, the above corollary applies, and
$$\begin{aligned} 2 \cdot \tau (s) \cdot \tau ^\prime (s) = \frac{1}{\tau (s) + 1}. \end{aligned}$$
This can be rewritten to the differential equation
$$\begin{aligned} 2 \cdot \tau (s) \cdot (\tau (s) + 1) \cdot \tau ^\prime (s) = 1 \end{aligned}$$
which yields \(\frac{2}{3} \tau (s)^3 + \tau (s)^2 = s\). It immediately follows that \(\sigma (t) = \frac{2}{3} t^3 + t^2\).

5.2 Application: job market signaling

The job market model of Spence (1973) is one of the earlier seminal papers in signaling games. Consider the following version of the job market model. The ability of the worker is characterized by an attribute \(t \in T = [{\underline{t}}, \infty )\)8 with \({\underline{t}} \ge 0\). After having observed his ability, the worker has to choose a level of education \(s \in S = [0, \infty )\). The employer then observes the level s of education chosen by the worker, and based on that information chooses a wage \(a \in A = [0, \infty )\).

We assume that the employer has a unique optimal wage schedule \(\alpha :T \rightarrow A\) that is increasing in the attribute t, and \(\alpha ({\underline{t}}) = 0\). We also assume that the cost of signaling for the worker is a separable function
$$\begin{aligned} c(s, t) = h(s) \cdot g(t), \end{aligned}$$
where h and g are continuous functions from S and T respectively to \({\mathbb {R}}_+\), \(h(0) = 0\), h is strictly increasing, and g is strictly decreasing. Thus, the utility to the worker is given by
$$\begin{aligned} U_S(a, s, t) = a - h(s) \cdot g(t). \end{aligned}$$
This model, a straightforward and natural version of the classic model by Spence, satisfies all conditions we specified in the previous sections.

We analyze the following instance of the job market signaling game. The type space is \(T = [1, \infty )\), so that \({\underline{t}} = 1\), and the signal space is \(S = {\mathbb {R}}_+\). The best action of the receiver when the sender is of type \(t \in T\) is \(\alpha (t) = t\), and the cost for the sender when he is of type \(t \in T\) and sends signal \(s \in S\) is \(c(s,t) = \frac{s}{t}\).

Since this example is an instance of our model, our results apply. By Corollary 9, the inverse \(\sigma \) of the solution \(\tau \) of the differential equation
$$\begin{aligned} \tau ^\prime (s) = \frac{1}{\tau (s)} \quad \hbox { with } \tau (0) = 1 \end{aligned}$$
is the unique SE strategy. It is straightforward to check that \(\tau (s) = \sqrt{2s+1}\). Hence, \(\sigma (t) = \frac{1}{2}(t^2-1)\) is the unique SE strategy of this job signaling model.
In fact, the same analysis applies to the situation where \(\alpha \) is strictly increasing and continuously differentiable, and \(c(s, t) = s \cdot g(t)\), where g is any strictly positive, continuous, and strictly decreasing function on \({\mathbb {R}}_+\). Then by the above corollary
$$\begin{aligned} \frac{\alpha '(\tau (s))}{g(\tau (s))} \cdot \tau '(s) = 1. \end{aligned}$$
Integrating both sides with respect to s and using the substitution \(z = \tau (s)\) and \(dz = \tau ^\prime (s) ds\) for the left-hand side yields
$$\begin{aligned} \sigma (t) = (s =) \int _0^t \frac{\alpha ^\prime (z)}{g(z)} d z. \end{aligned}$$
This integral immediately renders the unique (continuously differentiable) separating equilibrium strategy.

5.3 Application: an example without SE strategies

Consider the setting in the previous paragraph. Take \(S = T = [0, \infty )\), \(\alpha (t) = t\), \(h(s) = s\), and
$$\begin{aligned} g(t) = \left\{ \begin{array}{ll} 1 - t &{}\quad \hbox {if } t \in [0, 1) \\ 0 &{}\quad \hbox {otherwise.} \end{array} \right. \end{aligned}$$
Note that in this example \(c_s(s, t) = g(t)\), so that requirement [7] is not satisfied.
The formula for the SE strategy yields
$$\begin{aligned} \sigma (t) = \int _0^t \frac{\alpha ^\prime (z)}{g(z)} d z = \int _0^t \frac{1}{1-z} d z = \ln \left( \frac{1}{1-t} \right) . \end{aligned}$$
This SE strategy is only defined for values of t in the interval [0, 1). Since the range of signals that are used by types in [0, 1) is equal to \(S = [0, \infty )\), it is clear that types \(t \ge 1\) do not have a signal available that would separate them from lower types. Hence, when T strictly includes the interval [0, 1)—for example when \(T = [0, \infty )\)—the resulting model does not admit an SE strategy.

5.4 Application: the non-differentiable case

Consider the job market model where \(T = A = S = {\mathbb {R}}_+\), \(g(t) = \frac{1}{t+1}\), \(h(s) = s\), and
$$\begin{aligned} \alpha (t)=\left\{ \begin{array}{ll} t &{}\quad \hbox {if } 0 \le t \le 3 \\ \frac{1}{3} t + 2 &{}\quad \hbox {if } 3 \le t. \end{array} \right. \end{aligned}$$
Note that \(\alpha \) is continuous, but not differentiable. Nevertheless, our results apply. We first compute H(sa). Note that \(c(s, t) = s \cdot g(t)\). So, \(c_s(s, t) = g(t)\), and therefore \(H(s, a) = c_s(s, \alpha ^{-1}(a)) = g(\alpha ^{-1}(a))\). It is now easy to compute that
$$\begin{aligned} \alpha ^{-1}(a)= \left\{ \begin{array}{ll} a &{}\quad \hbox {if } 0 \le a \le 3 \\ 3 a - 6 &{}\quad \hbox {if } 3 \le a \end{array} \right. \quad \hbox { and } \quad H(s, a)= \left\{ \begin{array}{ll} \frac{1}{a+1} &{}\quad \hbox {if } 0 \le a \le 3 \\ \frac{1}{3 a - 5} &{}\quad \hbox {if } 3 \le a. \end{array} \right. \end{aligned}$$
Thus, Theorem 8 states that a separating equilibrium strategy \(\sigma \) is determined by \(\sigma =\gamma ^{-1}\circ \alpha \) where \(\gamma \) solves the initial value problem that \(f(0)=0\) and
$$\begin{aligned} f'(s) = (H(s, f(s)) =) \left\{ \begin{array}{ll} \frac{1}{f(s)+1} &{}\quad \hbox {if } 0 \le f(s) \le 3 \\ &{} \\ \frac{1}{3 f(s)-5} &{}\quad \hbox {if } 3 \le f(s). \end{array} \right. \end{aligned}$$
The (unique) solution to the differential equation above is
$$\begin{aligned} \gamma (s) = \left\{ \begin{array}{ll} \sqrt{s+1}-1 &{}\quad \hbox {if } 0 \le s \le 15 \\ \frac{1}{3} \cdot \left( \sqrt{6 s- 74} + 5 \right) &{}\quad \hbox {if } 15 \le s. \end{array} \right. \end{aligned}$$
We get that
$$\begin{aligned} \gamma ^{-1}(a) = \left\{ \begin{array}{ll} (a+1)^2-1 &{}\quad \hbox {if } 0 \le a \le 3 \\ \frac{1}{6} \cdot \left( (3 a - 5)^2 + 74 \right) &{}\quad \hbox {if } 3 \le a. \end{array} \right. \end{aligned}$$
Hence, since \(\sigma =\gamma ^{-1}\circ \alpha \), we find that
$$\begin{aligned} \sigma (t) = \left\{ \begin{array}{ll} (t+1)^2-1 &{}\quad \hbox {if } 0 \le t \le 3 \\ \frac{1}{6} \cdot \left( (t+1)^2 + 74 \right) &{}\quad \hbox {if } 3 \le t. \end{array} \right. \end{aligned}$$
Finally, note that the SE strategy \(\sigma \) is indeed continuous, and that, although \(\gamma \) is differentiable, the SE strategy \(\sigma \) is not.

5.5 Application: incentives for truthful reporting

Our results also have implications for mechanism design. Note that T is a subset of S. Also note in the job market signaling application that merely the payment scheme \(\alpha (t) = t\) does not induce the truthful report \(\sigma (t) = t\), but \(\sigma (t) = \frac{1}{2}(t^2-1)\) instead.

If we want \(\sigma (t) = t\) for all \(t \in T\), then the SE condition that \(\sigma = (\gamma ^*)^{-1} \circ \alpha \) yields \(\gamma ^*(t) = \alpha (t)\) for all \(t \in T\). Hence, by Theorem 8,

Theorem 10

The model allows truthful reporting in equilibrium precisely when \(\alpha \) solves
$$\begin{aligned} \alpha ^\prime (t) = H(t, \alpha (t)) = c_s(t, t). \end{aligned}$$

If we consider the signaling cost function \(c(s, t) = \frac{s}{t+1}\), then \(c_s(t, t) = \frac{1}{t+1}\), so that the differential equation \(\alpha ^\prime (t) = \frac{1}{t+1}\) yields \(\alpha (t) = \log (t+1)\). Thus, in order to induce truthful reporting, the planner needs to apply the specific reward function \(\alpha (t) = \log (t+1)\).

6 Discussion

In the context of one-dimensional signaling games, we characterized the set of separating equilibrium strategies, using techniques known from network theory and mechanism design with non-differentiable utility. In case type space is a closed halfline, we identified conditions under which there exists a unique SE strategy, and showed how to compute the SE strategy by means of a differential equation. We applied these results in several examples, including a generalization of the Spence job market model, and an example with non-differentiable primitives.

Finally we briefly compare the class of models we consider in this paper to Mailath (1987). Consider the class of job market games, where the cost of signaling is separable, so that
$$\begin{aligned} U_S(a, s, t) = a - h(s) \cdot g(t). \end{aligned}$$
Condition [4] of Mailath (1987) states that for every t the equation \(h^\prime (s) \cdot g(t) = 0\) should have a unique solution in s. This only holds when \(g(t) \not = 0\) and \(h^\prime (s) = 0\) has a unique solution. Thus, none of the models where the cost of signaling is linear in s, so that \(c(s, t) = s \cdot g(t)\), are covered by the analysis in Mailath (1987).9 Also condition [1] of Mailath (1987), stating that
$$\begin{aligned} U(t, {\hat{t}}, s) = \alpha ({\hat{t}}) - h(s) \cdot g(t) \end{aligned}$$
is \(C^2\), does not necessarily hold. When \(\alpha \) is continuous, but not \(C^2\), then clearly U is not \(C^2\). Thus, for example the application in Sect. 5.3 is not covered by Mailath (1987).

Footnotes

  1. 1.

    In contrast, Mailath (1987) and Mailath and von Thadden (2013) require the utility function of the sender to be at least twice continuously differentiable, and additionally need to impose several technical assumptions regarding signs both first and second order derivatives. In particular, the standard job market model by Spence where the utility of the sender equals the payment by the receiver minus the reciprocal of the type falls within our requirements, while it is excluded by the conditions imposed by Mailath (1987) and Mailath and von Thadden (2013).

  2. 2.

    Note that signaling games are in general not an object of study in mechanism design. In mechanism design, reporting types is in essence free of cost. In a signaling game, a signal may have different costs for different types, which is an added complication that is typically not addressed in mechanism design.

  3. 3.

    By the revelation principle this is without loss of generality.

  4. 4.

    In fact it is defined as the product of both types. So, if a man is of type y and a woman of type x, and they are matched, then this generates utility xy, both for him and her. Thus, total utility generated by this match is 2xy, equally divided over both partners.

  5. 5.

    Since the BNE we focus on is separating, beliefs are uniquely determined, and obsolete for checking optimality of responses. Therefore we decided not to model beliefs at all in this paper.

  6. 6.

    Note that the analogous task for the strategies of the receiver is a triviality.

  7. 7.

    The fact that the SE strategy can be computed by solving an associated differential equation is the continuous counterpart of the result in Theorem 2 that \(\alpha \) is a node potential for \(l_\sigma \). Rewriting the formula \(\sigma = \left( \gamma ^*\right) ^{-1} \circ \alpha \) for the SE strategy to \(\alpha = \gamma ^*\circ \sigma \) shows the connection.

  8. 8.

    In the original Spence model, \(T = \{1, 2\}\).

  9. 9.

    For the same reason the more general results in Mailath and von Thadden (2013) do not apply here, since [4] and [5] are equivalent to assumption 2 in that paper.

  10. 10.

    Note that, due to the definition of a complete digraph, the requirement \((v_i,v_{i+1}) \in E\) is equivalent to \(v_i \not = v_{i+1}\).

  11. 11.

    See Rudin (1976), p.125.

  12. 12.

    In order to apply Theorem 16, we need to extend H from \(S \times B\) to \(S \times A\). If B is a closed interval, this is done by projection of the second coordinate onto B. If B is a half-open interval \(B = [0, b)\), we choose \(c \in B\), apply the previous construction to [0, c], and then let c approach b.

Notes

Acknowledgements

We gratefully aknowledge the helpful and very detailed comments of three anonymous referees and the associate editor.

References

  1. Cai H, Riley J, Ye L (2007) Reserve price signaling. J Econ Theory 135:253–268CrossRefGoogle Scholar
  2. Carbajal JC, Ely JC (2013) Mechanism design without revenue equivalence. J Econ Theory 148:104–133CrossRefGoogle Scholar
  3. Cho I-K, Kreps D (1987) Signaling games and stable equilibria. Q J Econ 102:179–222CrossRefGoogle Scholar
  4. Chung KS, Olsewski W (2007) A non-differentiable approach to revenue equivalence. Theor Econ 2:469–487Google Scholar
  5. DeMarzo P (2005) The pooling of tranching of securities: a model of informed intermediation. Rev Fin Stud 18:307–316CrossRefGoogle Scholar
  6. DeMarzo P, Duffie D (1999) A liquidity-based model of security design. Econometrica 67:68–100CrossRefGoogle Scholar
  7. Hartman P (1982) Ordinary differential equation. Birkhäuser, BaselGoogle Scholar
  8. Hellwig M (1992) Fully revealing outcomes in signalling models: an example of nonexistence when the type space is unbounded. J Econ Theory 58:93–104CrossRefGoogle Scholar
  9. Heydenreich B, Müller R, Uetz M, Vohra R (2009) Characterization of revenue equivalence. Econometrica 77:307–316CrossRefGoogle Scholar
  10. Hoppe H, Moldovanu B, Sela A (2009) The theory of assortative matching based on costly signal. Rev Econ Stud 76:253–281CrossRefGoogle Scholar
  11. Jullien B, Mariotti T (2006) Auction and the informed seller problem. Games Econ Behav 56:225–258CrossRefGoogle Scholar
  12. Köszegi B, Rabin M (2006) A model of reference-dependent preferences. Q J Econ 121:1119–1133CrossRefGoogle Scholar
  13. Laffont JJ, Martimort D (2001) The theory of incentives: the principal-agent model. Princeton University Press, PrincetonGoogle Scholar
  14. Kos N, Messner M (2012) Extremal incentive compatible transfers. J Econ Theory 148:134–164CrossRefGoogle Scholar
  15. Mailath GJ (1987) Incentive compatibility in signaling games with a continuum of types. Econometrica 55:1349–1365CrossRefGoogle Scholar
  16. Mailath GJ, von Thadden EL (2013) Incentive compatibility and differntiability: new results and classic applications. J Econ Theory 148:1841–1861CrossRefGoogle Scholar
  17. Mishra D, Talman D (2010) Characterization of the Walrasian equilibria of the assignment model. J Math Econ 46:6–20CrossRefGoogle Scholar
  18. Milgrom P (2004) Putting auction theory to work. Cambridge University Press, CambridgeCrossRefGoogle Scholar
  19. Quinzii M, Rochet JC (1985) Multidimensional signalling. J Math Econ 14:261–284CrossRefGoogle Scholar
  20. Riley JG (1979) Informational equilibrium. Econometrica 47:331–359CrossRefGoogle Scholar
  21. Rudin W (1976) Principles of mathematical analysis. International series in pure and applied mathematics. McGraw-Hill Book CoGoogle Scholar
  22. Sobel J (2009) Signaling games. Encyclopedia of complexity and systems science. Springer, BerlinGoogle Scholar
  23. Spence M (1973) Job market signaling. Q J Econ 87:355–374CrossRefGoogle Scholar
  24. Vohra R (2011) Mechanism design: a linear programming approach. Econometric Society Monographs. Cambridge University Press, CambridgeCrossRefGoogle Scholar

Copyright information

© The Author(s) 2019

Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors and Affiliations

  1. 1.Department of Quantitative EconomicsMaastricht University, SBEMaastrichtThe Netherlands
  2. 2.Division of EconomicsPukyong National UniversityBusanSouth Korea

Personalised recommendations