This paper studies sequential quantum games under the assumption that the moves of the players are drawn from groups and not just plain sets. The extra group structure makes possible to easily derive some very general results characterizing this class of games. The main conclusion of this paper is that the specific rules of a game are absolutely critical. The slightest variation in the rules may have important impact on the outcome of the game. This work demonstrates that it is the combination of two factors that determines who wins: (i) the sets of admissible moves for each player, and (ii) the order of moves, i.e., whether the same player makes the first and the last move. Quantum strategies do not a priori prevail over classical strategies. By carefully designing the rules of the game it is equally feasible either to guarantee the fairness of the game, or to give the advantage to either player.

Keywords: Quantum games; classical games; sequential quantum games; groups of actions; winning strategies.

§ INTRODUCTION

Game theory is a powerful tool that can be especially helpful whenever one wants to study complex situations, concerning conflict, competition, cooperation, and, even, survival between rational entities, typically refereed to as players. Despite its rather playful terminology and setting, game theory has been used to address serious problems from a multitude of fields, ranging from economics, political and social sciences, to computer science, evolutionary biology and psychology. It is not at all surprising that for such a popular subjects there are many superb textbooks. Such a modern and pedagogical introduction is the book [1]. For the reader striving for more rigor, the book [2] by Myerson and the book by Maschler et al. [3] fit the bill. These books are the main references for the game-theoretic concepts used in this paper. Game theory provides an elaborate framework that facilitates the analysis of conflict, competition, and cooperation. This analysis is primarily based on the concept of players or agents. Every agent has her own agenda and her actions interfere with the plans of the other agents. When the game ends, every player evaluates her gains or losses using a payoff function. The assumption of rationality is essential in order to ensure that every agent strives to maximize her payoff.

The field of quantum computation promises to bring a new era in our computational abilities. Although its origins can be traced back to the early '80s, it took a while for the field to mature and reach its current state. Today there exist commercial quantum computers utilizing a rather modest number number of qubits. This is expected to change in the coming years; if the predictions come true, the number of available qubits will increase substantially. This, in turn, will offer a spectacular increase in our computational capabilities and enable us to tackle useful and practical instances of difficult decision and optimization problems. In this larger perspective it would seem that the emergence of quantum games was unavoidable. The recent field of quantum game theory studies the use of quantum ideas and concepts in classical games, such as the coin flipping, the prisoners' dilemma and many others.

§.§ Related work

The field of quantum games was initiated in 1999 when Meyer in his influential paper [4] presented the PQ penny flip game, which is the quantum version of the classical penny flip game. One of the major attractions of his formulation was the inclusion of two well-known fictional characters, Picard and Q, from the famous tv series Star Trek, that compete by acting upon a quantum coin. Picard represents the classical player and Q the quantum player. This means that Picard behaves as a player in the classical penny flip game, but Q can use arbitrary unitary operator, a hallmark of the quantum domain. Mayer proved that in this game Q can always win using the venerable Hadamard transform. Later, many researchers motivated by Meyer's ideas, generalized the same game pattern to $n$-dimensional quantum systems. This line of research was pursued in [5], [6], and [7]. Later, a complete correspondence of every finite variant of the PQ penny flip game with easily constructed finite automata was given in [8]. Recently, the same game was extensively analyzed from the viewpoint of groups and its relation to the dihedral groups was established in [9]. In many works the quantum player seems to have a clear advantage over the classical player. However, things are not that black and white, as was shown in [10]. The authors there cleverly changed the rules of the PQ penny flip game and this allowed the classical player to win. Another general and interesting problem, that of quantum gambling based on Nash equilibrium, was also recently studied in [11]. In a similar vein, quantum coin flipping has ben used as a crucial ingredient of many quantum cryptographic protocols, where the usual suspects Alice and Bob assume the role of remote parties that have to agree on a random bit (see [12] for more details). This idea has been extended in [13] to quantum dice rolling in settings of multiple outcomes and more than two parties.

A particularly influential work, also from 1999, was the one by Eisert et al. in [14]. They introduced a novel technique, the Eisert-Wilkens-Lewenstein protocol, which is now extensively used in the literature. Using their technique, they defined a variant of the famous prisoners' dilemma and demonstrated that there exists a quantum strategy that is better than any classical strategy. Subsequently, many researchers followed that line of research, obtaining interesting results. For some recent developments one may consult [15], where the correspondence of typical conditional strategies used in the classical repeated prisoners' dilemma game to languages accepted by quantum automata was established, and [16], where the Eisert–Wilkens–Lewenstein protocol was generalized.

The connection between game theory, and in particular infinitely repeated games, and finite automata was initially investigated in the works of [17], [18], [19], and [20]. Subsequently, Meyer used quantum lattice gas automata to study Parrondo games in [21]. The application of probabilistic automata in the prisoners' dilemma game was undertaken in [22], while [23] considered the use of different automata variants in game theory. In [24] it was pointed out that quantum automata operating on infinite words can encode winning strategies for abstract quantum games.

It is worth noting that the idea to resort to unconventional means to achieve better results in classical games is not limited to the quantum domain. The most famous classical games, such as the prisoners' dilemma, have been cast in terms of biological notions (see [25] for a survey). Actually, a lot of classical games can be expressed in the context of biological and bio-inspired processes (see [25, 26, 27] for more references).

§.§ Contribution

This paper studies sequential quantum games, under the premise that the sets of moves available to the players are groups of unitary operators and not just plain vanilla sets. The additional structure present in the groups facilitates the derivation of quite general results that completely clarify the existence or not of winning strategies. Emphasis is placed not only in the case where both players are on an equal footing in terms of available actions and number of moves, but also to the case where one player has a strong advantage over the one. This advantage may concern either the number of moves, or the set of available actions, or both. It is established that who wins depends on the combination of two factors: (i) the sets of admissible moves for each player, and (ii) the order of moves, i.e., whether the same player makes the first and the last move. An important conclusion is that quantum strategies do not necessarily prevail over classical ones. The game designer has the ability to either guarantee the fairness of the game, or to give a decisive advantage to one of the players. The results obtained in this paper are, to the best of our knowledge, stated and proved in this generality for the first time in the literature.

§.§ Organization

This paper is organized as follows: Section <ref> provides the most relevant references, while Section <ref> explains the concepts and notation used in this paper. Sections <ref> and <ref> state and prove the main results of this work. Section <ref> presents two illustrative examples and discusses the most important findings. Finally, Section <ref> contains the main conclusions, along with some pointers for future work.

§ BACKGROUND

This paper studies sequential zero-sum quantum games that are played between two rational players, namely player 1 and player 2. The term sequential means that there is a specific predefined order of play. The two players do not act simultaneously, but take turns making their moves, always adhering to the predefined order. A single move by any player will be referred to as a round.

Of course, zero-sum implies that the amount of loss of player 1 is equal to the amount of gain of player 2 and vice versa. Before we proceed any further, let us formally state the assumptions on which our analysis is based.

A1:	The object of the game is a fixed $n$-dimensional quantum system. This can be any finite dimensional quantum system, but if a more concrete visualization can enhance our perception, we may think of a quantum coin, or a quantum dice, or a quantum roulette.

