# Reputation, Trust, and Reputation Games: Exploring the Dynamics of Reputation in Game-Theory Contexts

Contribution of SIMONE GOZZINI

# Introduction

Trust and reputation are different but interrelated concepts. The former can be defined as *“a particular level of the subjective probability with which an agent assesses that another agent or group of agents will perform a particular action, both before he can monitor such action (or independently of his capacity ever to be able to monitor it) and in a context in which it affects his own action”* (Gambetta, 2000, p. 5), while the latter can be defined as *“a situation when agents believe a particular agent to be something"* (Cabral, 2005, p. 3). Trust is a fundamental human sentiment that plays a crucial role in fostering cooperation among individuals. It serves as a catalyst for positive outcomes in various domains, including stock market participation, firm performance, and efficient market transactions. Trust creates an environment where individuals feel secure and confident in engaging in economic exchanges, leading to smoother and more fluid interactions. In fact, trust is considered a vital ingredient that allows complex modern societies to not only exist but also evolve and thrive (Popitz, 1980). Its influence permeates through different aspects of human interaction, enabling cooperation, economic growth, and societal development. However, trust involves risk and uncertainty about the other party’s behavior, given that perfect monitoring of what the other agent is doing is not possible: trust and trustworthiness are not easy to develop. Throughout history, various solutions have been devised to address this problem, including the use of physical coercion, contract law, and reputation. Among these solutions, reputation holds significant importance in enhancing trust and trustworthiness by reducing uncertainty, given that it *”establish(es) links between past behavior and expectations of future behavior.”* (Mailath & Samuelson, 2015, p. 166). By leveraging reputation, individuals can make more informed judgments about the trustworthiness of others, thereby reducing the risks associated with trust. As reputation serves as a bridge between past actions and future expectations, it plays a pivotal role in fostering trust and creating a more conducive environment for cooperative interactions.

Mailath and Samuelson (2006) extensively study the effects of reputation within the environment of repeated games, which has been found effective because those games provide a clear mathematical framework to describe both the short-term incentives that encourage opportunistic behavior and, through well-defined specifications of future actions, rewards, and punishments, the incentives that discourage opportunistic behavior.

The paper is organized as follows: section 2 offers contextual information on the connection between trust and reputation. It discusses the interplay between these concepts and their significance in various domains; section 3 provides a mathematical framework for stage-games (single round interactions) and repeated-games (interactions occurring over multiple rounds), focusing both on the case of perfect and imperfect monitoring; section 4 deals with the concept of reputation games within the context of both perfect and imperfect monitoring, in the case of one long-lived and one short-lived player; finally, section 5 presents the various specifications of repeated games in the case where the two players are both long-lived.

# Reputation and Trust

Extensive research in the literature has thoroughly examined the relationship between trust and reputation across various applications and contexts.

Diekmann and Przepiorka (2021) explore the problem of trust in economic transactions, which they define as *"the uncertainty regarding the trustworthiness and/or competence of the trustee that the truster faces"* (Diekmann & Przepiorka, 2021, p. 132). Uncertainty can hinder the occurrence of efficient exchanges, as it creates a situation where one party is unsure whether the other party will fulfill their promises. This uncertainty may manifest in various ways, such as doubts regarding whether the other agent will exchange the agreed-upon amount, deliver the promised product of satisfactory quality, or even engage in the exchange at all. Reputation, which creates the possibility to engage in long-lasting relationships, can be a solution given that it is a *“shadow of the past”* (Diekmann & Przepiorka, 2021, p. 134) behavior of the trustee. Trustworthiness can arise because reputation is a way to make the past transaction history of the trustee known to the trustor, who, by having access to this information, can gain insights into the characteristics and behavior of his counterpart, thereby reducing uncertainty. This is especially true in online markets, where the seller and the vendor are usually anonymous and are likely to engage in one-time-only transactions: decentralized reputation systems like ratings play an indispensable role in ensuring the viability of these markets, given that buyers are more likely to buy from sellers with good reputation and therefore vendors have the incentive to maintain a good reputation by providing good services. Also according to Einwiller (2003), who conducted an empirical research involving 473 German internet users, reputation systems play a critical role in building trust within online markets. This is especially significant for consumers who are less familiar with engaging in such markets.

Xiong and Liu (2004) study the problem of reputation and trust in peer-to-peer online communities, which are platforms or networks that facilitate direct interaction and collaboration among individuals without relying on a centralized authority or server. To overcome the uncertainty and the threats related to decentralized networks, they develop a reputation-based trust supporting framework called PeerTrust, which aims to assess the trustworthiness of peers within these communities. This system is based on the following features: the feedback a peer receives from other peers, the total number of transactions a peer performs, the credibility of the feedback sources, the transaction context factor, and the community context factor. Once again, it is evident that building a reputation plays a pivotal role in enhancing trust and facilitating efficient exchanges. Similar conclusions are also achieved by Selcuk et al. (2004).

