[논문 리뷰] The Jordan formulation of Quantum Mechanics: a review

Paul Townsend|arXiv (Cornell University)|2016. 12. 29.

Quantum Information and Cryptography참고 문헌 2인용 수 11

한 줄 요약

이 논문은 양자역학의 조르당 대수 구조를 검토하며, 표준 연산자 곱 대신 조르당 곱을 사용하는 비결합 대수적 구조를 제안한다. 이 틀에서 시간 진동은 밀도 행렬 형식에서의 교환자와 유사하게 연관자(associator)에 의해 지배되며, 추적값이 0인 헤르미트 행렬 $ x,y $ 에 대해 $ H = i[x,y] + \lambda\mathbb{I} $ 형태의 해밀토니안을 가진다. 이는 표준 양자역학의 '제곱근' 시각을 제공하며, 초대칭과의 잠재적 연관성을 지닌다.

ABSTRACT

This is a transcription of a conference proceedings from 1985. It reviews the Jordan algebra formulation of quantum mechanics. A possible novelty is the discussion of time evolution; the associator takes over the role of $i$ times the commutator in the standard density matrix formulation, and for the Jordan algebra of complex Hermitian matrices this implies a Hamiltonian of the form $H= i[x,y] + λ\mathbb{I}$ for traceless Hermitian $x,y$ and real number $λ$. Other possibilities for time evolution in the Jordan formulation are briefly considered.

연구 동기 및 목표

• 조르당 대수를 사용하여 양자역학을 재구성함으로써 그 대수적 구조와 물리적 해석을 강조한다.
• 조르당 형식에서의 시간 진동을 분석하고 표준 밀도 행렬 접근법과 대비한다.
• 조르당 형식이 비결합 구조를 통해 양자역학을 더 깊거나 더 기본적인 수준에서 설명할 수 있는지 탐구한다.
• 도함수와 연관자가 선형 시간 진동 방정식을 생성하는 데 수행하는 역할을 검토한다.

제안 방법

• 형식적으로 실수적이고 단위 원소를 가진 조르당 대수의 원소로 양자 관측량을 형식화하고, 교환 가능한 조르당 곱 $ a \circ b = \frac{1}{2}(ab + ba) $ 를 사용한다.
• 거듭제곱 결합성과 관측량에 대한 함수형의 정의를 보장하기 위해 조르당 항등식 $ a \circ (a^2 \circ b) = a^2 \circ (a \circ b) $ 을 사용한다.
• 밀도 행렬을 $ \mathrm{tr}(\rho) = 1 $ 을 만족하는 정부분형 원소 $ \rho $ 로 표현하고, 기댓값을 $ \langle a \rangle = \mathrm{tr}(a \circ \rho) $ 로 계산한다.
• 시간 진동을 $ \dot{\rho} = D(\rho) $ 로 유도하며, 여기서 $ D $ 는 조르당 대수의 도함수이다.
• 도함수를 $ D_{x,y} = [L_x, L_y] $ 로 표현하고, $ L_x $ 는 추적값이 0인 원소 $ x $ 에 대한 좌측 곱셈을 의미하며, 이에 따라 $ \dot{\rho} = [x, \rho, y] $ 로 연관자가 나타난다.
• 해밀토니안 $ H = i[x,y] + \lambda\mathbb{I} $ 일 때, 표준 슈뢰딩거 방정식과의 등가성을 입증함으로써 조르당 형식이 표준 양자역학의 '제곱근'임을 보여준다.

실험 결과

연구 질문

• RQ1 C*-대수나 힐베르트 공간 대신 조르당 대수를 사용하여 양자역학을 어떻게 재구성할 수 있는가?
• RQ2 조르당 형식에서 시간 진동에 있어서 연관자의 역할은 무엇이며, 표준 형식에서의 교환자와의 관계는 어떠한가?
• RQ3 조르당 형식은 순수 상태를 혼합 상태로 매핑하는 시간 진동을 기술할 수 있는가? 만약 가능하면 그 방식은 무엇인가?
• RQ4 예외적인 조르당 대수 $ H_3^\mathbb{O} $ 는 양자 이론에 어떤 영향을 미치며, 특히 힐베르트 공간 형식이 없는 상황에서 어떤 의미를 갖는가?
• RQ5 조르당 대수의 도함수는 양의 영역의 자동형군을 어떻게 생성하는가? 이는 선형 시간 진동에 어떤 제약 조건을 가하는가?

주요 결과

• 연관자 $ [x, \rho, y] = x \circ (\rho \circ y) - (x \circ \rho) \circ y $ 는 조르당 형식에서 표준 밀도 행렬 형식에서의 교환자와 유사한 역할을 한다.
• 복소 헤르미트 행렬에 대해 시간 진동 방정식 $ \dot{\rho} = [x, \rho, y] $ 는 $ H = i[x,y] + \lambda\mathbb{I} $ 일 때 표준 슈뢰딩거 방정식을 재현하며, 표준 형식과의 등가성을 입증한다.
• 조르당 대수의 도함수는 모두 $ D_{x,y} = [L_x, L_y] $ 의 형태로 표현 가능하며, 여기서 $ L_x $ 는 추적값이 0인 원소 $ x $ 에 대한 좌측 곱셈을 의미하며, 이는 자코비 항등식이 성립함을 보장한다.
• 조르당 대수의 양의 영역 $ C(J) $ 는 동차 콘으로서, 그 자동형군은 도함수와 곱셈 연산자에 의해 생성되지만, 밀도 행렬의 추적 조건을 유지하는 것은 오직 도함수들만이다.
• 순수 상태를 혼합 상태로 매핑하는 일반화된 시간 진동은 선형이면서 추적을 유지하는 경우에만 군 작용이 될 수 있으며, 이는 열역학 제2법칙과 일치하는 바, 이러한 진동은 군이 아닌 반군(semigroup)을 이룬다.
• 오кт로니온을 기반으로 한 예외적 조르당 대수 $ H_3^\mathbb{O} $ 는 표준 곱셈 하에서 행렬로 표현될 수 없으며, 그가 글렌의 항등식을 만족하지 못함으로써 비결합적이고 예외적인 성격임을 확인하며, 힐베르트 공간 형식의 실현이 불가능함을 의미한다.