Search

Adiabatic quantum computing is implemented on specialized hardware using the heuristics of the quantum annealing algorithm. This setup requires the addressed problems to be formatted as discrete quadratic functions without constraints and the variables to take binary values only. The problem of finding Nash equilibrium in two-player, non-cooperative games is a two-fold quadratic optimization problem with constraints. This problem was formatted as a single, constrained quadratic optimization in 1964 by Mangasarian and Stone. Here, we show that adding penalty terms to the quadratic function formulation of Nash equilibrium gives a quadratic unconstrained binary optimization (QUBO) formulation of this problem that can be executed on quantum annealers. Three examples are discussed to highlight the success of the formulation, and an overall, time-to-solution (hardware + software processing) speed up of seven to ten times is reported on quantum annealers developed by D-Wave System., Comment: 8 pages, 5 figures

High-frequency trading (HFT) offers an excellent user case and a potential killer application of the commercially available, first generation quasi-quantum communication and computation technologies. To this end, we offer here a simple but complete game-theoretic model of HFT as the famous two player game, Prisoner's Dilemma. We explore the implementation of HFT as a game on the (quasi) quantum cloud using the Eisert, Wilkens, and Lewenstein quantum mediated communication protocol, and how this implementation can increase transaction speed and improve the lot of the players in HFT. Using cooperative game-theoretic reasoning, we also note that in the near future when the internet is properly quantum, players will be able to achieve Pareto-optimality in HFT as an instance of reinforced learning., Comment: 10 pages, 4 figures

The production and manipulation of quantum correlation protocols will play a central role where the quantum nature of the correlation can be used as a resource to yield properties unachievable within a classical framework is a very active and important area of research. In this work, we provide a description of a measure of correlation strength between quantum systems, especially for multipartite quantum systems., Comment: 14 pages, 3 figures

Quadratic unconstrained binary optimization (QUBO) is the mathematical formalism for phrasing and solving a class of optimization problems that are combinatorial in nature. Due to their natural equivalence with the two dimensional Ising model for ferromagnetism in statistical mechanics, problems from the QUBO class can be solved on quantum annealing hardware. In this paper, we report a QUBO formatting of the problem of optimal control of time-dependent traffic signals on an artificial grid-structured road network so as to ease the flow of traffic, and the use of D-Wave Systems' quantum annealer to solve it. Since current-generation D-Wave annealers have a limited number of qubits and limited inter-qubit connectivity, we adopt a hybrid (classical/quantum) approach to this problem. As traffic flow is a continuous and evolving phenomenon, we address this time-dependent problem by adopting a workflow to generate and solve multiple problem instances periodically., Comment: Close to published version

The non-Euclidean nature of the mathematical model of quantum circuits leaves open the question of their practical implementation in hardware platforms which necessarily reside in the Euclidean space $\mathbb{R}^3$. On the other hand, reversible circuits are elements of Euclidean spaces, making their physical realization in hardware platforms possible and practical. Here, the quantum circuit model for quantum computing is mapped into that of reversible computing in a mathematically robust fashion using Nash embedding so that every quantum computation can be realized as an equivalent reversible one., Comment: 1 figure

We address an experimental scheme to analyze the optical bistability and the entanglement of two movable mirrors coupled to a two-mode laser inside a doubly resonant cavity. With this aim we investigate the master equations of the atom-cavity subsystem in conjunction with the quantum Langevin equations that describe the interaction of the mirror cavity. The parametric amplification-type coupling induced by the two-photon coherence on the optical bistability of the intracavity mean photon numbers is found and investigated. Under this condition, the optical intensities exhibit bistability for all large values of cavity laser detuning. We also provide numerical evidence for the generation of strong entanglement between the movable mirrors and show that it is robust against environmental thermalization., Comment: 12 pages, 11 figures

We develop a non-cooperative game-theoretic model for the problem of graph minor-embedding to show that optimal compiling of adiabatic quantum programs in the sense of Nash equilibrium is possible., Comment: arXiv admin note: substantial text overlap with arXiv:1801.02053, arXiv:1609.08360, arXiv:1803.07919

We review both theoretical and experimental developments in the area of quantum games since the inception of the subject circa 1999. We will also offer a narrative on the controversy that surrounded the subject in its early days, and how this controversy has affected the development of the subject., Comment: Introduction pruned substantially, new section 5 added on quantum games and quantum algorithms and protocols. 4 figures

With respect to probabilistic mixtures of the strategies in non-cooperative games, quantum game theory provides guarantee of fixed-point stability, the so-called Nash equilibrium. This permits players to choose mixed quantum strategies that prepare mixed quantum states optimally under constraints. In this letter, we show that fixed-point stability of Nash equilibrium can also be guaranteed for pure quantum strategies via an application of the Nash embedding theorem, permitting players to prepare pure quantum states optimally under constraints., Comment: 7 pages, 1 figure. arXiv admin note: text overlap with arXiv:1609.08360