A2:	The game takes place in the $n$-dimensional complex Hilbert space $\mathcal{H}_{n}$. The computational basis, $H_{n}$, consists of the $n$ basis states: $\ket{0},$ $\ket{1},$ $\dots,$ $\ket{n - 1}$.

A3:	The system is initially in one of its basis states. This is predefined and agreed upon by both players. Henceforth, we shall refer to this basis state as the initial state and designate it by $\ket{q_{0}} \in H_{n}$.

A4:	The two players take turns acting upon the system according to some predefined order.

$A$ and $B$ denote the sets of admissible moves of players 1 and 2, respectively. The two players draw their moves from their respective set when acting upon the system. In this paper, we shall assume that $A$ and $B$ are nontrivial subgroups of $U(n)$, the unitary group of degree $n$. We use the standard notation $A, B \leq U(n)$ to denote this fact, and we refer to them as action groups.

A5:	Both players know the initial state of the system, but after the game begins and while it unfolds the state of the system is unknown to both of them. After the game ends, the state of the system is measured in the computational basis. If it is found to be $\ket{q_{A}} \in H_{n}$ then player 1 wins, whereas if it is found to be $\ket{q_{B}} \in H_{n}$ then player 2 wins. We shall assume that $\ket{q_{A}}$ and $\ket{q_{B}}$ are different, and refer to $\ket{q_{A}}$ and $\ket{q_{B}}$ as the target state of player 1 and the target state of player 2, respectively.

A6:	Therefore, each player knows:

* the set of moves of the other player,

* the initial state $\ket{q_{0}}$, and

* the target state of the other player.

The players do not know the state of system after the game begins, and until they make the final measurement.

So, the situation in a quantum game is in stark contrast to the typical situation of classical games, where both players are aware of the state of the system as the game progresses, and are thus able, at least in principle, to adapt their strategies. The fact that none of the players knows the state of the system deprives them of critical information that might have helped them to win the game. In effect it places an additional difficulty upon the decision-making process of the players.

At this point, we make the following helpful remarks:

* More general situations can be easily envisioned. For example, the initial state may be a (maximally) entangled state or the target state (for either player) might also be entangled (see also the important reference [10]). Nevertheless, we shall not concern ourselves with such cases here.

* It is certainly possible to think of games where the sets of moves $A$ and $B$ are just (finite) subsets of $U(n)$, i.e., without the additional structure of a group. However, by assuming that $A$ and $B$ are groups, we can easily arrive at interesting conclusions. The concepts and the notation from group theory will be kept to a minimum and, in any case, can be found in standard textbooks such as [28] and [29]. For unitary groups in particular more specialized text such as [30] and [31] can be consulted.

In the context of sequential quantum games, it is convenient to employ the terminology outlined in Definition <ref>, adapted from [3] and [2] to fit our analysis. Informally, the word strategy implies the existence of a plan on behalf of each player. This plan is composed of actions, or moves that the player makes as the game evolves.

* A strategy $\sigma_{1} = (A_1, \dots, A_{m_1})$ $( \sigma_{2} = (B_1, \dots, B_{m_2}) )$ for player 1 $($player 2$)$ is a sequence of admissible moves, where $m_1$ $(m_2)$ is the number of rounds that player 1 $($player 2$)$ acts on the system, and $A_1, \dots, A_{m_1} \in A$ $( B_1, \dots, B_{m_2} \in B )$.

* A strategy $\sigma_{1}$ $( \sigma_{2} )$ is a strong winning strategy for player 1 $($player 2$)$ if for every strategy $\sigma_{2}$ $( \sigma_{1} )$ of player 2 $($player 1$)$, player 1 $($player 2$)$ wins the game with probability $1.0$.

* A strategy $\sigma_{1}$ $( \sigma_{2} )$ is a weak winning strategy for player 1 $($player 2$)$ if for there exists a strategy $\sigma_{2}$ $( \sigma_{1} )$ of player 2 $($player 1$)$, such that player 1 $($player 2$)$ wins the game with probability $1.0$.

Since the main concern of this work is to examine when a player can win with probability $1.0$ no matter what the other player does, it focuses on strong winning strategies. This situation is more succinctly described by saying that the player surely wins the game. The notion of weak winning strategy can serve simply as an indicator of a possible win, in contrast to a certain win.

It is conceivable that a game may be devised so that one of the players or even both players act on the system for a number of consecutive rounds. For instance, perhaps in a game one player makes the moves $A_{i}, A_{i + 1}, \dots, A_{j}$ back-to-back, without the other player being allowed to make an intermediate move. Such a situation can be greatly simplified due to the fact that the moves available to each player are elements of a group. This means that their composition is also an element of the same group and as such it is available to the player. In the preceding example, the action $C = A_{j} \dots A_{i + 1} A_{j}$, is also an admissible move for the player. Hence, for the rest of this paper, the following useful simplification is adopted: no player plays two or more successive rounds and the two players alternate each round. This motivates the next Definition <ref>.

* A game is called canonical if its duration is $2 m$ rounds, player 1 plays at odd rounds $1, 3, \dots, 2 m - 1$, and player 2 at even rounds $2, 4, \dots, 2 m$. In a canonical game both players play the same number of rounds taking turns making their moves, player 1 plays first, and player 2 plays last.

* A game is called noncanonical if it has $2 m + 1$ rounds, player 1 plays at odd rounds $1, 3, \dots, 2 m - 1, 2 m + 1$, and player 2 at even rounds $2, 4, \dots, 2 m$. In a noncanonical game both players take turns making their moves, but player 1  plays one more round than player 2 and makes the first and the last move.

Let us remark that it is the assumption that the repertoire of actions for each player constitutes a group that makes this simplification possible. If the player's set of moves is just a set and not a group, then it is quite possible that the composition of moves is not an element of this set.

It would not make any difference if in the definition of canonical games it was player 2 that made the first move. The important point is that canonical games capture the notions of symmetry and fairness, with respect to sequential quantum games, in the sense that both players have the exact same number of moves, one gets to act first and the other last. Similarly, in noncanonical games it is not substantial that player 1 makes the first and the last move. It would be equally viable to be player 2. What matters is that noncanonical games model asymmetric situations when one of the players seems to have the advantage of both starting and finishing the game. An abstract visual representation of the form of canonical and noncanonical games is given in Figures <ref> and <ref>, respectively.

[scale = 1.0]

qubits $\ket{q_0}$ GAME;

hspace 0.2 cm GAME;

box $A_1$ GAME;

hspace 0.2 cm GAME;

box $B_1$ GAME;

hspace 0.2 cm GAME;

box $A_2$ GAME;

hspace 0.2 cm GAME;

box $B_2$ GAME;

hspace 0.2 cm GAME;
[draw = none]
box $\dots$ GAME;

hspace 0.2 cm GAME;

box $A_{m}$ GAME;

hspace 0.2 cm GAME;

box $B_{m}$ GAME;

hspace 0.2 cm GAME;

measure GAME;

hspace 0.2 cm GAME;
output $\ket{q?}$ GAME;

This figures gives a schematic representation of a $2 m$ round canonical game in which the two players take turns playing $m$ round each. Player 1 makes the first move and player 2 the last. The question mark “?” is used to convey the fact that the outcome of the measurement cannot be determined with probability 1.0 beforehand.

