arXiv++ Combinatorics

We prove that, for every integer $k\ge 2$, there exists a constant $c_k>0$ such that every graph on $n\ge R(k,k)$ vertices with maximum degree $Δ$ contains an induced subgraph on at least $n-c_k\sqrtΔ$ vertices whose maximum degree is attained by at least $k$ vertices. This confirms a conjecture of Caro and Yuster in strong form.

Given two tournaments of order $n$, Bollobás and Scott defined their discrepancy in terms of the extremal deviation of their overlap from the random average, after relabelling them on a common vertex set, and they asked whether the resulting discrepancy is always $Ω(n^{3/2})$. We answer this question by proving that there is an absolute constant $c>0$ such that every pair of tournaments $T,U$ of order $n$ has discrepancy at least $cn^{3/2}$.

Fix an integer $d\ge1$. We prove that, for all sufficiently large $m$, every digraph $D$ with $m$ arcs and minimum semidegree at least $d$ admits a bisection $V(D)=V_1\cup V_2$ with $\bigl||V_1|-|V_2|\bigr|\le1$ such that \[ \min\{e(V_1,V_2),e(V_2,V_1)\} \ge \frac{d(m+d+1)}{2(2d+1)}. \] Here, for disjoint vertex sets $A,B\subseteq V(D)$, $e(A,B)$ denotes the number of arcs directed from $A$ to $B$. For each $d$, equality holds for infinitely many values of $m$, showing that the additive term $d+1$ is best possible. This answers a question of Liu, Ma and Zu by removing the asymptotic error in the minimum-semidegree bound, strengthens the result to the bisection setting, and determines the optimal additive correction. We also prove that every $n$-vertex digraph with $m$ arcs admits a bisection in which both directed cuts have size at least $(m-n+1)/4$, and that this universal bound is sharp for out-stars.

For a graph $G$, let $α_1(G)$ be the maximum size of an edge set containing at most one edge from every triangle, and let $τ_1(G)$ be the minimum size of an edge set meeting every triangle. Erdős, Gallai, and Tuza proved that $α_1(G)+τ_1(G)=Ω(m^{2/3})$ for every $m$-edge graph and asked for the optimal asymptotic constant. We prove $$\lim_{m\to\infty} \min_{G,\,|E(G)|=m} \frac{α_1(G) + τ_1(G)}{m^{2/3}} = \frac{3}{2},$$ thereby establishing that the sharp constant is $3/2$ and solving the problem.

Gallai proved that every graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We show that if a graph admits a bipartition in which every vertex has an odd number of neighbors in the opposite part, then it can be partitioned into two sets, each inducing a subgraph with all degrees odd. Consequently, every $n$-vertex graph without isolated vertices has an induced subgraph with all degrees odd on at least $n/5$ vertices, substantially improving the previously known universal lower bound.

Addressing a question posed by Erdős and Hajnal, Chen and Ma proved that, for all $n \ge 600$, the complete bipartite graph $K_{n,n+1}$ is the unique graph on $2n+1$ vertices with at least $n^2+n$ edges that contains no two vertices of equal degree joined by a path of length three. In this paper, we extend this result and prove that for every fixed integer \(\ell\ge 2\) and sufficiently large \(n\), the unique \(2n\)-vertex graph with at least \((n^2+n)/2\) edges that contains no two vertices of equal degree joined by a path of length \(2\ell\) is the half graph \(H_n\). This resolves the problem posed by Chen and Ma, as well as a related question of Attwa, Azócar Carvajal, Boyadzhiyska, Pierron, and Taraz concerning paths of even length with equal-degree endpoints.

For a positive integer \( k \), let \( [k] = \{1, 2, \ldots, k\} \). Let \( h \) be a non-negative integer, and let \( n \) be a multiple of \( h + 1 \). Define \( H \) as the disjoint union of \( n/(h+1) \) cliques (each of size \( h + 1 \)) with vertex sets \( V_1, \ldots, V_{n/(h+1)} \), where \( V_i = \{ v_j \mid j = (i-1)(h+1) + k, k \in [h+1] \} \) for \( i \in [n/(h+1)] \). A non-increasing integer sequence \( (d_1, \ldots, d_n) \) is \( H \)-realizable if there exists a graph \( G \) with \( V(G) = V(H) = \{ v_i \mid i \in [n] \} \), \( d_G(v_i) = d_i \) for all \( i\in [n] \), and \( G \) contains \( H \) as a spanning subgraph. If \( h = 0 \), then a non-increasing integer sequence \( (d_1, \ldots, d_n) \) is \( H \)-realizable if and only if there exists a graph \( G \) with degree sequence \( (d_1, d_2, \dots, d_n) \); Erdős and Gallai established a necessary and sufficient condition for this property. Recently, Briggs, McDonald, and Shan extended their result to the case \( h = 1 \). In this paper, we establish a necessary and sufficient condition for a sequence \( (d_1, d_2, \dots, d_n) \) to be \( H \)-realizable for any non-negative integer \( h \), thereby confirming a conjecture due to Briggs, McDonald and Shan.