The theory of quantum games permits players to choose strategies that prepare and measure quantum states. Whereas conventional game theory provides guarantees for fixed-point stability in non-cooperative games, so-called Nash equilibria, we find this guarantee is not provided for quantum games. In particular, we show the conditions for Glickberg's fixed-point theorem do not apply to pure quantum games when the payoff is a physical observable. We further show that Nash equilibrium can be guaranteed when the payoff is defined with respect to state preparation., Comment: The results pertaining to fixed point theorems for quantum games were mathematically erroneous

A quantum game can be viewed as a state preparation in which the final output state results from the competing preferences of the players over the set of possible output states that can be produced. It is therefore possible to view state preparation in general as being the output of some appropriately chosen (notional) quantum game. This reverse engineering approach in which we seek to construct a suitable notional game that produces some desired output state as its equilibrium state may lead to different methodologies and insights. With this goal in mind we examine the notion of preference in quantum games since if we are interested in the production of a particular equilibrium output state, it is the competing preferences of the players that determine this equilibrium state. We show that preferences on output states can be viewed in certain cases as being induced by measurement with an appropriate set of numerical weightings, or payoffs, attached to the results of that measurement. In particular we show that a distance-based preference measure on the output states is equivalent to a having a strictly-competitive set of payoffs on the results of some measurement.

This letter reports a novel application of game theory to quantum informational processes which can be used to optimally classify data generated by these processes. To this end, the notion of simultaneously distinguishing a pure quantum state, generated by a quantum informational process, from its constituent observable states optimally - given the constraint of these observables being orthogonal to each other, is first introduced. This problem is solved via a non-cooperative game model and the affiliated solution concept of Nash equilibrium. The notion of Nash equilibrium quantum states is introduced and used to classify quantum data optimally., Comment: The title of this paper has been modified in the second version. The abstract has been extended a bit, and an introduction section and a discussion section have been added as well, together with some more elaboration of the idea in the section on optimal data classification near the end

Nash equilibrium is a solution concept in non-strictly competitive, non-cooperative game theory that finds applications in various scientific and engineering disciplines. A non-strictly competitive, non-cooperative game model is presented here for two qubit quantum computations that allows for the characterization of Nash equilibrium in these computations via the inner product of their state space. Nash equilibrium outcomes are optimal under given constraints and therefore offer a game-theoretic measure of constrained optimization of two qubit quantum computations., Comment: The abstract has been re-written and technical details added to section 5 in version 1

Two qubit quantum computations are viewed as two player, strictly competitive games and a game-theoretic measure of optimality of these computations is developed. To this end, the geometry of Hilbert space of quantum computations is used to establish the equivalence of game-theoretic solution concepts of Nash equilibrium and mini-max outcomes in games of this type, and quantum mechanisms are designed for realizing these mini-max outcomes., Comment: 13 pages, 1 figure. A brief discussion, explicitly stating the insights gained into two qubit quantum computations using min-max, has been added to version 2

We use the example of playing a 2-player game with entangled quantum objects to investigate the effect of quantum correlation. We find that for simple game scenarios it is classical correlation that is the central feature and that these simple quantum games are not sensitive to the quantum part of the correlation. In these games played with quantum objects it is possible to transform a game such as Prisoner's Dilemma into the game of Chicken. We show that this behaviour, and the associated enhanced equilibrium payoff over playing the game with quantum objects in non-entangled states, is entirely due to the classical part of the correlation. Generalizing these games to the pure strategy 2-player quantum game where the players have finite strategy sets and a projective joint measurement is made on the output state produced by the players, we show that a given quantum game of this form can always be reproduced by a classical model, such as a communication channel. Where entanglement is a feature of the these 2-player quantum games the matrix of expected outcomes for the players can be reproduced by a classical channel with correlated noise., Comment: To appear in Fluctuation and Noise Letters

We present a perspective on quantum games that focuses on the physical aspects of the quantities that are used to implement a game. If a game is to be played, it has to be played with objects and actions that have some physical existence. We call such games playable. By focusing on the notion of playability for games we can more clearly see the distinction between classical and quantum games and tackle the thorny issue of what it means to quantize a game. The approach we take can more properly be thought of as gaming the quantum rather than quantizing a game and we find that in this perspective we can think of a complete quantum game, for a given set of preferences, as representing a single family of quantum games with many different playable versions. The versions of Quantum Prisoners Dilemma presented in the literature can therefore be thought of specific instances of the single family of Quantum Prisoner's Dilemma with respect to a particular measurement. The conditions for equilibrium are given for playable quantum games both in terms of expected outcomes and a geometric approach. We discuss how any quantum game can be simulated with a classical game played with classical coins as far as the strategy selections and expected outcomes are concerned., Comment: 3 Figures