[scale = 1.0]

qubits $\ket{q_0}$ GAME;

hspace 0.2 cm GAME;

box $A_1$ GAME;

hspace 0.2 cm GAME;

box $B_1$ GAME;

hspace 0.2 cm GAME;

box $A_2$ GAME;

hspace 0.2 cm GAME;

box $B_2$ GAME;

hspace 0.2 cm GAME;
[draw = none]
box $\dots$ GAME;

hspace 0.2 cm GAME;

box $A_{m}$ GAME;

hspace 0.2 cm GAME;

box $B_{m}$ GAME;

hspace 0.2 cm GAME;

box $A_{m + 1}$ GAME;

hspace 0.2 cm GAME;

measure GAME;

hspace 0.2 cm GAME;
output $\ket{q?}$ GAME;

This figures shows a $2 m + 1$ round noncanonical game in which the player 1 plays $m + 1$ rounds but player 2 only $m$ rounds. Player 1 makes the first and the last move. In this case too the question mark “?” is used to convey the fact that the outcome of the measurement cannot be determined with probability 1.0 beforehand.

§ RESULTS FOR CANONICAL GAMES

In the subsequent study one well-known classical group will feature prominently. This is the group of all permutations of the indices $\{1, 2, \dots, n\}$, which is called the symmetric group, and is denoted by $S_n$. If one distinguishes between the quantum and the classical player, as is often done in this area, the symmetric group in a sense encodes the maximal capabilities of the classical player. Thus it makes sense to consider it as a point of reference when analyzing how the classical player can act on the system. The elements of the symmetric group have a standard matrix representation (see also [28] and [32]) in the form of permutation matrices. A permutation matrix has a single 1 in each row and in each column and all its other entries are 0.

The identity operator, which is the identity element of the groups $S_{n}$ and $U(n)$, is denoted by $I$ and is succinctly written as $I = \begin{bmatrix} \ket{0} | \dots | \ket{i} | \dots | \ket{j} | \dots | \ket{n - 1} \end{bmatrix}$. Among permutation matrices, especially useful are the transposition matrices. Transposition matrices are designated by $T_{i, j}$, where $0 \leq i \neq j \leq n - 1$.

\begin{align} \label{eq:Transposition Matrix Definition}
T_{i, j}
\NiceMatrixOptions
code-for-first-row = \color{WordRed},
\begin{bNiceMatrix}[first-row]
0^{th}	&	\dots	&	i^{th}	&	\dots	&	j^{th}	&	\dots	&	(n - 1)^{th}	\\
\ket{0}	&	\dots	&	\ket{j}	&	\dots	&	\ket{i}	&	\dots	&	\ket{n - 1}
\end{bNiceMatrix}
\ .
\end{align}

Transposition matrices can interchange basis kets as follows:

\begin{align} \label{eq:Transposition Matrix Properties}
T_{i, j} \ket{i} = \ket{j}
\qquad \text{and} \qquad
T_{i, j} \ket{j} = \ket{i}
\ .
\end{align}

For instance, when $n = 7$, the computational basis $H_{7}$ consists of the $7$ basis states: $\ket{0}, \ket{1}, \dots, \ket{6}$ shown below, and the corresponding symmetric group is $S_7$.

\begin{align} \label{eq:The Computational Basis $H_{7}$}
\ket{0} =
\begin{bNiceMatrix}
1 \\
0 \\
0 \\
0 \\
0 \\
0 \\
\end{bNiceMatrix}, \
\ket{1} =
\begin{bNiceMatrix}
0 \\
1 \\
0 \\
0 \\
0 \\
0 \\
\end{bNiceMatrix}, \
\ket{2} =
\begin{bNiceMatrix}
0 \\
0 \\
1 \\
0 \\
0 \\
0 \\
\end{bNiceMatrix}, \
\ket{3} =
\begin{bNiceMatrix}
0 \\
0 \\
0 \\
1 \\
0 \\
0 \\
\end{bNiceMatrix}, \
\ket{4} =
\begin{bNiceMatrix}
0 \\
0 \\
0 \\
0 \\
1 \\
0 \\
\end{bNiceMatrix}, \
\ket{5} =
\begin{bNiceMatrix}
0 \\
0 \\
0 \\
0 \\
0 \\
1 \\
\end{bNiceMatrix}, \
\ket{6} =
\begin{bNiceMatrix}
0 \\
0 \\
0 \\
0 \\
0 \\
0 \\
\end{bNiceMatrix} \ .
\end{align}

As a typical example of a transposition matrix we may consider $T_{3, 5}$.

\begin{align} \label{eq:Transposition Matrix $T_{3, 5}$}
T_{3, 5}
\overset{ (\ref{eq:Transposition Matrix Definition}) }{=}
\begin{bNiceMatrix}
\ket{0} & \ket{1} & \ket{2} & \ket{5} & \ket{4} & \ket{3} & \ket{6}
\end{bNiceMatrix}
\begin{bNiceMatrix}
1 & 0 & 0 & 0 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 & 0 & 0 & 0 \\
0 & 0 & 1 & 0 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & 0 & 1 & 0 \\
0 & 0 & 0 & 0 & 1 & 0 & 0 \\
0 & 0 & 0 & 1 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & 0 & 0 & 1
\end{bNiceMatrix} \ .
\end{align}

It is easy to verify that the properties outlined in (<ref>) are satisfied:

\begin{align} \label{eq:Transposition Matrix $T_{3, 5}$ Properties}
T_{3, 5} \ket{3} = \ket{5}
\qquad \text{and} \qquad
T_{3, 5} \ket{5} = \ket{3}
\ .
\end{align}

The following fact, which is self-evident, is recorded as Proposition <ref> for future reference.

In any type of game, canonical or noncanonical, player 1 $($player 2$)$ has a strong winning strategy, if and only if the state of the quantum system $\ket{\psi}$ prior to measurement is the target state $\ket{q_{A}}$ $(\ket{q_{B}})$ of player 1 $($player 2$)$.

Consider a canonical game where both players use the same action group. If the action group contains $S_{n}$ as a subgroup, i.e., $S_{n} \leq A = B \leq U(n)$, no player has a strong winning strategy, but both players have a weak winning strategy.

Suppose to the contrary that player 1 has a strong winning strategy $\sigma_{1}$ $=$ $(A_1,$ $A_2,$ $\dots,$ $A_m)$, where $A_1, A_2, \dots, A_m \in A$. This means that for every strategy $\sigma_{2}$ of player 2, player 1 will surely win.

Consider the following two strategies for player 2: $\sigma_{2} = (B_1, B_2, \dots, B_{m - 1}, I)$ and $\sigma'_{2}$ $=$ $(B_1,$ $B_2,$ $\dots,$ $B_{m - 1},$ $T_{q_A, q_B})$, where $B_1, B_2, \dots, B_{m - 1}, I, T_{q_A, q_B} \in B$ because $B$ contains $S_{n}$. In view of Proposition <ref>, it must hold that

\begin{align}
I A_m \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{A}} \label{eq:CSG Strong Winning Strategy Condition for Player 1 - I} \qquad \text{and}
\\
T_{q_A, q_B} A_m \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{A}} \label{eq:CSG Strong Winning Strategy Condition for Player 1 - II} \ .
\end{align}

