arXiv++ Combinatorics

For a family of graphs $\mathcal{F}$, the Turán number $ex(n,\mathcal{F})$ is the maximum number of edges in an $n$-vertex graph containing no member of $\mathcal{F}$ as a subgraph. The maximum number of edges in an $n$-vertex connected graph containing no member of $\mathcal{F}$ as a subgraph is denoted by $ex_{conn}(n,\mathcal{F})$. Let $P_k$ be the path on $k$ vertices and $H$ be a graph with chromatic number more than $2$. Katona and Xiao [Extremal graphs without long paths and large cliques, European J. Combin., 2023 103807] posed the following conjecture: Suppose that the chromatic number of $H$ is more than $2$. Then $ex\big(n,\{H,P_k\}\big)=n\max\big\{\big\lfloor \frac{k}{2}\big\rfloor-1,\frac{ex(k-1,H)}{k-1}\big\}+O_k(1)$. In this paper, we determine the exact value of $ex_{conn}\big(n,\{P_k,H\}\big)$ for sufficiently large $n$. Moreover, we obtain asymptotical result for $ex\big(n,\{P_k,H\}\big)$, which solves the conjecture proposed by Katona and Xiao.

An $r$-uniform hypergraph ($r$-graph) is linear if any two edges intersect at most one vertex. For a graph $F$, a hypergraph $H$ is Berge-$F$ if there is a bijection $φ:E(F)\rightarrow E(H)$ such that $e\subseteq φ(e)$ for all $e$ in $E(F)$. In this paper, a kind of stability result for Berge-$K_{3,t}$ linear $r$-graphs is established. Based on this stability result, an upper bound for the linear Turán number of Berge-$K_{3,t}$ is determined. For an $r$-graph $H$, let $\mathcal{A}(H)$ be the adjacency tensor of $H$. The spectral radius of $H$ is the spectral radius of the tensor $\mathcal{A}(H)$. Some bounds for the maximum spectral radius of connected Berge-$K_{3,t}$-free linear $r$-graphs are obtained.

Let $L(n,k,r,p)$ denote the minimum number of $k$-subsets of an $n$-set such that all the $\binom{n}{p}$ $p$-subsets are intersected by one of them in at least $r$ elements. The case $p=r$ corresponds to the covering numbers, while the case $k=r$ corresponds to the Turán numbers. In both cases, there exists a limit of $L(n,k,r,p) / \binom{n}{r}$ as $n\to\infty$. We prove the existence of this limit in the general case.

Let $n\ge 1$ be an integer and $\mathbb{F}_q$ be a finite field of characteristic $p$ with $q$ elements. In this paper, it is proved that the Wenger graph $W_n(q)$ and linearized Wenger graph $L_m(q)$ are edge-girth-regular $(v,k,g,λ)$-graphs, and the parameter $λ$ of graphs $W_n(q)$ and $L_m(q)$ is completely determined. Here, an edge-girth-regular graph $egr(v,k,g,λ)$ means a $k$-regular graph of order $v$ and girth $g$ satisfying that any edge is contained in $λ$ distinct $g$-cycles. As a direct corollary, we obtain the number of girth cycles of graph $W_n(q)$, and the lower bounds on the generalized Turán numbers $ex(n, C_{6}, \mathscr{C}_{5})$ and $ex(n, C_{8}, \mathscr{C}_{7})$, where $C_k$ is the cycle of length $k$ and $\mathscr{C}_k = \{C_3, C_4, \dots , C_k\}$.Moreover, there exist a family of $egr(2q^3,q,8,(q-1)^3(q-2))$-graphs for $q$ odd, and the order of graph $W_2(q)$ and extremal $egr(v,q,8,(q-1)^3(q-2))$-graph have same asymptotic order for $q$ odd.

We combine two generalizations of ordinary Turán problems. Given graphs $H$ and $F$ and a positive integer $n$, we study $rex(n, H, F )$, which is the largest number of copies of $H$ in $F$-free regular $n$-vertex graphs.

The $\textit{planar Turán number}$ $\textrm{ex}_{\mathcal P}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex planar graph without $H$ as a subgraph. Let $C_k$ denote the cycle of length $k$. The planar Turán number $\textrm{ex}_{\mathcal P}(n,C_k)$ is known for $k\le 7$. We show that dense planar graphs with a certain connectivity property (known as circuit graphs) contain large near triangulations, and we use this result to obtain consequences for planar Turán numbers. In particular, we prove that there is a constant $D$ so that $\textrm{ex}_{\mathcal P}(n,C_k) \le 3n - 6 - Dn/k^{\log_2^3}$ for all $k, n\ge 4$. When $k \ge 11$ this bound is tight up to the constant $D$ and proves a conjecture of Cranston, Lidický, Liu, and Shantanam.

