arXiv++ Combinatorics

The relation between local structure and global cycle properties is a classical topic in graph theory. A graph $G$ is locally linear if $G[N(v)]$ is a path for every $v\in V(G)$. It is locally Hamiltonian or locally traceable if every vertex neighborhood induces a Hamiltonian or traceable graph, respectively. Earlier work by Pareek and Skupień, Skupień, Davies and Thomassen, Asratian and Oksimets, and de Wet and van Aardt studied extremal questions for these related graph classes. We prove that the minimum order of a nonhamiltonian locally linear graph is $12$ and that, for every integer $n\geq 12$, the minimum size of such a graph of order $n$ is $2n$. We also prove that every nontraceable locally linear graph of order $n$ has at least $2n+3$ edges.

Let $g(n,k)$ be the maximum number of distinct sizes of maximal cliques in an $n$-vertex $k$-uniform hypergraph, and let $f(n,k)=n-g(n,k)$. We determine the asymptotic order of $f(n,k)$ for every fixed integer $k\ge 3$. Define $L_2(x)=\max\{2,\log_2(\max\{1,x\})\}$, and, for $j\ge 3$, let $L_j(x)$ be the least number of iterations of $L_{j-1}$ needed to reach a value at most $16$. We prove that $$ f(n,k)=Θ_k(L_k(n)).$$ In particular, $f(n,3)=Θ(\log^{*}n)$, where $\log^{*}n$ denotes the iterated logarithm. We also determine the asymptotic behaviour of the layered-tree threshold $c(n,k)$ arising from Gao's insertion-tree method: $$ c(n,k)=\log_2 L_k(n)+O_k(1). $$ Consequently, $f(n,k)=Θ_k\!\left(2^{c(n,k)}\right)$. Our result gives a negative answer to Gao's question in the case $k=3$.

A graph $G$ is called $k$-edge hamiltonian if every linear forest (i.e., a disjoint union of paths) with at most $k$ edges is contained in a Hamilton cycle of $G$. In 2018, Füredi, Kostochka and Luo determined the maximum number of $t$-stars in nonhamiltonian graphs, thereby extending an earlier result of Erdős. Recently, Berikkyzy, Hogenson, Kirsch and McDonald extended this line of research by determining the maximum number of $t$-stars in graphs that are not $k$-edge hamiltonian (as well as related notions such as traceability, hamiltonian-connectedness, and $k$-hamiltonicity). For sufficiently large $t$, they also characterized the extremal graphs, while for smaller values of $t$, they proposed a conjecture. In this paper, we investigate this conjecture.

Given graphs $H$ and $F$, the generalized Turán number $\mathrm{ex}(n,H,F)$ is the maximum number of copies of $H$ among all $n$-vertex $F$-free graphs. The friendship graph $F_k$ consists of $k$ triangles sharing a common vertex. In this paper, we determine the value of $\mathrm{ex}(n,K_3,(t+1)F_k)$, where $K_3$ is a triangle, $t\geq 1$ is an integer, and $(t+1)F_k$ denotes a union of $(t+1)$ pairwise vertex-disjoint copies of $F_k$. Moreover, we characterize the extremal structure. Our result can be viewed as a generalization of the result of Zhu, Chen, Gerbner, Győri, and Hama Karim, as well as of the remaining case left open by Wang, Ni, Liu, and Kang. In contrast to the extremal graphs of $F_k$, the extremal graphs of $(t+1)F_k$ undergo a fundamental change. This structure is also different from those of previous similar problems.

Motivated by Thomassen's well-known line graph conjecture, many researchers have explored sufficient conditions for claw-free graphs to be Hamiltonian or Hamilton-connected. In 1994, Ageev proved that every $2$-connected claw-free graph with domination number at most $2$ is Hamiltonian. In this paper, we extend this line of research to $3$-connected graphs by establishing the best possible upper bound on the domination number that guarantees Hamiltonicity. Specifically, we show that, except for some well-defined exceptional graphs, every $3$-connected claw-free graph $G$ with domination number at most $5$ is Hamiltonian. Furthermore, we prove that, apart from a few exceptional cases, every $3$-connected claw-free graph $G$ with domination number at most $4$ is Hamilton-connected, thereby generalizing earlier results of Zheng, Broersma, Wang and Zhang and Vrána, Zhan and Zhang. We further investigate the Hamiltonian properties of line graphs of $3$-hypergraphs, and prove that every 3-connected line graph of a 3-hypergraph with domination number at most $4$ is Hamiltonian.

Let $c(G)$ denote the circumference of a graph $G$, i.e., the number of vertices in its longest cycle. For positive integers $n$ and $k$ with $n>k$, let $\varGamma(n;k)$ be the class of graphs of order $n$ with $c(G) = n-k$ such that every induced subgraph of order $n-k$ is Hamiltonian. When $k=$, the class $\varGamma(n; 1)$ coincides with the family of hypohamiltonian graphs-non-Hamiltonian graphs in which the deletion of any single vertex yields a Hamiltonian graph.Replacing Hamiltonian with traceable and $c(G)$ with $p(G)$, the order of a longest path, defines the analogous class $\varPi(n;k)$.Grünbaum (1974) conjectured that both $\varGamma(n; k)$ and $\varPi(n; k)$ are empty for all $n>k \ge 2$. In this note, we first establish upper bounds on the maximum degree of graphs in the classes $\varGamma(n; k)$ and $\varPi(n; k)$. Using these bounds, we show that $\varGamma(n; k)$ is empty when $n<k^2+2k+3$, and that $\varPi(n; k)$ is empty when $n<k^2+2k+2$. These results provide further evidence supporting Grünbaum's conjecture.