Equation (<ref>) implies that

\begin{align}
A_m \dots B_1 A_1 \ket{q_{0}} = \ket{q_{A}} \label{eq:CSG Strong Winning Strategy Condition for Player 1 - III} \ .
\end{align}

But then

\begin{align} \label{eq:CSG Strong Winning Strategy Contradiction for Player 1}
T_{q_A, q_B} A_m \dots B_1 A_1 \ket{q_{0}}
\overset
{ ( \ref{eq:CSG Strong Winning Strategy Condition for Player 1 - III} ) }
{ = }
T_{q_A, q_B} \ket{q_{A}} = \ket{q_{B}} \ ,
\end{align}

which contradicts (<ref>). Thus, player 1 does not have a strong winning strategy.

Symmetrically, assume again to the contrary that player 2 has a strong winning strategy $\sigma_{2} = (B_1, B_2, \dots, B_{m - 1}, B_{m})$, where $B_1, B_2, \dots, B_m \in B$. Consider then the following two strategies for player 1: $\sigma_{1} = (A_1, A_2, \dots, A_{m - 1}, B_{m}^{-1})$ and $\sigma'_{1} = (A_1, A_2, \dots, A_{m - 1},$ $B_{m}^{-1} T_{q_A, q_B})$, where $A_1,$ $A_2,$ $\dots,$ $A_{m - 1},$ $B_{m}^{-1},$ $B_{m}^{-1} T_{q_A, q_B}$ $\in$ $A$ because $A = B$ and contains $S_{n}$. From Proposition <ref> we know that

\begin{align}
B_{m} B_{m}^{-1} B_{m - 1} A_{m - 1} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{B}} \label{eq:CSG Strong Winning Strategy Condition for Player 2 - I} \qquad \text{and}
\\
B_{m} B_{m}^{-1} T_{q_A, q_B} B_{m - 1} A_{m - 1} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{B}} \label{eq:CSG Strong Winning Strategy Condition for Player 2 - II} \ .
\end{align}

Equation (<ref>) implies that

\begin{align}
B_{m - 1} A_{m - 1} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{B}} \ , \label{eq:CSG Strong Winning Strategy Condition for Player 2 - III}
\end{align}

which together with (<ref>) gives

\begin{align} \label{eq:CSG Strong Winning Strategy Contradiction for Player 2}
B_{m} B_{m}^{-1} T_{q_A, q_B} B_{m - 1} A_{m - 1} \dots B_1 A_1 \ket{q_{0}}
\overset
{ ( \ref{eq:CSG Strong Winning Strategy Condition for Player 2 - III} ) }
{ = }
T_{q_A, q_B} \ket{q_{B}} = \ket{q_{A}} \ .
\end{align}

This last result contradicts (<ref>) and, therefore, player 2 does not have a strong winning strategy either.

The existence of weak winning strategies for player 1 is easy to establish; the obvious choice $\sigma_{1} = (I, I, \dots, T_{q_A, q_B})$ is indeed such a strategy for player's 2 strategy $\sigma_{2} = (T_{q_0, q_B}, I, \dots, I)$. In an analogous manner we can show that player 2 has weak winning strategies too.

This result is quite general and highlights the critical role of $S_{n}$ in quantum games. Furthermore, it allows us to immediately state two useful corollaries.

When two classical players use the same action group $S_{n}$ in a canonical game, neither of them has an advantage over the other, in the sense that neither possesses a strong winning strategy.

In a canonical game between two quantum players, if both players use the same action group that contains $S_{n}$, no player possesses a strong winning strategy.

These two corollaries prove that when both players have the same repertoire, which can be either classical, e.g., $S_{n}$, or quantum, e.g., a subgroup of $U(n)$, they are on an equal footing. This is a natural outcome of the overall symmetry in this case. The symmetry inherent in a canonical game is combined with the symmetry in the moves available to the players. If there is a moral in this, it would be that the pursuit of fairness, in the sense that both players have a chance to win, without any of them being certain to win, must involve symmetry.

§ RESULTS FOR ASYMMETRIC GAMES

The results of the previous section indicate that if we seek games where one players can surely win, we must turn to asymmetric settings. For this reason, in this section we shall consider three asymmetric scenarios:

* The game is noncanonical, that is player 1, who makes the first move, also makes the last move, while both players have the same action group.

* The game is canonical, but the action group $B$ of player 2 is a proper subgroup of the action group $A$ of player 1: $B < A$.

* The game is noncanonical and, at the same time, the action group $B$ of player 2 is a proper subgroup of the action group $A$ of player 1.

In the first of the above cases, the perceived advantage of player 1 is still not enough to guarantee a strong winning strategy. Hence, in this case too neither player is certain to win. This is proved in the next Theorem <ref>.

Consider a noncanonical game where player 1 makes the first and the last move and both players use the same action group. If the action group contains $S_{n}$, i.e., $S_{n} \leq A = B \leq U(n)$, no player has a strong winning strategy, but both players have a weak winning strategy.

Suppose to the contrary that player 1 has a strong winning strategy $\sigma_{1}$ $=$ $(A_1,$ $A_2,$ $\dots,$ $A_{m},$ $A_{m + 1})$, where $A_1,$ $A_2,$ $\dots,$ $A_{m},$ $A_{m + 1}$ $\in$ $A$. This means that for every strategy $\sigma_{2}$ of player 2, player 1 will surely win.

Consider the following two strategies of player 2: $\sigma_{2} = (B_1, B_2, \dots, B_{m - 1}, A_{m + 1}^{-1})$ and $\sigma'_{2}$ $=$ $(B_1,$ $B_2,$ $\dots,$ $B_{m - 1},$ $A_{m + 1}^{-1} T_{q_A, q_B})$, where $B_1, B_2, \dots, B_{m - 1}, A_{m + 1}^{-1}, A_{m + 1}^{-1} T_{q_A, q_B} \in B$ because $S_{n} \leq A = B \leq U(n)$. In view of Proposition <ref>, it must hold that

\begin{align}
A_{m + 1} A_{m + 1}^{-1} A_{m} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{A}} \label{eq:NSG Strong Winning Strategy Condition for Player 1 - I} \qquad \text{and}
\\
A_{m + 1} A_{m + 1}^{-1} T_{q_A, q_B} A_{m} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{A}} \label{eq:NSG Strong Winning Strategy Condition for Player 1 - II} \ .
\end{align}

Equation (<ref>) implies that

\begin{align}
A_m \dots B_1 A_1 \ket{q_{0}} = \ket{q_{A}} \label{eq:NSG Strong Winning Strategy Condition for Player 1 - III} \ .
\end{align}

\begin{align} \label{eq:NSG Strong Winning Strategy Contradiction for Player 1}
A_{m + 1} A_{m + 1}^{-1} T_{q_A, q_B} A_{m} \dots B_1 A_1 \ket{q_{0}}
\overset
{ ( \ref{eq:NSG Strong Winning Strategy Condition for Player 1 - III} ) }
{ = }
T_{q_A, q_B} \ket{q_{A}} = \ket{q_{B}} \ ,
\end{align}

