[논문 리뷰] Entropic relations for indistinguishable quantum particles

Marius Lemm|arXiv (Cornell University)|2017. 02. 08.

Quantum many-body systems참고 문헌 8인용 수 6

한 줄 요약

이 논문은 양자정보 도구인 양자 상대 엔트로피의 단조성 등을 활용하여, 특정 차원 제약 조건 하에서 페르미온 시스템의 두체 양자 상태 밀도 행렬의 엔트로피가 슬레이터 행렬식에 의해 최소화됨을 증명한다. 이는 모든 k에 대해 k체 엔트로피의 일반적인 오목성과 단조성 성질을 확립하며, 다수의 페르미온 시스템에서 얽힘에 대한 기존의 하한을 향상시키고, 카르렌, 리브, 루버스의 추측의 점점 수렴하는 형태를 확인한다.

ABSTRACT

The von Neumann entropy of a $k$-body reduced density matrix $γ_k$ quantifies the entanglement between $k$ quantum particles and the remaining ones. In this short paper, we rigorously prove general properties of this entanglement entropy as a function of $k$: it is concave for all $1\leq k\leq N$ and non-decreasing until the midpoint $k\leq \lfloor N/2 floor$. The results hold for indistinguishable quantum particles and are independent of the statistics.

연구 동기 및 목표

• 카르렌, 리브, 루버스(CLR)가 제기한 추측을 해결하는 것: 페르미온 상태의 두체 양자 상태 밀도 행렬 엔트로피가 슬레이터 행렬식에 의해 최소화된다.
• k체 양자 상태 밀도 행렬 엔트로피의 일반적인 구조적 성질인 오목성과 단조성을 k에 대한 함수로 확립하는 것.
• 특히 양자 상대 엔트로피의 단조성과 같은 양자정보 기법을 활용하여, 기존의 두체 엔트로피 하한을 향상시키는 것.
• 힐베르트 공간 차원이 너무 크지 않을 경우, CLR 추측의 점점 수렴하는 형태를 확인하는 것.

제안 방법

• 부분 추적에 대한 양자 상대 엔트로피의 단조성을 활용하여 k체 양자 상태 밀도 행렬 엔트로피를 지배하는 부등식을 유도한다.
• 콜먼의 정리(1963)를 활용하여 일체 엔트로피 최소화 문제에서의 통찰을 두체 경우에 적용한다.
• 대칭성 $ S(\gamma_k) = S(\gamma_{N-k}) $을 활용하여 시스템의 입자 분할에 따른 엔트로피를 연결한다.
• 항등식 $ S_k = -D(\gamma_k \| \pi_k) + \log d_k $를 유도하여, 엔트로피를 반대칭 부분공간 위의 균일 혼합 상태와의 상대 엔트로피로 연결한다.
• 성질 $ \mathrm{Tr}_{l+1,\ldots,m}[\pi_m] = \pi_{m-l} $를 활용하여 다양한 입자 수에 대한 균일 혼합 상태의 축약된 상태를 연결한다.
• 이러한 항등식들을 상대 엔트로피의 단조성과 결합하여 $ S(\gamma_2) $의 개선된 하한을 도출한다.

실험 결과

연구 질문

• RQ1 카르렌, 리브, 루버스가 제기한 바와 같이, 페르미온 상태의 두체 양자 상태 밀도 행렬 엔트로피가 슬레이터 행렬식에 의해 최소화되는가?
• RQ2 페르미온 순수 상태에서 k체 양자 상태 밀도 행렬 엔트로피는 k에 따라 어떻게 행동하는가?
• RQ3 페르미온 시스템에서 모든 k에 대해 k체 엔트로피의 단조성과 오목성 성질을 엄밀히 증명할 수 있는가?
• RQ4 양자정보 이론적 도구를 활용하여 $ S(\gamma_2) $의 하한을 어떻게 향상시킬 수 있는가?
• RQ5 CLR 추측의 점점 수렴하는 형태는 어떤 조건에서 성립하는가?

주요 결과

• 모든 $ 1 \leq k \leq N $ 에 대해 페르미온 순수 상태의 k체 양자 상태 밀도 행렬 엔트로피 $ S(\gamma_k) $ 는 k에 대해 오목하다. 이는 페르미온 순수 상태의 일반적인 구조적 성질이다.
• $ 1 \leq k \leq \frac{N-1}{2} $ 에서 $ S(\gamma_k) $ 는 비감소함을 보이며, 입자 수 증가에 따라 얽힘 증가를 반영한다.
• 힐베르트 공간 차원 d가 $ d \leq 2N-3 $ 를 만족할 경우, 이 논문은 CLR 추측의 점점 수렴하는 형태를 증명하며, $ S(\gamma_2) \geq S(\gamma_1) + \log\left(\frac{N-1}{d-N+2}\right) $ 를 도출한다.
• 최대 혼합 상태의 구조와 양자 상대 엔트로피의 단조성을 활용함으로써, 기존 결과보다 $ S(\gamma_2) $ 의 하한을 향상시켰다.
• 모든 k체 양자 상태 밀도 행렬은 페르미온 순수 상태에서 엄밀히 양의 엔트로피를 가지며, 이는 어떤 페르미온 상태도 완전히 비얽힌 상태가 될 수 없음을 의미한다.
• 항등식 $ S_k = -D(\gamma_k \| \pi_k) + \log d_k $ 가 성립하며, 이는 엔트로피를 반대칭 부분공간 위의 균일 혼합 상태와의 상대 엔트로피로 표현한다.