Galit Ashkenazi-Golan

Ilia Krasikov
email: krasikovis.main@gmail.com.

Catherine Rainer
email: catherine.rainer@univ-brest.fr.

Eilon Solan
email: eilons@post.tau.ac.il.

Absorption Paths and Equilibria in Quitting Games *

Keywords: Stochastic games, quitting games, linear complementarity problems, Qmatrices, continuous equilibria. MSC2020: 91A06, 91A10, 91A15, 91A20

We study quitting games and define the concept of absorption paths, which is an alternative definition to strategy profiles that accommodates both discretetime aspects and continuous-time aspects, and is parametrized by the total probability of absorption in past play rather than by time. We then define the concept of sequentially 0-perfect absorption paths, which are shown to be limits of ε-equilibrium strategy profiles as ε goes to 0. We establish that any quitting game that does not have simple equilibria (that is, an equilibrium where the game terminates in the first period or one where the game never terminates) has a sequentially 0-perfect absorption path. We finally identify a class of quitting games that possess sequentially 0-perfect absorption paths.

Introduction

Stochastic games were introduced by Shapley (1953) as a dynamic model, where the players' behavior affects the evolution of the state variable. Whether every multiplayer stochastic game admits an ε-equilibrium is one of the most difficult open problems in game theory to date. [START_REF] Mertens | Stochastic Games[END_REF] proved that the value exists in two-player zero-sum games, Vieille (2000aVieille ( , 2000b) ) proved that an ε-equilibrium exists in two-player nonzero-sum games, [START_REF] Solan | Three-Player Absorbing Games[END_REF] extended this result to threeplayer absorbing games, and Flesch, Schoenmakers, and Vrieze (2008,2009) proved the existence of an ε-equilibrium when each player controls one component of the state variable. [START_REF] Solan | Quitting Games[END_REF] introduced a new class of stochastic games, called quitting games, where each player has two actions, continue and quit, the game terminates once at least one player chooses to quit, and the terminal payoff depends on the set of players who choose to quit at the termination stage. [START_REF] Solan | Quitting Games[END_REF] proved that if the payoff function satisfies a certain condition, then an ε-equilibrium exists. [START_REF] Simon | The Structure of Non-Zero-Sum Stochastic Games[END_REF][START_REF] Simon | A Topological Approach to Quitting Games[END_REF] and Solan and Solan (2020) extended this result to other families of payoff functions. Though the class of quitting games is simple -if the game has not terminated by a given stage, then necessarily all players continued so far -the analysis of these games is intricate, the mathematical tools used to study them are diverse, and include dynamical systems, topological tools, and linear complementarity problems, and the equilibria these games possess may be complex (see, Flesch, Thuijsman, and Vrieze (1997), [START_REF] Solan | The Dynamics of the Nash Correspondence and n-Player Stochastic Games[END_REF], and [START_REF] Solan | Quitting Games -an Example[END_REF]).

The main difficulty in studying ε-equilibria in stochastic games is that the undiscounted payoff is not continuous over the space of strategies, hence one cannot apply a fixed point theorem to prove the existence of an ε-equilibrium. In this paper we provide a new representation for strategy profiles in quitting games, termed absorption paths (AP for short). This representation allows for both discrete-time aspects and continuous-time aspects in the players' behavior. Moreover, the undiscounted payoff is continuous over the space of absorption paths. In fact, the space of absorption paths is a compactification of the space of absorbing strategy profiles, when such profiles are properly represented.

The representation of strategy profiles via AP's involves parametrizing time according to the accumulated probability of absorption. Using a parametrization of time to facilitate analysis of continuous-time models as the limit of discrete-time models was done, e.g., by [START_REF] Vieille | Weak Approachability[END_REF] for studying weak approachability in repeated games with vector payoffs and by [START_REF] Sorin | Limit Optimal Trajectories in Zero-Sum Stochastic Games[END_REF] for studying ε-optimal trajectories in discounted zero-sum stochastic games.

We define the concept of sequentially 0-perfect AP, denoted 0-AP, which is the analogue of equilibrium in standard strategy profiles. We then show that when no simple ε-equilibrium exists, limits of ε-equilibria in standard strategy profiles are 0-AP's, and that every 0-AP induces an ε-equilibrium in standard strategy profiles, for every ε > 0. In particular, a quitting game admits an ε-equilibrium for every ε > 0 if and only if it admits a 0-AP.

This relation between ε-equilibrium in standard strategy profiles and 0-AP's is useful because an important research agenda is understanding ε-equilibrium in quitting games, and 0-AP's are much simpler to study than ε-equilibria: the sets of AP's and 0-AP's are compact in the weak topology, the payoff function is continuous over the set of AP's, and 0-AP's do not allow for profitable deviations. These properties should be contrasted with the analogous properties for strategies and ε-equilibria: the set of strategies is compact in the product topology, but in this topology the set of ε-equilibria is not compact and the payoff function is not continuous. Moreover, ε-equilibria allow for deviations where profit is low.

Finally, using Viability Theory we identify one class of quitting games where 0-AP's exist, thereby proving that this class admits an ε-equilibrium for every ε > 0.

The paper is organized as follows. The model of quitting games is presented in Section 2, and the equilibrium concept that we study is presented in Section 3. AP's are presented in Section 4, and their application to prove existence of ε-equilibrium in a certain class of quitting games is described in Section 5. Concluding remarks appear in Section 6.

2 The Model Definition 2.1 A quitting game is a pair Γ = (I, r), where I is a finite set of players and r : i∈I {C i , Q i } → R I is a payoff function. Player i's action set is A i := {C i , Q i }. These actions are interpreted as continue and quit, respectively. Denote by A := i∈I A i the set of action profiles. The game is played as follows. At every stage n ∈ N each player i ∈ I chooses an action a i n ∈ A i . If all players continue, the play continues to the next stage; if at least one player quits, the play terminates, and the terminal payoff is r(a n ), where a n = (a i n ) i∈I . If no player ever quits, the payoff is r( ⃗ C), where ⃗ C := (C i ) i∈I . We denote by A * := A \ { ⃗ C} the set of all action profiles in which at least one player quits, by A * 1 := {(Q i , C -i ), i ∈ N } the set of all action profiles in which exactly one player quits, where C -i := (C j ) j̸ =i , and by A * ≥2 := A * \ A 1 the set of all action profiles in which at least two players quit.

A mixed action profile is a vector ξ = (ξ i ) i∈I ∈ [0, 1] I , with the interpretation that ξ i is the probability with which player i quits. The probability of absorption under the mixed action profile ξ is p(ξ) := 1 -i∈I (1 -ξ i ). Extend the absorbing payoff to mixed action profiles that are absorbing with positive probability: for every ξ ∈ [0, 1] I such that ξ ̸ = ⃗ 0, define r(ξ) := a∈A * ξ(a)r(a) p(ξ)

, where

ξ(a) := {i : a i =Q i } ξ i • {i : a i =C i } (1 -ξ i ) , ∀a ∈ A. (1)
A (behavior) strategy of player i is a function

x i = (x i n ) n∈N : N → [0, 1]
, with the interpretation that x i n is the probability that player i quits at stage n if the game did not terminate before that stage. A strategy profile is a vector x = (x i ) i∈I of strategies, one for each player. A strategy profile x is stationary if x n = x n+1 for all n ∈ N; that is, if the players play the same mixed actions repeatedly as long as the game has not terminated.

Denote by θ := min{n ∈ N : a n ∈ A * } the stage of termination; θ = ∞ if all players continue throughout the game. For every strategy profile x, the probability distribution of the random variable (θ, a θ ) is denoted P x . Denote by E x the corresponding expectation operator. A strategy profile x is

absorbing if P x (θ < ∞) = 1.
The payoff under strategy profile x is

γ(x) := E x 1 {θ<∞} r(a θ ) + 1 {θ=∞} r( ⃗ C) .
Let ε ≥ 0. A strategy profile x * is an ε-equilibrium if γ i (x * ) ≥ γ i (x i , x * ,-i ) -ε for every player i ∈ I and every strategy x i of player i.

It is easy to check that every two-player quitting game admits an ε-equilibrium, for every ε > 0. Solan (1999) extended this result to three-player quitting games, see also [START_REF] Flesch | Cyclic Markov Equilibria in Stochastic Games[END_REF]. Whether every quitting game admits an ε-equilibrium for every ε > 0 is an open problem.

3 Sequential ε-Perfectness

ε-Perfectness in Strategic-Form Games

Let G = (I, (A i ) i∈I , r) be a strategic-form game with set of players I, set of actions A i for each player i ∈ I, and payoff function r : A → R I , where A = i∈I A i .

In an ε-equilibrium, no player can profit more than ε by deviating. This does not rule out the possibility that a player plays with small probability an action that generates her a low payoff. This deficiency is taken care of by the following concept, borrowed from [START_REF] Solan | Quitting Games[END_REF], which requires that a player does not play with positive probability actions that generates her a low payoff. Definition 3.1 Let G = (I, (A i ) i∈I , r) be a strategic-form game, let i ∈ I, and let ξ ∈ i∈I ∆(A i ) be a mixed action profile. Player i is ε-perfect at ξ in G if the following conditions hold for every action a i ∈ A i :

r i (a i , ξ -i ) ≤ r i (ξ) + ε, (2) ξ i (a i ) > 0 =⇒ r i (a i , ξ -i ) ≥ r i (ξ) -ε. (3)
Eq. ( 2) means that player i cannot gain more than ε by unilaterally altering her action; Eq. ( 3) requires that player i cannot lose more than ε, no matter which one of the actions to which she assigns positive probability is played. Player i is 0-perfect if ξ i is a best response to ξ -i .

Standard continuity arguments yield that if player i is ε k -perfect at a mixed action profile ξ k in the game G k = (I, (A i ) i∈I , r k ), if (ξ k ) k∈N converges to a limit ξ, if (ε k ) k∈N converges to 0, and if r is a payoff function that satisfies r i = lim k→∞ r i k , then player i is 0-perfect at ξ in G = (I, (A i ) i∈I , r).

Sequentially ε-Perfect Players in Quitting Games

In this section we extend the concept of ε-perfect players to quitting games. Consider a quitting game Γ = (I, r). For every vector y ∈ R I let G Γ (y) be the one shot game with set of players I, set of actions A i = {Q i , C i } for each player i ∈ I, and payoff function r Γ defined by

r Γ (y; a) := r(a) a ̸ = ⃗ C, y a = ⃗ C.
The game G Γ (y) represents one stage of the game Γ, when the continuation payoff is y. A strategy profile in G Γ (y) is a vector ξ ∈ [0, 1] I , with the interpretation that ξ i is the probability that player i chooses the action Q i , for each i ∈ I.

We now define the concept of sequential ε-perfectness in quitting games. For every n ∈ N denote by γ n (x) the expected payoff under x, conditional that the game did not terminate in the first n -1 stages.

1 γ n (x) := E x [1 {θ<∞} r(a θ ) + 1 {θ=∞} r( ⃗ C) | θ ≥ n].
Definition 3.2 Let Γ be a quitting game and let i ∈ I be a player. Player i is sequentially ε-perfect at the strategy profile x in Γ if for every n ∈ N, player i is ε-perfect at the mixed action profile x n in the strategic-form game G Γ (γ n+1 (x)).

Player i is sequentially 0-perfect at the strategy profile x in Γ if x i is a best response to x -i in every sub-game.

Remark 3.3 In the strategic-form game G Γ (γ n+1 (x)), when the other players play x -i n , the payoff of player i when she plays

x i n (resp. Q i , C i ) is γ i n (x) (resp. r i (Q i , x -i ), (1 -p(C i , x -i n ))γ n+1 (x) + p(C i , x -i n )r i (C i , x -i n )). Therefore, if player i is ε-perfect at x n in G Γ (γ n+1 (x)), then in particular r i (Q i , x -i n ) ≤ γ i n (x) + ε, and, if x i n (Q i ) > 0 then r i (Q i , x -i n ) ≥ γ i n (x) -ε.
The following two results relate ε-equilibria to sequential ε-perfectness in quitting games.

