contain ↗ reference
7732 papers tagged with this keyword
Positive co-degree density of hypergraphs
Published
• View Publication
• BIB
The \emph{minimum positive co-degree} of a non-empty $r$-graph ${H}$, denoted $δ_{r-1}^+( {H})$, is the maximum $k$ such that if $S$ is an $(r-1)$-set contained in a hyperedge of $ {H}$, then $S$ is contained in at least $k$ distinct hyperedges of $ {H}$. Given an $r$-graph ${F}$, we introduce the \emph{positive co-degree Turán number} $\mathrm{co^+ex}(n, {F})$ as the maximum positive co-degree $δ_{r-1}^+(H)$ over all $n$-vertex $r$-graphs $H$ that do not contain $F$ as a subhypergraph.
In this paper we concentrate on the behavior of $\mathrm{co^+ex}(n, {F})$ for $3$-graphs $F$. In particular, we determine asymptotics and bounds for several well-known concrete $3$-graphs $F$ (e.g.\ $K_4^-$ and the Fano plane). We also show that, for $r$-graphs, the limit \[ γ^+(F) := \lim_{n \rightarrow \infty} \frac{\mathrm{co^+ex}(n, {F})}{n} \] exists, and ``jumps'' from $0$ to $1/r$, i.e., it never takes on values in the interval $(0,1/r)$. Moreover, we characterize which $r$-graphs $F$ have $γ^+(F)=0$. Our motivation comes primarily from the study of (ordinary) co-degree Turán numbers where a number of results have been proved that inspire our results.
Combing a Linkage in an Annulus
Published
• View Publication
• BIB
A linkage in a graph $G$ of size $k$ is a subgraph $L$ of $G$ whose connected components are $k$ paths. The pattern of a linkage of size $k$ is the set of $k$ pairs formed by the endpoints of these paths. A consequence of the Unique Linkage Theorem is the following: there exists a function $f:\mathbb{N}\to\mathbb{N}$ such that if a plane graph $G$ contains a sequence $\mathcal{C}$ of at least $f(k)$ nested cycles and a linkage of size at most $k$ whose pattern vertices lay outside the outer cycle of $\mathcal{C},$ then $G$ contains a linkage with the same pattern avoiding the inner cycle of $\mathcal{C}$. In this paper we prove the following variant of this result: Assume that all the cycles in $\mathcal{C}$ are "orthogonally" traversed by a linkage $P$ and $L$ is a linkage whose pattern vertices may lay either outside the outer cycle or inside the inner cycle of $\mathcal{C}:=[C_{1},\ldots,C_{p},\ldots,C_{2p-1}]$. We prove that there are two functions $g,f:\mathbb{N}\to\mathbb{N}$, such that if $L$ has size at most $k$, $P$ has size at least $f(k),$ and $|\mathcal{C}|\geq g(k)$, then there is a linkage with the same pattern as $L$ that is "internally combed" by $P$, in the sense that $L\cap C_{p}\subseteq P\cap C_{p}$. In fact, we prove this result in the most general version where the linkage $L$ is $s$-scattered: no two vertices of distinct paths of $L$ are within distance at most $s$. We deduce several variants of this result in the cases where $s=0$ and $s>0$. These variants permit the application of the unique linkage theorem on several path routing problems on embedded graphs.
Killing a Vortex
Published
• View Publication
• BIB
The Graph Minors Structure Theorem of Robertson and Seymour asserts that, for every graph $H,$ every $H$-minor-free graph can be obtained by clique-sums of ``almost embeddable'' graphs. Here a graph is ``almost embeddable'' if it can be obtained from a graph of bounded Euler-genus by pasting graphs of bounded pathwidth in an ``orderly fashion'' into a bounded number of faces, called the \textit{vortices}, and then adding a bounded number of additional vertices, called \textit{apices}, with arbitrary neighborhoods. Our main result is a {full classification} of all graphs $H$ for which the use of vortices in the theorem above can be avoided. To this end we identify a (parametric) graph $\mathscr{S}_{t}$ and prove that all $\mathscr{S}_{t}$-minor-free graphs can be obtained by clique-sums of graphs embeddable in a surface of bounded Euler-genus after deleting a bounded number of vertices. We show that this result is tight in the sense that the appearance of vortices cannot be avoided for $H$-minor-free graphs, whenever $H$ is not a minor of $\mathscr{S}_{t}$ for some $t\in\mathbb{N}.$
Using our new structure theorem, we design an algorithm that, given an $\mathscr{S}_{t}$-minor-free graph $G,$ computes the generating function of all perfect matchings of $G$ in polynomial time. Our results, combined with known complexity results, imply a complete characterization of minor-closed graph classes where the number of perfect matchings is polynomially computable: They are exactly those graph classes that do not contain every $\mathscr{S}_{t}$ as a minor. This provides a \textit{sharp} complexity dichotomy for the problem of counting perfect matchings in minor-closed classes.
Vertex Partitions and Maximum $\G$-free Subgraphs
We define a $(V_1, V_2, \ldots, V_k)$-partition for a given graph $H$ and graphical properties $P_1, P_2, \ldots, P_k$ as a partition where each $V_i$ induces a subgraph of $H$ with property $P_i$. Matamala (2007) extended this result by showing that for any graph $H$ with $Δ(H)=p+q$, there exists a $(V_1, V_2)$-partition of $V(H)$ where $H[V_1]$ is a maximum order $(p-1)$-degenerate induced subgraph and $H[V_2]$ is $(q-1)$-degenerate. Additionally, Catlin and Lai proved that if $Δ(H)\geq 5$, $H$ has a $(V_1, V_2)$-partition such that $H[V_1]$ is a maximum order acyclic induced subgraph, $ω(H[V_2])\leq Δ(H)-2$, and $Δ(H[V_2])\leq Δ(H)-2$.
Rowshan and Taherkhani demonstrated that given a graph $G$ with a minimum degree $δ(G)$ and for $k=\lceil \frac{Δ(H)}{δ(G)}\rceil$, there exists a $(V_1, V_2, \ldots, V_k)$-partition of the vertex set of $H$, such that each $H[V_i]$ is $G$-free, meaning it does not contain a subgraph isomorphic to $G$, and $H[V_1]$ is a maximum order $G$-free induced subgraph.
In our paper, we present a novel result for a connected graph $H$ with $Δ(H)\geq 5$ and without $K_{Δ(H)+1}\setminus e$ as a subgraph. We establish that when $p_1\geq p_2\geq\cdots\geq p_{k-1}\geq 2$, $p_k\geq 4$, $\sum_{i=1}^k p_i=Δ(H)-1+k$, and $\mathcal{G}_i$ represents a family of graphs with a minimum degree at least $p_i-1$ for each $i\in [k-1]$, a $(V_1, V_2, \ldots, V_k)$-partition of $V(H)$ exists. This partition guarantees that $H[V_1]$ is a maximum order $\mathcal{G}_1$-free induced subgraph, $H[V_i]$ is $\mathcal{G}_i$-free for each $2\leq i\leq k-1$, $Δ(H[V_k])\leq p_k$, and either $H[V_k]$ is $K_{p_k}$-free or its $p_k$-cliques are disjoint.
Spanning trees with at most $5$ leaves and branch vertices in total of $K_{1,5}$-free graphs
Published
• View Publication
• BIB
In this paper, we prove that every $n$-vertex connected $K_{1,5}$-free graph $G$ with $σ_4(G)\geq n-1$ contains a spanning tree with at most $5$ leaves and branch vertices in total. Moreover, the degree sum condition "$σ_4(G)\geq n-1$" is best possible.
The induced saturation problem for posets
Published
• View Publication
• BIB
For a fixed poset $P$, a family $\mathcal F$ of subsets of $[n]$ is induced $P$-saturated if $\mathcal F$ does not contain an induced copy of $P$, but for every subset $S$ of $[n]$ such that $ S\not \in \mathcal F$, $P$ is an induced subposet of $\mathcal F \cup \{S\}$. The size of the smallest such family $\mathcal F$ is denoted by $\text{sat}^* (n,P)$. Keszegh, Lemons, Martin, Pálvölgyi and Patkós [Journal of Combinatorial Theory Series A, 2021] proved that there is a dichotomy of behaviour for this parameter: given any poset $P$, either $\text{sat}^* (n,P)=O(1)$ or $\text{sat}^* (n,P)\geq \log _2 n$. In this paper we improve this general result showing that either $\text{sat}^* (n,P)=O(1)$ or $\text{sat}^* (n,P) \geq \min\{ 2 \sqrt{n}, n/2+1\}$. Our proof makes use of a Turán-type result for digraphs.
Curiously, it remains open as to whether our result is essentially best possible or not. On the one hand, a conjecture of Ivan states that for the so-called diamond poset $\Diamond$ we have $\text{sat}^* (n,\Diamond)=Θ(\sqrt{n})$; so if true this conjecture implies our result is tight up to a multiplicative constant. On the other hand, a conjecture of Keszegh, Lemons, Martin, Pálvölgyi and Patkós states that given any poset $P$, either $\text{sat}^* (n,P)=O(1)$ or $\text{sat}^* (n,P)\geq n+1$. We prove that this latter conjecture is true for a certain class of posets $P$.
Bohr sets in sumsets II: countable abelian groups
Published
• View Publication
• BIB
We prove three results concerning the existence of Bohr sets in threefold sumsets. More precisely, letting $G$ be a countable discrete abelian group and $φ_1, φ_2, φ_3: G \to G$ be commuting endomorphisms whose images have finite indices, we show that
(1) If $A \subset G$ has positive upper Banach density and $φ_1 + φ_2 + φ_3 = 0$, then $φ_1(A) + φ_2(A) + φ_3(A)$ contains a Bohr set. This generalizes a theorem of Bergelson and Ruzsa in $\mathbb{Z}$ and a recent result of the first author.
(2) For any partition $G = \bigcup_{i=1}^r A_i$, there exists an $i \in \{1, \ldots, r\}$ such that $φ_1(A_i) + φ_2(A_i) - φ_2(A_i)$ contains a Bohr set. This generalizes a result of the second and third authors from $\mathbb{Z}$ to countable abelian groups.
(3) If $B, C \subset G$ have positive upper Banach density and $G = \bigcup_{i=1}^r A_i$ is a partition, $B + C + A_i$ contains a Bohr set for some $i \in \{1, \ldots, r\}$. This is a strengthening of a theorem of Bergelson, Furstenberg, and Weiss.
These results are quantitative in the sense that the radius and rank of the Bohr set obtained depends only on the indices $[G:φ_j(G)]$, the upper Banach density of $A$ (in (1)), or the number of sets in the given partition (in (2) and (3)).
The maximum spectral radius of graphs of given size with forbidden subgraph
Published
• View Publication
• BIB
Let $G$ be a graph of size $m$ and $ρ(G)$ be the spectral radius of its adjacency matrix. A graph is said to be $F$-free if it does not contain a subgraph isomorphic to $F$. In this paper, we prove that if $G$ is a $K_{2,r+1}$-free non-star graph with $m\geq (4r+2)^2+1$, then $ρ(G)\leq ρ(S_m^1)$, with equality if and only if $G\cong S_m^1$. Recently, Li, Sun and Wei showed that for any $θ_{1,2,3}$-free graph of size $m\geq 8$, $ρ(G)\leq \frac{1+\sqrt{4m-3}}{2}$, with equality if and only if $G\cong S_{\frac{m+3}{2},2}$. However, this bound is not attainable when $m$ is even. We proved that if $G$ is $θ_{1,2,3}$-free and $G\ncong S_{\frac{m+3}{2},2}$ with $m\geq 22$, then $ρ(G)\leq ρ(F_{m,1})$ if $m$ is even, with equality if and only if $G\cong F_{m,1}$, and $ρ(G)\leq ρ(F_{m,2})$ if $m$ is odd, with equality if and only if $G\cong F_{m,2}$.
$H$-factors in graphs with small independence number
Published
• View Publication
• BIB
Let $H$ be an $h$-vertex graph. The vertex arboricity $ar(H)$ of $H$ is the least integer $r$ such that $V(H)$ can be partitioned into $r$ parts and each part induces a forest in $H$. We show that for sufficiently large $n\in h\mathbb{N}$, every $n$-vertex graph $G$ with $δ(G)\geq \max\left\{\left(1-\frac{2}{f(H)}+o(1)\right)n, \left(\frac{1}{2}+o(1)\right)n\right\}$ and $α(G)=o(n)$ contains an $H$-factor, where $f(H)=2ar(H)$ or $2ar(H)-1$. The result can be viewed an analogue of the Alon--Yuster theorem \cite{MR1376050} in Ramsey--Turán theory, which generalises the results of Balogh--Molla--Sharifzadeh~\cite{MR3570984} and Knierm--Su~\cite{MR4193066} on clique factors. In particular the degree conditions are asymptotically sharp for infinitely many graphs $H$ which are not cliques.
Galaxies and the Strong Erdos-Hajnal Property
An equivalent directed version of the celebrated unresolved conjecture of Erdos and Hajnal proposed by Alon, Pack, and Solymosi states that for every tournament H there exists epsilon(H)>0 such that every H-free n-vertex tournament T contains a transitive subtournament of order at least n^(epsilon(H)). A tournament H has the strong EH-property if there exists c > 0 such that for every H-free tournament T with |T| > 1, there exist disjoint vertex subsets A and B, each of cardinality at least |T|n and every vertex of A is adjacent to every vertex of B. Berger et al. proved that the unique five-vertex tournament denoted by C5, where every vertex has two inneighbors and two outneighbors has the strong EH-property. It is known that every tournament with the strong EH-property also has the EH-property. In this paper we prove that tournaments that can be ordered in a way that the graph formed by the backedges is a forest consisting of trees with at most two edges and consecutive leaves under the vertex ordering has the strong EH-property.
Probabilistic intuition holds for a class of small subgraph games
Published
• View Publication
• BIB
Consider the following two-player game on the edges of $K_n$, the complete graph with $n$ vertices: Starting with an empty graph $G$ on the vertex set of $K_n$, in each round the first player chooses $b \in \mathbb{N}$ edges from $K_n$ which have not previously been chosen, and the second player immediately and irrevocably picks one of these edges and adds it to $G$. We show that for any graph $H$ with at least one edge, if $b < c n^{1/m(H)}$, where $c = c(H) > 0$ only depends on $H$ and $m(H)$ is the usual density function, then the first player can ensure the resulting graph $G$ contains $Ω(n^{v(H)} / b^{e(H)})$ copies of $H$. The bound on $b$ is the best possible apart from the constant $c$ and shows that the density of the resulting graph for which it is possible to enforce the appearance of $H$ coincides with a threshold for the appearance in the Erdős-Rényi random graph. This resolves a conjecture by Bednarska-Bzdȩga, Hefetz, and Luczak and provides a prominent class of games for which probabilistic intuition accurately predicts the outcome. The strategy of the first player is deterministic with polynomial running time, with the degree depending on the size of $H$.
Small subgraphs with large average degree
Published
• View Publication
• BIB
In this paper we study the fundamental problem of finding small dense subgraphs in a given graph. For a real number $s>2$, we prove that every graph on $n$ vertices with average degree at least $d$ contains a subgraph of average degree at least $s$ on at most $nd^{-\frac{s}{s-2}}(\log d)^{O_s(1)}$ vertices. This is optimal up to the polylogarithmic factor, and resolves a conjecture of Feige and Wagner. In addition, we show that every graph with $n$ vertices and average degree at least $n^{1-\frac{2}{s}+\varepsilon}$ contains a subgraph of average degree at least $s$ on $O_{\varepsilon,s}(1)$ vertices, which is also optimal up to the constant hidden in the $O(.)$ notation, and resolves a conjecture of Verstraëte.
Conflict-Free Colouring of Subsets
Published
• View Publication
• BIB
We introduce and study conflict-free colourings of $t$-subsets in hypergraphs. In such colourings, one assigns colours to all subsets of vertices of cardinality $t$ such that in any hyperedge of cardinality at least $t$ there is a uniquely coloured $t$-subset.
The case $t=1$, i.e., vertex conflict-free colouring, is a well-studied notion. Already the case $t=2$ (i.e., colouring pairs) seems to present a new challenge. Many of the tools used for conflict-free colouring of geometric hypergraphs rely on hereditary properties of the underlying hypergraphs. When dealing with subsets of vertices, the properties do not pass to subfamilies of subsets. Therefore, we develop new tools, which might be of independent interest.
(i) For any fixed $t$, we show that the $\binom n t$ $t$-subsets in any set $P$ of $n$ points in the plane can be coloured with $O(t^2 \log^2 n)$ colours so that any axis-parallel rectangle that contains at least $t$ points of $P$ also contains a uniquely coloured $t$-subset.
(ii) For a wide class of "well behaved" geometrically defined hypergraphs, we provide near tight upper bounds on their $t$-subset conflict-free chromatic number. For $t=2$ we show that for each of those "well -behaved" hypergraphs $H$, the hypergraph $H'$ obtained by taking union of two hyperedges from $H$, admits a $2$-subset conflict-free colouring with roughly the same number of colours as $H$. For example, we show that the $\binom n 2$ pairs of points in any set $P$ of $n$ points in the plane can be coloured with $O(\log n)$ colours such that for any two discs $d_1,d_2$ in the plane with $|(d_1\cup d_2)\cap P|\geq 2$ there is a uniquely (in $d_1 \cup d_2$) coloured pair.
(iii) We also show that there is no general bound on the $t$-subset conflict-free chromatic number as a function of the standard conflict-free chromatic number already for $t=2$.
Derivatives of Complete Weight Enumerators and New Balance Principle of Binary Self-Dual Codes
Let H be the standard Hadamard matrix of order two and let K=2^{-1/2}H. It is known that the complete weight enumerator $\ W$ of a binary self-dual code of length $n$ is an eigenvector corresponding to an eigenvalue 1 of the Kronecker power $K^{[n]}.$ For every integer $t$ in the interval [0,n] we define the derivative of order $t$, $W_{<t>},$ of $W$ in such a way that $W_{<t>}$ is in the eigenspace of $\ 1$ of the matrix $K^{[n-t]}.$ For large values of $t,$ $W_{<t>}$ contains less information about the code but has smaller length while $W_{<0>}=W$ completely determines the code. We compute the derivative of order $n-5$ for the extended Golay code of length 24, the extended quadratic residue code of length 48, and the putative [72,24,12] code and show that they are in the eigenspace of $\ 1$ of the matrix $% K^{[5]}.$ We use the derivatives to prove a new balance equation which involves the number of code vectors of given weight having 1 in a selected coordinate position. As an example, we use the balance equation to eliminate some candidates for weight enumerators of binary self-dual codes of length eight.
Packing cycles in planar and bounded-genus graphs
Published
• View Publication
• BIB
We devise constant-factor approximation algorithms for finding as many disjoint cycles as possible from a certain family of cycles in a given planar or bounded-genus graph. Here disjoint can mean vertex-disjoint or edge-disjoint, and the graph can be undirected or directed. The family of cycles under consideration must satisfy two properties: it must be uncrossable and allow for an oracle access that finds a weight-minimal cycle in that family for given nonnegative edge weights or (in planar graphs) the union of all remaining cycles in that family after deleting a given subset of edges.
Our setting generalizes many problems that were studied separately in the past. For example, three families that satisfy the above properties are (i) all cycles in a directed or undirected graph, (ii) all odd cycles in an undirected graph, and (iii) all cycles in an undirected graph that contain precisely one demand edge, where the demand edges form a subset of the edge set. The latter family (iii) corresponds to the classical disjoint paths problem in fully planar and bounded-genus instances. While constant-factor approximation algorithms were known for edge-disjoint paths in such instances, we improve the constant in the planar case and obtain the first such algorithms for vertex-disjoint paths. We also obtain approximate min-max theorems of the Erdős--Pósa type. For example, the minimum feedback vertex set in a planar digraph is at most 12 times the maximum number of vertex-disjoint cycles.
Induced subgraphs and path decompositions
Published
• View Publication
• BIB
A graph $H$ is an induced subgraph of a graph $G$ if a graph isomorphic to $H$ can be obtained from $G$ by deleting vertices. Recently, there has been significant interest in understanding the unavoidable induced subgraphs for graphs of large treewidth. Motivated by this work, we consider the analogous problem for pathwidth: what are the unavoidable induced subgraphs for graphs of large pathwidth? While resolving this question in the general setting looks challenging, we prove various results for sparse graphs. In particular, we show that every graph with bounded maximum degree and sufficiently large pathwidth contains a subdivision of a large complete binary tree or the line graph of a subdivision of a large complete binary tree as an induced subgraph. Similarly, we show that every graph excluding a fixed minor and with sufficiently large pathwidth contains a subdivision of a large complete binary tree or the line graph of a subdivision of a large complete binary tree as an induced subgraph. Finally, we present a characterisation for when a hereditary class defined by a finite set of forbidden induced subgraphs has bounded pathwidth.
Combinatorial and Algorithmic Aspects of Monadic Stability
Nowhere dense classes of graphs are classes of sparse graphs with rich structural and algorithmic properties, however, they fail to capture even simple classes of dense graphs. Monadically stable classes, originating from model theory, generalize nowhere dense classes and close them under transductions, i.e. transformations defined by colorings and simple first-order interpretations. In this work we aim to extend some combinatorial and algorithmic properties of nowhere dense classes to monadically stable classes of finite graphs. We prove the following results.
- In monadically stable classes the Ramsey numbers $R(s,t)$ are bounded from above by $\mathcal{O}(t^{s-1-δ})$ for some $δ>0$, improving the bound $R(s,t)\in \mathcal{O}(t^{s-1}/(\log t)^{s-1})$ known for general graphs and the bounds known for $k$-stable graphs when $s\leq k$.
- For every monadically stable class $\mathcal{C}$ and every integer $r$, there exists $δ> 0$ such that every graph $G \in \mathcal{C}$ that contains an $r$-subdivision of the biclique $K_{t,t}$ as a subgraph also contains $K_{t^δ,t^δ}$ as a subgraph. This generalizes earlier results for nowhere dense graph classes.
- We obtain a stronger regularity lemma for monadically stable classes of graphs.
- Finally, we show that we can compute polynomial kernels for the independent set and dominating set problems in powers of nowhere dense classes. Formerly, only fixed-parameter tractable algorithms were known for these problems on powers of nowhere dense classes.
Finding $k$-community structures in special graph classes
Published
• View Publication
• BIB
For a fixed integer $k\ge 2$, a $k$-community structure in an undirected graph is a partition of its vertex set into $k$ sets called communities, each of size at least two, such that every vertex of the graph has proportionally at least as many neighbours in its own community as in any other community. In this paper, we give a necessary and sufficient condition for a forest on $n$ vertices to admit a $k$-community structure. Furthermore, we provide an $O(n^{2})$-time algorithm that computes such a $k$-community structure in a forest, if it exists. These results extend a result of [Bazgan et al., Structural and algorithmic properties of $2$-community structure, Algorithmica, 80(6):1890-1908, 2018]. We also show that if communities are allowed to have size one, then every forest with $n \geq k\geq 2$ vertices admits a $k$-community structure that can be found in time $O(n^{2})$. We then consider threshold graphs and show that every connected threshold graph admits a $2$-community structure if and only if it is not isomorphic to a star; also if such a $2$-community structure exists, we explain how to obtain it in linear time. We further describe two infinite families of disconnected threshold graphs, containing exactly one isolated vertex, that do not admit any $2$-community structure. Finally, we present a new infinite family of connected graphs that may contain an even or an odd number of vertices without $2$-community structures, even if communities are allowed to have size one.
Indiscernibles and Flatness in Monadically Stable and Monadically NIP Classes
Monadically stable and monadically NIP classes of structures were initially studied in the context of model theory and defined in logical terms. They have recently attracted attention in the area of structural graph theory, as they generalize notions such as nowhere denseness, bounded cliquewidth, and bounded twinwidth.
Our main result is the - to the best of our knowledge first - purely combinatorial characterization of monadically stable classes of graphs, in terms of a property dubbed flip-flatness. A class $\mathcal{C}$ of graphs is flip-flat if for every fixed radius $r$, every sufficiently large set of vertices of a graph $G \in \mathcal{C}$ contains a large subset of vertices with mutual distance larger than $r$, where the distance is measured in some graph $G'$ that can be obtained from $G$ by performing a bounded number of flips that swap edges and non-edges within a subset of vertices. Flip-flatness generalizes the notion of uniform quasi-wideness, which characterizes nowhere dense classes and had a key impact on the combinatorial and algorithmic treatment of nowhere dense classes. To obtain this result, we develop tools that also apply to the more general monadically NIP classes, based on the notion of indiscernible sequences from model theory. We show that in monadically stable and monadically NIP classes indiscernible sequences impose a strong combinatorial structure on their definable neighborhoods. All our proofs are constructive and yield efficient algorithms.
Linear-sized minors with given edge density
It is proved that for every $\varepsilon>0$, there exists $K>0$ such that for every integer $t\ge2$, every graph with chromatic number at least $Kt$ contains a minor with $t$ vertices and edge density at least $1-\varepsilon$. Indeed, building on recent work of Delcourt and Postle on linear Hadwiger's conjecture, for $\varepsilon\in(0,\frac{1}{256})$ we can take $K=C\log\log(1/\varepsilon)$ where $C>0$ is a universal constant, which extends their recent $O(t\log\log t)$ bound on the chromatic number of graphs with no $K_t$ minor.