Table of Contents
Fetching ...

Lollipops, dense cycles and chords

Zdeněk Dvořák, Beatriz Martins, Stéphan Thomassé, Nicolas Trotignon

Abstract

In 1980, Gupta, Kahn and Robertson proved that every graph $G$ with minimum degree at least $k\geq 2$ contains a cycle $C$ containing at least $k+1$ vertices each having at least $k$ neighbors in $C$ (so $C$ has at least $\frac{(k+1)(k-2)}{2}$ chords). In this work, we go further by showing that some of its edges can be contracted to obtain a graph with high minimum degree (we call such a minor of $C$ a \emph{cyclic minor}). We then investigate further cycles having cliques as cyclic minors, and show that minimum degree at least $O(k^2)$ guarantees a cyclic $K_k$-minor.

Lollipops, dense cycles and chords

Abstract

In 1980, Gupta, Kahn and Robertson proved that every graph with minimum degree at least contains a cycle containing at least vertices each having at least neighbors in (so has at least chords). In this work, we go further by showing that some of its edges can be contracted to obtain a graph with high minimum degree (we call such a minor of a \emph{cyclic minor}). We then investigate further cycles having cliques as cyclic minors, and show that minimum degree at least guarantees a cyclic -minor.

Paper Structure

This paper contains 4 sections, 14 theorems, 12 equations, 7 figures.

Key Result

Theorem 1.1

If $G$ has minimum degree at least $k\geq 2$, then $G$ contains a cycle $C$ containing at least $k+1$ vertices each having at least $k$ neighbors in $C$ (so $C$ has at least $\frac{(k+1)(k-2)}{2}$ chords). Moreover, in the graph obtained by deleting all vertices not contained in $C$, there exist $X_

Figures (7)

  • Figure 1: Two representations of a lollipop $L$.
  • Figure 2: Construction of an element of $\mathcal{S}_{i+1}$ from an element of $\mathcal{S}_i$.
  • Figure 3: A situation from the proof of \ref{['lem:kactive']}.
  • Figure 4: Another situation from the proof of \ref{['lem:kactive']}.
  • Figure 5: A permutation matrix
  • ...and 2 more figures

Theorems & Definitions (26)

  • Theorem 1.1
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Lemma 2.3
  • proof
  • Lemma 2.4
  • proof
  • Lemma 2.5
  • ...and 16 more