[논문 리뷰] Group Invariant Entanglements in Generalized Tensor Products

Elemér E Rosinger|ArXiv.org|2008. 08. 01.

semigroups and automata theory참고 문헌 5인용 수 6

한 줄 요약

이 논문은 최소한의 대수적 구조를 가진 임의의 집합 위에서 일반화된 텐서곱 프레임워크를 제안하며, 벡터 공간이 필요 없이도 얽힘을 정의할 수 있도록 한다. 이는 군 작용이 이러한 일반화된 텐서곱에서 얽힘 불변성을 유지함으로써, 양자역학 외부의 비양자, 비카르테시안 시스템에서 자원으로서의 얽힘을 연구하기 위한 광범위하고 구조에 의존하지 않는 기반을 확립한다.

ABSTRACT

The group invariance of entanglement is obtained within a very general and simple setup of the latter, given by a recently introduced considerably extended concept of tensor products. This general approach to entanglement - unlike the usual one given in the particular setup of tensor products of vector spaces - turns out not to need any specific algebraic structure. The resulting advantage is that, entanglement being in fact defined by a negation, its presence in a general setup increases the chances of its manifestations, thus also its availability as a resource.

연구 동기 및 목표

• 벡터 공간을 초월해 최소한의 대수적 구조를 가진 임의의 집합으로 텐서곱 개념을 확장하기.
• 분리 가능성의 부정으로서 일반적인 맥락에서 얽힘을 정의함으로써, 그 등장 가능성의 범위를 넓히기.
• 일반화된 텐서곱에서 군 불변성이 유지되는지 조사하기.
• 디코herence를 피하는 비카르테시안 고전 시스템에서 얽힘을 갖는 시스템을 식별함으로써, 양자 유사 자원의 강건성 확보하기.
• 일반화된 비카르테시안 시스템을 연구함으로써 표준 양자 얽힘 외의 새로운 계산 및 물리적 자원 탐색하기.

제안 방법

• 논문은 일반화된 텐서곱 $ X \bigotimes_{{\cal A},{\cal B}} Y $를 $ Z / \approx_{{\cal A},{\cal B}} $로 정의한다. 여기서 $ Z $ 는 $ X \times Y $ 에 의해 생성된 자유 반군이며, $ \approx_{{\cal A},{\cal B}} $ 는 집합 $ {\cal A} $ 와 $ {\cal B} $ 에서 유래한 순열 및 이진 연산에 의해 생성된 동치관계이다. $ {\cal A} $ 와 $ {\cal B} $ 는 각각 $ X $ 와 $ Y $ 에 정의된 이진 연산의 집합이다.
• 군 작용 $ G \times X \to X $ 과 $ H \times Y \to Y $ 는 곱 공간 $ X \times Y $ 에로 확장되며, 이후 $ (g,h) \cdot (x_i,y_i) = (gx_i, hy_i) $ 를 통해 텐서곱으로 확장된다.
• 일관성 조건 $ \alpha(gx, gx') = g\alpha(x,x') $ 와 $ \beta(hy, hy') = h\beta(y,y') $ 는 군 작용이 동치관계 $ \approx_{{\cal A},{\cal B}} $ 를 유지함을 보장하며, 이는 몫공간에서 잘 정의된 군 작용을 유도한다.
• 이 구성은 임의의 집합 $ X $ 와 $ Y $ 를 허용하며, 이항 연산 $ \alpha, \beta $ 가 가환성 또는 결합법칙을 만족할 필요가 없음을 의미하므로, 표준 텐서곱 이론을 크게 일반화한다.
• 결과적으로 텐서곱 $ X \bigotimes_{{\cal A},{\cal B}} Y $ 는 교환법칙과 결합법칙을 만족하는 이항 연산 $ \gamma $ 를 지니며, 그 원소들은 정의된 관계에 대해 동치인 형식적 합 $ \sum x_i \bigotimes y_i $ 로 표현된다.
• 작업 집합의 포함 관계를 통해 텐서곱의 계층적 구조를 지원한다: $ {\cal A} \subseteq {\cal A}' $ 과 $ {\cal B} \subseteq {\cal B}' $ 이면, $ X \bigotimes_{{\cal A},{\cal B}} Y \to X \bigotimes_{{\cal A}',{\cal B}'} Y $ 의 전사 사상이 존재한다.

실험 결과

연구 질문

• RQ1 벡터 공간의 구조가 없는 시스템에서도 일반화된 텐서곱 프레임워크를 통해 얽힘을 의미 있게 정의하고 연구할 수 있는가?
• RQ2 성분 시스템에 대한 군 작용이 일반화된 텐서곱에 잘 정의된 군 작용을 유도하는 조건은 무엇인가?
• RQ3 군 작용에 의해 동치관계 $ \approx_{{\cal A},{\cal B}} $ 가 불변성을 유지할 경우, 이는 얽힘의 구조적 특성으로서 유지되는가?
• RQ4 비양자적 고전 시스템은 비카르테시안일 수 있으며, 디코herence 없이 여전히 얽힘을 나타낼 수 있는가?
• RQ5 군 불변성의 얽힘을 지닌 일반화된 비카르테시안 시스템을 연구함으로써 어떤 새로운 물리적 또는 계산 자원이 도출될 수 있는가?

주요 결과

• 얽힘은 일반화된 텐서곱 프레임워크에서 분리 가능성의 부정으로 정의되며, 이는 전통적인 양자 시스템 외부에서도 그 존재 가능성을 높인다.
• 일반화된 텐서곱 $ X \bigotimes_{{\cal A},{\cal B}} Y $ 는 임의의 비공집합 $ X $ 와 $ Y $ 와 임의의 이항 연산 집합 $ {\cal A} $, $ {\cal B} $ 에 대해 잘 정의되며, 대수적 닫힘 조건이 필요하지 않다.
• 연산 집합 $ {\cal A} $, $ {\cal B} $ 가 군 작용 $ G \times X \to X $, $ H \times Y \to Y $ 와 호환될 경우, 텐서곱에 유도된 작용은 동치관계 $ \approx_{{\cal A},{\cal B}} $ 를 유지하며, 몫공간에서 일致한 군 작용을 보장한다.
• 결과 텐서곱은 교환법칙과 결합법칙을 만족하는 이항 연산 $ \gamma $ 를 지니며, 그 원소들은 순열 및 연산 유도 변환에 대해 동치인 형식적 합 $ \sum x_i \bigotimes y_i $ 로 표현된다.
• 작업 집합의 포함 관계를 통해 텐서곱의 계층적 구조를 구축할 수 있으며, 더 거친 구조에서 더 세밀한 구조로의 전사 사상이 존재한다.
• 논문은 카르테시안 곱으로 구성되지 않으며 디코herence의 영향을 받지 않는 비카르테시안 고전 시스템이 얽힘을 지닐 수 있음을 입증하며, 얽힘을 계산 자원으로 탐색하기 위한 새로운 시스템의 클래스를 제공한다.