Circulant Matrices and the Shift Operator
Signals on a ring, the shift operator S as a matrix, circulant matrices as polynomials in S, and the algebraic characterization of circular convolution. Running example: Z₈ with kernel h = [3,1,0,0,0,0,0,2].
Discovering the DFT
Shift invariance as commutativity, the simultaneous diagonalization theorem, constructive derivation of the eigenvectors of S*, and the DFT as a consequence of the algebra. Includes interactive eigenvisual app.
The Big Picture for ZN
The DFT matrix and spectral filtering recipe, three isomorphic algebras (Bamieh Theorem 5.1), why everything worked (three pillars), and a preview of what will break on graphs.
From the Ring to General Graphs
Symmetrizing the shift (A = S + S*), eigenvalue collapse and degenerate eigenspaces, the adjacency and Laplacian of a general graph, and the three characterizations revisited — which survive?
Graph Convolutions — The Two Surviving Characterizations
The graph Fourier transform, spectral graph convolutions, polynomial graph convolutions, connecting spectral and polynomial views, and why the group-theoretic characterization is genuinely lost.
From Spectral Theory to Neural Networks
The computational bottleneck of spectral filtering, ChebNet and Chebyshev polynomial filters, the GCN degree-1 simplification, message passing as a consequence of spectral theory, and oversmoothing.
The Chain of Analogies
The complete ZN ↔ graph analogy table, what we discovered, modern GNN variants in spectral context, pointers to higher-order structures (Hodge Laplacian, TDL course), and further reading.