arXiv++ Combinatorics

Let $G$ be a connected simple graph on $n$ vertices and $m$ edges. Denote $N_{i}^{(j)}(G)$ the number of spanning subgraphs of $G$ having precisely $i$ edges and not more than $j$ connected components. The graph $G$ is \emph{strong} if $N_{i}^{j}(G)\geq N_{i}^{j}(H)$ for each pair of integers $i\in \{0,1,\ldots,m\}$ and $j\in \{1,2,\ldots,n\}$ and each connected simple graph $H$ on $n$ vertices and $m$ edges. The graph $G$ is \emph{Whitney-maximum} if for each connected simple graph $H$ on $n$ vertices and $m$ edges there exists a polynomial $P_H(x,y)$ with nonnegative coefficients such that $W_{G}(x,y)-W_H(x,y)=(1-xy)P_H(x,y)$, where $W_G$ and $W_H$ stand for the Whitney polynomial of $G$ and $H$. In this work it is proved that a graph is strong if and only if it is Whitney-maximum. Consequently, the $0$-element conjecture proposed by Boesch [J.\ Graph Theory 10 (1986), 339--352] is true when restricted to graph classes in which Whitney-maximum graphs exist.

Let $G$ be a connected graph of order $n$. A $\{P_{2},C_{3},P_{5},\mathcal{T}(3)\}$-factor of $G$ is a spanning subgraph of $G$ such that each component is isomorphic to a member in $\{P_{2},C_{3},P_{5},\mathcal{T}(3)\}$, where $\mathcal{T}(3)$ is a $\{1,2,3\}$-tree. The $A_α$-spectral radius of $G$ is denoted by $ρ_α(G)$. In this paper, we obtain a lower bound on the size or the $A_α$-spectral radius for $α\in[0,1)$ of $G$ to guarantee that $G$ has a $\{P_{2},C_{3},P_{5},\mathcal{T}(3)\}$-factor, and construct an extremal graph to show that the bound on $A_α$-spectral radius is optimal.

This paper investigates the problem of listing faces of combinatorial polytopes, such as hypercubes, permutahedra, associahedra, and their generalizations. Firstly, we consider the face lattice, which is the inclusion order of all faces of a polytope, and we seek a Hamiltonian cycle in its cover graph, i.e., for any two consecutive faces, one must be a subface of the other, and their dimensions differ by 1. We construct such Hamiltonian cycles for hypercubes, permutahedra, $B$-permutahedra, associahedra, cyclic polytopes, 3-dimensional polytopes, graph associahedra of chordal graphs, and quotientopes. Secondly, we consider facet-Hamiltonian cycles, which are cycles on the skeleton of a polytope that enter and leave every facet exactly once. This notion was recently introduced by Akitaya, Cardinal, Felsner, Kleist, and Lauff [SODA 2025], where the authors conjectured that $B$-permutahedra admit a facet-Hamiltonian cycle for all dimensions. We construct such facet-Hamiltonian cycles in this paper, thus establishing their conjecture as a theorem. A key tool we use are so-called rhombic strips, which are planar spanning subgraphs of the cover graph of the face lattice in which every face is a 4-cycle. Specifically, we construct a rhombic strip in the face lattice of the hypercube of any dimension, and characterize the existence of rhombic strips in the face lattice of 3-dimensional polytopes. Our constructions yield time- and space-efficient algorithms for computing the aforementioned cycles and thus for listing the corresponding combinatorial objects, including ordered set partitions and dissections of a convex polygon.

