-
Highly-connected planar cubic graphs with few or many Hamilton cycles
Authors:
Irene Pivotto,
Gordon Royle
Abstract:
In this paper we consider the number of Hamilton cycles in planar cubic graphs of high cyclic edge-connectivity, answering two questions raised by Chia and Thomassen ("On the number of longest and almost longest cycles in cubic graphs", Ars Combin., 104, 307--320, 2012) about extremal graphs in these families. In particular, we find families of cyclically $5$-edge connected planar cubic graphs wit…
▽ More
In this paper we consider the number of Hamilton cycles in planar cubic graphs of high cyclic edge-connectivity, answering two questions raised by Chia and Thomassen ("On the number of longest and almost longest cycles in cubic graphs", Ars Combin., 104, 307--320, 2012) about extremal graphs in these families. In particular, we find families of cyclically $5$-edge connected planar cubic graphs with more Hamilton cycles than the generalized Petersen graphs $P(2n,2)$. The graphs themselves are fullerene graphs that correspond to certain carbon molecules known as nanotubes --- more precisely, the family consists of the zigzag nanotubes of (fixed) width $5$ and increasing length. In order to count the Hamilton cycles in the nanotubes, we develop methods inspired by the transfer matrices of statistical physics. We outline how these methods can be adapted to count the Hamilton cycles in nanotubes of greater (but still fixed) width, with the caveat that the resulting expressions involve matrix powers. We also consider cyclically $4$-edge-connected cubic planar graphs with few Hamilton cycles, and exhibit an infinite family of such graphs each with exactly $4$ Hamilton cycles. Finally we consider the "other extreme" for these two classes of graphs, thus investigating cyclically $4$-edge connected cubic planar graphs with many Hamilton cycles and the cyclically $5$-edge connected cubic planar graphs with few Hamilton cycles. In each of these cases, we present partial results, examples and conjectures regarding the graphs with few or many Hamilton cycles.
△ Less
Submitted 14 February, 2019; v1 submitted 30 January, 2019;
originally announced January 2019.
-
Cores of Cubelike Graphs
Authors:
Laura Mančinska,
Irene Pivotto,
David E. Roberson,
Gordon Royle
Abstract:
A graph is $\textit{cubelike}$ if it is a Cayley graph for some elementary abelian $2$-group $\mathbb{Z}_2^n$. The core of a graph is its smallest subgraph to which it admits a homomorphism. More than ten years ago, Nešetřil and Šámal (On tension-continuous map**s. $\textit{European J. Combin.,}$ 29(4):1025--1054, 2008) asked whether the core of a cubelike graph is cubelike, but since then very…
▽ More
A graph is $\textit{cubelike}$ if it is a Cayley graph for some elementary abelian $2$-group $\mathbb{Z}_2^n$. The core of a graph is its smallest subgraph to which it admits a homomorphism. More than ten years ago, Nešetřil and Šámal (On tension-continuous map**s. $\textit{European J. Combin.,}$ 29(4):1025--1054, 2008) asked whether the core of a cubelike graph is cubelike, but since then very little progress has been made towards resolving the question. Here we investigate the structure of the core of a cubelike graph, deducing a variety of structural, spectral and group-theoretical properties that the core "inherits" from the host cubelike graph. These properties constrain the structure of the core quite severely --- even if the core of a cubelike graph is not actually cubelike, it must bear a very close resemblance to a cubelike graph. Moreover we prove the much stronger result that not only are these properties inherited by the core of a cubelike graph, but also by the orbital graphs of the core. Even though the core and its orbital graphs look very much like cubelike graphs, we are unable to show that this is sufficient to characterise cubelike graphs. However, our results are strong enough to eliminate all non-cubelike vertex-transitive graphs on up to $32$ vertices as potential cores of cubelike graphs (of any size). Thus, if one exists at all, a cubelike graph with a non-cubelike core has at least $128$ vertices and its core has at least $64$ vertices.
△ Less
Submitted 6 August, 2018;
originally announced August 2018.
-
Structure of Cubic Lehman Matrices
Authors:
Dillon Mayhew,
Irene Pivotto,
Gordon Royle
Abstract:
A pair $(A,B)$ of square $(0,1)$-matrices is called a \emph{Lehman pair} if $AB^T=J+kI$ for some integer $k\in\{-1,1,2,3,\ldots\}$. In this case $A$ and $B$ are called \emph{Lehman matrices}. This terminology arises because Lehman showed that the rows with the fewest ones in any non-degenerate minimally nonideal (mni) matrix $M$ form a square Lehman submatrix of $M$. Lehman matrices with $k=-1$ ar…
▽ More
A pair $(A,B)$ of square $(0,1)$-matrices is called a \emph{Lehman pair} if $AB^T=J+kI$ for some integer $k\in\{-1,1,2,3,\ldots\}$. In this case $A$ and $B$ are called \emph{Lehman matrices}. This terminology arises because Lehman showed that the rows with the fewest ones in any non-degenerate minimally nonideal (mni) matrix $M$ form a square Lehman submatrix of $M$. Lehman matrices with $k=-1$ are essentially equivalent to \emph{partitionable graphs} (also known as $(α,ω)$-graphs), so have been heavily studied as part of attempts to directly classify minimal imperfect graphs. In this paper, we view a Lehman matrix as the bipartite adjacency matrix of a regular bipartite graph, focusing in particular on the case where the graph is cubic. From this perspective, we identify two constructions that generate cubic Lehman graphs from smaller Lehman graphs. The most prolific of these constructions involves repeatedly replacing suitable pairs of edges with a particular $6$-vertex subgraph that we call a $3$-rung ladder segment. Two decades ago, Lütolf \& Margot initiated a computational study of mni matrices and constructed a catalogue containing (among other things) a listing of all cubic Lehman matrices with $k =1$ of order up to $17 \times 17$. We verify their catalogue (which has just one omission), and extend the computational results to $20 \times 20$ matrices. Of the $908$ cubic Lehman matrices (with $k=1$) of order up to $20 \times 20$, only two do not arise from our $3$-rung ladder construction. However these exceptions can be derived from our second construction, and so our two constructions cover all known cubic Lehman matrices with $k=1$.
△ Less
Submitted 31 July, 2019; v1 submitted 19 May, 2018;
originally announced May 2018.
-
3-Flows with Large Support
Authors:
Matt DeVos,
Jessica McDonald,
Irene Pivotto,
Edita Rollová,
Robert Šámal
Abstract:
We prove that every 3-edge-connected graph $G$ has a 3-flow $φ$ with the property that $|\mathop{supp}(φ)| \ge \frac{5}{6} |E(G)|$. The graph $K_4$ demonstrates that this $\frac{5}{6}$ ratio is best possible; there is an infinite family where $\frac 56$ is tight.
We prove that every 3-edge-connected graph $G$ has a 3-flow $φ$ with the property that $|\mathop{supp}(φ)| \ge \frac{5}{6} |E(G)|$. The graph $K_4$ demonstrates that this $\frac{5}{6}$ ratio is best possible; there is an infinite family where $\frac 56$ is tight.
△ Less
Submitted 18 February, 2021; v1 submitted 25 January, 2017;
originally announced January 2017.
-
Matrix representations of frame and lifted-graphic matroids correspond to gain functions
Authors:
Daryl Funk,
Irene Pivotto,
Daniel Slilaty
Abstract:
Let $M$ be a 3-connected matroid and let $\mathbb F$ be a field. Let $A$ be a matrix over $\mathbb F$ representing $M$ and let $(G,\mathcal B)$ be a biased graph representing $M$. We characterize the relationship between $A$ and $(G,\mathcal B)$, settling four conjectures of Zaslavsky. We show that for each matrix representation $A$ and each biased graph representation $(G,\mathcal{B})$ of $M$,…
▽ More
Let $M$ be a 3-connected matroid and let $\mathbb F$ be a field. Let $A$ be a matrix over $\mathbb F$ representing $M$ and let $(G,\mathcal B)$ be a biased graph representing $M$. We characterize the relationship between $A$ and $(G,\mathcal B)$, settling four conjectures of Zaslavsky. We show that for each matrix representation $A$ and each biased graph representation $(G,\mathcal{B})$ of $M$, $A$ is projectively equivalent to a canonical matrix representation arising from $G$ as a gain graph over $\mathbb F^+$ or $\mathbb F^\times$ realizing $\mathcal{B}$. Further, we show that the projective equivalence classes of matrix representations of $M$ are in one-to-one correspondence with the switching equivalence classes of gain graphs arising from $(G,\mathcal B)$, except in one degenerate case.
△ Less
Submitted 7 March, 2022; v1 submitted 18 September, 2016;
originally announced September 2016.
-
The circular altitude of a graph
Authors:
John Bamberg,
Brian Corr,
Alice Devillers,
Daniel Hawtin,
Irene Pivotto,
Eric Swartz
Abstract:
In this paper we investigate a parameter of graphs, called the circular altitude, introduced by Peter Cameron. We show that the circular altitude provides a lower bound on the circular chromatic number, and hence on the chromatic number, of a graph and investigate this parameter for the iterated Mycielskian of certain graphs.
In this paper we investigate a parameter of graphs, called the circular altitude, introduced by Peter Cameron. We show that the circular altitude provides a lower bound on the circular chromatic number, and hence on the chromatic number, of a graph and investigate this parameter for the iterated Mycielskian of certain graphs.
△ Less
Submitted 22 August, 2016;
originally announced August 2016.
-
On excluded minors of connectivity 2 for the class of frame matroids
Authors:
Matt DeVos,
Daryl Funk,
Irene Pivotto
Abstract:
We investigate the set of excluded minors of connectivity 2 for the class of frame matroids. We exhibit a list $\mathcal{E}$ of 18 such matroids, and show that if $N$ is such an excluded minor, then either $N \in \mathcal{E}$ or $N$ is a 2-sum of $U_{2,4}$ and a 3-connected non-binary frame matroid.
We investigate the set of excluded minors of connectivity 2 for the class of frame matroids. We exhibit a list $\mathcal{E}$ of 18 such matroids, and show that if $N$ is such an excluded minor, then either $N \in \mathcal{E}$ or $N$ is a 2-sum of $U_{2,4}$ and a 3-connected non-binary frame matroid.
△ Less
Submitted 31 October, 2016; v1 submitted 24 February, 2015;
originally announced February 2015.
-
Graphical representations of graphic frame matroids
Authors:
Rong Chen,
Matt DeVos,
Daryl Funk,
Irene Pivotto
Abstract:
A frame matroid M is graphic if there is a graph G with cycle matroid isomorphic to M. In general, if there is one such graph, there will be many. Zaslavsky has shown that frame matroids are precisely those having a representation as a biased graph; this class includes graphic matroids, bicircular matroids, and Dowling geometries. Whitney characterized which graphs have isomorphic cycle matroids,…
▽ More
A frame matroid M is graphic if there is a graph G with cycle matroid isomorphic to M. In general, if there is one such graph, there will be many. Zaslavsky has shown that frame matroids are precisely those having a representation as a biased graph; this class includes graphic matroids, bicircular matroids, and Dowling geometries. Whitney characterized which graphs have isomorphic cycle matroids, and Matthews characterised which graphs have isomorphic graphic bicircular matroids. In this paper, we give a characterization of which biased graphs give rise to isomorphic graphic frame matroids.
△ Less
Submitted 30 March, 2014;
originally announced March 2014.
-
When does a biased graph come from a group labelling?
Authors:
Matt DeVos,
Daryl Funk,
Irene Pivotto
Abstract:
A biased graph consists of a graph $G$ together with a collection of distinguished cycles of $G$, called balanced cycles, with the property that no theta subgraph contains exactly two balanced cycles. Perhaps the most natural biased graphs on $G$ arise from orienting $G$ and then labelling the edges of $G$ with elements of a group $Γ$. In this case, we may define a biased graph by declaring a cycl…
▽ More
A biased graph consists of a graph $G$ together with a collection of distinguished cycles of $G$, called balanced cycles, with the property that no theta subgraph contains exactly two balanced cycles. Perhaps the most natural biased graphs on $G$ arise from orienting $G$ and then labelling the edges of $G$ with elements of a group $Γ$. In this case, we may define a biased graph by declaring a cycle to be balanced if the product of the labels on its edges is the identity, with the convention that we take the inverse value for an edge traversed backwards. Our first result gives a natural topological characterisation of biased graphs arising from group-labellings.
In the second part of this article, we use this theorem to construct some exceptional biased graphs. Notably, we prove that for every $m \ge 3$ and $\ell$ there exists a minor minimal not group labellable biased graph on $m$ vertices where every pair of vertices is joined by at least $\ell$ edges. Finally, we show that these results extend to give infinite families of excluded minors for certain families of frame and lift matroids.
△ Less
Submitted 24 July, 2014; v1 submitted 29 March, 2014;
originally announced March 2014.
-
Biased graphs with no two vertex-disjoint unbalanced cycles
Authors:
Rong Chen,
Irene Pivotto
Abstract:
Lovász has completely characterised the structure of graphs with no two vertex-disjoint cycles, while Slilaty has given a structural characterisation of graphs with no two vertex-disjoint odd cycles; his result is in fact more general, describing signed graphs with no two vertex-disjoint negative cycles. A biased graph is a graph with a distinguished set of cycles (called balanced) with the proper…
▽ More
Lovász has completely characterised the structure of graphs with no two vertex-disjoint cycles, while Slilaty has given a structural characterisation of graphs with no two vertex-disjoint odd cycles; his result is in fact more general, describing signed graphs with no two vertex-disjoint negative cycles. A biased graph is a graph with a distinguished set of cycles (called balanced) with the property that any theta subgraph does not contain exactly two balanced cycles. In this paper we characterise the structure of biased graphs with no two vertex-disjoint unbalanced cycles, answering a question by Zaslavsky and generalising the results of Lovász and Slilaty.
△ Less
Submitted 6 January, 2018; v1 submitted 7 March, 2014;
originally announced March 2014.
-
Packing Steiner Trees
Authors:
Matt DeVos,
Jessica McDonald,
Irene Pivotto
Abstract:
Let $T$ be a distinguished subset of vertices in a graph $G$. A $T$-\emph{Steiner tree} is a subgraph of $G$ that is a tree and that spans $T$. Kriesell conjectured that $G$ contains $k$ pairwise edge-disjoint $T$-Steiner trees provided that every edge-cut of $G$ that separates $T$ has size $\ge 2k$. When $T=V(G)$ a $T$-Steiner tree is a spanning tree and the conjecture is a consequence of a class…
▽ More
Let $T$ be a distinguished subset of vertices in a graph $G$. A $T$-\emph{Steiner tree} is a subgraph of $G$ that is a tree and that spans $T$. Kriesell conjectured that $G$ contains $k$ pairwise edge-disjoint $T$-Steiner trees provided that every edge-cut of $G$ that separates $T$ has size $\ge 2k$. When $T=V(G)$ a $T$-Steiner tree is a spanning tree and the conjecture is a consequence of a classic theorem due to Nash-Williams and Tutte. Lau proved that Kriesell's conjecture holds when $2k$ is replaced by $24k$, and recently West and Wu have lowered this value to $6.5k$. Our main result makes a further improvement to $5k+4$.
△ Less
Submitted 7 August, 2015; v1 submitted 29 July, 2013;
originally announced July 2013.
-
Maximum size binary matroids with no AG(3,2)-minor are graphic
Authors:
Joseph P. S. Kung,
Dillon Mayhew,
Irene Pivotto,
Gordon F. Royle
Abstract:
We prove that the maximum size of a simple binary matroid of rank $r \geq 5$ with no AG(3,2)-minor is $\binom{r+1}{2}$ and characterise those matroids achieving this bound. When $r \geq 6$, the graphic matroid $M(K_{r+1})$ is the unique matroid meeting the bound, but there are a handful of smaller examples. In addition, we determine the size function for non-regular simple binary matroids with no…
▽ More
We prove that the maximum size of a simple binary matroid of rank $r \geq 5$ with no AG(3,2)-minor is $\binom{r+1}{2}$ and characterise those matroids achieving this bound. When $r \geq 6$, the graphic matroid $M(K_{r+1})$ is the unique matroid meeting the bound, but there are a handful of smaller examples. In addition, we determine the size function for non-regular simple binary matroids with no AG(3,2)-minor and characterise the matroids of maximum size for each rank.
△ Less
Submitted 8 April, 2013;
originally announced April 2013.
-
Isomorphism for even cycle matroids - I
Authors:
Bertrand Guenin,
Irene Pivotto,
Paul Wollan
Abstract:
A seminal result by Whitney describes when two graphs have the same cycles. We consider the analogous problem for even cycle matroids. A representation of an even cycle matroid is a pair formed by a graph together with a special set of edges of the graph. Such a pair is called a signed graph. We consider the problem of determining the relation between two signed graphs representing the same even c…
▽ More
A seminal result by Whitney describes when two graphs have the same cycles. We consider the analogous problem for even cycle matroids. A representation of an even cycle matroid is a pair formed by a graph together with a special set of edges of the graph. Such a pair is called a signed graph. We consider the problem of determining the relation between two signed graphs representing the same even cycle matroid. We refer to this problem as the Isomorphism Problem for even cycle matroids. We present two classes of signed graphs and we solve the Isomorphism Problem for these two classes. We conjecture that, up to simple operations, any two signed graphs representing the same even cycle matroid are either in one of these classes, or related by a modification of an operation for graphic matroids, or belonging to a small set of examples.
△ Less
Submitted 13 September, 2011;
originally announced September 2011.