[논문 리뷰] The maps of matrices and portrait maps of density operators of composite and noncomposite systems

Margarita A. Man’ko, V. I. Manʹko|arXiv (Cornell University)|2014. 04. 14.

Quantum Mechanics and Applications참고 문헌 9인용 수 3

한 줄 요약

이 논문은 임의의 $N \times N$ 에르미트 행렬에 대해 부분 추적 연산을 일반화하는 새로운 선형 사상인 '행렬 포트레이트(matrix portrait)'를 제안한다. 이는 복합 및 비복합 양자 시스템 모두에 대해 유효한 새로운 엔트로피 부등식을 도출하며, 단일 큐디트 상태를 포함한 다양한 시스템에서 엔트로피 부등식과 얽힘 유사 상관관계가 기존에 다중입자 시스템에만 연관되어 있던 성질임에도 불구하고 나타남을 보여주며, 전통적인 얽힘 부분계를 초월한 양자정보 처리 자원을 확장한다.

ABSTRACT

We obtain a new inequality for arbitrary Hermitian matrices. We describe particular linear maps called the matrix portrait of arbitrary NxN matrices. The maps are obtained as analogs of partial tracing of density matrices of multipartite qudit systems. The structure of the maps is inspired by "portrait" map of the probability vectors corresponding to the action on the vectors by stochastic matrices containing either unity or zero matrix elements. We obtain new entropic inequalities for arbitrary qudit states including a single qudit and an discuss entangled single qudit state. We consider in detail the examples of N=3 and 4. Also we point out a possible use of entangled states of systems without subsystems (e.g., a single qudit) as a resource for quantum computations.

연구 동기 및 목표

• 행렬 포트레이트라는 새로운 선형 사상을 통해 임의의 에르미트 행렬에 대해 부분 추적 개념을 일반화한다.
• 기존의 하위가소성 및 강한 하위가소성 조건을 확장하여 임의의 $N \times N$ 에르미트 행렬에 대해 유효한 새로운 엔트로피 부등식을 유도한다.
• 기존에 다중입자 시스템과 연관되어 있던 얽힘 유사 상관관계와 엔트로피 부등식이 단일 큐디트 상태에도 적용됨을 보여준다.
• 다중입자 얽힘 상태와 유사하게, 얽힌 단일 큐디트 상태를 양자 계산 자원으로 사용할 수 있는지 탐색한다.
• 행렬 포트레이트와 선형 사상에 기반한 동일한 형식론을 통해 복합 및 비복합 시스템 간의 양자 상관관계 수학적 구조를 통합한다.

제안 방법

• 행렬 포트레이트 사상 $\Phi(A)$ 는 $N \times N$ 에르미트 행렬 $A$ 를 블록 대각 행렬 형태로 변환하는 선형 변환으로 정의되며, 부분 추적 연산에 영감을 받는다.
• 요소로 분해 가능한 차원 $N = nm$ 에 대해, 행렬 $B$ 와 $C$ 를 구성하여 $A$ 를 고차원 공간에 임bedding함으로써 엔트로피 부등식 유도를 가능하게 한다.
• 포트레이트 행렬에 바탕을 두고 바나흐-바르바르의 엔트로피와 $q$-엔트로피 형식론을 적용하여 추적-로그 표현식을 포함하는 부등식을 도출한다.
• 구체적인 예시를 통해 $N=3$ 과 $N=4$ 에 대해 검증하였으며, $A$ 가 추적 1과 음이 아닌 고유값을 가지는 유효한 밀도 행렬일 경우 부등식이 기존 하위가소성 조건으로 축소됨을 보였다.
• 고차원 공간에 임베딩함으로써 단일 큐디트 상태에 대해 일반화된 엔트로피 부등식과 벨 유사 부등식을 확장하였다.
• 행렬의 곱 $N = \prod N_k$ 인 경우 사슬 맵(chain maps)을 반복 적용할 수 있어 복잡한 행렬 구조의 순환적 분석이 가능하다.

실험 결과

연구 질문

• RQ1 하위가소성 및 강한 하위가소성과 같은 엔트로피 부등식은 복합 양자 시스템을 초월해 단일 큐디트 상태에도 일반화될 수 있는가?
• RQ2 부분계가 없는 단일 큐디트 시스템이 얽힘 유사 상관관계를 나타내는가, 그리고 만약 그렇다면 이를 수학적으로 어떻게 형식화할 수 있는가?
• RQ3 실제 분해가 존재하지 않을 경우에도 행렬 포트레이트 사상이 단일 $N \times N$ 행렬에서 부분계 유사 행동을 추출하는 데 유용한 통합 도구가 될 수 있는가?
• RQ4 이 형식론을 통해 분리 가능한 단일 큐디트 상태와 얽힌 상태 간의 양자 채널 변환을 일관되게 정의할 수 있는가?
• RQ5 이 사상에 의해 복합 및 비복합 시스템에 동일한 수학적 구조의 얽힘과 상관관계를 균일하게 적용할 수 있는가?

주요 결과

• 임의의 에르미트 행렬에 대해 Eq. (37) 에 의해 새로운 행렬 부등식이 도출되었으며, 이는 기존 하위가소성 조건을 일반화한다.
• 행렬 포트레이트 사상 $\Phi(A)$ 는 부분 추적을 모방하는 선형 변환을 제공하여 단일 행렬에서 부분계 유사 행동을 추출할 수 있다.
• $N=3$ 과 $N=4$ 에서는 행렬이 추적 1과 음이 아닌 고유값을 가지는 유효한 밀도 행렬일 경우 유도된 부등식이 기존 하위가소성 조건으로 축소됨을 확인하였다.
• 이 형식론은 단일 큐디트 상태에 대해 바나흐-바르바르 엔트로피와 $q$-엔트로피의 엔트로피 부등식을 도출할 수 있게 하여, 이전에는 복합 시스템에만 유효했던 결과를 확장한다.
• 연구는 특히 $2j+1 = 2^N$ 인 경우에 얽힌 단일 큐디트 상태가 $N$-큐비트 시스템과 유사하게 양자 계산 자원으로 유용하게 사용될 수 있음을 보여주었다.
• 이 프레임워크는 $N = \prod N_k$ 인 경우 사슬 맵을 지원하여 복잡한 행렬 분해의 순환적 분석이 가능하며, 임의의 에르미트 행렬에 대해 강한 하위가소성의 일반화를 가능하게 한다.