Ramsey--Turán theory considers Turán type questions in Ramsey-context, asking for the existence of a small subgraph in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, such as a clique of linear size. Similarly, one can consider Dirac-type questions in Ramsey context, asking for the existence of a spanning subgraph $H$ in a graph $G$ where the complement $\overline{G}$ lacks an appropriate subgraph $F$, which we call a Ramsey--Dirac theory question. When $H$ is a connected spanning subgraph, the disjoint union $K_{n/2}\cup K_{n/2}$ of two large cliques shows that it is natural to consider complete bipartite graphs $F$. Indeed, Han, Hu, Ping, Wang, Wang and Yang in 2024 proved that if $G$ is an $n$-vertex graph with $δ(G)=Ω(n)$ where the complement $\overline{G}$ does not contain any complete bipartite graph $K_{m,m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree tree $T$ as a subgraph. Extending this result to the Ramsey--Dirac theory for hypertrees, we prove that if $G$ is an $n$-vertex $r$-uniform hypergraph with $δ(G)=Ω(n^{r-1})$ where the complement $\overline{G}$ does not contain any complete $r$-partite hypergraph $K_{m,m,\dots, m}$ with $m=Ω(n)$, then $G$ contains every $n$-vertex bounded degree hypertree $T$ as a subgraph. We also prove the existence of matchings and loose Hamilton cycles in the same setting, which extends the result of Mcdiarmid and Yolov into hypergraphs. This result generalizes the universality result on randomly perturbed graphs by Böttcher, Han, Kohayakawa, Montgomery, Parczyk and Person in 2019 into hypergraphs and also strengthen the results on quasirandom hypergraphs by Lenz, Mubayi and Mycroft in 2016 and Lenz and Mubayi in 2016 into hypergraphs satisfying a much weaker pseudorandomness condition.

Given a set of graphs $\mathcal{H}$, we say that a graph $G$ is \textit{$\mathcal{H}$-free} if it does not contain any member of $\mathcal{H}$ as a subgraph. Let $\text{ex}(n,\mathcal{H})$ (resp. $\text{ex}_{sp}(n,\mathcal{H})$) denote the maximum size (resp. spectral radius) of an $n$-vertex $\mathcal{H}$-free graph. Denote by $\text{Ex}(n, \mathcal{H})$ the set of all $n$-vertex $\mathcal{H}$-free graphs with $\text{ex}(n, \mathcal{H})$ edges. Similarly, let $\mathrm{Ex}_{sp}(n,\mathcal{H})$ be the set of all $n$-vertex $\mathcal{H}$-free graphs with spectral radius $\text{ex}_{sp}(n, \mathcal{H})$. For positive integers $a, b$ with $a\leqslant b$, an $[a,b]$-factor of a graph $G$ is a spanning subgraph $F$ of $G$ such that $a\leqslant d_F(v)\leqslant b$ for all $v\in V(G)$, where $d_F(v)$ denotes the degree of the vertex $v$ in $F.$ Let $\mathcal{F}_{a,b}$ be the set of all the $[a,b]$-factors of an $n$-vertex complete graph $K_n$. In this paper, we determine the Turán number $\text{ex}(n,\mathcal{F}_{a,b})$ and the spectral Turán number $\text{ex}_{sp}(n,\mathcal{F}_{a,b}),$ respectively. Furthermore, the bipartite analogue of $\text{ex}(n,\mathcal{F}_{a,b})$ (resp. $\text{ex}_{sp}(n,\mathcal{F}_{a,b})$) is also obtained. All the corresponding extremal graphs are identified. Consequently, one sees that $\mathrm{Ex}_{sp}(n,\mathcal{F}_{a,b})\subseteq \text{Ex}(n, \mathcal{F}_{a,b})$ holds for graphs and bipartite graphs. This partially answers an open problem proposed by Liu and Ning \cite{LN2023}. Our results may deduce a main result of Fan and Lin \cite{FL2022}.

Biregular bipartite graphs have been proven to have similar edge distributions to random bipartite graphs and thus have nice pseudorandomness and expansion properties. Thus it is quite desirable to find a biregular bipartite spanning subgraph in a given bipartite graph. In fact, a theorem of Ore implies a structural characterization of such subgraphs in bipartite graphs. In this paper, we demonstrate the existence of biregular bipartite spanning subgraphs in bipartite graphs by employing spectral radius. We also study the existence of spanning trees with restricted degrees and edge-disjoint spanning trees in bipartite graphs via spectral radius.

Given a graph $G$, we study the $2$-edge-connected subgraph polytope $\mathrm{TECSP}(G)$, which is given by the convex hull of the incidence vectors of all $2$-edge-connected subgraphs of $G$. We describe the lattice points of this polytope by linear inequalities which provides an ILP-algorithm for finding a $2$-edge-connected subgraph of maximum weight. Furthermore, we characterize when these inequalities define facets of $\mathrm{TECSP}(G)$. We also consider further types of supporting hyperplanes of $\mathrm{TECSP}(G)$ and study when they are facet-defining. Finally, we investigate the efficiency of our considered inequalities practically on some classes of graphs.

In 1972, Kotzig proved that for every even $n$, the complete graph $K_n$ can be decomposed into $\lceil\log_2n\rceil$ edge-disjoint regular bipartite spanning subgraphs, which is best possible. In this paper, we study regular bipartite decompositions of $(n,d,λ)$-graphs, where $n$ is an even integer and $d_0\leq d\leq n-1$ for some absolute constant $d_0$. With a randomized algorithm, we prove that such an $(n,d,λ)$-graph with $λ\leq d/12$ can be decomposed into at most $\log_2 d + 36$ regular bipartite spanning subgraphs. This is best possible up to the additive constant term. As a consequence, we also improve the best known bounds on $λ= λ(d)$ by Ferber and Jain (2020) to guarantee that an $(n,d,λ)$-graph on an even number of vertices admits a $1$-factorization, showing that $λ\leq cd$ is sufficient for some absolute constant $c > 0$.

Let $G$ denote a graph and $k\geq2$ be an integer. A $\{K_{1,1},K_{1,2},\ldots,K_{1,k},\mathcal{T}(2k+1)\}$-factor of $G$ is a spanning subgraph, whose every connected component is isomorphic to an element of $\{K_{1,1},K_{1,2},\ldots,K_{1,k},\mathcal{T}(2k+1)\}$, where $\mathcal{T}(2k+1)$ is one special family of tree. In this paper, we put forward some sufficient conditions for the existence of $\{K_{1,1},K_{1,2},\ldots,K_{1,k},\mathcal{T}(2k+1)\}$-factors in graphs. Furthermore, we construct some extremal graphs to show that the main results in this paper are best possible.

Let $\mathbb{S}_h$ denote a sphere with $h$ holes. Given a triangulation $G$ of a surface $\mathbb{M}$, we consider the question of when $G$ contains a spanning subgraph $H$ such that $H$ is a triangulated $\mathbb{S}_h$. We give a new short proof of a theorem of Nevo and Tarabykin that every triangulation $G$ of the torus contains a spanning subgraph which is a triangulated cylinder. For arbitrary surfaces, we prove that every high facewidth triangulation of a surface with $h$ handles contains a spanning subgraph which is a triangulated $\mathbb{S}_{2h}$. We also prove that for every $0 \leq g' < g$ and $w \in \mathbb{N}$, there exists a triangulation of facewidth at least $w$ of a surface of Euler genus $g$ that does not have a spanning subgraph which is a triangulated $\mathbb{S}_{g'}$. Our results are motivated by, and have applications for, rigidity questions in the plane.