Theorem 3.4 [START_REF] Simon | The Structure of Non-Zero-Sum Stochastic Games[END_REF], Theorem 3 + Solan and Vieille, 2001, Proposition 2.13) A quitting game Γ admits an ε-equilibrium for every ε > 0, if and only if at least one of the following statements holds.

(S.1) For every ε > 0 sufficiently small the game admits a stationary ε-equilibrium.

(S.2) For every ε > 0 sufficiently small the game admits an ε-equilibrium x that has the following structure: there is a player i ∈ I who quits with probability 1 at the first stage; from the second stage and on, all players punish player i with a payoff ε-close to her min-max level. 2(S.3) For every ε > 0 sufficiently small there is an absorbing strategy profile x such that all players i ∈ I are sequentially ε-perfect at x. Theorem 3.5 (Solan and Vieille, 2001, Propositions 2.4 and 2.13) Let ε > 0 be sufficiently small. Every absorbing strategy profile x at which all players are sequentially ε-perfect is an ε1/6 -equilibrium.

An Alternative Representation of Strategy Profiles

A strategy profile x = (x n ) n∈N is parameterized by time: x i n is the probability that player i quits at stage n if the game did not terminate before that stage. As is well known, the space of strategies is compact in the product topology. There are two issues with this topology:

The payoff is not continuous in this topology. Indeed, if for every k ∈ N, x(k) is the stationary strategy profile in which in every stage each player quits with probability 1 k , then the sequence (x(k)) k∈N converges to the strategy profile x under which all players always continue. While under the strategy profile x(k) absorption occurs with probability 1 and lim k→∞ γ(x(k)) = 1 |I| i∈I r(Q i , C -i ), under the strategy profile x the game is never absorbed and γ(x) = r( ⃗ C).

It may not be possible to generate the limit behavior of a sequence of strategy profiles by a strategy profile. For example, when (x(k)) k∈N are the strategy profiles that are defined in the first bullet, we have

lim k→∞ P x(k) [a θ = (Q i , C -i ) | θ = n] = 1
|I| for every n ∈ N and i ∈ I, yet there is no strategy profile x that satisfies

P x [a θ = (Q i , C -i ) | θ = n] = 1
|I| for every n ∈ N. Indeed, under such a strategy profile x = (x i ) i∈I , for every n ∈ N we have x i n > 0 for each i ∈ I, and

then i∈I P x [a θ = (Q i , C -i ) | θ = n] < 1 as soon as |I| > 1.
In this section we will provide an alternative representation of strategy profiles, that takes care of these two issues by allowing both discrete-time behavior and continuous-time behavior. The representation will be based on a change of parametrization: instead of parameterizing the strategy profile according to time n, we will parameterize it according to the probability of termination t. The parameter t will run from 0 to 1, representing the total probability of absorption. In addition, for each t ∈ [0, 1] and action profile a ∈ A * we will indicate the probability by which the game is absorbed by the action profile a up to that moment in which the total probability of absorption is t.

A Motivating Example

The following example motivates the representation of strategy profiles by parametrizing time differently. For every η ≥ 0, consider the three-player quitting game Γ η displayed in Figure 1. The game Γ 0 was studied in Flesch, Thuijsman, and Vrieze (1997), who characterized the set of its 0-equilibria. They showed that the following periodic strategy profile x * with period 3 is an equilibrium, and that all players are 0-perfect at x * : at stage 1 (resp. 2, 3) Player 1 (resp. 2, 3) quits with probability 1 2 , while the other two players continue. [START_REF] Solan | The Dynamics of the Nash Correspondence and n-Player Stochastic Games[END_REF] studied the game Γ η for η small, and showed that this game admits no 0-equilibrium. For example, the strategy profile x * described in the previous paragraph is not a 0-equilibrium when η > 0, because Player 3 is better off quitting in stage 1 and obtaining 1 2 • 0 + 1 2 • η = η 2 , while her payoff under x * is 0. Solan (1999) implies that every three-player quitting game, and in particular the games Γ η for η > 0, admit an ε-equilibrium for every ε > 0. In fact, the following strategy profile x m , which depends on a positive integer m and is periodic with period 3m, is an ε-equilibrium of Γ η , provided m is sufficiently large: at stages 1, 2, . . . , m (resp. m + 1, m + 2, . . . , 2m, resp. 2m + 1, 2m + 2, . . . , 3m) Player 1 (resp. 2, 3) quits with probability ρ, where (1 -ρ) m = 1 2 , while the other two players continue. The limit of the sequence (x m ) m∈N as m goes to infinity is the strategy profile under which all players continue in all stages, which is not an ε-equilibrium of Γ η , provided ε < 1. Another natural limit of the sequence (x m ) m∈N is a strategy profile in continuous time: First Player 1 quits in continuous time, until the total probability that she quits is 1 2 , then it's the turn of Player 2 to quit continuously until she has quitted with probability 1 2 , then Player 3 does the same, and, if the play has not terminated (which happens with probability 1 8 ), the players repeat this behavior. This example motivates a definition of strategy profiles that include both discretetime aspects and continuous-time aspects, which we provide in the next section.

Q 1 C 1 C 2 Q 2 C 2 Q 2 C 3 Q 3 0, 2, -1 -1, -1, -1 η, -1, 0 -1, 0, 2 -1, 0, η 2, -1, 0 -1, -1, -1 0, η, -1

Absorption Paths -Definition

For clarity of exposition, before providing a general definition of our new concept, absorption paths, we define absorption paths that originate from absorbing strategy profiles.

Definition 4.1 For every absorbing strategy profile x and every n ∈ N denote t n := P x (θ < n). The absorption path (AP for short) defined by x is the function π

x : [0, 1] × A * → [0, 1] given by π x t (a) := P x (θ ≤ n, a θ = a)
for every a ∈ A * , n ∈ N, and t ∈ [t n , t n+1 ), and is continuous from the left at t = 1.

Remark 4.2

1. While a strategy profile is a vector of strategies, each describing the behavior of an individual player, an AP highlights information about the absorbing entries that are played along the game. For example, it clearly indicates through which action profiles the play is more probable to be absorbed early in the game, and which later on. In particular, AP's cannot be defined for each player separately, but only for strategy profiles.

2. The function x → π x that is defined in Definition 4.1 is not one-to-one. Indeed, fix an absorbing strategy profile x and let x ′ be the strategy profile in which all players continue in the first stage, and from the second stage on they follow x :

x ′i n = C i , if n = 1, x i n-1 , if n > 1.
Then π x ′ = π x . In fact, given an absorbing strategy profile x, the addition or elimination of stages in which all players continue is the only way to create an absorbing strategy profile x ′ such that π x = π x ′ .

3. For simplicity we defined AP's for absorbing strategy profiles. The definition can be adapted to strategy profiles x for which ). Indeed, in this case, π can be defined on [0, t ∞ ) × A * , and later, when we define the payoff function associated to an absorption path, this function will take into account that, after t ∞ , the player get r( ⃗ C).

