系综平均意义下的Hellmann-Feynman 定理

Wang, Мин

为混合状态的概括 Virial 定理，源于概括 Hellmann Feynman 定理，仅仅适用于坐标的潜力从动量精力是分开的在 Hamiltonians 术语。在这篇论文，我们与并列动量的政变石楠为一些 Hamiltonians 为混合状态讨论 Virial 定理以便知道他们的贡献到内部精力。

本宏 郭, 九卿 梁, G. Morandi

guobin ouyang

本篇给出三件互相关联的事:自旋的表示、交换的符号、以及"哪些量能同时读准"。 $$ \boxed{\;\begin{aligned} &\textbf{自旋}:\ [J_i,J_j]=i\varepsilon_{ijk}J_k\ \Longrightarrow\ \text{谱}\ j(j+1),\ \dim=2j+1;\\ &\textbf{两点分解}:\ \mathbb C^2\otimes\mathbb C^2=\operatorname{Sym}^2\oplus\Lambda^2=3\oplus1;\\ &\textbf{不确定性}:\ \Delta A\,\Delta B\ge\tfrac12\bigl|\langle[A,B]\rangle\bigr|;\\ &\textbf{双覆盖}:\ e^{2\pi iJ_3}=(-1)^{2j}\mathbf 1;\qquad \textbf{正则对易}:\ [X,P]=i\mathbf 1\ \text{在有限维无解}. \end{aligned}\;} \tag{0.1} $$ **八条正面结果**: 1. **表示定理(定理 1.2)**:$\mathfrak{su}(2)$ 的不可约表示由 $j\in\frac12\mathbb Z_{\ge0}$ 标号,维数 $2j+1$。 2. **两点分解(定理 3.3)**:两自旋-$\frac12$ 的空间分解为三重态(对称,$j=1$)与单态(反对称,$j=0$)——**自旋越大越对称**,这是自旋-统计关联的有限维版本。 3. **交换与转动(命题 3.5/3.6)**:交换 $=$ 相对坐标上逐点的 $\pi$ 转动,两次 $=$ $2\pi$,在自旋上给 $(-1)^{2s}$;Pauli(定理 3.9)与自旋-统计的有限维形式(定理 3.10)由此得出。 4. **双覆盖(定理 1.4)**:转 $2\pi$ 给出 $(-1)^{2j}$,故整数/半整数二分是 $J_3$ 谱的推论。 5. **矩阵因子由逆序逼出(命题 1.5)**:循环移位 + 取反给出**交换**群 $\mathbb Z_L\times\mathbb Z_2$,其群代数全是 $\mathbb C$,**不含** $M_2(\mathbb C)$;加入取向反转($D_L$)才有 $M_2$。故"载体"与"旋量"是两个对象。 6. **Schrödinger–Robertson(定理 2.3)**:不确定性除对易子外还有协方差项。 7. **正则对易无解(定理 2.4)**:有限维上 $[X,P]=i\mathbf 1$ 无解,一行迹论证。 8. **同时可读判据(定理 4.2)**:两个可观测量可同时精确读出,当且仅当它们交换。 **一处记账**:「粒子全同」意味着可观测量的交换在物理态上平凡,这是**结构选择(I)**;由它推出的对称/反对称二择一是定理。 ---

guobin ouyang

本篇给出"场"的代数定义,并证明两个定量事实: $$ \boxed{\;\begin{aligned} &\textbf{纤维}:\ \mathcal H=\bigotimes_{x\in\Gamma}\mathcal H_x,\qquad \dim\mathcal H=\prod_x\dim\mathcal H_x;\\ &\textbf{局域代数}:\ \bigotimes_xM_{d_x}\cong M_{\prod_xd_x}\quad(\text{维数}\ \textstyle\prod_xd_x^2);\\ &\textbf{局域性}:\ [\mathcal A_x,\mathcal A_y]=0\ (x\ne y). \end{aligned}\;} \tag{0.1} $$ **三条正面结果**: 1. **维数公式(定理 1.2)**:全空间维数是各点维数之积。 2. **局域代数生成全代数(定理 2.2)**:张量积的局域代数同构于全矩阵代数——"局域算子够用"这句话因此是定理而非口号。 3. **局域交换(定理 3.1)**:不同点的算子交换,故不同点的读数互不干扰(与 Zb023 定理 1.2 一致)。 **一处记账**:"每点一个纤维、全局取张量积"是**结构选择(I)**;给定它,三条结论都是定理。 ---