[논문 리뷰] Local generalization of Pauli's theorem

Н. Г. Марчук, Dmitry Shirokov|arXiv (Cornell University)|2012. 01. 24.

Algebraic and Geometric Analysis참고 문헌 8인용 수 3

한 줄 요약

이 논문은 유클리드 공간에서 스무스한 클리포드 대수 생성자 가족으로 파울리 정리를 확장하며, $ n $ 이 짝수일 경우 두 가족이 국소적으로 스무스한 유사변환으로 관련됨을 증명한다. $ n $ 이 홀수일 경우, 가능한 모든 연결 유형이 분류된다. 문제는 스핀 접속에서 유도된 편미분방정식계를 풀이하는 것으로 귀결되며, 저차원 사례($ n=2 $, $ r \geq 1 $ 및 $ n \geq 2 $, $ r=1 $)에 대해 명시적인 해가 제시된다.

ABSTRACT

Generalized Pauli's theorem, proved by D. S. Shirokov for two sets of anticommuting elements of a real or complexified Clifford algebra of dimension $2^n$, is extended to the case, when both sets of elements depend smoothly on points of Euclidian space of dimension $r$. We prove that in the case of even $n$ there exists a smooth function such that two sets of Clifford algebra elements are connected by a similarity transformation. All cases of connection between two sets are considered in the case of odd $n$. Using the equation for the spin connection of general form, it is shown that the problem of the local Pauli's theorem is equivalent to the problem of existence of a solution of some special system of partial differential equations. The special cases $n=2$, $r\geq 1$ and $n\geq 2$, $r=1$ with more simpler solution of the problem are considered in detail.

연구 동기 및 목표

• 유클리드 공간의 점들에 따라 스무스하게 변화하는 클리포드 대수 생성자에 대해 파울리 정리를 일반화하는 것.
• 스무스하게 변화하는 반대칭 클리포드 대수 원소의 두 집합이 스무스한 유사변환으로 연결될 수 있는 조건을 설정하는 것.
• 만일 $ n $ 이 홀수일 경우, 이러한 집합들 사이의 가능한 모든 연결 유형을 분류하는 것.
• 국소적 파울리 문제와 스핀 접속에서 유도된 편미분방정식계를 푸는 것이 동치임을 보이는 것.
• 특수 사례, 즉 $ n=2 $, $ r \geq 1 $ 및 $ n \geq 2 $, $ r=1 $에 대해 지수함수와 스핀어르개 유사변환을 사용하여 명시적인 해를 제공하는 것.

제안 방법

• 실수 또는 복소화된 클리포드 대수 $ \mathcal{C}\!\ell^{\mathbb{F}}(p,q) $ 의 값을 취하는 스무스 함수 $ g^a(x), h^a(x) $ 를 사용하여 문제를 기술하며, 반대칭 관계 $ g^a g^b + g^b g^a = 2\eta^{ab}e $ 를 만족시킨다.
• 스핀 접속을 $ C_\mu = \frac{1}{4}(\partial_\mu h^a) h_a $ 로 정의하며, 이는 $ T(x) = \exp(C(x))K $ 라는 변환을 생성한다. 여기서 $ K $ 는 가역적이다.
• 방정식 $ \partial_\mu S(x) = C_\mu(x) S(x) $ 를 사용하여 $ S(x) = \exp(C(x))K $ 라는 해를 유도하며, 이는 $ g^a(x) = T^{-1}(x) h^a(x) T(x) $ 를 보장한다.
• 만일 $ n $ 이 짝수일 경우, 임의의 점 $ x_0 $ 근방의 국소적으로 스무스한 가역적 $ T(x) $ 가 존재함을 증명한다. 이때 $ g^a(x) = T^{-1}(x) h^a(x) T(x) $ 이다.
• 만일 $ n $ 이 홀수일 경우, 두 집합 사이의 가능한 모든 연결 유형을 분류하며, 전역적으로 변환이 존재하지 않을 수 있음을 보인다.
• 특수 사례 분석: $ n=2 $, $ r \geq 1 $ 및 $ n \geq 2 $, $ r=1 $ 을 사용하여, 로테이션/부스트 행렬의 명시적 매개변수화를 하고 $ C_\mu $ 와 $ T(x) $ 를 계산한다.

실험 결과

연구 질문

• RQ1 유클리드 공간에서 스무스하게 변화하는 반대칭 클리포드 대수 생성자 두 집합이 스무스한 유사변환으로 연결될 수 있는 조건은 무엇인가?
• RQ2 국소적 파울리 문제는 스핀 접속을 포함하는 편미분방정식계를 푸는 것으로 어떻게 귀결되는가?
• RQ3 만일 $ n $ 이 홀수일 경우, 두 집합 사이의 가능한 모든 연결 유형은 무엇이며, 이를 완전히 분류할 수 있는가?
• RQ4 저차원 사례, 예를 들어 $ n=2 $, $ r \geq 1 $ 및 $ n \geq 2 $, $ r=1 $ 에 대해 명시적인 해를 구성할 수 있는가?
• RQ5 비아벨 스핀 접속(즉, $ [C_\mu, C_\nu] \neq 0 $)은 국소적 파울리 문제의 해법 가능성에 어떤 영향을 미치는가?

주요 결과

• 짝수 $ n $ 에 대해, 임의의 점 $ x_0 $ 근방에서 스무스한 가역적 변환 $ T(x) $ 가 존재하며, $ g^a(x) = T^{-1}(x) h^a(x) T(x) $ 를 만족한다. 이때 $ T(x) $ 는 $ C^k $ 클래스에 속한다.
• 변환 $ T(x) $ 는 비영인 스무스 스칼라 함수의 곱에 대해 유일하다 (실수에 대해서는 실수, 복소수에 대해서는 복소수).
• $ n=2 $ 의 경우, $ T(x) = \exp(C(x))K $ 를 사용하여 명시적인 해를 구성한다. 여기서 $ C_\mu = \frac{1}{2} \partial_\mu \varphi \cdot e^{12} $ 이며, $ \varphi(x) $ 는 스무스 함수이다.
• 특히 $ n=2 $, $ r=1 $ 의 경우, 모든 $ x \in V $ 에 대해 $ e^a = T^{-1}(x) h^a(x) T(x) $ 를 만족하는 해 $ T(x) $ 는 $ T(x) = \cos(\varphi(x)/2)e \pm \sin(\varphi(x)/2)e^{12} $ 로 주어진다.
• $ n=3 $, $ r=1 $ 의 경우, $ h^a $ 가 오일러 각도로 매개변수화되며, 스핀 접속 $ C_\mu $ 는 비아벨적($ [C_\mu, C_\nu] \neq 0 $)이며, 파oincaré 보조정리는 적용되지 않는다.
• 국소적 파울리 문제는 $ \partial_\mu S(x) = C_\mu(x) S(x) $ 를 푸는 것으로 동치이며, 해는 $ S(x) = \exp(C(x))K $ 이며, 모든 $ x \in V $ 에서 변환 $ T(x) $ 는 가역적이다.