Year: 2024
Type: preprint
Abstract: It is a classical result due to Jacobi in algebraic combinatorics that the generating function of closed walks at a vertex $u$ in a graph $G$ is determined by the rational function \[ \frac{ϕ_{G-u}(t)}{ϕ_G(t)} \] where $ϕ_G(t)$ is the characteristic polynomial of $G$. In this paper, we show that the corresponding rational function for a hypergraph is also a generating function for some combinatorial objects in the hypergraph. We make use of the Heaps of Pieces framework, developed by Viennot, demonstrating its use on graphs, digraphs, and multigraphs before using it on hypergraphs. In the case of a graph $G$, the pieces are cycles and the concurrence relation is sharing a vertex. The pyramids with maximal piece containing a vertex $u \in V(G)$ are in one-to-one correspondence with closed walks at $u$. In the case of a hypergraph $\mathcal{H}$, connected "infragraphs" can be defined as the set of pieces, with the same concurrence relation: sharing a vertex. Our main results are established by analyzing multivariate resultants of polynomial systems associated to adjacency hypermatrices.
Source: arXiv (Cornell University)
Authors: Cooper, Joshua, Guo, Krystal, Okur, Utku
Institutions: University of South Carolina, University of Amsterdam
Language: English
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4404388903