[논문 리뷰] The Geometry of Consistency: Decohering Histories in Generalized Quantum Theory

D. A. Craig|ArXiv.org|1997. 04. 17.

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

한 줄 요약

이 논문은 일반화된 일致한 역사 양자 이론에서 얽힘의 기하적 프레임워크를 개발한다. 얽힘 함수를 힐베르트 공간 상의 선형 연산자 공간 위의 에르미트 형식으로 해석함으로써, 일치하는 역사 집합이 이 형식 하에서 직교 집합에 해당함을 규명하고, 양의 얽힘 함수에 대해 코시-슈바르츠 부등식과 삼각 부등식을 도출하며, 클래스 연산자에 대한 얽힘 함수의 새로운 ILS 정리 버전을 제시한다.

ABSTRACT

The geometry of decoherence in generalized "consistent histories" quantum theory is explored, revealing properties of the theory that are independent of any particular application of it. It is shown how the decoherence functional of a closed quantum system may be regarded as an Hermitian form on the space of linear operators on the Hilbert space of the system. This identification makes manifest a number of structural properties of decoherence functionals. For example, a bound on the maximum number of histories in a consistent set is determined. When the decoherence functional is positive -- as in conventional quantum mechanics -- it defines a semi-inner product on the space of history operators. This shows that consistent sets of histories are just orthogonal sets in this inner product. It further implies the existence in general of Cauchy-Schwarz and triangle inequalities for positive decoherence functionals. The geometrical significance of the ILS theorem classifying all possible decoherence functionals is illuminated, and a version of the ILS theorem for decoherence functionals on class operators is given. The class of history operators consistent according to a given decoherence functional is found, and, conversely, it is shown how to construct the decoherence functionals according to which a given set of histories is consistent. More generally, the "geometric" point of view here developed supplies a powerful unified language with which to solve problems in generalized quantum theory.

연구 동기 및 목표

• 일반화된 양자 이론에서 얽힘 함수의 기하적 해석을 개발하기 위해.
• 특정 물리적 응용에 의존하지 않는 얽힘의 구조적 성질을 규명하기 위해.
• 내적 기하학을 통한 일치 역사 집합의 수학적 성격을 명확히 하기 위해.
• 클래스 연산자에 대한 얽힘 함수에 대해 ILS 정리를 일반화하기 위해.
• 일반화된 양자 이론의 문제 해결을 위한 통합된 기하 언어를 제공하기 위해.

제안 방법

• 힐베르트 공간 상의 선형 연산자 공간 위에서 얽힘 함수를 에르미트 형식으로 표현하기 위해.
• 이 형식을 통해 양의 함수일 경우 반내적을 정의함으로써 기하 분석을 가능하게 하기 위해.
• 일치 역사 집합을 이 반내적 하에서 직교 집합으로 특성화하기 위해.
• 반내적의 음이 아닌 정의역 성질로부터 코시-슈바르츠 부등식과 삼각 부등식을 도출하기 위해.
• 클래스 연산자에 작용하는 얽힘 함수에 대해 ILS 정리의 버전을 구성하기 위해.
• 일치 역사 집합과 그들을 일치시키는 얽힘 함수 사이의 이중성을 확립하기 위해.

실험 결과

연구 질문

• RQ1 일반화된 양자 이론에서 얽힘 함수는 연산자 공간 위의 에르미트 형식으로 어떻게 기하학적으로 해석될 수 있는가?
• RQ2 양의 얽힘 함수일 경우 일치 역사 집합에 대한 구조적 제약 조건은 무엇인가?
• RQ3 코시-슈바르츠 부등식과 삼각 부등식은 양의 얽힘 함수의 기하학적 구조에서 어떻게 유도되는가?
• RQ4 ILS 정리는 얽힘 함수의 모든 가능한 분류를 기하학적으로 어떻게 해석할 수 있는가?
• RQ5 주어진 일치 역사 집합으로부터 얽힘 함수를 어떻게 재구성할 수 있는가?

주요 결과

• 선형 연산자 공간 상의 얽힘 함수는 공식적으로 에르미트 형식이며, 내재된 기하적 구조를 드러낸다.
• 양의 경우, 얽힘 함수는 반내적을 정의하며, 이에 따라 일치 역사 집합은 이 공간 내에서 직교 집합과 동치가 된다.
• 반내적 공간의 기하적 제약 조건으로부터 일치 역사 집합 내의 역사 수에 대한 유한한 상한이 도출된다.
• 모든 양의 얽힘 함수에 대해 코시-슈바르츠 부등식과 삼각 부등식이 성립함을 보이며, 간섭에 대한 정량적 경계를 제공한다.
• 클래스 연산자에 대한 얽힘 함수에 대해 ILS 정리의 새로운 버전이 확립되었으며, 이러한 함수의 분류를 일반화한다.
• 구성적 이중성이 입증되었다: 주어진 일치 역사 집합에 대해, 그들의 일치성을 확보하는 데 사용할 수 있는 구체적인 얽힘 함수를 명시적으로 구성할 수 있다.