which contradicts (<ref>). Thus, player 1 does not have a strong winning strategy.

Similarly, in order to arrive at a contradiction, let us assume that player 2 has a strong winning strategy $\sigma_{2} = (B_1, B_2, \dots, B_{m - 1}, B_{m})$, where $B_1, B_2, \dots, B_m \in B$. Consider then the following two strategies of player 1: $\sigma_{1} = (A_1, A_2, \dots, A_{m}, I)$ and $\sigma'_{1} = (A_1, A_2, \dots, A_{m},$ $T_{q_A, q_B})$, where $A_1, A_2, \dots, A_{m}, I, T_{q_A, q_B} \in A$ because $A$ contains $S_{n}$. From Proposition <ref> we know that

\begin{align}
I B_{m} A_{m} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{B}} \label{eq:NSG Strong Winning Strategy Condition for Player 2 - I} \qquad \text{and}
\\
T_{q_A, q_B} B_{m} A_{m} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{B}} \label{eq:NSG Strong Winning Strategy Condition for Player 2 - II} \ .
\end{align}

Equation (<ref>) implies that

\begin{align}
B_{m} A_{m} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{B}} \ , \label{eq:NSG Strong Winning Strategy Condition for Player 2 - III}
\end{align}

which together with (<ref>) gives

\begin{align} \label{eq:NSG Strong Winning Strategy Contradiction for Player 2}
T_{q_A, q_B} B_{m} A_{m} \dots B_1 A_1 \ket{q_{0}}
\overset
{ ( \ref{eq:NSG Strong Winning Strategy Condition for Player 2 - III} ) }
{ = }
T_{q_A, q_B} \ket{q_{B}} = \ket{q_{A}} \ .
\end{align}

This last result contradicts (<ref>) and, therefore, player 2 does not have a strong winning strategy either.

We can easily demonstrate the existence of weak winning strategies for both players using the same arguments as in Theorem <ref>.

Let us emphasize that the above theorem holds when both players are classical and when both players are quantum.

Things are pretty much the same when the game is canonical, but the action group of one player is a proper subgroup of the action group of the other player, provided the smaller group contains $S_{n}$, as Theorem <ref> reveals.

The following hold:

* In a canonical game where the action group $A$ of player 1 contains $S_{n}$ and is a proper subgroup of the action group $B$ of player 2, i.e., $S_{n} \leq A < B \leq U(n)$, no player has a strong winning strategy.

* Likewise, in a canonical game where the action group $B$ of player 2 contains $S_{n}$ and is a proper subgroup of the action group $A$ of player 1, i.e., $S_{n} \leq B < A \leq U(n)$, no player has a strong winning strategy.

* Showing that player 1 does not have a strong winning strategy can be achieved by adapting the analogous arguments in Theorem <ref>.

Therefore, we focus on showing that player 2 does not have a strong winning strategy either. To this end, let us suppose to the contrary that player 2 has a strong winning strategy $\sigma_{2} = (B_1, B_2, \dots, B_{m})$, where $B_1, B_2, \dots, B_{m} \in B$. This means that for every strategy $\sigma_{1}$ of player 1, player 2 will surely win. Consider the following two strategies of player 1: $\sigma_{1} = (T_{q_0, q_A}, A_2, \dots, A_{m})$ and $\sigma'_{2} = (T_{q_0, q_B}, A_2, \dots, A_{m})$, where $T_{q_0, q_A}, T_{q_0, q_B}, A_2, \dots, A_{m} \in A$ because $A$ contains $S_{n}$. Proposition <ref> entails that

\begin{align}
B_{m} A_{m} \dots B_1 T_{q_0, q_A} \ket{q_{0}} &= \ket{q_{B}} \label{eq:CDG Strong Winning Strategy Condition for Player 2 - I} \qquad \text{and}
\\
B_{m} A_{m} \dots B_1 T_{q_0, q_B} \ket{q_{0}} &= \ket{q_{B}} \label{eq:CDG Strong Winning Strategy Condition for Player 2 - II} \ .
\end{align}

If $C = B_{m} A_{m} \dots B_1$, then $C$ is a unitary operator, being the composition of unitary operators. Using $C$, equations (<ref>) and (<ref>) imply that

\begin{align}
C \ket{q_{A}} &= \ket{q_{B}} \label{eq:CDG Strong Winning Strategy Condition for Player 2 - III} \qquad \text{and}
\\
C \ket{q_{B}} &= \ket{q_{B}} \label{eq:CDG Strong Winning Strategy Condition for Player 2 - IV} \ .
\end{align}

This is impossible because $C$ is a unitary operator and, as such, sends different orthonormal vectors to different orthonormal vectors. Thus, player 2 does not have a strong winning strategy.

* In this case it is straightforward to prove that player 2 does not have a strong winning strategy by suitably modifying analogous arguments in Theorem <ref>.

Thus, we concentrate on showing that player 1 does not have a strong winning strategy either. To arrive at a contradiction, we suppose that player 1 has a strong winning strategy $\sigma_{1} = (A_1, A_2, \dots, A_{m})$, where $A_1, A_2, \dots, A_{m} \in A$. This means that for every strategy $\sigma_{2}$ of player 2, player 1 will surely win. Let us consider the following two strategies of player 2: $\sigma_{2} = (B_1, B_2, \dots, B_{m - 1}, I)$ and $\sigma'_{2} = (B_1, B_2, \dots, B_{m - 1},$ $T_{q_A, q_B})$, where $B_1, B_2, \dots, B_{m - 1}, I, T_{q_A, q_B} \in B$ because $B$ contains $S_{n}$. In view of Proposition <ref>, it must hold that

\begin{align}
I A_{m} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{A}} \label{eq:CDG Strong Winning Strategy Condition for Player 1 - I} \qquad \text{and}
\\
T_{q_A, q_B} A_{m} \dots B_1 A_1 \ket{q_{0}} &= \ket{q_{A}} \label{eq:CDG Strong Winning Strategy Condition for Player 1 - II} \ .
\end{align}

Equation (<ref>) implies that

\begin{align}
A_m \dots B_1 A_1 \ket{q_{0}} = \ket{q_{A}} \label{eq:CDG Strong Winning Strategy Condition for Player 1 - III} \ .
\end{align}

\begin{align} \label{eq:CDG Strong Winning Strategy Contradiction for Player 1}
T_{q_A, q_B} A_{m} \dots B_1 A_1 \ket{q_{0}}
\overset
{ ( \ref{eq:CDG Strong Winning Strategy Condition for Player 1 - III} ) }
{ = }
T_{q_A, q_B} \ket{q_{A}} = \ket{q_{B}} \ ,
\end{align}

which contradicts (<ref>). This concludes the proof that player 1 does not have a strong winning strategy.

