[논문 리뷰] Tight bounds for the quantum discord

Sixia Yu, Chengjie Zhang외 2명|arXiv (Cornell University)|2011. 02. 07.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 양자 논란에 대한 계산 가능한 날카운 bounds를 양자 비트-큐비트 시스템에 제안하며, 국소 유니터리 변환 하에서 7-파rameter 가족의 필터링된 X-상태에 대해 해석적 평가를 가능하게 한다. 이 bounds는 필터링된 밀도 행렬과 상관 행렬의 고유값을 사용하여 유도되며, DQC1 회로와 이진 큐비트 채널에 응용되어 영 논란 조건을 정확히 포착하고 바나흐 측정의 최적성을 확인한다.

ABSTRACT

Quantum discord quantifies quantum correlations beyond entanglement and assumes nonzero values, which are notoriously hard to compute, for almost all quantum states. Here we provide computable tight bounds for the quantum discord for qubit-qudit states. In the case of two qubits our lower and upper bounds coincide for a 7-parameter family of filtered $X$-states, whose quantum discords can therefore be evaluated analytically. An application to the accessible information of the binary qubit channel is also presented. For the qubit-qudit state output by the circuit of deterministic computation with one qubit, nontrivial lower and upper bounds that respect the zero-discord conditions are obtained for its quantum discord.

연구 동기 및 목표

• 모든 측정에 대한 최소화를 고려할 때 매우 어려운 것으로 알려진 비영일 양자 논란을 계산하는 데 오랫동안 지속된 과제를 해결한다.
• 특히 해석적 결과가 불가능한 경우에 대해, 양자 비트-큐비트 시스템에서의 양자 논란에 대한 계산 가능하고 날카로운 하한 및 상한 bounds를 제공한다.
• DQC1 회로와 이진 큐비트 채널과 같은 알려진 영 논란 조건을 존중하여 물리적 일관성을 향상시킨다.
• 이전에 제한된 해석적 결과를 초월하여, 두 큐비트 필터링된 X-상태의 광범위한 클래스에 대해 양자 논란의 해석적 평가를 가능하게 한다.
• 물리적으로 관련된 상황, 예를 들어 DQC1 프로토콜과 양자 채널에서의 가용 정보에 대해 양자 상관관계를 정량화하는 데 bounds를 적용한다.

제안 방법

• 역행렬이 가능한 비트 부분계의 경우, 논란 계산을 단순화하기 위해 $\tilde{\varrho} = \frac{1}{\sqrt{2\varrho_A}} \varrho \frac{1}{\sqrt{2\varrho_A}} $ 형태의 필터링된 밀도 행렬을 정의한다.
• 교환 연산자와 큐비트 부분계에 대한 추적을 사용하여 두체 상관 구조에서 $4 \times 4$ 행렬 $Q_{\varrho}$ 를 구성한다.
• 상관 행렬의 고유값 $q_1 \geq q_2 \geq q_3 \geq q_4$ 를 $Q_{\varrho} - q\eta$ 에서 계산하며, 여기서 $\eta = \mathrm{diag}(1,-1,-1,-1)$ 이며, 이는 콈터처와 동일하게 계산 가능하다.
• 필터링된 상태의 상관 행렬의 최대 고유값 $q_2(\tilde{\varrho})$ 와 비트 부분계의 바나흐 엔트로피를 사용하여 양자 논란에 대한 날카로운 bounds를 유도한다.
• DQC1 상태에 대해 $D_A(\varrho) \in \left[ \log_2 \frac{2}{1 + \alpha^2 \beta} - h(\alpha^2), \; h(\alpha^2 \beta) - h(\alpha^2) \right]$ 를 사용하며, 여기서 $h(x) = -x\log_2 x - (1-x)\log_2(1-x)$ 이다.
• 영 논란 조건(예: $\alpha=0$ 또는 $\beta=1$)에서 bounds 가 일치함을 검증하여 물리적 일관성을 확보한다.

실험 결과

연구 질문

• RQ1 일반적인 양자 비트-큐비트 상태에 대해 계산 가능하고 날카로운 bounds를 도출할 수 있는가, 특히 해석적 계산이 불가능한 경우에 대해?
• RQ2 특정 두 큐비트 상태의 클래스(예: 필터링된 X-상태)에서 양자 논란의 하한 및 상한 bounds 가 일치하여 해석적 평가가 가능한가?
• RQ3 제안된 bounds 는 알려진 영 논란 조건을 존중하는가, 예를 들어 DQC1 회로에서 $\alpha = 0$ 또는 $\beta = 1$ 일 때 $D_A(\varrho) = 0$ 인가?
• RQ4 이 bounds 는 이진 큐비트 채널에서의 가용 정보에 대해 바나흐 측정의 최적성을 확인하는 데 사용될 수 있는가?
• RQ5 양자 논란이 양자 스피드업의 근본 원인으로 여겨지는 DQC1 프로토콜과 같은 물리적으로 관련된 상황에서 bounds 는 어떻게 성능을 발휘하는가?

주요 결과

• 국소 유니터리 변환 하에서 7-파라미터 필터링된 X-상태의 가족에 대해, 양자 논란의 하한 및 상한 bounds 가 일치하여 정확한 해석적 평가가 가능하다.
• DQC1 회로에서 유도된 bounds $D_A(\varrho_u) \in \left[ \log_2 \frac{2}{1 + \alpha^2 \beta} - h(\alpha^2), \; h(\alpha^2 \beta) - h(\alpha^2) \right]$ 는 두 영 논란 조건 $\alpha = 0$ 과 $\beta = 1$ 을 모두 만족한다.
• 상한은 $\alpha = 1$ 과 $\beta = 1/2$ 에서 약 0.6의 최댓값에 도달하며, $\alpha = 0$ 또는 $\beta = 1$ 일 때 정확히 0이 되어 물리적 일관성을 확인한다.
• bounds 는 이진 큐비트 채널에서의 가용 정보에 대해 최적 측정이 바나흐 측정임을 확인하여 오랫동안 남아있던 질문을 해결한다.
• 이 방법은 고전적 상관관계와 가용 정보에 적용 가능한 일반적인 프레임워크를 제공하며, 형성된 양자 얽힘에 대한 bounds 를 통해 일반 이분할 상태로의 확장 가능성이 있다.
• 이 bounds 는 날카롭고 계산 가능하며, 이전의 수치적 또는 민감도가 낮은 해석적 추정치에 비해 상당한 향상이 있으며, 특히 이전 추정치가 영 논란을 감지하지 못한 DQC1 프로토콜과 같은 경우에 뚜렷한 이점이 있다.