Name | Fourier Intertwiners of C5
Object | Cycle shift $S$ on $\mathbb C^5$
Type | Abelian Schur identity
Identity | Matrices diagonal in the Fourier basis of $C_5$ commute with $S$
Evidence | E0 + E1
Boundary | Finite cyclic group. Distinct from Civic 110.
Parents: PF-FPV20-GOLD-C01, PF-FPV20-GAUGE-C01.
Witness: PF-FPV20C-REP-016 · residual $1.55\times 10^{-15}$.