Addressing a question posed by Erdős and Hajnal, Chen and Ma proved that, for all $n \ge 600$, the complete bipartite graph $K_{n,n+1}$ is the unique graph on $2n+1$ vertices with at least $n^2+n$ edges that contains no two vertices of equal degree joined by a path of length three. In this paper, we extend this result and show that, for all $n \ge 11$, $K_{n,n+1}$ is the unique $(2n+1)$-vertex graph with at least $n^2+n$ edges that avoids two equal-degree vertices joined by a path of length five. This confirms the very next case of a general conjecture of Chen and Ma on paths of odd length with equal-degree endpoints.

This paper studies the following question of Bollobás and Scott: Let $G$ be a graph with $n$ vertices and $p\binom{n}{2}$ edges. What is the smallest $c(p, n)$ such that there is an ordering $v_1, \ldots, v_n$ of the vertices in $G$ with $\left|e(\{v_1, \ldots, v_i\})-p\binom{i}{2}\right|\leq c(p, n)$ for all $i\in \{1,\ldots,n\}$ ? We obtain upper and lower bounds for $c(p,n)$ that are both linear in $n$. Furthermore, we generalize the result to $k$-uniform hypergraphs.

For an integer $k\ge 2$, let $G$ be a graph with $m$ edges and without cycles of length $2k$. The pivotal Alon-Krivelevich-Sudakov Theorem on Max-Cuts states that $G$ has a bipartite subgraph with at least $m/2+Ω(m^{(2k+1)/(2k+2)})$ edges. In this paper, we present a bisection variant of it by showing that if $G$ has minimum degree at least $k$, then $G$ has a balanced bipartite subgraph with at least $m/2+Ω(m^{(2k+1)/(2k+2)})$ edges. It not only answers a problem of Fan, Hou and Yu in full generality but also enhances a recent result given by Hou, Wu and Zhong. Our approach hinges on a key bound for bisections of graphs with sparse neighborhoods concerning the degree sequence. The result is inspired by the celebrated approximation algorithm of Goemans and Williamson and appears to be worthy of future exploration.

In this paper, we prove that, for every graph with at least 5 vertices, one can delete at most 3 vertices such that the subgraph obtained has at least three vertices with the same degree. This solves an open problem of Caro, Shapira and Yuster [Electron. J. Combin. 21 (2014) P1.24].

Answering a question of Erdős and Hajnal, Chen and Ma proved that for all \(n\geq600\) every graph with \(2n + 1\) vertices and at least \(n^2 + n+1\) edges contains two vertices of equal degree connected by a path of length three. The complete bipartite graph $K_{n,n+1}$ shows that this edge bound is sharp. In this paper, we develop a novel approach to handle graphs with large equal degrees, which enables us to establish the result for all $n\ge2$, thereby fully resolving the problem posed by Erdős and Hajnal.

Given two graphs $H$ and $F$, the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices is denoted by $\mathrm{ex}(n, H, F)$. Let $(\ell+1) \cdot F$ denote $\ell+1$ vertex disjoint copies of $F$. In this paper, we determine the exact value of $\mathrm{ex}(n, C_3, (\ell+1)\cdot C_{2k+1})$ and its extremal graph, which generalizes some known results.

Let $G$ be a graph with $m$ edges and let $\mathrm{mc}(G)$ denote the size of a largest cut of $G$. The difference $\mathrm{mc}(G)-m/2$ is called the surplus $\mathrm{sp}(G)$ of $G$. A fundamental problem in MaxCut is to determine $\mathrm{sp}(G)$ for $G$ without specific structure, and the degree sequence $d_1,\ldots,d_n$ of $G$ plays a key role in getting lower bounds of $\mathrm{sp}(G)$. A classical example, given by Shearer, is that $\mathrm{sp}(G)=Ω(\sum_{i=1}^n\sqrt d_i)$ for triangle-free graphs $G$, implying that $\mathrm{sp}(G)=Ω(m^{3/4})$. It was extended to graphs with sparse neighborhoods by Alon, Krivelevich and Sudakov. In this paper, we establish a novel and stronger result for a more general family of graphs with sparse neighborhoods. Our result can derive many well-known bounds on surplus of $H$-free graphs for different $H$, such as triangles, even cycles, graphs having a vertex whose removal makes them acyclic, or complete bipartite graphs $K_{s,t}$ with $s\in \{2,3\}$. It can also deduce many new (tight) bounds on $\mathrm{sp}(G)$ in $H$-free graphs $G$ when $H$ is any graph having a vertex whose removal results in a bipartite graph with relatively small Turán number, especially the even wheel. This contributes to a conjecture raised by Alon, Krivelevich and Sudakov. Moreover, we obtain new families of graphs $H$ such that $\mathrm{sp}(G)=Ω(m^{3/4+ε(H)})$ for some constant $ε(H)>0$ in $H$-free graphs $G$, giving evidences to a conjecture suggested by Alon, Bollobás, Krivelevich and Sudakov.

