[논문 리뷰] Target Space Entanglement Entropy

Edward A. Mazenc, Daniel Ranard|arXiv (Cornell University)|2019. 10. 16.

Quantum many-body systems참고 문헌 26인용 수 11

한 줄 요약

이 논문은 기저 공간이 아닌 목표 공간의 공간 부분영역과 관련된 관측가능량의 부분대수를 정의하여, 대수적 접근법을 사용해 목표 공간 내의 얽힘 엔트로피를 도입한다. 이는 제1-양자화 다체 양자역학에서 표준적인 양자장론적 결과와 일관되며, 양자장론과 시그마 모델로의 프레임워크 확장을 보여주며, 기저 공간의 분할이 잘 정의되지 않을 경우에도 얽힘 엔트로피가 유한하고 물리적으로 의미 있는 것으로 유지됨을 보여준다.

ABSTRACT

We define a notion of target space entanglement entropy. Rather than partitioning the base space on which the theory is defined, we consider partitions of the target space. This is the physical case of interest for first-quantized theories, such as worldsheet string theory. We associate to each subregion of the target space a suitably chosen sub-algebra of observables $\mathcal{A}$. The entanglement entropy is calculated as the entropy of the density matrix restricted to $\mathcal{A}$. As an example, we illustrate our framework by computing spatial entanglement in first-quantized many-body quantum mechanics. The algebra $\mathcal{A}$ is chosen to reproduce the entanglement entropy obtained by embedding the state in the fixed particle sub-sector of the second-quantized Hilbert space. We then generalize our construction to the quantum field-theoretical setting.

연구 동기 및 목표

• 기저 공간이 아닌 목표 공간의 공간 분할이 이루어지는 양자 이론에서 얽힘 엔트로피를 정의하기 위해, 제1-양자화 끈 이론과 행렬 역학에 기반한 동기 부여.
• 목표 공간의 분할이 힐베르트 공간의 텐서 곱 분해를 유도하지 못함으로써 표준 얽힘 엔트로피 정의의 핵심 요소인 문제를 해결하기 위해.
• 기저 공간이 점이거나 비어 있는 시스템(예: 워크시트 끈 이론, BFSS 행렬 양자역학)에서도 얽힘 엔트로피를 계산하는 일관된 프레임워크 수립.
• 새로운 정의가 표준 제2-양자화 장론의 얽힘 엔트로피와 일치하는지 확인하기 위해 비상대론적 다체 시스템에서 비교.
• 상호작용이 있는 양자장론과 시그마 모델로의 일반화를 통해, 엔트로피가 유한하고 물리적으로 의미 있는지 입증하기 위해.

제안 방법

• 대수적 접근법을 사용하여, 목표 공간의 부분영역과 관련된 관측가능량의 부분대수에 제한된 상태에서 감소 밀도 행렬을 정의.
• 다체 양자역학의 경우, 공간 영역 $A$ 내의 위치 프로젝터로 생성되는 대수 $\mathcal{A}$를 구성하며, 보존(fermions)의 경우 대칭(또는 반대칭) 부분공간에 투영.
• 대칭 프로젝터 $P_{S_N}$를 도입하여 다중 입자 연산자가 포함되도록 보장함으로써, 구분할 수 없는 입자에 대한 적절한 얽힘 구조 확보.
• 각 입자 수 섹터 $k$에 제한된 대수 $\mathcal{A}$가 인피니티(또는 인피니티)임을 증명하여, 텐서 곱 분해 $\mathcal{O} = \oplus_k \mathcal{O}_{A_k} \otimes \mathds{1}_{\bar{A}_k}$ 가 가능함을 보여주며, 이는 얽힘 구조의 기초가 됨.
• 두 개의 격자 위치에 있는 질량이 있는 스칼라 장에 대해 프레임워크를 적용하여 반공간 분할에서의 얽힘 엔트로피 계산하고, 유한성을 확인.
• 상대론적 장론에서의 국소성의 두 가지 개념—포크 기반과 장 기반의 분해—를 비교하여, 일차 입자 상태에서의 얽힘 엔트로피가 다름을 보여줌.

Figure 1: Distinction between partitions of the base space (left) versus target space (right). We illustrate the case of 2+1d scalar field theory for concreteness. At every point of the base space ( $\cong\mathbb{R}^{2}$ ) labeled by $\vec{x}$ , the local degree of freedom takes values in the target

실험 결과

연구 질문

• RQ1 기저 공간이 아닌 목표 공간의 공간 분할이 이루어지는 경우, 어떻게 일관된 방식으로 얽힘 엔트로피를 정의할 수 있는가?
• RQ2 어떤 관측가능량의 부분대수가 목표 공간의 부분영역에 국한된 측정에 대한 접근을 올바르게 캡처하는가?
• RQ3 제안된 목표 공간 얽힘 엔트로피가 비상대론적 다체 시스템에서 표준 제2-양자화 장론의 얽힘 엔트로피와 일치하는가?
• RQ4 이 프레임워크는 상호작용이 있는 양자장론과 시그마 모델로 어떻게 일반화되는가?
• RQ5 입자 통계(보존과 페르미온)는 목표 공간 대수와 그로 인한 얽힘 엔트로피 정의에 어떤 역할을 하는가?

주요 결과

• 적절히 대칭 프로젝터를 통해 다중 입자 연산자를 포함하도록 구성된 대수 $\mathcal{A}$를 사용할 경우, 제안된 목표 공간 얽힘 엔트로피는 비상대론적 다체 양자역학에서 표준 제2-양자화 엔트로피를 재현한다.
• 단일 입자 경우, 대수적 프레임워크를 통해 계산된 얽힘 엔트로피는 표준 장론적 결과와 일치하여, 최소한의 설정에서 접근법의 타당성을 검증한다.
• 두 개의 공간 격자 위치에 있는 질량이 있는 스칼라 장의 경우, 목표 공간 얽힘 엔트로피는 유한하고 잘 정의되어 있으며, 양자장론에서의 프레임워크의 타당성을 확인한다.
• 각 입자 수 섹터 $k$에 제한된 대수 $\mathcal{A}$는 인피니티이며, 이는 얽힘 엔트로피가 섹터별 합으로 표현될 수 있음을 보장하는 텐서 곱 분해를 가능하게 한다.
• 상대론적 장론에서의 국소성에 대한 두 가지 경쟁적 개념—포크 기반과 장 기반의 분해—는 일차 입자 상태에서 서로 다른 얽힘 엔트로피를 유도하며, 이러한 설정에서 공간 얽힘을 정의하는 데 근본적인 모순이 있음을 드러낸다.
• 이 프레임워크는 임의의 시그마 모델과 상호작용이 있는 장론으로도 성공적으로 일반화되며, 얽힘 엔트로피는 여전히 유한하고 물리적으로 의미 있는 것으로 유지된다.

Figure 2: (Top) For many of our most promising theories of quantum gravity, such as worldsheeet string theory or the BFSS matrix quantum mechanics, the emergent physical spacetime of interest is encoded in the target space of the theory. (Bottom) To each subregion of the target space, we associate a