Jaeger et al. in 1992 introduced group coloring as the dual concept to group connectivity in graphs. Let $A$ be an additive Abelian group, $ f: E(G)\to A$ and $D$ an orientation of a graph $G$. A vertex coloring $c:V(G)\to A$ is an $(A, f)$-coloring if $c(v)-c(u)\ne f(e)$ for each oriented edge $e=uv$ from $u$ to $v$ under $D$. Kochol recently introduced the assigning polynomial to count nowhere-zero chains in graphs--nonhomogeneous analogues of nowhere-zero flows in \cite{Kochol2022}, and later extended the approach to regular matroids in \cite{Kochol2024}. Motivated by Kochol's work, we define the $α$-compatible graph and the cycle-assigning polynomial $P(G, α; k)$ at $k$ in terms of $α$-compatible spanning subgraphs, where $α$ is an assigning of $G$ from its cycles to $\{0,1\}$. We prove that $P(G,α;k)$ evaluates the number of $(A,f)$-colorings of $G$ for any Abelian group $A$ of order $k$ and $f:E(G)\to A$ such that the assigning $α_{D,f}$ given by $f$ equals $α$. Such an assigning is admissible. Based on Kochol's work, we derive that $k^{-c(G)}P(G,α;k)$ is a polynomial enumerating $(A,f)$-tensions and counting specific nowhere-zero chains. Furthermore, by extending Whitney's broken cycle concept to broken compatible cycles, we show that the absolute value of the coefficient of $k^{|V(G)|-i}$ in $P(G,α;k)$ associated with admissible assignings $α$ equals the number of $α$-compatible spanning subgraphs that have $i$ edges and contain no broken $α$-compatible cycles. According to the combinatorial explanation, we establish a unified order-preserving relation from admissible assignings to cycle-assigning polynomials, and further show that for any admissible assigning $α$ of $G$ with $α(e)=1$ for every loop $e$, the coefficients of $P(G,α;k)$ are nonzero and alternate in sign.