At a more granular level, the reputation of individual firms (and therefore their perceived trustworthiness) holds significant importance. Companies that foster a positive culture, underpinned by a well-defined code of ethics, possess the ability to cultivate a favorable reputation. This, in turn, bolsters the trust vested in them by their stakeholders (Webley, 2004). Consequently, these firms experience enhanced profitability as they attract high-quality employees, cultivate loyal customers, and are perceived as more valuable, affording them the opportunity to command premium pricing for their products (Eccles et al., 2007). Furthermore, reputation enhances the persistence and sustainability of these positive performances over time (Roberts & Dowling, 2002). As such, reputation emerges as an indispensable intangible asset (Dowling, 1993).

# Definitions

To delve into the realm of game theory, it is essential to establish a clear understanding of the mathematical frameworks underlying stage games and repeated games.

## Stage games with perfect monitoring

Repeated games can be defined starting from stage games. There are n players and each of them can choose various actions **Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\textstyle a_{i}}**
from a set of available pure actions **Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\textstyle A_{i}}**
. The set of pure actions profile is . The payoffs are given by a continuous function . The set of mixed actions for player i is , with a typical element **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \alpha_i}**
, while the set of mixed profile is **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \prod_{i} \Delta(A_i)}**
. The set of stage-game payoffs generated by pure action profiles in A is **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle F \equiv \{v \in \mathbb{R}^n : \exists a \in A \text{ such that } v = u(a)\}}**
and the set of feasible payoff is **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle F^{\dagger} \equiv coF}**
, which is a convex hull of F. A payoff **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v \in F^{\dagger}}**
is inefficient if **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \exists v^\prime \in F^{\dagger}}**
s.t **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v^\prime_i > v_i}**
, otherwise it is efficient. According to Nash (1951), if the stage game is finite, there is a Nash equilibrium, but, because the payoffs are given by a continous function, also infinite stage games have Nash equilibria. Further assumptions are made:

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle A_{i}}**is either finite, or a compact and convex subset of the Euclidean space**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \mathbb{R}^k}**, for some k.- If
**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle A_i}**is a continuum action space, then**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle u : A \rightarrow \mathbb{R}^n}**is continuous, and**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle u_i}**is quasiconcave in**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a_i}**.

It is important to characterize the worst payoff that an individual can reach while optimizing. The worst outcome for player i, consistent with player i behaving optimally, is reached when the other player choose the action **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a_{-i} \in A_{-i} \equiv \prod_{j \neq i} A_j}**
that minimizes the payoffs i gets when he plays the best response to action **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a_{-i}}**
. This is called *minmax payoff* and mathematically is defined by **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v^{p}_i \equiv \min_{\stackrel{a_{-i} \in A_{-i}}{}} \max_{\stackrel{a_i \in A_i}{}} u_i(a_i, a_{-i})}**
. Thus, it is possible to define **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{a^i} = (\hat{a^i_i},\hat{a^i_{-i}})}**
as the minmax profile for player i. A payoff vector **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v = (v_1, \ldots, v_n)}**
is weakly individually rational if **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v_i \geq v^p_i}**
**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall}**
i, and it is strictly individually rational if **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v_i > v^p_i}**
**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall}**
i.

## Repeated games with perfect monitoring

A repeated game is a stage game that is repeated in each period **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle t \in \{0, 1, \ldots\}}**
. The behavior in this kind of games is called *strategy* and it is a collection of actions. The authors firstly deal with *perfect monitoring* games, so at the end of each period t each player can observe the actions taken by all the other players. The set of period t histories is given by **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle A^t}**
, that is the t-fold product of A. A history **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle h^t \in A^t}**
is thus a list of action profiles, identifying the actions played in periods 0 through . The set of all possible histories is . A pure strategy can be defined as , while a mixed strategy (also called behavior strategy) is **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sigma_i : H \rightarrow \Delta(A_i)}**
. A continuation game is the infinitely repeated game that begins in t, following history . The continuation strategy induced by is denoted by . The continuation game associated with each history is also defined as a subgame identical to the original game. This means that repeated games have a recursive structure. An outcome path in the infinitely repeated game is an infinite sequence of action profiles . They differ from histories because histories have a finite length. The first periods of an outcome are defined as . Thus, is the history in corresponding to the outcome . A strategy profile induces an outcome and, analogously, a behavior strategy profile induces a path of play. For a pure strategy profile, the induced path of play and induced outcome are the same. In period , the induced pure strategy profile yields a payoff . An outcome induces an infinite stream of stage game payoffs which are discounted with a discount factor . The payoff from a pure strategy profile is therefore:

A Nash equilibrium is a strategy profile in which each player is optimally responding to the strategies of the others. Formally, is a Nash equilibrium if players and strategies , we have Furthermore, a strategy profile is a subgame-perfect equilibrium if histories , is a Nash equilibrium of the repeated game.

The authors further define the concept of one shot deviation: for player i and from strategy , a one shot deviation is a strategy with the property that a unique history H such that , . A one shot deviation is profitable if, fixed an opponent strategy , at the history for which , . A strategy profile is a subgame perfect IFF there are no profitable one shot deviations. However, along the equilibrium path, the absence of one-shot deviations is not sufficient to establish a Nash equilibrium, even though in the equilibrium path there cannot be profitable one-shot deviations. The one-shot principle is useful because it simplifies the strategies to check when evaluating subgame perfection. Another way to simplify is by grouping repeated-game strategies in automata. An automaton is a set of states W, an initial state , a decision function f : associating mixed action profiles with states, and a transition function , which identifies the next state of the automaton, given its current state and the realized stage-game pure action profile. Any strategy profile can be represented by an automaton. It is possible to represent a single strategy by the automaton , the strategy profile as the automaton and a continuation strategy as the automaton . The strategy profile with an automaton is a subgame perfect equilibrium IFF w W accessible from , the strategy profile induced by is a Nash equilibrium for the repeated game.