A graph is outerplanar if it has a planar drawing for which all vertices belong to the outer face of the drawing. Let $H$ be a graph. The outerplanar Turán number of $H$, denoted by $ex_\mathcal{OP}(n,H)$, is the maximum number of edges in an $n$-vertex outerplanar graph which does not contain $H$ as a subgraph. In 2021, L. Fang et al. determined the outerplanar Turán number of cycles and paths. In this paper, we use techniques of dual graph to give a shorter proof for the sharp upperbound of $ex_\mathcal{OP}(n,C_k)\leq \frac{(2k - 5)(kn - k - 1)}{k^2 - 2k - 1}$.

Let $\mathrm{ex}(G_{n,p}^r,F)$ denote the maximum number of edges in an $F$-free subgraph of the random $r$-uniform hypergraph $G_{n,p}^r$, and let $s(F):=\sup\{s: \exists H,\ t_F(H)=t_{K_r^r}(H)^{s+e(F)}>0\}$. Following recent work of Conlon, Lee, and Sidorenko, we prove non-trivial lower bounds on $\mathrm{ex}(G_{n,p}^r,F)$ whenever $s(F)>0$, i.e. $F$ is not Sidorenko. This connection between Sidorenko's conjecture and random Turán problems gives new lower bounds on $\mathrm{ex}(G_{n,p}^r,F)$ whenever $s(F)>0$, and further allows us to establish upper bounds for $s(F)$ whenever upper bounds for $\mathrm{ex}(G_{n,p}^r,F)$ are known. As a consequence, we prove that $s(\mathrm{E}^r(K_{k+1}^k))=\frac{1}{r-k}$ where $\mathrm{E}^r(K_{k+1}^k)$ is the $r$-expansion of $K_{k+1}^k$.

The generalized Turán number $\ex(n,K_s,F)$ denotes the maximum number of copies of $K_s$ in an $n$-vertex $F$-free graph. Let $kF$ denote $k$ disjoint copies of $F$. Gerbner, Methuku and Vizer [DM, 2019, 3130-3141] gave a lower bound for $\ex(n,K_3,2C_5)$ and obtained the magnitude of $\ex(n, K_s, kK_r)$. In this paper, we determine the exact value of $\ex(n,K_3,2C_5)$ and described the unique extremal graph for large $n$. Moreover, we also determine the exact value of $\ex(n,K_r,(k+1)K_r)$ which generalizes some known results.

Given a graph $H$ and a family of graphs $\mathcal{F}$, the generalized Turán number $\mathrm{ex}(n,H,\mathcal{F})$ is the maximum number of copies of $H$ in an $n$-vertex graphs that do not contain any member of $\mathcal{F}$ as a subgraph. Recently there has been interest in studying the case $\mathcal{F}=\{F,M_{s+1}\}$ for arbitrary $F$ and $H=K_r$. We extend these investigations to the case $H$ is arbitrary as well.

Let $A(p,n,k)$ be the number of $p$-tuples of commuting permutations of $n$ elements whose permutation action results in exactly $k$ orbits or connected components. We formulate the conjecture that, for every fixed $p$ and $n$, the $A(p,n,k)$ form a log-concave sequence with respect to $k$. For $p=1$ this is a well known property of unsigned Stirling numbers of the first kind. As the $p=2$ case, our conjecture includes a previous one by Heim and Neuhauser, which strengthens a unimodality conjecture for the Nekrasov-Okounkov hook length polynomials. In this article, we prove the $p=\infty$ case of our conjecture. We start from an expression for the $A(p,n,k)$ which follows from an identity by Bryan and Fulman, obtained in the their study of orbifold higher equivariant Euler characteristics. We then derive the $p\rightarrow\infty$ asymptotics. The last step essentially amounts to the log-concavity in $k$ of a generalized Turán number, namely, the maximum product of $k$ positive integers whose sum is $n$.

Let $\mathcal{H}$ be a set of graphs. The planar Turán number, $ex_\mathcal{P}(n,\mathcal{H})$, is the maximum number of edges in an $n$-vertex planar graph which does not contain any member of $\mathcal{H}$ as a subgraph. When $\mathcal{H}=\{H\}$ has only one element, we usually write $ex_\mathcal{P}(n,H)$ instead. The topic of extremal planar graphs was initiated by Dowden (2016). He obtained sharp upper bound for both $ex_\mathcal{P}(n,C_5)$ and $ex_\mathcal{P}(n,K_4)$. Later on, we obtained sharper bound for $ex_\mathcal{P}(n,\{K_4,C_7\})$. In this paper, we give upper bounds of $ex_\mathcal{P}(n,\{K_4,C_5\})\leq {15\over 7}(n-2)$ and $ex_\mathcal{P}(n,\{K_4,C_6\})\leq {7\over 3}(n-2)$. We also give constructions which show the bounds are tight for infinitely many graphs.

