무한 차원 복합 양자계의 교차 상태와 새로운 분리 기준

본 논문은 복합 양자계의 상태를 새로운 관점에서 조명한다. 먼저, 두 가산 복소 힐베르트 공간 H와 J에 대해 각각의 트레이스 클래스 B₁(H), B₁(J)를 정의하고, 이들의 대수적 텐서곱 B₁(H)⊙B₁(J)를 프로젝트 텐서곱 ‖·‖_{b⊗1} 으로 완비시킨 **교차 트레이스 클래스** B₁(H) b⊗ B₁(J)를 도입한다. 이 공간은 일반적인 트레이스 클래스 B₁(H⊗J)와는 다른 위상을 갖는데, 특히 dim H = dim J = ∞ 인 경우에만 엄격히 부분집합이며, 트레이스 노름에 대해 조밀하지만 두 노름이 동등하지 않다. 논문은 먼저 기존 문헌(Rudolph, Arveson)의 결과를 정리하고, 이를 무한 차원까지 확장한다. 주요 정리는 다음과 같다. 1. **노름 동등성**: dim H < ∞ 또는 dim J < ∞ 이면, 프로젝트 노름과 트레이스 노름이 B₁(H⊗J) 전체에서 동등하게 작용한다. 따라서 모든 밀도 연산자는 교차 트레이스 클래스에 속한다. 2. **무한 차원 구분**: dim H = dim J = ∞ 인 경우, B₁(H) b⊗ B₁(J)는 B₁(H⊗J) 안에 조밀히 삽입되지만, 프로젝트 노름은 트레이스 노름을 지배하고, 교차 트레이스 클래스 내부에서만 유한값을 가진다. 3. **교차 상태 정의**: D(H⊗J)_b := D(H⊗J) ∩ B₁(H) b⊗ B₁(J) 로 정의한다. 이는 트레이스 노름이 1인 모든 밀도 연산자 중, 프로젝트 텐서곱에 속하는 것들의 집합이며, 무한 차원에서는 전체 상태 집합보다 엄격히 작다. 교차 상태는 “유한 얽힘”을 가진 물리적 상태로 해석된다. 4. **분리 상태와 교차 노름**: 모든 차원에 대해  ρ ∈ D(H⊗J)_sep ⇔ ‖ρ‖_{b⊗1} = 1 이라는 **Extended Cross Norm Criterion (ECNC)** 를 증명한다. 즉, 프로젝트 노름이 1이면 상태는 완전 분리된 것이고, 1보다 크면 얽힌 상태이다. 이 기준은 무한 차원에서도 유효하지만, 교차 상태가 아닌 경우 프로젝트 노름은 무한대로 발산한다. 5. **얽힘 함수 E**: 확장 실값 함수 E: D(H⊗J) →