We prove that every graph with $n$ vertices and at least $5n-8$ edges contains the Petersen graph as a minor, and this bound is best possible. Moreover we characterise all Petersen-minor-free graphs with at least $5n-11$ edges. It follows that every graph containing no Petersen minor is 9-colourable and has vertex arboricity at most 5. These results are also best possible.
The saturation number $\text{sat}(n,\mathcal{F})$ is the minimum number of edges in any graph which does not contain a member of $\mathcal{F}$ as a subgraph, but will if any edge is added. We give a few upper and lower bounds for saturation numbers for minors. In particular, we shall show that certain Generalized Petersen Graphs are $K^r$-minor saturated for $6\le r\le 8$.
We determine the maximum number of edges in a $K_4$-minor-free $n$-vertex graph of girth $g$, when $g = 5$ or $g$ is even. We argue that there are many different $n$-vertex extremal graphs, if $n$ is even and $g$ is odd.
Let $V_{8}+e$ denote the unique graph obtained from the Wagner graph, also known as $V_{8}$, by adding an edge between two vertices of distance 3 on the Hamilton cycle, which is exactly a split of a minor of the Petersen graph. A complete characterization of all internally 4-connected graphs with no $V_{8}$ minor is given in [J. Maharry and N. Robertson, The structure of graphs not topologically containing the Wagner graph, J. Combin. Theory Ser. B 121 (2016) 398-420]. In this paper we characterize all internally 4-connected graphs with no $V_{8}+e$ minor.
We prove an asymptotically tight bound on the extremal density guaranteeing subdivisions of bounded-degree bipartite graphs with a mild separability condition. As corollaries, we answer several questions of Reed and Wood on embedding sparse minors. Among others, $\bullet$ $(1+o(1))t^2$ average degree is sufficient to force the $t\times t$ grid as a topological minor; $\bullet$ $(3/2+o(1))t$ average degree forces every $t$-vertex planar graph as a minor, and the constant $3/2$ is optimal, furthermore, surprisingly, the value is the same for $t$-vertex graphs embeddable on any fixed surface; $\b…
Minors play an important role in extremal graph theory and spectral extremal graph theory. Tait [The Colin de Verdière parameter, excluded minors, and the spectral radius, J. Combin. Theory Ser. A 166 (2019) 42--58] determined the maximum spectral radius and characterized the unique extremal graph for $K_r$-minor free graphs of sufficiently large order $n$, he also made great progress on $K_{s,t}$-minor free graphs and posed a conjecture: Let $2\leq s\leq t$ and $n-s+1=pt+q$, where $n$ is sufficiently large and $1\leq q\leq t.$ Then $K_{s-1}\nabla (pK_t\cup K_q)$ is the unique extremal graph w…
Let $G$ be a graph of order $n$, and let $A(G)$ and $D(G)$ be the adjacency matrix and the degree matrix of $G$ respectively. Define the convex linear combinations $A_α(G)$ of $A (G)$ and $D (G) $ by $$A_α(G)=αD(G)+(1-α)A(G)$$ for any real number $0\leqα\leq1$. The \emph{$α$-index} of $G$ is the largest eigenvalue of $A_α(G)$. In this paper, we determine the maximum $α$-index and characterize all extremal graphs for $K_r$ minor-free graphs, $K_{s,t}$ minor-free graphs, and star-forest-free graphs for any $0<α<1$ by unified eigenvector approach, respectively.
For a graph $H$, let $c(H)=\inf\{c\,:\,e(G)\geq c|G| \mbox{ implies } G\succ H\,\}$, where $G\succ H$ means that $H$ is a minor of $G$. We show that if $H$ has average degree $d$, then $$ c(H)\le (0.319\ldots+o_d(1))|H|\sqrt{\log d} $$ where $0.319\ldots$ is an explicitly defined constant. This bound matches a corresponding lower bound shown to hold for almost all such $H$ by Norin, Reed, Wood and the first author.
A frame template over a field $\mathbb F$ describes the precise way in which a given $\mathbb F$-representable matroid is close to being a frame matroid. Our main result determines the maximum-rank projective or affine geometry that is described by a given frame template over a prime field. Subject to the matroid minors hypothesis of Geelen, Gerards, and Whittle, we use our result to determine, for each projective or affine geometry $N$ over a prime field $\mathbb F$, a best-possible upper bound on the number of elements in a simple $\mathbb F$-representable matroid $M$ of sufficiently large r…
Let $c(H)$ be the smallest value for which $e(G)/|G|\geq c(H)$ implies $H$ is a minor of $G$. We show a new upper bound on $c(H)$, which improves previous bounds for graphs with a vertex partition where some pairs of parts have many more edges than others -- for instance a complete bipartite graph with a small number of edges placed inside one class. We also show a tight matching lower bound for almost all such graphs. We apply these results to show $c(K_{ft/\log t,t}) = (0.638\dotsc+o_{f}(1))t\sqrt{f}$, for $f = o(\log t) = ω(1)$.
The "extremal function" $c(H)$ of a graph $H$ is the supremum of densities of graphs not containing $H$ as a minor, where the "density" of a graph $G$ is the ratio of the number of edges to the number of vertices. Myers and Thomason (2005), Norin, Reed, Thomason and Wood (2020), and Thomason and Wales (2019) determined the asymptotic behaviour of $c(H)$ for all polynomially dense graphs $H$, as well as almost all graphs $H$ of constant density. We explore the asymptotic behavior of the extremal function in the regime not covered by the above results, where in addition to having constant densit…
School of Mathematics and Statistics, Nanjing University of Science and Technology（南京理工大学数学与统计学院）；School of Mathematics, East China University of Science and Technology（华东理工大学数学系）；School of Mathematics and Finance, Chuzhou University（滁州学院数学与金融学院）
Let $F_s$ be the friendship graph obtained from $s$ triangles by sharing a common vertex. For fixed $s\ge 2$ and sufficiently large $n$, the $F_s$-free graphs of order $n$ which attain the maximal spectral radius was firstly characterized by Cioabă, Feng, Tait and Zhang [Electron. J. Combin. 27 (4) (2020)],and later uniquely determined by Zhai, Liu and Xue [Electron. J. Combin. 29 (3) (2022)]. Recently, the spectral extremal problems was widely studied for graphs containing no $H$ as a minor. For instance, Tait [J. Combin. Theory Ser. A 166 (2019)], Zhai and Lin [J. Combin. Theory Ser. B 157 (…
We introduce the following combinatorial problem. Let $G$ be a triangle-free regular graph with edge density $ρ$. What is the minimum value $a(ρ)$ for which there always exist two non-adjacent vertices such that the density of their common neighborhood is $\leq a(ρ)$? We prove a variety of upper bounds on the function $a(ρ)$ that are tight for the values $ρ=2/5,\ 5/16,\ 3/10,\ 11/50$, with $C_5$, Clebsch, Petersen and Higman-Sims being respective extremal configurations. Our proofs are entirely combinatorial and are largely based on counting densities in the style of flag algebras. For small v…
A graph is said to be \textit{$H$-minor free} if it does not contain $H$ as a minor. In this paper, we characteristic the unique extremal graph with maximal $Q$-index among all $n$-vertex $K_{1,t}$-minor free graphs ($t\ge3$).
The spectral extrema problems on forbidding minors have aroused wide attention. Very recently, Zhai and Lin [J. Combin. Theory Ser. B 157 (2022) 184--215] determined the extremal graph with maximum adjacency spectral radius among all $K_{s,t}$-minor free graphs of sufficiently large order. The matrix $A_α(G)$ is a generalization of the adjacency matrix $A(G)$, which is defined by Nikiforov \cite{Nikiforov2} as $$A_α(G) = αD(G) + (1 - α)A(G),$$ where $0\leqα\leq1$. Given a graph $F$, the $A_α$-spectral extrema problem is to determine the maximum spectral radius of $A_α(G)$ or characterize the e…
The Colin de Verdière parameter, excluded minors, and the spectral radius
在本文中，我们刻画了在所有Colin de Verdière参数至多为$m$的图上使邻接矩阵的谱半径最大化的图.我们还刻画了最大谱半径的图形，没有$H$作为一个次要的$H$是$K_r$或$K_{s,t}$。有趣的是，当$r$和$s$很小时，极值图匹配那些在没有$H$作为子图的所有图上最大化边数的图，但当它们较大时则不匹配。
One of Erdos's conjectures states that every triangle-free graph on $n$ vertices has an induced subgraph on $n/2$ vertices with at most $n^2/50$ edges. We report several partial results towards this conjecture. In particular, we establish the new bound $\frac{27}{1024}n^2$ on the number of edges in general case. We completely prove the conjecture for graphs of girth $\geq 5$, for graphs with independence number $\geq 2n/5$ and for strongly regular graphs. Each of these three classes includes both known (conjectured) extremal configurations, the 5-cycle and the Petersen graph.
Extremal properties of sparse graphs, randomly perturbed by the binomial random graph are considered. It is known that every $n$-vertex graph $G$ contains a complete minor of order $Ω(n/α(G))$. We prove that adding $ξn$ random edges, where $ξ> 0$ is arbitrarily small yet fixed, to an $n$-vertex graph $G$ satisfying $α(G) \leq ζ(ξ)n$ asymptotically almost surely results in a graph containing a complete minor of order $\tilde Ω\left( n/\sqrt{α(G)}\right)$; this result is tight up to the implicit logarithmic terms. For complete topological minors, we prove that there exists a constant $C>0$ such …
Hadwiger's Conjecture from 1943 states that every graph with no $K_{t}$ minor is $(t-1)$-colorable; it remains wide open for all $t\ge 7$. For positive integers $t$ and $s$, let $\mathcal{K}_t^{-s}$ denote the family of graphs obtained from the complete graph $K_t$ by removing $s$ edges. We say that a graph $G$ has no $\mathcal{K}_t^{-s}$ minor if it has no $H$ minor for every $H\in \mathcal{K}_t^{-s}$. Jakobsen in 1971 proved that every graph with no $\mathcal{K}_7^{-2}$ minor is $6$-colorable. In this paper we consider the next step and prove that every graph with no $\mathcal{K}_8^{-4}$ min…
On 2-connected graphs without cycles of length 1 modulo 3
Northwestern Polytechnical University（西北工业大学）；Xi’an–Budapest Joint Research Center for Combinatorics, Northwestern Polytechnical University（西安-布达佩斯组合学联合研究中心）；Research $&$ Development Institute of Northwestern Polytechnical University in Shenzhen（西北工业大学深圳研究院）；Korea Institute for Advanced Study（韩国高等科学技术院）；Seoul National University（首尔大学）
Highly-connected planar cubic graphs with few or many Hamilton cycles
本文研究了具有高圈边连通度的平面三次图中Hamilton圈的个数，回答了Chia和Jassen提出的两个问题（“On the number of longest and almost longest cycles in cubic graphs”，Ars Combin. 104，307- 320，2012）关于这些族中的极值图。特别地，我们发现了一类循环$5$ -边连通平面三次图，它们比广义Petersen图$P(2n,2)$具有更多的Hamilton圈.图本身是富勒烯图，对应于某些被称为纳米管的碳分子-更准确地说，该家族由（固定）宽度$5$和增加长度的锯齿形纳米管组成。为了计算纳米管中的Hamilton圈，我们开发了受统计物理学的转移矩阵启发的方法。我们概述了这些方法如何可以适应计数更大（但仍然固定）的宽度的纳米管中的汉密尔顿周期，与警告，所得到的表达式涉及矩阵的权力。我们还考虑了具有少量Hamilton圈的循环$4$ -边连通的三次可平面图，并给出了一个这样的图的无限族，每个图都恰好具有$4$ Hamilton圈.最后我们考虑了这两类图的“另一个极端”，从而研究了具有多个Hamilton圈的循环$4$ -边连通三次平面图和具有少个Hamilton圈的循环$5$ -边连通三次可平面图.在每一种情况下，我们提出了部分结果，例子和插图关于图的几个或多个Hamilton圈。
