[논문 리뷰] Monotonicity conjecture for multi-party entanglement I

Abhijit Gadde, Shraiyance Jain외 3명|arXiv (Cornell University)|2023. 08. 30.

Random Matrices and ApplicationsMathematics인용 수 3

한 줄 요약

이 논문은 다중 입자 얽힘 측정법에 대해 군집화에 대한 단조성 추측을 제안하며, 다수의 입자를 포함하는 순수 양자 상태에서 얽힘을 측정하는 데 새로운 프레임워크를 구축한다. 디머 분할 함수와 격자 위의 펄프산을 사용하여, 반대칭 행렬 기반의 측정법을 유도하고, 그 측정법이 순열에 대해 불변이며, 곱 상태에 대해 가역적임을 증명한다. 주요 결과는 종수 0인 그래프에 대해 캐스텔라인의 정리에 의해 검증된다.

ABSTRACT

In this paper, we conjecture a monotonicity property that we call monotonicity under coarse-graining for a class of multi-partite entanglement measures. We check these properties by computing the measures for various types of states using different methods.

연구 동기 및 목표

• 순수 양자 상태에서 다중 입자 얽힘 측정법에 대해 '군집화에 대한 단조성'이라는 새로운 성질을 수립하는 것.
• 지역 유니터리 불변성과 분리 상태에서 0이 되는 조건을 만족하는 q-입자 순수 상태에 대해 대칭적이고 가역적인 얽힘 측정법을 정의하는 것.
• 펄프산 형식을 통해 격자 그래프 위의 완전히 밀도 있는 디머의 분할 함수와 얽힘 측정법 사이의 연결 고리를 설정하는 것.
• 종수 0인 그래프에서 디머 구성의 부호 일관성에 대해 캐스텔라인의 정리를 사용하여 제안된 측정법을 검증하는 것.
• 반대칭 인접 행렬의 펄프산에서 유도된 측정법이 일반화된 W 상태에서 얽힘 구조를 정확히 포착하는지 보여주는 것.

제안 방법

• 측정법은 양자 상태의 텐서 네트워크를 나타내는 이분 격자 그래프로부터 유도된 반대칭 인접 행렬의 펄프산을 사용하여 구성된다.
• 모든 간선이 ψ에서 ψ̄ 정점으로 향하도록 격자를 방향화하여, 펄프산 전개에서 일관된 부호 할당을 보장한다.
• 파트너 간의 상호작용을 나타내는 행렬 K는 이동 행렬과 복소수 매개변수 z₁, z₂, z₃를 포함하는 텐서 곱의 합으로 표현된다.
• K의 행렬식은 단위근의 근들에 대한 곱으로 계산되며, z₁, z₂, z₃에 대해 대칭적인 표현을 얻어, Z₊₊와 일치하는 분할 함수를 유도한다.
• 모든 단항식 항에 양의 부호를 복원함으로써 전체 분할 함수를 재구성하며, 이는 종수 g인 그래프에 대해 캐스텔라인의 방법과 일관된다.
• 측정법은 펄프산의 절댓값의 로그를 통해 정의되어, 지역 유니터리 변환과 순열 대칭성에 대해 불변성을 확보한다.

Figure 2: Graphical notation for the wavefunction $\psi$ and its conjugate $\bar{\psi}$ .

실험 결과

연구 질문

• RQ1 순수 상태에서 다중 입자 얽힘 측정법이 군집화에 대해 단조성 성질을 가지는가?
• RQ2 지역 유니터리 불변성과 분리 상태에서 0이 되는 조건을 만족하는 q-입자 순수 상태에 대해 대칭적이고 가역적인 얽힘 측정법을 정의할 수 있는가?
• RQ3 격자 인접 행렬의 펄프산에서 유도된 얽힘 측정법이 지역 유니터리 변환에 대해 불변인가?
• RQ4 주기적 경계 조건을 가진 정육각형 격자에서 디머 분할 함수를 일관되게 부호화하여 양의 정의 측정법을 얻을 수 있는가?
• RQ5 측정법이 텐서 곱 상태와 입자 순열에 대해 기대하는 행동을 보이는가?

주요 결과

• 측정법은 지역 유니터리 변환에 대해 불변이며, 입자 간 순열에 대해 대칭적이며, 물리적 얽힘 측정법의 요구 조건을 만족한다.
• 측정법은 곱 상태에 대해 가역적이며, M(|Ψ⟩⊗|Φ⟩) = M(|Ψ⟩) + M(|Φ⟩)를 만족한다.
• 측정법은 반대칭 행렬의 펄프산의 절댓값의 로그로 계산되며, 이는 파트너 간 상호작용 행렬 K의 행렬식과 같다.
• 주기적 경계 조건을 가진 정육각형 격자에서 일반화된 W 상태에 대해 K의 행렬식은 ∏ᵢ₌₁ⁿ ∏ⱼ₌₁ⁿ (z₁ωⁱ + z₂ωʲ + z₃)로 주어지며, 여기서 ω는 n차 원근이다.
• 모든 항에 양의 부호를 복원함으로써 전체 분할 함수를 재구성하였으며, 이는 종수 1인 그래프에 대해 캐스텔라인의 정리와 일관되며, 네 가지 스핀 구조에 대한 합이 필요하다.
• 최종 측정법은 z₁, z₂, z₃에 대해 대칭적이며, 기대되는 불변성과 물리적 기대에 부합함을 확인한다.

Figure 3: A single connected component of the measure corresponding to choosing $\sigma_{1}$ , $\sigma_{2}$ and $\sigma_{3}$ to be three independent generators of ${\mathbb{Z}}_{3}\times{\mathbb{Z}}_{3}\times{\mathbb{Z}}_{3}$ .