On character table of Clifford groups

研究問題：如何分解龐大的張量表示

Clifford群是量子資訊的重要有限對稱群。本文研究去掉全域相位後的n量子位元Clifford群C_n，以生成關係及GAP計算C₁、C₂、C₃的完整特徵標表，再分解矩陣共軛表示的高次張量冪。對d=2^n，矩陣空間M_d=End(C^d)維度為4^n，m份張量積更達4^(nm)維。特徵標方法不直接尋找巨大矩陣的不變子空間，而以每個共軛類的一個數值描述分解重數。

群的定義與生成關係

Pauli算子I、X、Y、Z的n份張量積，去掉純量相位後構成P_n同構F₂^(2n)，階為4^n。Clifford群由保留Pauli算子共軛結構的酉算子構成，亦去掉全域相位。它由局部Hadamard、phase閘與相鄰controlled-Z閘生成；不能只取局部閘的純張量，否則會漏掉糾纏操作。作者採用由Selinger結果改寫的生成關係，先轉為置換群，再用GAP計算。三量子位元的群階已達92,897,280。

從特徵標表讀出不可約重數

特徵標χ_V(g)=Trρ_V(g)只依共軛類而定。有限群複表示完全可約，其不可約重數為a_i=(1/|G|)Σ_j |K_j|χ_V(g_j)conj(χ_i(g_j))，其中K_j為共軛類，權重不能省略。本文矩陣表示是A↦UAU†，特徵標等於|TrU|²，純量相位因此抵消。張量冪的特徵標只需逐類取m次方，再套加權內積。這得到重數與同構型，但不自動給出原空間中各不變子空間的明確基底。

一量子位元例子可完整手算

C₁同構S₄，有五個共軛類，依e、H、P²、HP、P排列，大小為1、6、3、8、6，矩陣特徵標為(4,0,0,1,2)。M₂分成恆等矩陣張成的1維部分與無跡矩陣的3維不可約部分。二份張量積的不可約重數依論文順序是(2,1,1,3,0)，配合不可約維度(1,3,2,3,1)，總維度為16。平凡重數另有閉式a_m=(4^m+8+6·2^m)/24，m≥1。

二與三量子位元的表格成果

C₂有21個共軛類與21個不可約特徵標，M₄分成1維與15維；C₃有67個共軛類與67個不可約特徵標，M₈分成1維與63維。固定n且已知表格後，即使張量次數提高，也只需處理21或67個類值。這不代表原表示空間變小，而是分解問題有較短的資料表示。計算仍受大整數位數與原始表格取得成本影響，不能宣稱任意n、任意m皆無成本。

獨立核對與unitary design的連結

本導讀從附錄擷取C₃完整4489個整數，驗證行、列正交性及不可約維度平方和92,897,280，並重算M₈的一至六次張量冪；平凡重數為1、2、6、30、269、4403，皆通過非負整數及總維度64^m檢查。前三階符合Haar矩，第四階30不同於24，連結到Clifford為3-design卻非4-design的既有結果。此核對驗證表格內部一致性，並非獨立重做GAP群構造。

一般n≥3的完美性

C₁與C₂皆有平凡與sign兩個一維角色，但從n=3開始只剩平凡角色，因此C_n等於導出子群，是完美群。證明可直接使用生成關係：將一維角色限制到各局部C₁，只能是平凡或sign；生成元間的共軛性迫使各位置一致，而涉及三量子位元的關係排除負號選擇。完美並不等於單群，因為P_n仍是非平凡正規子群。

正規子群與忠實表示

對n≥3，P_n是C_n唯一的非平凡真正規子群。關鍵是C_n/P_n同構單群Sp(2n,2)，以及共軛作用傳遞於非單位Pauli元素。考察候選正規子群與P_n的交集及其商像，可能的正規補群會使整群成為直積，進而迫使Pauli共軛作用平凡，造成矛盾。因此任何對P_n非平凡的表示皆忠實。矩陣共軛表示對所有n皆忠實；一般忠實表示定理保證每個不可約表示終會出現於某個張量冪。

小參數例外與不能延伸的猜想

n=2時Sp(4,2)同構S₆，並非單群；C₂另有階5760的導出子群，因此一般n≥3的敘述不能向下照搬。特徵標表在n=1、2、3雖全為整數，但n=4已有從Sp(8,2)拉回的非整數角色值，且反例延續到更大n。文章明確修正早期整數值猜想。本導讀也區分平凡重數與commutant維度：後者是全部不可約重數平方和，兩者不能混用。

研究意義與後續方向

本文把量子閘、有限群計算與表示論接成可操作工具，也由殺掉Pauli生成元的關係得到Sp(2n,2)的生成表示。後續可比較Clifford子群的高次矩，將特徵標重數轉為明確投影或不變子空間，並探索類似Young圖表的組合表示理論。來源：Chin-Yen Lee、Wei-Hsuan Yu、Yung-Ning Peng、Ching-Jui Lai，On character table of Clifford groups，arXiv:2309.14850v2 (2023)；Journal of Mathematical Physics 66(2) (2025)。