New linear invariants of hypergraphs

Abstract

We introduce a parameterized family of invariants for $\ell$-uniform hypergraphs. To each $\mathbb{K}$-linear transformation $T:{\mathbb{K}}^{\ell }\to {\mathbb{K}}^r$ we associate a function $\mathrm{Sig}(-,T)$ that maps $\ell$-uniform hypergraphs to $\mathbb{K}$-vector spaces. Given an $\ell$-uniform hypergraph $\mathcal{H}=(V,E)$, we use $\mathrm{Sig}(\mathcal{H},T)$ to define an equivalence relation ${\equiv }_T$ on $V$ called $T$-fusion, which determines a quotient hypergraph $\mathfrak{F}(\mathcal{H},T)$ called the $T$-frame of $\mathcal{H}$. We show that the map $U:{\mathbb{K}}^{\ell }\to \mathbb{K}$, where $U(\hat{I}»)=\hat{I}»(1)+\cdots +\hat{I}»(\ell )$, is universal in that $\mathrm{Sig}(\mathcal{H},T)$ embeds in $\mathrm{Sig}(\mathcal{H},U)$, and $U$-fusion refines $T$-fusion for any $T:{\mathbb{K}}^{\ell }\to {\mathbb{K}}^r$. We further show that $\mathfrak{F}(\mathfrak{F}(\mathcal{H},U),U)=\mathfrak{F}(\mathcal{H},U)$ for any $\ell$-uniform hypergraph $\mathcal{H}$, so $\mathfrak{F}(-,U)$ is a closure function on the set of $\ell$-uniform hypergraphs. We explore the properties of this one-time simplification of a hypergraph.

16 pages, 9 figures