P x (θ < ∞) := t ∞ ∈ [0, 1
For each strategy profile x, the AP π x is càdlàg. For all càdlàg maps π :

[0, 1] × A * → [0, 1] and every a ∈ A * , set π 0-(a) := 0 and π t-(a) := lim s↗t π s (a) for t ∈ (0, 1]. Set also π t := a∈A * π t (a), ∆π t := π t -π t-and ∆ π t := π t -π t-for every t ∈ [0, 1].
The AP defined by x satisfies the following properties. (1) For t ∈ [t n , t n+1 ), π x t is the probability that the game is absorbed before or at period n, that is,

π x t = P x (θ ≤ n) = t n+1
, and so π x t ≥ t for all t ∈ [0, 1). ( 2) It follows that, on the interval (t n , t n+1 ), π x t is constant and equals P x (θ ≤ n).

(3) The ratio ∆π x tn 1-tn equals the probability that the game terminates at period n by action profile a, and is therefore equal to x n (a).

As we have seen in Section 4.1, the set of AP's defined by absorbing strategy profiles is not closed in the weak topology of càdlàg paths. The new concept of the paper, absorption paths, are the elements in the closure of this set of AP's.

Let F be the set of càdlàg paths π = (π t (a), a ∈ A * ) t∈[0,1] with values in [0, 1] A * , such that, for all a ∈ A * , t → π t (a) is nondecreasing. We endow F with the weak topology:

a sequence (π k ) k∈N converges to π if [0,1] f (t)dπ k t (a) → [0,1] f (t)dπ t (a)
, for every continuous map f : [0, 1] → R and every a ∈ A * . In such a case we write π k ⇒ π. Recall that π k ⇒ π if and only if π k t → π t for every t ∈ [0, 1] at which π is continuous. The set F is sequentially compact in the weak topology.

For each π ∈ F define

T (π) := {t ∈ [0, 1], π t = t}, S(π) := {t ∈ [0, 1], ∆π t ̸ = 0}.
S(π) is the set of jumps of π, that is, the play is in discrete time, and as we will see, T (π) is the set of t's in which the play is in continuous time.

Finally we introduce the right-hand side derivative of t → π t : for every t ∈ [0, 1) set πt := lim inf s↘t πs-πt s-t . By Lebesgue's Theorem for the differentiability of monotone functions, for every π ∈ F the liminf is in fact a limit almost everywhere in [0, 1).

Definition 4.3 An element π of F is an absorption path (AP) if (A.1) for every t ∈ [0, 1], we have π t ≥ t, (A.2) on each connected component (t 1 , t 2 ) of [0, 1] \ (S(π) ∪ T (π)), π is constant and equals t 2 , (A.3) for every t ∈ S(π), there exists ξ t = (ξ i t ) i∈N ∈ [0, 1] I such that ∆π t (a) 1 -t = ξ t (a), ∀a ∈ A * . ( 4
) (A.4) For every t ∈ T (π) \ {1} we have πt (a) = 0 for every a ∈ A * ≥2 .
The set of absorption paths is denoted by A.

Remarks 4.4 Let π ∈ A be an AP.

1. For every t ∈ S(π) ∪ T (π), the quantity π t (a) should be thought of as the unconditional probability that the play is absorbed by the action profile a, until the moment in which the total probability of absorption is t.

2. Elements t ∈ S(π) correspond to play in discrete time, and for such t, ξ t is the mixed action profile the players play at t, and t is the total probability of absorption up to t. This explains (A.3).

3. Elements t ∈ T (π) \ {1} correspond to play in continuous time. In intervals (t 1 , t 2 ) ∈ T (π), the time at which a player quits is a continuous random variable. Therefore, players cannot quit simultaneously with a positive probability. This explains (A.4).

4. If (t, t ′ ) is a connected component of [0, 1] \ (S(π) ∪ T (π)), then t ∈ S(π) and t ′ = t + (1 -t)p(ξ t )
, where ξ t is defined in Eq. ( 4). This interval corresponds to the increase in probability due to play in discrete time.

Since, for all

a ∈ A * , s → π s (a) is nondecreasing, π is continuous at t if and only if π is continuous at t, for every t ∈ [0, 1]. It follows from (A.2) that on each connected component of [0, 1] \ (S(π) ∪ T (π)
) the process π is constant.

6. Let t ∈ S(π). Since π is càdlàg and nondecreasing, we get from (A.1) that π t > t, and from (A.2) that π s = π t for every s ∈ [t, π t ). In particular π πt-= π t .

7. For every t ∈ [0, 1], both π t-and π t belong to T (π) ∪ S(π).

8. From (A.2) and Remark 4.4 [START_REF] Flesch | Stochastic Games on a Product State Space: the Periodic Case[END_REF], we deduce that [0, 1) is partitioned to a countable number of intervals U = [t 1 , t 2 ), with, either U ⊂ T (π), or t 1 ∈ S(π) and t 2 = π t 1 . On each of these intervals, π is continuous, with π t = t if t ∈ U ⊂ T (π), and π t = t 2 otherwise. 9. The function π is continuous at t = 1: indeed, since, for all t ∈ [0, 1], t ≤ π t ≤ 1, we have π 1 = lim t↗1 π t = 1.

10. For every a ∈ A * ≥2 , the function t → π t (a) is piecewise constant. 11. The reader may wonder why we defined π with liminf and not with limsup.

This choice is crucial to ensure that the set of AP's is sequentially compact. Indeed, we show in Proposition 4.11 below that, if some function π is the limit of a sequence of AP's, then lim inf s↗t πs(a)-πt(a) s-t = 0 for every t ∈ T (π) and a ∈ A * ≥2 . This result does not hold when changing liminf into limsup in the definition of π.

Example 4.5 Consider the limit behavior in continuous time that is described in Section 4.1: each one of the three player, one after the other, quits in continuous time, until the total probability that she quits is 1 2 , the players repeat this behavior. The AP that corresponds to this behavior is displayed in Figure 2. Player 1 quits first with total probability 1 2 , and therefore π(Q 1 , C 2 , C 3 ) increases linearly from 0 at t = 0 to 1 2 at t = 1 2 . Player 2 quits afterwards with total probability 1 2 , hence the probability that the play terminates until Player 2 is done with quitting is 3 4 . Therefore, π(C 1 , Q 2 , C 3 ) increases linearly from 0 at t = 1 2 to 1 4 at t = 3 4 . Since Player 3 quits after Player 2 with total probability 1 2 , the probability that the play terminates until Player 3 is done with quitting is 7 8 . It follows that, π(C 1 , C 2 , Q 3 ) increases linearly from 0 at t = 3 4 to 1 8 at t = 7 8 . Afterwards, Player 1 again quits in continuous time with total probability 1 2 , hence the probability that the play terminates when Player 1 is done with the next round of termination is 15 16 . As a result, π(Q 1 , C 2 , C 3 ) increases linearly from 1 2 at t = 7 8 to 9 16 at t = 15 16 , and so on. Example 4.6 Figure 3 displays a more generic AP π for the case |I| = 2. This AP corresponds to the following behavior: first the players play the mixed action profile ξ 0 = ( 1 3 , 1 4 ) (that is, Player 1 (resp. Player 2) quits with probability 1 3 (resp. 1 4 )), then they play the mixed action profile ξ 1/2 = ( 1 2 , 0), and then they quit in continuous time until the game terminates, with Player 1 quitting at a double rate than Player 2.

π(Q 1 , C 2 , C 3 ) π(C 1 , Q 2 , C 3 ) π(C 1 , C 2 , Q 3 )
Indeed, S(π) = {0, 1 2 } and T (π) = [ 3 4 , 1], hence the players play twice in discrete time (at t = 0, 1 2 ) and then in continuous time (at t ∈ [ 3 4 , 1]). To find ξ 0 = (ξ 1 0 , ξ 2 0 ), we recall that it is the unique mixed action profile that satisfies 3 12

= ∆π 0 (Q 1 , C 2 ) = ξ 1 0 (1 -ξ 2 0 ), 2 12 = ∆π 0 (C 1 , Q 2 ) = (1 -ξ 1 0 )ξ 2 0 , and 1 12 = ∆π 0 (Q 1 , Q 2 ) = ξ 1 0 ξ 2 0 , hence it is ξ 1 0 = 1 3 and ξ 2 0 = 1 4 .
Similarly, ξ 1/2 = (ξ 1 1/2 , ξ 2 1/2 ) is the unique mixed action profile that satisfies

1 2 = 3 12 / 1 2 = ∆π 1/2 (Q 1 , C 2 ) = ξ 1 1/2 (1 -ξ 2 1/2 ), 0 = ∆π 1/2 (C 1 , Q 2 ) = (1 -ξ 1 1/2 )ξ 2 1/2 , and 0 = ∆π 1/2 (Q 1 , Q 2 ) = ξ 1 1/2 ξ 2 1/2 , hence it is ξ 1 1/2 = 1 2 and ξ 2 1/2 = 0. In the interval [3/4, 1] the slope of π t (Q 1 , C 2 ) is twice the slope of π t (C 1 , Q 2 ),
reflecting the rates at which the players quit in the last phase of the game. 1 . Moreover, in those intervals i∈I πt (Q i , C -i ) = 1, and as seen in Example 4.6, πt (Q i , C -i ) is equal to the ratio between the rate at which player i quits at t and the sum of rates at which all players quit at t.

1 3 4 1 2 π t (Q 1 , C 2 ) π t (Q 1 , C 2 ) π t (C 1 , Q 2 ) π t (Q 1 , Q 2 ) t
The following result states that the set of all π x , where x ranges over all absorbing strategy profiles, is sequentially dense in the set of AP's. Thus, the set of AP's is a compactification of the set of absorbing strategy profiles. Proposition 4.8 For every AP π there is a sequence of absorbing strategy profiles (x k ) k∈N such that π x k ⇒ π.

To prove Proposition 4.8 we need the following technical lemma, which states that a correlated action profile that (a) absorbs with low probability and (b) provided absorption occurs, absorbs mainly by single quittings, can be well approximated by an (independent) mixed action profile. Lemma 4.9 Let ε ∈ (0, 1 2 ] be sufficiently small, and let y ∈ ∆(A) be a distribution that satisfies p(y) := 1 -y( ⃗ C) ≤ ε and y(a) ≤ εy(Q i , C -i ) for each i ∈ I and every a ∈ A * ≥2 such that a i = Q i . Then there exists a mixed action profile ξ ∈ [0, 1] I such that p(ξ) = p(y) and

|ξ(a) -y(a)| < 2 |I| • εp(y), ∀a ∈ A * , (5)
where ξ(a) is defined in Eq. (1).

Proof. If y i (Q i , C -i ) = 0 for some i ∈ I, then the assumptions imply that y(a) = 0 for every a such that a i = Q i . In such a case we set ξ i = 0, and then Eq. ( 5) holds for every a such that a i = Q i . We therefore assume from now on that

y i (Q i , C -i ) > 0 for each i ∈ I. Denote δ := min i∈I y i (Q i , C -i ) ∈ (0, ε].
To construct a mixed action profile ξ that satisfies the conditions we will construct a vector field φ over the set Ξ := [0, 1] I , prove that it has at least one zero, and prove that all its zeros satisfy the conditions in the lemma. It will be useful to require in addition that for every zero ξ of the vector field the ratio ξ(Q i ,C -i ) y(Q i ,C -i ) is the same for all i ∈ I.

Step 1: Definition of a vector field φ over Ξ.

For every ξ ∈ Ξ and every i ∈ I define

φ i 0 (ξ) := 2 δ p(y) -p(ξ) + 1 |I| j∈I ξ(Q j , C -j ) y(Q j , C -j ) - ξ(Q i , C -i ) y(Q i , C -i ) .
As we will see, at every zero ξ of the vector field that is yet to be defined, both summands in the definition of φ 0 will vanish, hence the properties we need will hold. The coefficient 2 δ of the first summand ensures that the contribution of the first term is larger than that of the second term, so that φ i 0 (ξ) < 0 whenever ξ i = 1. Define

φ i (ξ) := 1 {φ i 0 (ξ)≥0} • φ i 0 (ξ) + 1 {φ i 0 (ξ)<0} • ξ i • φ i 0 (ξ).
As we will see in Step 2, the multiplication by ξ i on {φ i 0 (ξ) < 0} ensures that φ i (ξ) ≥ 0 whenever ξ i = 0.

Step 2: The vector field has a zero in Ξ. By Brouwer's fixed point theorem, since Ξ is convex and compact, to prove that the vector field has a zero in Ξ it is sufficient to establish three properties: (a) φ is continuous, (b) φ i (ξ) ≤ 0 whenever ξ i = 1, and (c) φ i (ξ) ≥ 0 whenever ξ i = 0.

Property (a) follows from the definition of φ. We turn to prove Property (b). If ξ i = 1 then p(ξ) = 1. Since for every j ∈ I and every ξ ∈ Ξ we have ξ(Q j ,C -j ) y(Q j ,C -j ) ∈ [0, 1 δ ], and since ε < 1 2 , we have in this case

φ i 0 (ξ) ≤ 2 δ (ε -1) + 1 δ ≤ 0.
Property (c) holds since on {φ i 0 (ξ) < 0} ∩ {ξ i = 0} we have φ i (ξ) = 0.

Step 3: For every zero ξ of φ we have (i) p(y) = p(ξ) and (ii)

ξ(Q i ,C -i ) y(Q i ,C -i ) is the same for all i ∈ I.
Suppose that φ(ξ) = ⃗ 0. We will distinguish between three cases: p(y) = p(ξ), p(y) > p(ξ), or p(y) < p(ξ).

Suppose first that p(y) = p(ξ). It follows that ξ j > 0 for at least one j ∈ I. If ξ i = 0 for some i ∈ I, then φ i 0 (ξ) > 0 and hence φ i (ξ) > 0, a contradiction. Hence ξ i > 0 for every i ∈ I. But then the second summand in the definition of φ i 0 (ξ) is 0 for all i ∈ I, which implies that

ξ(Q i ,C -i ) y(Q i ,C -i
) is indepdnent of i. Suppose now that p(y) > p(ξ). Then the first summand in the definition of φ i 0 (ξ) is positive for all i ∈ I. This implies that the second summand must be negative for all i ∈ I. But the sum of the second summand over all i ∈ I is 0, a contradiction.

Last of all, suppose that p(y) < p(ξ). In particular, p(ξ) > 0, and hence there is

i ∈ I such that ξ i > 0. Let i ∈ I be an index such that ξ(Q i ,C -i ) y(Q i ,C -i
) is maximal (and in particular positive). For this i, the second summand in the definition of φ i 0 (ξ) is negative, but then φ i (ξ) < 0, a contradiction.

We note that since

ξ(Q i ,C -i ) y(Q i ,C -i ) is the same for all i ∈ I, so is the sign of ξ(Q i , C -i ) - y(Q i , C -i ).
Step 4: Every zero ξ of φ satisfies Eq. ( 5).

For each a ∈ A * ≥2 we have

ξ(a) = {i : a i =Q i } ξ i • {i : a i =C i } (1 -ξ i ) ≤ {i : a i =Q i } ξ i ≤ (p(ξ)) 2 ≤ εp(y),
where the penultimate inequality holds since #{i :

a i = Q i } ≥ 2.
For each such a we also have y(a) ≤ εy(Q i , C -i ) ≤ εp(y), where i is any index such that a i = Q i . Hence, Eq. ( 5) holds for a ∈ A * ≥2 . To show that Eq. ( 5) holds for a ∈ A * 1 , note that Since the sign of ξ(Q i , C -i ) -y(Q i , C -i ) is independent of i, this implies that Eq. ( 5) holds for every a ∈ A * 1 as well.

Proof of Proposition 4.8. The idea of the proof is to discretize [0, 1]; that is, for every k ∈ N, we define a countable set S k = (s k n ) n∈N ⊂ [0, 1] and a strategy profile x k in such a way that x k n approximates the behavior under π between the n'th and (n + 1)'st point of S k . The set S k contains (a) the points t in S(π) with high jumps: ∆ π t ≥ ). We turn to the formal construction. Fix an AP π ∈ A and k ≥ 2. Let

S k 0 := {t ∈ S(π) : π t -t ≥ 1-t k } = {t ∈ S(π) : p(ξ t ) ≥ 1 k }.
Define the set S k = (s k n ) n∈N ⊂ [0, 1] as follows:

s k 1 := 0.
For n ∈ N, define inductively

s k n+1 := sup (S(π) ∪ T (π)) ∩ [0, s k n + 1-s k n k ] ∪ { π s k n } . In words, if s k n ∈ S k 0 then s k n+1 = π s k n , and if s k n ̸ ∈ S k 0 , then s k n+1 is the maximal point in S(π) ∪ T (π) smaller than s k n + 1-s k n k . For every n ∈ N define a correlated action profile y k n ∈ ∆(A) by y k n (a) :=    π s k n+1 -(Q i ,C -i )-π s k n -(Q i ,C -i ) 1-s k n , a ∈ A * , 1 -a ′ ̸ = ⃗ C y(a ′ ) = 1-s k n+1 1-s k n , a = ⃗ C.
We argue that y(a) ≤ 1 k y(Q i , C -i ) for every i ∈ I and every a ∈ A * ≥2 such that a i = Q i . Indeed, this inequality holds since for every t ∈ [s k n , s k n+1 ), if t ∈ S(π) then ξ i t ≤ 1 k for each i ∈ I, while if t ∈ T (π) than πt (a) = 0 for each such action profile a. We can then apply Lemma 4.9 to y k n , and obtain a mixed action profile

