arXiv Science⌕ Search

arXiv subjects

Long-Tu Yuan

Publications and source records attributed to Long-Tu Yuan.

At least 19 recordsLinked to original sources
arXiv2026

On the Turán number for the Cartesian product of an odd cycle and a tree

Let $T$ be a fixed tree on at least two vertices. We determine the Turán number and all extremal graphs for the Cartesian product of an odd cycle $C_{2m+1}$ and $T$, for every fixed integer $m\ge1$ and all sufficiently large $n$, in terms of its decomposition family. Every extremal graph is the join of an independent set and an extremal graph for that family. The proof combines the Erdős--Sós theorem with weak stability and progressive induction.

math.CO↗
arXiv2026

The maximum number of triangles in regular graphs

We determine the maximum number of triangles in $n$-vertex $k$-regular graphs and characterize all extremal graphs for all admissible orders when $k$ is odd and for an explicit range of orders when $k$ is even. For even $k$, we also give explicit lower and upper bounds for the remaining orders. As a consequence, we obtain a lower bound on the number of independent sets of size three in $k$-regular graphs and characterize all equality cases. Our exact results confirm the conjecture of Petingi and Rodríguez and the triangle case of a conjecture of Cambie, de Joannis de Verclos and Kang for all odd $k$ and the specified orders when $k$ is even. Moreover, for every even $k\ge18$, we construct counterexamples to both conjectures and obtain a recursive characterization of all extremal graphs of order at least $Ck$, where $C$ is an absolute constant.

math.CO↗
arXiv2026

On the Turán Number of the Cartesian Product of Two Stars

We study the Turán number of the Cartesian product of two stars, a family whose order of magnitude is known. For most pairs of star sizes, we determine the leading coefficient exactly. In the remaining congruence class, we give explicit lower and upper bounds for the coefficient at the leading scale. Our lower bounds use blowups of polarity graphs, and our upper bounds use structural estimates on neighbourhoods.

math.CO↗
arXiv2026

Turán numbers of triangular pyramids

Let $\TP_k$ denote the triangular pyramid with $k$ layers. For a graph family $\mathcal F$, let $\ex(n,\mathcal F)$ be the maximum number of edges in an $n$-vertex graph containing no member of $\mathcal F$ as a subgraph. For a graph $H$, let $\cJ(H)$ be the family of subgraph-minimal graphs among all such graphs $H-I$, where $I\subseteq V(H)$ is an independent set. For every integer $k\ge4$ and all sufficiently large $n$, we prove that \[ \ex(n,\TP_k)=\max_{0\le m\le n}\{m(n-m)+\ex(m,\cJ(\TP_k))\}+O_k(n)=\left\lfloor n^2/4\right\rfloor+Θ_k(n^{4/3}). \] Moreover, for $k=4$, we characterize all extremal graphs and show that \[ \ex(n,\TP_4)=\max_{0\le m\le n}\bigl\{m(n-m)+\ex\big(m,\cJ(\TP_4)\big)\bigr\} \] for sufficiently large $n$.

math.CO↗
arXiv2026

Strong counterexamples to a supersaturation question of Ma-Yuan

For a graph $F$, let $h_F(n,q)$ be the minimum number of copies of $F$ in an $n$-vertex graph with $\mathrm{ex}(n,F)+q$ edges, where $\mathrm{ex}(n,F)$ is the maximum number of edges in an $n$-vertex $F$-free graph. Let $c(n,F)$ be the minimum number of copies obtained by adding one edge to an extremal $F$-free graph. Mubayi's supersaturation conjecture predicts, under a stability hypothesis, that $h_F(n,q)\ge q\,c(n,F)$. Ma and Yuan recently constructed stable graph counterexamples for every fixed $q\ge4$; they asked whether the one-edge equality $h_F(n,1)=c(n,F)$ might still hold for every graph $F$ containing a cycle. We give a negative answer to their question. For each integer $t\ge6$, let $H_t$ be obtained from the $t$-vertex path by replacing each edge with a $3t$-page book, using disjoint page vertices for different path edges. Then $h_{H_t}(n,1)<c(n,H_t)$ for infinitely many values of $n$. Moreover, by taking $t$ large, the ratio $h_{H_t}(n,1)/c(n,H_t)$ can be made arbitrarily small along infinitely many values of $n$.

math.CO↗
arXiv2026

Triangles in graphs without the expansion of $4$-cycle

The expansion $F^{\triangle}$ of a graph $F$ is the graph obtained from $F$ by replacing each edge with a triangle. Lv \etal proposed a conjecture on the maximum number of triangles in a graph without $P_k^{\triangle}$ or $C_k^{\triangle}$ for every $k \ge 4$. Their conjecture was confirmed in previous work for $P_k^{\triangle}$ when $k \ge 4$ and $C_k^{\triangle}$ when $k \ge 5$. In this note, we resolve the remaining case $C_4^{\triangle}$, demonstrating that this is the only counterexample to their conjecture.