Given a graph $F$, a hypergraph is called a Berge-$F$ if it can be obtained by expanding each edge of $F$ into a hyperedge containing it. Let $M_{k}$ denote the matching of size $k$. Kang, Ni, and Shan [12] determined the Turán number of Berge-$M_k$. Our main result shows that if an $r$-uniform hypergraph $H$ on $n$ vertices has nearly as many edges as the extremal in their theorem without containing $M_k$, then $H$ must be structurally close to certain well-specified graphs. Meanwhile, our result also implies several stability results, such as the stability version of the well-known Erdős-Gallai theorem (Erdős and Gallai, 1959 [5]).

In this paper, we determine the maximum size of a nonhamiltonian-connected graph with prescribed order and minimum degree. We also characterize the extremal graphs that attain this maximum size. This work generalizes a previous result obtained by Ore [ J. Math. Pures Appl. 42 (1963) 21-27] and further extends a theorem proved by Ho, Lin, Tan, Hsu, and Hsu [Appl. Math. Lett. 23 (2010) 26-29]. As a corollary of our main result, we determine the maximum size of a $k$-connected nonhamiltonian-connected graph with a given order.

A graph is chordal if it does not contain an induced cycle of length greater than three. We determine the minimum size of a chordal graph with given order and minimum degree. In doing so, we have discovered interesting properties of chordal graphs.

Let $Γ(n,k)$ be the set of $2$-connected $n$-vertex graphs containing an edge that is not on any cycle of length at least $k+1.$ Let $g_s(n,k)$ denote the maximum number of $s$-cliques in a graph in $Γ(n,k).$ Recently, Ji and Ye [SIAM J. Discrete Math., 37 (2023) 917-924] determined $g_s(n,k).$ They remark that it is interesting to characterize the extremal graphs. In this paper, we give such a characterization.

The cycles are the only $2$-connected graphs in which any two nonadjacent vertices form a vertex cut. We generalize this fact by proving that for every integer $k\ge 3$ there exists a unique graph $G$ satisfying the following conditions: (1) $G$ is $k$-connected; (2) the independence number of $G$ is greater than $k;$ (3) any independent set of cardinality $k$ is a vertex cut of $G.$ The edge version of this result does not hold. We also consider the problem when replacing independent sets by the periphery.

Let $G$ be a connected graph. The resistance distance between any two vertices of $G$ is equal to the effective resistance between them in the corresponding electrical network constructed from $G$ by replacing each edge with a unit resistor. The Kirchhoff index is defined as the sum of resistance distances between all pairs of the vertices. Recently, Yang and Wang determined the maximum Kirchhoff index of phenylene chains, and they proposed a conjecture about the minimum Kirchhoff index. In this note, we characterized the minimum phenylene chains with respect to the Kirchhoff index. This proves the conjecture.

In 1968, Ore determined the maximum size of $k$-connected graphs with given order and diameter. In this note, we give a new short proof.

Let $K_{r_1,\ldots,r_s}$ denote the complete multipartite graph with class sizes $r_1,\ldots,r_s$ and let $K_s$ denote the complete graph of order $s$. In 2018, Luo determined the maximum number of $K_s$ in 2-connected graphs with a given circumference. Recently, Lu, Yuan and Zhang determined the maximum number of $K_{r_1,r_2}$ in 2-connected graphs with a given circumference, and Wang determined the maximum number of $K_s$ or $K_{r_1,1,\ldots,1}$ in graphs with given matching number. Motivated by these works, we determine the maximum number of $K_{r_1,\ldots,r_s}$ in $2$-connected graphs with given circumference and large minimum degree. The maximum number of $K_{r_1,\ldots,r_s}$ in graphs with given matching number and large minimum degree is also given. Consequently, we determine the maximum number of $K_{r_1,\ldots,r_s}$ in graphs with a given circumference or matching number. We also solve the corresponding problems for graphs with a given detour order.

We prove that every 3-connected claw-free graph with domination number at most 3 is hamiltonian-connected. The result is sharp and it is inspired by a conjecture posed by Zheng, Broersma, Wang and Zhang in 2020.

Erdős determined the maximum size of a nonhamiltonian graph of order $n$ and minimum degree at least $k$ in 1962. Recently, Ning and Peng generalized. Erdős' work and gave the maximum size $h(n,c,k)$ of graphs with prescribed order $n$, circumference $c$ and minimum degree at least $k.$ But for some triples $n,c,k,$ the maximum size is not attained by a graph of minimum degree $k.$ For example, $h(15,14,3)=77$ is attained by a unique graph of minimum degree $7,$ not $3.$ In this paper we obtain more precise information by determining the maximum size of a graph with prescribed order, circumference and minimum degree. Consequently we solve the corresponding problem for longest paths. All these results on the size of graphs have clique versions.

Motivated by work of Erdős, Ota determined the maximum size $g(n,k)$ of a $k$-connected nonhamiltonian graph of order $n$ in 1995. But for some pairs $n,k,$ the maximum size is not attained by a graph of connectivity $k.$ For example, $g(15,3)=77$ is attained by a unique graph of connectivity $7,$ not $3.$ In this paper we obtain more precise information by determining the maximum size of a nonhamiltonian graph of order $n$ and connectivity $k,$ and determining the extremal graphs. Consequently we solve the corresponding problem for nontraceable graphs.