Higher Order Bipartiteness vs Bi-Partitioning in Simplicial Complexes

Marzieh Eidi,Sayan Mukherjee

2024-09-01

Abstract:Bipartite graphs are a fundamental concept in graph theory and have significant applications in data analysis and modeling complex processes. A graph is bipartite if its vertices can be divided into two sets, with no connections within each set. Detecting bipartite graphs can be done by examining their cycles; a graph is bipartite if and only if there are no odd cycles present. This characteristic is essential in various problem domains, such as clustering and matching. Bipartite graphs can be identified through the spectrum of the Laplacian, a graph is bipartite if and only if the maximum eigenvalue of the normalized Laplacian equals two. However, graphs are limited to representing pairwise interactions, to model higher-order connections in complex systems, hypergraphs and simplicial complexes are required. This raises the question of what is bipartiteness for simplicial complexes of higher dimensions - whether obtaining the maximum eigenvalue of the normalized Laplacian is equivalent to partitioning the simplexes into two, similar to the graph case. We address this problem by fully characterizing those complexes for which the maximum eigenvalue of the Laplacian is obtained, known as disorientable simplicial complexes, based on the parity of the length of cycles in their down dual graph. We show that a N-dimensional simplicial complex is disorientable if and only if its down dual graph has no simple odd cycle of distinct edges and no twisted even cycle of distinct edges. We note that having no odd cycle is the key to answering the bi-partitioning problem of the simplexes.

Combinatorics