[논문 리뷰] Discrete Quantum Processes

Stan Gudder|arXiv (Cornell University)|2011. 05. 31.

Quantum Mechanics and Applications참고 문헌 9인용 수 3

한 줄 요약

이 논문은 L² 힐버트 공간 위의 국소 양자 상태의 순서로 이루어진 이산 양자 과정을 도입하여, 원통 집합 위에 양자 측도를 생성하고, '이차 대수'를 통해 물리적으로 의미 있는 집합의 더 넓은 클래스로 체계적으로 확장할 수 있음을 보여준다. 주요 기여는 원통 집합을 초월하는 적절한 집합으로 양자 측도를 엄밀히 확장하여, 랜덤 변수의 연산자 양자화를 통한 양자 적분의 정의를 가능하게 한다.

ABSTRACT

A discrete quantum process is defined as a sequence of local states $ρ_t$, $t=0,1,2,...$, satisfying certain conditions on an $L_2$ Hilbert space $H$. If $ρ=\limρ_t$ exists, then $ρ$ is called a global state for the system. In important cases, the global state does not exist and we must then work with the local states. In a natural way, the local states generate a sequence of quantum measures which in turn define a single quantum measure $μ$ on the algebra of cylinder sets $\cscript$. We consider the problem of extending $μ$ to other physically relevant sets in a systematic way. To this end we show that $μ$ can be properly extended to a quantum measure $\mutilde$ on a "quadratic algebra" containing $\cscript$. We also show that a random variable $f$ can be "quantized" to form a self-adjoint operator $\fhat$ on $H$. We then employ $\fhat$ to define a quantum integral $\int fd\mutilde$. Various examples are given

연구 동기 및 목표

• 전역 상태가 존재하지 않을 경우에도 이산 양자 과정을 L² 힐버트 공간 위의 국소 상태의 순서로 체계적으로 형식화하는 것.
• 원통 집합 위에 정의된 양자 측도 μ를 더 넓은 물리적으로 의미 있는 집합의 클래스로 확장하는 데 도전하는 것.
• 원통 집합 대수 C를 적절히 포함하는 '이차 대수' S로 양자 측도 μ의 체계적 확장을 개발하는 것.
• 랜덤 변수의 양자화를 통한 자기수반 연산자 f̂로 정의된 양자 적분 ∫fdμ̃를 정의하여 양자 기대치를 계산할 수 있도록 하는 것.

제안 방법

• Ω는 경로 또는 역사들을 나타내는 H = L²(Ω, A, ν) 위의 국소 상태 ρₜ의 순서로 이산 양자 과정을 정의한다.
• 분열 기능 Dρ(A,B) = ⟨ρχ_B, χ_A⟩를 사용하여 원통 집합 대수 C 위에 μ(A) = lim ⟨ρₜχ_A, χ_A⟩로 양자 측도 μ를 구성한다.
• lim ⟨ρₜχ_A, χ_A⟩가 존재하고 유한한 '적절한' 집합 S ⊇ C의 클래스를 도입하고, S 위에서 μ̃(A) = lim ⟨ρₜχ_A, χ_A⟩로 새로운 측도 μ̃를 정의한다.
• S가 '이차 대수'를 이룬다는 것을 보이고, μ̃가 S 위에서 유효한 양자 측도이며 μ를 확장한다는 것을 보여준다.
• 특성 함수의 스펙트럼 구조를 사용하여 실수 값의 랜덤 변수 f를 자기수반 연산자 f̂로 양자화한다.
• 양자 적분을 ∫fdμ̃ = tr(ρf̂)로 정의하고, 단순 함수의 경우 f̂의 고유값 분해를 통해 계산하며, 일반 함수로의 확장을 극한 과정을 통해 확장한다.

실험 결과

연구 질문

• RQ1 전역 상태가 존재하지 않을 경우 원통 집합 위에 정의된 양자 측도 μ가 더 넓은 물리적으로 의미 있는 집합의 클래스로 체계적으로 확장될 수 있는가?
• RQ2 lim ⟨ρₜχ_A, χ_A⟩가 존재하고 일관된 양자 측도를 정의하는 집합의 집합에 기반하는 대수적 구조는 무엇인가?
• RQ3 f가 랜덤 변수이고 μ̃가 확장된 양자 측도일 경우, 양자 적분 ∫fdμ̃는 어떻게 정의되고 계산될 수 있는가?
• RQ4 분열 기능과 그 연관된 연산자인 디코herence 기능이 국소 상태 ρₜ와 그 결과로 얻어지는 양자 측도를 구성하는 데 어떤 역할을 하는가?
• RQ5 랜덤 변수 f를 자기수반 연산자 f̂로 양자화하는 것은 스펙트럼 분해를 통해 양자 적분을 어떻게 계산하는 데 사용될 수 있는가?

주요 결과

• 적절한 집합의 집합 S는 원통 집합 대수 C를 적절히 포함하는 '이차 대수'를 이룬다. 이는 양자 측도의 체계적 확장을 가능하게 한다.
• 확장된 측도 μ̃(A) = lim ⟨ρₜχ_A, χ_A⟩는 S 위에서 유효한 양자 측도를 정의하며, 원래 C 위의 측도 μ를 일반화한다.
• 두 자리 양자 랜덤 워크의 경우, '입자가 원점을 방문한다'는 사건과 그 여집합은 S ∖ C에 속한다. 이는 S가 원통 집합을 초월하는 물리적으로 의미 있는 사건을 포괄한다는 것을 보여준다.
• 양자 적분 ∫fdμ̃는 tr(ρf̂)로 정의되며, 단순 함수의 경우 f̂의 고유값 분해를 통해 계산할 수 있다.
• 두 값의 랜덤 변수 f = αχ_A + βχ_B에 대해, f̂의 고유값은 이차 방정식을 사용하여 명시적으로 구할 수 있으며, 이는 양자 적분의 직접 계산을 가능하게 한다.
• 포함-배제 원리를 두 개의 쌍별 양자화에 적용하여 n값 함수로 일반화할 수 있으며, 이는 양자 적분을 고유값과 상태 겹침을 포함하는 유한 합으로 계산할 수 있도록 한다.