-
$t$-sails and sparse hereditary classes of unbounded tree-width
Authors:
Daniel Cocks
Abstract:
It has long been known that the following basic objects are obstructions to bounded tree-width: for arbitrarily large $t$, $(1)$ the complete graph $K_t$, $(2)$ the complete bipartite graph $K_{t,t}$, $(3)$ a subdivision of the $(t \times t)$-wall and $(4)$ the line graph of a subdivision of the $(t \times t)$-wall. We now add a further \emph{boundary object} to this list, a \emph{$t$-sail}.
The…
▽ More
It has long been known that the following basic objects are obstructions to bounded tree-width: for arbitrarily large $t$, $(1)$ the complete graph $K_t$, $(2)$ the complete bipartite graph $K_{t,t}$, $(3)$ a subdivision of the $(t \times t)$-wall and $(4)$ the line graph of a subdivision of the $(t \times t)$-wall. We now add a further \emph{boundary object} to this list, a \emph{$t$-sail}.
These results have been obtained by studying sparse hereditary \emph{path-star} graph classes, each of which consists of the finite induced subgraphs of a single infinite graph whose edges can be partitioned into a path (or forest of paths) with a forest of stars, characterised by an infinite word over a possibly infinite alphabet. We show that a path-star class whose infinite graph has an unbounded number of stars, each of which connects an unbounded number of times to the path, has unbounded tree-width. In addition, we show that such a class is not a subclass of the hereditary class of circle graphs.
We identify a collection of \emph{nested} words with a recursive structure that exhibit interesting characteristics when used to define a path-star graph class. These graph classes do not contain any of the four basic obstructions but instead contain graphs that have large tree-width if and only if they contain arbitrarily large $t$-sails. We show that these classes are infinitely defined and, like classes of bounded degree or classes excluding a fixed minor, do not contain a minimal class of unbounded tree-width.
△ Less
Submitted 24 June, 2024; v1 submitted 9 February, 2023;
originally announced February 2023.
-
A framework for minimal hereditary classes of graphs of unbounded clique-width
Authors:
Robert Brignall,
Daniel Cocks
Abstract:
We create a framework for hereditary graph classes $\mathcal{G}^δ$ built on a two-dimensional grid of vertices and edge sets defined by a triple $δ=\{α,β,γ\}$ of objects that define edges between consecutive columns, edges between non-consecutive columns (called bonds), and edges within columns. This framework captures all previously proven minimal hereditary classes of graph of unbounded clique-w…
▽ More
We create a framework for hereditary graph classes $\mathcal{G}^δ$ built on a two-dimensional grid of vertices and edge sets defined by a triple $δ=\{α,β,γ\}$ of objects that define edges between consecutive columns, edges between non-consecutive columns (called bonds), and edges within columns. This framework captures all previously proven minimal hereditary classes of graph of unbounded clique-width, and many new ones, although we do not claim this includes all such classes.
We show that a graph class $\mathcal{G}^δ$ has unbounded clique-width if and only if a certain parameter $\mathcal{N}^δ$ is unbounded. We further show that $\mathcal{G}^δ$ is minimal of unbounded clique-width (and, indeed, minimal of unbounded linear clique-width) if another parameter $\mathcal{M}^β$ is bounded, and also $δ$ has defined recurrence characteristics. Both the parameters $\mathcal{N}^δ$ and $\mathcal{M}^β$ are properties of a triple $δ=(α,β,γ)$, and measure the number of distinct neighbourhoods in certain auxiliary graphs.
Throughout our work, we introduce new methods to the study of clique-width, including the use of Ramsey theory in arguments related to unboundedness, and explicit (linear) clique-width expressions for subclasses of minimal classes of unbounded clique-width.
△ Less
Submitted 31 October, 2023; v1 submitted 29 March, 2022;
originally announced March 2022.
-
Uncountably many minimal hereditary classes of graphs of unbounded clique-width
Authors:
Robert Brignall,
Daniel Cocks
Abstract:
Given an infinite word over the alphabet $\{0,1,2,3\}$, we define a class of bipartite hereditary graphs $\mathcal{G}^α$, and show that $\mathcal{G}^α$ has unbounded clique-width unless $α$ contains at most finitely many non-zero letters.
We also show that $\mathcal{G}^α$ is minimal of unbounded clique-width if and only if $α$ belongs to a precisely defined collection of words $Γ$. The set $Γ$ i…
▽ More
Given an infinite word over the alphabet $\{0,1,2,3\}$, we define a class of bipartite hereditary graphs $\mathcal{G}^α$, and show that $\mathcal{G}^α$ has unbounded clique-width unless $α$ contains at most finitely many non-zero letters.
We also show that $\mathcal{G}^α$ is minimal of unbounded clique-width if and only if $α$ belongs to a precisely defined collection of words $Γ$. The set $Γ$ includes all almost periodic words containing at least one non-zero letter, which both enables us to exhibit uncountably many pairwise distinct minimal classes of unbounded clique width, and also proves one direction of a conjecture due to Collins, Foniok, Korpelainen, Lozin and Zamaraev. Finally, we show that the other direction of the conjecture is false, since $Γ$ also contains words that are \emph{not} almost periodic.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
Global stability properties of a class of renewal epidemic models with variable susceptibility
Authors:
Michael T. Meehan,
Daniel G. Cocks,
Emma S. McBryde
Abstract:
We investigate the global dynamics of a renewal-type epidemic model with variable susceptibility. We show that in this extended model there exists a unique endemic equilibrium and prove that it is globally asymptotically stable when $R_0 > 1$, i.e. when it exists. We also show that the infection-free equilibrium, which exists always, is globally asymptotically stable for $R_0 \leq 1$.
We investigate the global dynamics of a renewal-type epidemic model with variable susceptibility. We show that in this extended model there exists a unique endemic equilibrium and prove that it is globally asymptotically stable when $R_0 > 1$, i.e. when it exists. We also show that the infection-free equilibrium, which exists always, is globally asymptotically stable for $R_0 \leq 1$.
△ Less
Submitted 23 July, 2020;
originally announced July 2020.
