2025-03-31 lecture 16
[[lecture-data]]
Final project scheduling random sequence generator: to be posted on Cavas later.
3. Graphon Signal Processing
Let
Where
and are the homomorphism density and graphon homomorphism density respectively is a graphon is a graphon signal
Then
see convergent sequence of graph signals
- The permutation sequence is independent of the node labels.
- If we define a cut distance for graphon signals, then we can define a convergent sequence of graph signals without using the permutations. This is done in Levie 2023.
- Since signals we work with are in
, it is not too bad to use this definition.
Let
A graphon shift operator is a Hilbert-Schmidt integral operator (continuous and compact) because graphons are bounded
And has Hilbert-Schmidt norm
Graphon Fourier Transform
Let
graphons are symmetric. So
see graphon shift operators are self-adjoint
Let
This basis, call it
For graphon signals,
see spectral theorem for self-adjoint compact operators on Hilbert spaces
Let
Eigenfunctions are a generalization of eigenvectors to infinite dimensions.
see eigenfunction
The function
Since the
We can write the graphon
(compare this to
see we can write a graphon in the basis of its shift operator
Eigenvalue range
For a graphon
- {2||
} and - {2||
},
(The reasoning is analogous to matrix norms are bounded below by the spectral radius)
And since {2||
- (this is a direct result of the second part of {3||the spectral theorem for self-adjoint compact operators on Hilbert spaces})
Thus we can order the eigenvalues as
Eigenvalue accumulation at
see graphon shift operator eigenvalues
Eigenvalue Convergence
Let
ie, the eigenvalues of the induced graphon converge to the eigenvalues of the limit.
Where
is the adjacency matrix of is the graphon induced by the graphon shift operator for
Thus
LHS is a constant for each
since for each
For convergence, this means that
where
is the -cycle graph is the graph homomorphism density is the graphon homomorphism density
(the full proof involves writing out the expressions for (1) and showing (2) by showing the elements in the sum converge pointwise. We do not show this for this class.)
see eigenvalues of the induced graphon converge pointwise to the eigenvalues of the limit
the graphon Fourier transform
Note that
ie we can represent the {1||graphon signal
The graphon fourier transform of a graphon signal
where
Since the
Let
we recover
see inverse graphon fourier transform
Does the graph fourier transform converge to the graphon fourier transform?
Why do we care? lecture 16 ipynb
Misclassification on noisy SBM, but graphon has no issues. So the induced graphon is helpful if it converges. Spectrum for graphon is much more useful - we can see the number of communities in the spectral content
-
think about the alignment with this??? This is basically the reasoning for the complexity seen in the last layer for classification? brice
-
smaller graph = bad (30 nodes) and noisy
-
50, 100, 300 nodes = good -> better
-
same for projection
signal and projection
- projection noisy for graph
intra- and inter- community probabilities fairly close for this example (close to information theoretic threshold)
Next time: more on this
Created 2025-03-31 Last Modified 2025-05-13