ξ k n that satisfies (i) p( ξ k n ) = p(y k n ) = s k n+1 -s n k 1-s k n
and (ii) Eq. ( 5). Define a strategy profile x k as follows:

(D.1) If s k n ∈ S k 0 , set x k n := ξ s k n . (D.2) If s k n ̸ ∈ S k 0 , set x k n := ξ k n .
The convergence π x k ⇒ π will follow as soon as we show that

∥π x k s k n --π s k n -∥ ∞ ≤ s k n • 2 |I| /k, ∀k ∈ N, ∀n ∈ N. (6)
For every fixed k ∈ N we prove this inequality by induction over n. For n = 1 Eq. ( 6) trivially holds, because s k 1 = 0, hence both sides of Eq. ( 6) vanish. We shall suppose that the relation is true for some n ∈ N and prove that it holds for n + 1. (D.1) and (i) ensure that π

x k s k n+1 --π x k s k n -= π s k n+1 --π s k n -:
for every n ∈ N, the probability of absorption at stage n under the AP π x k , is the same as under the original AP π in [s k n , s k n+1 ). This implies that π x k

s k n -= π s k n -for every n ∈ N. If s k n ∈ S k 0 , then (D.1) implies that s k n+1 = π s n k -and π x k s k n+1 -(a) -π x k s k n -(a) = π s k n+1 -(a) -π s k n -(a)
for every a ∈ A * , and therefore Eq. ( 6) holds for n + 1. Suppose now that s k n ̸ ∈ S k 0 . By (i) and (ii),

|π x k s k n+1 -(a) -π s k n+1 -(a)| ≤ s k n • 2 |I| /k + (1 -s k n ) • s k n+1 -s k n 1 -s k n • 2 |I| /k = s k n+1 • 2 |I| /k, as desired.
Remark 4.10 The behavior "Player 1 quits with probability 1, and all other players continue throughout the game" may be translated in many ways to AP's. Here are some examples: Player 1 quits with probability 1 in the first stage of the game. In this case, we have T (π) = {1} and S(π) = {0} (Figure 4(a)).

Player 1 quits with probability 1 2 in each stage. In this case, we have T (π) = {1} and S = {0, 1 2 , 3 4 , 7 8 , • • • } (Figure 4(b)). Player 1 "quits continuously". Here S(π) = ∅, T (π) = [0, 1], and π t (Q 1 , C -1 ) = t, for every t ∈ [0, 1] (Figure 4(c)).

And we may have combinations of the above (Figure 4(d)).

Proposition 4.11

The set A of AP's is sequentially compact: for every sequence (π k ) k∈N of AP's there exists π ∈ A and a subsequence, still denoted (π k ) k∈N , which converges weakly to π. Moreover, this subsequence can be chosen in such a way that for every t ∈ S(π), there are two sequences (t k ) k∈N ⊂ [0, 1] and (ξ k ) k∈N ⊂ [0, 1] I such that for every k ∈ N we have t k ∈ S(π k ) and Eq. (4) holds for π k and ξ k at t k , and such that lim k→∞ t k = t, lim k→∞ π k t k = π t , and lim k→∞ ξ k = ξ t . Furthermore the limit ξ t satisfies Eq. (4) for π.

As described in Section 4.1, even when all AP's (π k ) k∈N are defined by strategy profiles, the limit AP need not be defined by a strategy profile. Furthermore, in this case, the sequence of AP's that was constructed in the proof of Proposition 4.8 and converges to π does not need to coincide with the original sequence (π k ) k∈N .

Proof. Let (π k ) k∈N be a sequence of AP's. Since F is sequentially compact, there exists a subsequence, still denoted (π k ) k∈N , and π ∈ F, such that π k ⇒ π. We have to show that π ∈ A.

Since To show that (A.2) holds for π, let U be a connected component of [0, 1] \ (T (π) ∪ S(π)). Fix t ∈ U . Since π is continuous at t, we have π t = lim k→∞ π k t . Since π t > t, for every ε ∈ (0, π t -t), there exists k 0 ∈ N such that for every k ≥ k 0 we have

π k t > π t -ε > t. Since π k belong to A, it is constant on [t, π t -ε).
It follows that π is also constant on [t, π t -ε). Since this is true for every ε > 0 sufficiently small, π is constant on [t, π t ), and is equal to π t .

We turn to prove that (A.3) holds for π. Fix t ∈ S(π). There exists a subsequence of (π k ) k∈N , still denoted (π k ) k∈N , and a sequence (s k ) k∈N ⊂ [0, 1] such that lim k→∞ s k = t and lim k→∞ π k s k = π t . For each k, set t k := min{s ≤ s k , π k s = π k s k }, where the infimum is attained because of the right continuity of π k . Since t ∈ S(π) we have π t > t, hence π k t k > t k for every k sufficiently large. By the definition of t k and (A.2), it follows that t k ∈ S(π k ).

We argue that lim k→∞ t k = t. Let t be an accumulation point of (t k ) k∈N . Since

t k ≤ s k → t, we have t ≤ t. If t < t, consider s ∈ [ t, t) such that π k s → π s .
Then, for every ε > 0 and every k large enough, we have

π t -ε ≤ π k s k = π k t k ≤ π s + ε ≤ π t-+ ε, which is impossible for ε < ( π t -π t-)/2.
Since lim k→∞ t k = t, every accumulation point of (π k t k -) k∈N belongs to the set {π t-, π t }, and, since lim k→∞ π k t k -= lim k→∞ s k = t < π t (originally, it is (s k ) which converges to t), it follows that lim k→∞ π k t k -= π t-, which implies that lim k→∞ ∆π k t k = ∆π t .

For each k ∈ N, since t k ∈ S(π k ), there exists

ξ k ∈ [0, 1] I such that ∆π k t k (a) = (1 -t k )   {i : a i =Q i } ξ k,i     {i : a i =C i } (1 -ξ k,i )   , a ∈ A * . ( 7
)
We can find a subsequence of (t k ) k∈N and ξ ∈ [0, 1] I , such that lim k→∞ ξ k,i = ξ i for all i ∈ I. Taking the limit as k → ∞ in Eq. ( 7) we get

∆π t (a) = (1 -t)   {i : a i =Q i } ξ i     {i : a i =C i } (1 -ξ i )   , a ∈ A * .
This proves that (A.3) holds, as well as the existence of the sequences (t k ) k∈N and (ξ k ) k∈N for every t ∈ S(π) as described in the statement of the proposition. We finally prove that (A.4) holds as well. Fix t ∈ T (π) \ {1}, so that π t = t. We have to show that πt (a) = 0 for every a ∈ A * ≥2 . Since t ∈ T (π), there is a nonincreasing sequence (t k ) k∈N that converges to t such that π t k -= t k for every k. For the same reason, for every ε > 0 there is k 0 ∈ N and δ > 0 such that for every k ≥ k 0 and every t ′ ∈ [t k , t k + δ) ∩ S(π k ) we have p(ξ k t ′ ) < ε. Indeed, otherwise there is ε > 0 such that for every k 0 ∈ N and every δ > 0 there is k ≥ k 0 and t ′ ∈ [t k , t k + δ) ∩ S(π k ) for which p(ξ k t ′ ) ≥ ε. But then, letting k 0 go to infinity and δ go to 0, we deduce that t ∈ S(π) and p(ξ t ) ≥ ε, a contradiction.

For every mixed action profile ξ that satisfies p(ξ) < ε, we have ξ i < ε for every i, and therefore

ξ(a) =   {i : a i =Q i } ξ i   •   {i : a i =C i } (1 -ξ i )   ≤ ε 1 -ε p(ξ), ∀a ∈ A * ≥2 .
We deduce that for every ε > 0 there is k 0 ∈ N and δ > 0 such that for every k ≥ k 0 and every

t ′ ∈ (t k , t k + δ) ∩ S(π k ), we have ξ t ′ (a) ≤ ε 1-ε p(ξ t ′ ) for every a ∈ A * ≥2 . This implies that for every t ′ ∈ (t k , t k + δ) ∩ (T (π k ) ∪ S(π k )), π k t ′ -(a) -π k t k -(a) ≤ (t ′ -t k ) ε 1 -ε , ∀a ∈ A * ≥2 , ∀t ′ ∈ (t k , t k + δ) ∩ (T (π k ) ∪ S(π k )).
Since this inequality holds for every ε > 0, we deduce that πt (a) = 0 for every a ∈ A * ≥2 .

The Payoff Path

Let π be an AP. For every 0 ≤ t < 1 and every a ∈ A * , the difference π 1 (a) -π t (a) is the probability of absorption by the action profile a in the interval (t, 1]. Since the total probability of absorption in [t, 1] is 1 -π t , the expected payoff after absorption probability t is given by

γ t (π) := a∈A * (π 1 (a)-πt(a))r(a) 1-πt , if π t < 1, ⃗ 0, if π t = 1. ( 8
)
We call the function γ(π) : [0, 1] → R I the payoff path. 2. The quantity γ 0-(π) = a∈A * π 1 (a)r(a) is the expected payoff under π in the game. The definition of γ t (π) when π t = 1 is irrelevant, because in this case the game is already over at t.

3.

For every absorbing strategy profile x, we have

γ tn-(π x ) = γ n (x), ∀n ∈ N,
where π x is the AP defined by x and t n = P x (θ < n). This equality reflects the equivalence between each strategy profile x and the AP π x .

4. When T (π) = [0, 1], the expression for the payoff path simplifies to

γ t (π) = i∈I (π 1 (Q i , C -i ) -π t (Q i , C -i )) r(Q i , C -i ) 1 -t , ∀t ∈ [0, 1). ( 9
)
We then have for every 0 ≤ s < t < 1,

(1 -t)γ t = (1 -s)γ s + i∈I π s (Q i , C -i ) -π t (Q i , C -i ) r(Q i , C -i ).
Hence, the function t → γ t is a solution of the differential equation

(1 -t) γt = γ t - i∈I πt (Q i , C -i )r(Q i , C -i ), t ∈ [0, 1). ( 10
)
5. Let (π k ) k∈N be a sequence of AP's that converges to a limit π. Then,

γ t (π) = lim k→∞ γ t (π k ),
for every t ∈ [0, 1) where π is continuous.

We now adapt the definition of sequential ε-perfectness to AP's.

Definition 4.13 Let ε ≥ 0. Player i is sequentially ε-perfect at the AP π if the following conditions hold:

(SP.1) For every t ∈ S(π) such that π t < 1, player i is ε-perfect at the mixed action profile ξ t in the strategic-form game G Γ (γ t (π)), where ξ t satisfies Eq. (4).

(SP.2) For every t ∈ T (π) \ {1},

(a) γ i t (π) ≥ r i (Q i , C -i ) -ε, and (b) if πt (Q i , C -i ) > 0, then γ i t (π) ≤ r i (Q i , C -i ) + ε.
An AP π is sequentially ε-perfect, denoted ε-AP, if all players are sequentially εperfect at π.

In words, an AP is sequentially 0-perfect (resp. sequentially ε-perfect) if (i) whenever the players play in discrete time (t ∈ S(π)), the mixed action that they play is a Nash equilibrium (resp. ε-perfect) in the one-shot game induced by the continuation payoff, and (ii) whenever the players play in continuous time (t ∈ T (π)), every player who quits with a positive rate is indifferent (resp. indifferent up to ε) between continuing and quitting, and no player who quits with rate 0 can profit (resp. can profit more than ε) by quitting.

It follows from Definition 4.1 that player i is sequentially ε-perfect at an absorbing strategy profile x if and only if she is sequentially ε-perfect at the AP π x .

We shall see now that standard continuity arguments imply that a limit of sequentially ε-perfect AP's as ε goes to 0 is a 0-AP. Proposition 4.14 Let (π k ) k∈N be a sequence of AP's that converges to a limit π, let (ε k ) k∈N be a sequence of non-negative reals that converges to 0, and let i ∈ I. If for every k ∈ N player i is sequentially ε k -perfect at the AP π k , then player i is sequentially 0-perfect at the AP π.