For a family of graphs $\F$, a graph is called $\F$-free if it does not contain any member of $\F$ as a subgraph. The generalized Turán number $\ex(n,K_r,\F)$ is the maximum number of $K_r$ in an $n$-vertex $\F$-free graph and $\ex(n,K_2,\F)=\ex(n,\F)$, i.e., the classical Turán number. Let $M_{s+1}$ be a matching on $s+1$ edges and $F$ be any graph. In this paper, we determine $\ex(n,K_r, \{M_{s+1},F\})$ apart from a constant additive term and also give a condition when the error constant term can be determined. In particular, we give the exact value of $\ex(n,\{M_{s+1},F\})$ for $F$ being any non-bipartite graph or some bipartite graphs. Furthermore, we determine $\ex(n,K_r,\{M_{s+1},F\})$ when $F$ is color critical with $χ(F)\ge \max\{r+1,4\}$. These extend the results in [2,11,18].

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 planar Turán number, $ex_\mathcal{P}(n,H)$, is the maximum number of edges in an $n$-vertex planar graph which does not contain $H$ as a subgraph. The topic of extremal planar graphs was initiated by Dowden (2016). He obtained sharp upper bound for both $ex_\mathcal{P}(n,C_4)$ and $ex_\mathcal{P}(n,C_5)$. Later on, D. Ghosh et al. obtained sharp upper bound of $ex_\mathcal{P}(n,C_6)$ and proposed a conjecture on $ex_\mathcal{P}(n,C_k)$ for $k\geq 7$. In this paper, we give a sharp upper bound $ex_\mathcal{P}(n,C_7)\leq {18\over 7}n-{48\over 7}$, which satisfies the conjecture of D. Ghosh et al. It turns out that this upper bound is also sharp for $ex_\mathcal{P}(n,\{K_4,C_7\})$, the maximum number of edges in an $n$-vertex planar graph which does not contain $K_4$ or $C_7$ as a subgraph.

Given a graph $L$, the Turán number $\textrm{ex}(n,L)$ is the maximum possible number of edges in an $n$-vertex $L$-free graph. The study of Turán number of graphs is a central topic in extremal graph theory. Although the celebrated Erdős-Stone-Simonovits theorem gives the asymptotic value of $\textrm{ex}(n,L)$ for nonbipartite $L$, it is challenging in general to determine the exact value of $\textrm{ex}(n,L)$ for $χ(L) \geq 3$. The odd-ballooning of $H$ is a graph such that each edge of $H$ is replaced by an odd cycle and all new vertices of odd cycles are distinct. Here the length of odd cycles is not necessarily equal. The exact value of Turán number of the odd-ballooning of $H$ is previously known for $H$ being a cycle, a path, a tree with assumptions, and $K_{2,3}$. In this paper, we manage to obtain the exact value of Turán number of the odd-ballooning of $K_{s,t}$ with $2\leq s \leq t$, where $(s,t) \not \in \{(2,2),(2,3)\} $ and each odd cycle has length at least five.

Let $P_4$ denote the path graph on $4$ vertices. The suspension of $P_4$, denoted by $\widehat P_4$, is the graph obtained via adding an extra vertex and joining it to all four vertices of $P_4$. In this note, we demonstrate that for $n\ge 8$, the maximum number of triangles in any $n$-vertex graph not containing $\widehat P_4$ is $\left\lfloor n^2/8\right\rfloor$. Our method uses simple induction along with computer programming to prove a base case of the induction hypothesis.

In this note we describe how Lasoń's generalization of Alon's Combinatorial Nullstellensatz gives a framework for constructing lower bounds on the Turán number $\operatorname{ex}(n, K^{(r)}_{s_1,\dots,s_r})$ of the complete $r$-partite $r$-uniform hypergraph $K^{(r)}_{s_1,\dots,s_r}$. To illustrate the potential of this method, we give a short and simple explicit construction for the Erdős box problem, showing that $\operatorname{ex}(n, K^{(r)}_{2,\dots,2}) = Ω(n^{r - 1/r})$, which asymptotically matches best known bounds when $r \leq 4$.

The edge blow-up of a graph $G$, denoted by $G^{p+1}$, is obtained by replacing each edge of $G$ with a clique of order $p+1$, where the new vertices of the cliques are all distinct. Yuan [J. Comb. Theory, Ser. B, 152 (2022) 379-398] determined the range of the Turán numbers for edge blow-up of all bipartite graphs and the exact Turán numbers for edge blow-up of all non-bipartite graphs. In this paper we prove that the graphs with the maximum spectral radius in an $n$-vertex graph without any copy of edge blow-up of star forests are the extremal graphs for edge blow-up of star forests when $n$ is sufficiently large.

The $\textit{planar Turán number}$ $\textrm{ex}_{\mathcal P}(n,H)$ of a graph $H$ is the maximum number of edges in an $n$-vertex planar graph without $H$ as a subgraph. Let $C_{\ell}$ denote the cycle of length $\ell$. The planar Turán number $\textrm{ex}_{\mathcal P}(n,C_{\ell})$ behaves differently for $\ell\le 10$ and for $\ell\ge 11$, and it is known when $\ell \in \{3,4,5,6\}$. We prove that $\textrm{ex}_{\mathcal P}(n,C_7) \le \frac{18n}{7} - \frac{48}{7}$ for all $n > 38$, and show that equality holds for infinitely many integers $n$.