The Turán number of a graph $H$, $\text{ex}(n,H)$, is the maximum number of edges in an $n$-vertex graph that does not contain $H$ as a subgraph. For a vertex $v$ and a multi-set $\mathcal{F}$ of graphs, the suspension $\mathcal{F}+v$ of $\mathcal{F}$ is the graph obtained by connecting the vertex $v$ to all vertices of $F$ for each $F\in \mathcal{F}$. For two integers $k\ge1$ and $r\ge2$, let $H_i$ be a graph containing a critical edge with chromatic number $r$ for any $i\in\{1,\ldots,k\}$, and let $H=\{H_1,\ldots,H_k\}+v$. In this paper, we determine $\text{ex}(n, H)$ and characterize all the extremal graphs for sufficiently large $n$. This generalizes a result of Chen, Gould, Pfender and Wei on intersecting cliques. We also obtain a stability theorem for $H$, extending a result of Roberts and Scott on graphs containing a critical edge.

An $\mathcal{F}$-saturated $r$-graph is a maximal $r$-graph not containing any member of $\mathcal{F}$ as a subgraph. Let $\mathcal{K}_{\ell + 1}^{r}$ be the collection of all $r$-graphs $F$ with at most $\binom{\ell+1}{2}$ edges such that for some $\left(\ell+1\right)$-set $S$ every pair $\{u, v\} \subset S$ is covered by an edge in $F$. Our first result shows that for each $\ell \geq r \geq 2$ every $\mathcal{K}_{\ell+1}^{r}$-saturated $r$-graph on $n$ vertices with $t_{r}(n, \ell) - o(n^{r-1+1/\ell})$ edges contains a complete $\ell$-partite subgraph on $(1-o(1))n$ vertices, which extends a stability theorem for $K_{\ell+1}$-saturated graphs given by Popielarz, Sahasrabudhe and Snyder. We also show that the bound is best possible. Our second result is motivated by a celebrated theorem of Andrásfai, Erdős and Sós which states that for $\ell \geq 2$ every $K_{\ell+1}$-free graph $G$ on $n$ vertices with minimum degree $δ(G) > \frac{3\ell-4}{3\ell-1}n$ is $\ell$-partite. We give a hypergraph version of it. The \emph{minimum positive co-degree} of an $r$-graph $\mathcal{H}$, denoted by $δ_{r-1}^{+}(\mathcal{H})$, is the maximum $k$ such that if $S$ is an $(r-1)$-set contained in a edge of $\mathcal{H}$, then $S$ is contained in at least $k$ distinct edges of $\mathcal{H}$. Let $\ell\ge 3$ be an integer and $\mathcal{H}$ be a $\mathcal{K}_{\ell+1}^3$-saturated $3$-graph on $n$ vertices. We prove that if either $\ell \ge 4$ and $δ_{2}^{+}(\mathcal{H}) > \frac{3\ell-7}{3\ell-1}n$; or $\ell = 3$ and $δ_{2}^{+}(\mathcal{H}) > 2n/7$, then $\mathcal{H}$ is $\ell$-partite; and the bound is best possible. This is the first stability result on minimum positive co-degree for hypergraphs.

In this paper, we consider the decomposition of multigraphs under minimum degree constraints and give a unified generalization of several results by various researchers. Let $G$ be a multigraph in which no quadrilaterals share edges with triangles and other quadrilaterals and let $μ_G(v)=\max\{μ_G(u,v):u\in V(G)\setminus\{v\}\}$, where $μ_G(u,v)$ is the number of edges joining $u$ and $v$ in $G$. We show that for any two functions $a,b:V(G)\rightarrow\mathbb{N}\setminus\{0,1\}$, if $d_G(v)\ge a(v)+b(v)+2μ_G(v)-3$ for each $v\in V(G)$, then there is a partition $(X,Y)$ of $V(G)$ such that $d_X(x)\geq a(x)$ for each $x\in X$ and $d_Y(y)\geq b(y)$ for each $y\in Y$. This extends the related results due to Diwan [3], Liu and Xu [7] and Ma and Yang [10] on simple graphs to the multigraph setting.