[논문 리뷰] Further de-Entangling Entanglement

Elemér E Rosinger|ArXiv.org|2007. 01. 22.

Quantum Mechanics and Applications참고 문헌 12인용 수 8

한 줄 요약

이 논문은 힐버트 공간이나 벡터 공간의 텐서 곱에 국한되지 않고, 임의의 집합과 닫힘 연산자에 기반한 프레임워크를 도입하여 양자 얽힘의 수학적 모델링을 일반화한다. 이는 얽힘을 대수적 구조에 종속되지 않고도 연구할 수 있도록 하며, 생성자와 안정된 부분집합을 통해 얽힘을 텐서 곱에서 분리하고 재정의한다. 이는 시스템 합성과 부분시스템 식별에 모두 적용 가능하며, 양자역학과 일반 시스템 이론에서 얽힘의 더 넓은 기초를 제공한다.

ABSTRACT

A recent general model of entanglement, [5], that goes much beyond the usual one based on tensor products of vector spaces is further developed here. It is shown that the usual Cartesian product can be seen as two extreme particular instances of non-entanglement. Also the recent approach to entanglement in [8] is incorporated in the general model in [5]. The idea pursued is that entanglement is by now far too important a phenomenon in Quantum Mechanics, in order to be left confined to its present exclusive modelling by tensor products. Once this is realized, it turns out that one can quite easily de-entangle entanglement from tensor products, and in fact, one can do so in a large variety of ways. Within such general settings the issue of entanglement becomes connected with the issue of "System versus Subsystem" in General Systems Theory, where synthesizing subsystems into a system may often be less difficult than identifying subsystems in a system.

연구 동기 및 목표

• 힐베르트 공간이나 벡터 공간의 텐서 곱에만 국한되지 않는, 얽힘의 수학적 모델링을 확장하기 위해.
• 대수적 구조가 필요 없이도 임의의 집합과 닫힘 연산자를 사용하여 얽힘을 기술할 수 있음을 보여주기 위해.
• 기존의 얽힘 접근법을 통합하고 일반화하기 위해, 시스템 합성과 부분시스템 식별을 모두 포함하기 위해.
• 새로운 프레임워크 내에서 비얽힘의 극한 경우로 카르테시안 곱이 어떻게 볼 수 있는지 보여주기 위해.
• 시스템과 부분시스템의 관계와 그 어려움의 비대칭성과 같은 더 깊은 시스템 이론적 문제와 얽힘 개념을 연결하기 위해.

제안 방법

• α,β-안정 부분집합을 통해 정의된 생성자 연산자 ψ: P(X) → P(X)를 도입하며, ψ(A) = [A]_{α,β}는 A를 포함하는 가장 작은 α,β-안정 집합이다.
• ψ-기저를 정의한다: X의 부분집합 B ⊆ X 중에서 ψ(B) = X 를 만족하는 최소의 집합으로, 전체 집합을 최소한의 구성 요소로부터 재구성할 수 있다.
• 커버링 관계를 제안한다: X×Y 위의 생성자 χ가 X의 생성자 ψ와 Y의 생성자 φ에 의해 커버질 때, 모든 A⊆X, B⊆Y에 대해 χ(A×B) ⊆ ψ(A)×φ(B) 를 만족한다.
• 생성자 ψ와 φ를 사용하여 일반화된 텐서 곱 X ⊗_{ψ,φ} Y 를 도입함으로써, 임의의 집합 위에서도 얽힘을 정의할 수 있도록 한다.
• 얽힘을 X ⊗_{ψ,φ} Y 의 원소 w ⊆ X ⊗_{ψ,φ} Y 중에서 x∈X, y∈Y 에 대해 x ⊗_{ψ,φ} y 로 표현할 수 없는 것들로 정의한다.
• 이 프레임워크를 적용하여 표준 텐서 곱 얽힘을 특수한 경우로 복원하고, 대수적 구조가 아닌 환경으로까지 확장한다.

실험 결과

연구 질문

• RQ1 벡터 공간의 텐서 곱에 의존하지 않고도 얽힘을 의미 있게 정의할 수 있는가?
• RQ2 어떤 일반적인 수학적 조건이 임의의 집합에서 얽힘을 식별할 수 있도록 보장하는가?
• RQ3 제안된 프레임워크가 시스템과 부분시스템의 합성 및 식별 측면을 어떻게 통합하고 일반화하는가?
• RQ4 이 일반화된 모델에서 카르테시안 곱이 비얽힘의 극한 경우로 어떻게 해석될 수 있는가?
• RQ5 참고문헌 [9]에서 부분시스템 식별에 관측자가 포함된 것과 같은 접근 방식이 이 광범위한 프레임워크에 어떻게 통합되는가?

주요 결과

• 닫힘 연산자와 생성자를 사용하여 임의의 집합 위에서 텐서 곱에 종속되지 않고도 얽힘을 정의할 수 있다.
• 카르테시안 곱은 일반화된 프레임워크 내에서 비얽힘의 두 극한 경우로 나타난다.
• 생성자가 벡터 공간 기저에 대응할 경우 표준 텐서 곱 얽힘은 특수한 경우로 복원된다.
• ψ-기저 개념은 벡터 공간 기저 개념을 일반화한 것으로, 주어진 닫힘 조건 하에서는 이러한 기저가 존재한다.
• 커버링 조건 χ(A×B) ⊆ ψ(A)×φ(B) 는 부분시스템과 그 복합체 간의 일관성을 보장하며, 텐서 곱의 구조를 일반화한다.
• 이 프레임워크는 얽힘에 대해 이중적인 접근을 가능하게 한다: [6]에서처럼 시스템 합성과 [9]에서처럼 부분시스템 식별이며, 후자는 더 복잡하지만 관측자에 기반한 식별을 통해 접근 가능하다.