Proof. Fix t ∈ S(π). We prove that in this case (SP.1) holds with ε = 0. Since π k ⇒ π, following Proposition 4.11 we can find a sequence (t k ) k∈N , with t k ∈ S(π k ) for all k ∈ N, that converges to t, lim k→∞ π k t k = π t and ξ t = lim k→∞ ξ k , where ξ k satisfies Eq. ( 4) at t k for π k , for all k ∈ N. Since π k t k converges to π t , we have also

γ t k (π k ) → γ t (π).
By definition, if player i is sequentially ε k -perfect at π k , then she is ε k -perfect at the mixed action profile ξ k in the strategic-form game G Γ (γ t k (π k )). As discussed in Section 3.1, it follows that player i is 0-perfect at ξ t in the strategic-form game G Γ (γ t (π)), i.e., (SP.1) holds with ε = 0. Now let t ∈ T (π) \ {1}. We will prove that (SP.2.a) holds with ε = 0. Let (t k ) k∈N be a nonincreasing sequence of times converging to t, such that π k t k -→ π t . Since t ∈ T (π), we can choose a subsequence of (t k ) k∈N , still denoted (t k ) k∈N , such that π t k -= t k for every k. This implies that γ t (π) = lim k→∞ γ t k (π k ). Following Remark 4.4 [START_REF] Flesch | Stochastic Games on a Product State Space: the Periodic Case[END_REF], this implies that, for each k ∈ N there are only two possibilities: either

t k ∈ T (π k ) or t k ∈ S(π k ).
Suppose first that t k ∈ T (π k ) for every k ∈ N large enough. Then (SP.2.a), applied to π k , yields

γ i t k (π k ) ≥ r i (Q i , C -i ) -ε k
, and, letting k go to +∞, we obtain that (SP.2.a) with ε = 0 holds for π at t.

Next let us suppose the existence of a subsequence of (π k ) k∈N such that t k ∈ S(π k ) for every k ∈ N. By assumption we have

r i (Q i , ξ k,-i ) ≤ γ i t k (π k ) + ε k . ( 11
)
Since t ∈ T (π) \ {1}, necessarily lim k→∞ p(ξ k t k ) = 0. The result follows by letting k → ∞ in Eq. [START_REF] Murty | Linear Complementarity, Linear and Non-linear Programming[END_REF]. The proof that (SP.2.b) holds with ε = 0 is similar, hence (SP.2) holds for every t ∈ T (π) such that π k t → π t . For t such that π k t does not converge to π t , (SP.2) holds by the right-continuity of π.

The following result relates the concepts of ε-equilibria in discrete-time games and 0-AP's.

Theorem 4.15 Let Γ be a quitting game that for every ε > 0 sufficiently small possesses neither an ε-equilibrium under which the game terminates with probability 1 in the first stage, nor an ε-equilibrium where all players always continue. Then Γ admits an ε-equilibrium for every ε > 0, if and only if there is a 0-AP. Theorem 4.15 highlights the significance of AP's in simplifying the study of εequilibria in quitting games. The set of strategy profiles is compact in the product topology, yet in this topology the payoff function is not continuous and the set of ε-equilibria is not compact. Moreover, since players may not be indifferent among their actions along the equilibrium, it may be difficult to identify and to characterize ε-equilibria. On the other hand, in the weak topology the sets of AP's and 0-AP's are compact, the payoff is continuous, and along a 0-AP for every t ∈ [0, 1) players are indifferent between actions they play with positive probability or rate. Therefore, the study of 0-AP's seems to be simpler than that of ε-equilibria, yet, in view of Theorem 4.15, it may suffice to answer various questions on ε-equilibria. We will see such a case in the next section.

Proof. Theorem 3.4, Proposition 4.11, and Proposition 4.14 imply that if the game admits an ε-equilibrium for every ε > 0, then there is a 0-AP. Regarding the converse implication, let π be a 0-AP. By Proposition 4.8, there exists a sequence (x k ) k∈N of strategy profiles such that π x k ⇒ π. For every k ∈ N let (s k n ) n∈N be the sequence of real numbers defined in the proof of Proposition 4.8 for x k . We then have lim k→∞ sup n∈N ∥γ s k n (π x k ) -γ s k n (π)∥ ∞ = 0, which implies that x k is an ε k -equilibrium for every k ∈ N, for some sequence (ε k ) k∈N that converges to 0. Theorem 4.15 is related to [START_REF] Gobbino | Discrete Viability Theory[END_REF], who separated the dynamics of the sequence (γ n (x)) n∈N , where x is an absorbing sequentially ε-perfect strategy profile, into "large" motion (the discrete part of the AP) and "small" motion (the continuous part of the AP).

Continuous Equilibria

An AP π is continuous if it does not contain discrete-time aspects; that is, if

T (π) = [0, 1]. When π is continuous, a∈A * ≥2
π 1 (a) = 0, yet the converse need not hold. Such equilibria only depend on (r(Q i , C -i )) i∈I and not on the whole payoff function. In this sense, continuous equilibria are (partially) detailed-free, and, perhaps, more robust to misspecification of payoffs. To simplify terminology, we use the term continuous equilibria for sequentially 0-perfect continuous AP's.

In this section we provide a sufficient condition for the existence of a continuous equilibrium. This sufficient condition uses the concept of linear complementarity problems, which encompassed linear programming and quadratic programming, see, e.g., [START_REF] Cottle | Complementary Pivot Theory of Mathematical Programming[END_REF], Balinski (1978), and [START_REF] Murty | Linear Complementarity, Linear and Non-linear Programming[END_REF]. To link our sufficient condition to linear complementarity problems, we find it convenient to normalize the payoffs and assume w.l.o.g. that r i (Q i , C -i ) = 0 for each i ∈ I. Definition 5.1 Let R be an (n × n)-matrix, and let q ∈ R n . For each i, 1 ≤ i ≤ n, denote by R i the i'th column of R. The linear complementarity problem LCP(R, q) is the following problem: Find w ∈ R n + , and z = (z 0 , z 1 , . . . , z n ) ∈ ∆({0, 1, . . . , n}),

such that w = z 0 q + n i=1 z i R i , (12)
z i = 0 or w i = 0, ∀i ∈ {1, 2, . . . , n}.

A matrix R is a Q-matrix if for every q ∈ R the problem LCP(R, q) has at least one solution.

Let Γ be a quitting game, and denote by R(Γ) the (|I|×|I|) matrix (r i (Q j , C -j )) i,j∈I . Solan and Solan (2020) proved that if R(Γ) is not a Q-matrix, then Γ has a stationary 0-equilibrium. Here we study another family of matrices. Definition 5.2 We say that a matrix R is a Q-matrix if R as well as all its principal minors are Q-matrices.

Remark 5.3 A (1 × 1)-matrix R = (R 11 ) is a Q-matrix if and only if R 11 ≥ 0. A (2 × 2)-matrix R = (R ij ) is a Q-matrix if
and only if there is a non-negative row whose diagonal entry is 0. A (3 × 3)-matrix R is a Q-matrix if and only if, up to a conjugation with a permutation matrix, one of the following conditions holds:

The sign structure of R is   0 ? ? ≥ 0 ? ≥ ≥ ?   , where ? means that the sign of the entry is irrelevant.

The sign structure of R is

  0 ≤ ≥ ≥ 0 ≤ ≤ ≥ 0   and the determinant of R is non- negative.
The following result identifies a new class of quitting games were ε-equilibria exist.

Theorem 5.4 If R(Γ) is a Q-matrix, then Γ admits a continuous equilibrium. Remark 5.5

1. Theorem 5.4 is not tight: there may be continuous equilibria when its condition is not satisfied. Indeed, it may be that the restriction of R(Γ) to a subset J of players satisfies the condition of Theorem 5.4, and therefore there is a continuous equilibrium π for the subgame that involves those players (when players not in J are restricted to always continue), and it may further happen that the players not in J obtain non-negative payoffs along this AP. In such a case, all players are sequentially 0-perfect at π. Yet the rows of R(Γ) that correspond to players not in J may be arbitrary, hence R(Γ) need not be a Q-matrix.

We do not know whether the existence of a continuous equilibrium along which all players quit with positive probability implies that R(Γ) is a Q-matrix.

2. We are not aware of a characterization of Q-matrices or of Q-matrices, yet we can point at a family of matrices that are Q.

Recall that a matrix is P 0 if all its principal minors are non-negative. One family of matrices that are included in the set Q is the set of all P 0 -matrices whose diagonal entries are 0. To see that this inclusion holds, we need to recall the set of P -matrices, which are matrices R for which all principal minors are positive. It is well known that for P -matrices R, the linear complementarity problem LCP(R, q) has exactly one solution for every q ∈ R n , see, e.g., Murty (1988, Chapter 3). The set of P 0 -matrices is the closure of the set of P -matrices (since if det(R) ≥ 0 then det(R + εI) > 0 for every ε > 0, and therefore if R is a P 0 -matrix, then R + εI is a P -matrix), which implies that every P 0 -matrix is a Q-matrix.

We note that there are Q-matrices that are not in P 0 , for example, the following

(3 × 3)-matrix:   0 1 1 -1 0 1 -1 1 0   .
3. The standard linear complementarity problem is the problem [START_REF] Simon | The Structure of Non-Zero-Sum Stochastic Games[END_REF], where z is not required to be in ∆({0, 1, . . . , n}), but rather to satisfy z 0 = 1 and z i ≥ 0 for every i ∈ {1, 2, . . . , n}. A matrix R is a Q-matrix according to Definition 5.1 if (a) for every q ∈ R n the standard linear complementarity problem for R and q has a solution, or (b) there is a convex combination Rz of the columns R such that (Rz) i = 0 whenever z i > 0. A matrix R that satisfies (a) is a Q-matrix w.r.t. the standard linear complementarity problem, and a matrix R all of whose principal minors are Q-matrices w.r.t. the standard linear complementarity problem is a completely-Q matrix w.r.t. the standard linear complementarity problem. Such matrices have been studied by, e.g., [START_REF] Cottle | Compleyetly-Q Matrices[END_REF], who proved that the family of completely-Q matrices coincide with the family of strictly semi-monotone matrices.

Proof of Theorem 5.4.

Step 1: Convex combinations in the non-negative orthant.

We will show here that for every nonempty subset J ⊆ I of players there is a probability distribution z ∈ ∆(J) that satisfies

i∈J z i r j (Q i , C -i ) ≥ 0, ∀j ∈ J, (13)
i∈J z i r j (Q i , C -i ) = 0 for at least one j ∈ J.

The assumption that R = R(Γ) is a Q-matrix is used only in this step of the proof. Fix i 0 ∈ J and let q ∈ R J be the vector that is defined by

q i 0 := -1, q i := 0 ∀i ∈ J \ {i 0 }.
The matrix R := (r i (Q j , C -j )) i,j∈J is a principal minor of R. Therefore, the linear complementarity problem LCP( R, q) has a solution ( w, z). Since q i 0 < 0, it cannot be that z 0 = 1. If i 0 is the only player i ∈ J such that z i > 0, then, since r i 0 (Q i 0 , C -i 0 ) = 0 and q i 0 < 0, we have z i 0 = 1. Otherwise, there is i 1 ∈ J \ {i 0 } such that z i 1 > 0, and consequently w i 1 = 0. Define z i := z i 1-z 0 for each i ∈ J. Since w i ≥ 0 and q i ≤ 0 for every i ∈ J, and since w is a convex combination of q and i∈J z i r(Q i , C -i ), it follows that Eq. ( 13) holds. If z i 0 = 1, then Eq. ( 14) holds with j = i 0 . Otherwise, since w i 1 = q i 1 = 0, we have i∈J z i r i 1 (Q i , C -i ) = 0, and Eq. ( 14) holds with j = i 1 .

Step 2: Viability theory.

For every z ∈ ∆(I) denote z • R := i∈I z i R i , and let Y be the boundary of R I + . For every q ∈ Y , set

F (q) := {z ∈ ∆(I) : z i > 0 ⇒ q i = 0, (z • R) i ≥ 0 whenever q i = 0}.
Note that F (q) depends only on the set {i ∈ I : q i = 0}. We will show that there exist measurable functions z : [t 0 , 1] → ∆(I) and q : [t 0 , 1] → R I such that for every t ∈ [t 0 , 1] we have (a) q(t) ∈ Y and (b) z(t) ∈ F (q(t)).

