[论文解读] Constructing Entanglers in 2-Players--N-Strategies Quantum Game

Y. Avishai|arXiv (Cornell University)|Feb 9, 2014

Quantum Mechanics and Applications被引用 3

一句话总结

本文提出了两种方法，用于构建针对两人N策略量子博弈的参数化纠缠算符 $J(\beta)$，确保生成的纠缠态 $|\Psi_1\rangle = J(\beta)|\Psi_0\rangle$ 的冯诺依曼熵 $\mathcal{S}_N(\beta)$ 随 $\beta$ 变化时连续覆盖 $[0, \log N]$。第一种方法基于经典策略的指数运算，仅适用于 $N \leq 4$；第二种方法通过特别构造矩阵 $R$ 的酉对角化，实现了任意 $N$ 下的单参数完备性，从而可通过约化密度矩阵的 Schmidt 分解态实现对纠缠度的完全控制。

ABSTRACT

In quantum games based on 2-player--$N$-strategies classical games, each player has a quNit (a normalized vector in an $N$-dimensional Hilbert space ${\cal H}_N$) upon which he applies his strategy (a matrix $U \in$ SU(N)). The players draw their payoffs from a state $|Ψ a=J^\dagger U_1 \otimes U_2 J|Ψ_0 a \in {\cal H}_N \otimes {\cal H}_N $. Here $|Ψ_0 a$ and $J$ (both determined by the game's referee) are respectively an {\it unentangled} 2-quNit (pure) state and a unitary operator such that $|Ψ_1 a \equiv J|Ψ_0 a \in {\cal H}_N \otimes {\cal H}_N$ is {\it partially entangled}. The existence of pure strategy Nash equilibrium in the quantum game is intimately related to the degree of entanglement of $|Ψ_1 a$. Hence, it is practical to design the entangler $J=J(β)$ to be dependent on a {\it single} real parameter $β$ that controls the degree of entanglement of $|Ψ_1 a$, such that its von-Neumann entropy $ {\cal S}_N(β)$ is continuous and obtains {\it any value} in $[0, \log N]$. Moreover, an efficient control of $ {\cal S}_N(β)$ is possible only if $|Ψ_1 a$ appears in a Schmidt decomposed form. Designing $J(β)$ for $N=2$ is quite standard. Extension to $N>2$ is not obvious, and here we suggest an algorithm to achieve it.

研究动机与目标

• 设计一个纠缠算符 $J(\beta)$，使得在两人N策略量子博弈中能够实现纠缠度的连续、单参数控制。
• 确保生成的纠缠态 $|\Psi_1\rangle = J(\beta)|\Psi_0\rangle$ 处于 Schmidt 形式，以实现冯诺依曼熵的高效计算。
• 实现单参数完备性，即 $\mathcal{S}_N(\beta)$ 随 $\beta$ 连续覆盖 $[0, \log N]$，适用于任意 $N$。
• 克服标准纠缠算符在 $N > 4$ 时无法达到最大纠缠的局限性。
• 提供一种系统化、可扩展的方法，用于构造适用于任意 $N$-维量子策略的 $J(\beta)$。

提出的方法

• 构造一个 $N \times N$ 的酉矩阵 $R$，其第一列所有元素相等，即 $R_{i1} = 1/\sqrt{N}$，以确保 $R|11\rangle = \frac{1}{\sqrt{N}}\sum_{i=1}^N |ii\rangle$，即生成一个最大纠缠态。
• 对 $R$ 进行对角化：$R = V\Lambda V^{-1}$，其中 $\Lambda = \text{diag}\{e^{i\eta_1}, \dots, e^{i\eta_N}\}$，从而提取特征相位 $\eta_i$。
• 定义 $J(\beta) = V \Lambda(\beta) V^{-1}$，其中 $\Lambda(\beta) = \text{diag}\{e^{i\beta\eta_1}, \dots, e^{i\beta\eta_N}\}$，使得 $J(0) = \mathbf{1}$ 且 $J(1) = R$。
• 态 $|\Psi_1\rangle = J(\beta)|11\rangle$ 处于 Schmidt 形式，从而可直接通过约化密度矩阵的本征值计算 $\mathcal{S}_N(\beta)$。
• 使用 Gram-Schmidt 方法构造一个非奇异矩阵 $A$，然后对其进行正交化以获得 $R$，确保其酉性及所需的第一列性质。
• 验证 $\mathcal{S}_N(\beta)$ 在 $\beta$ 上连续，且满足 $\mathcal{S}_N(0) = 0$ 和 $\mathcal{S}_N(1) = \log N$，从而确认单参数完备性。

实验结果

研究问题

• RQ1 能否构造一个单参数纠缠算符 $J(\beta)$，使得生成的纠缠态 $|\Psi_1\rangle = J(\beta)|\Psi_0\rangle$ 的冯诺依曼熵 $\mathcal{S}_N(\beta)$ 随 $\beta$ 变化时连续覆盖 $[0, \log N]$，且适用于任意 $N$？
• RQ2 为何基于指数运算的标准构造方法 $J(\beta) = e^{-i\beta \sigma_y \otimes \sigma_y / 2}$ 在 $N > 4$ 时无法实现最大纠缠？
• RQ3 如何系统化地设计一个酉算符 $J(\beta)$，以确保输出态处于 Schmidt 形式，从而实现纠缠熵的高效计算？
• RQ4 是否可能通过一种避免周期性且保持对纠缠度完全控制的方法，实现 $N > 4$ 时的单参数完备性？
• RQ5 是否存在一种构造性且可扩展的方法，用于为任意 $N$ 生成 $J(\beta)$，同时保持 Schmidt 结构并实现纠缠度的连续调节？

主要发现

• 第一种方法基于对经典策略的指数运算，对 $N = 2,3,4$ 可实现 $\mathcal{S}_N(\beta)$ 的连续覆盖 $[0, \log N]$，但在 $N > 4$ 时失败，因为 $\mathcal{S}_N(\beta) < \log N$。
• 对于 $N = 5$，所提出的基于对角化的构造方法实现了 $\mathcal{S}_5(0) = 0$ 和 $\mathcal{S}_5(1) = \log 5$，且中间过程连续变化，确认了单参数完备性。
• 对 $N = 5$ 构造的 $J(\beta)$ 生成的态 $|\Psi_1\rangle = J(\beta)|11\rangle$ 为 Schmidt 分解态，从而可实现 $\mathcal{S}_N(\beta)$ 的精确且高效计算。
• 矩阵 $R$ 的特征相位 $\eta_i$ 通常是 $\pi$ 的无理倍数，因此 $\mathcal{S}_N(\beta)$ 不具有周期性，但这不影响其连续性或完备性。
• 该方法具有通用性和可扩展性：对于任意 $N$，通过 Gram-Schmidt 正交化一个第一列元素相等的矩阵 $A$ 来构造 $R$，可确保 $R|11\rangle$ 在 $\beta = 1$ 时为最大纠缠态。
• 冯诺依曼熵 $\mathcal{S}_N(\beta)$ 在 $\beta \in [0, \infty)$ 上连续，且满足 $\mathcal{S}_N(0) = 0$ 和 $\mathcal{S}_N(1) = \log N$，从而对所有 $N$ 满足单参数完备性。