math.CO↗
arXiv2025

Exact Turán numbers of two vertex-disjoint paths

The Turán number of a graph $H$ is the maximum number of edges in any graph of order $n$ that does not contain $H$ as a subgraph. In 1959, Erd\H os and Gallai obtained a sharp upper bound of Turán numbers for a path of arbitrary length. In 1975, Faudree and Schelp, and independently in 1977, Kopylov determined the exact values of Turán numbers of paths with arbitrary length. In this paper, we determine the Turán number of two vertex-disjoint paths of odd order at least 4. Together with previous works, we determine the exact Turán numbers of two vertex-disjoint paths completely. This confirms the first $k=2$ case of a conjecture proposed by Yuan and Zhang in 2021, which generalizes the Turán number formula of paths due to Faudree-Schelp, and Kopylov in a broader setting. Our main tools include a refinement of Pósa's rotation lemma, a stability result of Kopylov's theorem on cycles, and a recent inequality on circumference, minimum degree, and clique number of a 2-connected graph.

math.CO↗
arXiv2025

A Fan-type condition involving bipartite independence number for hamiltonicity in graphs

The bipartite independence number of a graph $G$, denoted by $\widetildeα(G)$, is defined as the smallest integer $q$ for which there exist positive integers $s$ and $t$ with $s + t = q + 1$, such that for any two disjoint subsets $A, B \subseteq V(G)$ with $|A| = s$ and $|B| = t$, there exists an edge between $A$ and $B$. In this paper, we prove that for a 2-connected graph $G$ of order at least three, if $\max\{d_G(x), d_G(y)\} \ge \widetildeα(G)$ for every pair of nonadjacent vertices $x, y$ at distance two, then $G$ is hamiltonian. Moreover, we prove that if $G$ is 3-connected and $\max\{d_G(x), d_G(y)\} \ge \widetildeα(G)+1$ for every pair of nonadjacent vertices $x, y$ at distance two, then $G$ is hamiltonian-connected. Our results generalize the recent work by Li and Liu.

math.CO↗
arXiv2025

The maximum number of cliques in disjoint copies of graphs

The problem of determining the maximum number of copies of $T$ in an $H$-free graph, for any graphs $T$ and $H$, was considered by Alon and Shikhelman. This is a variant of Turán's classical extremal problem. We show lower and upper bounds for the maximum number of $s$-cliques in a graph with no disjoint copies of arbitrary graph. We also determine the maximum number of $s$-cliques in an $n$-vertex graph that does not contain a disjoint union of $k$ paths of length two when $k=2,3$, or $s\geqslant k+2$, or $n$ is sufficiently large, this partly confirms a conjecture posed by Chen, Yang, Yuan, and Zhang \cite{2024Chen113974}.

math.CO↗
arXiv2024

Exact results for some extremal problems on expansions I

The expansion of a graph $F$, denoted by $F^3$, is the $3$-graph obtained from $F$ by adding a new vertex to each edge such that different edges receive different vertices. For large $n$, we establish tight upper bounds for: The maximum number of edges in an $n$-vertex $3$-graph that does not contain $T^3$ for certain class $\mathcal{T}$ of trees, sharpening (partially) a result of Kostochka--Mubayi--Verstraëte. The minimum number of colors needed to color the complete $n$-vertex $3$-graph to ensure the existence of a rainbow copy of $F^3$ when $F$ is a graph obtained from some tree $T\in \mathcal{T}$ by adding a new edge, extending anti-Ramsey results on $P_{2t}^3$ by Gu--Li--Shi and $C_{2t}^3$ by Tang--Li--Yan. The maximum number of edges in an $n$-vertex $3$-graph whose shadow does not contain the shadow of $C_{k}^3$ or $T^3$ for $T\in \mathcal{T}$, answering a question of Lv \etal on generalized Turán problems.

math.CO↗
arXiv2024

Spectral radius and the 2-power of Hamilton paths

We determine the maximum number of a graph without containing the 2-power of a Hamilton path. Using this result, we establish a spectral condition for a graph containing the 2-power of a Hamilton path.

math.CO↗
arXiv2023

Supersaturation beyond color-critical graphs

