arXiv++ Combinatorics

Let $g(n,k)$ be the largest possible number of distinct sizes of maximal cliques in a $k$-uniform hypergraph on $n$ vertices, and let $f(n,k)=n-g(n,k)$. In the graph case, Spencer proved in 1971 that $f(n,2)=Θ(\log n)$. For $3$-uniform hypergraphs, Erdős constructed examples showing that $f(n,3)\le \log^* n+O(1)$, where $\log^* n$ is the number of iterated logarithms such that $\log\log \ldots \log n<1$. Recently, Gao (JCT-B, 2026) proved that $f(n,3)\ge\log \log^* n-O(1)$, thereby answering a question posed by Erdős. In the same paper, Gao defined the associated layered-tree threshold $c(n,3)$ and asked whether $f(n,k)=Θ(c(n,3))$. In this paper, we determine the correct order $$f(n,3)=Θ(\log^* n).$$ Since $c(n,3)=\log\log^* n+O(1)$, our result gives a negative answer to Gao's question in the case $k=3$. We conclude by proposing the following conjecture: $f(n,k)=Θ_k\!\left(2^{c(n,k)}\right)$ for every fixed $k\ge3$.

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.

The study of the relationship between local and global properties of mathematical objects has always been a key subject of investigation in different areas of mathematics. A graph $G$ is called locally linear if the neighbourhood of every vertex of $G$ induces a path. And $G$ is called locally hamiltonian (traceable) if the neighbourhood of every vertex of $G$ induces a hamiltonian (traceable) graph. The local properties of graphs are being studied extensively. For example, the minimum order of a nonhamiltonian (or nontraceable) locally hamiltonian (or traceable) graph has been determined. In this paper, we determine the minimum order of a nonhamiltonian locally linear graph and the minimum size of a nonhamiltonian locally linear graph of a given order.

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.