[논문 리뷰] Constructing Entanglers in 2-Players--N-Strategies Quantum Game

Y. Avishai|arXiv (Cornell University)|2014. 02. 09.

Quantum Mechanics and Applications인용 수 3

한 줄 요약

이 논문은 2명의 플레이어와 N개의 전략을 가진 양자 게임에서, 매개변수화된 얽힘 연산자 $J(\beta)$를 제안하며, 이에 따라 생성되는 얽힌 상태 $|\Psi_1\rangle = J(\beta)|\Psi_0\rangle$의 바르노이만 엔트로피 $\mathcal{S}_N(\beta)$가 $\beta$의 변화에 따라 연속적으로 $[0, \log N]$ 범위를 커버하도록 보장한다. 첫 번째 방법은 고전 전략의 지수함수 기반으로 구성되며, $N \leq 4$인 경우에만 작동한다. 두 번째 방법은 특별히 구성된 행렬 $R$의 유니터리 대각화를 사용하여 임의의 $N$에 대해 단일 매개변수 완전성을 달성하며, 스미트 분해된 상태를 통해 얽힘도를 완전히 제어할 수 있다.

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.

연구 동기 및 목표

• 2명의 플레이어와 N-전략 양자 게임에서, 엽힘 정도를 연속적이고 단일 매개변수로 제어할 수 있는 엽힘 연산자 $J(\beta)$를 설계하는 것.
• 생성된 얽힌 상태 $|\Psi_1\rangle = J(\beta)|\Psi_0\rangle$가 스미트 형식에 있도록 보장하여 바르노이만 엔트로피의 효율적 계산을 가능하게 하는 것.
• 모든 $N$에 대해 $\mathcal{S}_N(\beta)$가 $[0, \log N]$ 범위를 연속적으로 커버하는 단일 매개변수 완전성을 달성하는 것.
• 표준 엽힘 연산자들이 $N > 4$일 경우 최대 엽힘 상태에 도달하지 못하는 한계를 극복하는 것.
• 임의의 $N$-차원 양자 전략에 적용 가능한 체계적이고 확장 가능한 방법으로 $J(\beta)$를 구성하는 것.

제안 방법

• 모든 첫 번째 열 성분이 $R_{i1} = 1/\sqrt{N}$인 $N \times N$ 유니터리 행렬 $R$을 구성하여, $R|11\rangle = \frac{1}{\sqrt{N}}\sum_{i=1}^N |ii\rangle$가 되도록 보장함으로써, 최대 엽힘 상태를 확보한다.
• $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$는 스미트 형식이므로, 감소 밀도 행렬의 고유값을 통해 $\mathcal{S}_N(\beta)$를 직접 계산할 수 있다.
• 비특이 행렬 $A$를 구성한 후 그에 대해 그람-슈미트 절차를 적용하여 $R$을 얻으며, 이는 유니터리성과 원하는 첫 번째 열 성질을 보장한다.
• $\mathcal{S}_N(\beta)$가 $\beta$에 대해 연속적임을 확인하며, $\mathcal{S}_N(0) = 0$이고 $\mathcal{S}_N(1) = \log N$임을 통해 단일 매개변수 완전성을 확인한다.

실험 결과

연구 질문

• RQ1 임의의 $N$에 대해, 생성된 얽힌 상태 $|\Psi_1\rangle = J(\beta)|\Psi_0\rangle$의 바르노이만 엔트로피 $\mathcal{S}_N(\beta)$가 $[0, \log N]$ 범위를 연속적으로 커버하는 단일 매개변수 엽힘 연산자 $J(\beta)$를 구성할 수 있는가?
• RQ2 표준 지수 기반 구조인 $J(\beta) = e^{-i\beta \sigma_y \otimes \sigma_y / 2}$는 왜 $N > 4$일 경우 최대 엽힘 상태에 도달하지 못하는가?
• RQ3 출력 상태가 스미트 형식이 되도록 보장하여 엽힘 엔트로피 계산을 효율적으로 수행할 수 있도록, 유니터리 연산자 $J(\beta)$를 어떻게 시스템적으로 설계할 수 있는가?
• RQ4 주기성을 피하고 엽힘도를 완전히 제어할 수 있는 방법을 사용하여 $N > 4$에 대해 단일 매개변수 완전성을 달성할 수 있는가?
• RQ5 임의의 $N$에 대해 스미트 구조를 유지하면서 연속적인 엽힘 조절이 가능한, 체계적이고 확장 가능한 방법으로 $J(\beta)$를 생성할 수 있는가?

주요 결과

• 고전 전략의 지수함수 기반 첫 번째 방법은 $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$를 생성하여, $\mathcal{S}_N(\beta)$의 정확하고 효율적인 계산을 가능하게 한다.
• 행렬 $R$의 고유위상 $\eta_i$는 일반적으로 $\pi$의 무리수 배수이므로 $\mathcal{S}_N(\beta)$는 주기적이지 않지만, 이는 연속성이나 완전성에 영향을 주지 않는다.
• 이 방법은 일반적이고 확장 가능하다: 임의의 $N$에 대해, 첫 번째 열 성분이 모두 동일한 행렬 $A$를 그람-슈미트 수직화를 통해 구성함으로써 $R|11\rangle$가 $\beta = 1$일 때 최대 엽힘 상태가 되도록 보장할 수 있다.
• 바르노이만 엔트로피 $\mathcal{S}_N(\beta)$는 $[0, \infty)$ 범위에서 $\beta$에 대해 연속적이며, $\mathcal{S}_N(0) = 0$이고 $\mathcal{S}_N(1) = \log N$을 만족하므로 모든 $N$에 대해 단일 매개변수 완전성을 충족한다.