### Equilibria

To discuss the notion of equilibrium, the authors describe the notions of enforceability and pure-action decomposability:

- Enforceability: A pure action profile is enforceable on W if some specification of continuation promises (i.e. a commitment made by a player in a sequential game to take a specific action in future stages of the game) such that, players i and , .
- Decomposability: A payoff is pure action decomposable on W if a pure action profile enforceable on W such that where is a function enforcing .

Any set of payoff with the property that every payoff in W is pure-action decomposable on W is a set of pure-strategy subgame-perfect equilibrium payoffs. Moreover, a set W is pure-action self-generating if every payoff in W is pure-action decomposable on W.

### Simple strategy and penal code

Simple strategy profile: given (n + 1) outcomes , the associated simple strategy profile is given by the automaton: , , and

Then, a definition of an optimal penal code is given. Let be outcome paths satisfying , for . The collection is an optimal penal code if , being the set of pure strategy subgame-equilibrium payoffs.

### Long-lived and short-lived players

The authors introduce short-lived players, who differ from long-lived players since the latter live throughout the game. On the contrary, short-lived players are concerned only with the current period payoffs (therefore they do not discount) and they are called myopic. There are two interpretations for them:

- In each period a collection of short-lived players enter the games and, after one period, they leave.
- Each of them represents a continuum of long-lived agents.

Small players are assumed to be anonymous (i.e a change in the behavior of a member of the continuum does not affect the ditribution of play, so it does not affect the behavior of other players) and each of them observes observes only the history . The notion of one-shot deviation applies also in games with long and short lived players. Moreover, being myopic, the short-lived players play a Nash equilibrium of the induced stage game, given the actions of the long-lived players.

It is possible to generalize the concept of minmax payoff with short-lived players. Let B: be the correspondence that maps any mixed-action profile for the long-lived players to the corresponding set of static Nash equilibria for the short-lived players. For each long-lived player i, the payoff is player i’s (mixed-action) minmax payoff with short-lived players and it is a lower bound on the payoff that player i can obtain in an equilibrium of the repeated game.

Finally, repeated games with short-lived players have some features that must be underlined:

- There are some restrictions on the payoffs that can be achieved by the long-lived players. In particular, short-lived players impose restrictions on the set of equilibrium payoffs that go beyond the specification of minmax payoffs.
- There are restrictions on the structure of the equilibrium.

Let i being a long-lived player and

## Games with imperfect monitoring

The focus before was on perfect monitoring games, where deviations from the equilibrium can be easily detected and punished, thus providing incentives for players not to myopically optimize. Now the authors focus on games with imperfect monitoring, so games where players have only noisy information about past play, thus making deviations more difficult to discover. However, it is still possible to have players that do not myopically optimize, since punishments are still possible. When the noisy signals are observed by all players we are in the case of imperfect public monitoring, while if some signals are observed by some players but not others, we are in the case of private monitoring. The following sections focus on imperfect public monitoring, but the results can be extended for the case of private monitoring.

### Stage games

The specification of this games is very similar to the stage games with perfect monitoring, seen in section 3.1. The main difference relies in the presence of a public signal , from the finite signal space . will be the probability that signal is realized, given . The function is continuous. has full support if . Player i’s payoff at the end of each period, given the realization is , while ex-ante stage game payoffs are . The other assumptions are maintained.

### Repeated games

Repeated games with imperfect monitoring have a similar structure to the games presented in section 3.2. The only public information available in t is the t-period history of public signals . The set of public histories is . A history for a long-lived player will include the public history and the history of the actions he has taken. It is assumed that each short lived-player in period t only observes the public history . A pure strategy profile does not induce a deterministic outcome path, since public signals may be random. Public monitoring games include also the special case of perfect monitoring games, where Y=A and if y=a, 0 otherwise.

Long-lived players have private information (the knowledge of their past actions), so information sets are isomorphic to private histories, not to public histories. A behavior strategy is public if, in every period , it depends only on the public history and not on ’s private history: satisfying , . Otherwise, it is private. If all players other than i are playing a public strategy, then player i has a public strategy as a best reply. and are said to be realization equivalent if, for all strategies for the other players, , the distributions over outcomes induced by and are the same. Thus, it is possible to demonstrate that every pure strategy in a public monitoring game is realization equivalent to a public pure strategy.

Finally, it is possible to define a perfect public equilibrium (PPE) as a profile of public strategies that, , specifies a Nash equilibrium for the repeated game. That is, and , is a Nash equilibrium. is a PPE IFF there are no profitable one shot deviations.

# Reputation games

