Abstract
Some finite and symmetric twoplayer games have no (pure or mixed) symmetric Nash equilibrium when played by partly morally motivated players.The reason is that the “right thing to do” may be not to randomize. We analyze this issue both under complete information between equally moral players and under incomplete information between players of arbitrary degrees of morality. We provide necessary and sufficient conditions for the existence of equilibrium and illustrate the results with examples and counter examples.
Introduction
In economics and noncooperative game theory, economic agents and players are usually assumed to be pure consequentialists, that is, to evaluate their alternative courses of action (consumption or production plans, strategies) exclusively in terms of the consequence for themselves and perhaps also for others. However, people may to some extent also be driven by deontological motivations, such as a wish to “do the right thing” in the given situation. Such a participant in a public goods game may, for example, contribute the amount that would maximize the group’s welfare if everybody would do likewise, in line with Immanuel Kant’s (1785) categorical imperative, to “act only on the maxim that you would at the same time will to be a universal law.”
In standard public goods games such partly morally motivated individuals may be behaviorally indistinguishable from altruists, individuals who are pure consequentialists but who attach a positive value to other’s wellbeing. However, in other interactions, a Kantian moralist may behave quite differently from an altruist. Take a \(2\times 2\) coordination game, where both players obtain payoff 1 if both use their first pure strategy, 2 if both use their second pure strategy, and otherwise zero. An altruist who expects the opponent to play the first pure strategy will do likewise. By contrast, a Kantian moralist may instead use the second pure strategy. This will result in material payoff zero to both, but the moralist may obtain psychological utility from behaving in a way he/she wishes all would in such interactions. If two stern moralists would play the coordination game, they would do just fine. However, in some games moralists of intermediate degree, known by both, may not even have a Nash equilibrium, and this may also be the case when player’s degree of morality is their private information.
We here explore exactly these questions, more precisely whether symmetric Nash equilibria exist in symmetric and finite games played by partly morally motivated players. As a formal representation of such players we use the Homo moralis preferences that Alger and Weibull (2013) showed are evolutionarily stable in populations under assortative random matching.^{Footnote 1} We establish the existence of symmetric Nash equilibria for certain game classes, when played by such players, and we also give examples of simple games with no such equilibria. Theorem 1 and Proposition 6 together establish necessary and sufficient conditions for the existence of symmetric Nash equilibrium between partly morally motivated players under incomplete information about others’ degree of morality.
Definitions and preliminaries
In this note we consider finite and symmetric games. Let \(S=\left\{ 1,\ldots ,m\right\} \) be the set of pure strategies, and let \(\varDelta \) be the associated unit simplex of mixed strategies,
Here \(e=\sum _{i=1}^{m}e_{i}\), where \(e_{i}\) is the \(i^{th}\) unity (column) vector, and the superscript T denotes transpose. We write o for the zero vector (the origin).
Let A be an \(m\times m\)matrix with “material” payoffs, let \(\theta \in \left[ 0,1\right] \) be a player type, and consider the associated payoff function \(u_{\theta }:\varDelta ^{2}\rightarrow \mathbb {R}\), defined by
where x and y are (column) vectors in \(\varDelta \). The parameter \(\theta \) is the degree of morality of Homo moralis, with \(\theta =0\) representing pure selfinterest, or Homo oeconomicus, and \(\theta =1 \) representing pure (Kantian) morality, or Homo kantiensis (Alger and Weibull 2013). Thus \(u_{\theta }\left( x,y\right) \) is the payoff (or utility) to a player with degree of morality \(\theta \) when using strategy x against an opponent using strategy y in a symmetric game with (material) payoff matrix A. The game being symmetric, \(B=A^{T}\) is the matrix of material payoffs to the column player.
For a given matrix A and degree of morality \(\theta \in \left[ 0,1\right] \) , let \(\beta _{\theta }:\varDelta \rightrightarrows \varDelta \) be the bestreply correspondence of Homo moralis of degree \(\theta \):
Hence, a rational player with Homo moralis preferences of type \( \theta \) will use some strategy x in the subset \(\beta _{\theta }\left( y\right) \) if expecting the other player to use mixed strategy \(y\in \varDelta \) . By Weierstrass’ maximum theorem, \(\beta _{\theta }\left( y\right) \) is a nonempty and compact set for every \(\theta \in \left[ 0,1\right] \) and \( y\in \varDelta \). However, as will be seen shortly, this set is not always convex. We will study the existence and nature of fixed points under \(\beta _{\theta }\), that is points \(x\in \varDelta \) such that \(x\in \beta _{\theta }\left( x\right) \). These are then the symmetric Nash equilibria when two Homines morales of the same degree of morality meet.
By Berge’s maximum theorem, \(\beta _{\theta }\) is upper hemicontinuous (with respect to y and \(\theta \)). For \(\theta =0\) the correspondence \(\beta _{0}\) is convexvalued. In fact, all its values are then subsimplices, nonempty subsets of \(\varDelta \) spanned by finitely many vertices. This is the standard setting of noncooperative game theory, and as is well known, there exists at least one fixed point whenever \(\theta =0\) . Likewise, for \(\theta =1\) there is always a symmetric Nash equilibrium, namely \(\left( x,x\right) \) for any x in the nonempty set \(\arg \max _{x\in \varDelta }x^{T}Ax\).
Remark 1
For any given material payoff matrix A, and any sequence \(\left\langle \theta _{t}\right\rangle \rightarrow 0\), for each \(t\in \mathbb {N}\) suppose that \(\left( x^{\left( t\right) },x^{\left( t\right) }\right) \) is a Nash equilibrium between two Homines morales of degree of morality \(\theta _{t}>0\). The set \(\varDelta ^{2}\) being compact, this equilibrium sequence contains a convergent subsequence. By upper hemicontinuity of \(\beta _{\theta }\), the limit point, \(\left( x^{*},x^{*}\right) \) is a Nash equilibrium when \(\theta =0\). Hence, the requirement of robustness with respect to a small degree of morality constitutes a refinement of Nash equilibrium in standard game theory, see Example 1.
Games between equally moral players
The analysis in this section generalizes results for symmetric \(2\times 2\) games in Sect. 4 of Alger and Weibull (2013). We here consider strategic interactions under complete information between two equally moral players who play a symmetric \(m\times m\) game in material payoffs, for any \(m\in \mathbb {N}\). If players are only interested in their own material payoff, \( \theta =0\), then the bestreply correspondence is convexvalued, and a symmetric Nash equilibrium exists by standard arguments. However, as is illustrated in the following \(2\times 2\) example, the correspondence \(\beta _{\theta }\) need not be convexvalued for positive degrees of morality.
Example 1
Consider the coordination game
for \(a>b>0\). For \(\theta =0\), there are three fixed points; the two unit vectors, \(e_{1}\) and \(e_{2}\), and the mixed strategy
Note that \(x^{T}Ax=ax_{1}^{2}+bx_{2}^{2}\) for all \(x\in \mathbb {R}^{2}\). Hence, this term is strictly convex in x, and so is also \(u_{\theta }(x,y)\) , for any given \(\theta >0\) and \(y\in \varDelta \). Therefore, \(\beta _{\theta }(y)\subseteq \{e_{1},e_{2}\}\). It is immediate that \(e_{1}\in \beta _{\theta }(e_{1})\) for all \(\theta \in \left[ 0,1\right] \), and \(e_{2}\in \beta _{\theta }(e_{2})\) iff \(\theta \le b/a\). So both \(e_{1}\) and \(e_{2}\) are fixed points for all \(0\le \theta \le b/a\), and there is only one fixed point for every \(\theta >b/a\). For \( \theta =b/a\), \(\beta _{\theta }(e_{2})\) is a binary set. For all other values of \(\theta \), both \(\beta _{\theta }(e_{1})\) and \(\beta _{\theta } (e_{2})\) are singletons. In sum, \(x^{*}\) is a fixed point only when \( \theta =0\), \(e_{1}\) is always a fixed point, and \(e_{2}\) is a fixed point iff \(\theta \le b/a\). In particular, each of the pure equilibria is robust to a small degree of morality, but the mixed equilibrium is not.
Since \(B=A^{T}\) is the payoff matrix of the column player,
is welfare, defined as the sum of the two players’ material payoffs when both use strategy \(x\in \varDelta \). This defines the welfare function \( W:\varDelta \rightarrow \mathbb {R}\). Accordingly, the payoff function of a Homo moralis with degree of morality \(\theta \) can be written in the form
Hence, if W is concave, then \(u_{\theta }\left( x,y\right) \) is concave in \(x\in \varDelta \), for every \(y\in \varDelta \), so the existence of Nash equilibrium then follows immediately from Kakutani’s fixed point theorem.
Proposition 1
The set of fixed points is nonempty and compact if \(\theta \in \left\{ 0,1\right\} \). The same is true for every \(\theta >0\) if W is concave.
Clearly, a sufficient condition for W to be concave is that the symmetric matrix \(A+A^{T}\) is negative semidefinite. See Proposition 4 for a more general result. In the following example, moral players, irrespective of how weak their morality is (as long as \(\theta \) is positive), have strict preferences among mixed strategies, something that is never the case when players lack morality (\(\theta =0\)).
Example 2
Consider the Hawk–Dove game
for \(a,b>0\). Then \(A+A^{T}\) is indefinite: \(x^{T}\left( A+A^{T}\right) x=2(a+b)x_{1}x_{2}\) for any \(x\in \mathbb {R}^{2}\). However, W is concave on \(\varDelta \): there \(W\left( x\right) =2\left( a+b\right) x_{1}(1x_{1})\). Hence, there exists at least one fixed point. From strict concavity of W we know that the sets \(\beta _{\theta }(y)\) are singletons for all \(y\in \varDelta \) and \(\theta >0\). Using firstorder conditions, expressed in \(x_{1}\) only (with \(x_{2}=1x_{1}\)), we conclude
where \(\varDelta _{1}=\{y\in \varDelta :(1\theta )\left[ a(a+b)y_{1}\right] \ge \theta (a+b)\}\), and likewise
where \(\varDelta _{2}=\{y\in \varDelta :(1\theta )\left[ a(a+b)y_{1}\right] \le \theta (a+b)\}\). Finally, for all \(y\in \varDelta \setminus (\varDelta _{1}\cup \varDelta _{2})\), we have \(\beta _{\theta }(y)=\{x\}\), where
Since \(e_{1}\not \in \varDelta _{1}\) and \(e_{2}\not \in \varDelta _{2}\) for all \( \theta \in [0,1]\), neither \(e_{1}\) nor \(e_{2}\) can be fixed points for any \(\theta \). All fixed points (and we know at least one exists) are thus found by solving \(y_{1}=x_{1}\) with \(x_{1}\) given by the necessary firstorder condition (2). This leads to exactly one fixed point for every \(\theta \in \left( 0,1\right] \), namely
In particular, \(x_{1}=a/(a+b)\) defines the unique fixed point when \(\theta =0 \), and \(x_{1}=1/2\) the unique fixed point when \(\theta =1\). In this example, the unique symmetric equilibrium is robust to a small degree of morality.
A gametheoretically important class of games in which W is concave on \( \varDelta \) are all constantsum games (then \(A+A^{T}\) is a matrix with identical entries), with zerosum games as the most prominent special case.
Proposition 2
Let A be the payoff matrix of a symmetric constantsum game. For any \(\theta <1\), the set of fixed points is identical with the nonempty set of fixed points when \(\theta =0\), while every \(x\in \varDelta \) is a fixed point when \(\theta =1\).
In other words, all Homines morales, except Homo kantiensis, behave like Homo oeconomicus in all (finite and symmetric twoplayer) constantsum games.
The remaining situation to investigate is thus when \(\theta >0\) and W is not concave (as in Example 1). We begin with an example showing that existence of a symmetric Nash equilibrium cannot be taken for granted.
Example 3
Consider the generalized Rock–Scissors–Paper (RSP) game matrix
for any \(a>1\). We note that this is a constantsum game if and only if \(a=0\). For \(\theta =0\), the unique symmetric Nash equilibrium strategy is the barycenter \(x^{o}\). As is well known, this unique equilibrium is unstable in the replicator dynamic for all \(a<0\) and asymptotically stable for all \(a>0\).^{Footnote 2} The function W is strictly concave if \(a>0\) and strictly convex if \(a<0\), because for any \(x\in \varDelta \):
Henceforth, assume \(a<0\), fix \(0<\theta <1\) and observe that \(\varnothing \ne \beta _{\theta }(y)\subseteq \{e_{1},e_{2},e_{3}\}\) for all \(y\in \varDelta \). Moreover, \(u_{\theta } (e_{i},e_{i})=1\) for all \(i\in S\), while
Hence, \(u_{\theta }(e_{1},e_{2})>u_{\theta }(e_{i},e_{i})\) iff \(\left( 1\theta \right) \left( 1+a\right) >0\), so for \(1<a<0\) no vertex \(e_{i}\) is a fixed point for any \(\theta \in \left( 0,1\right) \). Consequently, there exists no fixed point for \(0<\theta <1\) in generalized RSP games with values of a in this interval. In sum, in these games, when \(1<a<0\), there is no symmetric Nash equilibrium at any degree of morality \(\theta \) between pure selfinterest (\(\theta =0\)) and pure Kantian morality (\(\theta =1\)).
Proposition 1 ensures existence of at least one fixed point if the welfare function W is concave on \(\varDelta \). If the welfare function instead is strictly convex, then fixed points may not exist. The next result provides necessary and sufficient conditions for existence in the latter case.
Proposition 3
If W is strictly convex on \(\varDelta \), then \(\beta _{\theta } (y)\subseteq \{e_{1},\ldots ,e_{m}\}\) for all \(y\in \varDelta \) and \(\theta >0\), and \(e_{i}\) is a fixed point under \(\beta _{\theta }\) if and only if
In turn, (3) is satisfied for all small \(\theta \) if \((e_{i},e_{i})\) is a strict Nash equilibrium.
Proof
If W is strictly convex, so is \(u_{\theta }(x,y)\) in x, and hence the first claim follows. The second claim is then obvious from \(u_{\theta }(e_k,e_i) = \theta a_{kk}+\left( 1\theta \right) a_{ki}\). The third claim follows by continuity. \(\square \)
The usefulness of both Propositions 1 and 3 depends on how easy or hard it is to verify that the welfare function is either concave or strictly convex on the unit simplex. Here are necessary and sufficient conditions for each of these properties. To state them concisely, we write \(e^{\perp }\subset \mathbb {R}^{m}\) for the \(\left( m1\right) \)dimensional tangent space of the unit simplex \(\varDelta \) (that is, all vectors orthogonal to \(e\in \mathbb {R}^{m}\)).
Proposition 4
Let C be the expansion of the \(\left( m1\right) \times \left( m1\right) \) identity matrix to an \(\left( m1\right) \times m\) matrix obtained by appending the column \((1,\ldots ,1)^{T}\in \mathbb {R} ^{m1}\). Then W is concave (strictly convex) over \(\varDelta \) if and only if the symmetric \((m1)\times (m1)\) matrix
is negative semidefinite (positive definite).
Proof
First observe that for any \(0<\lambda <1\) and any two \(\{ x,y\} \subset \varDelta \), we have
with \(v=xy\) being orthogonal to e. Writing \(u=(v_1,\ldots , v_{m1})^T\in \mathbb {R}^{m1}\), we have for \(v\in e^\perp \subset \mathbb {R}^m\) that \(v=C^T u\), and \(v\ne o\) if and only if \(u\ne o\). Hence \(2v^T A v = u^T D u\) by definition of D, and the result follows. \(\square \)
In some applications the payoff matrix A is symmetric; \(A^{T}=A\). In such potential or partnership (or doubly symmetric) games, it is known that average payoff increases along all solution trajectories to the replicator dynamic (see, e.g., Section 3.6 in Weibull 1995). For such games and any positive degree of morality, any global welfare maximizer is a fixed point, and every fixed point is a local welfare maximizer. Formally:
Proposition 5
Suppose \(A^{T}=A\), and let \(\theta >0\). Then

