| ================================================================================ |
| TopoHyper: Integrated Topological-Hypergraph Neural Networks |
| Complete Research Report |
| ================================================================================ |
|
|
| # 1. THEORETICAL FRAMEWORK |
|
|
| ## 1.1 Topological Neural Networks (TNNs) |
|
|
| **Core Principle:** TNNs operate on simplicial/cell complexes using algebraic topology. |
| The fundamental object is the boundary operator B_k: C_k → C_{k-1}, mapping k-cells |
| to their (k-1)-dimensional boundaries. The Hodge Laplacian L_k = B_k^T B_k + B_{k+1} B_{k+1}^T |
| decomposes signals on k-cells into gradient (exact), curl (co-exact), and harmonic components. |
|
|
| **Advantages:** |
| - Captures topological invariants (Betti numbers β_k = dim ker L_k) |
| - Multi-scale representation through the Hodge decomposition |
| - Principled handling of orientation and boundary relationships |
| - Spectral properties directly encode structural information |
|
|
| **Limitations:** |
| - Closure property (all faces must exist) → rigid structure |
| - Triangle/clique detection has O(n^{3/2}) complexity |
| - Cannot represent non-clique group relationships |
| - Orientation handling adds complexity |
|
|
| ## 1.2 Hypergraph Neural Networks (HGNNs) |
|
|
| **Core Principle:** HGNNs operate on hypergraphs H=(V,E,W) where hyperedges can connect |
| arbitrary subsets of vertices. The spectral convolution uses: |
| X^{(l+1)} = σ(D_v^{-1/2} H W D_e^{-1} H^T D_v^{-1/2} X^{(l)} Θ^{(l)}) |
|
|
| **Advantages:** |
| - Models arbitrary higher-order relationships |
| - No closure requirement → flexible structure |
| - Natural for group interactions |
| - Efficient two-step V→E→V message passing |
|
|
| **Limitations:** |
| - No boundary/orientation information |
| - Spectral theory less rich than Hodge theory |
| - All nodes in a hyperedge treated symmetrically |
| - May not capture topological holes/cavities |
|
|
| ## 1.3 Compatibility Challenges and Resolution |
|
|
| **Challenge 1 - Representation Space:** |
| TNN uses signed boundary operators; HGNN uses unsigned incidence matrices. |
| **Resolution:** Use |B_k| (absolute boundary) for message passing, aligning both |
| in the same non-negative spectral space. |
|
|
| **Challenge 2 - Computational Paradigm:** |
| TNN uses Hodge Laplacian filtering; HGNN uses hypergraph Laplacian filtering. |
| **Resolution:** Three-phase architecture with parallel branches and learned fusion. |
|
|
| **Challenge 3 - Optimization Objectives:** |
| TNN preserves topological invariants; HGNN optimizes hyperedge smoothness. |
| **Resolution:** Single end-to-end loss with attention-gated fusion. |
|
|
| **Key Insight:** |B_1| is an incidence matrix for the simplicial complex viewed as a |
| hypergraph. This duality enables principled integration. |
|
|