Reputation can be considered as a specification of the concept of trust. It can be defined as "a link between past behavior and expectations of future behavior" (Mailath & Samuelson, 2006, p.459) that arise after multiple interactions among agents. Repeated games are therefore a good environment to study reputation.

There are two kind of approaches:

- In the first, an equilibrium of the repeated game is selected and it involves an equilibrium path that is not a Nash equilibrium of the stage game. Players who choose the equilibrium are said to maintain a reputation, triggering a punishment if they deviate, consisting in loosing their reputation. The link between past and future behavior, i.e. reputation, is an equilibrium phenomenon.
- In the second (adverse selection approach), each player is uncertain about the characteristics of his opponent. Therefore, this incomplete information introduces a link between past and future behavior, thus making the concept of reputation arise. Here, the reputation approach does not describe a possible equilibrium, but places constraints on the equilibria available.

## Commitment types

The authors firstly consider game with one long-lived player and one short-lived player. Player 2 does not know the type of player 1, but he has a prior belief about player 1’s type , which comes from a countable set . There are two possible categories of types for player 1:

- the payoff type , which maximizes the average discounted value of his payoffs. Of particular interest, in this category, there is the normal type , who has a stationary payoff function.
- the commitment type , who does not have payoffs but play a particular game strategy. If the strategy played consist in the same stage-game action in every period, regardless of the past history, the player will be a simple commitment type.

Usually, the probability is large.

Player 1’s pure-action Stackelberg payoff can be defined as

## Perfect monitoring games

The authors firstly focus on repeated games with perfect monitoring. The action set of player 2 is assumed to be finite and each player only play a pure strategy. The basic reputation result establishes a minimum threshold for the equilibrium payoffs of the normal long-lived player. H is the set of public histories in the complete information game and also in the incomplete information game, and an history for player 1 will be , which specifies player 1’s type and the public history. A behavior strategy for player 1 will be such that, for all commitment types , . A behavior strategy for player 2 will be .

Let be the type long-lived player’s payoff. A strategy profile is a Nash equilibrium of the reputation game with perfect monitoring if , maximizes over player 1’s repeated game strategies, and if and that have positive probability under and ,

The first goal is to demonstrate that, when player 2 assign some probability to 1 being the simple type , if the normal player 1 repeatedly plays , then player 2 will place an high probability on the fact that such action will be played in the future. Obviously, the reputation for playing will not arise instantaneously, and it can also be costly. However, the cost will be negligible if player 1 is sufficiently patient. If this action is the Stackelberg action , when player 1 is sufficiently patient, the resulting lower bound on player 1’s payoff is close to his Stackelberg payoff . Let be the space of outcomes, being a specific outcome. A profile of strategy , along with , induces a probability measure on the set of outcomes , . is the event that action is chosen in every period. will be the probability that is chosen in period t conditional on , that is , and it is a random variable. The normal player 1 receives a payoff of at least in any period t in which is large enough to permit player 2 to choose the best response to and player 1 effectively plays . Since player 1 can always play , the payoff generated by always playing must be the lower bound of the payoff in any Nash equilibrium.

Let be the number of random variables for which and the event that player 1 is type . Fix . Suppose for some and . profile ,

By committing to action , player 1 can guarantee the payoff

- It makes future payoffs relatively more important.
- it diminishes the significance of the initial sequence of periods in which player 1 may incur in costs to imitate the commitment type.

## Example: product-choice game

Let’s consider the following product-choice game (i.e. a game where the first agent is a firm that decides whether to exert high (H) or low (L) effort in producing its output, while the second agent is a consumer that can buy a high-priced (h) or low-priced (l) product).

Player 2 |
||||
---|---|---|---|---|

h |
l |
|||

Player 1 |
H |
2,3 | 0,2 | |

L |
3,0 | 1,1 |

Player 1 is a long lived player, while player 2 is a short lived player. Player 1 can build a reputation of playing H by persistently doing so. This at the beginning could be costly for player 1, since it may take time for player 2 to be convinced (and in the meanwhile he will play l), but the subsequent payoffs could make the initial investment rewarding, if player 1 is sufficiently patient. However, nothing in the repeated game structure captures this feature. Therefore, it is necessary to introduce the probability , i.e. the probability that player 2 assigns to the possibility that player 1 is a commitment type (so it has some hidden characteristics that ensure that he will exert high effort) and not a normal type (so a player without the hidden characteristics previously mentioned). This introduces a link between past and expected future play of H: player 2 can decide the action to play after having seen the behavior of player 1. Therefore, (L,l), which would have been the unique Nash equilibrium in the perfect monitoring game of complete information, is not the necessary outcome anymore. For example, if the product choice game is played twice in this setting, the response of player 2 will depend on what player 1 does, assuming that he is normal. If player 1 plays L, player 2 will subsequently play l, believing that he is facing the normal type. On the other hand, if player 1 plays H, player 2 will possibly conclude that he is facing the commitment type, thus best responding with h. Player 1, who has behaved like the commitment type, can sacrifice current payoff to get more in the following period.

Continuing with the example, the pure Stackelberg type of player 1 chooses H, with a payoff of 2. Suppose . If , always playing Hh is a subgame perfect equilibrium of the complete information game. Adapting the profile for incomplete information games we have that

