Three-critical hypergraphs of maximum local edge connectivity two

Jun Yue

Home/Archive/arXiv

arXiv · 2611.07856

Three-critical hypergraphs of maximum local edge connectivity two

Jun Yue

View original source ↗Read source document ↗Export metadata ↓

Abstract

For a hypergraph $G$, let $χ(G)$ denote its chromatic number and $λ(G)$ the maximum, over pairs of distinct vertices, of the minimum size of an edge cut separating the pair. A hypergraph is $3$-critical if its chromatic number is three and every proper subhypergraph is two-colorable. In this paper, we give a recursive characterization of the $3$-critical hypergraphs with $λ(G)\le2$. We prove that these are precisely the hypergraphs generated from ordinary odd cycles and an explicit family of labeled-tree hypergraphs by admissible Toft splits. This characterization includes a necessary and sufficient condition for a prescribed split to preserve $λ\le2$. The condition involves only cuts in the first factor and the two traces on the split edge. More generally, we establish an exact cut formula for splits at degree-$k$ vertices of $(k+1)$-critical hypergraphs, for every $k\ge2$. We further prove that the smallest member of this critical class outside the family generated by hyperwheels and both forms of the Hajós join has eight vertices and is unique up to isomorphism. Together, these results resolve two issues left open by Schweser, Stiebitz, and Toft in \emph{Journal of Combinatorics} (2022): the characterization of hypergraphs with $λ(G)=2$ and $χ(G)=3$, and whether hyperwheels and Hajós joins suffice to generate all $3$-critical hypergraphs in this connectivity range.

Explore related subjects

math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Jun Yue. 2026-11-05. Three-critical hypergraphs of maximum local edge connectivity two. https://arxiv.org/abs/2611.07856

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Domination in Johnson graphs J(n, 3) for odd n

In 2025 Cornet, Dravec, and Torres determined the domination number $γ(J(n,3))$ of the Johnson graph for every even $n \ge 6$, expressing it as a closed form $ϕ_n$ in terms of Fort-Hedlund covering numbers, and conjectured the same value for odd $n$. We prove this conjecture: $γ(J(n,3)) = ϕ_n$ for every odd $n \ge 7$. A dominating set of $J(n,3)$ is the same as a lotto design $\mathrm{LD}(n,3,3,2)$, and the lotto numbers $L(n,3,3,2)$, and hence $γ(J(n,3))$, were already determined for every $n$ by Bate (1978) and by Brouwer (1981); a short degree argument of Füredi, Székely, and Zubor (1996) gives the same lower bound for all $n \not\equiv 9, 10 \pmod{12}$. The contribution of this paper is therefore a new proof of the odd case, carried out within the bijective framework of Cornet, Dravec, and Torres.

math.CO↗

arXiv2026

HJ numbers revisited

Hales-Jewett theorem is well known. We prove a primitive recursive bound, in fact an $\clE^5$ one, for the density version. In preparation we deal with what was the main induction step in the old proof of Hales-Jewett as a result in its own right with better bounds. Also in improving our bounds.

math.CO↗

arXiv2026

Adjacency-degree algebras and spectral determination of graphs

Let $G$ be a graph with adjacency matrix $A$ and degree matrix $D$. Applying $A$ and $D$ repeatedly to the all-ones vector produces a space $M_G$ of functions on the vertices, and these functions are constant on the orbits of the automorphism group. We call $G$ AD-observable if $M_G$ contains the indicator vector of every orbit, and AD-separable if the functions in $M_G$ separate the orbits. Forests are AD-observable, by McKay's leaf-pruning argument. Our main result is that for every cograph, $M_G$ is spanned by the indicator vectors of the cells of the stable partition of color refinement. Hence a cograph is AD-observable, or equivalently AD-separable, exactly when color refinement finds its orbits, and we describe these cographs by their cotrees. We also show that two cographs with the same number of vertices and the same homomorphism counts from all caterpillars have the same counts from all trees. The main result does not extend to distance-hereditary graphs: we give two such graphs on nine vertices that are AD-separable but not AD-observable.

math.CO↗