Abstract:We present a dichotomy theorem on the parameterized complexity of the 3-uniform hypergraphicality problem. Given $0<c_1\le c_2 < 1$, the parameterized 3-uniform Hypergraphic Degree Sequence problem, $3uni-HDS_{c_1,c_2}$, considers degree sequences $D$ of length $n$ such that all degrees are between $c_1 {n-1 \choose 2}$ and $c_2 {n-1\choose 2}$ and it asks if there is a 3-uniform hypergraph with degree sequence $D$. We prove that for any $0<c_2< 1$, there exists a unique, polynomial-time computable $c_1^*$ with the following properties. For any $ c_1\in (c_1^*,c_2]$, $3uni-HDS_{c_1,c_2}$ can be solved in linear time. In fact, for any $c_1\in (c_1^*,c_2]$ there exists an easy-to-compute $n_0$ such that any degree sequence $D$ of length $n\ge n_0$ and all degrees between $c_1 {n-1\choose 2}$ and $c_2 {n-1\choose 2}$ has a 3-uniform hypergraph realization if and only if the sum of the degrees can be divided by $3$. Further, $n_0$ grows polynomially with the inverse of $c_1-c_1^*$. On the other hand, we prove that for all $c_1<c_1^*$, $3uni-HDS_{c_1,c_2}$ is NP-complete. Finally, we briefly consider an extension of the hypergraphicality problem to arbitrary $t$-uniformity. We show that the interval where degree sequences (satisfying divisibility conditions) always have $t$-uniform hypergraph realizations must become increasingly narrow, with interval width tending to $0$ as $t \rightarrow \infty$.

On Unigraphic Polyhedra with One Vertex of Degree

Graphs Identifiable by Degree Sequence and Chromatic Number

On the faces of unigraphic $3$-polytopes

On Spectral Characterization of Two Classes of Unicycle Graphs

The polyomino graphs whose resonance graphs have a 1-degree vertex

Dense, irregular, yet always graphic $3$-uniform hypergraph degree sequences

On triangulations with high vertex degree

A characterization of unimodular hypergraphs with disjoint hyperedges

Degree sequence of oriented k -hypergraphs

Polytopes with low excess degree

Acutely Triangulated, Stacked, and Very Ununfoldable Polyhedra

The Degree Sequence of the Graph with Cyclomatic Number Less Than Four

A dichotomy theorem on the complexity of 3-uniform hypergraphic degree sequence graphicality

Relations on Generalized Degree Sequences

Veronese polytopes: Extending the framework of cyclic polytopes

Graph with any rational density and no rich subsets of linear size

The smallest mono-unstable, homogeneous convex polyhedron has at least 7 vertices

Graphs whose vertices of degree at least 2 lie in a triangle

Degree sequences of triangular multigraphs

On P-unique hypergraphs

Some unicyclic graphs determined by the signless Laplacian permanental polynomial