[论文解读] The parafermion Fock space and explicit so(2n+1) representations

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

Algebraic structures and combinatorial models参考文献 25被引用 10

一句话总结

本文为 $\mathfrak{so}(2n+1)$ 的有限维单位酉不可约表示 $W(p)$（最高权为 $(\frac{p}{2},\ldots,\frac{p}{2})$）构造了显式的正交基，并计算了 parafermion 创生与湮灭算符的矩阵元。通过利用 $\mathfrak{u}(n)$ 子代数与 Gelfand-Zetlin 图式，本文利用 $\mathfrak{u}(n)$ Clebsch-Gordan 系数与递推关系，推导出 parafermion 生成元作用的闭式表达式，从而解决了 parafermion Fock 空间理论中长期存在的问题。

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.

研究动机与目标

• 解决在 $\mathfrak{so}(2n+1}$ 表示中构造 parafermion Fock 空间（阶数为 $p$）显式标准正交基的长期难题。
• 在作用可计算的基中，提供 parafermion 创生与湮灭算符 $f_j^\pm$ 的显式矩阵元。
• 通过诱导表示与 Gelfand-Zetlin 图式，建立 parafermion Fock 空间与 $\mathfrak{so}(2n+1)$ 的 $\mathfrak{u}(n)$ 子代数之间的联系。
• 将用于 parafermion 的群论框架扩展至 parabosons 的情形，从而完整描述表示 $W(p)$。

提出的方法

• 利用分支关系 $\mathfrak{so}(2n+1) \supset \mathfrak{u}(n)$ 分析 $W(p)$ 的结构，借助已知的 $\mathfrak{u}(n)$ Gelfand-Zetlin 基。
• 从包含 $\mathfrak{u}(n)$ 的抛物子代数 $\mathfrak{p}$ 的平凡模（最低权为 $(-\frac{p}{2},\ldots,-\frac{p}{2})$）构造诱导模 $\overline{W}(p)$。
• 将 parafermion 生成元表示为 $\mathfrak{u}(n)$ 张量算符（秩为 $(1,0,\ldots,0)$），将矩阵元分解为约化矩阵元与 $\mathfrak{u}(n)$ Clebsch-Gordan 系数。
• 通过求解约化矩阵元的递推关系，获得 $f_j^\pm$ 矩阵元的显式闭式表达式。
• 通过分析生成元的作用，识别出 $\overline{W}(p)$ 的最大子模 $M(p)$，从而分离出不可约商模 $W(p)$。
• 将所有 $\mathfrak{u}(n)$ Gelfand-Zetlin 基向量（其分量有界于 $p$）的并集作为 $W(p)$ 的基。

实验结果

研究问题

• RQ1 如何为最高权为 $(\frac{p}{2},\ldots,\frac{p}{2})$ 的 $\mathfrak{so}(2n+1)$ 表示中的 parafermion Fock 空间 $W(p)$ 构造显式标准正交基？
• RQ2 parafermion 算符 $f_j^\pm$ 在作用可计算的基中的显式矩阵元表示为何？
• RQ3 parafermion 生成元如何与 $\mathfrak{so}(2n+1)$ 的 $\mathfrak{u}(n)$ 子代数相关联？该关系如何被用于计算其作用？
• RQ4 是否可以确定诱导模 $\overline{W}(p)$ 中最大子模 $M(p)$ 的结构，以分离出不可约表示 $W(p)$？
• RQ5 $\mathfrak{u}(n)$ Clebsch-Gordan 系数与约化矩阵元在表达 parafermion 算符作用时起到何种作用？

主要发现

• 使用分量有界于 $p$ 的 Gelfand-Zetlin 图式构造了 $W(p)$ 的显式正交基，形成该表示的完备标准正交基。
• 通过 $\mathfrak{u}(n)$ Clebsch-Gordan 系数与求解递推关系得到的约化矩阵元，推导出 parafermion 算符 $f_j^\pm$ 矩阵元的闭式表达式。
• 当 $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^+$ 的厄米共轭确定，确保与 parafermion 代数的定义关系一致。
• 诱导模 $\overline{W}(p)$ 通过 Cauchy-Littlewood 恒等式分解为 $\mathfrak{u}(n)$ 不可约模的无限和，且最大子模 $M(p)$ 被识别，从而得到 $W(p)$ 作为商模。
• 结果将文献 [17] 中 parafermion Fock 空间构造的 paraboson 框架推广至 parafermion 情形，为有限阶 parafermion 系统提供了完整的群论框架。