Now, let , the Stackeblerg action. Let a commitment type who: plays H if and L afterwards. will be , the simple commitment type who always plays L and the nonsimple commitment type for t 1. Finally, let be the type that plays H in period 0 and in every other period if 2 plays h in time 0. Consider the strategy profile where normal player 1 always play H and player 2 always play h. is the set of outcomes in which player 1 always plays H. . In period 1 Hh is the only history consistent with that has a non zero probability. With Bayes rule, we obtain that If instead player 1 still always plays H, but player 2 plays h with probability 1/2 and l with probability 1/2 in the first period and then always plays h, the calculation for does not change, but now Hl and Hh are both consistent with . So, and

## Imperfect monitoring games

The authors now study imperfect monitoring games, focusing firstly on the case with one long-lived and one short-lived players. will be the action space and will be the finite signal space. In each stage of the repeated game, each player only learns the realized value of this (private) signal. Let be the distribution over private signals for each action profile and let be the ex-post payoff of normal player 1 and player 2 after the realization of z and a. Ex-ante stage game payoffs are . is the same as the previous section. The set of private histories for player 1, excluding his type, is , while a behavior strategy for player 1 can be defined as , such that , . The set of private histories for player 2 is , while a behavior strategy is . A strategy profile is a Nash equilibrium of the reputation game with imperfect monitoring if , maximizes (type long lived player’s payoff) over player 1’s repeated game strategies, and if and that have positive probability under and ,

Since in this environment monitoring is not perfect, the best responses obtainable by playing are not simply the actions in . Consider the set of possible best responses of player 2 to player 1’s mixed action . An action is an best response to if such that and . is the set of -confirmed best responses to . For private monitoring games, let . The results of the authors show that if player 2 assign positive probability to a simple type , a patient normal player 1’s payoff in every Nash equilibrium (with an approximation) can be no lower than . Taking the supremum over , the payoff will be .

Further assumptions are necessary. In particular, it must be that , (and ), is linearly independent, that is for any action of player 2 no two actions for player 1 should generate the same distribution of signals. For the private-monitoring game, this means that and equals the mixed action Stackelberg payoff.

It is possible to demonstrate the following proposition. Let be the simple commitment type that plays (or ). Suppose , . In the private monitoring game (or canonical public monitoring game), , K such that :

The same results can be obtained when the short-lived player is interpreted as a continuum of small and anonymous long lived players. Each small player receives a private signal from the finite set , while the large player observes a private signal of the aggregate behavior of the small players. If the private signal received by the small players is common across all small players, the model is identical to what previously described. If each small player observes different realization of the private signal (idiosyncratic signals), the model is different. In this case, let denote the simple commitment type that always plays (if is finite) or (if is infinite). Suppose . , such that ,

### Example: product-choice game with public monitoring

Player 1’s actions are not public. There is a public signal that can take values and , with distribution , with . Player 2’s actions are public and is player 1’s mixed action that randomize equally between his possible actions. , every pure or mixed action for player 2 . Therefore, and . The resulting payoff is the mixed action Stackelberg payoff and it is higher than , which it is possible to demonstrate that it is the upper bound player 1’s payoff in the public monitoring game with complete information.

### Temporary reputations

Under imperfect monitoring, the authors show that player 2 must eventually learn the type of player 1. While the normal and commitment types may exhibit similar behavior over an extended duration, the normal type will inevitably find motivation to deviate slightly from the commitment strategy. This contradicts the belief held by player 2 that player 1 will consistently demonstrate commitment. Consequently, player 2 will eventually acquire knowledge about player 1’s true type.

The environment in which they operate is that of incomplete information private monitoring games. The authors assume that and , the collection of probability distributions This assumptions implies that player i is able to correctly identify any fixed-stage game action of player j. The focus will be on one simple commitment type for player 1. For the the normal type, a strategy will be denoted as , while for the commitment type . Let be the unconditional probability measure induced by and the strategy profile, while will be the measure induced by conditioning on . For player 2, will be the unique stage game best response to . will not be a stage-game Nash equilibrium. Suppose that there is a Nash equilibrium of the incomplete information game in which it is possible that player 1 can be either the normal or the commitment type. Player 2 will not distinguish between the signals generated by the two types, thus believing that both are playing the same strategy. Player 2 will play a best response to this strategy, that is a best response to the commitment type. Since it is not a best response also for player 1, he will find optimal to deviate, contradicting player 2’s beliefs. This means that in any Nash equilibrium of the game with imcomplete information, , being the filtration on generated by player 2’s histories.

It is also possible to demonstrate that there cannot be equilibria in which uncertainty about player 1’s type survives after T, for any period T. Indeed such that for any Nash equilibrium of the game with incomplete information,

# Reputation with long-lived players