We have thus arrived at an important realization. To ensure that one player has a strong winning strategy is not enough for her to play first and last if the other player has the same set of moves. Perhaps even more importantly, we have discovered that in a canonical game even if one player has access to a much larger action group, let's say the entire $U(n)$, she may still not win with probability $1.0$, provided the other player's action group contains $S_{n}$. Again, the hypothesis that the smaller group contains $S_{n}$ is absolutely critical. Unavoidably, to ensure the existence of a strong winning strategy for player 1 we must set the rules of the game so that she makes the first and the last move and, at the same time, her action group $A$ is sufficiently larger than the action group $B$ of player 2. This is what the following Theorem <ref> asserts. The proof is simple and is based on the concept of a state being unaffected by the action of all the elements of a group. In particular, we shall call a state $\ket{\psi}$ invariant under the action of the group $B$, if for every $B_i \in B$ it holds that $B_i \ket{\psi} = \ket{\psi}$. Of course, the identity operator $I$ fixes every state, but in this case the requirement is that all operators in $B$ fix the state $\ket{\psi}$.

Consider a noncanonical game where player 1 makes the first and the last move.

* If the action group $A$ of player 1 contains $S_{n}$ as well as some action $U \in A$, which can drive the system from its initial state to a state $\ket{\psi}$ invariant under the action of $B$, then player 1 has a strong winning strategy.

* If the action group $A$ of player 1 does not contain $S_{n}$, but contains some action $U \in A$ that can drive the system from its initial state to a state $\ket{\psi}$ invariant under the action of $B$, and her target state is the initial state, then player 1 has a strong winning strategy.

* The fact that there exists $U \in A$ such that $U \ket{q_{0}} = \ket{\psi}$, implies that the strategy $\sigma_{1}$ $=$ $(U,$ $I,$ $\dots,$ $I,$ $T_{q_0, q_A} U^{- 1})$ is a strong winning strategy for player 1. Note that the composition $T_{q_0, q_A} U^{- 1}$ constitutes a move available to player 1 because $A$ contains $S_{n}$. It is easy to see that when player 2 makes her first move, the system is already at state $\ket{\psi}$, which, according to the hypothesis is invariant under the action of all operators in $B$. Thus, no matter what strategy player 2 employs the system will remain at state $\ket{\psi}$ until the last round of the game. Then during the last round of the game player 1 will drive the system to her target state $\ket{q_{A}}$ via the action $T_{q_0, q_A} U^{- 1}$.

* In this case, although there exists $U \in A$ such that $U \ket{q_{0}} = \ket{\psi}$, the action group $A$ does not contain $S_{n}$ and, hence, transpositions cannot be used. The extra hypothesis in this case, which is that the target state of player 1 is $\ket{q_{0}}$, is critical. The strategy $\sigma_{1} = (U, I, \dots, I, U^{- 1})$ is a strong winning strategy for player 1. Again, it is easy to verify that when player 2 makes her first move, the system is already at state $\ket{\psi}$, which, according to the hypothesis is invariant under the action of all operators in $B$. Thus, no matter what strategy player 2 employs the system will remain at state $\ket{\psi}$ until the last round of the game. Then during the last round of the game player 1 will drive the system to back to its initial state $\ket{q_{0}}$, which is also her target state, via the action $U^{- 1}$.

At this point it may be expedient to clarify that the situation described in Theorem <ref> can only be realized when the action groups of the two players are different. It is straightforward to see that if $A = B$, whatever player 1 does to the system via a transformation $U$, can be undone by player 2 via $U^{- 1}$, which is available to her. In such a case, evidently, there exists no invariant state.

Theorem <ref> can help us to complete the picture formed by the previous three theorems. Theorems <ref> – <ref> are somewhat negative by asserting the absence of a strong winning strategy. Theorem <ref> is more positive by giving conditions, or, a “recipe” for the design of games that ensure that one player will surely win. For example, this strategy is implicitly followed in the original PQ penny flip game of [4] and its clever generalizations to higher dimensions, like roulette, accomplished in [5], [6], and [7]. The following Table <ref> summarizes the results we have obtained.

This table presents the previous results in a compact form so that one can check the conditions under which a player will surely win. The abbreviation “sws” stands for strong winning strategy.

Type of game     sws for player 1     sws for player 2

Canonical & same group (classical vs. classical)     No     No

Canonical & same group (quantum vs. quantum)     No     No

Noncanonical & same group (classical vs. classical)     No     No

Noncanonical & same group (quantum vs. quantum)     No     No

Canonical & $S_{n} \leq A < B \leq U(n)$     No     No

Canonical & $S_{n} \leq B < A \leq U(n)$     No     No

Noncanonical & $B < A$ & $S_{n} \leq A$ & $\ket{\psi}$ invariant     Yes     No

Noncanonical & $B < A$ & $\ket{\psi}$ invariant & $\ket{q_0} = \ket{q_A}$     Yes     No

§ DISCUSSION AND EXAMPLES

In this section we discuss the implications of the previous results and devise some toy games in the form of examples to see how the method outlined in Theorem <ref> can be used to guarantee that player 1 surely wins. The examples will employ finite automata, which, as mentioned in
the Introduction, can be used as a powerful visual aid to enhance our understanding of the evolution of the state of the system and the progression of the game.

Let us consider a canonical $4$-round game on a $7$-dimensional quantum system. Let us further assume that $A = U(7)$, $B = S_{7}$, $\ket{q_0} = \ket{0}$, $\ket{q_A} = \ket{6}$, and $\ket{q_B} = \ket{0}$. Player 1 has the advantage of having a much larger group to choose from. $U(n)$ contains the $7$-dimensional quantum Fourier transform, which we denote by $F_{7}$. This is an extremely useful unitary transform with an elegant matrix representation (see [33] for details). Its matrix representation is shown below, along with the result of its application to $\ket{0}$.

\begin{align} \label{eq:The Quantum Fourier Transform $F_{7}$}
\frac{1}{\sqrt{7}}
\begin{bNiceMatrix}
1 & 1 & 1 & 1 & 1 & 1 & 1 \\
1 & \omega^{} & \omega^{2} & \omega^{3} & \omega^{4} & \omega^{5} & \omega^{6} \\
1 & \omega^{2} & \omega^{4} & \omega^{6} & \omega^{} & \omega^{3} & \omega^{5} \\
1 & \omega^{3} & \omega^{6} & \omega^{2} & \omega^{5} & \omega^{} & \omega^{4} \\
1 & \omega^{4} & \omega^{} & \omega^{5} & \omega^{2} & \omega^{6} & \omega^{3} \\
1 & \omega^{5} & \omega^{3} & \omega^{} & \omega^{6} & \omega^{4} & \omega^{2} \\
1 & \omega^{6} & \omega^{5} & \omega^{4} & \omega^{3} & \omega^{2} & \omega^{}
\end{bNiceMatrix}
\quad \text{and} \quad
\ket{\psi}
F_{7} \ket{0}
\frac{1}{\sqrt{7}}
\begin{bNiceMatrix}
1 \\
1 \\
1 \\
1 \\
1 \\
1 \\
\end{bNiceMatrix} \ ,
\end{align}

where $\omega = e^{\frac{2 \pi i}{7}}$. Hence, player 1 can drive the system to the state $\ket{\psi} = \frac{1}{\sqrt{7}} \sum_{i = 0}^{6} \ket{i}$ during her first move by immediately applying $F_{7}$ to the initial state of the system. This particular state is invariant under $S_{n}$, so the system will remain at this state, irrespective of the second player's move.

