Abstract:Immersion minor is an important variant of graph minor, defined through an injective mapping from vertices in a smaller graph $H$ to vertices in a larger graph $G$ where adjacent elements of the former are connected in the latter by edge-disjoint paths. Here, we consider the immersion problem in the emerging field of hypergraphs. We first define hypergraph immersion by extending the injective mapping to hypergraphs. We then prove that finding a hypergraph immersion is fixed-parameter tractable, namely, there exists an $O(N^6)$ polynomial-time algorithm to determine whether a fixed hypergraph $H$ can be immersed in a hypergraph $G$ with $N$ vertices. Additionally, we present the dual hypergraph immersion problem and provide further characteristics of the algorithmic complexity.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **whether finding an immersion minor in a hypergraph is fixed - parameter tractable (FPT) or not**.
Specifically, the authors extended the immersion minor problem in ordinary graphs to the field of hypergraphs and proposed the following key points:
1. **Define hypergraph immersion**:
- By generalizing the immersion definition in ordinary graphs to hypergraphs, two operations, "coalescence" and "dewetting", are introduced to equivalently define the immersion of hypergraphs.
- Immersion requires that there is an injective mapping from a smaller hypergraph \( H \) to a larger hypergraph \( G \), such that adjacent elements in \( H \) are connected by edge - disjoint paths in \( G \).
2. **Prove that the hypergraph immersion problem is fixed - parameter tractable**:
- A polynomial algorithm with a time complexity of \( O(N^6) \) is proposed to determine whether a fixed hypergraph \( H \) can be immersed in another hypergraph \( G \) with \( N \) vertices.
- This means that the time complexity of the algorithm is independent of the size of \( H \) and only depends on the size of \( G \), making this problem a fixed - parameter tractable problem.
3. **Dual hypergraph immersion problem**:
- The concept of dual hypergraph immersion is introduced, that is, considering the immersion relationship between hypergraph transposes, and further exploring the algorithm complexity.
### Formula representation
- Hypergraphs \( G \) and \( H \) contain vertex sets \( V(G) \) and \( V(H) \) and hyper - edge sets \( E(G) \) and \( E(H) \) respectively.
- The immersion mapping \( \alpha \) satisfies the following conditions:
1. For all \( v\in V(H) \), \( \alpha(v)\in V(G) \), and \( \alpha(u)\neq\alpha(v) \) for different \( u, v\in V(H) \).
2. For each hyper - edge \( e\in E(H) \), if \( e \) has different endpoints \( v_1, v_2,\ldots \), then \( \alpha(e) \) is a connected subgraph in \( G \) containing \( \alpha(v_1),\alpha(v_2),\ldots \).
3. For all different \( e_1, e_2\in E(H) \), \( E(\alpha(e_1)\cap\alpha(e_2))=\emptyset \).
Through these definitions and proofs, the authors show that the hypergraph immersion problem is fixed - parameter tractable and provide theoretical support, which is of great significance for future graph embedding algorithms and other related applications (such as quantum communication).