# Game Theory without Argmax [Part 2]

*Written during the SERI MATS program under the joint mentorship of* [*John Wentworth*](https://www.lesswrong.com/users/johnswentworth)*,* [*Nicholas Kees*](https://www.lesswrong.com/users/nicholaskees)*, and* [*Janus*](https://www.lesswrong.com/users/janus-1)*.*

![Create a black and white image of a blindfolded robot and a blindfolded human playing Hungry Hungry Hippos in a 3:1 aspect ratio. The robot, with a futuristic, sleek, humanoid design, is seated at the game table with a blindfold covering its optical sensors. Across from the robot, depict a human player, also blindfolded, with an expression of concentration, as they engage in the game. The human's appearance should be neutral, representing a general human figure. The Hungry Hungry Hippos game is in the center, capturing a moment of playful competition. The background should be simple, emphasizing the players and the game in a monochromatic palette.](https://files.oaiusercontent.com/file-WgBMYzFFcspfp3Gx7GnD63xz?se=2023-11-11T15%3A45%3A33Z&sp=r&sv=2021-08-06&sr=b&rscc=max-age%3D31536000%2C%20immutable&rscd=attachment%3B%20filename%3Dfc77f4c2-91d3-4253-a55a-23c7f551ca4f.webp&sig=KjswqTUE42ERSTRLtWHEZ7SwM4iZqxiIbbZw/drploE%3D)

Motivation
==========

I am surrounded, incessantly, by other people, possessing a range of different capabilities, striving for goals both common and opposing — and, what is more, they are incessantly surrounded by me. Fangs pierce the cartesian boundary. Outsideness leaks in. Insideness leaks out. It is the source of all joy and misery in my life.

Anyway. It's the interaction of $n\geq 2$ agents that characterises game theory.[^e0ngjjwe84r] Classical game theory says that when two utility-maximisers interact in a shared environment, they will choose options in nash equilibrium, where a profile of options is in nash equilibrium if no player can increase their utility function by unilaterally changing their option.

What does higher-order game theory (which dispenses with utility functions and maximisation) say about the interaction between agents? Would a satisficer cooperate with a quantiliser in prisoner's dilemma?

Let's find out.

* * *

Preliminaries
=============

All you need to know is Definition 3 from [\[Part 1\]](https://www.lesswrong.com/posts/3ahqzpKvtqkom63cx/game-theory-without-argmax-part-1), and some basic classical game theory.

> **Definition 3:** Let $X$ be any set of *options* and $R$ be any set of *payoffs*. An optimiser is any functional $\psi:(X \to R) \to \mathcal{P}(X)$. A $\psi$-*task* is any function $u : X \to R$. An option $x \in X$ is $\psi$-*optimal* for a task $u : X \to R$ if and only if $x \in  \psi(u)$.

Let's review the textbook definition of classical simultaneous games.

> **Definition 5**.  
> 
> 1.  Let $\{X_i\}_{i \in I}$ be a family of sets indexed by a set $I$ of players.  
>       
>     A **classical simultaneous game** over $\{X_i \}_{i \in I}$ is a function $g : \prod_{i \in I} X_i \to \mathbb R^I$.  
>      
> 2.  The **option-profiles** of $g$ are the elements of the product $X = \prod\limits_{i \in I}X_i$.  
>     $$
> 3.  The$i$**-th deviation map** $\mathcal U_i : X\to (X_i \to X)$ is given by $\mathcal U_i(\mathbf x)(\alpha)_j = \begin{cases}\alpha &\text{if $i =j$}\\\mathbf x_j &\text{otherwise}\end{cases}$ for all $\mathbf x \in X$, $i \in I$, $\alpha \in X_i$, and $j \in I$.  
>       
>     In the finite case, where $I = \{1,\ldots, n\}$, then $\mathcal U_i(x_1, \ldots, x_n):X_i \to X, \alpha\mapsto(x_1, \ldots, x_{i-1}, \alpha, x_i, \ldots, x_n)$.  
>       
>     The deviation map $\mathcal U_i : X \to (X_i \to X)$ describes how the $i$th player can change an option-profile $\mathbf x$ by unilaterally changing their own option. Note that the deviation maps only depend on the option spaces, not the game itself.  
>      
> 4.  The **best-response function** of $g$ is the the function $\mathcal B : X \to \mathcal P (X)$ defined by$$$\mathcal B: \mathbf x \mapsto \prod\limits_{i \in I}\text{argmax}_{X_i}\left(\pi_i \circ g \circ \mathcal U_i(\mathbf x)\right)$ where $\mathcal U_i : X\to (X_i \to X)$ is the $i$th deviation map.  
>      
> 5.  Finally, the **nash equilibria** of $g$ is the set of option-profiles $\mathbf x \in X$ such that $\mathbf x \in \mathcal B (\mathbf x)$.

Note that the fact that the option-profiles are in nash equilibrium follows *logically* from the assumption each player's choice is utility-maximising for the task they face, plus the assumption that, if the option-profile is $\mathbf x \in X$, then the $i$th player faces the task $\pi_i \circ g \circ \mathcal U_i(\mathbf x) : X_i \to \mathbb R$.

It *doesn't* require the assumption that the player's have "common knowledge" of each other's rationality, or that the players have any kinds of beliefs whatsoever. That being said, an economist might explain the optimality of the choices by assuming that each player is rational and knows all the relevant facts (i.e. the rules of the game, the rationality of their peers, and the beliefs of their peers). However, an evolutionary biologist might appeal to natural selection to explain optimality. An ML engineer might appeal to SGD, etc.

* * *

Higher-Order Nash Equilibrium
=============================

By inspection, we can see that at no point does the definition of the classical nash equilibrium appeal to any special properties of $\mathbb R$ or $\text{argmax}_X$. This suggests that we can effortless generalise the definition of nash equilibrium to any family of optimisers, rather than only utility-maximisers.

> **Definition 6**. 
> 
> 1.  Let $\{X_i\}_{i \in I}$ be a family of sets indexed by a set $I$ of players. Let $R$ be a set of payoffs, and let $\Psi =\{\psi_i\}_{i \in I}$ be a family of optimisers with $\psi_i \in \mathcal J^\mathcal P(X_i, R)$.[^865s296gb7m]  
>       
>     A **higher-order simultaneous **$\Psi$**-game** is a function $g : \prod_{i \in I} X_i \to R$.  
>      
> 2.  Like before, the **option-profiles** of $g$ are the elements of the product $X = \prod\limits_{i \in I}X_i$.  
>     $$
> 3.  Like before, the$i$**-th deviation map** $\mathcal U_i : X\to (X_i \to X)$ is given by $\mathcal U_i(\mathbf x)(\alpha)_j = \begin{cases}\alpha &\text{if $i =j$}\\\mathbf x_j &\text{otherwise}\end{cases}$ for all $\mathbf x \in X$, $i \in I$, $\alpha \in X_i$, and $j \in I$.  
>      
> 4.  The $\Psi$**-best-response function** of $g$ is the the function $\mathcal B : X \to \mathcal P (X)$ defined by $$$\mathcal B: \mathbf x \mapsto \prod\limits_{i \in I}\psi_i\left(g \circ \mathcal U_i(\mathbf x)\right)$ where $\mathcal U_i : X\to (X_i \to X)$ is the $i$th deviation map  
>      
> 5.  Like before, the $\Psi$**-nash equilibria** of $g$ is the set of option-profiles $\mathbf x \in X$ such that $\mathbf x \in \mathcal B (\mathbf x)$.
> 
> When clear from context, I'll just say *game*, *best-response*, and *nash equilibrium.*

The intuition is this —

*   Suppose that $\mathbf x=(x_1, \ldots, x_n) \in X_1 \times \cdots \times X_n$ is the option-profile that's collectively chosen.
*   Then player $i\in I$ can achieve a payoff $[g \circ \mathcal U_i(\mathbf x)](\alpha) \in R$ by unilaterally changing their option to $\alpha \in X_i$ because $[g \circ \mathcal U_i(\mathbf x)](\alpha)= g(x_1, \ldots, x_{i-1}, \alpha, x_{i+1}, \ldots, x_n)$.
*   So player $i \in I$ is faced with the task $g \circ \mathcal U_i(\mathbf x) : X_i\to \mathbb R$.
*   Their choice $x_i \in X_i$ must be $\psi_i$-optimal for this task, so $x_i \in \phi_i( g \circ \mathcal U_i (\mathbf x))\subseteq X_i$.
*   If we assume $\psi_i$-optimality for every player conjunctively, then $\mathbf x \in \mathcal B(\mathbf x)$.
*   If we know that $\mathbf x \in \mathcal B(\mathbf x)$, and we know nothing else, then the possible option profiles are $\{ \mathbf x \in X : \mathbf x \in \mathcal B (\mathbf x)\} \in \mathcal P (X)$.

This definition applies even to unusual cases —

*   Zero-player games? When $|I| = 0$, then game $g$ is just an element of the payoff space $R$. There's only one option-profile, [the empty sequence](https://en.wikipedia.org/wiki/Empty_product), and it's vacuously nash.
*   One-player games? When $|I| = 1$, then a game $g : X \to R$ is just a task for the solitary player. An option-profile for the game is specified by an option for the player, and this option-profile is nash whenever the option is optimal for the player.
*   When $I$ is countably infinite, or indeed uncountably infinite, then the definition still makes sense and gives the right answer.[^to52xlmsdfm]

We obtain the *classical* simultaneous game when $R = \mathbb R^n$ and $\psi_i = \text{argmax}_X(\pi_i \circ - ) \in \mathcal J^\mathcal P (X, \mathbb R^n)$, and in this case the higher-order nash equilibrium coincides with the classical nash equilibrium.

The higher-order nash equilibrium allows us to answer somewhat esoteric questions —

> *An argmaxer, a satisficer, and a quantiliser walk into a bar. They can order from menus* $A$*,* $S$*, and* $Q$ *respectively, and the barman will mix their three orders* $(a,s,q) \in A \times S \times Q$ *into a single cocktail* $f (a,s,q) \in C$*. The argmaxer's preferences over the cocktails are given by* $v_a : C \to \mathbb R$*, and likewise* $v_s : C \to \mathbb R$ *for the satisfier and* $v_q : C \to \mathbb R$ *for the quantiliser.*
> 
> *What cocktail might they be served?*
> 
> *Well, the possible cocktails are* $f(a,s,q) \in C$ *such that* $a \in \text{argmax}_A(\lambda^{a' \in A}. v_a \circ f(a',s,q))$*,* $s \in \text{satisfice}_{s_0}(\lambda^{s'\in S}. v_s \circ f(a,s',q))$*, and* $q \in \text{quant}_\epsilon(\lambda ^{q' \in Q}. v_q \circ f(a,s,q'))$.

Many well-studied variations of the classical nash equilibrium can be seen as the higher-order nash equilibrium between non-classical optimisers. For example, [epsilon-equilibrium](https://en.wikipedia.org/wiki/Epsilon-equilibrium) is precisely the higher-order nash equilibrium between $\text{argmax-$\epsilon$-slack}_X(\pi_i \circ -)$.[^pag4h2nojxm]

* * *

Optimisation is nash-sum closed
===============================

There's a nice upshot of higher-order game theory — the nash equilibria between optimisers is itself an optimiser!

Suppose that two agents are modelled by $\psi_A \in \mathcal J^\mathcal P (A, R)$ and $\psi_B \in \mathcal J ^\mathcal P (A, R)$. We can combine them into a single function $$which assigns, to each game $g : A \times B \to R$, the set of $\{\psi_A, \psi_B\}$-nash equilibria of the game $g$. This function has type-signature $(A \times B \to R) \to \mathcal P (A \times B)$, so it corresponds to a single optimiser with option space $(A \times B)$ with payoff space $R$.

This gives us a binary operator on optimisers,$\oplus : \mathcal J^\mathcal P(A, R)\times \mathcal J^\mathcal P(B, R) \to \mathcal J^\mathcal P (A \times B, R)$, given by $(a,b) \in (\psi_A \oplus \psi_B)(g) \iff a \in \psi_A(g\circ \mathcal U_1(a,b)) , b \in \psi_B(g \circ \mathcal U_2(a,b))$.

This operator is both associative and commutative, justifying the name **"nash sum".**

For example, the nash sum $(\text{argmax}_A \oplus \text{argmax}_B):(A \times B \to \mathbb R \times \mathbb R) \to \mathcal P(A \times B)$ will calculate the classical nash equilibria of a generic payoff matrix $g : A \times B \to \mathbb R^n$.

The operator can be extended to any family of optimisers, i.e. $\bigoplus\limits_{i\in I}:\prod\limits_{i\in I} \mathcal J^\mathcal P(X_i , R) \to   \mathcal J^\mathcal P\left(\prod\limits_{i\in I} X_i , R\right)$ where $\mathbf x \in \left(\bigoplus\limits_{i\in I}  \psi_i\right) (g) \iff \mathbf x \in \prod\limits_{i=1}^n \psi_i(g \circ \mathcal U_i(\mathbf x))$.

Terminology:

*   $\bigoplus_{i \in I}\psi_i$ is a single optimiser, while $\{\psi_i \}_{i \in I}$ is a family of optimisers.
*   $\bigoplus_{i \in I}\psi_i$ is the nash-sum of $\{\psi_i\}_{i \in I}$, and $\{\psi_i\}_{i \in I}$ are subagents of $\bigoplus_{i \in I}\psi_i$.
*   An option for $\bigoplus_{i \in I} \psi_i$ is an option-profile for $\{\psi_i \}_{i \in I}$.
*   A task for the optimiser $\bigoplus_{i \in I}\psi_i$ is a game for the family of optimisers $\{\psi_i \}_{i \in I}$.
*   An option $\mathbf x \in \prod_{i \in I}X_i$ is optimal for $\bigoplus_{i \in I} \psi_i$ in the task $g : \prod_{i \in I}X_i \to R$ if and only if the option-profile $\mathbf x \in \prod_{ i \in I}X_i$ is a nash equilibrium for $\{\psi_i\}_{i \in I}$ in the game $g : \prod_{i \in I}X_i \to R$.

* * *

Totality is not nash-sum closed
===============================

Just because two optimisers $\psi_a \in \mathcal J^\mathcal P(A, R)$ and $\psi_b \in \mathcal J^\mathcal P(B, R)$ are total does not imply that their nash sum $(\psi_a \oplus \psi_b) \in \mathcal J^\mathcal P(A \times B, R)$ is total.[^b4b93x55gii] In other words, we may have a model of an agent which works perfectly in all solitary situations, but breaks down when many such agents interact in a shared environment.

The textbook example is [Matching Pennies](https://en.wikipedia.org/wiki/Matching_pennies). Each player must choose either heads or tails — player 1 wins if the coins match and player 2 wins if they don't. If both players are utility-maximisers then there's no nash equilibria, even though utility-maximisers are total optimisers.

| $u$ | H   | T   |
| --- | --- | --- |
| H   | $(1,0)$ | $(0,1)$ |
| T   | $(0,1)$ | $(1,0)$ |

Formally speaking, $A = \{H,T\}$, $B = \{H, T\}$, and $u : A \times B \to \mathbb R \times \mathbb R, (x,y) \mapsto (\delta_{xy}, 1-\delta_{xy})$.[^35nvj2cr475] Then $(\text{argmax}_A(\pi_1 \circ - ) \oplus \text{argmax}_B (\pi_2 \circ -))(u) = \emptyset$, although $\text{argmax}_A(\pi_1 \circ - )(w) \neq \emptyset$ and $\text{argmax}_B(\pi_1 \circ -)(w) \neq \emptyset$ for all $w : \{H, T\} \to \mathbb R \times \mathbb R$.

This shows why we *couldn't* have defined optimisers as functions with type-signature $(X \to R) \to \mathcal P^*(X)$ where $\mathcal P^*(X)$ denotes the set of *non-empty* subsets of $X$. In order to ensure nash-sum closure of optimisers, we needed to include non-total optimisers.

* * *

Utility-maximisation is not nash-sum closed.
============================================

It is well-known that the nash sum of $n$ utility-maximisers isn't a utility-maximiser for any $n \geq 2$. For many games, none of the nash equilibrium are even pareto-optimal!

$$The textbook case is the **prisoner's dilemma.** Let $\mathbb B = \{C,D\}$ and consider two players$\text{argmax}_\mathbb B(\pi_1 \circ -)$ and $\text{argmax}_\mathbb B (\pi_2 \circ -)$ which respectively value the first and second coordinate of the payoff. Their nash sum is the optimiser in $\mathcal J^\mathcal P(\mathbb B ^2, \mathbb R^2)$ which calculates the classical nash equilibria of 2-by-2 payoff matrices $u : \mathbb B ^2\to \mathbb R^2$. In particular, when $u: \mathbb B^2 \to \mathbb R^2$ is the payoff matrix defined below, then $(\text{argmax}_\mathbb B(\pi_1 \circ -) \oplus \text{argmax}_\mathbb B(\pi_2 \circ -) )(u) = \{(D, D)\}$. However, both players prefer the payoff $u(C,C)=(2,2)$ to $u(D,D)=(1,1)$.

| $u$ | $C$ | $D$ |
| --- | --- | --- |
| $C$ | $(2,2)$ | $(0,3)$ |
| $D$ | $(3,0)$ | $(1,1)$ |

* * *

Consequentialism is not nash-sum closed.
========================================

In fact, the nash sum of two utility-maximisers isn't even consequentialist![^filihul16u]

Suppose Angelica is babysitting her cousin Tommy, and each child has been given a cookie by their grandmother. If Angelica is awake while Tommy sleeps, then she can steal both cookies for herself. If Angelica sleeps while Tommy is awake then he'll cause mayhem getting both children in trouble. If Angelica and Tommy both stay sleep, or if they both wake up, then they'll each keep one cookie.

The payoffs $u : \{W_A, S_A\} \times \{W_T, S_T\}  \to \mathbb R\times \mathbb R$ are summarised in the matrix below.

| $u$ | $W_T$ | $S_T$ |
| --- | --- | --- |
| $W_A$ | $(1,1)$ | $(2,0)$ |
| $S_A$ | $(-10,-10)$ | $(1,1)$ |

When Angelica and Tommy are both awake, this is nash — she doesn't want to sleep because then he'll cause mayhem, and he doesn't want to sleep because then she'll steal his cookie. In contrast, when they're both sleeping, this *isn't* nash — she can wake up and steal his cookie. But the same outcome will result whether Angelica and Tommy are both sleeping or both awake. So the nash sum of Angelica and Tommy isn't a consequentialist optimiser![^uyxjcvtivz] 

This shows why we *couldn't* have defined optimisers as functions with type-signature $(X \to R) \to \mathcal P(R)$, which bakes-in the assumption that all optimisers are consequentialist. In order to ensure the nash-sum closure of optimisers, we needed to include nonconsequentialist optimisers.[^d4aurm0oen]

* * *

Beyond CDT?
===========

***Warning:** This section is a speculative extension of the existing literature, it's merely a proof-of-concept of how higher-order game theory would extend to non-CDT agents.*

Let $u : \{C,D\}\times \{C, D\} \to \mathbb R \times \mathbb R$ be the game defined by the payoff matrix below. We may readily check that $(\text{argmax}_{\{C,D\}}\oplus \text{argmax}_{\{C,D\}})(u) = \{(1,1)\}$, which corresponds to the well-known result that two utility-maximisers will defect in the [prisoners' dilemma](https://plato.stanford.edu/entries/prisoner-dilemma/).

| $u$ | $C$ | $D$ |
| --- | --- | --- |
| $C$ | $(2,2)$ | $(0,3)$ |
| $D$ | $(3,0)$ | $(1,1)$ |

Now, some decision theorists think that it's not generally true that two rational utility-maximisers will defect in the prisoners' dilemma — e.g. if they're both perfect replicas of one another then [they'll both cooperate](https://plato.stanford.edu/entries/prisoner-dilemma/#PDReplCausDeciTheo)! The reasoning is this — cooperation from the first prisoner would count as evidence (to the first player) of high utility, and defection from the first prisoner would count as evidence of low utility. This corresponds to the observation that $\pi_1\circ u(C,C) >\pi_1 \circ u(D,D)$. So the first player should cooperate. Ditto the second player.

So what went wrong?

It all comes down to an ambiguity with the task $u: X \to R$. What relationship is the task $u$ supposed to capture exactly? The formalism itself is agnostic.

*   According to **causal decision theory,** the task $u : X \to R$ is supposed to track which payoff $u(x) \in R$ is *caused* by the agent choosing $x \in X$.
*   According to **evidential decision theory**, the task $u : X \to R$ is supposed to track which payoff $u(x) \in R$ is *evidenced* by the agent choosing $x \in X$.

So let's explain our answer $(\text{argmax}_{\{C,D\}}\oplus \text{argmax}_{\{C,D\}})(u) = \{(1,1)\}$, which agrees with CDT. We can trace the problem to the deviation maps $\mathcal U_i : X \to (X_i \to X)$ in the definition of $\oplus$.

> The$i$**-th deviation map** $\mathcal U_i : X\to (X_i \to X)$ is given by $\mathcal U_i(\mathbf x)(\alpha)_j = \begin{cases}\alpha &\text{if $i =j$}\\\mathbf x_j &\text{otherwise}\end{cases}$ for all $\mathbf x \in X$, $i \in I$, $\alpha \in X_i$, and $j \in I$.

The map $\mathcal U_i(\mathbf x)$ is the *causal* dependence of the overall option-profile $$on the $i$th player's choice. Hence, when the game $u : X \to R$ is the causal dependence of the overall payoff on the option-profile, it follows that the task $u \circ \mathcal U_i(\mathbf x): X_i \to R$ is the causal dependence of the payoff on the $i$th player's choice. This is why we got the CDT answer — causation composed with causation is causation.

According to EDT, however, the task is supposed to capture the *evidential* dependency of the player's choice on the payoff. And when the game $u : X \to R$ is the evidential dependence of the overall payoff on the option-profile, it isn't true that that the task $u \circ \mathcal U_i(\mathbf x): X_i \to R$ is the evidential dependence of the payoff on the $i$-th player's choice. Evidence composed with causation isn't evidence.

To achieve the EDT answer, we need is a function $\mathcal U_i^E (\mathbf x) : X_i \to X$ which captures the evidential dependence of the option-profile on the $$$i$th player's choice. In the case that all the players are replicas, $\mathcal U_i ^{E}(\mathbf x) : X_i \to X, \alpha \mapsto (\alpha, \ldots, \alpha)$. Replacing $\mathcal U_i: X \to (X_i \to X)$ in the definition of $\bigoplus$ with $\mathcal U_i ^E: X \to (X_i \to X)$ then we'd get a different binary operator $\bigoplus^E$ which yields the EDT prediction, namely that $(\text{argmax}_A \oplus^{E} \text{argmax}_B) (u) = \{(C,C)\}$.

It seems that we have another free parameter in our model! We can the replace the family of deviation maps $\mathcal U_i : X \to (X_i \to X)$ with an arbitrary family of **non-casual deviation maps **$\mathcal D_i : X \to (X_i \to X)$, and thereby encode information about each player's idiosyncratic decision theory. If the $i$th player is CDT then $\mathcal D_i = \mathcal U_i$ and if the $i$th player is EDT then $\mathcal D_i = \mathcal U^E_i$. 

Suppose we have a payoff space $R$, a family of sets $\{X_i \}_{i \in I}$ with $X = \prod_{i \in I}X_i$, a family of optimisers $\{\psi_i\}_{ i \in I}$ where $\psi_i \in \mathcal J^\mathcal P(X_i, R)$, and a family of decision theories $\{\mathcal D_i \}_{i \in I}$ where $\mathcal D_i : X \to (X_i \to X)$, and a game is a map $g: X \to R$. Then we can define the non-CDT best-response function of $g$ to be the function $\mathcal B: X \to \mathcal P(X), \mathbf x \mapsto \prod\limits_{i =1}^n\psi_i\left(u \circ \mathcal D_i(\mathbf x)\right)$, and the non-CDT nash equilibria of $g$ to be the set $\{ \mathbf x \in X: \mathbf x \in \mathcal B(\mathbf x)\}$. Or something like that.$$

With this machinery in place, we can answer even sillier questions —

> *An EDT utility-satisficer and a CDT utility-maximiser are playing the game* $u : X\times X \to \mathbb R \times \mathbb R$*. They are causally separated, but they are negligibly likely to choose different options. What options might they choose?*[^ccupwq0lrr]
> 
> *Well, a pair of options* $(a,b) \in X \times X$* is in (non-CDT) nash equilibrium if and only if *$\pi_1 \circ u(s,s) \leq \pi_1 \circ u(a,a)$* and *$\forall b' \in B. \pi_2 \circ u(a,b') \leq \pi_2\circ u(a,b)$*, where *$s \in X$* is the satisficer's anchor point. We can also filter out the option profiles such that *$a \neq b$. *The resulting list of option-profiles is easily computable from *$u : X \times X \to \mathbb R \times \mathbb R$ and $s \in S$.
> 
> *Suppose that *$u : \{C, D\} \times \{C, D\}\to \mathbb R \times \mathbb R$* is the prisoner's dilemma, and *$s = C$* is the satisificer's anchor point. Then the unique nash equilibrium is *$(C,D)$*.*
> 
> | $u$ | $C$ | $D$ |
> | --- | --- | --- |
> | $C$ | $(2,2)$ | $(0,3)$ |
> | $D$ | $(3,0)$ | $(1,1)$ |
> 
> ***Exercise 7:** If Angelica is an EDT utility-maximiser and Tommy is a CDT utility-maximiser, then which profiles are nash?*

* * *

Recap
=====

*   Classical game theory is the study agents which choose options causing maximum utility. When many such agents (CDT-utility-maximisers) make simultaneous choices they'll collectively choose an option-profile in nash equilibrium, i.e. $\mathbf x \in \mathcal {B}(\mathbf x)$ where $$$\mathcal B: X \to \mathcal P(X), \mathbf x \mapsto \prod\limits_{i =1}^n\text{argmax}_{X_i}\left(\pi_i \circ u \circ \mathcal U_i(\mathbf x)\right)$ is the best-response function.
*   Many AI safety researchers are worried about agents which choose options causing maximum utility, either because the word "cause" or "maximum" or "utility", so they study agents which relax one (or many) of these three assumptions.
*   Today we introduced high-order game theory which generalises classical game theory by considering agents which don't maximise utility. We generalised the classical nash equilibrium to arbitrarily many agents with arbitrary optimisers.
*   Finally, I gestured at how we might generalise the nash equilibrium even further to the simultaneous choices of non-CDT agents.

Pretty cool!

* * *

Next time...
============

By tomorrow, I will hopefully have posted about mesa-optimisation, sequential choice, and non-possibilistic models of agents.

* * *

[^e0ngjjwe84r]: They study of \(0\)-player games is called automata theory (in the discrete case) and dynamics (in the continuous case), while the study of \(1\)-player games is called optimisation. 

[^865s296gb7m]: Recall that \(\mathcal J^\mathcal P(X, R)\) denotes the set of functions of type \((X \to R) \to \mathcal P(X)\).That is, if \(u : X \to R\) and \(\psi \in \mathcal J^\mathcal P(X,R)\), then \(\psi(u) \subseteq X\). 

[^to52xlmsdfm]: See Aumann's 1964 paper Markets with a Continuum of Trader for a game with uncountable players. 

[^pag4h2nojxm]: Recall that \(\text{argmax-$\epsilon$-slack} \in \mathcal J^\mathcal P(X, \mathbb R)\) is the optimiser which maximises the function \(u\) up to some fixed slack \(\epsilon >0\).That is, \(x \in \text{argmax-$\epsilon$-slack}(u) \iff \forall x' \in X. u(x')\leq u(x) +\epsilon\). 

[^b4b93x55gii]: Recall that an optimiser \(\psi \in \mathcal J^\mathcal P(X, R)\) is total if \(\psi(u) \neq \emptyset\) for all \(u : X\to R\). 

[^35nvj2cr475]: \(\delta_{xy} = \begin{cases}1& \text{ if $x=y$}\\0&\text{otherwise}\end{cases}\) is the Kronecker delta function. 

[^filihul16u]: Recall that an optimiser \(\psi \in \mathcal{J}^\mathcal{P}(X, R)\) is consequentialist if \(\psi = \lambda^{u: X \to R}.\{x \in X | u(x) \in q(u)\}\) for some \(q : (X \to R) \to \mathcal{P}(R)\).In other words, for any task \(u : X\to R\), if \(u(x) = u(x')\) then \(x \in  \psi(u) \iff x' \in \psi(u)\).This condition says that, once we know the agent's task, then the optimality of a particular choice is determined by its payoff. 

[^uyxjcvtivz]: Maybe there's something deep here about group-level deontology arising from individual-level consequentialism. 

[^d4aurm0oen]: Warning: There is a remark that one regularly encounters in metaethics: moral consequentialism is tautological because we can consider the choice of the decision-maker as a consequence of the decision itself, ensuring that any decision-rule is consequentialist.This metaethical remark corresponds to the following fact in higher-order decision theory: if a nonconsequentialist optimiser \(\psi \in \mathcal J^\mathcal P(X, R)\) faces the task \(u : X\to R\) then they will choose the same options as the consequentialist optimiser \(\psi(\pi_R \circ -) \in \mathcal J^\mathcal P(X, X \times R)\) facing the task \(u': X \to X\times R, x \mapsto (x, u(x))\). It follows that whether an agent is a consequentialist heavily depends on which physical consequences of the decision we are tracking. 

[^ccupwq0lrr]: Recall that a satisficer might choose any option \(x\in X\) which dominates some fixed option \(s \in X\), i.e. \(x \in \text{satisfice}_s(u) \iff u(s) \leq u(x)\). The option \(s\) is called the anchor point.