Saved in:
Bibliographic Details
Main Authors: Eidi, Marzieh, Mukherjee, Sayan
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2409.00682
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866909420302106624
author Eidi, Marzieh
Mukherjee, Sayan
author_facet Eidi, Marzieh
Mukherjee, Sayan
contents Bipartite graphs are a fundamental concept in graph theory with diverse applications. A graph is bipartite iff it contains no odd cycles, a characteristic that has many implications in diverse fields ranging from matching problems to the construction of complex networks. Another key identifying feature is their Laplacian spectrum as bipartite graphs achieve the maximum possible eigenvalue of graph Laplacian. However, for modeling higher-order connections in complex systems, hypergraphs and simplicial complexes are required due to the limitations of graphs in representing pairwise interactions. In this article, using simple tools from graph theory, we extend the cycle-based characterization from bipartite graphs to those simplicial complexes that achieve the maximum Hodge Laplacian eigenvalue, known as disorientable simplicial complexes. We show that a $N$-dimensional simplicial complex is disorientable if its down dual graph contains no simple odd cycle of distinct edges and no twisted even cycle of distinct edges. Furthermore, we see that in a $N$-simplicial complex without twisting cycles, the fewer the number of (non-branching) simple odd cycles in its down dual graph, the closer is its maximum eigenvalue to the possible maximum eigenvalue of Hodge Laplacian. Similar to the graph case, the absence of odd cycles plays a crucial role in solving the bi-partitioning problem of simplexes in higher dimensions.
format Preprint
id arxiv_https___arxiv_org_abs_2409_00682
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Higher Order Bipartiteness vs Bi-Partitioning in Simplicial Complexes
Eidi, Marzieh
Mukherjee, Sayan
Combinatorics
05C50, 05E45, 68R05, 58J51, 52-02, 05C38
Bipartite graphs are a fundamental concept in graph theory with diverse applications. A graph is bipartite iff it contains no odd cycles, a characteristic that has many implications in diverse fields ranging from matching problems to the construction of complex networks. Another key identifying feature is their Laplacian spectrum as bipartite graphs achieve the maximum possible eigenvalue of graph Laplacian. However, for modeling higher-order connections in complex systems, hypergraphs and simplicial complexes are required due to the limitations of graphs in representing pairwise interactions. In this article, using simple tools from graph theory, we extend the cycle-based characterization from bipartite graphs to those simplicial complexes that achieve the maximum Hodge Laplacian eigenvalue, known as disorientable simplicial complexes. We show that a $N$-dimensional simplicial complex is disorientable if its down dual graph contains no simple odd cycle of distinct edges and no twisted even cycle of distinct edges. Furthermore, we see that in a $N$-simplicial complex without twisting cycles, the fewer the number of (non-branching) simple odd cycles in its down dual graph, the closer is its maximum eigenvalue to the possible maximum eigenvalue of Hodge Laplacian. Similar to the graph case, the absence of odd cycles plays a crucial role in solving the bi-partitioning problem of simplexes in higher dimensions.
title Higher Order Bipartiteness vs Bi-Partitioning in Simplicial Complexes
topic Combinatorics
05C50, 05E45, 68R05, 58J51, 52-02, 05C38
url https://arxiv.org/abs/2409.00682