arXiv++ Combinatorics

Letzter, Methuku and Sudakov proved that sufficiently regular sublinear expanders contain nearly spanning cycles and paths. Montgomery subsequently conjectured that every regular sublinear expander of sufficiently large degree is hamiltonian. Recently, Chen, Liu, Wei and Yang disproved this conjecture by constructing $d$-regular sublinear expanders of order $n$ with $d=(1/2+o(1))\log^2 n$ and small circumference. They further posed the problem of determining whether, for every fixed $\varepsilon>0$, there exists a constant $C=C(\varepsilon)$ such that every sufficiently large $n$-vertex $d$-regular $(\varepsilon,d)$-expander with $d\ge C\log^2 n$ is hamiltonian. We answer this problem negatively by constructing, for every sufficiently small fixed $\varepsilon>0$, infinitely many nonhamiltonian $d$-regular $(\varepsilon,d)$-expanders with degrees far above the $\log^2 n$ scale.

In 2017, McDiarmid and Yolov introduced the bipartite-hole-number $\widetildeα(G)$ and proved that $δ(G)\ge \widetildeα(G)$ forces a Hamilton cycle. They also gave a sufficient condition for packing edge-disjoint Hamilton cycles, and asked whether this condition is sharp or can be relaxed. For integers $a,k\ge 2$, let $f(a,k)$ be the least integer $d$ such that every graph $G$ on at least three vertices with $\widetildeα(G)\le a$ and $δ(G)\ge d$ contains $k$ pairwise edge-disjoint Hamilton cycles. We prove that $f(a,k)=Θ\left(a+k+\frac{ak}{\log(k+2)}\right).$ The upper bound uses a deletion lemma for the bipartite-hole-number together with the McDiarmid--Yolov Hamiltonicity theorem and a greedy packing argument. The lower bound is obtained from three extremal constructions, the logarithmic one using a sparse random auxiliary graph with no prescribed bipartite hole.

A classical theorem of Sheehan in 1977 states that every hamiltonian graph $G$ of order $n$ satisfying $e(G)>\left\lfloor \frac{n^2}{4}\right\rfloor+1$ contains at least two cycles of every length $\ell$, $3\le \ell\le n$. In the same paper, Sheehan recorded a conjecture of Hilton, which strengthens this conclusion by asserting that such a graph contains at least $n-\ell+2$ cycles of length $\ell$ for each $3\le \ell\le n$. We prove Hilton's conjecture for all hamiltonian graphs of order at least $440$.

In 1980, Paul Erdős posed the following problem: For every positive integer $n,$ determine a nonhamiltonian graph of order $n$ having the maximum number of Hamilton paths. We solve the more general problem of determining the nonhamiltonian graphs of order $n$ having the maximum number of paths of length $k$ for given integers $n$ and $k$ with $1\le k\le n-1.$ The case $k=n-1$ gives a solution to Erdős's problem and the case $k=1$ corresponds to a theorem due to Ore and Bondy.

A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ An edge $e$ in a graph $G$ of order $n$ is called pancyclic if for every integer $k$ with $3\le k\le n,$ $e$ lies in a $k$-cycle. We prove that every $2$-connected $[4, 2]$-graph of order at least seven contains a pancyclic edge. This strengthens an existing result. We also determine the minimum size of a $[4, 2]$-graph of a given order and show that any $[4, 2]$-graph of order at least eight is not uniquely hamiltonian.

Recently Lin, Wang and Zhou have proved that every $3$-connected nonbipartite graph of minimum degree at least $k$ with $k\ge 6$ and order at least $k+2$ contains $k$ cycles of consecutive lengths. They also conjecture that this result is true for $k=4, 5.$ We prove this conjecture. Our proofs use many ideas of Gao, Huo, Liu and Ma.

The bipartite-hole-number of a graph $G$, denoted by $\widetildeα(G)$, is the minimum integer $k$ such that there exist positive integers $s$ and $t$ with $s + t = k + 1$, satisfying the property that for any two disjoint sets $A, B \subseteq V(G)$ with $|A| = s$ and $|B| = t$, there is at least one edge between $A$ and $B$. In 1992, Bollobás and Brightwell, and independently Shi, proved that every $2$-connected graph of order $n$ contains a cycle passing through all vertices whose degrees are at least $\frac{n}{2}$. Motivated by their result, we show that in any $2$-connected graph of order $n$, there exists a cycle containing all vertices whose degrees are at least $\widetildeα(G)$. Moreover, we prove that for any pair of vertices in a connected graph $G$, if their degrees are at least $\widetildeα(G) + 1$, then there exists a path joining them that contains all vertices whose degrees are at least $\widetildeα(G) + 1$. The results extend two existing ones.

