[논문 리뷰] Extremal Density Matrices for Qudit States

Armando Figueroa, Julio A. López-Saldívar외 2명|arXiv (Cornell University)|2016. 09. 30.

Algebraic structures and combinatorial models참고 문헌 13인용 수 3

한 줄 요약

이 논문은 블로흐 벡터 성분, SU(d)의 구조 상수, 하미르토니안 매개변수를 포함하는 과소결정 선형계를 푸는 대수적 방법을 제시하여 큸디트 시스템의 극값 밀도 행렬을 계산한다. 이 방법은 순수 상태와 혼합 상태 모두에 대해 평균 에너지의 극값을 도출하며, 순수 상태의 경우 전체 에너지 스펙트럼을 복원하고, 주어진 에너지 기대값에 대해 최대 d!개의 극값 혼합 상태를 식별한다.

ABSTRACT

An algebraic procedure to find extremal density matrices for any Hamiltonian of a qudit system is established. The extremal density matrices for pure states provide a complete description of the system, that is, the energy spectra of the Hamiltonian and their corresponding projectors. For extremal density matrices representing mixed states, one gets mean values of the energy in between the maximum and minimum energies associated to the pure case. These extremal densities give also the corresponding mixture of eigenstates that yields the corresponding mean value of the energy. We enhance that the method can be extended to any hermitian operator.

연구 동기 및 목표

• 임의의 하미르토니안에 의해 지배되는 큄디트 시스템에서 극값 밀도 행렬을 체계적으로 계산하는 대수적 절차를 개발하는 것.
• 순수 상태에 대응하는 극값 밀도 행렬을 통해 하미르토니안의 완전한 에너지 스펙트럼을 복원하는 것.
• 에너지 기대값을 극대화하거나 최소화하는 혼합 상태 밀도 행렬을 특성화하여 최소 및 최대 평균 에너지 값을 도출하는 것.
• 하미르토니안 외에도 임의의 에르미트 연산자에 대해 동일한 대수적 도구를 사용하여 이론을 확장하는 것.
• 양성 조건과 극값 조건에 대해 특성 다항식과 베조우티안 행렬과 같은 대수적 기법들을 통합하고 적용하는 것.

제안 방법

• SU(d) 생성자와 비틀림 없는 에르미트 연산자를 사용하여 하미르토니안과 밀도 행렬을 일반화된 블로흐 벡터 형식으로 표현한다.
• SU(d)의 반대칭 구조 상수 f_ijk와 하미르토니안 매개변수 h_k를 사용하여 블로흐 벡터 성분 λ_k에 대한 과소결정 선형계를 수립한다.
• 자유 매개변수를 도입하고 밀도 행렬의 특성 다항식을 적용하여 극값 해를 도출한다.
• 베조우티안 행렬과 그 주된 소행렬식을 사용하여 밀도 행렬의 양성을 강제하여 유효한 양자 상태를 보장한다.
• 카이리-헤일리 테오리움을 사용하여 고유값의 거듭제곱 합 t_k를 특성 다항식의 계수 c_k로 표현한다.
• 베조우티안 행렬 B_d의 행렬식과 소행렬식을 분석하여 d=2,3,4에 대해 명시적인 양성 조건을 유도한다.

실험 결과

연구 질문

• RQ1 임의의 주어진 하미르토니안에 대해 큄디트 시스템의 극값 밀도 행렬을 어떻게 체계적으로 계산할 수 있는가?
• RQ2 극값 상태를 결정하는 데 있어 블로흐 벡터, SU(d)의 구조 상수, 하미르토니안 매개변수 사이의 대수적 구조는 무엇인가?
• RQ3 혼합 상태에 대한 극값 밀도 행렬은 순수 상태 스펙트럼에 의해 둘러싸인 평균 에너지 값과 어떻게 관련이 있는가?
• RQ4 d=2,3,4에 대해 고유값의 대칭 함수로 표현된 큄디트 밀도 행렬의 완전한 양성 조건은 무엇인가?
• RQ5 동일한 대수적 프레임워크를 사용하여 이론을 하미르토니안을 초월해 임의의 에르미트 연산자로 일반화할 수 있는가?

주요 결과

• 순수 상태의 경우, 극값 밀도 행렬은 하미르토니안의 전체 에너지 스펙트럼을 완전히 재구성하며, 모든 고유값과 그 프로젝터를 포함한다.
• 혼합 상태의 경우, 이 방법은 하미르토니안의 최소 및 최대 고유값 사이에 둘러싸인 극값 평균 에너지 값을 식별한다.
• 주어진 에너지 기대값에 대해 극값 혼합 상태의 수는 해공간의 대칭성으로 인해 최대 d!개이다.
• d=2일 경우, 양성 조건은 c₂ ≤ 1/4로 단순화되며, 기존의 블로흐 구 조건과 일치한다.
• d=3일 경우, (c₂, c₃)의 호환 영역은 세 개의 부등식으로 제한된다: 0 ≤ c₂ ≤ 1/3, 0 ≤ c₃ ≤ 1/27, 그리고 c₂와 c₃를 포함하는 사차 다항식 행렬식 부등식.
• d=4일 경우, 베조우티안 행렬 B₄의 소행렬식에서 유도된 다섯 개의 부등식으로 구성된 전체 양성 조건이 존재하며, det(B₄) ≥ 0가 가장 엄격한 조건이며, 해공간은 고유값이 디제너레이트한 구성에 대응하는 표면을 가진 3차원 고체를 이룬다.