In the third round, player 1  makes her second and last move. If she decides to apply the composition of $T_{0, 6}$ and inverse action $F_{7}^{-1} = F_{7}^{\dagger}$, i.e., the action $T_{0, 6} F_{7}^{\dagger}$, then she will drive the system to her target state $\ket{6}$.

However, it is quite possible that during her last move player 2 will use $T_{0, 6}$ to send the system back to the initial state $\ket{0}$, which happens to be her target state, and thus win the game.

If, on the other hand, player 1 decides to use the identity operator $I$ as her last move, then player 2 will be unable to change the state of the system and, consequently, the system will be at state $\ket{\psi}$ prior to measurement. In this scenario player 1 fails again to win the game with probability $1.0$, having just $\frac{1}{7}$ probability to win.

Naturally, all these are to be expected since Theorem <ref> asserts the nonexistence of a strong winning strategy. These two scenarios are graphically depicted in the automaton of Figure <ref>.

scale = 1.3,
state/.style =

minimum size = 1.0 cm,

every loop/.style = min distance = 12 mm
[ state, fill = GreenLighter2!20, initial, initial text =  initial state , initial where = right, initial distance = 0.5 cm, accepting ] (q0)
at ( 3 * cos(0 * ∠), 3 * sin(0 * ∠) )  $ \ket{0} $ ;
(t2) at ( 4.75, -0.5 )  & Player's 2 target ;
[ state ] (q1) at ( 3 * cos(1 * ∠), 3 * sin(1 * ∠) )  $ \ket{1} $ ;
[ state ] (q2) at ( 3 * cos(2 * ∠), 3 * sin(2 * ∠) )  $ \ket{2} $ ;
[ state ] (q3) at ( 3 * cos(3 * ∠), 3 * sin(3 * ∠) )  $ \ket{3} $ ;
[ state ] (q4) at ( 3 * cos(4 * ∠), 3 * sin(4 * ∠) )  $ \ket{4} $ ;
[ state ] (q5) at ( 3 * cos(5 * ∠), 3 * sin(5 * ∠) )  $ \ket{5} $ ;
[ state, fill = RedPurple!15 ] (q6) at ( 3 * cos(6 * ∠), 3 * sin(6 * ∠) )  $ \ket{6} $ ;
(t1) at ( 3.5, -2.375 )  Player's 1 target ;
[ state, fill = WordBlueDark!50 ] (psi) at ( 0.0, 0.0 )  $ \ket{\psi} $ ;
(q0) edge [bend right = 25] node [ above ]  $F_{7}$  (psi)
(q0) edge [bend right = 25] node [ left ]  $T_{0, 6}$  (q6)
(q6) edge [bend right = 25] node [ right ]  $T_{0, 6}$  (q0)
(psi) edge [bend right = 25] node [ above ]  $F_{7}^{\dagger}$  (q0)
(psi) edge [out = 150, in = -150, loop] node [left]  $I, T_{i, j}$  ();

This automaton captures the evolution of the game studied in this example according to the two possible strategies of player 1 outlined above.

In the previous game player 1 cannot surely win. Therefore, in order to guarantee that player 1 wins with probability $1.0$, the rules of the game must change. In particular, the asymmetry and the disadvantage for player 2 must increase. To this end, let us consider a noncanonical $5$-round game on the same $7$-dimensional quantum system, in which, again, we assume that $A = U(7)$, $B = S_{7}$, $\ket{q_0} = \ket{0}$, $\ket{q_A} = \ket{6}$, and $\ket{q_B} = \ket{0}$.

The obvious difference in the current game is that now player 1 has a double advantage:

* she makes both the first and the last move, and

* she has a much larger group to choose from.

The same quantum Fourier transform $F_{7}$ shown in equation (<ref>) of the previous example, can now pave the way to much better results.

Specifically, the strategy $\sigma_{1} = ( F_{7}, I, \dots, I, T_{0, 6} F_{7}^{\dagger} )$ is a strong winning strategy for player 1. This strategy of player 1 drives the system to the state $\ket{\psi} = \frac{1}{\sqrt{7}} \sum_{i = 0}^{6} \ket{i}$, which is invariant under $S_{n}$. Hence, the system will remain at this state, irrespective of the second player's move.

The critical realization here is that the system, in contrast to the previous example, is still at state $\ket{\psi}$ after player 2 has completed her moves.

The last move is now by player 1, who can act using the operator $T_{0, 6} F_{7}^{\dagger}$ to drive the system to her target state $\ket{6}$. In this game player 1 will surely win. This winning scenario is captured by the automaton of Figure <ref>.

scale = 1.3,
state/.style =

minimum size = 1.0 cm,

every loop/.style = min distance = 12 mm
[ state, fill = GreenLighter2!20, initial, initial text =  initial state , initial where = right, initial distance = 0.5 cm, accepting ] (q0)
at ( 3 * cos(0 * ∠), 3 * sin(0 * ∠) )  $ \ket{0} $ ;
(t2) at ( 4.75, -0.5 )  & Player's 2 target ;
[ state ] (q1) at ( 3 * cos(1 * ∠), 3 * sin(1 * ∠) )  $ \ket{1} $ ;
[ state ] (q2) at ( 3 * cos(2 * ∠), 3 * sin(2 * ∠) )  $ \ket{2} $ ;
[ state ] (q3) at ( 3 * cos(3 * ∠), 3 * sin(3 * ∠) )  $ \ket{3} $ ;
[ state ] (q4) at ( 3 * cos(4 * ∠), 3 * sin(4 * ∠) )  $ \ket{4} $ ;
[ state ] (q5) at ( 3 * cos(5 * ∠), 3 * sin(5 * ∠) )  $ \ket{5} $ ;
[ state, fill = RedPurple!15 ] (q6) at ( 3 * cos(6 * ∠), 3 * sin(6 * ∠) )  $ \ket{6} $ ;
(t1) at ( 3.5, -2.375 )  Player's 1 target ;
[ state, fill = WordBlueDark!50 ] (psi) at ( 0.0, 0.0 )  $ \ket{\psi} $ ;
(q0) edge [bend right = 25] node [ above ]  $F_{7}$  (psi)
(q0) edge [bend right = 25] node [ left ]  $T_{0, 6}$  (q6)
(q6) edge [bend right = 25] node [ right ]  $T_{0, 6}$  (q0)
(psi) edge [bend right = 25] node [ below left ]  $T_{0, 6} F_{7}^{\dagger}$  (q6)
(psi) edge [out = 150, in = -150, loop] node [left]  $I, T_{i, j}$  ();

This automaton displays the strong strong winning strategy of player 1 for the game studied in this example.

The results and the examples above should help drive through the main point of this study, which is that the specific rules of a game are extremely important! A slight variation can have profound consequences. It is the combination of two factors:

* the precise sequence of moves as dictated by the rules of the game, and

* the sets of admissible actions the players draw their moves from,

that determines who wins. Quantum strategies do not a priori prevail over classical strategies. With some ingenuity one may design a game where the quantum player does not have a winning strategy against the classical player. See such an illuminating example and further comments in [10]. The determining factor are the rules of the game. By carefully designing the rules of the game, the advantage of either player can be established. Alternatively, the fairness of the game can also be guaranteed. Another immediate conclusion that can be drawn is that although it is indeed possible to have quantum versions of classical games that exhibit different behavior or even entirely new traits, caution must exercised in designing the rules that will make this possible.

