783 research outputs found
The Zeta Function of a Hypergraph
We generalize the Ihara-Selberg zeta function to hypergraphs in a natural
way. Hashimoto's factorization results for biregular bipartite graphs apply,
leading to exact factorizations. For -regular hypergraphs, we show that
a modified Riemann hypothesis is true if and only if the hypergraph is
Ramanujan in the sense of Winnie Li and Patrick Sol\'e. Finally, we give an
example to show how the generalized zeta function can be applied to graphs to
distinguish non-isomorphic graphs with the same Ihara-Selberg zeta function.Comment: 24 pages, 6 figure
Hypergraph Learning with Line Expansion
Previous hypergraph expansions are solely carried out on either vertex level
or hyperedge level, thereby missing the symmetric nature of data co-occurrence,
and resulting in information loss. To address the problem, this paper treats
vertices and hyperedges equally and proposes a new hypergraph formulation named
the \emph{line expansion (LE)} for hypergraphs learning. The new expansion
bijectively induces a homogeneous structure from the hypergraph by treating
vertex-hyperedge pairs as "line nodes". By reducing the hypergraph to a simple
graph, the proposed \emph{line expansion} makes existing graph learning
algorithms compatible with the higher-order structure and has been proven as a
unifying framework for various hypergraph expansions. We evaluate the proposed
line expansion on five hypergraph datasets, the results show that our method
beats SOTA baselines by a significant margin
Isomorphy up to complementation
Considering uniform hypergraphs, we prove that for every non-negative integer
there exist two non-negative integers and with such that
two -uniform hypergraphs and on the same set
of vertices, with , are equal up to complementation whenever
and are -{hypomorphic up to complementation}.
Let be the least integer such that the conclusion above holds and
let be the least corresponding to . We prove that . In the special case or
, we prove that . The values and
were obtained in a previous work.Comment: 15 page
The extremal spectral radii of -uniform supertrees
In this paper, we study some extremal problems of three kinds of spectral
radii of -uniform hypergraphs (the adjacency spectral radius, the signless
Laplacian spectral radius and the incidence -spectral radius).
We call a connected and acyclic -uniform hypergraph a supertree. We
introduce the operation of "moving edges" for hypergraphs, together with the
two special cases of this operation: the edge-releasing operation and the total
grafting operation. By studying the perturbation of these kinds of spectral
radii of hypergraphs under these operations, we prove that for all these three
kinds of spectral radii, the hyperstar attains uniquely the
maximum spectral radius among all -uniform supertrees on vertices. We
also determine the unique -uniform supertree on vertices with the second
largest spectral radius (for these three kinds of spectral radii). We also
prove that for all these three kinds of spectral radii, the loose path
attains uniquely the minimum spectral radius among all
-th power hypertrees of vertices. Some bounds on the incidence
-spectral radius are given. The relation between the incidence -spectral
radius and the spectral radius of the matrix product of the incidence matrix
and its transpose is discussed
Tournaments, 4-uniform hypergraphs, and an exact extremal result
We consider -uniform hypergraphs with the maximum number of hyperedges
subject to the condition that every set of vertices spans either or
exactly hyperedges and give a construction, using quadratic residues, for
an infinite family of such hypergraphs with the maximum number of hyperedges.
Baber has previously given an asymptotically best-possible result using random
tournaments. We give a connection between Baber's result and our construction
via Paley tournaments and investigate a `switching' operation on tournaments
that preserves hypergraphs arising from this construction.Comment: 23 pages, 6 figure
- …