Kochol introduced the assigning polynomial $F(G,α;k)$ to count nowhere-zero $(A,b)$-flows of a graph $G$, where $A$ is a finite Abelian group and $α$ is a $\{0,1\}$-assigning from a family $Λ(G)$ of certain nonempty vertex subsets of $G$ to $\{0,1\}$. We introduce the concepts of $b$-compatible graph and $b$-compatible broken bond to give an explicit formula for the assigning polynomials and to examine their coefficients. More specifically, for a function $b:V(G)\to A$, let $α_{G,b}$ be a $\{0,1\}$-assigning of $G$ such that for each $X\inΛ(G)$, $α_{G,b}(X)=0$ if and only if $\sum_{v\in X}b(v)=0$. We show that for any $\{0,1\}$-assigning $α$ of $G$, if there exists a function $b:V(G)\to A$ such that $G$ is $b$-compatible and $α=α_{G,b}$, then the assigning polynomial $F(G,α;k)$ has the $b$-compatible spanning subgraph expansion \[ F(G,α;k)=\sum_{\substack{S\subseteq E(G),\\G-S\mbox{ is $b$-compatible}}}(-1)^{|S|}k^{m(G-S)}, \] and is the following form $F(G,α;k)=\sum_{i=0}^{m(G)}(-1)^ia_i(G,α)k^{m(G)-i}$, where each $a_i(G,α)$ is the number of subsets $S$ of $E(G)$ having $i$ edges such that $G-S$ is $b$-compatible and $S$ contains no $b$-compatible broken bonds with respect to a total order on $E(G)$. Applying the counting interpretation, we also obtain unified comparison relations for the signless coefficients of assigning polynomials. Namely, for any $\{0,1\}$-assignings $α,α'$ of $G$, if there exist functions $b:V(G)\to A$ and $b':V(G)\to A'$ such that $G$ is both $b$-compatible and $b'$-compatible, $α=α_{G,b}$, $α'=α_{G,b'}$ and $α(X)\leα'(X)$ for all $X\inΛ(G)$, then \[ a_i(G,α)\le a_i(G,α') \quad \mbox{ for }\quad i=0,1,\ldots, m(G). \]

The \textit{minimum positive co-degree} of a non-empty $r$-graph $H$, denoted $δ_{r-1}^+(H)$, is the largest integer $k$ such that if a set $S \subset V(H)$ of size $r-1$ is contained in at least one $r$-edge of $H$, then $S$ is contained in at least $k$ $r$-edges of $H$. Motivated by several recent papers which study minimum positive co-degree as a reasonable notion of minimum degree in $r$-graphs, we consider bounds of $δ_{r-1}^+(H)$ which will guarantee the existence of various spanning subgraphs in $H$. We precisely determine the minimum positive co-degree threshold for Berge Hamiltonian cycles in $r$-graphs, and asymptotically determine the minimum positive co-degree threshold for loose Hamiltonian cycles in $3$-graphs. For all $r$, we also determine up to an additive constant the minimum positive co-degree threshold for perfect matchings.

We show that every cubic graph on $n$ vertices contains a spanning subgraph in which the number of vertices of each degree deviates from $\frac{n}{4}$ by at most $\frac{1}{2}$, up to three exceptions. This resolves the conjecture of Alon and Wei (Irregular subgraphs, Combin. Probab. Comput. 32(2) (2023), 269--283) for cubic graphs.

We show that every $d$-regular bipartite Borel graph admits a Baire measurable $k$-regular spanning subgraph if and only if $d$ is odd or $k$ is even. This gives the first example of a locally checkable coloring problem which is known to have a Baire measurable solution on Borel graphs but not a computable solution on highly computable graphs. We also prove the analogous result in the measure setting for hyperfinite graphs.

