-
The Ramsey number of the 4-cycle versus a book graph
Authors:
Chunyang Dou,
Tianyu Li,
Qizhong Lin,
Xing Peng
Abstract:
Given positive integers $n$ and $k$, the book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ sharing a common $K_k$. The book graph is a common generalization of a star and a clique, which can be seen by taking $k=1$ and $n=1$ respectively. In addition, the Ramsey number of a book graph is closely related to the diagonal Ramsey number. Thus the study of extremal problems related to the book…
▽ More
Given positive integers $n$ and $k$, the book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ sharing a common $K_k$. The book graph is a common generalization of a star and a clique, which can be seen by taking $k=1$ and $n=1$ respectively. In addition, the Ramsey number of a book graph is closely related to the diagonal Ramsey number. Thus the study of extremal problems related to the book graph is of substantial significance. In this paper, we aim to investigate the Ramsey number $r(C_4,B_n^{(k)})$ which is the smallest integer $N$ such that for any graph $G$ on $N$ vertices, either $G$ contains $C_4$ as a subgraph or the complement $\overline{G}$ contains $B_n^{(k)}$ as a subgraph. For $k=1$, a pioneer work by Parsons ({\it Trans.~Amer.~Math.~Soc.,} 209 (1975), 33--44) gives an upper bound for $r(C_4,B_n^{(1)})$, which is tight for infinitely many $n$. For $k=2$, in a recent paper ({\em J. Graph Theory,} 103 (2023), 309--322), the second, the third, and the fourth authors obtained the exact value of $r(C_4,B_{n}^{(2)})$ for infinitely many $n$. The goal of this paper is to prove a similar result for each integer $k \geq 3$. To be precise, given an integer $k \geq 3$ and a constant $0<\varepsilon<1$, let $n=q^2-kq+t+\binom{k}{2}-k$ and $Q(k,\varepsilon)=(320k^4)^{k+1}/\varepsilon^{2k}$, where $1 \leq t \leq (1-\varepsilon)q$. We first establish an upper bound for $r(C_4,B_n^{(k)})$ provided $q \geq Q(k,\varepsilon)$. Then we show the upper bound is tight for $q \geq Q(k,\varepsilon)$ being a prime power and $1 \leq t \leq (1-\varepsilon)q$ under some assumptions. The proof leverages on a simple but novel refinement of a well-known inequality related to a $C_4$-free graph. Therefore, for each $k \geq 3$, we obtain the exact value of $r(C_4,B_n^{(k)})$ for infinitely many $n$. Moreover, we prove general upper and lower bounds of $r(C_4,B_n^{(k)})$ for $k \geq 3$.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Turán numbers of cycles plus a general graph
Authors:
Chunyang Dou,
Fu-tao Hu,
Xing Peng
Abstract:
For a family of graphs $\cal F$, a graph $G$ is $\cal F$-free if it does not contain a member of $\cal F$ as a subgraph. The Turán number $\textrm{ex}(n,{\cal F})$ is the maximum number of edges in an $n$-vertex graph which is $\cal F$-free. Let ${\cal C}_{\geq k}$ be the set of cycles with length at least $k$. In this paper, we investigate the Turán number of $\{{\cal C}_{\geq k}, F\}$ for a gene…
▽ More
For a family of graphs $\cal F$, a graph $G$ is $\cal F$-free if it does not contain a member of $\cal F$ as a subgraph. The Turán number $\textrm{ex}(n,{\cal F})$ is the maximum number of edges in an $n$-vertex graph which is $\cal F$-free. Let ${\cal C}_{\geq k}$ be the set of cycles with length at least $k$. In this paper, we investigate the Turán number of $\{{\cal C}_{\geq k}, F\}$ for a general graph $F$. To be precise, we determine $\textrm{ex}(n, \{{\cal C}_{\geq k}, F\})$ apart from a constant additive term, where $F$ either is a 2-connected nonbipartite graph or is a 2-connected bipartite graph under some conditions. This is an extension of a previous result on the Turán number of $\{{\cal C}_{\geq k}, K_r\}$ by the first author, Ning, and the third author.
△ Less
Submitted 12 December, 2024; v1 submitted 26 November, 2024;
originally announced November 2024.
-
The number of edges in graphs with bounded clique number and circumference
Authors:
Chunyang Dou,
Bo Ning,
Xing Peng
Abstract:
Let $\cal H$ be a family of graphs. The Turán number ${\rm ex}(n,{\cal H})$ is the maximum possible number of edges in an $n$-vertex graph which does not contain any member of $\cal H$ as a subgraph. As a common generalization of Turán's theorem and Erdős-Gallai theorem on the Turán number of matchings, Alon and Frankl determined ${\rm ex}(n,{\cal H})$ for ${\cal H}=\{K_r,M_k\}$, where $M_k$ is a…
▽ More
Let $\cal H$ be a family of graphs. The Turán number ${\rm ex}(n,{\cal H})$ is the maximum possible number of edges in an $n$-vertex graph which does not contain any member of $\cal H$ as a subgraph. As a common generalization of Turán's theorem and Erdős-Gallai theorem on the Turán number of matchings, Alon and Frankl determined ${\rm ex}(n,{\cal H})$ for ${\cal H}=\{K_r,M_k\}$, where $M_k$ is a matching of size $k$. Replacing $M_k$ by $P_k$, Katona and Xiao obtained the Turán number of ${\cal H}=\{K_r,P_k\}$ for $r \leq \lfloor k/2 \rfloor$ and sufficiently large $n$. In addition, they proposed a conjecture for the case of $r \geq \lfloor k/2 \rfloor+1$ and sufficiently large $n$. Motivated by the fact that the result for ${\rm ex}(n,P_k)$ can be deduced from the one for ${\rm ex}(n,{\cal C}_{\geq k})$, we investigate the Turán number of ${\cal H}=\{K_r, {\cal C}_{\geq k}\}$ in this paper. In other words, we aim to determine the maximum number of edges in graphs with clique number at most $r-1$ and circumference at most $k-1$. For ${\cal H}=\{K_r, {\cal C}_{\geq k}\}$, we are able to show the value of ${\rm ex}(n,{\cal H})$ for $r \geq \lfloor (k-1)/2\rfloor+2$ and all $n$. As an application of this result, we confirm Katona and Xiao's conjecture in a stronger form. For $r \leq \lfloor (k-1)/2\rfloor+1$, we manage to show the value of ${\rm ex}(n,{\cal H})$ for sufficiently large $n$.
△ Less
Submitted 12 December, 2024; v1 submitted 8 October, 2024;
originally announced October 2024.
-
Global weak solutions to 3D compressible Primitive equations with density-dependent viscosity
Authors:
Fengchao Wang,
Changsheng Dou,
Quansen Jiu
Abstract:
This paper is devoted to investigating the global existence of weak solutions for the compressible primitive equations (CPE) with damping term in a three-dimensional torus for large initial data. The system takes into account density-dependent viscosity. In our proof, we represent the vertical velocity as a function of the density and the horizontal velocity which will play a role to use the Faedo…
▽ More
This paper is devoted to investigating the global existence of weak solutions for the compressible primitive equations (CPE) with damping term in a three-dimensional torus for large initial data. The system takes into account density-dependent viscosity. In our proof, we represent the vertical velocity as a function of the density and the horizontal velocity which will play a role to use the Faedo-Galerkin method to obtain the global existence of the approximate solutions. Motivated by Vasseur and Yu [yucheng2016], we obtain the key estimates of lower bound of the density, the Bresch-Desjardin entropy on the approximate solutions. Based on these estimates, using compactness arguments, we prove the global existence of weak solutions of CPE by vanishing the parameters in our approximate system step by step.
△ Less
Submitted 12 December, 2017;
originally announced December 2017.
-
Existence of strong solutions to the steady Navier-Stokes equations for a compressible heat-conductive fluid with large forces
Authors:
Changsheng Dou,
Fei Jiang,
Song Jiang,
Yong-Fu Yang
Abstract:
We prove that there exists a strong solution to the Dirichlet boundary value problem for the steady Navier-Stokes equations of a compressible heat-conductive fluid with large external forces in a bounded domain $R^d (d = 2, 3)$, provided that the Mach number is appropriately small. At the same time, the low Mach number limit is rigorously verified. The basic idea in the proof is to split the equat…
▽ More
We prove that there exists a strong solution to the Dirichlet boundary value problem for the steady Navier-Stokes equations of a compressible heat-conductive fluid with large external forces in a bounded domain $R^d (d = 2, 3)$, provided that the Mach number is appropriately small. At the same time, the low Mach number limit is rigorously verified. The basic idea in the proof is to split the equations into two parts, one of which is similar to the steady incompressible Navier-Stokes equations with large forces, while another part corresponds to the steady compressible heat-conductive Navier-Stokes equations with small forces. The existence is then established by dealing with these two parts separately, establishing uniform in the Mach number a priori estimates and exploiting the known results on the steady incompressible Navier-Stokes equations.
△ Less
Submitted 7 August, 2014; v1 submitted 27 February, 2013;
originally announced February 2013.
-
Weak-strong uniqueness property for the compressible flow of liquid crystals
Authors:
Yong-Fu Yang,
Changsheng Dou,
Qiangchang Ju
Abstract:
Weak-strong uniqueness property in the class of finite energy weak solutions is established for two different compressible liquid crystal systems by the method of relative entropy. To overcome the difficulties caused by the molecular direction with inhomogeneous Dirichlet boundary condition, new techniques are introduced to build up the relative entropy inequalities.
Weak-strong uniqueness property in the class of finite energy weak solutions is established for two different compressible liquid crystal systems by the method of relative entropy. To overcome the difficulties caused by the molecular direction with inhomogeneous Dirichlet boundary condition, new techniques are introduced to build up the relative entropy inequalities.
△ Less
Submitted 6 May, 2012; v1 submitted 30 March, 2012;
originally announced March 2012.
-
On One-dimensional Compressible Navier-Stokes Equations with Degenerate Viscosity and Constant State at Far fields
Authors:
Changsheng Dou,
Quansen Jiu
Abstract:
In this paper, we are concerned with the Cauchy problem for one-dimensional compressible isentropic Navier-Stokes equations with density-dependent viscosity $μ(ρ)=ρ^α(α>0)$ and pressure $P(ρ)=ρ^γ\ (γ>1)$. We will establish the global existence and asymptotic behavior of weak solutions for any $α>0$ and $γ>1$ under the assumption that the density function keeps a constant state at far fields. This…
▽ More
In this paper, we are concerned with the Cauchy problem for one-dimensional compressible isentropic Navier-Stokes equations with density-dependent viscosity $μ(ρ)=ρ^α(α>0)$ and pressure $P(ρ)=ρ^γ\ (γ>1)$. We will establish the global existence and asymptotic behavior of weak solutions for any $α>0$ and $γ>1$ under the assumption that the density function keeps a constant state at far fields. This enlarges the ranges of $α$ and $γ$ and improves the previous results presented by Jiu and Xin. As a result, in the case that $0<α<\frac12$, we obtain the large time behavior of the strong solution obtained by Mellet and Vasseur when the solution has a lower bound (no vacuum).
△ Less
Submitted 19 March, 2012;
originally announced March 2012.
-
Local well-posedness and blow up criterion for the Inviscid Boussinesq system in Hölder spaces
Authors:
Xiaona Cui,
Changsheng Dou,
Quansen Jiu
Abstract:
We prove the local in time existence and a blow up criterion of solution in the Hölder spaces for the inviscid Boussinesq system in $R^{N},N\geq2$, under the assumptions that the initial values $θ_{0},u_{0}\in C^{r}$, with $r>1$.
We prove the local in time existence and a blow up criterion of solution in the Hölder spaces for the inviscid Boussinesq system in $R^{N},N\geq2$, under the assumptions that the initial values $θ_{0},u_{0}\in C^{r}$, with $r>1$.
△ Less
Submitted 21 September, 2010;
originally announced September 2010.