In the time since a merger of quantum mechanics and game theory was proposed formally in 1999, the two distinct perspectives apparent in this merger of applying quantum mechanics to game theory, referred to henceforth as the theory of "quantized games", and of applying game theory to quantum mechanics, referred to henceforth as "gaming the quantum", have become synonymous under the single ill-defined term "quantum game". Here, these two perspectives are delineated and a game-theoretically proper description of what makes a multi-player, non-cooperative game quantum mechanical, is given. Within the context of this description, finding a Nash equilibrium in a strictly competitive quantum game is shown to be equivalent to finding a solution to a simultaneous best approximation problem in the state space of quantum objects, thus setting up a framework for a game theory inspired study of "equilibrium" behavior of quantum physical systems such as those utilized in quantum information processing and computation., Comment: Version 4 contains two new sections: an introduction and section 6.1. The latter section discusses how a quantum mechanism design approach can be used to contruct quantum games at Nash equilibrium. Article to appear in Quantum Information & Computation

A working definition of the term \quantum game" is developed in an attempt to gain insights into aspects of quantum mechanics via game theory., Comment: Proceedings of SPIE, Vol. 8057 80570K-1

In the context of quantum information theory, "quantization" of various mathematical and computational constructions is said to occur upon the replacement, at various points in the construction, of the classical randomization notion of probability distribution with higher order randomization notions from quantum mechanics such as quantum superposition with measurement. For this to be done "properly", a faithful copy of the original construction is required to exist within the new "quantum" one, just as is required when a function is extended to a larger domain. Here procedures for extending history dependent Parrondo games, Markov processes and multiplexing circuits to their "quantum" versions are analyzed from a game theoretic viewpoint, and from this viewpoint, proper quantizations developed.

A quantum logic gate of particular interest to both electrical engineers and game theorists is the quantum multiplexer. This shared interest is due to the facts that an arbitrary quantum logic gate may be expressed, up to arbitrary accuracy, via a circuit consisting entirely of variations of the quantum multiplexer, and that certain one player games, the history dependent Parrondo games, can be quantized as games via a particular variation of the quantum multiplexer. However, to date all such quantizations have lacked a certain fundamental game theoretic property. The main result in this dissertation is the development of quantizations of history dependent quantum Parrondo games that satisfy this fundamental game theoretic property. Our approach also yields fresh insight as to what should be considered as the proper quantum analogue of a classical Markov process and gives the first game theoretic measures of multiplexer behavior., Comment: Doctoral dissertation, Portland State University, 138 pages, 22 figures

We develop an octonionic representation of the payoff function for three player, two strategy, maximally entangled quantum games in order to obtain computationally friendly version of this function. This computational capability is then exploited to analyze and potentially classify the Nash equilibria in the quantum games.

Earlier work on the quantization of the history dependent (HD) Parrondo game by Flitney, Ng, and Abbott led to the FNA protocol. We propose an alternative quantization protocol for this game which differs from the FNA protocol in various aspects.

Recent research in multi-valued logic for quantum computing has shown practical advantages for scaling up a quantum computer. Multivalued quantum systems have also been used in the framework of quantum cryptography, and the concept of a qudit cluster state has been proposed by generalizing the qubit cluster state. An evolutionary algorithm based synthesizer for ternary quantum circuits has recently been presented, as well as a synthesis method based on matrix factorization.In this paper, a recursive synthesis method for ternary quantum circuits based on the Cosine-Sine unitary matrix decomposition is presented., Comment: 6 pages, 5 figures

Recent research in generalizing quantum computation from 2-valued qudits to d-valued qudits has shown practical advantages for scaling up a quantum computer. A further generalization leads to quantum computing with hybrid qudits where two or more qudits have different finite dimensions. Advantages of hybrid and d-valued gates (circuits) and their physical realizations have been studied in detail by Muthukrishnan and Stroud (Physical Review A, 052309, 2000), Daboul et al. (J. Phys. A: Math. Gen. 36 2525-2536, 2003), and Bartlett et al (Physical Review A, Vol.65, 052316, 2002). In both cases, a quantum computation is performed when a unitary evolution operator, acting as a quantum logic gate, transforms the state of qudits in a quantum system. Unitary operators can be represented by square unitary matrices. If the system consists of a single qudit, then Tilma et al (J.Phys. A: Math. Gen. 35 (2002) 10467-10501) have shown that the unitary evolution matrix (gate) can be synthesized in terms of its Euler angle parameterization. However, if the quantum system consists of multiple qudits, then a gate may be synthesized by matrix decomposition techniques such as QR factorization and the Cosine-sine Decomposition (CSD). In this article, we present a CSD based synthesis method for n qudit hybrid quantum gates, and as a consequence, derive a CSD based synthesis method for n qudit gates where all the qudits have the same dimension., Comment: 15 pages, 11 figures