The 2-Edge-Connected Spanning Subgraph problem (2ECSS) is among the most basic survivable network design problems: given an undirected and unweighted graph, the task is to find a spanning subgraph with the minimum number of edges that is 2-edge-connected (i.e., it remains connected after the removal of any single edge). 2ECSS is an NP-hard problem that has been extensively studied in the context of approximation algorithms. The best known approximation ratio for 2ECSS prior to this work was $1.3+\varepsilon$, for any constant $\varepsilon>0$ [Garg, Grandoni, Jabal-Ameli'23; Kobayashi, Noguchi'23]. In this paper, we present a 5/4-approximation algorithm. Our algorithm is also faster for small values of $\varepsilon$: its running time is $n^{O(1)}$ instead of $n^{O(1/\varepsilon)}$.

In this paper, we first study what we call Superset-Subset-Disjoint (SSD) set system. Based on properties of SSD set system, we derive the following (I) to (IV): (I) For a nonnegative integer $k$ and a graph $G=(V,E)$ with $|V|\ge2$, let $X_1,X_2,\dots,X_q\subsetneq V$ denote all maximal proper subsets of $V$ that induce $k$-edge-connected subgraphs. Then at least one of (a) and (b) holds: (a) $\{X_1,X_2,\dots,X_q\}$ is a partition of $V$; and (b) $V\setminus X_1, V\setminus X_2,\dots,V\setminus X_q$ are pairwise disjoint. (II) For $k=1$ and a strongly-connected digraph $G$, whether $V$ is in (a) and/or (b) can be decided in $O(n+m)$ time and we can generate all such $X_1,X_2,\dots,X_q$ in $O(n+m+|X_1|+|X_2|+\dots+|X_q|)$ time, where $n=|V|$ and $m=|E|$. (III) For a digraph $G$, we can enumerate in linear delay all vertex subsets of $V$ that induce strongly-connected subgraphs. (IV) A digraph is Hamiltonian if there is a spanning subgraph that is strongly-connected and in the case (a).

A 2-factor of a graph $G$ is a 2-regular spanning subgraph of $G$. We present a survey summarising results on the structure of 2-factors in regular graphs, as achieved by various researchers in recent years.

We show that a $k$-uniform hypergraph on $n$ vertices has a spanning subgraph homeomorphic to the $(k - 1)$-dimensional sphere provided that $H$ has no isolated vertices and each set of $k - 1$ vertices supported by an edge is contained in at least $n/2 + o(n)$ edges. This gives a topological extension of Dirac's theorem and asymptotically confirms a conjecture of Georgakopoulos, Haslegrave, Montgomery, and Narayanan. Unlike typical results in the area, our proof does not rely on the Absorption Method, the Regularity Lemma or the Blow-up Lemma. Instead, we use a recently introduced framework that is based on covering the vertex set of the host graph with a family of complete blow-ups.

The Erdős--Ko--Rado (EKR) theorem and its generalizations can be viewed as classifications of maximum independent sets in appropriately defined families of graphs, such as the Kneser graph $K(n,k)$. In this paper, we investigate the independence number of random spanning subraphs of two other families of graphs whose maximum independent sets satisfy an EKR-type characterization: the derangement graph on the set of permutations in $\mathrm{Sym}(n)$ and the derangement graph on the set $\mathcal{M}_{n}$ of perfect matchings in the complete graph $\mathcal{K}_{2n}$. In both cases, we show there is a sharp threshold probability for the event that the independence number of a random spanning subgraph is equal to that of the original graph. As a useful tool to aid our computations, we obtain a Friedgut--Kalai--Naor (FKN) type theorem on sparse boolean functions whose domain is the vertex set of $\mathcal{M}_{n}$. In particular, we show that boolean functions whose Fourier transforms are highly concentrated on the first two irreducible modules in the $\mathrm{Sym}(2n)$ module $\mathbb{C}[\mathcal{M}_{n}]$, is close to being the characteristic function of a union of maximum independent sets in the derangement graph on perfect matchings.