§ CONCLUSIONS

Quantum games can be used in a plethora of “serious” situations. For instance rolling quantum dice can be used to implement secure cryptographic protocols. In this paper we studied sequential quantum games under the assumption that the moves of the players are drawn from groups and not plain unstructured sets. The extra group structure makes possible to easily derive very general results as the those in Sections <ref> and <ref>, which, to the best of our knowledge, are stated in this generality for the first time. Although it seems a bit restrictive to focus on groups, it is consistent with the quantumness of these games. After all, quantum actions come from unitary groups.

Of course, the possibilities for quantum games are virtually endless. Many important and critical issues have to be addressed, such as to what extent the players communicate, what type of information is known to the players, if and how precisely entanglement comes into play. Indeed, the degree of knowledge of the players about the system is critical in the formation of strategies as we know from classical game theory. One of course will ask how can this be, without measuring the system? It is of course virtually impossible, but perhaps we can imagine a third party spying on the players and acquiring partial information about their strategies. This is, we believe, a very intriguing topic which we intend to pursuit in a future work.

[1]
A. Dixit, Games of strategy.
New York: W.W. Norton & Company, 2015.

[2]
R. Myerson, Game Theory.
Harvard University Press, 1997.

[3]
M. Maschler, Game Theory.
Cambridge University Press, 2020.

[4]
D. A. Meyer, “Quantum strategies,” Physical Review Letters, vol. 82,
no. 5, p. 1052, 1999.

[5]
X.-B. Wang, L. Kwek, and C. Oh, “Quantum roulette: an extended quantum
strategy,” Physics Letters A, vol. 278, pp. 44–46, dec 2000.

[6]
H.-F. Ren and Q.-L. Wang, “Quantum game of two discriminable coins,” International Journal of Theoretical Physics, vol. 47, no. 7,
pp. 1828–1835, 2007.

[7]
S. Salimi and M. Soltanzadeh, “Investigation of quantum roulette,” International Journal of Quantum Information, vol. 7, no. 03, pp. 615–626,

[8]
T. Andronikos, A. Sirokofskich, K. Kastampolidou, M. Varvouzou, K. Giannakis,
and A. Singh, “Finite automata capturing winning sequences for all possible
variants of the PQ penny flip game,” Mathematics, vol. 6, p. 20, Feb

[9]
T. Andronikos and A. Sirokofskich, “The connection between the PQ penny flip
game and the dihedral groups,” Mathematics, vol. 9, no. 10, p. 1115,

[10]
N. Anand and C. Benjamin, “Do quantum strategies always win?,” Quantum
Information Processing, vol. 14, no. 11, pp. 4027–4038, 2015.

[11]
P. Zhang, X.-Q. Zhou, Y.-L. Wang, B.-H. Liu, P. Shadbolt, Y.-S. Zhang, H. Gao,
F.-L. Li, and J. L. O'Brien, “Quantum gambling based on nash-equilibrium,”
npj Quantum Information, vol. 3, no. 1, 2017.

[12]
C. H. Bennett and G. Brassard, “Quantum cryptography: Public key distribution
and coin tossing,” Theoretical Computer Science, vol. 560, pp. 7–11,

[13]
N. Aharon and J. Silman, “Quantum dice rolling: a multi-outcome generalization
of quantum coin flipping,” New Journal of Physics, vol. 12, no. 3,
p. 033027, 2010.

[14]
J. Eisert, M. Wilkens, and M. Lewenstein, “Quantum games and quantum
strategies,” Physical Review Letters, vol. 83, no. 15, p. 3077, 1999.

[15]
K. Giannakis, G. Theocharopoulou, C. Papalitsas, S. Fanarioti, and
T. Andronikos, “Quantum conditional strategies and automata for prisoners'
dilemmata under the EWL scheme,” Applied Sciences, vol. 9, p. 2635,
Jun 2019.

[16]
K. Rycerz and P. Frackiewicz, “A quantum approach to twice-repeated 2 x 2
game,” Quantum Information Processing, vol. 19, no. 8, 2020.

[17]
A. Neyman, “Bounded complexity justifies cooperation in the finitely repeated
prisoners' dilemma,” Economics letters, vol. 19, no. 3, pp. 227–229,

[18]
A. Rubinstein, “Finite automata play the repeated prisoner's dilemma,” Journal of economic theory, vol. 39, no. 1, pp. 83–96, 1986.

[19]
D. Abreu and A. Rubinstein, “The structure of nash equilibrium in repeated
games with finite automata,” Econometrica: Journal of the Econometric
Society, pp. 1259–1281, 1988.

[20]
R. E. Marks, Repeated games and finite automata.
Australian Graduate School of Management, University of New South
Wales, 1990.

[21]
D. A. Meyer and H. Blumer, “Parrondo games as lattice gas automata,” Journal of statistical physics, vol. 107, no. 1-2, pp. 225–239, 2002.

[22]
C. Bertelle, M. Flouret, V. Jay, D. Olivier, and J.-L. Ponty, “Adaptive
behaviour for prisoner dilemma strategies based on automata with
multiplicities,” in ESS 2002 Conf., Dresden, Citeseer, 2002.

[23]
K. Suwais, “Assessing the utilization of automata in representing players'
behaviors in game theory,” International Journal of Ambient Computing
and Intelligence (IJACI), vol. 6, no. 2, pp. 1–14, 2014.

[24]
K. Giannakis, C. Papalitsas, K. Kastampolidou, A. Singh, and T. Andronikos,
“Dominant strategies of quantum games on quantum periodic automata,” Computation, vol. 3, pp. 586–599, nov 2015.

[25]
K. Kastampolidou, M. N. Nikiforos, and T. Andronikos, “A brief survey of the
prisoners' dilemma game and its potential use in biology,” in Advances
in Experimental Medicine and Biology, pp. 315–322, Springer International
Publishing, 2020.

[26]
G. Theocharopoulou, K. Giannakis, C. Papalitsas, S. Fanarioti, and
T. Andronikos, “Elements of game theory in a bio-inspired model of
computation,” in 2019 10th International Conference on Information,
Intelligence, Systems and Applications (IISA), IEEE, jul 2019.

[27]
K. Kastampolidou and T. Andronikos, “A survey of evolutionary games in
biology,” in Advances in Experimental Medicine and Biology,
pp. 253–261, Springer International Publishing, 2020.

[28]
M. Artin, Algebra.
Pearson Prentice Hall, 2011.

[29]
D. Dummit and R. Foote, Abstract Algebra.
Wiley, 2004.

[30]
J. Stillwell, Naive Lie Theory.
Undergraduate Texts in Mathematics, Springer, 2008.

[31]
B. Hall, Quantum Theory for Mathematicians.
Graduate Texts in Mathematics, Springer New York, 2013.

[32]
C. D. Meyer, Matrix Analysis and Applied Linear Algebra.
Philadelphia, PA, USA: Society for Industrial and Applied
Mathematics, 2000.

[33]
M. A. Nielsen and I. L. Chuang, Quantum computation and quantum
Cambridge University Press, 2010.