论文一·思想：矩阵值 Fourier 谱与采样盲区

• 主信息：σ 块 = σ(g)Π_H^σ——信息都在，但封装在矩阵里；弱采样只读秩 → 共轭盲区
• 命题框：F_G|x⟩=Σ_σ √(d_σ/|G|) Σ_{i,j} σ(x)_{ij}|σ,i,j⟩；Π_H^σ=(1/|H|)Σ_{h∈H}σ(h)，满足 (Π)²=Π、Π†=Π、tr Π=rank Π（Hermitian 投影）
• 推导步骤：

1. 谱展开：F_G|gH⟩=Σ_σ √(d_σ|H|/|G|) Σ_{i,j}(σ(g)Π_H^σ)_{ij}|σ,i,j⟩——用 σ(gh)=σ(g)σ(h) 提出 σ(g)，再代 Σ_{h}σ(h)=|H|·Π_H^σ

2. 弱采样概率：p(σ)=(d_σ|H|/|G|)Σ_{i,j}|(σ(g)Π_H^σ)_{ij}|² =(d_σ|H|/|G|)·tr(Π†σ(g)†σ(g)Π) =(d_σ|H|/|G|)·rank Π_H^σ

3. 一行证明思路：Frobenius 恒等式 Σ_{ij}|A_{ij}|²=tr(A†A) 加酉性 σ(g)†σ(g)=I，把随机陪集代表元 g 整个吸收——分布与 g 无关

• 演算（S₃，H={e,(12)}，|H|/|G|=1/3）：

1. 维数平方和：1²+1²+2²=6=|G| ✓

2. 三个投影（|H|=2 → Π=½(I+σ((12)))）：triv：½(1+1)=1，rank 1；sgn：½(1−1)=0，rank 0；std：½(I+diag(1,−1))=diag(1,0)，rank 1

3. 代入公式：p(triv)=⅓×1=1/3；p(sgn)=⅓×0=0；p(std)=⅔×1=2/3；总和 1/3+0+2/3=1 ✓

4. 共轭盲区：换 H′={e,(23)}——三个对换互为共轭、特征标在共轭类上取常值 → 三个秩不变 → 分布一字不差；区分三个子群的信息只在 Π^std 的投影方向（三条不同反射轴）

• 结果框：弱采样只看维数、丢方向；强采样读方向但依赖表示基；H 正规时 Schur 引理迫使 Π_H^σ 与所有 σ(g) 对易且 ∈{0,I}，退回 annihilator 结构可高效求解（Hallgren–Russell–Ta-Shma）