“…Consider a graph space defined on compact node and edge attribute sets X, E, and let K(G) represent the number of nodes of G = POOL(G), where K(G) ≤ K for all G and for some finite K ∈ N. By representing the output of the selection function as a matrix S ∈ R N ×K , we can then interpret SEL as permutation-equivariant node embedding operation x i → S i,: , from the space of node attributes to the space of supernodes assignments R K where we assumed, without loss of generality, that S i,k = 0 for all k > K(G) (this is necessary to ensure that any number of nodes K(G) can be computed by Table 1: Pooling methods in the SRC framework. GNN indicates a stack of one or more messagepassing layers, MLP is a multi-layer perceptron, L is the normalized graph Laplacian, β is a regularization vector (see [42]), D is the degree matrix, u max is the eigenvector of the Laplacian associated with the largest eigenvalue, i is a vector of indices, A i,i selects the rows and columns of A according to i.…”