[论文解读] Volumes of orthogonal groups and unitary groups

Lin Zhang|arXiv (Cornell University)|Sep 2, 2015

Random Matrices and Applications参考文献 24被引用 15

一句话总结

本文通過麥克唐納針對緊緻李群的公式，以系統化且基礎的方式推導正交群與酉群的體積，並應用於量子資訊理論。本文計算混合量子態的希爾伯特-施密特體積，以及酉群中度量球體的體積，提供已知結果的統一且教學導向的處理方式，並附上詳細證明。

ABSTRACT

The matrix integral has many applications in diverse fields. This review article begins by presenting detailed key background knowledge about matrix integral. Then the volumes of orthogonal groups and unitary groups are computed, respectively. As a unification, we present Mcdonald's volume formula for a compact Lie group. With this volume formula, one can easily derives the volumes of orthogonal groups and unitary groups. Applications are also presented as well. Specifically, The volume of the set of mixed quantum states is computed by using the volume of unitary group. The volume of a metric ball in unitary group is also computed as well. There are no new results in this article, but only detailed and elementary proofs of existing results. The purpose of the article is pedagogical, and to collect in one place many, if not all, of the quantum information applications of the volumes of orthogonal and unitary groups.

研究动机与目标

• 提供正交群與酉群體積的自包含且基礎的推導。
• 利用緊緻李群的麥克唐納體積公式統一現有的結果。
• 收集並以易於理解的方式呈現這些體積在量子資訊理論中的應用。
• 使用酉群體積計算混合量子態集合在希爾伯特-施密特度量下的體積。
• 使用相同框架推導酉群中度量球體的體積。

提出的方法

• 透過共軛空間分解 U(n+1)/U(n) ≅ S^{2n+1} 推導酉群 U(n+1) 的體積，進而導出遞迴體積公式。
• 利用高斯積分與球體體積計算，將球體 S^{2n-1} 的體積表示為伽馬函數的形式。
• 應用麥克唐納針對緊緻李群體積的通用公式，其以根系統資料表示。
• 使用塞爾伯格積分來計算酉群體積計算中出現的多變數積分。
• 利用矩陣分解與特徵值分佈，將高維積分化為可處理的形式。
• 透過兩種不同參數化方式一致地計算同一積分，進而導出塞爾伯格公式，以驗證結果。

实验结果

研究问题

• RQ1 酉群 U(n) 的體積如何以奇數維球體的體積表示？
• RQ2 如何應用麥克唐納針對緊緻李群的公式來計算正交群與酉群的體積？
• RQ3 在維度 n 下，混合量子態集合在希爾伯特-施密特度量下的體積為何？
• RQ4 如何使用群體積技術計算酉群中度量球體的體積？
• RQ5 塞爾伯格積分在推導酉群體積中扮演何種角色？

主要发现

• 酉群 U(n) 的體積由奇數維球體體積的乘積給出：vol(U(n)) = ∏_{k=1}^{n} vol(S^{2k-1})。
• 在希爾伯特-施密特度量下，混合量子態集合的體積由 U(n) 的體積推導而出，並以伽馬函數形式得出封閉表達式。
• 度量球體在酉群中的體積使用相同框架計算，其積分表達式透過群體積技術導出。
• 透過對多變數積分進行雙重計算，成功恢復塞爾伯格積分，確認方法的一致性。
• 正交群 O(n) 的體積以類似方式透過相同的遞迴共軛空間分解方法推導。
• 本文確立了具有單特徵值的矩陣構成全測度的開稠密子集，從而支持基於特徵值的體積計算方法。