This section deals with perfect monitoring games with two long-lived players. The goal is to demonstrate that when player 1 consistently plays the Stackelberg action and there exists a type of player 1 committed to that action, player 2 will eventually assign a high probability to the occurrence of the Stackelberg action in future rounds. However, being now player 2 long-lived, he may not play a best response to the Stackelberg type, but something else. When dealing with two long-lived players, a crucial step is to determine the conditions in which player 2, as his conviction regarding the appearance of the Stackelberg action grows, will ultimately choose to play a best response to that action. The following considerations applies in this setting: it is possible to think that as long as player 2 considers future benefits (thus discounting), any losses incurred by not playing a current best response must be compensated within a finite duration. However, if player 2 holds a strong conviction that the Stackelberg action will be played not only in the present but also in numerous subsequent periods, there will be no chance to accumulate future gains. Consequently, player 2 may find advantageous to simply opt for a stage-game best response. If this is the case, player 1 will receive almost the Stackelberg payoff in each period, thus putting a lower bound on his payoff if he is sufficiently patient. However, here lies the difference with the setting with short-lived players: player 2 might select an option other than a best response to the Stackelberg action due to concerns about triggering a future punishment by playing a current best response. This punishment would not occur if player 2 were facing the Stackelberg type, but player 2 can only be certain that he is facing the Stackelberg action, not the Stackelberg type. Short-lived players have the same fear, but this uncertainty does not affect their behavior given their time horizon.

## Perfect monitoring

Consider a perfect monitoring repeated game with two long-lived players. The two players have different discount factors and the characteristics of player 2 are known. The remaining environment is similar to the case with a short-lived player 2.

The focus is now on a commitment type that minmaxes player 2. It is possible to demonstrate that if a pure action that mixed-action minmaxes player 2 and there is a positive probability that player 1 is the simple type , a sufficiently patient normal player 1 gets a payoff arbitrarily close to , which is the one-shot bound on player 1’s payoff when he commits to . The following definition applies: the stage game has conflicting interests if a pure Stackelberg action mixed action minmaxes player 2. The highest reputation bound is obtained when the game has conflicting interests. Let be the infimum of the normal player 1’s payoffs. Suppose a value k, independent of (but depending on ), such that Therefore, only in some periods k player 2 can play something other than the best response to and if player 1 is patient enough, these k periods have a small effect on his payoffs. Eventually, player 2 will play the best response to . Moreover, such that , If the equilibrium strategy of player 2 results in a payoff lower than his minmax payoff, given that is always played, then it implies that player 2 does not anticipate to be played consistently.

Example: The product choice game (same structure of section 1). This game is not one of conflicting interests. When player 1 takes the Stackelberg action H, it elicits a best response h from player 2, resulting in a payoff of 3 for player 2, surpassing his minmax payoff of 1. In contrast to games with conflicting interests, both normal player 1 and player 2 benefit more when player 1 chooses the Stackelberg action (with player 2 best responding) compared to the Nash equilibrium in the stage-game.

It is also possible that not only player 1’s type is unknown, but also player 2’s type. Each player’s type comes from a countable set before the game begins. is the probability that player 2 is normal. Also in this setting there is a maximum number of periods in which normal player 2 can play something other than the best response to . Suppose for some action minmaxing player 2. a constant k, independent of player 1’s discount factor, such that the normal player 1’s payoff in any Nash equilibrium of the repeated game is at least All in all, to establish a reputation, it is not important that incomplete information is only one sided, but that player 1 is sufficiently patient and that Therefore, this ensures that player 2 will eventually play an optimal response to and not in a very far away period.

### Other actions

If action does not minmax player 2, the number of periods in which player 2 is not optimally responding cannot be bound anymore. However, it is possible to bound the number of times in which player 2 can expect a continuation payoff lower than his minmax value. Player 1 payoff bound is where is the set of player 2 actions that imply his minmax utility. It is possible to demonstrate that, fixing and with , , such that If does not minmax player 2, then , the one shot bound. Moreover, it is not necessary that the Stackelberg action maximizes and this bound is verified for all actions. If for all simple pure commitment types, then a normal player 1 will get a payoff close to .

## Imperfect Public Monitoring