We introduce several new concepts about graphs and investigate their basic properties. A longest path in a graph is called a detour and a longest cycle is called a cummerbund. The detour covering number of a graph is the number of vertices that lie in a detour. A graph is said to be detour covered if every vertex lies in a detour. The cummerbund covering number and cummerbund covered graphs are defined similarly. Some of the main results are as follows. (1) Minimum degree and forbidden subgraph conditions that ensure a graph to be cummerbund covered or detour covered. (2) The minimum cummerbund covering number and minimum detour covering number of a graph with connectivity or girth conditions. (3) The minimum cummerbund covering number of a $2$-connected bipartite graph and the extremal graphs.

The bipartite-hole-number of a graph $G$, denoted as $\widetildeα(G)$, is the minimum number $k$ such that there exist positive integers $s$ and $t$ with $s+t=k+1$ with the property that for any two disjoint sets $A,B\subseteq V(G)$ with $|A|=s$ and $|B|=t$, there is an edge between $A$ and $B$. In this paper, based on Ore-type conditions, we show that if a graph $G$ is 2-connected and the degree sum of any two nonadjacent vertices in $G$ is at least $ 2\widetildeα(G)$, then $G$ is hamiltonian. Furthermore, we prove that if $G$ is 3-connected and the degree sum of any two nonadjacent vertices in $G$ is at least $ 2\widetildeα(G)+1$, then $G$ is hamiltonian-connected.

B. Bollobás and G. Brightwell and independently R. Shi proved the existence of a cycle through all vertices whose degrees at least $\frac{n}{2}$ in any $2$-connected graph of order $n$. Motivated by this result, we prove the existence of a cycle through all vertices whose degrees at least $n-ω$ in any $2$-connected graph $G$ of order $n$ with clique number $ω$ unless $G$ is a specific graph. Moreover, we show that for any pair of vertices whose degrees are at least $n-ω+1$ in a graph $G$ of order $n$ with clique number $ω$, there exists a path joining them which contains all vertices of degree at least $n-ω+1$ unless $G$ belongs to certain graph classes. In doing so, we prove the existence of a $(u,v)$-path through all vertices whose degrees at least $\frac{n+1}{2}$ in any graph of order $n$, where $u,v$ are two distinct vertices of degree at least $\frac{n+1}{2}$.

A local subgraph of a graph is the subgraph induced by the neighborhood of a vertex. Thus a graph of order $n$ has $n$ local subgraphs. A graph $G$ is called locally nonforesty if every local subgraph of $G$ contains a cycle. Clearly, a graph is locally nonforesty if and only if every vertex of the graph is the hub of a wheel. We determine the minimum size of a $k$-connected locally nonforesty graph of order $n.$

A non-complete graph $G$ is said to be $t$-tough if for every vertex cut $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. The toughness $τ(G)$ of the graph $G$ is the maximum value of $t$ such that $G$ is $t$-tough. A graph $G$ is said to be minimally $t$-tough if $τ(G)=t$ and $τ(G-e)<t$ for every $e\in E(G)$. In 2003, Kriesell conjectured that every minimally $1$-tough graph contains a vertex of degree $2$. In 2018, Katona and Varga generalized this conjecture, asserting that every minimally $t$-tough graph contains a vertex of degree $\lceil 2t \rceil$. Recently, Zheng and Sun disproved the generalized Kriesell conjecture by constructing a family of $4$-regular graphs of even order. They also raised the question of whether there exist other minimally $t$-tough regular graphs that do not satisfy the generalized Kriesell conjecture. In this paper, we provide an affirmative answer by constructing a family of $4$-regular graphs of odd order, as well as a family of 6-regular graphs of order $3k+1~(k\geq 5)$.

A local subgraph of a graph is the subgraph induced by the neighborhood of a vertex. Thus a graph of order $n$ has $n$ local subgraphs. A graph $G$ is called locally nonforesty if every local subgraph of $G$ contains a cycle. Recently, in studying forest cuts of a graph, Chernyshev, Rauch and Rautenbach posed the conjecture that if $n$ and $m$ are the order and size of a $3$-connected locally nonforesty graph respectively, then $m\ge 7(n-1)/3.$ We solve this problem by determining the minimum size of a $3$-connected locally nonforesty graph of order $n.$ It turns out that the conjecture does not hold.

