-
Quantum game theory and the complexity of approximating quantum Nash equilibria
Authors:
John Bostanci,
John Watrous
Abstract:
This paper is concerned with complexity theoretic aspects of a general formulation of quantum game theory that models strategic interactions among rational agents that process and exchange quantum information. In particular, we prove that the computational problem of finding an approximate Nash equilibrium in a broad class of quantum games is, like the analogous problem for classical games, includ…
▽ More
This paper is concerned with complexity theoretic aspects of a general formulation of quantum game theory that models strategic interactions among rational agents that process and exchange quantum information. In particular, we prove that the computational problem of finding an approximate Nash equilibrium in a broad class of quantum games is, like the analogous problem for classical games, included in (and therefore complete for) the complexity class PPAD. Our main technical contribution, which facilitates this inclusion, is an extension of prior methods in computational game theory to strategy spaces that are characterized by semidefinite programs.
△ Less
Submitted 16 December, 2022; v1 submitted 31 January, 2021;
originally announced February 2021.
-
On the mixed-unitary rank of quantum channels
Authors:
Mark Girard,
Debbie Leung,
Jeremy Levick,
Chi-Kwong Li,
Vern Paulsen,
Yiu Tung Poon,
John Watrous
Abstract:
In the theory of quantum information, the mixed-unitary quantum channels, for any positive integer dimension $n$, are those linear maps that can be expressed as a convex combination of conjugations by $n\times n$ complex unitary matrices. We consider the mixed-unitary rank of any such channel, which is the minimum number of distinct unitary conjugations required for an expression of this form. We…
▽ More
In the theory of quantum information, the mixed-unitary quantum channels, for any positive integer dimension $n$, are those linear maps that can be expressed as a convex combination of conjugations by $n\times n$ complex unitary matrices. We consider the mixed-unitary rank of any such channel, which is the minimum number of distinct unitary conjugations required for an expression of this form. We identify several new relationships between the mixed-unitary rank~$N$ and the Choi rank~$r$ of mixed-unitary channels, the Choi rank being equal to the minimum number of nonzero terms required for a Kraus representation of that channel. Most notably, we prove that the inequality $N\leq r^2-r+1$ is satisfied for every mixed-unitary channel (as is the equality $N=2$ when $r=2$), and we exhibit the first known examples of mixed-unitary channels for which $N>r$. Specifically, we prove that there exist mixed-unitary channels having Choi rank $d+1$ and mixed-unitary rank $2d$ for infinitely many positive integers $d$, including every prime power $d$. We also examine the mixed-unitary ranks of the mixed-unitary Werner--Holevo channels.
△ Less
Submitted 31 March, 2020;
originally announced March 2020.
-
Complexity limitations on one-turn quantum refereed games
Authors:
Soumik Ghosh,
John Watrous
Abstract:
This paper studies complexity theoretic aspects of quantum refereed games, which are abstract games between two competing players that send quantum states to a referee, who performs an efficiently implementable joint measurement on the two states to determine which of the player wins. The complexity class $\mathrm{QRG}(1)$ contains those decision problems for which one of the players can always wi…
▽ More
This paper studies complexity theoretic aspects of quantum refereed games, which are abstract games between two competing players that send quantum states to a referee, who performs an efficiently implementable joint measurement on the two states to determine which of the player wins. The complexity class $\mathrm{QRG}(1)$ contains those decision problems for which one of the players can always win with high probability on yes-instances and the other player can always win with high probability on no-instances, regardless of the opposing player's strategy. This class trivially contains $\mathrm{QMA} \cup \text{co-}\mathrm{QMA}$ and is known to be contained in $\mathrm{PSPACE}$. We prove stronger containments on two restricted variants of this class. Specifically, if one of the players is limited to sending a classical (probabilistic) state rather than a quantum state, the resulting complexity class $\mathrm{CQRG}(1)$ is contained in $\exists\cdot\mathrm{PP}$ (the nondeterministic polynomial-time operator applied to $\mathrm{PP}$); while if both players send quantum states but the referee is forced to measure one of the states first, and incorporates the classical outcome of this measurement into a measurement of the second state, the resulting class $\mathrm{MQRG}(1)$ is contained in $\mathrm{P}\cdot\mathrm{PP}$ (the unbounded-error probabilistic polynomial-time operator applied to $\mathrm{PP}$).
△ Less
Submitted 4 February, 2020;
originally announced February 2020.
-
Detecting mixed-unitary quantum channels is NP-hard
Authors:
Colin Do-Yan Lee,
John Watrous
Abstract:
A quantum channel is said to be a mixed-unitary channel if it can be expressed as a convex combination of unitary channels. We prove that, given the Choi representation of a quantum channel, it is NP-hard with respect to polynomial-time Turing reductions to determine whether or not that channel is a mixed-unitary channel. This hardness result holds even under the assumption that the channel is not…
▽ More
A quantum channel is said to be a mixed-unitary channel if it can be expressed as a convex combination of unitary channels. We prove that, given the Choi representation of a quantum channel, it is NP-hard with respect to polynomial-time Turing reductions to determine whether or not that channel is a mixed-unitary channel. This hardness result holds even under the assumption that the channel is not within an inverse-polynomial distance (in the dimension of the space upon which it acts) of the boundary of the mixed-unitary channels.
△ Less
Submitted 5 March, 2020; v1 submitted 8 February, 2019;
originally announced February 2019.
-
Certifying optimality for convex quantum channel optimization problems
Authors:
Bryan Coutts,
Mark Girard,
John Watrous
Abstract:
We identify necessary and sufficient conditions for a quantum channel to be optimal for any convex optimization problem in which the optimization is taken over the set of all quantum channels of a fixed size. Optimality conditions for convex optimization problems over the set of all quantum measurements of a given system having a fixed number of measurement outcomes are obtained as a special case.…
▽ More
We identify necessary and sufficient conditions for a quantum channel to be optimal for any convex optimization problem in which the optimization is taken over the set of all quantum channels of a fixed size. Optimality conditions for convex optimization problems over the set of all quantum measurements of a given system having a fixed number of measurement outcomes are obtained as a special case. In the case of linear objective functions for measurement optimization problems, our conditions reduce to the well-known Holevo-Yuen-Kennedy-Lax measurement optimality conditions. We illustrate how our conditions can be applied to various state transformation problems having non-linear objective functions based on the fidelity, trace distance, and quantum relative entropy.
△ Less
Submitted 25 April, 2021; v1 submitted 31 October, 2018;
originally announced October 2018.
-
Revisiting the simulation of quantum Turing machines by quantum circuits
Authors:
Abel Molina,
John Watrous
Abstract:
Yao (1993) proved that quantum Turing machines and uniformly generated quantum circuits are polynomially equivalent computational models: $t \geq n$ steps of a quantum Turing machine running on an input of length $n$ can be simulated by a uniformly generated family of quantum circuits with size quadratic in $t$, and a polynomial-time uniformly generated family of quantum circuits can be simulated…
▽ More
Yao (1993) proved that quantum Turing machines and uniformly generated quantum circuits are polynomially equivalent computational models: $t \geq n$ steps of a quantum Turing machine running on an input of length $n$ can be simulated by a uniformly generated family of quantum circuits with size quadratic in $t$, and a polynomial-time uniformly generated family of quantum circuits can be simulated by a quantum Turing machine running in polynomial time. We revisit the simulation of quantum Turing machines with uniformly generated quantum circuits, which is the more challenging of the two simulation tasks, and present a variation on the simulation method employed by Yao together with an analysis of it. This analysis reveals that the simulation of quantum Turing machines can be performed by quantum circuits having depth linear in $t$, rather than quadratic depth, and can be extended to variants of quantum Turing machines, such as ones having multi-dimensional tapes. Our analysis is based on an extension of a method of Arrighi, Nesme, and Werner (2011) that allows for the localization of causal unitary evolutions.
△ Less
Submitted 5 August, 2018;
originally announced August 2018.
-
Oracle Separations for Quantum Statistical Zero-Knowledge
Authors:
Sanketh Menda,
John Watrous
Abstract:
This paper investigates the power of quantum statistical zero knowledge interactive proof systems in the relativized setting. We prove the existence of an oracle relative to which quantum statistical zero-knowledge does not contain UP intersect coUP, and we prove that quantum statistical zero knowledge does not contain UP relative to a random oracle with probability 1. Our proofs of these statemen…
▽ More
This paper investigates the power of quantum statistical zero knowledge interactive proof systems in the relativized setting. We prove the existence of an oracle relative to which quantum statistical zero-knowledge does not contain UP intersect coUP, and we prove that quantum statistical zero knowledge does not contain UP relative to a random oracle with probability 1. Our proofs of these statements rely on a bound on output state discrimination for relativized quantum circuits based on the quantum adversary method of Ambainis, following a technique similar to one used by Ben-David and Kothari to prove limitations on a query complexity variant of quantum statistical zero-knowledge.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
Time-reversal of rank-one quantum strategy functions
Authors:
Yuan Su,
John Watrous
Abstract:
The quantum strategy (or quantum combs) framework is a useful tool for reasoning about interactions among entities that process and exchange quantum information over the course of multiple turns. We prove a time-reversal property for a class of linear functions, defined on quantum strategy representations within this framework, that corresponds to the set of rank-one positive semidefinite operator…
▽ More
The quantum strategy (or quantum combs) framework is a useful tool for reasoning about interactions among entities that process and exchange quantum information over the course of multiple turns. We prove a time-reversal property for a class of linear functions, defined on quantum strategy representations within this framework, that corresponds to the set of rank-one positive semidefinite operators on a certain space. This time-reversal property states that the maximum value obtained by such a function over all valid quantum strategies is also obtained when the direction of time for the function is reversed, despite the fact that the strategies themselves are generally not time reversible. An application of this fact is an alternative proof of a known relationship between the conditional min- and max-entropy of bipartite quantum states, along with generalizations of this relationship.
△ Less
Submitted 1 October, 2018; v1 submitted 25 January, 2018;
originally announced January 2018.
-
Extended Nonlocal Games from Quantum-Classical Games
Authors:
Vincent Russo,
John Watrous
Abstract:
Several variants of nonlocal games have been considered in the study of quantum entanglement and nonlocality. This paper concerns two of these variants, called quantum-classical games and extended nonlocal games. We give a construction of an extended nonlocal game from any quantum-classical game that allows one to translate certain facts concerning quantum- classical games to extended nonlocal gam…
▽ More
Several variants of nonlocal games have been considered in the study of quantum entanglement and nonlocality. This paper concerns two of these variants, called quantum-classical games and extended nonlocal games. We give a construction of an extended nonlocal game from any quantum-classical game that allows one to translate certain facts concerning quantum- classical games to extended nonlocal games. In particular, based on work of Regev and Vidick, we conclude that there exist extended nonlocal games for which no finite-dimensional entangled strategy can be optimal. While this conclusion is a direct consequence of recent work of Slofstra, who proved a stronger, analogous result for ordinary (non-extended) nonlocal games, the proof based on our construction is considerably simpler, and the construction itself might potentially have other applications in the study of entanglement and nonlocality.
△ Less
Submitted 5 September, 2017;
originally announced September 2017.
-
Quantum Proofs
Authors:
Thomas Vidick,
John Watrous
Abstract:
Quantum information and computation provide a fascinating twist on the notion of proofs in computational complexity theory. For instance, one may consider a quantum computational analogue of the complexity class \class{NP}, known as QMA, in which a quantum state plays the role of a proof (also called a certificate or witness), and is checked by a polynomial-time quantum computation. For some probl…
▽ More
Quantum information and computation provide a fascinating twist on the notion of proofs in computational complexity theory. For instance, one may consider a quantum computational analogue of the complexity class \class{NP}, known as QMA, in which a quantum state plays the role of a proof (also called a certificate or witness), and is checked by a polynomial-time quantum computation. For some problems, the fact that a quantum proof state could be a superposition over exponentially many classical states appears to offer computational advantages over classical proof strings. In the interactive proof system setting, one may consider a verifier and one or more provers that exchange and process quantum information rather than classical information during an interaction for a given input string, giving rise to quantum complexity classes such as QIP, QSZK, and QMIP* that represent natural quantum analogues of IP, SZK, and MIP. While quantum interactive proof systems inherit some properties from their classical counterparts, they also possess distinct and uniquely quantum features that lead to an interesting landscape of complexity classes based on variants of this model.
In this survey we provide an overview of many of the known results concerning quantum proofs, computational models based on this concept, and properties of the complexity classes they define. In particular, we discuss non-interactive proofs and the complexity class QMA, single-prover quantum interactive proof systems and the complexity class QIP, statistical zero-knowledge quantum interactive proof systems and the complexity class \class{QSZK}, and multiprover interactive proof systems and the complexity classes QMIP, QMIP*, and MIP*.
△ Less
Submitted 5 October, 2016;
originally announced October 2016.
-
Ancilla dimension in quantum channel discrimination
Authors:
Daniel Puzzuoli,
John Watrous
Abstract:
Single-shot quantum channel discrimination is a fundamental task in quantum information theory. It is well known that entanglement with an ancillary system can help in this task, and furthermore that an ancilla with the same dimension as the input of the channels is always sufficient for optimal discrimination of two channels. A natural question to ask is whether the same holds true for the output…
▽ More
Single-shot quantum channel discrimination is a fundamental task in quantum information theory. It is well known that entanglement with an ancillary system can help in this task, and furthermore that an ancilla with the same dimension as the input of the channels is always sufficient for optimal discrimination of two channels. A natural question to ask is whether the same holds true for the output dimension. That is, in cases when the output dimension of the channels is (possibly much) smaller than the input dimension, is an ancilla with dimension equal to the output dimension always sufficient for optimal discrimination? We show that the answer to this question is "no" by construction of a family of counterexamples. This family contains instances with arbitrary finite gap between the input and output dimensions, and still has the property that in every case, for optimal discrimination, it is necessary to use an ancilla with dimension equal to that of the input.
The proof relies on a characterization of all operators on the trace norm unit sphere that maximize entanglement negativity. In the case of density operators we generalize this characterization to a broad class of entanglement measures, which we call weak entanglement measures. This characterization allows us to conclude that a quantum channel is reversible if and only if it preserves entanglement as measured by any weak entanglement measure, with the structure of maximally entangled states being equivalent to the structure of reversible maps via the Choi isomorphism. We also include alternate proofs of other known characterizations of channel reversibility.
△ Less
Submitted 17 November, 2016; v1 submitted 27 April, 2016;
originally announced April 2016.
-
Zero-knowledge proof systems for QMA
Authors:
Anne Broadbent,
Zhengfeng Ji,
Fang Song,
John Watrous
Abstract:
Prior work has established that all problems in NP admit classical zero-knowledge proof systems, and under reasonable hardness assumptions for quantum computations, these proof systems can be made secure against quantum attacks. We prove a result representing a further quantum generalization of this fact, which is that every problem in the complexity class QMA has a quantum zero-knowledge proof sy…
▽ More
Prior work has established that all problems in NP admit classical zero-knowledge proof systems, and under reasonable hardness assumptions for quantum computations, these proof systems can be made secure against quantum attacks. We prove a result representing a further quantum generalization of this fact, which is that every problem in the complexity class QMA has a quantum zero-knowledge proof system. More specifically, assuming the existence of an unconditionally binding and quantum computationally concealing commitment scheme, we prove that every problem in the complexity class QMA has a quantum interactive proof system that is zero-knowledge with respect to efficient quantum computations.
Our QMA proof system is sound against arbitrary quantum provers, but only requires an honest prover to perform polynomial-time quantum computations, provided that it holds a quantum witness for a given instance of the QMA problem under consideration. The proof system relies on a new variant of the QMA-complete local Hamiltonian problem in which the local terms are described by Clifford operations and standard basis measurements. We believe that the QMA-completeness of this problem may have other uses in quantum complexity.
△ Less
Submitted 11 April, 2016;
originally announced April 2016.
-
Operational meaning of quantum measures of recovery
Authors:
Tom Cooney,
Christoph Hirche,
Ciara Morgan,
Jonathan P. Olson,
Kaushik P. Seshadreesan,
John Watrous,
Mark M. Wilde
Abstract:
Several information measures have recently been defined which capture the notion of "recoverability." In particular, the fidelity of recovery quantifies how well one can recover a system $A$ of a tripartite quantum state, defined on systems $ABC$, by acting on system $C$ alone. The relative entropy of recovery is an associated measure in which the fidelity is replaced by relative entropy. In this…
▽ More
Several information measures have recently been defined which capture the notion of "recoverability." In particular, the fidelity of recovery quantifies how well one can recover a system $A$ of a tripartite quantum state, defined on systems $ABC$, by acting on system $C$ alone. The relative entropy of recovery is an associated measure in which the fidelity is replaced by relative entropy. In this paper, we provide concrete operational interpretations of the aforementioned recovery measures in terms of a computational decision problem and a hypothesis testing scenario. Specifically, we show that the fidelity of recovery is equal to the maximum probability with which a computationally unbounded quantum prover can convince a computationally bounded quantum verifier that a given quantum state is recoverable. The quantum interactive proof system giving this operational meaning requires four messages exchanged between the prover and verifier, but by forcing the prover to perform his actions in superposition, we construct a different proof system that requires only two messages. The result is that the associated decision problem is in QIP(2) and another argument establishes it as hard for QSZK (both classes contain problems believed to be difficult to solve for a quantum computer). We finally prove that the regularized relative entropy of recovery is equal to the optimal Type II error exponent when trying to distinguish many copies of a tripartite state from a recovered version of this state, such that the Type I error is constrained to be no larger than a constant.
△ Less
Submitted 4 August, 2016; v1 submitted 16 December, 2015;
originally announced December 2015.
-
Extended nonlocal games and monogamy-of-entanglement games
Authors:
Nathaniel Johnston,
Rajat Mittal,
Vincent Russo,
John Watrous
Abstract:
We study a generalization of nonlocal games---which we call extended nonlocal games---in which the players, Alice and Bob, initially share a tripartite quantum state with the referee. In such games, the winning conditions for Alice and Bob may depend on outcomes of measurements made by the referee, on its part of the shared quantum state, in addition to Alice and Bob's answers to randomly selected…
▽ More
We study a generalization of nonlocal games---which we call extended nonlocal games---in which the players, Alice and Bob, initially share a tripartite quantum state with the referee. In such games, the winning conditions for Alice and Bob may depend on outcomes of measurements made by the referee, on its part of the shared quantum state, in addition to Alice and Bob's answers to randomly selected questions. Our study of this class of games was inspired by the monogamy-of-entanglement games introduced by Tomamichel, Fehr, Kaniewski, and Wehner, which they also generalize. We prove that a natural extension of the Navascues--Pironio--Acin hierarchy of semidefinite programs converges to the optimal commuting operator value of extended nonlocal games, and we prove two extensions of results of Tomamichel et al. concerning monogamy-of-entanglement games.
△ Less
Submitted 28 October, 2015; v1 submitted 6 October, 2015;
originally announced October 2015.
-
On the complementary quantum capacity of the depolarizing channel
Authors:
Debbie Leung,
John Watrous
Abstract:
The qubit depolarizing channel with noise parameter $η$ transmits an input qubit perfectly with probability $1-η$, and outputs the completely mixed state with probability $η$. We show that its complementary channel has positive quantum capacity for all $η>0$. Thus, we find that there exists a single parameter family of channels having the peculiar property of having positive quantum capacity even…
▽ More
The qubit depolarizing channel with noise parameter $η$ transmits an input qubit perfectly with probability $1-η$, and outputs the completely mixed state with probability $η$. We show that its complementary channel has positive quantum capacity for all $η>0$. Thus, we find that there exists a single parameter family of channels having the peculiar property of having positive quantum capacity even when the outputs of these channels approach a fixed state independent of the input. Comparisons with other related channels, and implications on the difficulty of studying the quantum capacity of the depolarizing channel are discussed.
△ Less
Submitted 1 October, 2018; v1 submitted 5 October, 2015;
originally announced October 2015.
-
Limitations on separable measurements by convex optimization
Authors:
Somshubhro Bandyopadhyay,
Alessandro Cosentino,
Nathaniel Johnston,
Vincent Russo,
John Watrous,
Nengkun Yu
Abstract:
We prove limitations on LOCC and separable measurements in bipartite state discrimination problems using techniques from convex optimization. Specific results that we prove include: an exact formula for the optimal probability of correctly discriminating any set of either three or four Bell states via LOCC or separable measurements when the parties are given an ancillary partially entangled pair o…
▽ More
We prove limitations on LOCC and separable measurements in bipartite state discrimination problems using techniques from convex optimization. Specific results that we prove include: an exact formula for the optimal probability of correctly discriminating any set of either three or four Bell states via LOCC or separable measurements when the parties are given an ancillary partially entangled pair of qubits; an easily checkable characterization of when an unextendable product set is perfectly discriminated by separable measurements, along with the first known example of an unextendable product set that cannot be perfectly discriminated by separable measurements; and an optimal bound on the success probability for any LOCC or separable measurement for the recently proposed state discrimination problem of Yu, Duan, and Ying.
△ Less
Submitted 4 January, 2021; v1 submitted 29 August, 2014;
originally announced August 2014.
-
Einstein-Podolsky-Rosen steering provides the advantage in entanglement-assisted subchannel discrimination with one-way measurements
Authors:
Marco Piani,
John Watrous
Abstract:
Steering is the entanglement-based quantum effect that embodies the "spooky action at a distance" disliked by Einstein and scrutinized by Einstein, Podolsky, and Rosen. Here we provide a necessary and sufficient characterization of steering, based on a quantum information processing task: the discrimination of branches in a quantum evolution, which we dub subchannel discrimination. We prove that,…
▽ More
Steering is the entanglement-based quantum effect that embodies the "spooky action at a distance" disliked by Einstein and scrutinized by Einstein, Podolsky, and Rosen. Here we provide a necessary and sufficient characterization of steering, based on a quantum information processing task: the discrimination of branches in a quantum evolution, which we dub subchannel discrimination. We prove that, for any bipartite steerable state, there are instances of the quantum subchannel discrimination problem for which this state allows a correct discrimination with strictly higher probability than in absence of entanglement, even when measurements are restricted to local measurements aided by one-way communication. On the other hand, unsteerable states are useless in such conditions, even when entangled. We also prove that the above steering advantage can be exactly quantified in terms of the steering robustness, which is a natural measure of the steerability exhibited by the state.
△ Less
Submitted 2 June, 2014;
originally announced June 2014.
-
Simpler semidefinite programs for completely bounded norms
Authors:
John Watrous
Abstract:
The completely bounded trace and spectral norms, for finite-dimensional spaces, are known to be efficiently expressible by semidefinite programs (J. Watrous, Theory of Computing 5: 11, 2009). This paper presents two new, and arguably much simpler, semidefinite programming formulations of these norms.
The completely bounded trace and spectral norms, for finite-dimensional spaces, are known to be efficiently expressible by semidefinite programs (J. Watrous, Theory of Computing 5: 11, 2009). This paper presents two new, and arguably much simpler, semidefinite programming formulations of these norms.
△ Less
Submitted 2 August, 2012; v1 submitted 24 July, 2012;
originally announced July 2012.
-
Optimal counterfeiting attacks and generalizations for Wiesner's quantum money
Authors:
Abel Molina,
Thomas Vidick,
John Watrous
Abstract:
We present an analysis of Wiesner's quantum money scheme, as well as some natural generalizations of it, based on semidefinite programming. For Wiesner's original scheme, it is determined that the optimal probability for a counterfeiter to create two copies of a bank note from one, where both copies pass the bank's test for validity, is (3/4)^n for n being the number of qubits used for each note.…
▽ More
We present an analysis of Wiesner's quantum money scheme, as well as some natural generalizations of it, based on semidefinite programming. For Wiesner's original scheme, it is determined that the optimal probability for a counterfeiter to create two copies of a bank note from one, where both copies pass the bank's test for validity, is (3/4)^n for n being the number of qubits used for each note. Generalizations in which other ensembles of states are substituted for the one considered by Wiesner are also discussed, including a scheme recently proposed by Pastawski, Yao, Jiang, Lukin, and Cirac, as well as schemes based on higher dimensional quantum systems. In addition, we introduce a variant of Wiesner's quantum money in which the verification protocol for bank notes involves only classical communication with the bank. We show that the optimal probability with which a counterfeiter can succeed in two independent verification attempts, given access to a single valid n-qubit bank note, is (3/4+sqrt(2)/8)^n. We also analyze extensions of this variant to higher-dimensional schemes.
△ Less
Submitted 17 February, 2012;
originally announced February 2012.
-
Hedging bets with correlated quantum strategies
Authors:
Abel Molina,
John Watrous
Abstract:
This paper studies correlations among independently administered hypothetical tests of a simple interactive type, and demonstrates that correlations arising in quantum information theoretic variants of these tests can exhibit a striking non-classical behavior. When viewed in a game-theoretic setting, these correlations are suggestive of a perfect form of hedging, where the risk of a loss in one ga…
▽ More
This paper studies correlations among independently administered hypothetical tests of a simple interactive type, and demonstrates that correlations arising in quantum information theoretic variants of these tests can exhibit a striking non-classical behavior. When viewed in a game-theoretic setting, these correlations are suggestive of a perfect form of hedging, where the risk of a loss in one game of chance is perfectly offset by one's actions in a second game. This type of perfect hedging is quantum in nature: it is not possible in classical variants of the tests we consider.
△ Less
Submitted 13 April, 2011; v1 submitted 6 April, 2011;
originally announced April 2011.
-
Quantum interactive proofs with weak error bounds
Authors:
Tsuyoshi Ito,
Hirotada Kobayashi,
John Watrous
Abstract:
This paper proves that the computational power of quantum interactive proof systems, with a double-exponentially small gap in acceptance probability between the completeness and soundness cases, is precisely characterized by EXP, the class of problems solvable in exponential time by deterministic Turing machines. This fact, and our proof of it, has implications concerning quantum and classical int…
▽ More
This paper proves that the computational power of quantum interactive proof systems, with a double-exponentially small gap in acceptance probability between the completeness and soundness cases, is precisely characterized by EXP, the class of problems solvable in exponential time by deterministic Turing machines. This fact, and our proof of it, has implications concerning quantum and classical interactive proof systems in the setting of unbounded error that include the following:
* Quantum interactive proof systems are strictly more powerful than their classical counterparts in the unbounded-error setting unless PSPACE=EXP, as even unbounded error classical interactive proof systems can be simulated in PSPACE.
* The recent proof of Jain, Ji, Upadhyay, and Watrous (STOC 2010) establishing QIP=PSPACE relies heavily on the fact that the quantum interactive proof systems defining the class QIP have bounded error. Our result implies that some nontrivial assumption on the error bounds for quantum interactive proofs is unavoidable to establish this result (unless PSPACE=EXP).
* To prove our result, we give a quantum interactive proof system for EXP with perfect completeness and soundness error 1-2^{-2^poly}, for which the soundness error bound is provably tight. This establishes another respect in which quantum and classical interactive proof systems differ, because such a bound cannot hold for any classical interactive proof system: distinct acceptance probabilities for classical interactive proof systems must be separated by a gap that is at least (single-)exponentially small.
We also study the computational power of a few other related unbounded-error complexity classes.
△ Less
Submitted 6 September, 2011; v1 submitted 20 December, 2010;
originally announced December 2010.
-
Entanglement in channel discrimination with restricted measurements
Authors:
William Matthews,
Marco Piani,
John Watrous
Abstract:
We study the power of measurements implementable with local quantum operations and classical communication (or LOCC measurements for short) in the setting of quantum channel discrimination. More precisely, we consider discrimination procedures that attempt to identify an unknown channel, chosen uniformly from two known alternatives, that take the following form: (i) the input to the unknown channe…
▽ More
We study the power of measurements implementable with local quantum operations and classical communication (or LOCC measurements for short) in the setting of quantum channel discrimination. More precisely, we consider discrimination procedures that attempt to identify an unknown channel, chosen uniformly from two known alternatives, that take the following form: (i) the input to the unknown channel is prepared in a possibly entangled state with an ancillary system, (ii) the unknown channel is applied to the input system, and (iii) an LOCC measurement is performed on the output and ancillary systems, resulting in a guess for which of the two channels was given. The restriction of the measurement in such a procedure to be an LOCC measurement is of interest because it isolates the entanglement in the initial input/ancillary systems as a resource in the setting of channel discrimination. We prove that there exist channel discrimination problems for which restricted procedures of this sort can be at either of the two extremes: they may be optimal within the set of all discrimination procedures (and simultaneously outperform all strategies that make no use of entanglement), or they may be no better than unentangled strategies (and simultaneously sub-optimal within the set of all discrimination procedures).
△ Less
Submitted 6 April, 2010;
originally announced April 2010.
-
Quantum interactive proofs with short messages
Authors:
Salman Beigi,
Peter W. Shor,
John Watrous
Abstract:
This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and verifier. The first variant is one in which the verifier sends a short message to the prover, and the prover responds with an ordinary, or polynomial-length, message; the second variant is one in which any number of messages can be excha…
▽ More
This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and verifier. The first variant is one in which the verifier sends a short message to the prover, and the prover responds with an ordinary, or polynomial-length, message; the second variant is one in which any number of messages can be exchanged, but where the combined length of all the messages is logarithmic; and the third variant is one in which the verifier sends polynomially many random bits to the prover, who responds with a short quantum message. We prove that in all of these cases the short messages can be eliminated without changing the power of the model, so the first variant has the expressive power of QMA and the second and third variants have the expressive power of BQP. These facts are proved through the use of quantum state tomography, along with the finite quantum de Finetti theorem for the first variant.
△ Less
Submitted 21 June, 2011; v1 submitted 2 April, 2010;
originally announced April 2010.
-
Adaptive versus non-adaptive strategies for quantum channel discrimination
Authors:
Aram W. Harrow,
Avinatan Hassidim,
Debbie W. Leung,
John Watrous
Abstract:
We provide a simple example that illustrates the advantage of adaptive over non-adaptive strategies for quantum channel discrimination. In particular, we give a pair of entanglement-breaking channels that can be perfectly discriminated by means of an adaptive strategy that requires just two channel evaluations, but for which no non-adaptive strategy can give a perfect discrimination using any fi…
▽ More
We provide a simple example that illustrates the advantage of adaptive over non-adaptive strategies for quantum channel discrimination. In particular, we give a pair of entanglement-breaking channels that can be perfectly discriminated by means of an adaptive strategy that requires just two channel evaluations, but for which no non-adaptive strategy can give a perfect discrimination using any finite number of channel evaluations.
△ Less
Submitted 1 September, 2009;
originally announced September 2009.
-
Matchgate and space-bounded quantum computations are equivalent
Authors:
Richard Jozsa,
Barbara Kraus,
Akimasa Miyake,
John Watrous
Abstract:
Matchgates are an especially multiflorous class of two-qubit nearest neighbour quantum gates, defined by a set of algebraic constraints. They occur for example in the theory of perfect matchings of graphs, non-interacting fermions, and one-dimensional spin chains. We show that the computational power of circuits of matchgates is equivalent to that of space-bounded quantum computation with unitar…
▽ More
Matchgates are an especially multiflorous class of two-qubit nearest neighbour quantum gates, defined by a set of algebraic constraints. They occur for example in the theory of perfect matchings of graphs, non-interacting fermions, and one-dimensional spin chains. We show that the computational power of circuits of matchgates is equivalent to that of space-bounded quantum computation with unitary gates, with space restricted to being logarithmic in the width of the matchgate circuit. In particular, for the conventional setting of polynomial-sized (logarithmic-space generated) families of matchgate circuits, known to be classically simulatable, we characterise their power as coinciding with polynomial-time and logarithmic-space bounded universal unitary quantum computation.
△ Less
Submitted 29 January, 2010; v1 submitted 11 August, 2009;
originally announced August 2009.
-
QIP = PSPACE
Authors:
Rahul Jain,
Zhengfeng Ji,
Sarvagya Upadhyay,
John Watrous
Abstract:
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a parallelized form of the matrix multiplicative weights update method to a class of semidefinite programs that captures the computational power of quantum interactive proofs. As the containment of PSPACE in QIP follows im…
▽ More
We prove that the complexity class QIP, which consists of all problems having quantum interactive proof systems, is contained in PSPACE. This containment is proved by applying a parallelized form of the matrix multiplicative weights update method to a class of semidefinite programs that captures the computational power of quantum interactive proofs. As the containment of PSPACE in QIP follows immediately from the well-known equality IP = PSPACE, the equality QIP = PSPACE follows.
△ Less
Submitted 2 August, 2009; v1 submitted 27 July, 2009;
originally announced July 2009.
-
Two-message quantum interactive proofs are in PSPACE
Authors:
Rahul Jain,
Sarvagya Upadhyay,
John Watrous
Abstract:
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient parallel algorithm, based on the multiplicative weights update method, for approximately solving a certain class of semidefinite programs.
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient parallel algorithm, based on the multiplicative weights update method, for approximately solving a certain class of semidefinite programs.
△ Less
Submitted 8 May, 2009;
originally announced May 2009.
-
Semidefinite programs for completely bounded norms
Authors:
John Watrous
Abstract:
The completely bounded trace and spectral norms in finite dimensions are shown to be expressible by semidefinite programs. This provides an efficient method by which these norms may be both calculated and verified, and gives alternate proofs of some known facts about them.
The completely bounded trace and spectral norms in finite dimensions are shown to be expressible by semidefinite programs. This provides an efficient method by which these norms may be both calculated and verified, and gives alternate proofs of some known facts about them.
△ Less
Submitted 15 April, 2009; v1 submitted 29 January, 2009;
originally announced January 2009.
-
All entangled states are useful for channel discrimination
Authors:
M. Piani,
J. Watrous
Abstract:
We prove that every entangled state is useful as a resource for the problem of minimum-error channel discrimination. More specifically, given a single copy of an arbitrary bipartite entangled state, it holds that there is an instance of a quantum channel discrimination task for which this state allows for a correct discrimination with strictly higher probability than every separable state.
We prove that every entangled state is useful as a resource for the problem of minimum-error channel discrimination. More specifically, given a single copy of an arbitrary bipartite entangled state, it holds that there is an instance of a quantum channel discrimination task for which this state allows for a correct discrimination with strictly higher probability than every separable state.
△ Less
Submitted 16 July, 2009; v1 submitted 15 January, 2009;
originally announced January 2009.
-
Parallel approximation of non-interactive zero-sum quantum games
Authors:
Rahul Jain,
John Watrous
Abstract:
This paper studies a simple class of zero-sum games played by two competing quantum players: each player sends a mixed quantum state to a referee, who performs a joint measurement on the two states to determine the players' payoffs. We prove that an equilibrium point of any such game can be approximated by means of an efficient parallel algorithm, which implies that one-turn quantum refereed gam…
▽ More
This paper studies a simple class of zero-sum games played by two competing quantum players: each player sends a mixed quantum state to a referee, who performs a joint measurement on the two states to determine the players' payoffs. We prove that an equilibrium point of any such game can be approximated by means of an efficient parallel algorithm, which implies that one-turn quantum refereed games, wherein the referee is specified by a quantum circuit, can be simulated in polynomial space.
△ Less
Submitted 20 August, 2008;
originally announced August 2008.
-
Closed Timelike Curves Make Quantum and Classical Computing Equivalent
Authors:
Scott Aaronson,
John Watrous
Abstract:
While closed timelike curves (CTCs) are not known to exist, studying their consequences has led to nontrivial insights in general relativity, quantum information, and other areas. In this paper we show that if CTCs existed, then quantum computers would be no more powerful than classical computers: both would have the (extremely large) power of the complexity class PSPACE, consisting of all probl…
▽ More
While closed timelike curves (CTCs) are not known to exist, studying their consequences has led to nontrivial insights in general relativity, quantum information, and other areas. In this paper we show that if CTCs existed, then quantum computers would be no more powerful than classical computers: both would have the (extremely large) power of the complexity class PSPACE, consisting of all problems solvable by a conventional computer using a polynomial amount of memory. This solves an open problem proposed by one of us in 2005, and gives an essentially complete understanding of computational complexity in the presence of CTCs. Following the work of Deutsch, we treat a CTC as simply a region of spacetime where a "causal consistency" condition is imposed, meaning that Nature has to produce a (probabilistic or quantum) fixed-point of some evolution operator. Our conclusion is then a consequence of the following theorem: given any quantum circuit (not necessarily unitary), a fixed-point of the circuit can be (implicitly) computed in polynomial space. This theorem might have independent applications in quantum information.
△ Less
Submitted 19 August, 2008;
originally announced August 2008.
-
Mixing doubly stochastic quantum channels with the completely depolarizing channel
Authors:
John Watrous
Abstract:
It is proved that every doubly stochastic quantum channel that is properly averaged with the completely depolarizing channel can be written as a convex combination of unitary channels. As a consequence, we find that the collection of channels expressible as convex combinations of unitary channels has non-zero Borel measure within the space of doubly stochastic channels.
It is proved that every doubly stochastic quantum channel that is properly averaged with the completely depolarizing channel can be written as a convex combination of unitary channels. As a consequence, we find that the collection of channels expressible as convex combinations of unitary channels has non-zero Borel measure within the space of doubly stochastic channels.
△ Less
Submitted 16 July, 2008;
originally announced July 2008.
-
Coherent state exchange in multi-prover quantum interactive proof systems
Authors:
Debbie Leung,
Ben Toner,
John Watrous
Abstract:
We show that any number of parties can coherently exchange any one pure quantum state for another, without communication, given prior shared entanglement. Two applications of this fact to the study of multi-prover quantum interactive proof systems are given. First, we prove that there exists a one-round two-prover quantum interactive proof system for which no finite amount of shared entanglement a…
▽ More
We show that any number of parties can coherently exchange any one pure quantum state for another, without communication, given prior shared entanglement. Two applications of this fact to the study of multi-prover quantum interactive proof systems are given. First, we prove that there exists a one-round two-prover quantum interactive proof system for which no finite amount of shared entanglement allows the provers to implement an optimal strategy. More specifically, for every fixed input string, there exists a sequence of strategies for the provers, with each strategy requiring more entanglement than the last, for which the probability for the provers to convince the verifier to accept approaches 1. It is not possible, however, for the provers to convince the verifier to accept with certainty with a finite amount of shared entanglement. The second application is a simple proof that multi-prover quantum interactive proofs can be transformed to have near-perfect completeness by the addition of one round of communication.
△ Less
Submitted 10 March, 2011; v1 submitted 25 April, 2008;
originally announced April 2008.
-
Quantum Computational Complexity
Authors:
John Watrous
Abstract:
This article surveys quantum computational complexity, with a focus on three fundamental notions: polynomial-time quantum computations, the efficient verification of quantum proofs, and quantum interactive proof systems. Properties of quantum complexity classes based on these notions, such as BQP, QMA, and QIP, are presented. Other topics in quantum complexity, including quantum advice, space-bo…
▽ More
This article surveys quantum computational complexity, with a focus on three fundamental notions: polynomial-time quantum computations, the efficient verification of quantum proofs, and quantum interactive proof systems. Properties of quantum complexity classes based on these notions, such as BQP, QMA, and QIP, are presented. Other topics in quantum complexity, including quantum advice, space-bounded quantum computation, and bounded-depth quantum circuits, are also discussed.
△ Less
Submitted 21 April, 2008;
originally announced April 2008.
-
Distinguishing quantum operations having few Kraus operators
Authors:
John Watrous
Abstract:
Entanglement is sometimes helpful in distinguishing between quantum operations, as differences between quantum operations can become magnified when their inputs are entangled with auxiliary systems. Bounds on the dimension of the auxiliary system needed to optimally distinguish quantum operations are known in several situations. For instance, the dimension of the auxiliary space never needs to e…
▽ More
Entanglement is sometimes helpful in distinguishing between quantum operations, as differences between quantum operations can become magnified when their inputs are entangled with auxiliary systems. Bounds on the dimension of the auxiliary system needed to optimally distinguish quantum operations are known in several situations. For instance, the dimension of the auxiliary space never needs to exceed the dimension of the input space of the operations for optimal distinguishability, while no auxiliary system whatsoever is needed to optimally distinguish unitary operations. Another bound, which follows from work of R. Timoney, is that optimal distinguishability is always possible when the dimension of the auxiliary system is twice the number of operators needed to express the difference between the quantum operations in Kraus form. This paper provides an alternate proof of this fact that is based on concepts and tools that are familiar to quantum information theorists.
△ Less
Submitted 18 April, 2008; v1 submitted 3 October, 2007;
originally announced October 2007.
-
Toward a general theory of quantum games
Authors:
Gus Gutoski,
John Watrous
Abstract:
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum information with one or more other parties. In particular, we focus on a representation of quantum strategies that generalizes the Choi-JamioÅ‚kowski representation of quantum operations. This new representation associates with…
▽ More
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum information with one or more other parties. In particular, we focus on a representation of quantum strategies that generalizes the Choi-Jamiołkowski representation of quantum operations. This new representation associates with each strategy a positive semidefinite operator acting only on the tensor product of its input and output spaces. Various facts about such representations are established, and two applications are discussed: the first is a new and conceptually simple proof of Kitaev's lower bound for strong coin-flipping, and the second is a proof of the exact characterization QRG = EXP of the class of problems having quantum refereed games.
△ Less
Submitted 2 April, 2007; v1 submitted 22 November, 2006;
originally announced November 2006.
-
Zero-knowledge against quantum attacks
Authors:
John Watrous
Abstract:
This paper proves that several interactive proof systems are zero-knowledge against quantum attacks. This includes a few well-known classical zero-knowledge proof systems as well as quantum interactive proof systems for the complexity class HVQSZK, which comprises all problems having "honest verifier" quantum statistical zero-knowledge proofs. It is also proved that zero-knowledge proofs for eve…
▽ More
This paper proves that several interactive proof systems are zero-knowledge against quantum attacks. This includes a few well-known classical zero-knowledge proof systems as well as quantum interactive proof systems for the complexity class HVQSZK, which comprises all problems having "honest verifier" quantum statistical zero-knowledge proofs. It is also proved that zero-knowledge proofs for every language in NP exist that are secure against quantum attacks, assuming the existence of quantum computationally concealing commitment schemes. Previously no non-trivial proof systems were known to be zero-knowledge against quantum attacks, except in restricted settings such as the honest-verifier and common reference string models. This paper therefore establishes for the first time that true zero-knowledge is indeed possible in the presence of quantum information and computation.
△ Less
Submitted 3 November, 2005;
originally announced November 2005.
-
Quantum Arthur-Merlin Games
Authors:
Chris Marriott,
John Watrous
Abstract:
This paper studies quantum Arthur-Merlin games, which are Arthur-Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum information. As in the classical case, messages from Arthur to Merlin are restricted to be strings of uniformly generated random bits. It is proved that for one-message quantum Arthur-Merlin games, which correspond to the com…
▽ More
This paper studies quantum Arthur-Merlin games, which are Arthur-Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum information. As in the classical case, messages from Arthur to Merlin are restricted to be strings of uniformly generated random bits. It is proved that for one-message quantum Arthur-Merlin games, which correspond to the complexity class QMA, completeness and soundness errors can be reduced exponentially without increasing the length of Merlin's message. Previous constructions for reducing error required a polynomial increase in the length of Merlin's message. Applications of this fact include a proof that logarithmic length quantum certificates yield no increase in power over BQP and a simple proof that QMA is contained in PP. Other facts that are proved include the equivalence of three (or more) message quantum Arthur-Merlin games with ordinary quantum interactive proof systems and some basic properties concerning two-message quantum Arthur-Merlin games.
△ Less
Submitted 15 June, 2005;
originally announced June 2005.
-
Bipartite subspaces having no LOCC-distinguishable bases
Authors:
John Watrous
Abstract:
It is proved that there exist subspaces of bipartite tensor product spaces that have no orthonormal bases that can be perfectly distinguished by means of LOCC protocols. A corollary of this fact is that there exist quantum channels having sub-optimal classical capacity even when the receiver may communicate classically with a third party that represents the channel's environment.
It is proved that there exist subspaces of bipartite tensor product spaces that have no orthonormal bases that can be perfectly distinguished by means of LOCC protocols. A corollary of this fact is that there exist quantum channels having sub-optimal classical capacity even when the receiver may communicate classically with a third party that represents the channel's environment.
△ Less
Submitted 18 March, 2005; v1 submitted 9 March, 2005;
originally announced March 2005.
-
Quantum Interactive Proofs with Competing Provers
Authors:
Gus Gutoski,
John Watrous
Abstract:
This paper studies quantum refereed games, which are quantum interactive proof systems with two competing provers: one that tries to convince the verifier to accept and the other that tries to convince the verifier to reject. We prove that every language having an ordinary quantum interactive proof system also has a quantum refereed game in which the verifier exchanges just one round of messages…
▽ More
This paper studies quantum refereed games, which are quantum interactive proof systems with two competing provers: one that tries to convince the verifier to accept and the other that tries to convince the verifier to reject. We prove that every language having an ordinary quantum interactive proof system also has a quantum refereed game in which the verifier exchanges just one round of messages with each prover. A key part of our proof is the fact that there exists a single quantum measurement that reliably distinguishes between mixed states chosen arbitrarily from disjoint convex sets having large minimal trace distance from one another. We also show how to reduce the probability of error for some classes of quantum refereed games.
△ Less
Submitted 22 December, 2004;
originally announced December 2004.
-
Notes on super-operator norms induced by Schatten norms
Authors:
John Watrous
Abstract:
This paper considers basic properties of super-operator norms induced by Schatten p-norms. Such super-operator norms arise in various contexts in the study of quantum information. It is proved that for completely positive super-operators, the value of any such norm is achieved by a positive semidefinite input, answering a question recently posed by King and Ruskai. However, for any choice of p,…
▽ More
This paper considers basic properties of super-operator norms induced by Schatten p-norms. Such super-operator norms arise in various contexts in the study of quantum information. It is proved that for completely positive super-operators, the value of any such norm is achieved by a positive semidefinite input, answering a question recently posed by King and Ruskai. However, for any choice of p, there exists a super-operator that is the difference of two completely positive, trace-preserving super-operators such that the value of the super-operator norm is not even achieved on a Hermitian input operator. Also considered are the properties of the above norms for super-operators tensored with the identity super-operator.
△ Less
Submitted 10 November, 2004;
originally announced November 2004.
-
On the hardness of distinguishing mixed-state quantum computations
Authors:
Bill Rosgen,
John Watrous
Abstract:
This paper considers the following problem. Two mixed-state quantum circuits Q and R are given, and the goal is to determine which of two possibilities holds: (i) Q and R act nearly identically on all possible quantum state inputs, or (ii) there exists some input state that Q and R transform into almost perfectly distinguishable outputs. This problem may be viewed as an abstraction of the follow…
▽ More
This paper considers the following problem. Two mixed-state quantum circuits Q and R are given, and the goal is to determine which of two possibilities holds: (i) Q and R act nearly identically on all possible quantum state inputs, or (ii) there exists some input state that Q and R transform into almost perfectly distinguishable outputs. This problem may be viewed as an abstraction of the following problem: given two physical processes described by sequences of local interactions, are the processes effectively the same or are they different? We prove that this problem is a complete promise problem for the class QIP of problems having quantum interactive proof systems, and is therefore PSPACE-hard. This is in sharp contrast to the fact that the analogous problem for classical (probabilistic) circuits is in AM, and for unitary quantum circuits is in QMA.
△ Less
Submitted 22 July, 2004;
originally announced July 2004.
-
Consequences and Limits of Nonlocal Strategies
Authors:
Richard Cleve,
Peter Hoyer,
Ben Toner,
John Watrous
Abstract:
This paper investigates the powers and limitations of quantum entanglement in the context of cooperative games of incomplete information. We give several examples of such nonlocal games where strategies that make use of entanglement outperform all possible classical strategies. One implication of these examples is that entanglement can profoundly affect the soundness property of two-prover inter…
▽ More
This paper investigates the powers and limitations of quantum entanglement in the context of cooperative games of incomplete information. We give several examples of such nonlocal games where strategies that make use of entanglement outperform all possible classical strategies. One implication of these examples is that entanglement can profoundly affect the soundness property of two-prover interactive proof systems. We then establish limits on the probability with which strategies making use of entanglement can win restricted types of nonlocal games. These upper bounds may be regarded as generalizations of Tsirelson-type inequalities, which place bounds on the extent to which quantum information can allow for the violation of Bell inequalities. We also investigate the amount of entanglement required by optimal and nearly optimal quantum strategies for some games.
△ Less
Submitted 11 January, 2010; v1 submitted 12 April, 2004;
originally announced April 2004.
-
Many copies may be required for entanglement distillation
Authors:
John Watrous
Abstract:
A mixed quantum state shared between two parties is said to be distillable if, by means of a protocol involving only local quantum operations and classical communication, the two parties can transform some number of copies of that state into a single shared pair of qubits having high fidelity with a maximally entangled state state. In this paper it is proved that there exist states that are dist…
▽ More
A mixed quantum state shared between two parties is said to be distillable if, by means of a protocol involving only local quantum operations and classical communication, the two parties can transform some number of copies of that state into a single shared pair of qubits having high fidelity with a maximally entangled state state. In this paper it is proved that there exist states that are distillable, but for which an arbitrarily large number of copies is required before any distillation procedure can produce a shared pair of qubits with even a small amount of entanglement. Specifically, for every positive integer n there exists a state that is distillable, but given n or fewer copies of that state every distillation procedure outputting a single shared pair of qubits will output those qubits in a separable state. Essentially all previous examples of states proved to be distillable were such that some distillation procedure could output an entangled pair of qubits given a single copy of the state in question.
△ Less
Submitted 31 May, 2004; v1 submitted 15 December, 2003;
originally announced December 2003.
-
Continuous-time quantum walks on the symmetric group
Authors:
Heath Gerhardt,
John Watrous
Abstract:
In this paper we study continuous-time quantum walks on Cayley graphs of the symmetric group, and prove various facts concerning such walks that demonstrate significant differences from their classical analogues. In particular, we show that for several natural choices for generating sets, these quantum walks do not have uniform limiting distributions, and are effectively blind to large areas of…
▽ More
In this paper we study continuous-time quantum walks on Cayley graphs of the symmetric group, and prove various facts concerning such walks that demonstrate significant differences from their classical analogues. In particular, we show that for several natural choices for generating sets, these quantum walks do not have uniform limiting distributions, and are effectively blind to large areas of the graphs due to destructive interference.
△ Less
Submitted 29 May, 2003;
originally announced May 2003.
-
One-dimensional quantum walks with absorbing boundaries
Authors:
Eric Bach,
Susan Coppersmith,
Marcel Paz Goldschen,
Robert Joynt,
John Watrous
Abstract:
In this paper we analyze the behavior of quantum random walks. In particular we present several new results for the absorption probabilities in systems with both one and two absorbing walls for the one-dimensional case. We compute these probabilites both by employing generating functions and by use of an eigenfunction approach. The generating function method is used to determine some simple prop…
▽ More
In this paper we analyze the behavior of quantum random walks. In particular we present several new results for the absorption probabilities in systems with both one and two absorbing walls for the one-dimensional case. We compute these probabilites both by employing generating functions and by use of an eigenfunction approach. The generating function method is used to determine some simple properties of the walks we consider, but appears to have limitations. The eigenfunction approach works by relating the problem of absorption to a unitary problem that has identical dynamics inside a certain domain, and can be used to compute several additional interesting properties, such as the time dependence of absorption. The eigenfunction method has the distinct advantage that it can be extended to arbitrary dimensionality. We outline the solution of the absorption probability problem of a (d-1)-dimensional wall in a d-dimensional space.
△ Less
Submitted 12 August, 2002; v1 submitted 1 July, 2002;
originally announced July 2002.
-
Quantum statistical zero-knowledge
Authors:
John Watrous
Abstract:
In this paper we propose a definition for (honest verifier) quantum statistical zero-knowledge interactive proof systems and study the resulting complexity class, which we denote QSZK. We prove several facts regarding this class that establish close connections between classical statistical zero-knowledge and our definition for quantum statistical zero-knowledge, and give some insight regarding…
▽ More
In this paper we propose a definition for (honest verifier) quantum statistical zero-knowledge interactive proof systems and study the resulting complexity class, which we denote QSZK. We prove several facts regarding this class that establish close connections between classical statistical zero-knowledge and our definition for quantum statistical zero-knowledge, and give some insight regarding the effect of this zero-knowledge restriction on quantum interactive proof systems.
△ Less
Submitted 19 February, 2002;
originally announced February 2002.
-
Quantum fingerprinting
Authors:
Harry Buhrman,
Richard Cleve,
John Watrous,
Ronald de Wolf
Abstract:
Classical fingerprinting associates with each string a shorter string (its fingerprint), such that, with high probability, any two distinct strings can be distinguished by comparing their fingerprints alone. The fingerprints can be exponentially smaller than the original strings if the parties preparing the fingerprints share a random key, but not if they only have access to uncorrelated random…
▽ More
Classical fingerprinting associates with each string a shorter string (its fingerprint), such that, with high probability, any two distinct strings can be distinguished by comparing their fingerprints alone. The fingerprints can be exponentially smaller than the original strings if the parties preparing the fingerprints share a random key, but not if they only have access to uncorrelated random sources. In this paper we show that fingerprints consisting of quantum information can be made exponentially smaller than the original strings without any correlations or entanglement between the parties: we give a scheme where the quantum fingerprints are exponentially shorter than the original strings and we give a test that distinguishes any two unknown quantum fingerprints with high probability. Our scheme implies an exponential quantum/classical gap for the equality problem in the simultaneous message passing model of communication complexity. We optimize several aspects of our scheme.
△ Less
Submitted 1 February, 2001;
originally announced February 2001.
-
Sharp Quantum vs. Classical Query Complexity Separations
Authors:
J. Niel de Beaudrap,
Richard Cleve,
John Watrous
Abstract:
We obtain the strongest separation between quantum and classical query complexity known to date -- specifically, we define a black-box problem that requires exponentially many queries in the classical bounded-error case, but can be solved exactly in the quantum case with a single query (and a polynomial number of auxiliary operations). The problem is simple to define and the quantum algorithm so…
▽ More
We obtain the strongest separation between quantum and classical query complexity known to date -- specifically, we define a black-box problem that requires exponentially many queries in the classical bounded-error case, but can be solved exactly in the quantum case with a single query (and a polynomial number of auxiliary operations). The problem is simple to define and the quantum algorithm solving it is also simple when described in terms of certain quantum Fourier transforms (QFTs) that have natural properties with respect to the algebraic structures of finite fields. These QFTs may be of independent interest, and we also investigate generalizations of them to noncommutative finite rings.
△ Less
Submitted 17 December, 2001; v1 submitted 15 November, 2000;
originally announced November 2000.
-
Quantum algorithms for solvable groups
Authors:
John Watrous
Abstract:
In this paper we give a polynomial-time quantum algorithm for computing orders of solvable groups. Several other problems, such as testing membership in solvable groups, testing equality of subgroups in a given solvable group, and testing normality of a subgroup in a given solvable group, reduce to computing orders of solvable groups and therefore admit polynomial-time quantum algorithms as well…
▽ More
In this paper we give a polynomial-time quantum algorithm for computing orders of solvable groups. Several other problems, such as testing membership in solvable groups, testing equality of subgroups in a given solvable group, and testing normality of a subgroup in a given solvable group, reduce to computing orders of solvable groups and therefore admit polynomial-time quantum algorithms as well. Our algorithm works in the setting of black-box groups, wherein none of these problems can be computed classically in polynomial time. As an important byproduct, our algorithm is able to produce a pure quantum state that is uniform over the elements in any chosen subgroup of a solvable group, which yields a natural way to apply existing quantum algorithms to factor groups of solvable groups.
△ Less
Submitted 26 January, 2001; v1 submitted 6 November, 2000;
originally announced November 2000.