In this section, there are 2 long-lived players who play an imperfect public monitoring game. are finite action sets. is the public monitoring distribution and it has full support, so , Player 2’s actions are imperfectly monitored by player 1 and player 2 is able to update his belief based on what he observes about player 1. Therefore, it is also assumed that mixed action , As usual, is the discount factor for player i, is the prior with a support . Player 1’s set of history is and a strategy behavior is , while a set of histories for player 2 is , with a behavior strategy . A Nash equilibrium and induce a measure P over the set of outcomes . It is possible that player 1 is committed to a non simple strategy. Being the complete information finitely repeated game that plays the complete information stage game N times, it is possible to define the payoff as follow: for player 1, ; for player 2, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \frac{1 - \delta_2}{1 - \delta_2^N} \sum_{t=0}^{N-1} \delta_2^t u_2(a^t)}**
. **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sigma^N_1}**
is a strategy in a infinitely repeated game or in a finite repeated game of length N or integer multiple of N. The target for player 1’s payoff is the maximum payoff achievable by the strategies **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \Xi}**
, the support of **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \mu}**
, within the corresponding finitely repeated game, when player 1 exhibits arbitrary patience. The set of player 1 payoffs can be defined as **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle V_1(\delta_2, \Xi) \equiv \left\{ v_1 : \forall \varepsilon > 0, \exists N, \xi(\sigma^N_1) \in \Xi \text{ s.t. } \forall \sigma^N_2 \in B^N(\sigma^N_1; \delta_2), U^N_1(\sigma^N_1, \sigma^N_2) \geq v_1 - \varepsilon \right\}}**
**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \text{and set } v^{\ddagger}_1(\delta_2, \Xi) = \sup V_1(\delta_2, \Xi)}**
. If **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \xi(\alpha_1) \in \Xi}**
, then **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v^\ddagger_1(\delta_2, \xi) \geq v^*_1(\alpha_1)}**
. If **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \xi}**
contains only simple commitment types, then **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v^\ddagger_1(\delta_2, \xi) = v^{**}_1}**
. **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v^\ddagger_1}**
may be much higher than **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v^{**}_1}**
It is possible to demonstrate that **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall \eta > 0}**
and **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \delta_2}**
, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \exists \underline{\delta_1} < 1}**
such that **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall \delta_1 \in (\underline{\delta_1},1)}**
, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v_1(\xi_0, \mu, \delta_1, \delta_2) \geq v^\ddagger_1(\delta_2, \Xi) - \eta}**
. Moreover, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall \eta > 0 \text{ and } \delta_2 > 0, \exists N^\prime, \delta_1^\prime, \varepsilon^\prime, \text{ and a strategy } \sigma^{N^\prime}_1 \text{ for } G^{N^\prime}(\delta_2)}**
, with **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \xi(\sigma^{N^\prime}_1) \in \Xi}**
, such that if player 2 plays an **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \varepsilon^\prime}**
-best response to **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sigma^{N^\prime}_1}**
in **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle G^{N^\prime}(\delta_2)}**
, then player 1’s **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \delta_1}**
-discounted payoff in **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle G^{N^\prime}(\delta_2)}**
is at least **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v^\ddagger_1(\delta_2, \Xi) - \frac{\eta}{2}.}**
It can also be shown that **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall \varepsilon > 0, N \in \mathbb{N}, \text{ and } \sigma^N_1, \exists \gamma > 0}**
such that **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall \tilde{\sigma}^N_1}**
, if **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle |\rho^N(\cdot | (\sigma^N_1, \sigma^N_2)) - \rho_N(\cdot | (\tilde{\sigma}^N_1, \sigma^N_2))| < \gamma \text{ for } \sigma^N_2}**
an **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \varepsilon\text{-best response to } \sigma^N_1 \text{ in } G^N(\delta_2)}**
, then **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sigma^N_2}**
is a **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle 2\varepsilon\text{-best response}}**
to **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \tilde{\sigma}^N_1.}**

Given **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle G^N(\delta_2)}**
, let us divide the infinitely repeated game into blocks of length N. Incomplete information repeated games have a prior **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \mu \in \Delta(\Xi)}**
and a posteriors **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \mu^\prime \in \Delta(\Xi)}**
. **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \text{Given a strategy profile } \sigma \text{ and a prior } \mu^\prime, \text{ let } \rho^N_{\sigma,\mu^\prime}(\cdot | h^{Nk}_2)}**
be player 2’s "one-block" ahead prediction of the distribution over signals in block **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle G^{N,k}}**
(the **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle k^{th}}**
block of periods of length N) for any private history **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle h^{N,k}_2 \in H^{N,k}_2.}**
**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle P^{(\sigma^N_1, \sigma_2)}}**
is the probability measure over **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \Omega}**
implied by **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sigma_2}**
conditioning on the event **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \xi(\sigma^N_1) \in \Xi}**
. It can be shown that, fixing **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \lambda, \mu^{\text{†}} \in (0, 1)}**
and **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \gamma > 0}**
, integer N, and a strategy **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sigma^N_1}**
, there exists an integer L such that **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall (\sigma_1, \sigma_2)}**
and all **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \mu^\prime \in (\Delta(\Xi))}**
with **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \mu^\prime(\xi(\sigma^N_1)) \geq \mu^{\text{†}}}**
, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P^{(\sigma^N_1, \sigma_2)} (| \left\{ k \geq 0: | \rho^N_{(\sigma^N_1, \sigma_2), \mu^\prime} (\cdot | h^{Nk}_2) - \rho^N_{(\sigma_1, \sigma_2), \mu^\prime} (\cdot | h^{Nk}_2) | \geq \gamma \right\} | \leq L) \geq 1 - \lambda.}**

### Commitment types who punish

A similar result can be obtained by adding, in the environment of perfect monitoring, commitment types who punish player 2 for not behaving properly. Player 2 will thus know the features of player 1, which previously remained hidden. This uncertainty was the reason why player 2 did not play a best response to the Stackelberg type in the simple environment of perfect monitoring.