(a)
\(x\in \arg \max \limits _{z\in \varDelta }W\left( z\right) ~\Longrightarrow ~x\in \beta _{\theta }\left( x\right) \),

(b)
\(x\in \beta _{\theta }\left( x\right) ~ \Longrightarrow ~ x\in \arg \max \limits _{z\in \varDelta \cap U}W\left( z\right) \) for some neighborhood U of x.
Proof
Define \(h_{\theta ,y}:\varDelta \rightarrow \mathbb {R}\) by \(h_{\theta ,y}(x)=u_{\theta }(x,y)\). If \(y\in \arg \max \limits _{x\in \varDelta }W(x)\) then \(W(y)\ge W(x)\) for all \(x\in \varDelta \), and the directional derivative of W in the direction of \(xy\), evaluated at y, is not positive,
implying \(x^T Ay\le y^T Ay\), and therefore \(u_{\theta }(x,y)\le u_{\theta }(y,y)\) for all \(x\in \varDelta \), i.e., \(y\in \beta _{\theta }(y)\).
Next assume \(y\in \beta _{\theta }(y)\). Then y is a global maximizer of \(h_{\theta ,y}\) over \(\varDelta \). In particular the directional derivative of \(h_{\theta ,y}\) in the direction of \(xy\), evaluated at y, is not positive,
In case that \((xy)^T Ay=0\) for some x, also the second directional derivative of \(h_{\theta ,y}\) in the direction of \(xy\), evaluated at y, is not positive,
Now the two displayed inequalities are sufficient for y to be a local maximizer of W, as those inequalities are also statements about first and second directional derivatives of W, see, e.g., Bomze (2002). \(\square \)
In case of symmetric A there may indeed be fixed points \(x\in \beta _{\theta }(x)\) that are local, but not global, maximizers of \(x^{T}Ax\) subject to \(x\in \varDelta \). This happens in Example 1 for small \( \theta \ge 0\). In other words, any fixed point of \(\beta _{\theta }\) is neutrally stable in partnership games (again, see Bomze 2002). If A is not symmetric, neither (a) nor (b) need hold. Example 3 shows that (a) can be violated, and violation of both (a) and (b) for \(0\le \theta <1\) is demonstrated by Example 2 when \(a\ne b\).
Remark 2
Alger and Weibull (2013) establish that every symmetric \(2\times 2\)game admits at least one symmetric Nash equilibrium between equally moral players, irrespective of their common degree of morality. This can be easily confirmed by the above analysis, since a univariate quadratic function is either concave or strictly convex.
Incomplete information about others’ morality
We now consider strategic interactions between two Homines morales who only know their own degree of morality, not that of the opponent. We will call an individual’s degree of morality the individual’s type and use the canonical notation \(\varTheta =[0,1]\) for the type space. We endow \( \varTheta \) with its Euclidean topology, and let \(\mu \) be a Borel probability measure on \(\varTheta \), representing the type distribution in the population.
A strategy is a Borelmeasurable function \(\xi :\varTheta \rightarrow \varDelta \), assigning to each type \(\theta \in \varTheta \) a strategy \(\xi (\theta )\in \varDelta \). A strategy \(\xi \) is optimal against a mixed strategy \(y\in \varDelta \) if
It follows from measurableselection theory à la Kuratowski–RyllNardzewski (see, e.g., 18.3 and 18.4 in Aliprantis and Border 2006, or 14.29 and 14.37 in Rockafellar and Wets 2009) that such an optimal strategy \(\xi :\varTheta \rightarrow \varDelta \) exists for each \(y\in \varDelta \). A strategy \(\xi :\varTheta \rightarrow \varDelta \) is a best reply to itself, or, equivalently, \(\left( \xi ,\xi \right) \) constitutes a symmetric Nash equilibrium under incomplete information, if the following condition holds for all \(\theta \in \varTheta \):
By linearity of the payoff function with respect to y,
where
is the representative agent’s mixed strategy. In other words, in order to be a best reply to itself, a strategy \(\xi :\varTheta \rightarrow \varDelta \) has to be optimal against its own representative agent’s mixed strategy.
Existence is nontrivial. However, one may characterize Nash equilibrium by way of first and secondorder optimality conditions. In order to state these, for each type \(\theta \in \varTheta \) let \(H({\theta })=\theta \cdot (A+A^{T})\), the Hessian matrix of \(u_{\theta }(\cdot ,y)\), for any \(y\in \varDelta \). For any strategy \(\xi :\varTheta \rightarrow \varDelta \), let
This is the gradient of the payoff \(u_{\theta }(x,\bar{\xi })\) with respect to \(x\in \varDelta \), evaluated at \(x={\xi }(\theta )\). For each pure strategy \( i\in S\), let
The matrix \(H_{i}({\theta })\) is a symmetric ranktwo update of the Hessian \( H\left( \theta \right) \), using the gradient \(g({\theta }) \in \mathbb {R}^{m}\) and the \(i^{th}\) unit vector \(e_{i}\in \varDelta \). Finally, for any strategy \( \xi \), type \(\theta \in \varTheta \) and pure strategy \(i\in S\), we define the following polyhedral cone:
The result to follow establishes that, given any type distribution \(\mu \), a strategy \(\xi :\varTheta \rightarrow \varDelta \) constitutes a Nash equilibrium under incomplete information if and only if three conditions are met: a firstorder (Lagrangian) condition, a complementary slackness condition, and a secondorder condition that significantly differs from the usual global convexity/concavity requirements on \(H(\theta )\) and W. The reason why this particular secondorder condition is sufficient is that all types’ payoff functions are linearquadratic in their own strategy choice (in the underlying game). We split the statement of the result into two parts and provide a joint proof.
Theorem 1
For any Borel probability measure \(\mu \) on \(\varDelta \), a strategy \(\xi :\varTheta \rightarrow \varDelta \) is a best reply to itself if and only if there are Borelmeasurable functions \(\alpha _{i}:\varTheta \rightarrow { \mathbb {R}}\) for \(i=0,1,\ldots ,m\) such that, for all \(i\in S\) and \(\theta \in \varTheta \):
To state the second part of the result, we call a strategy \(\eta :\varTheta \rightarrow \varDelta \) a better reply than \(\xi :\varTheta \rightarrow \varDelta \) against \(\xi \) for type \(\theta \) if \(u_{\theta }(\eta \left( \theta \right) ,\bar{\xi })>u_{\theta }(\xi (\theta ),\bar{\xi })\).
Proposition 6
If (7) is violated for some pure strategy i and type \(\theta \) with \(\xi _{i}(\theta )>0\) and some \(v\in \varGamma _{i}(\theta )\), then there exists a better reply for this type \(\theta \), namely, the strategy \(\eta :\varTheta \rightarrow \varDelta \) that agrees with \( \xi \) for all types \(\tau \ne \theta \) but has
Proof
The assertions in Theorem 1 follow from (Bomze 2016, Thm. 2.3), formulated for minimizing the negative \(u_{\theta }(\cdot ,\bar{\xi })\) there; note that as \(\varDelta \) is compact, we can ignore the index \(i=0\) dealing with unbounded feasible rays there. The case of \(\varDelta \) has been dealt already in Bomze (1997a, b), where also the arguments for Proposition 6 can be found. \(\square \)
In Example 3 we noted that no symmetric Nash equilibrium exists under complete information in a game between equally moral players when \(1<a<0\) and \(0<\theta <1\). Formally, such a situation can be represented as incomplete information with a Dirac measure placed on that particular type \( \theta \). We proceed to establish a sufficient condition for the existence of symmetric Nash equilibrium under incomplete information when the type distribution \(\mu \) has no atoms. It follows from this result that the nonexistence of symmetric equilibrium under complete information and equally moral players, in Example 3, is nonrobust to arbitrarily small degrees of incomplete information about morality, as measured, e.g., in the \(L^{1}\)norm.
To state the result, we write \(\tilde{\beta }_{\theta }\left( x\right) \subseteq S\) for the set \(\arg \max _{i\in S}u_{\theta } \left( e_{i},x\right) \) of pure best replies to a mixed strategy \(x\in \varDelta \) and \(\textit{supp}\left( x\right) \subseteq S\) for the support of x.
Proposition 7
Suppose that \(\mu \) can be represented by a probability density function \(f:\varTheta \rightarrow \mathbb {R}_{+}\). If the welfare function \( W:\varDelta \rightarrow \mathbb {R}\) is convex and there exists a strategy \( x^{*}\in \varDelta \) such that
for all types \(\theta \) and \(\tau \) in the support of f, then there exists a Nash equilibrium \(\left( \xi ,\xi \right) \) under incomplete information, and \(\bar{\xi }=x^{*}\).
Proof
Let \(x^{*}\in \varDelta \) be as stated. Partition the type space \(\varTheta \) into m cells \(B_{i}\) such that \(\mu \left( B_{i}\right) =x_{i}^{*}\) for each \(i\in S\). This is possible since \(\mu \) has no atoms. Define \(\xi :\varTheta \rightarrow \varDelta \) by setting \(\xi \left( \theta \right) =e_{i}\) for all \(\theta \in B_{i}\) and \(i\in S\). Then \(\bar{ \xi }=x^{*}\). Since W is convex, \(u_{\theta } \left( x,x^{*}\right) \) is convex in \(x\in \varDelta \), and thus \(i\in \tilde{\beta }_{\theta }\left( x^{*}\right) \Rightarrow e_{i}\in \beta _{\theta }\left( x^{*}\right) \) for all \(i\in S\) and \(\theta \in \varTheta \). Hence, \(\xi \left( \theta \right) \in \arg \max _{x\in \varDelta }u_{\theta }\left( x,\bar{\xi } \right) \) for all \(\theta \in \varTheta \), so \(\left( \xi ,\xi \right) \) is a Nash equilibrium. \(\square \)
We note that since, for each \(x\in \varDelta \) and \(\theta \in \varTheta \), \(\tilde{\beta }_{\theta }\left( x\right) \) belongs to the finite power set of S, and \(u_{\theta }\left( e_{i},x\right) \) is continuous (in fact, linear) in \(\theta \), \(\tilde{\beta }_{\theta }\left( x\right) \) is piecewise constant on \(\varTheta \), for any given \(x\in \varDelta \). Thus, the equality in ( 8) holds generically for all \(\theta \) and \(\tau \) in some open set \(U\subset \varTheta \).
Applying Proposition 7 to Example 3, let \(x^{*}\) be the barycenter \(x^{o}\) of the mixedstrategy simplex \(\varDelta \). For any atom free type distribution \(\mu \), partition the type space \(\varTheta \) into three cells, each with probability measure 1/3. Allocate all individuals in each type cell to one and the same pure strategy. For example, the 1/3 least moral individuals in the support of f may play strategy 1, the morally intermediate 1/3 of the population may play strategy 2, and the most moral 1/3 of the population may play strategy 3. For \(a<0\) the welfare function W is convex and symmetric, so all three pure strategies are optimal against \( x^{*}\), for any \(\theta \in \left( 0,1\right) \). The hypothesis of Proposition 7 is thus met, so there exists a symmetric Nash equilibrium and it has \(x^{o}\) as its outcome.
Notes
 1.
 2.
