[论文解读] Quantum Strategies and Local Operations

Gus Gutoski|arXiv (Cornell University)|Feb 26, 2010

Quantum Mechanics and Applications参考文献 58被引用 18

一句话总结

本文提出了一种量子策略的新型算子形式化方法，将策略表示为输入-输出消息空间上的半正定算子，从而实现游戏值的高效计算，并简化了量子密码学中的证明。该研究在完全噪声信道周围建立了局部操作与共享随机性的球体，证明了共享纠缠的局部操作的弱成员问题为强NP难问题，并通过在可分锥上的完全正性对无信号操作进行了表征。

ABSTRACT

This thesis is divided into two parts. In Part I we introduce a new formalism for quantum strategies, which specify the actions of one party in any multi-party interaction involving the exchange of multiple quantum messages among the parties. This formalism associates with each strategy a single positive semidefinite operator acting only upon the tensor product of the input and output message spaces for the strategy. We establish three fundamental properties of this new representation for quantum strategies and we list several applications, including a quantum version of von Neumann's celebrated 1928 Min-Max Theorem for zero-sum games and an efficient algorithm for computing the value of such a game. In Part II we establish several properties of a class of quantum operations that can be implemented locally with shared quantum entanglement or classical randomness. In particular, we establish the existence of a ball of local operations with shared randomness lying within the space spanned by the no-signaling operations and centred at the completely noisy channel. The existence of this ball is employed to prove that the weak membership problem for local operations with shared entanglement is strongly NP-hard. We also provide characterizations of local operations in terms of linear functionals that are positive and "completely" positive on a certain cone of Hermitian operators, under a natural notion of complete positivity appropriate to that cone. We end the thesis with a discussion of the properties of no-signaling quantum operations.

研究动机与目标

• 开发一种新的、统一的量子策略形式化方法，以简化多方量子相互作用的分析。
• 建立量子策略的基础性质，包括输出概率和最大输出概率，用于量子博弈论与复杂性理论。
• 对共享纠缠的局部操作（LOSE）与共享随机性的局部操作（LOSR）进行表征，证明弱成员问题的强NP难性，并证明存在一个此类操作的球体。
• 通过新表征与可分性条件，澄清无信号量子操作的结构。
• 解决量子信息中的开放问题，包括近似LOSE操作的纠缠需求以及局部操作球体的大小。

提出的方法

• 将量子策略表示为作用于输入与输出消息空间张量积上的半正定算子，从而实现统一且紧凑的形式化。
• 利用凸对偶性与半定规划推导最大输出概率、策略集可区分性等性质。
• 应用Yudin-Nemirovskiĭ定理，通过在完全噪声信道周围构造LOSR操作的球体，将LOSE的弱成员问题归约为NP难问题。
• 引入一种针对Hermite算子可分锥的完全正性概念，以表征LOSE与LOSR操作。
• 构造显式例子，表明某些无信号操作无法通过共享纠缠的局部操作实现。
• 利用新策略形式化简化已知结果的证明，例如Kitaev对强对称抛币的界。

实验结果

研究问题

• RQ1 量子策略能否通过输入-输出空间上的单个半正定算子表示，该表示形式能带来哪些基本性质？
• RQ2 共享随机性的局部操作（LOSR）集合的大小与结构如何，其在完全噪声信道周围是否包含一个球体？
• RQ3 共享纠缠的局部操作（LOSE）的弱成员问题是否为强NP难问题，LOSE的哪些结构性质使其具备此特性？
• RQ4 无信号操作与局部操作（共享纠缠）之间有何关系，能否通过在可分锥上的完全正性进行表征？
• RQ5 近似LOSE操作的纠缠代价是多少，所需纠缠维数能否以近似误差与系统大小为参数进行有界？

主要发现

• 提出一种新形式化方法，通过输入-输出空间上的单个半正定算子表示量子策略，实现游戏值的高效计算并简化证明。
• 零和量子博弈的值可通过半定规划高效计算，将冯·诺依曼的极小极大定理推广至量子领域。
• 在完全噪声信道周围存在一个大小为Ω(2^{-m}n^{-3/2})的未归一化LOSR操作球体，意味着LOSE的弱成员问题为强NP难。
• 无信号操作空间与共享纠缠的局部操作的张量空间一致，且其特征由在可分锥上的完全正性决定。
• LOSE操作的表征涉及在特定可分锥族上完全正的线性泛函，扩展了完全正性的概念。
• 该形式化方法可简化Kitaev对强对称抛币的界之证明，提示其在量子密码协议分析中具有更广泛的应用潜力。