[논문 리뷰] The parafermion Fock space and explicit so(2n+1) representations

N. I. Stoilova, J. Van der Jeugt|Ghent University Academic Bibliography (Ghent University)|2007. 12. 10.

Algebraic structures and combinatorial models참고 문헌 25인용 수 10

한 줄 요약

이 논문은 최고 무게 $\left(\frac{p}{2},\ldots,\frac{p}{2}\right)$를 가진 $\mathfrak{so}(2n+1)$의 유한차원 단순 유니터리 표현 $W(p)$에 대해 명시적인 정규직교 기저를 구축하고, 파라페르미온 생성 및 소멸 연산자의 행렬 원소를 계산한다. $\mathfrak{u}(n)$ 부분대수와 겔판트-체츠린 패턴을 이용하여, $\mathfrak{u}(n)$ 클렙슈-고르단 계수와 재귀 관계를 통해 파라페르미온 생성자 작용의 닫힌 형태 표현을 유도함으로써, 파라페르미온 폴드 공간 이론에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

The defining relations (triple relations) of n pairs of parafermion operators f_j^\pm (j=1,...,n) are known to coincide with a set of defining relations for the Lie algebra so(2n+1) in terms of 2n generators. With the common Hermiticity conditions, this means that the ``parafermions of order p'' correspond to a finite-dimensional unitary irreducible representation W(p) of so(2n+1), with highest weight (p/2, p/2,..., p/2). Although the dimension and character of W(p) is known by classical formulas, there is no explicit basis of W(p) available in which the parafermion operators have a natural action. In this paper we construct an orthogonal basis for W(p), and we present the explicit actions of the parafermion generators on these basis vectors. We use group theoretical techniques, in which the u(n) subalgebra of so(2n+1) plays a crucial role: a set of Gelfand-Zetlin patterns of u(n) will be used to label the basis vectors of W(p), and also in the explicit action (matrix elements) certain u(n) Clebsch-Gordan coefficients are essential.

연구 동기 및 목표

• 파라페르미온 폴드 공간의 순서 $p$에 대해 $\mathfrak{so}(2n+1)$ 표현에서 명시적인 정규직교 기저를 구성하는 것.
• 그 기저에서 그 작용이 계산적으로 다룰 수 있는 상황에서 파라페르미온 생성 및 소멸 연산자 $f_j^\pm$의 명시적 행렬 원소를 제공하는 것.
• 유도 표현과 겔판트-체츠린 패턴을 통해 파라페르미온 폴드 공간과 $\mathfrak{so}(2n+1)$의 $\mathfrak{u}(n)$ 부분대수 사이의 연결 고리를 설정하는 것.
• 파라보손의 경우에 사용된 군론적 프레임워크를 파라페르미온의 경우로 확장하여 표현 $W(p)$를 완전히 기술할 수 있도록 하는 것.

제안 방법

• $\mathfrak{so}(2n+1) \supset \mathfrak{u}(n)$의 분해를 이용하여 $W(p)$의 구조를 분석하고, $\mathfrak{u}(n)$의 알려진 겔판트-체츠린 기저를 활용한다.
• $\mathfrak{u}(n)$를 포함하는 포물형 부분대수 $\mathfrak{p}$의 자명한 모듈 $\overline{W}(p)$를 최저 무게 $\left(-\frac{p}{2},\ldots,-\frac{p}{2}\right)$로 유도한다.
• 파라페르미온 생성자를 $\mathfrak{u}(n)$ 텐서 연산자로 표현하고, 랭크 $(1,0,\ldots,0)$을 가지며, 행렬 원소를 감소된 행렬 원소와 $\mathfrak{u}(n)$ 클렙슈-고르단 계수로 분해한다.
• 감소된 행렬 원소에 대한 재귀 관계를 해결하여 $f_j^\pm$의 행렬 원소에 대한 명시적 닫힌 형태 표현을 도출한다.
• 생성자 작용을 분석하여 유도 모듈 $\overline{W}(p)$의 최대 부분모듈 $M(p)$를 식별함으로써 기약 몫 $W(p)$를 분리한다.
• $\mathfrak{u}(n)$ 겔판트-체츠린 기저 벡터들의 유니온 중 각 성분이 $p$ 이하로 제한된 것을 $W(p)$의 기저로 사용한다.

실험 결과

연구 질문

• RQ1 최고 무게 $\left(\frac{p}{2},\ldots,\frac{p}{2}\right)$를 가진 $\mathfrak{so}(2n+1)$ 표현에서 파라페르미온 폴드 공간 $W(p)$에 대해 명시적인 정규직교 기저를 어떻게 구성할 수 있는가?
• RQ2 그 기저에서 그 작용이 계산적으로 접근 가능한 상황에서 파라페르미온 연산자 $f_j^\pm$의 명시적 행렬 원소 표현은 무엇인가?
• RQ3 파라페르미온 생성자는 $\mathfrak{so}(2n+1)$의 $\mathfrak{u}(n)$ 부분대수와 어떻게 관련되어 있으며, 이를 어떻게 활용하여 그 작용을 계산할 수 있는가?
• RQ4 유도 모듈 $\overline{W}(p)$에서 최대 부분모듈 $M(p)$의 구조를 어떻게 특정하여 기약 표현 $W(p)$를 분리할 수 있는가?
• RQ5 $\mathfrak{u}(n)$ 클렙슈-고르단 계수와 감소된 행렬 원소는 파라페르미온 연산자의 작용을 표현하는 데 어떤 역할을 하는가?

주요 결과

• $W(p)$에 대한 명시적인 정규직교 기저는 정수 성분이 $p$ 이하인 겔판트-체츠린 패턴을 사용하여 구성되며, 표현에 대해 완전한 정규직교 기저를 이룬다.
• 파라페르미온 연산자 $f_j^\pm$의 행렬 원소는 $\mathfrak{u}(n)$ 클렙슈-고르단 계수와 재귀 관계를 해결하여 얻은 감소된 행렬 원소를 사용하여 닫힌 형태로 유도된다.
• $n=2$의 경우, 기저 벡터에 대한 $f_1^+$와 $f_2^+$의 작용은 $\sqrt{(m_{12}-m_{11}+1)(p-m_{12})}$ 및 $\sqrt{(m_{11}-m_{22})(m_{22}+1)}$ 형태의 항들을 포함하는 선형 조합으로 명시적으로 주어진다.
• $f_j^-$의 작용은 $f_j^+$의 에르미트 수반을 통해 결정되며, 이는 파라페르미온 대수의 정의 관계와 일관성을 유지한다.
• 유도 모듈 $\overline{W}(p)$는 캐시-리틀우드 항등식을 통해 무한한 $\mathfrak{u}(n)$ 기약 모듈의 합으로 분해되며, 최대 부분모듈 $M(p)$를 식별하여 $W(p)$를 몫으로서 도출한다.
• 결과는 [17]에서 제시한 파라보손 폴드 공간 구성 방식을 파라페르미온의 경우로 일반화하여, 유한 순서 파라페르미온 시스템에 대한 완전한 군론적 프레임워크를 제공한다.