[논문 리뷰] Iterants, Fermions and the Dirac Equation

Louis H. Kauffman|arXiv (Cornell University)|2014. 06. 07.

Topological Materials and Phenomena참고 문헌 17인용 수 3

한 줄 요약

이 논문은 디랙 방정식과 페르미온 양자장이 비어 있는 대수적 구조, 즉 반복되는 이터랜트—이산적이고 시간순서가 정해진 과정—에서 유도된다고 제안한다. 비어 있는 대수적 구조는 비가환 미적분을 생성한다. 제곱근이 음수인 것을 시간적 진동(이터랜트)으로 모델링함으로써, 저자들은 클리퍼드 대수와 분할 허수를 도출하며, 마조라나 페르미온과 전자의 니플로턴트 구조가 이러한 대수적 구조에서 자연스럽게 유도됨을 보여주며, 복소수를 명시적으로 포함하지 않는 실수 기반의 마조라나 형식의 디랙 방정식을 도출한다.

ABSTRACT

We discuss how basic Clifford algebra and indeed all of matrix algebra and matrix representations of finite groups comes from Iterants: very elementary processes such as an alternation of plus and minus one ...+-+-+- .... One can think of the square root of minus one as a temporal iterant, a product of an A and a B where the A is the ...+-+-+-... and the B is a time shift operator. We have AA = BB =1 and AB + BA = 0, whence (AB)(AB) = -1. Clifford algebra is at the base of the (mathematical) world and the Fermions are composed of these things. We discuss the diagrammatics and topology of Majorana Fermions and we discuss the structure of the Dirac equation and how nilpotent and Majorana operators arise naturally in this context. We end the paper with an expression in split quaternions (in iterant form) for the the Majorana Dirac equation in one dimension of time and three dimensions of space.

연구 동기 및 목표

• 연속적인 시공간이 아닌 이산적 과정과 이터랜트를 바탕으로 양자역학과 페르미온 장의 기초를 마련하는 것.
• 음수의 제곱근이 복소수로 가정되는 것이 아니라, 이산적 시스템에서의 비가환 관측과 시간적 진동에서 자연스럽게 유도됨을 보여주는 것.
• 복소수에 의존하지 않고 이터랜트 대수와 분할 허수를 통해 디랙 방정식과 마조라나 페르미온의 구조를 도출하는 것.
• 전자와 그 반입자의 니플로턴트 구조가 클리퍼드 대수 틀 안에서 두 개의 마조라나 페르미온 쌍으로부터 자연스럽게 유도됨을 보여주는 것.

제안 방법

• 음수의 제곱근을 이터랜트로 모델링: +1과 -1 사이를 주기적으로 진동하는 것으로, 이는 이산적 시간 과정을 나타낸다.
• 유한군, 특히 순환군과 대칭군 S_n에서 유도된 치환 행렬을 사용하여 이터랜트 대수를 구성한다.
• 2×2 행렬 대수와 분할 허수를 이터랜트로 표현하며, 이들이 클리퍼드 대수와 동형임을 보여준다.
• 분할 허수 대수의 두 개의 서로 가환하는 복제본(ε, η 및 ˆε, ˆη)을 사용하여 실수 기반의 마조라나 디랙 방정식을 구성한다.
• 이터랜트 기반 미분 연산자를 사용하여 디랙 연산자를 정의하며, α_x = ˆηη, α_y = ε, α_z = ˆεη, β = iˆεˆηη로 정의하고, 필요한 반대칭 관계를 만족함을 보인다.
• 수정된 디랙 연산자 D가 D²ψ = 0을 만족함을 보여, 페르미온 자유도에 해당하는 니플로턴트 해를 도출한다.

실험 결과

연구 질문

• RQ1 음수의 제곱근이 복소수로 가정되는 것이 아니라, 이산적 시간 진동에서 어떻게 도출될 수 있는가?
• RQ2 이터랜트와 비가환 관측은 어떻게 클리퍼드 대수와 행렬 표현을 생성하는가?
• RQ3 a² = b² = 1 이며 ab = -ba 를 만족하는 두 개의 비가환 실수 연산자 쌍으로부터 마조라나 페르미온은 어떻게 유도되는가?
• RQ4 복소수를 명시적으로 포함하지 않고도 이터랜트 기반 실수 미분 연산자와 분할 허수를 사용해 디랙 방정식을 재구성할 수 있는가?
• RQ5 의미의 미적분과 재진입 표식은 반복적인 구분에서 페르미온 연산자 대수를 어떻게 생성하는가?

주요 결과

• 음수의 제곱근은 이터랜트로 나타나며, +1과 -1 사이의 시간적 진동으로서 기본적인 과정으로서의 기능을 하며, 수치가 아니라 과정으로서의 본질을 지닌다.
• ε와 η로 생성되는 분할 허수 대수(ε² = η² = 1, εη + ηε = 0)는 디랙 방정식의 실수 대수적 기초를 제공한다.
• 분할 허수 대수의 두 개의 서로 가환하는 복제본을 사용하여 실수 기반의 마조라나 디랙 방정식을 구성하였으며, 명시적인 복소수 없이 실수 미분 방정식을 도출하였다.
• β = iˆεˆηη 는 복소수 단위 i와 분할 허수 요소를 조합하여 디랙 대수를 만족시키며, 복소수의 존재가 실수 대수적 구조 간의 상호작용에서 유도됨을 보여준다.
• 수정된 디랙 연산자 D의 해는 D²ψ = 0을 만족하며, 이는 페르미온 통계와 일치하는 니플로턴트 구조를 확인한다.
• 전자와 양전자 φ = a + ib 및 φ† = a - ib를 포함한 전체 페르미온 연산자 대수는 클리퍼드 대수 틀 안에서 두 개의 마조라나 페르미온 쌍으로부터 기인한다.