The supersaturation problem for a given graph $F$ asks for the minimum number $h_F(n,q)$ of copies of $F$ in an $n$-vertex graph with $ex(n,F)+q$ edges. Subsequent works by Rademacher, Erdős, and Lovász and Simonovits determine the optimal range of $q$ (which is linear in $n$) for cliques $F$ such that $h_F(n,q)$ equals the minimum number $t_F(n,q)$ of copies of $F$ obtained from a maximum $F$-free $n$-vertex graph by adding $q$ new edges. A breakthrough result of Mubayi extends this line of research from cliques to color-critical graphs $F$, and this was further strengthened by Pikhurko and Yilma who established the equality $h_F(n,q)=t_F(n,q)$ for $1\leq q\leq ε_F n$ and sufficiently large $n$. In this paper, we present several results on the supersaturation problem that extend beyond the existing framework. Firstly, we explicitly construct infinitely many graphs $F$ with restricted properties for which $h_F(n,q)<q\cdot t_F(n,1)$ holds when $n\gg q\geq 4$, thus refuting a conjecture of Mubayi. Secondly, we extend the result of Pikhurko-Yilma by showing the equality $h_F(n,q)=t_F(n,q)$ in the range $1\leq q\leq ε_F n$ for any member $F$ in a diverse and abundant graph family (which includes color-critical graphs, disjoint unions of cliques $K_r$, and the Petersen graph). Lastly, we prove the existence of a graph $F$ for any positive integer $s$ such that $h_F(n,q)=t_F(n,q)$ holds when $1\leq q\leq ε_F n^{1-1/s}$, and $h_F(n,q)<t_F(n,q)$ when $n^{1-1/s}/ε_F\leq q\leq ε_F n$, indicating that $q=Θ(n^{1-1/s})$ serves as the threshold for the equality $h_F(n,q)=t_F(n,q)$. We also discuss some additional remarks and related open problems.

math.CO↗
arXiv2023

A step towards a general density Corrádi--Hajnal Theorem

For a nondegenerate $r$-graph $F$, large $n$, and $t$ in the regime $[0, c_{F} n]$, where $c_F>0$ is a constant depending only on $F$, we present a general approach for determining the maximum number of edges in an $n$-vertex $r$-graph that does not contain $t+1$ vertex-disjoint copies of $F$. In fact, our method results in a rainbow version of the above result and includes a characterization of the extremal constructions. Our approach applies to many well-studied hypergraphs (including graphs) such as the edge-critical graphs, the Fano plane, the generalized triangles, hypergraph expansions, the expanded triangles, and hypergraph books. Our results extend old results of Simonovits~\cite{SI68} and Moon~\cite{Moon68} on complete graphs and can be viewed as a step towards a general density version of the classical Corrádi--Hajnal Theorem~\cite{CH63}.

math.CO↗
arXiv2022

A stability theorem for multi-partite graphs

The Erdős-Simonovits stability theorem is one of the most widely used theorems in extremal graph theory. We obtain an Erdős-Simonovits type stability theorem in multi-partite graphs. Different from the Erdős-Simonovits stability theorem, our stability theorem in multi-partite graphs says that if the number of edges of an $H$-free graph $G$ is close to the extremal graphs for $H$, then $G$ has a well-defined structure but may be far away to the extremal graphs for $H$. As an application, we solve a conjecture posed by Han and Zhao concerning the maximum number of edges in multi-partite graphs which does not contain vertex-disjoint copies of a clique

math.CO↗
arXiv2022

The Turán number for the edge blow-up of trees: the missing case

The edge blow-up of a graph is the graph obtained from replacing each edge of it by a clique of the same size where the new vertices of the cliques are all different. Wang, Hou, Liu and Ma determined the Turán number of the edge blow-up of trees except one particular case. Answering an problem posed by them, we determined the Turán number of this particular case.

math.CO↗
arXiv2022

The bipartite Turan number and spectral extremum for linear forests

The bipartite Turán number of a graph $H$, denoted by $ex(m,n; H)$, is the maximum number of edges in any bipartite graph $G=(X,Y; E)$ with $|X|=m$ and $|Y|=n$ which does not contain $H$ as a subgraph. In this paper, we determined $ex(m,n; F_{\ell})$ for arbitrary $\ell$ and appropriately large $n$ with comparing to $m$ and $\ell$, where $F_\ell$ is a linear forest which consists of $\ell$ vertex disjoint paths. Moreover, the extremal graphs have been characterized. Furthermore, these results are used to obtain the maximum spectral radius of bipartite graphs which does not contain $F_{\ell}$ as a subgraph and characterize all extremal graphs which attain the maximum spectral radius.

math.CO↗
arXiv2021

Extremal graphs for wheels

For a graph $H$, the Turán number of $H$, denoted by ex$(n,H)$, is the maximum number of edges of an $n$-vertex $H$-free graph. Let $g(n,H)$ denote the maximum number of edges not contained in any monochromatic copy of $H$ in a $2$-edge-coloring of $K_n$. A wheel $W_m$ is a graph formed by connecting a single vertex to all vertices of a cycle of length $m-1$. The Turán number of $W_{2k}$ was determined by Simonovits in the 1960s. In this paper, we determine ex$(n,W_{2k+1})$ when $n$ is sufficiently large. We also show that, for sufficiently large $n$, $g(n,W_{2k+1})=\mbox{ex}(n,W_{2k+1})$ which confirms a conjecture posed by Keevash and Sudakov for odd wheels.

math.CO↗