[论文解读] Fermionic Wave Functions on Unordered Configurations

Sheldon Goldstein, James O. Taylor+2 more|arXiv (Cornell University)|Mar 14, 2014

Quantum Mechanics and Applications参考文献 13被引用 7

一句话总结

本文為Leinaas與Myrheim提出的觀點提供了嚴謹的數學依據：將N-費米子波函數描述為無序配置空間上希爾伯特向量叢（稱為費米子線叢）的截面，而非有序配置上的反對稱函數。主要結果為：由這些截面定義的量子理論在數學上等價於標準的反對稱波函數形式，兩者均產生等價的量子三元組（希爾伯特空間、哈密頓算符、位置觀測量）。

ABSTRACT

Quantum mechanical wave functions of N identical fermions are usually represented as anti-symmetric functions of ordered configurations. Leinaas and Myrheim proposed how a fermionic wave function can be represented as a function of unordered configurations, which is desirable as the ordering is artificial and unphysical. In this approach, the wave function is a cross-section of a particular Hermitian vector bundle over the configuration space, which we call the fermionic line bundle. Here, we provide a justification for Leinaas and Myrheim's proposal, that is, a justification for regarding cross-sections of the fermionic line bundle as equivalent to anti-symmetric functions of ordered configurations. In fact, we propose a general notion of equivalence of two quantum theories on the same configuration space; it is based on specifying a quantum theory as a triple $(\mathscr{H},H,Q)$ (``quantum triple'') consisting of a Hilbert space $\mathscr{H}$, a Hamiltonian $H$, and a family of position operators (technically, a projection-valued measure on configuration space acting on $\mathscr{H}$).

研究动机与目标

• 提供數學上嚴謹的依據，將費米子波函數表示為無序配置空間上費米子線叢的截面。
• 透過消除對有序配置的依賴，解決相同費米子波函數中人為排序的基礎性問題。
• 建立基於量子三元組（希爾伯特空間、哈密頓算符、位置觀測量）的量子理論等價性一般準則。
• 證明費米子線叢定義的量子三元組與標準反對稱波函數形式在有序配置上的量子三元組單位等價。
• 透過無序配置空間上的希爾伯特向量叢，將框架推廣至包含自旋與其他統計性質的系統。

提出的方法

• 定義量子三元組為(H, H, Q)，其中H為希爾伯特空間，H為自伴哈密頓算符，Q為表示配置空間上位置觀測量的投影值測度(PVM)。
• 透過保持哈密頓算符與位置觀測量的酉同構定義量子三元組的等價性，確保物理上無法區分的理論。
• 在無序配置空間$^{N}\mathbb{R}^{d}$上構造費米子線叢F(N,d)作為具旋轉結構的希爾伯特向量叢，其旋轉透過置換群的符號表示編碼費米統計性質。
• 利用無序配置空間$\mathcal{Q} = {}^{N}\mathbb{R}^{d}$的萬有覆疊空間$\widehat{\mathcal{Q}}$，透過基本群$\pi_1(\mathcal{Q}, q)$作用於平凡叢的商構造方式建立叢。
• 證明費米子線叢上連接的旋轉對應於置換群$S_N$的符號表示，從而編碼反對稱性。
• 證明費米子線叢的截面與$(\mathbb{R}^d)^N$上反對稱函數之間存在一一對應關係，僅差一個全域相位因子，且此對應關係為典型同構。

实验结果

研究问题

• RQ1 費米子波函數能否在不依賴有序配置的情況下，於無序配置空間上一致定義？
• RQ2 何種數學結構可編碼費米統計性質，且獨立於粒子標籤？
• RQ3 當兩種量子理論在不同希爾伯特空間上表述時，如何視為物理等價？
• RQ4 費米子線叢定義的量子三元組是否與標準反對稱波函數形式單位等價？
• RQ5 無序配置空間上希爾伯特向量叢的旋轉能否再現相同粒子的統計性質？

主要发现

• 費米子線叢在$^{N}\mathbb{R}^{d}$上提供了數學上一致且物理上等價的N-費米子量子力學描述，與$(\mathbb{R}^d)^N$上反對稱波函數的描述等價。
• 費米子線叢的截面與有序配置上反對稱函數之間存在典型的一一對應關係，僅差一個全域相位因子。
• 費米子線叢定義的量子三元組與標準反對稱$L^2$函數在$(\mathbb{R}^d)^N$上定義的量子三元組單位等價。
• 費米子線叢上連接的旋轉對應於置換群$S_N$的符號表示，從而編碼費米統計性質。
• 透過選擇適當的旋轉表示，該構造可推廣至其他統計性質（如任意任何子）與含自旋系統。
• 量子理論的等價性完全由其量子三元組的單位等價性所表徵，從而提供一個比較同一物理理論不同數學表述的一般框架。