Let **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a^\prime_1 \in A_1}**
be an action for player 1, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a^\prime_2}**
the best response for player 2 for which **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle u_2(a^\prime_1, a^\prime_2) > v^p_2}**
and **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{a^2_1}}**
the action for player 1 that minmaxes plaer 2. Player 1 is a commitment type who plays strategy **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{\sigma_1}}**
which consist in phase k, where he plays **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{a^2_1}}**
and then he plays **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a^\prime_1}**
. If player 2 does not play **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a^\prime_2}**
, he will punish him. It is possible to demonstrate that fixing an integer **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle K > 0}**
and **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \eta > 0}**
, there exists an integer **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle T(K,\eta,\hat{\mu}^0)}**
such that **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall}**
pure strategy **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sigma_2}**
and any **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \omega \in \hat{\Omega}}**
, there are no more than **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle T(K,\eta,\hat{\mu}^0)}**
periods **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle t}**
in which player 2 attaches probability no greater than **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle 1 - \eta}**
to the event that player 1 plays as **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{\sigma}_1}**
in periods **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle t, \ldots, t + K}**
, given that player 2 plays as **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sigma_2}**
. Moreover, fixing **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \varepsilon > 0}**
and letting **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \Xi}**
contain **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{\sigma}_1}**
, for some action profile **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a^\prime}**
with **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle u_2(a^\prime) > v^p_2}**
, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \exists}**
a **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \underline{\delta_2} < 1}**
such that **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall \delta_2 \in (\underline{\delta_2}, 1)}**
, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \exists}**
a **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \underline{\delta_1}}**
such that **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall \delta_1 \in (\underline{\delta_1}, 1)}**
, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle v(\xi_0, \mu, \delta_1, \delta_2) \geq u_1(a^\prime) - \varepsilon}**
. If **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle a^\prime_1}**
is player 1’s Stackelberg action, then this result gives player 1’s Stackelberg payoff as a lower bound of his equilibrium payoff in the game of incomplete information. The bound on the payoff for the normal player 1 is determined by demonstrating that player 2 will face only a finite number of punishments resulting from player 1’s commitment type.

## Temporary reputations with two long-lived players

The results obtained in section 4.4.2 can be generalized also in the case of two long-lived players. Considering the case in which player 1’s type is unknown, it is possible to show some conditions under which player 2 is effectively able to learn about player 1’s type. The authors assume a commitment type who plays **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{\sigma_1}}**
, a strategy with no long-run credibility for which:

**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{\sigma_2}}**is the best response for player 2 and it is unique on the equilibrium path.**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \exists \text{ }T^0}**such that**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \forall t > T^0}**, normal player 1 is likely to deviate from**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{\sigma_1}}**, given**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{\sigma_2}}**.

The set of best responses to **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \sigma_1}**
for player 2 in the game of complete information is **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle B(\sigma_1) \equiv \{\sigma_2 : U_2(\sigma_1, \sigma_2) \geq U_2(\sigma_1, \sigma_2^\prime) \text{ }\forall\text{ }\sigma_2^\prime\}}**
, with **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle U^t_i}**
being player i’s continuation value in period t.

Let **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \pi}**
be the monitoring distribution and let the commitment type’s strategy **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{\sigma}_1}**
be public and with no long-run credibility. Then in any Nash equilibrium of the game with incomplete information, **Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \hat{\mu}^t \rightarrow 0}**
**Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\textstyle \tilde{P}}**
-almost surely.

# References

- Cabral, L. M. B. (2005). The economics of trust and reputation: A primer [Last access June 8, 2023]. Reputation June05.pdf
- Diekmann, A., & Przepiorka, W. (2021). Trust and reputation in historical markets and contemporary online markets. In A. Maurer (Ed.), Handbook of economic sociology for the 21st century: New theoretical approaches, empirical studies and developments (pp. 131–145). Springer International Publishing.
- Dowling, G. (1993). Developing your company image into a corporate asset. Long Range Planning, 26, 101–109.
- Eccles, R., Newquist, S., & R., S. (2007). Reputation and its risks [Last access June 10, 2023]. [1]
- Einwiller, S. (2003). When reputation engenders trust: An empirical investigation in business-to-consumer electronic commerce. Electronic Markets, 13 (3), 196–209.
- Gambetta, D. (2000). Can we trust trust? Trust: Making and Breaking Cooperative Relations, electronic edition, Department of Sociology, University of Oxford, 213–237.
- Mailath, G. J., & Samuelson, L. (2006). Repeated Games and Reputations: Long-Run Relationships. Oxford: Oxford University Press.
- Mailath, G. J., & Samuelson, L. (2015). Chapter 4 - reputations in repeated games. In H. P. Young & S. Zamir (Eds.), Handbook of Game Theory with Economic Applications. Elsevier. 165-238.
- Nash, J. (1951). Non-cooperative games. Annals of Mathematics, 54 (2), 286–295.
- Popitz, H. (1980). Die normative konstruktion von gesellschaft. Tubinga: Mohr Siebeck.
- Roberts, P. W., & Dowling, G. R. (2002). Corporate reputation and sustained superior financial performance. Strategic Management Journal, 23 (12), 1077–1093.
- Selcuk, A., Uzun, E., & Pariente, M. (2004). A reputation-based trust management system for p2p networks. IEEE International Symposium on Cluster Computing and the Grid, 2004. CCGrid 2004., 251–258.
- Webley, S. (2004). Risk, reputation and trust. Journal of Communication Management, 8, 9–12.
- Xiong, L., & Liu, L. (2004). Peertrust: Supporting reputation-based trust for peer-to-peer electronic communities. IEEE Transactions on Knowledge and Data Engineering, 16 (7), 843–857.