References
Alexander, R.D.: The Biology of Moral Systems. Aldine De Gruyter, New York (1987)
Alger, I., Weibull, J.: Homo moralis–preference evolution under incomplete information and assortative matching. Econometrica 81, 2269–2302 (2013)
Aliprantis, C.D., Border, K.C.: Infinite Dimensional Analysis: A Hitchhiker’s Guide, 3rd edn. Springer, Berlin (2006)
Benaïm, M., Hofbauer, J., Hopkins, E.: Learning in games with unstable equilibria. J. Econ. Theory 144, 1694–1709 (2009). https://doi.org/10.1016/j.jet.2008.09.003
Bergstrom, T.: On the evolution of altruistic ethical rules for siblings. Am. Econ. Rev. 85, 58–81 (1995)
Bergstrom, T.: Ethics, Evolution, and Games among Neighbors. University of California, Santa Barbara (2009)
Bomze, I.M.: Evolution towards the maximum clique. J. Glob. Optim. 10, 143–164 (1997a)
Bomze, I.M.: Global escape strategies for maximizing quadratic forms over a simplex. J. Glob. Optim. 11, 325–338 (1997b)
Bomze, I.M.: Regularity versus degeneracy in dynamics, games, and optimization: a unified approach to different aspects. SIAM Rev. 44, 394–414 (2002)
Bomze, I.M.: Copositivity for secondorder optimality conditions in general smooth optimization problems. Optimization 65, 779–795 (2016)
Darwin, C.: The Descent of Man, and Selection in Relation to Sex. John Murray, London (1871)
de Waal, F.B.M.: Primates and Philosophers. How Morality Evolved. Princeton University Press, Princeton (2006)
Kant, I.: Grundlegung zur Metaphysik der Sitten. Hartknoch, Riga (1785). [In English: Groundwork of the Metaphysics of Morals. Harper Torch Books, New York (1964).]
Rockafellar, R.T., Wets, R.J.B.: Variational Analysis. Springer, Berlin (2009). 3rd printing
Weibull, J.: Evolutionary Game Theory. MIT Press, Cambridge (1995)
Acknowledgements
Open access funding provided by Stockholm School of Economics. We are grateful for helpful comments from the editorial team, an anonymous referee, Erik Mohlin, Jonathan Newton, Ron Peretz, and the participants of the “Oberseminar Optimization” at the University of Augsburg. Weibull gratefully acknowledges financial support from the Knut and Alice Wallenberg Research Foundation (Sweden), and from the National Research Agency ANR, Chaire IDEX ANR11IDEX000202 (France).
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bomze, I., Schachinger, W. & Weibull, J. Does moral play equilibrate?. Econ Theory 71, 305–315 (2021). https://doi.org/10.1007/s00199020012464
Received:
Accepted:
Published:
Issue Date:
Keywords
 Nash equilibrium
 Morality
 Homo moralis
 Social preferences
 Incomplete information
JEL classification
 C72
 D01
 D64
 D82
 D91