[논문 리뷰] The structure of Renyi entropic inequalities

Noah Linden, Milán Mosonyi외 1명|arXiv (Cornell University)|2012. 12. 02.

Statistical Mechanics and Entropy인용 수 4

한 줄 요약

이 논문은 다중편성 양자 상태에 대한 Rényi 엔트로피 부등식을 조사하며, $0 < \alpha < 1$일 경우 유일한 보편 부등식은 음이 아닌 성질뿐이며, 임의의 음이 아닌 엔트로피 벡터는 어떤 양자 상태의 근접한 근사로 표현될 수 있음을 밝혀낸다. $\alpha > 1$일 경우 비자명한 동차 부등식은 존재하지 않지만, 비선형 제약은 여전히 존재하며, 이는 von Neumann 엔트로피($\alpha = 1$)의 풍부한 구조(예: 강한 하위가소성)와 대조를 이룬다.

ABSTRACT

We investigate the universal inequalities relating the alpha-Renyi entropies of the marginals of a multi-partite quantum state. This is in analogy to the same question for the Shannon and von Neumann entropy (alpha=1) which are known to satisfy several non-trivial inequalities such as strong subadditivity. Somewhat surprisingly, we find for 01 we show analogously that there are no non-trivial homogeneous (in particular no linear) inequalities. On the other hand, it is known that there are further, non-linear and indeed non-homogeneous, inequalities delimiting the alpha-entropies of a general quantum state. Finally, we also treat the case of Renyi entropies restricted to classical states (i.e. probability distributions), which in addition to non-negativity are also subject to monotonicity. For alpha different from 0 and 1 we show that this is the only other homogeneous relation.

연구 동기 및 목표

• 다중편성 양자 상태에서 근방 엔트로피의 Rényi $\alpha$-엔트로피를 지배하는 보편 부등식의 완전한 집합을 규명하는 것.
• von Neumann 엔트로피($\alpha = 1$)를 지배하는 잘 알려진 풍부한 제약(예: 강한 하위가소성)과 비교하여 Rényi 엔트로피 부등식의 구조를 분석하는 것.
• Rényi 엔트로피가 $\alpha \neq 1$일 때 비자명한 동차 또는 선형 부등식을 만족하는지 조사하는 것.
• 고전적 상태와 분리 가능한 양자 상태에서 단조성의 역할을 분석하고, 이 경우의 전반적인 동차 부등식 집합을 규명하는 것.

제안 방법

• 저자는 $n$-편성 양자 상태에서 다양한 $\alpha$ 영역에 걸쳐 달성 가능한 Rényi 엔트로피 벡터의 집합을 분석한다.
• $0 < \alpha < 1$일 경우, 비음성 조건 외에 다른 제약이 없음을 증명하기 위해, 주어진 음이 아닌 벡터를 임의로 잘 근사할 수 있는 양자 상태를 구성한다.
• $\alpha > 1$일 경우, 비자명한 동차 부등식이 존재하지 않음을 보이며, 변형 및 텐서 곱 구성 기법을 사용해 스케일링된 엔트로피 벡터의 조밀성을 입증한다.
• 저자는 고전적 상태(확률 분포)로의 분석을 확장하여, $\alpha \neq 0,1$일 경우 유일한 동차 부등식은 음이 아닌 성질과 부분집합 포함에 따른 단조성임을 증명한다.
• 증명 기법은 밀도 연산자의 스펙트럼 분석, 상태의 직접 합 및 텐서 곱 구성, 점근적 근사 추론을 포함한다.
• 기존의 고전 엔트로피 부등식 결과(예: Zhang-Yeung)를 활용하여, 특히 $\alpha > 1$일 경우 양자 Rényi 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 모든 $0 < \alpha < 1$에 대해, 음이 아닌 성질 외에 양자 상태의 근방 엔트로피를 제약하는 비자명한 보편 부등식이 존재하는가?
• RQ2 $\alpha > 1$일 경우, 양자 상태의 Rényi 엔트로피 벡터를 제약하는 비자명한 동차(예: 선형) 부등식이 존재하는가?
• RQ3 고전적 경우에서 $\alpha \neq 0,1$일 때, Rényi 엔트로피에 대해 음이 아닌 성질과 단조성 외에 다른 동차 부등식이 존재하는가?
• RQ4 $\alpha > 1$에 대해 달성 가능한 Rényi 엔트로피 벡터의 집합이 볼록 콘을 이룬다거나, 추가로 비동차 제약이 존재하는가?
• RQ5 von Neumann 엔트로피 부등식의 풍부한 구조(예: 강한 하위가소성)가 $\alpha \neq 1$인 Rényi 프레임워크로 일반화되거나 복원될 수 있는가?

주요 결과

• 모든 $0 < \alpha < 1$에 대해, 유일한 보편 Rényi 엔트로피 부등식은 음이 아닌 성질이다: $n$명의 당사자에 대한 비어 있지 않은 부분집합에 대해 할당된 음이 아닌 실수 벡터는 어떤 양자 상태의 근방 엔트로피의 $\alpha$-엔트로피로도 임의로 잘 근사될 수 있다.
• $\alpha > 1$일 경우, 양자 상태의 Rényi 엔트로피 벡터를 제약하는 비자명한 동차 부등식은 존재하지 않지만, 달성 가능한 벡터의 집합이 콘을 이루지 않으며, 이는 비선형 제약의 존재를 시사한다.
• $\alpha > 1$에 대해 Rényi 엔트로피 벡터의 집합은 적절히 스케일링할 경우 양의 제1사분면에서 조밀하다. 즉, 임의의 양의 벡터는 이러한 엔트로피 벡터의 양의 배수로 근사될 수 있다.
• 고전적 경우에서 $\alpha \neq 0,1$일 경우, 유일한 동차 부등식은 음이 아닌 성질과 부분집합 포함에 따른 단조성뿐이며, 이는 고전적 정보 측정의 구조를 반영한다.
• $\alpha = 0$일 경우, Rényi 엔트로피는 밀도 행렬의 질량의 로그이며, 이는 불연속적이며 강한 하위가소성을 만족하지 못하지만, 하위가소성은 만족한다.
• 논문은 $\alpha > 1$에 대해 비동차 부등식이 존재함을 규명하였으며, 예를 들어 Audenaert가 증명한 부등식은 동차 관계를 초월한 복잡한 구조를 나타낸다.