The set-valued function F is upper semi-continuous with convex values, and by Step 1 it has nonempty values. For every q ∈ Y denote by T Y (q) the tangent cone at q: T Y (q) := d ∈ R I : q + δd ∈ Y for all δ > 0 small .

A careful analysis of the tangent cone shows that δ t z • R + (1 -δ t )q ∈ Y for every z satisfying Eqs. ( 13)-( 14) and δ > 0 small enough, where J = {i ∈ I : q i = 0}. for every t ∈ [0, 1) the limit lim n→∞ q n (1 -t) exists and is equal to γ t (π). Since q n (1 -t) ∈ Y for every t ∈ [0, 1 n ], we deduce that γ t (π) ∈ Y for every t ∈ [0, 1), and therefore (SP.2.a) with ε = 0 holds for each i ∈ I.

We turn to prove that (SP.2.b) holds as well. Fix i ∈ I and let t ∈ [0, 1) be such that πt (Q i , C -i ) > 0. Then there exists a sequence (t n ) n∈N such that lim n→∞ t n = t and πn tn (Q i , C -i ) > 0 for every n sufficiently large. This implies that for every n sufficiently large we have z n i (1 -t n ) > 0, and therefore q n i (1 -t n ) = 0. By taking the limit as n goes to infinity we deduce that γ i t (π) = 0, and (SP.2.b) indeed holds. Since Condition (SP.2) of Definition 4.13 holds for π, and since i is arbitrary, π is sequentially 0-perfect.

When π is a continuous equilibrium, we can assign to each t ∈ [0, 1) the set of players who quit with positive rate at t. In the next two examples, [0, 1) is divided into countably many intervals, and a single player quits with positive rate in each interval. We therefore describe π by a totally ordered index set K, where each k ∈ K corresponds to an interval, such that k < k ′ if and only if the interval that corresponds to k precedes the interval that corresponds to k ′ , and a list of pairs (i k , p k ) k∈K , where for each k ∈ K, i k is the player who quits with positive rate along the interval that corresponds to k, and p k ∈ (0, 1] is the probability by which player i k quits, given that the game did not terminate before. For instance, when K is well-ordered, as happens in Examples 5.6 and 5.7 below, under π player i 0 quits in the interval [0, p 0 ), player i 1 quits in the interval [p 0 , p 0 + (1 -p 0 )p 1 ), and so on. In this case, it is w.l.o.g. to assume that these intervals are maximal in the sense that no player quits in two consecutive intervals, that is, i k ̸ = i k+1 for each k ∈ K. Example 5.8 below illustrates a case where K is not well-ordered. Finally, we note that since the play eventually absorbs, k∈K p k = ∞.

Example 5.6 As in the example in Section 4.1, suppose that there are three players, and

R(Γ) =   0 -1 2 2 0 -1 -1 2 0   .
The matrix R is a Q-matrix, hence a continuous equilibrium exists. One such equilibrium is the one were the sequence (i k , p k ) k is:

(1, 1
In fact, Flesch, Thuijsman, and Vrieze (1997) showed that all continuous equilibria in this example can be obtained from the one in Eq. ( 17) by starting the period at any t ∈ [0, 7 8 ] (instead of at t = 0).

The following example shows that continuous equilibria, even when periodic, may exhibit a wild behavior. It is a bit tedious but not difficult to show that the corresponding matrix R(Γ) is a Q-matrix, and therefore a continuous equilibrium exists. 3In this example there are many periodic continuous equilibria (i k , p k ) k∈N . In fact, for every l ∈ N there is such an equilibrium with period 3l + 2, where the sequence (i k ) k∈N is an infinite repetition of (1, 2, 3, 1, 2, 3, . . . , 1, 2, 3, l cycles of length 3

4, 5).

There is also a continuous equilibrium that has this structure for l = ∞; that is, the index set is K = N 2 (with the lexicographic order) and (i k , p k ) k∈K is an infinite repetition of ( where the total probability of absorption in each repetition is strictly less than 1. In particular, the sequence (i k , p k ) k∈K is well-ordered but not order-equivalent to the set N. We do not know whether there exist games where there is a continuous equilibrium but none that is periodic with a finite period.

Ashkenazi-Golan, Krasikov, Rainer, and Solan (2021) provide an algorithm for calculating the union of the range of all payoff paths that correspond to continuous equilibria with a well-ordered index set K, where a single player quits in each interval, as well as a characterization of the set of such continuous equilibrium payoffs as a limsup of a certain sequence of sets. The idea of the algorithm is as follows. If along an AP π players quit only in continuous time, then the AP is uniquely defined by the list of pairs (i k , p k ) k∈K . When K is well-ordered, we call player i k+1 the successor of player i k , for each k ∈ K. For a fixed i ∈ I, let E * i be the set of such continuous equilibrium payoffs that can be attained when the play starts with player i. The collection of sets (E * i ) i∈I satisfies the following recursion: w ∈ E * i if and only if w ∈ R I + and there exists p ∈ (0, 1], j ∈ I \ {i}, and v ∈ E * j such that w = pR i (Γ) + (1 -p)v, w i = 0, [START_REF] Solan | Quitting Games[END_REF] where w ∈ R I + captures (SP.2.a) and w i = 0 corresponds to (SP.2.b). In Eq. ( 18), p corresponds to the length of the interval spent by player i quitting and, if v ∈ E * j , then j is the successor of i. When the payoffs are generic, if j is a successor of i then

R ji < 0 < R ij . ( 19
)
Define a directed graph as follows: the set of vertices is I and there is a directed edge between i and j if they satisfy Eq. [START_REF] Solan | Quitting Games -an Example[END_REF]. Under some weak assumptions we show that the set of continuous equilibrium payoffs i∈I E * i , is a fixed point of an operator that follows the geometry of this directed graph. For instance, in Example 5.6, as shown by Flesch, Thuijsman, and Vrieze (1997),

E * i = {w ∈ R 3 + : w i = 0, w i+1 ̸ = 0, w i+1 + w i+2 = 1},
where the addition is modulo 3, so that the set of continuous equilibrium payoffs with a well-ordered index set coincides with the boundary of the two-dimensional simplex.

We end this section by presenting a 0-AP for which the corresponding index set is not well-ordered.

Example 5.8 Suppose that there are five players, and

R(Γ) =       0 1 -3 -1 2 -3 0 1 2 0 1 -3 0 -1 2 3 3 3 0 -1 -3 -3 -3 2 0       .
The game admits a periodic continuous equilibrium (i k , p k ) k∈K that is defined over the index set K = N × (-N) (with the lexicographic order), and is given by an infinite

Figure 1 :

 1 Figure 1: The three-player game Γ η .

Figure 2 :

 2 Figure 2: The AP in Example 4.5.

Figure 3 :

 3 Figure 3: The AP in Example 4.6.

2

 2 |I| εp(y).

Figure 4 :

 4 Figure 4: Four possibilities for the function π t (Q 1 , C -1 ) in Remark 4.10.

Remarks 4.12 1 .

 1 Payoff paths take their values in [-M, M ] I , where M = ∥r(a)∥ ∞ .

Example 5 . 7

 57 Suppose that there are five players and

Since a strategy x i is a function from N to [0, 1], the conditional probability distribution P x (• | θ ≥ n) is uniquely defined even when P x (θ < n) = 1.

The min-max level of player i is v i := inf x -i sup x i γ i (x i , x -i ).

The reader may note that in this example, the (5 × 5)-matrix R(Γ) is not a P 0 -matrix.

and E. Solan acknowledge the support of the Israel Science Foundation, grant #217/17, G. Ashkenazi-Golan and I. Krasikov acknowledge the support of the Israel Science Foundation grant #722/18 and NSFC-ISF grant #2510/17. G. Ashkenazi-Golan, C. Rainer, and E. Solan acknowledge the support of the COST action 16228, the European Network of Game Theory.

Fix (q 0 , t 0 ) ∈ Y × (0, 1). For every measurable function z : [t 0 , 1] → ∆(I), consider the following controlled dynamic:

The set Y is closed, and the set-valued function F is upper-semicontinuous with nonempty, closed, and convex values. By the classical Viability Theorem (Aubin, 1991, Theorem 3.3.4) it follows that there exist measurable functions z : [t 0 , 1] → ∆(I) and q : [t 0 , 1] → R I such that (a) and (b) above hold for every t ∈ [t 0 , 1].

Step 3: Constructing a continuous equilibrium. Fix an arbitrary q 0 ∈ Y . For every n ∈ N let (z n , q n ) be a solution of Eq. ( 15) with q n 0 = q 0 and t 0 = 1 n , such that q n (t) ∈ Y and z n (t) ∈ F (q n (t)) for every t

and an arbitrary continuous evolution on [1 -1 n , 1]. By definition, π n is a continuous AP. Eq. ( 15) implies that, for all 0

In addition, for every t ∈ [0, 1

Let π be an accumulation point of (π n ), and assume w.l.o.g. that π n ⇒ π. We will prove that π is a continuous equilibrium. Since π n is continuous, so is π. Consequently,

countably many cycles of length 3

, (

).

Under this equilibrium, denoted π, the total probability of absorption in each period is 5 6 , and γ 0 (π) = γ 5/6 (π) = (0, 0, 0, 1, 0), γ 1/3 (π) = (0, 1, 0, 0, 1), and γ 1/2 (π) = (1, 0, 1, 0, 0).

Discussion

The behavior of players in dynamic games in general, and quitting games in particular, may be complex. It might be that in some stage, the players mix their actions, knowing that the set of players who will terminate the game will be random. It might also happen that some player wants to quit, but she wants to guarantee that no other player knows when she quits, to avoid the outcome where she quits with someone else. While in discrete time a player cannot guarantee that no other player will be able to quit with her, in continuous time this can be done. Equilibrium behavior in quitting games may exhibit both types of behavior: periods of discrete-time behavior, when players quit with positive probability, and periods of continuous-time behavior, when players quit at a given rate.

The concepts of discrete-time strategies and continuous-time strategies can capture only one of the two possible behaviors described above. The concept of AP allows to describe both behaviors. Though it is not known whether all quitting games have ε-equilibria, we showed that if an ε-equilibrium exists for every ε > 0, then there exists a 0-AP. This result shows that the reason for having games that possess εequilibria for every ε > 0 but no 0-equilibria, is that the nature of discrete time does not allow players to completely hide the stage in which they quit, thereby allowing other players to quit simultaneously with them (albeit with small probability) and make a low profit.

The space of AP's A is sequentially compact, and the function that assigns to every AP its payoff path is continuous. It is not difficult to show that A is contractible. We do not know whether these properties can be used to prove the existence of an ε-equilibrium in some family of quitting games.


Corentin Piozin

Lisa Bouarroudj

Jean-Yves Audran

Brice Lavrard

Catherine Simon

Florian Waszak

Selim Eskiizmirliler

A non-invasive EEG-based Brain-Machine Interface for the control of myoelectric prostheses

est destinée au dépôt

To access my PhD thesis on the control of prosthetic hands using non-invasive BMIs Scan the QR code :

Conclusion

• The able-bodied participants outperformed the amputees in the conducted experiments. The di erence was consistent even during real-time control of the modified prosthesis.

• There was no significant di erence in performance between ME and MI tasks. It needs to be investigated for other types of amputations (congenital or transhumeral for example).

• The performance and class distinctiveness of the models remained stable over time. It is possible that more sessions are needed to see a significant improvement in the performance.

• Removing half of the electrodes and focusing on the sensorimotor cortex resulted in only a marginal decrease of approximately 1% in performance, a first step toward the development of a system that can be used in an ecological setting. As expected, choosing electrodes over the sensorimotor cortex leads to better performances compared to frontal or parietal areas but those choices do not decrease drastically the performance. We observe a slight increase of the distinctiveness over time for the models where a movement is compared with Rest. This increase has no impact on the performance.

Loss of accuracy compared to the performance with 64 electrodes

Performance and class distinctiveness remain stable over time

Able-bodied

The able-bodied are performing better than the amputees Accuracy (SVM RBF) The di erent EEG systems used for each group could explain the di erence. This has also been observed during real-time control of the modified prosthesis using EEG data.

Offline Motor Execution session 2 Online

While there are neurological di erences in the execution and the imagination of movements (even more in amputees), we observed no di erences in the performances between the two conditions.

No significant difference between

Motor Execution and Motor Imagery in terms of performance ) and trans-radial amputees (n = 4).

Materials and Methods

• The subjects performed a sequence of Grasping-Moving-Releasing with three objects in Motor Execution (ME) and Motor Imagery (MI).

• 2 feature extraction pipelines were used :

Introduction

• A large extent of the literature is dedicated to the control of robotic arms using invasive brain-machine interfaces (BMI) for people with tetraplegia.

• There are fewer examples reporting the use of non-invasive techniques for the control of prosthesis by people with amputation like the work we are presenting here.

• Our system combines an electroencephalography (EEG) recording system and a sensory feedback device to control a Myobock prosthesis.

• We studied the control performance of this BMI based control system when used by amputees and able-bodied people.

Prosthesis EEG System

Sensory feedback

Highlights

• While both amputees and able-bodied subjects were reaching close performances regarding the classification of the type of movement, the latter were performing better than the amputees during real-time control.

• There were no significant di erences between the estimation performances using motor execution and motor imagery based EEG data; meaning the system could potentially be transposed to people with tetraplegia.

• The performances and distinction between movements were quite stable along the sessions, it might indicate that more sessions are needed to see an e ect.

• Removing 32 electrodes out of 64 create a loss of around 1% in the performance.

A non-invasive EEG-based Brain-Machine Interface for the control of myoelectric prostheses

  of ~1% in the performanceOn the other hand, removing electrodes improve class distinctiveness. This dichotomy could indicate a tendency for the algorithms to overfit the data.

Integrative Neuroscience and Cognition Center (INCC), CNRS UMR8002, Université Paris Cité

Otto Bock France, Otto Bock, Courtaboeuf

Pôle Ambulatoire, Pôle appareillage du membre supérieur, Institut Robert Merle d'Aubigné Correspondence : piozin.corentin@hotmail.fr

Acknowledgments

This work has been partially supported by the French National ResearchTechnology Association and Otto Bock France in the framework of the CIFRE project n°2018/1620.


Jean-Christophe Goddard E T

Julie Peghini L'écriture

A VA N T -PROPOS

fleuve de Machin la Hernie, le roman de l'écrivain congolais Sony Labou Tansi 2 (1947-1995) mis en scène par Jean-Paul Delore et interprété par Dieudonné Niangouna, est en partie inspirée par les discours radiophoniques du général Mobutu, le dictateur qui a gouverné la République Démocratique du Congo 1 Nous tenons à remercier très vivement Nicolas Martin-Granel, sans les idées et le travail duquel ce dossier n'aurait jamais pu voir le jour. Nous tenons aussi à remercier très chaleureusement Armelle Talbot pour son accueil et son accompagnement enthousiaste. 2 « Sony Labou Tansi » est un pseudonyme de Marcel N'soni fixé tardivement par l'auteur après avoir connu de nombreuses versions (voir Céline GAHUNGU, Sony Labou Tansi. Naissance d'un écrivain, CNRS éditions, 2019, p. 31-34). « Sony » est une transformation orthographique de « N'soni » (« ma honte »), le nom de naissance donné par son père à l'auteur par amertume d'avoir été éconduit par la femme avec laquelle il aurait préféré avoir un enfant. Dans une lettre adressée à Nicolas Martin-Granel en 1994, l'écrivain donnera toutefois un autre sens à « Sony » : « la pudeur ». Labou est le nom de son père (Paul Labou), ou plutôt son sobriquet (un « labou » est un instrument de danse). Par homophonie, c'est aussi « la boue » avec laquelle ou dans laquelle l'écrivain dit travailler. « Tansi » (« la terre », ou « le pays ») est une évocation de la grand-mère de Sony (sa « première femme » chez les Kongo), Luttunu Bana Tansi (« ils sont partis avec la terre »), et un hommage au grand écrivain congolais U Tam'si.

jusqu'en 1997 après l'avoir renommée Zaïre en 1971 3 . Commentant en 1973 l'intervention quotidienne du Maréchal-Président, Sony Labou Tansi écrit : « Le mecton du Zaïre. Il vient de faire son numéro général : d'horloge parlante : il prend le pays pour un coin de son sexe. » 4 Le monologue torrentiel du Président fictif Martillimi Lopez, en quoi consiste in extenso Machin la Hernie, n'est toutefois le portrait à charge d'aucun dictateur africain. On manquerait la visée politique de l'oeuvre si l'on y cherchait une dénonciation littéraire de l'obscénité grotesque du Souverain postcolonial, écrite à l'encre de la bienséance démocratique « chrétienne occidentale » 5 . Comme Sony Labou Tansi l'écrit dans l'« avertissement » de Qui a mangé Madame d'Avoine Bergotha ?, l'une de ses nombreuses pièces de théâtre occupées à mettre en scène le pouvoir politique, c'est d'abord l'Europe « qui se donne un coup de couteau à la conscience et à l'âme » 6 en installant et en finançant le « sinistre africain » 7 orchestré dans des pays faussement indépendants par des « souverainetés imbéciles » 8 . S'il est aisé à un citoyen français de trouver risibles et désastreux les chefs d'États fantasques qui ruinent dans les anciennes colonies les valeurs démocratiques dont il se sent (par une singulière faculté métaphysique) le dépositaire universel, c'est à condition d'oublier que ses propres Présidents, dûment élus, ne se comportent pas différemment avec les restes ultramarins de l'Empire colonial français, entretenus, sous la dépendance de l'État métropolitain, dans la même « déconfiture économique, sociale, culturelle et humaine » que l'Afrique postcoloniale. Sous les Tropiques guyanaises, l'État français apparaît bien sous le même jour que l'État colonial brésilien dans le reste de l'Amazonie : même avidité extractiviste, même racialisation et paupérisation des populations autochtones, précolombiennes ou issues de la traite, même incurie sanitaire… Et s'il en va ainsi, c'est parce que ce sont les mêmes principes qui commandent l'exercice réel du pouvoir en Occident comme dans ses périphéries : ceux de l'État autoritaire, qui vend pour rien à des trusts industriels et financiers le futur des 3 Sony LABOU TANSI, Machin la Hernie, Paris, Revue Noire Éditions, 2005. Machin la Hernie, texte de Sony Labou Tansi, mise en scène de Jean-Paul Delore, création en avril 2016 au Tarmac (Paris). 4 Sony LABOU TANSI, Machin la Hernie, op. cit., p. 8. 5 Mais la dimension politique de Machin la Hernie est indissociable de sa poétique, c'est-à-dire de la logique de l'écriture qui y est mise en oeuvre. Julie Peghini dresse d'abord ici un « Portrait de Sony Labou Tansi en théâtre organique » dans lequel elle fait voir comment l'attachement premier de Sony Labou Tansi à la poésie, sa compréhension de l'existence authentique comme existence poétique, engage sa conception du théâtre comme théâtre organique. Xavier Garnier, professeur de littérature française et francophone à l'Université Sorbonne Nouvelle de Paris 3, auteur en 2015 de Sony Labou Tansi, une écriture de la décomposition impériale 33 , associe étroitement cette vocation poétique de l'écriture de Labou Tansi à l'engagement politique de sa pensée dans le texte qu'il nous a confié pour la circonstance : « Les mots frappés de Machin la Hernie contre la société du spectacle ». Il montre comment Labou Tansi partage le rapport au langage du théâtre de la cruauté d'Antonin Artaud pour en tirer un enjeu dramaturgique hautement politique, critique de toute représentation à distance. Alice Desquilbet, qui réalise une thèse de littérature sur « l'écopoétique » de Sony Labou Tansi à l'Université Paris 3, complète cette approche en conduisant, sous le titre « La Hernie au sein du système extractiviste mondial. Une proposition d'analyse syntaxique », une interprétation de l'écriture poétique de Machin la Hernie comme écriture de l'extractivisme à partir d'une analyse systématique des compléments du nom « de ma Hernie » dans le monologue de Martillimi Lopez, restituant ainsi la dimension foncièrement écologique de la pensée de Sony Labou Tansi.

  Ce combat, l'acteur et dramaturge Dieudonné Niangouna l'incarne sans distance, s'y joue entièrement, athlétiquement, dans l'adaptation mise en scène par Jean-Paul Delore de Machin la Hernie créée au Tarmac le 13 avril 2016 et de nouveau jouée en octobre 2017. C'est à l'occasion de la reprise du spectacle dans le cadre du festival Corpus Africana organisé en octobre 2018 à l'Université de Toulouse Jean Jaurès en partenariat avec le festival Danses et Continents Noirs du chorégraphe franco-camerounais James Carlès, qu'est né le projet du présent dossier pour la revue thaêtre. On trouvera ici, pour commencer, sous le titre « Se prendre le ventre avant la tête », la retranscription d'un entretien réalisé en public le lendemain de la représentation toulousaine avec Jean-Paul Delore et Nicolas Martin-Granel, chercheur associé à l'ITEM-ENS-CNRS et éditeur avec Greta Rodriguez-Antoniotti, en 2005 aux éditions de la Revue Noire de la version originale de Machin la Hernie, d'abord paru du vivant de Sony Labou Tansi, en 1981, aux éditions du Seuil dans une version raccourcie et remaniée sous le titre L'État honteux. L'entretien explique le choix pour le théâtre du texte-roman de Machin la Hernie (alors que Sony Labou Tansi est par ailleurs l'auteur de plusieurs pièces de théâtre) ainsi que le processus de son adaptation et de sa mise en scène. Afin d'éclairer le contexte de l'écriture de Machin la Hernie, nous reproduisons d'ailleurs la riche introduction de Nicolas Martin Granel à son édition du roman aux éditions de la Revue Noire : « La naissance d'un monstre. Pour renommer le roman préféré de Sony Labou Tansi ». Le projet de porter Machin la Hernie au théâtre étant né de la complicité artistique et intellectuelle de Jean-Paul Delore et Dieudonné Niangouna, qui, comme nous venons de le dire, donne corps et langue (et même sueur) au texte poétique de Labou Tansi, nous retranscrivons sous le titre « Jouer Martillimi Lopez » un long entretien avec Dieudonné Niangouna réalisé à Paris en février 2019, dans lequel l'homme de théâtre, qui a promis à Sony Labou Tansi de terminer son oeuvre tout en faisant la sienne, relate sa rencontre avec son personnage, Martillimi Lopez, et explicite la pratique rituelle qu'il met en oeuvre pour l'interpréter. En complément du dossier de présentation de la pièce par la Compagnie du Lézard Dramatique et des photographies que nous ont confiées Jean-Paul Delore et Sean Hart, nous présentons ici une sélection d'extraits filmés de la pièce, ainsi que les captations des débats qui ont suivi la pièce lors de sa présentation au Tarmac en 2016 et 2017, débats qui permettent notamment d'écouter Jean-Paul Delore, Dieudonné Niangouna et l'écrivaine Annie Le Brun 28 . Comme l'atteste le texte central consacré à l'« Esthétique de la vulgarité » par l'historien et politologue camerounais Achille Mbembe dans De la postcolonie 29 , la pensée de Sony Labou Tansi a fortement inspiré les sciences humaines et sociales en Afrique centrale francophone. Avec Nicolas Martin-Granel, nous avons ainsi spécialement sollicité un entretien avec l'anthropologue congolais Patrice Yengo, chercheur associé à l'Institut des mondes africains de l'EHESS. Patrice Yengo est l'auteur d'un ouvrage important paru en 2016, Les Mutations sorcières dans le bassin du Congo 30 , et d'un article éclairant paru dans la revue Continents manuscrits sur « Le ventre dans l'écriture de Sony Labou Tansi et Tchicaya U Tam'si » 31 . Dans l'entretien retranscrit ici sous le titre « Machin la Hernie : hybris et vicissitudes du ventre », nous l'avons interrogé sur le rapport qui peut être fait entre la « hernie » de Martillimi Lopez dans Machin la hernie et le sens que revêt en anthropologie politique du Congo contemporain la notion de ventre. Nous avons également demandé un entretien au sociologue congolais-gabonais Joseph Tonda, Professeur à l'Université Omar Bongo de Libreville, qui a publié en 2015 un ouvrage sur L'Impérialisme postcolonial qu'il interprète à travers la catégorie de « société des éblouissements » 32 . Sous le titre « Machin la Hernie : une afrodystopie », l'entretien avec Joseph Tonda prolonge et enrichit l'échange informel qu'a eu avec lui et Julie Peghini au Tarmac à la sortie de la représentation du spectacle de Jean-Paul Delore et Dieudonné Niangouna. Nourrie autant par l'entretien de février 2019 avec Dieudonné Niangouna que par la lecture de Patrice Yengo et de Joseph Tonda, la contribution de Jean-Christophe Goddard publiée ici sous le titre « Sony Labou Tansi et le théâtre des ombres », inscrit le spectacle dans le sillage d'Une saison au Congo d'Aimé Césaire et en propose une lecture politique centrée sur la manière dont le spectre de Patrice Lumumba, figure majeure de l'Indépendance congolaise, assassiné par la puissance coloniale, hante l'imaginaire de la souveraineté nationale postcoloniale.

  Le processus d'écriture qui aboutira à Machin la Hernie, comme Sony Labou Tansi le confie en 1978 à Françoise Ligier 34 , est l'accouchement douloureux -car, utérin 35 , il ne va pas sans secouer et déchirer les entrailles -d'un « monstre », de son personnage unique et monstrueux : Martillimi Lopez. Nous avons choisi de donner à ce dossier le titre de « théâtre monstre », parce que cette mise au monde d'un monstre condense les principaux aspects du théâtre sonyen que Jean-Paul Delore et Dieudonné Niangouna actualisent dans la mise en scène de Machin la Hernie. Si Martillimi Lopez, le Président fictif de Machin la Hernie, est un monstre, c'est que, comme Walante, le maître de l'île tropicale imaginaire de Qui a mangé Madame d'Avoine Bergotha ?, un métis de souche anglaise, il est né d'une pénétration intrusive dans un ventre autochtone. Ce viol fondateur, Sony Labou Tansi le porte au théâtre dans la pièce inédite qu'il consacre à Kimpa Vita 36 , la guérisseuse-prophétesse kongo du 34 Sony LABOU TANSI, cité par Nicolas MARTIN-GRANEL, « La naissance d'un monstre. Pour renommer le roman préféré de Sony Labou Tansi », dans Sony LABOU TANSI, Machin la Hernie, op. cit., 2005, p. 10. On trouvera ce texte reproduit dans la revue thaêtre : URL 35 Sur la féminité de Sony Labou Tansi, voir Nicolas MARTIN-GRANEL, « La quadrature du texte ou l'énigme des quatre Le Quatrième Côté du triangle de Sony Labou Tansi », Genesis [en ligne], 33 | 2011, mis en ligne le 23 octobre 2013. URL : http://journals.openedition.org/genesis/603 36 Béatrice au Kongo, 1980, tapuscrit à paraître dans le volume Théâtre de Sony Labou Tansi ( CNRS-Editions), Fonds Nicolas Bissi (Brazzaville)

  Sony LABOU TANSI, « Avertissement », Encre, sueur, salive et sang, Paris, Seuil, 2015, p. 115. Emmanuel Macron du 29 mars 2018 sur l'intelligence artificielle 11 où le Président français rêve d'une technologie informatique centralisée capable de calculer pour ses sujets l'unique meilleur monde possible en matière d'éducation, d'emploi, de santé… Ce qui, on en conviendra, n'est pas moins « prendre le pays pour un coin de son sexe ». C'est pourquoi Machin la Hernie nous parle directementet urgemment. Car, comme Sony Labou Tansi l'annonçait au début des années 1990, le « cosmocide de notre planète » 12 a bien fini par être le vainqueur de la guerre que la « médiocratie » mène depuis trop longtemps contre l'esprit. La question n'est plus de savoir si nous pouvons encore éviter la fin du monde. C'est nous qui venons et elle qui déjà nous attend : « Nous sommes tous attendus par un chambardement… » 13 Personne n'en réchappera -personne, déjà, n'en réchappe. Mais, c'est dire aussi que personne n'est déjà plus obligé à l'immonde, n'est plus contraint de « bouffer les questions-9 Grégoire CHAMAYOU, La Société ingouvernable. Une généalogie du libéralisme autoritaire, Paris, La Fabrique, 2018. Voir le chapitre 24. 10 Sony LABOU TANSI, « Lettre aux intellocrates de la médiocratie parlementaire », Encre, sueur, salive et sang, », op. cit., p. 142. 11 Discours du Président de la République Emmanuel Macron au Collège de France le 29 mars 2018, mis en ligne le 29 mars 2018. URL : https://www.elysee.fr/emmanuelmacron/2018/03/29/discours-du-president-de-la-republique-sur-lintelligenceartificielle 12 Sony LABOU TANSI, « Lettre fermée aux gens du Nord et Compagnie », Encre, sueur, salive et sang, op. cit., p. 165. 13 Ibid., p. 166. réponses » 14 de ses maîtres. Machin la Hernie traite de cette dystopie par laquelle ceux que Labou Tansi appelle « les gens du Nord » aiment s'imaginer la réalité politique africaine pour la fustiger ou la plaindre ; il la déconstruit et la reconstruit minutieusement comme l'imaginaire politique qui, après avoir cannibalisé le gouvernement politique réel sur l'ensemble de la planète, a fini par s'identifier à lui. Il faut admettre que nous sommes tous dans « la vaste galère qu'on nous cuisine » 15 depuis des décennies, la même galère que celle dans laquelle se trouve Martillimi Lopez, le Président imaginaire de Machin la Hernie, avec tous les Présidents imaginaires, c'est-à-dire réels, de France et d'ailleurs. Mais Martillimi Lopez n'est pas Emmanuel Macron, ni Jair Bolsonaro ou Donald Trump. Car, dans cette galère, nous ne sommes pas tous égaux. Si Martillimi Lopez porte un nom portugais, c'est pour rappeler qu'il est un enfant africain du malentendu colonial, ce que Labou Tansi appelle « un enfant du cosmocide » 16qui a commencé il y a cinq siècles en réduisant l'Afrique « noire » au silence sous le joug d'une ou l'autre de ces langues européennes aussi bavardes en religion et en science que brailleuses d'ordres. C'est pourquoi lorsque ce Président Martillimi Lopez de Sony Labou Tansi prend la parole dans la langue des maîtres, ce n'est pas pour à son tour « consommer un monde dont [il aura] été absent pendant trop longtemps » 17 . De la langue dans laquelle il a été « violé » 18 , de la langue de pesage et de dégradation, de réquisition et de déportation de « l'homme noir » 19 , de cette langue monstrueuse, comme de la forme monstrueuse de souveraineté dans laquelle il ne peut s'arrêter d'être embarqué, il se fait un corps vivant, un « corpslangage » 20 , d'abord pour sonder la forme énigmatique d'humanité que réalisent ses vainqueurs -ce qu'ils sont pour eux-mêmes, et qu'ils prescrivent comme unique manière d'exister -, mais surtout pour tenter de « trouer » 21 poétiquement cette forme de vie désastreuse en ouvrant en elle et contre elle les perspectives d'autres vies possibles ; boxant ainsi, infatigable, la condition monstrueuse qui lui est faite, afin que puisse ré-exister son humanité, afin qu'il « fasse homme » 22 en lui. Le monologue interminable du Président Martillimi Lopez, « frère » 23 , « ami personnel » 24 et « collègue » 25 du Président des Français, le « De Gaulle d'aujourd'hui » 26 , est ce combat poétique pour la dignité, la seule manière pour lui, sous la défaite totale qui lui a été infligée, de s'essayer à exercer son « métier d'humain » 27 . De l'humanité de carrière, de la souveraineté de carrière qui est celle des chefs d'État occidentaux et de leurs émules africains, tous engoncés dans leur médiocrité, et dont il endosse le langage, la violence et le ridicule, il fait une humanité problématique, incertaine, bègue et affolée, insurgée, en lutte pour se faire (re)naîtresans répit, par la puissance de nommer d'un verbe sans ponctuation.

	peuples qu'il soumet par ailleurs sans retenue à sa puissance
	militaro-médiatique, mobilisant une technologie avancée en matière
	de communication comme en matière de répression policière, à
	seule fin d'empêcher la moindre revendication sociale collective.
	Grégoire Chamayou a montré que cette notion d'un État
	« libéral-autoritaire » 9 , conçue dans les années 1930 par des
	théoriciens proches des nazis, a fini, à partir des années 1970, par
	s'imposer à la plupart des gouvernants du bloc « libéral » et à leurs
	« alliés » périphériques. Il a montré aussi que cet État fort est aussi le
	plus faible : cédant à la pente mortifère d'un capitalisme illimité, il
	est aussi l'État le plus médiocre -dans les termes de Sony Labou
	Tansi : l'État médiocratique 10 . Dirigé par des chefs dont
	l'imagination politique ne dépasse pas celle d'un ingénieur des mines
	occupé à optimiser sa production, comme l'atteste le discours
	d'

6

Ibid.

7

Ibid. 8 Ibid.

Sony LABOU TANSI, « Brouillon de lettre à Sylvain Bemba », Encre, sueur, salive et sang, op. cit., p. 39.

Sony LABOU TANSI, « Lettre aux intellocrates de la médiocratie parlementaire », art. cité, p. 146.

Sony LABOU TANSI, « Note de l'auteur à propos de Conscience de tracteur », Encre, sueur, salive et sang, op. cit., p. 21.

Ibid.

Sony LABOU TANSI, « L'écrivain face à la polémique », Encre, sueur, salive et sang, op. cit., p. 50

Sony LABOU TANSI, « Donner du souffle au temps et polariser l'espace », Encre, sueur, salive et sang, op. cit., p. 70.

Sony LABOU TANSI, « Introduction à L'Acte de respirer », Encre, sueur, salive et sang, op. cit., p. 27.

Ibid.

Sony LABOU TANSI, « L'écrivain face à la polémique », art. cité, p. 48.

Sony LABOU TANSI, Machin la Hernie, op. cit., p. 51.

Ibid., p. 49.

Ibid., p. 202.

Ibid., p. 49.

Sony LABOU TANSI, « La tâche de l'écrivain », Encre, sueur, salive et sang », op. cit., p. 92.

Ces extraits ont été filmés par Julien Hogert et Arnaud Alain, dans le cadre du documentaire réalisé par Julie Peghini, Insurrection du verbe aimer (2019).

Achille MBEMBE, De la postcolonie. Essai sur l'imagination politique dans l'Afrique contemporaine, Paris, Karthala, 2000.

Patrice YENGO, Les Mutations sorcières dans le bassin du Congo. Du ventre et de sa politique, Paris, Karthala, 2016.

Patrice YENGO, « Le ventre dans l'écriture de Sony Labou Tansi et Tchicaya U Tam'si », Continents manuscrits [en ligne], 1|2014, mis en ligne le 22 avril 2014. URL : https://journals.openedition.org/coma/238

Joseph TONDA, L'Impérialisme postcolonial. Critique de la société des éblouissements, Paris, Karthala, 2015.

Xavier GARNIER, Sony Labou Tansi. Une écriture de la décomposition impériale, Paris, Karthala, 2015.

Sur Kimpa Vita, voir Georges Balandier, Le royaume de Kongo du XVI au XVIII siècle, Paris, Fayard/Pluriel, 2016 et plus récemment Abel Kouvouama, Une histoire du messianisme. Un « monde renversé », Paris, Karthala, 2018

Sony LABOU TANSI, Qui a mangé Madame d'Avoine Bergotha ?, Carnières, Lansman éditeur, coll. Théâtre à vif, 1989, p. 25.

Sony LABOU TANSI, « Avertissement », Encre, sueur, salive et sang, Paris, Seuil, 2015, p. 115

Ibid.

XVII e siècle initiatrice d'un christianisme africain de résistance 37 : violée par un Saint Antoine portugais, l'héroïne anticoloniale porte en son sein l'étranger pour le « refonde [r]