Structural Node Embeddings with Homomorphism Counts
https://arxiv.org/abs/2308.15283

* graph homomorphism counts of interest in graph-based machine learning
* capture local structural information, enabling creation of robust structural embeddings
* enriched w. node labels, node weights, & edge weights, offers interpretable representation of graph data
* allows enhanced explainability of ML models

#GraphTheory #GNN #homomorphism #NeuralNetworks #GraphColoring #GraphEmbeddings #EplainableML

Structural Node Embeddings with Homomorphism Counts

Graph homomorphism counts, first explored by Lovász in 1967, have recently garnered interest as a powerful tool in graph-based machine learning. Grohe (PODS 2020) proposed the theoretical foundations for using homomorphism counts in machine learning on graph level as well as node level tasks. By their very nature, these capture local structural information, which enables the creation of robust structural embeddings. While a first approach for graph level tasks has been made by Nguyen and Maehara (ICML 2020), we experimentally show the effectiveness of homomorphism count based node embeddings. Enriched with node labels, node weights, and edge weights, these offer an interpretable representation of graph data, allowing for enhanced explainability of machine learning models. We propose a theoretical framework for isomorphism-invariant homomorphism count based embeddings which lend themselves to a wide variety of downstream tasks. Our approach capitalises on the efficient computability of graph homomorphism counts for bounded treewidth graph classes, rendering it a practical solution for real-world applications. We demonstrate their expressivity through experiments on benchmark datasets. Although our results do not match the accuracy of state-of-the-art neural architectures, they are comparable to other advanced graph learning models. Remarkably, our approach demarcates itself by ensuring explainability for each individual feature. By integrating interpretable machine learning algorithms like SVMs or Random Forests, we establish a seamless, end-to-end explainable pipeline. Our study contributes to the advancement of graph-based techniques that offer both performance and interpretability.

arXiv.org
Even if you pick the right monoid #homomorphism and have proven that it works* , as you optimize to #refactor , you are assuming associativity
* If I were you, I am not , I d write my own proof checker than, using some library
G :profinite group acting on a module A w a surjective #homomorphism π G-module A -> G, G acts trivially on kernel C of π, 1st #cohomology group H1(G,A) is trivial. Then exact sequence of group cohomology shows that there is an isomorphism between AG/π(AG) and Hom(G,C).
- There is a #homomorphism from the plactic ring on an alphabet to the ring of polynomials
any conformal vector in a vertex algebra induces a distinguished vertex algebra #homomorphism from some Virasoro vertex operator algebra.
H :#topological group
G: covering space of H
If G and H are locally/ path-connected, then for any choice of element e* in fiber over e ∈ H, there is a unique topological group structure on G, with e* as identity, for which the covering map p : G → H is a #homomorphism.
H :#topological group
G: covering space of H
If G and H are locally/ path-connected, then for any choice of element e* in fiber over e ∈ H, there is a unique topological group structure on G, with e* as identity, for which the covering map p : G → H is a #homomorphism.
even though su(2) and so(3) are isomorphic as Lie algebras, SU(2) and SO(3) are not isomorphic as Lie groups. SU(2) is actually a double cover of SO(3), meaning that there is a two-to-one group #homomorphism from SU(2) to SO(3)
even though su(2) and so(3) are isomorphic as Lie algebras, SU(2) and SO(3) are not isomorphic as Lie groups. SU(2) is actually a double cover of SO(3), meaning that there is a two-to-one group #homomorphism from SU(2) to SO(3)