Thomassen's chord conjecture from 1976 states that every longest cycle in a $3$-connected graph has a chord. The circumference $c(G)$ and induced circumference $c'(G)$ of a graph $G$ are the length of its longest cycles and the length of its longest chordless cycles, respectively. In $2017$, Harvey proposed a stronger conjecture: Every $2$-connected graph $G$ with minimum degree at least $3$ has $c(G)\geq c'(G)+2$. This conjecture implies Thomassen's chord conjecture. We observe that wheels are the unique hamiltonian graphs for which the circumference and the induced circumference differ by exactly one. Thus we need only consider non-hamiltonian graphs for Harvey's conjecture. In this paper, we propose a conjecture involving wheels that is equivalent to Harvey's conjecture on non-hamiltonian graphs. A graph is $\ell$-holed if its all holes have length exactly $\ell$. Furthermore, we prove that Harvey's conjecture holds for $\ell$-holed graphs and graphs with a small induced circumference. Consequently, Thomassen's conjecture also holds for this two classes of graphs.

A $k$-cycle in a graph is a cycle of length $k.$ A graph $G$ of order $n$ is called edge-pancyclic if for every integer $k$ with $3\le k\le n,$ every edge of $G$ lies in a $k$-cycle. It seems difficult to determine the minimum size $f(n)$ of a simple edge-pancyclic graph of order $n.$ We give lower and upper bounds on $f(n),$ and determine the maximum diameter of such a graph. In the $3$-connected case, the precise value of $f(n)$ is determined. We also determine the minimum size of a graph of a given order with connectivity conditions in which every edge lies in a triangle.

Thomassen's chord conjecture from 1976 states that every longest cycle in a $3$-connected graph has a chord. This is one of the most important unsolved problems in graph theory. Let $H$ be a subgraph of a graph $G$. A vertex $v$ of $H$ is said to be $H$-bound if all the neighbors of $v$ in $G$ lie in $H$. Recently, Zhan has made the more general conjecture that in a $k$-connected graph, every longest path $P$ between two vertices contains at least $k-1$ internal $P$-bound vertices. In this paper, we prove that Zhan's conjecture holds for $2$-connected cubic graphs. This conclusion generalizes a result of Thomassen [{\em J. Combin. Theory Ser. B} \textbf{129} (2018) 148--157]. Furthermore, we prove that if the two vertices are adjacent, Zhan's conjecture holds for $3$-connected cubic graphs, from which we deduce that every longest cycle in a $3$-connected cubic graph has at least two chords. This strengthens a result of Thomassen [{\em J. Combin. Theory Ser. B} \textbf{71} (1997) 211--214].

Recently, Ma, Qian and Shi determined the maximum size of an $n$-vertex graph with given fractional matching number $s$ and maximum degree at most $d$. Motivated by this result, we determine the maximum number of $\ell$-cliques in a graph with given fractional matching number and minimum degree, which generalizes Shi and Ma's result about the maximum size of a graph with given fractional matching number and minimum degree at least one. We also determine the maximum number of complete bipartite graphs in a graph with prescribed fractional matching number and minimum degree.

Given a graph $H$, a graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. For a positive real number $t$, a non-complete graph $G$ is said to be $t$-tough if for every vertex cut $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. A complete graph is said to be $t$-tough for any $t>0$. Chvátal's toughness conjecture, stating that there exists a constant $t_0$ such that every $t_0$-tough graph with at least three vertices is Hamiltonian, is still open in general. Chvátal and Erdös \cite{CE} proved that, for any integer $k\ge 1$, every $\max\{2,k\}$-connected $(k+1)P_1$-free graph on at least three vertices is Hamiltonian. Along the Chvátal-Erdös theorem, Shi and Shan \cite{SS} proved that, for any integer $k\ge 4$, every $4$-tough $2k$-connected $(P_2\cup kP_1)$-free graph with at least three vertices is Hamiltonian, and furthermore, they proposed a conjecture that for any integer $k\ge 1$, any $1$-tough $2k$-connected $(P_2\cup kP_1)$-free graph is Hamiltonian. In this paper, we confirm the conjecture, and furthermore, we show that if $k\ge 3$, then the condition `$2k$-connected' may be weakened to be `$2(k-1)$-connected'. As an immediate consequence, for any integer $k\ge 3$, every $(k-1)$-tough $(P_2\cup kP_1)$-free graph is Hamiltonian. This improves the result of Hatfield and Grimm \cite{HG}, stating that every $3$-tough $(P_2\cup 3P_1)$-free graph is Hamiltonian.