-
On Minimizing the Energy of a Spherical Graph Representation
Authors:
Matt DeVos,
Danielle Rogers,
Alexandra Wesolek
Abstract:
Graph representations are the generalization of geometric graph drawings from the plane to higher dimensions. A method introduced by Tutte to optimize properties of graph drawings is to minimize their energy. We explore this minimization for spherical graph representations, where the vertices lie on a unit sphere such that the origin is their barycentre. We present a primal and dual semidefinite p…
▽ More
Graph representations are the generalization of geometric graph drawings from the plane to higher dimensions. A method introduced by Tutte to optimize properties of graph drawings is to minimize their energy. We explore this minimization for spherical graph representations, where the vertices lie on a unit sphere such that the origin is their barycentre. We present a primal and dual semidefinite program which can be used to find such a spherical graph representation minimizing the energy. We denote the optimal value of this program by $ρ(G)$ for a given graph $G$. The value turns out to be related to the second largest eigenvalue of the adjacency matrix of $G$, which we denote by $λ_2$. We show that for $G$ regular, $ρ(G) \leq \frac{λ_{2}}{2} \cdot v(G)$, and that equality holds if and only if the $λ_{2}$ eigenspace contains a spherical 1-design. Moreover, if $G$ is a random $d$-regular graph, $ρ(G)=\left(\sqrt{(d-1)} +o(1)\right)\cdot v(G)$, asymptotically almost surely.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Nowhere-zero 8-flows in cyclically 5-edge-connected, flow-admissible signed graphs
Authors:
Matt DeVos,
Kathryn Nurse,
Robert Sámal
Abstract:
In 1983, Bouchet proved that every bidirected graph with a nowhere-zero integer-flow has a nowhere-zero 216-flow, and conjectured that 216 could be replaced with 6. This paper shows that for cyclically 5-edge-connected bidirected graphs that number can be replaced with 8.
In 1983, Bouchet proved that every bidirected graph with a nowhere-zero integer-flow has a nowhere-zero 216-flow, and conjectured that 216 could be replaced with 6. This paper shows that for cyclically 5-edge-connected bidirected graphs that number can be replaced with 8.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
A short proof of Seymour's 6-flow theorem
Authors:
Matt DeVos,
Kathryn Nurse
Abstract:
We give a compact variation of Seymour's proof that every $2$-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_3$-flow.
We give a compact variation of Seymour's proof that every $2$-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_3$-flow.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Cycles through two edges in signed graphs
Authors:
Matt DeVos,
Kathryn Nurse
Abstract:
We give a characterization of when a signed graph $G$ with a pair of distinguished edges $e_1, e_2 \in E(G)$ has the property that all cycles containing both $e_1$ and $e_2$ have the same sign. This answers a question of Zaslavsky.
We give a characterization of when a signed graph $G$ with a pair of distinguished edges $e_1, e_2 \in E(G)$ has the property that all cycles containing both $e_1$ and $e_2$ have the same sign. This answers a question of Zaslavsky.
△ Less
Submitted 8 June, 2023;
originally announced June 2023.
-
Another proof of Seymour's 6-flow theorem
Authors:
Matt DeVos,
Jessica McDonald,
Kathryn Nurse
Abstract:
In 1981 Seymour proved his famous 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero flow in the group ${\mathbb Z}_2 \times {\mathbb Z}_3$ (in fact, he offers two proofs of this result). In this note we give a new short proof of a generalization of this theorem where ${\mathbb Z}_2 \times {\mathbb Z}_3$-valued functions are found subject to certain boundary constraints.
In 1981 Seymour proved his famous 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero flow in the group ${\mathbb Z}_2 \times {\mathbb Z}_3$ (in fact, he offers two proofs of this result). In this note we give a new short proof of a generalization of this theorem where ${\mathbb Z}_2 \times {\mathbb Z}_3$-valued functions are found subject to certain boundary constraints.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Longer cycles in vertex transitive graphs
Authors:
Matt DeVos
Abstract:
In 1979 Babai found a clever argument to prove that every connected vertex transitive graph on $n \ge 3$ vertices contains a cycle of length at least $\sqrt{3n}$. Here we modify his approach to show that such graphs must contain a cycle of length at least $(1 - o(1))n^{3/5}$.
In 1979 Babai found a clever argument to prove that every connected vertex transitive graph on $n \ge 3$ vertices contains a cycle of length at least $\sqrt{3n}$. Here we modify his approach to show that such graphs must contain a cycle of length at least $(1 - o(1))n^{3/5}$.
△ Less
Submitted 8 February, 2023;
originally announced February 2023.
-
There are only a finite number of excluded minors for the class of bicircular matroids
Authors:
Matt DeVos,
Daryl Funk,
Luis Goddyn,
Gordon Royle
Abstract:
We show that the class of bicircular matroids has only a finite number of excluded minors. Key tools used in our proof include representations of matroids by biased graphs and the recently introduced class of quasi-graphic matroids. We show that if $N$ is an excluded minor of rank at least ten, then $N$ is quasi-graphic. Several small excluded minors are quasi-graphic. Using biased-graphic represe…
▽ More
We show that the class of bicircular matroids has only a finite number of excluded minors. Key tools used in our proof include representations of matroids by biased graphs and the recently introduced class of quasi-graphic matroids. We show that if $N$ is an excluded minor of rank at least ten, then $N$ is quasi-graphic. Several small excluded minors are quasi-graphic. Using biased-graphic representations, we find that $N$ already contains one of these. We also provide an upper bound, in terms of rank, on the number of elements in an excluded minor, so the result follows.
△ Less
Submitted 20 October, 2023; v1 submitted 4 February, 2021;
originally announced February 2021.
-
Many flows in the group connectivity setting
Authors:
Matt DeVos,
Rikke Langhede,
Bojan Mohar,
Robert Šámal
Abstract:
Two well-known results in the world of nowhere-zero flows are Jaeger's 4-flow theorem asserting that every 4-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_2$-flow and Seymour's 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero $\mathbb{Z}_6$-flow. Dvořák and the last two authors of this paper extended these results by proving the existence of e…
▽ More
Two well-known results in the world of nowhere-zero flows are Jaeger's 4-flow theorem asserting that every 4-edge-connected graph has a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_2$-flow and Seymour's 6-flow theorem asserting that every 2-edge-connected graph has a nowhere-zero $\mathbb{Z}_6$-flow. Dvořák and the last two authors of this paper extended these results by proving the existence of exponentially many nowhere-zero flows under the same assumptions. We revisit this setting and provide extensions and simpler proofs of these results.
The concept of a nowhere-zero flow was extended in a significant paper of Jaeger, Linial, Payan, and Tarsi to a choosability-type setting. For a fixed abelian group $Γ$, an oriented graph $G = (V,E)$ is called $Γ$-connected if for every function $f : E \rightarrow Γ$ there is a flow $φ: E \rightarrow Γ$ with $φ(e) \neq f(e)$ for every $e \in E$ (note that taking $f = 0$ forces $φ$ to be nowhere-zero). Jaeger et al. proved that every oriented 3-edge-connected graph is $Γ$-connected whenever $|Γ| \ge 6$. We prove that there are exponentially many solutions whenever $|Γ| \ge 8$. For the group $\mathbb{Z}_6$ we prove that for every oriented 3-edge-connected $G = (V,E)$ with $\ell = |E| - |V| \ge 11$ and every $f: E \rightarrow \mathbb{Z}_6$, there are at least $2^{ \sqrt{\ell} / \log \ell}$ flows $φ$ with $φ(e) \neq f(e)$ for every $e \in E$.
△ Less
Submitted 19 May, 2020;
originally announced May 2020.
-
Flows on flow-admissible signed graphs
Authors:
Matt DeVos,
Jiaao Li,
You Lu,
Rong Luo,
Cun-Quan Zhang,
Zhang Zhang
Abstract:
In 1983, Bouchet proposed a conjecture that every flow-admissible signed graph admits a nowhere-zero $6$-flow. Bouchet himself proved that such signed graphs admit nowhere-zero $216$-flows and Zyka further proved that such signed graphs admit nowhere-zero $30$-flows. In this paper we show that every flow-admissible signed graph admits a nowhere-zero 11-flow.
In 1983, Bouchet proposed a conjecture that every flow-admissible signed graph admits a nowhere-zero $6$-flow. Bouchet himself proved that such signed graphs admit nowhere-zero $216$-flows and Zyka further proved that such signed graphs admit nowhere-zero $30$-flows. In this paper we show that every flow-admissible signed graph admits a nowhere-zero 11-flow.
△ Less
Submitted 28 August, 2019; v1 submitted 28 August, 2019;
originally announced August 2019.
-
Branch-depth: Generalizing tree-depth of graphs
Authors:
Matt DeVos,
O-joung Kwon,
Sang-il Oum
Abstract:
We present a concept called the branch-depth of a connectivity function, that generalizes the tree-depth of graphs. Then we prove two theorems showing that this concept aligns closely with the notions of tree-depth and shrub-depth of graphs as follows. For a graph $G = (V,E)$ and a subset $A $ of $E$ we let $λ_G (A)$ be the number of vertices incident with an edge in $A$ and an edge in…
▽ More
We present a concept called the branch-depth of a connectivity function, that generalizes the tree-depth of graphs. Then we prove two theorems showing that this concept aligns closely with the notions of tree-depth and shrub-depth of graphs as follows. For a graph $G = (V,E)$ and a subset $A $ of $E$ we let $λ_G (A)$ be the number of vertices incident with an edge in $A$ and an edge in $E \setminus A$. For a subset $X$ of $V$, let $ρ_G(X)$ be the rank of the adjacency matrix between $X$ and $V \setminus X$ over the binary field. We prove that a class of graphs has bounded tree-depth if and only if the corresponding class of functions $λ_G$ has bounded branch-depth and similarly a class of graphs has bounded shrub-depth if and only if the corresponding class of functions $ρ_G$ has bounded branch-depth, which we call the rank-depth of graphs.
Furthermore we investigate various potential generalizations of tree-depth to matroids and prove that matroids representable over a fixed finite field having no large circuits are well-quasi-ordered by the restriction.
△ Less
Submitted 4 November, 2020; v1 submitted 28 March, 2019;
originally announced March 2019.
-
A rainbow version of Mantel's Theorem
Authors:
Ron Aharoni,
Matt DeVos,
Sebastián González Hermosillo de la Maza,
Amanda Montejano,
Robert Šámal
Abstract:
Mantel's Theorem asserts that a simple $n$ vertex graph with more than $\frac{1}{4}n^2$ edges has a triangle (three mutually adjacent vertices). Here we consider a rainbow variant of this problem. We prove that whenever $G_1, G_2, G_3$ are simple graphs on a common set of $n$ vertices and $|E(G_i)| > ( \frac{ 26 - 2 \sqrt{7} }{81})n^2 \approx 0.2557 n^2$ for $1 \le i \le 3$, then there exist disti…
▽ More
Mantel's Theorem asserts that a simple $n$ vertex graph with more than $\frac{1}{4}n^2$ edges has a triangle (three mutually adjacent vertices). Here we consider a rainbow variant of this problem. We prove that whenever $G_1, G_2, G_3$ are simple graphs on a common set of $n$ vertices and $|E(G_i)| > ( \frac{ 26 - 2 \sqrt{7} }{81})n^2 \approx 0.2557 n^2$ for $1 \le i \le 3$, then there exist distinct vertices $v_1,v_2,v_3$ so that (working with the indices modulo 3) we have $v_i v_{i+1} \in E(G_i)$ for $1 \le i \le 3$. We provide an example to show this bound is best possible. This also answers a question of Diwan and Mubayi. We include a new short proof of Mantel's Theorem we obtained as a byproduct.
△ Less
Submitted 25 February, 2020; v1 submitted 31 December, 2018;
originally announced December 2018.
-
The structure of graphs with no K_{3,3} immersion
Authors:
Matt DeVos,
Mahdieh Malekian
Abstract:
The Kuratowski-Wagner Theorem asserts that a graph is planar if and only if it does not have either $K_{3,3}$ or $K_5$ as a minor. Using this Wagner obtained a precise description of all graphs with no $K_{3,3}$ minor and all graphs with no $K_5$ minor. Similar results have been achieved for the class of graphs with no $H$-minor for a number of small graphs $H$.
In this paper we give a precise s…
▽ More
The Kuratowski-Wagner Theorem asserts that a graph is planar if and only if it does not have either $K_{3,3}$ or $K_5$ as a minor. Using this Wagner obtained a precise description of all graphs with no $K_{3,3}$ minor and all graphs with no $K_5$ minor. Similar results have been achieved for the class of graphs with no $H$-minor for a number of small graphs $H$.
In this paper we give a precise structure theorem for graphs which do not contain $K_{3,3}$ as an immersion. This strengthens an earlier theorem of Giannopoulou, Kamiński, and Thilikos that gives a rough description of the class of graphs with no $K_{3,3}$ or $K_5$ immersion.
△ Less
Submitted 2 November, 2018; v1 submitted 30 October, 2018;
originally announced October 2018.
-
The structure of graphs with no W_4 immersion
Authors:
Matt DeVos,
Mahdieh Malekian
Abstract:
This paper gives a precise structure theorem for the class of graphs which do not contain $W_4$ as an immersion. This strengthens a previous result of Belmonte at al. that gives a rough description of this class. In fact, we prove a stronger theorem concerning rooted immersions of $W_4$ where one terminal is specified in advance. This stronger result is key in a forthcoming structure theorem for g…
▽ More
This paper gives a precise structure theorem for the class of graphs which do not contain $W_4$ as an immersion. This strengthens a previous result of Belmonte at al. that gives a rough description of this class. In fact, we prove a stronger theorem concerning rooted immersions of $W_4$ where one terminal is specified in advance. This stronger result is key in a forthcoming structure theorem for graphs with no $K_{3,3}$ immersion.
△ Less
Submitted 30 October, 2018;
originally announced October 2018.
-
A Maximum Linear Arrangement Problem on Directed Graphs
Authors:
Matt DeVos,
Kathryn Nurse
Abstract:
We propose a new arrangement problem on directed graphs, Maximum Directed Linear Arrangement (MaxDLA). This is a directed variant of a similar problem for undirected graphs, in which however one seeks maximum and not minimum; this problem known as the Minimum Linear Arrangement Problem (MinLA) has been much studied in the literature. We establish a number of theorems illustrating the behavior and…
▽ More
We propose a new arrangement problem on directed graphs, Maximum Directed Linear Arrangement (MaxDLA). This is a directed variant of a similar problem for undirected graphs, in which however one seeks maximum and not minimum; this problem known as the Minimum Linear Arrangement Problem (MinLA) has been much studied in the literature. We establish a number of theorems illustrating the behavior and complexity of MaxDLA. First, we relate MaxDLA to Maximum Directed Cut (MaxDiCut) by proving that every simple digraph $D$ on $n$ vertices satisfies $\frac{n}{2}$$maxDiCut(D) \leq MaxDLA(D) \leq (n-1)MaxDiCut(D)$. Next, we prove that MaxDiCut is NP-Hard for planar digraphs (even with the added restriction of maximum degree 15); it follows from the above bounds that MaxDLA is also NP-Hard for planar digraphs. In contrast, Hadlock (1975) and Dorfman and Orlova (1972) showed that the undirected Maximum Cut problem is solvable in polynomial time on planar graphs.
On the positive side, we present a polynomial-time algorithm for solving MaxDLA on orientations of trees with degree bounded by a constant, which translates to a polynomial-time algorithm for solving MinLA on the complements of those trees. This pairs with results by Goldberg and Klipker (1976), Shiloach (1979) and Chung (1984) solving MinLA in polynomial time on trees. Finally, analogues of Harper's famous isoperimetric inequality for the hypercube, in the setting of MaxDLA, are shown for tournaments, orientations of graphs with degree at most two, and transitive acyclic digraphs.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Which graphs occur as $γ$-graphs?
Authors:
Matt DeVos,
Adam Dyck,
Jonathan Jedwab,
Samuel Simon
Abstract:
The $γ$-graph of a graph $G$ is the graph whose vertices are labelled by the minimum dominating sets of $G$, in which two vertices are adjacent when their corresponding minimum dominating sets (each of size $γ(G)$) intersect in a set of size $γ(G)-1$. We extend the notion of a $γ$-graph from distance-1-domination to distance-$d$-domination, and ask which graphs $H$ occur as $γ$-graphs for a given…
▽ More
The $γ$-graph of a graph $G$ is the graph whose vertices are labelled by the minimum dominating sets of $G$, in which two vertices are adjacent when their corresponding minimum dominating sets (each of size $γ(G)$) intersect in a set of size $γ(G)-1$. We extend the notion of a $γ$-graph from distance-1-domination to distance-$d$-domination, and ask which graphs $H$ occur as $γ$-graphs for a given value of~$d \ge 1$. We show that, for all $d$, the answer depends only on whether the vertices of $H$ admit a labelling consistent with the adjacency condition for a conventional $γ$-graph. This result relies on an explicit construction for a graph having an arbitrary prescribed set of minimum distance-$d$-dominating sets. We then completely determine the graphs that admit such a labelling among the wheel graphs, the fan graphs, and the graphs on at most six vertices. We connect the question of whether a graph admits such a labelling with previous work on induced subgraphs of Johnson graphs.
△ Less
Submitted 3 April, 2020; v1 submitted 3 October, 2018;
originally announced October 2018.
-
Non-monochromatic Triangles in a 2-Edge-Coloured Graph
Authors:
Matt DeVos,
Jessica McDonald,
Amanda Montejano
Abstract:
Let $G = (V,E)$ be a simple graph and let $\{R,B\}$ be a partition of $E$. We prove that whenever $|E| + \min\{ |R|, |B| \} > { |V| \choose 2 }$, there exists a subgraph of $G$ isomorphic to $K_3$ which contains edges from both $R$ and $B$. We conjecture a natural generalization to partitions with more blocks.
Let $G = (V,E)$ be a simple graph and let $\{R,B\}$ be a partition of $E$. We prove that whenever $|E| + \min\{ |R|, |B| \} > { |V| \choose 2 }$, there exists a subgraph of $G$ isomorphic to $K_3$ which contains edges from both $R$ and $B$. We conjecture a natural generalization to partitions with more blocks.
△ Less
Submitted 26 September, 2018;
originally announced September 2018.
-
Splitter Theorems for Graph Immersions
Authors:
Matt DeVos,
Mahdieh Malekian
Abstract:
We establish splitter theorems for graph immersions for two families of graphs, $k$-edge-connected graphs, with $k$ even, and 3-edge-connected, internally 4-edge-connected graphs. As a corollary, we prove that every $3$-edge-connected, internally $4$-edge-connected graph on at least seven vertices that immerses $K_5$ also has $K_{3,3}$ as an immersion.
We establish splitter theorems for graph immersions for two families of graphs, $k$-edge-connected graphs, with $k$ even, and 3-edge-connected, internally 4-edge-connected graphs. As a corollary, we prove that every $3$-edge-connected, internally $4$-edge-connected graph on at least seven vertices that immerses $K_5$ also has $K_{3,3}$ as an immersion.
△ Less
Submitted 8 July, 2025; v1 submitted 20 August, 2018;
originally announced August 2018.
-
Short rainbow cycles in graphs and matroids
Authors:
Matt DeVos,
Matthew Drescher,
Daryl Funk,
Sebastián González Hermosillo de la Maza,
Krystal Guo,
Tony Huynh,
Bojan Mohar,
Amanda Montejano
Abstract:
Let $G$ be a simple $n$-vertex graph and $c$ be a colouring of $E(G)$ with $n$ colours, where each colour class has size at least $2$. We prove that $(G,c)$ contains a rainbow cycle of length at most $\lceil \frac{n}{2} \rceil$, which is best possible. Our result settles a special case of a strengthening of the Caccetta-Häggkvist conjecture, due to Aharoni. We also show that the matroid generaliza…
▽ More
Let $G$ be a simple $n$-vertex graph and $c$ be a colouring of $E(G)$ with $n$ colours, where each colour class has size at least $2$. We prove that $(G,c)$ contains a rainbow cycle of length at most $\lceil \frac{n}{2} \rceil$, which is best possible. Our result settles a special case of a strengthening of the Caccetta-Häggkvist conjecture, due to Aharoni. We also show that the matroid generalization of our main result also holds for cographic matroids, but fails for binary matroids.
△ Less
Submitted 7 May, 2020; v1 submitted 3 June, 2018;
originally announced June 2018.
-
Rainbow triangles and the Caccetta-Häggkvist conjecture
Authors:
Ron Aharoni,
Ron Holzman,
Matthew DeVos
Abstract:
A famous conjecture of Caccetta and Häggkvist is that in a digraph on $n$ vertices and minimum out-degree at least $\frac{n}{r}$ there is a directed cycle of length $r$ or less. We consider the following generalization: in an undirected graph on $n$ vertices, any collection of $n$ disjoint sets of edges, each of size at least $\frac{n}{r}$, has a rainbow cycle of length $r$ or less. We focus on th…
▽ More
A famous conjecture of Caccetta and Häggkvist is that in a digraph on $n$ vertices and minimum out-degree at least $\frac{n}{r}$ there is a directed cycle of length $r$ or less. We consider the following generalization: in an undirected graph on $n$ vertices, any collection of $n$ disjoint sets of edges, each of size at least $\frac{n}{r}$, has a rainbow cycle of length $r$ or less. We focus on the case $r=3$, and prove the existence of a rainbow triangle under somewhat stronger conditions than in the conjecture. For any fixed $k$ and large enough $n$, we determine the maximum number of edges in an $n$-vertex edge-coloured graph where all colour classes have size at most $k$ and there is no rainbow triangle. Moreover, we characterize the extremal graphs for this problem.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
Whitney's Theorem for 2-Regular Planar Digraphs
Authors:
Dan Archdeacon,
Matt DeVos,
Stefan Hannie,
Bojan Mohar
Abstract:
A digraph is 2-regular if every vertex has both indegree and outdegree two. We define an embedding of a 2-regular digraph to be a 2-cell embedding of the underlying graph in a closed surface with the added property that for every vertex~$v$, the two edges directed away from $v$ are not consecutive in the local rotation around $v$. In other words, at each vertex the incident edges are oriented in-o…
▽ More
A digraph is 2-regular if every vertex has both indegree and outdegree two. We define an embedding of a 2-regular digraph to be a 2-cell embedding of the underlying graph in a closed surface with the added property that for every vertex~$v$, the two edges directed away from $v$ are not consecutive in the local rotation around $v$. In other words, at each vertex the incident edges are oriented in-out-in-out. The goal of this article is to provide an analogue of Whitney's theorem on planar embeddings in the setting of 2-regular digraphs. In the course of doing so, we note that Tutte's Theorem on peripheral cycles also has a natural analogue in this setting.
△ Less
Submitted 9 June, 2017;
originally announced June 2017.
-
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.
-
A note on counting flows in signed graphs
Authors:
Matt DeVos,
Edita Rollová,
Robert Šámal
Abstract:
Tutte initiated the study of nowhere-zero flows and proved the following fundamental theorem: For every graph $G$ there is a polynomial $f$ so that for every abelian group $Γ$ of order $n$, the number of nowhere-zero $Γ$-flows in $G$ is $f(n)$. For signed graphs (which have bidirected orientations), the situation is more subtle. For a finite group $Γ$, let $ε_2(Γ)$ be the largest integer $d$ so th…
▽ More
Tutte initiated the study of nowhere-zero flows and proved the following fundamental theorem: For every graph $G$ there is a polynomial $f$ so that for every abelian group $Γ$ of order $n$, the number of nowhere-zero $Γ$-flows in $G$ is $f(n)$. For signed graphs (which have bidirected orientations), the situation is more subtle. For a finite group $Γ$, let $ε_2(Γ)$ be the largest integer $d$ so that $Γ$ has a subgroup isomorphic to $\mathbb{Z}_2^d$. We prove that for every signed graph $G$ and $d \ge 0$ there is a polynomial $f_d$ so that $f_d(n)$ is the number of nowhere-zero $Γ$-flows in $G$ for every abelian group $Γ$ with $ε_2(Γ) = d$ and $|Γ| = 2^d n$. Beck and Zaslavsky had previously established the special case of this result when $d=0$ (i.e., when $Γ$ has odd order).
△ Less
Submitted 25 January, 2017;
originally announced January 2017.
-
Almost balanced biased graph representations of frame matroids
Authors:
Matt DeVos,
Daryl Funk
Abstract:
Given a 3-connected biased graph $Ω$ with a balancing vertex, and with frame matroid $F(Ω)$ nongraphic and 3-connected, we determine all biased graphs $Ω'$ with $F(Ω') = F(Ω)$. As a consequence, we show that if $M$ is a 4-connected nongraphic frame matroid represented by a biased graph $Ω$ having a balancing vertex, then $Ω$ essentially uniquely represents $M$. More precisely, all biased graphs re…
▽ More
Given a 3-connected biased graph $Ω$ with a balancing vertex, and with frame matroid $F(Ω)$ nongraphic and 3-connected, we determine all biased graphs $Ω'$ with $F(Ω') = F(Ω)$. As a consequence, we show that if $M$ is a 4-connected nongraphic frame matroid represented by a biased graph $Ω$ having a balancing vertex, then $Ω$ essentially uniquely represents $M$. More precisely, all biased graphs representing $M$ are obtained from $Ω$ by replacing a subset of the edges incident to its unique balancing vertex with unbalanced loops.
△ Less
Submitted 16 November, 2017; v1 submitted 23 June, 2016;
originally announced June 2016.
-
A new proof of Seymour's 6-flow theorem
Authors:
Matt DeVos,
Edita Rollová,
Robert Šámal
Abstract:
Tutte's famous 5-flow conjecture asserts that every bridgeless graph has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow. Here we give (two versions of) a new proof of Seymour's Theorem. Both are roughly equal to Seymour's in terms of complexity, but they offer an alternative perspective which we hope will be of value.
Tutte's famous 5-flow conjecture asserts that every bridgeless graph has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow. Here we give (two versions of) a new proof of Seymour's Theorem. Both are roughly equal to Seymour's in terms of complexity, but they offer an alternative perspective which we hope will be of value.
△ Less
Submitted 19 December, 2015;
originally announced December 2015.
-
The 4-Regular Edge-Transitive Graphs of Girth 4
Authors:
Tomas Boothby,
Matt DeVos
Abstract:
This paper presents a characterization of edge-transitive graphs which are four regular and have girth four. This class consists of four infinite families plus four exceptional graphs.
This paper presents a characterization of edge-transitive graphs which are four regular and have girth four. This class consists of four infinite families plus four exceptional graphs.
△ Less
Submitted 20 November, 2015;
originally announced November 2015.
-
Period Preserving Properties of an Invariant from the Permanent of Signed Incidence Matrices
Authors:
Iain Crump,
Matt DeVos,
Karen Yeats
Abstract:
A 4-point Feynman diagram in scalar $φ^4$ theory is represented by a graph $G$ which is obtained from a connected 4-regular graph by deleting a vertex. The associated Feynman integral gives a quantity called the period of $G$ which is invariant under a number of meaningful graph operations - namely, planar duality, the Schnetz twist, and it also does not depend on the choice of vertex which was de…
▽ More
A 4-point Feynman diagram in scalar $φ^4$ theory is represented by a graph $G$ which is obtained from a connected 4-regular graph by deleting a vertex. The associated Feynman integral gives a quantity called the period of $G$ which is invariant under a number of meaningful graph operations - namely, planar duality, the Schnetz twist, and it also does not depend on the choice of vertex which was deleted to form $G$.
In this article we study a graph invariant we call the graph permanent, which was implicitly introduced in a paper by Alon, Linial and Meshulam. The graph permanent applies to any graph $G = (V,E)$ for which $|E|$ is a multiple of $|V| - 1$ (so in particular to graphs obtained from a 4-regular graph by removing a vertex). We prove that the graph permanent, like the period, is invariant under planar duality and the Schnetz twist when these are valid operations, and we show that when $G$ is obtained from a $2k$-regular graph by deleting a vertex, the graph permanent does not depend on the choice of deleted vertex.
△ Less
Submitted 26 November, 2015; v1 submitted 26 May, 2015;
originally announced May 2015.
-
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.
-
Flows on Bidirected Graphs
Authors:
Matt DeVos
Abstract:
The study of nowhere-zero flows began with a key observation of Tutte that in planar graphs, nowhere-zero k-flows are dual to k-colourings (in the form of k-tensions). Tutte conjectured that every graph without a cut-edge has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow.
For a graph embedded in an orientable surface of higher genus, flows are not dual to…
▽ More
The study of nowhere-zero flows began with a key observation of Tutte that in planar graphs, nowhere-zero k-flows are dual to k-colourings (in the form of k-tensions). Tutte conjectured that every graph without a cut-edge has a nowhere-zero 5-flow. Seymour proved that every such graph has a nowhere-zero 6-flow.
For a graph embedded in an orientable surface of higher genus, flows are not dual to colourings, but to local-tensions. By Seymour's theorem, every graph on an orientable surface without the obvious obstruction has a nowhere-zero 6-local-tension. Bouchet conjectured that the same should hold true on non-orientable surfaces. Equivalently, Bouchet conjectured that every bidirected graph with a nowhere-zero $\mathbb{Z}$-flow has a nowhere-zero 6-flow. Our main result establishes that every such graph has a nowhere-zero 12-flow.
△ Less
Submitted 31 October, 2013;
originally announced October 2013.
-
Forbidden minors for graphs with no first obstruction to parametric Feynman integration
Authors:
Samson Black,
Iain Crump,
Matt DeVos,
Karen Yeats
Abstract:
We give a characterization of 3-connected graphs which are planar and forbid cube, octahedron, and $H$ minors, where $H$ is the graph which is one $Δ-Y$ away from each of the cube and the octahedron. Next we say a graph is Feynman 5-split if no choice of edge ordering gives an obstruction to parametric Feynman integration at the fifth step. The 3-connected Feynman 5-split graphs turn out to be pre…
▽ More
We give a characterization of 3-connected graphs which are planar and forbid cube, octahedron, and $H$ minors, where $H$ is the graph which is one $Δ-Y$ away from each of the cube and the octahedron. Next we say a graph is Feynman 5-split if no choice of edge ordering gives an obstruction to parametric Feynman integration at the fifth step. The 3-connected Feynman 5-split graphs turn out to be precisely those characterized above. Finally we derive the full list of forbidden minors for Feynman 5-split graphs of any connectivity.
△ Less
Submitted 2 October, 2014; v1 submitted 21 October, 2013;
originally announced October 2013.
-
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.
-
A short proof of Kneser's addition theorem for abelian groups
Authors:
Matt DeVos
Abstract:
Martin Kneser proved the following addition theorem for every abelian group $G$. If $A,B \subseteq G$ are finite and nonempty, then $|A+B| \ge |A+K| + |B+K| - |K|$ where $K = \{g \in G \mid g+A+B = A+B \}$. Here we give a short proof of this based on a simple intersection union argument.
Martin Kneser proved the following addition theorem for every abelian group $G$. If $A,B \subseteq G$ are finite and nonempty, then $|A+B| \ge |A+K| + |B+K| - |K|$ where $K = \{g \in G \mid g+A+B = A+B \}$. Here we give a short proof of this based on a simple intersection union argument.
△ Less
Submitted 14 March, 2013;
originally announced March 2013.
-
The Structure of Critical Product Sets
Authors:
Matt DeVos
Abstract:
Let $G$ be a multiplicative group, let $A,B \subseteq G$ be finite and nonempty, and define the product set $AB = {ab \mid $a \in A$ and $b \in B$}$. Two fundamental problems in combinatorial number theory are to find lower bounds on $|AB|$, and then to determine structural properties of $A$ and $B$ under the assumption that $|AB|$ is small. We focus on the extreme case when $|AB| < |A| + |B|$, an…
▽ More
Let $G$ be a multiplicative group, let $A,B \subseteq G$ be finite and nonempty, and define the product set $AB = {ab \mid $a \in A$ and $b \in B$}$. Two fundamental problems in combinatorial number theory are to find lower bounds on $|AB|$, and then to determine structural properties of $A$ and $B$ under the assumption that $|AB|$ is small. We focus on the extreme case when $|AB| < |A| + |B|$, and call any such pair $(A,B)$ \emph{critical}.
In the case when $|G|$ is prime, the Cauchy-Davenport Theorem asserts that $|AB| \ge \min {|G|, |A| + |B| - 1}$, and Vosper refined this result by classifying all critical pairs in these groups. For abelian groups, Kneser proved a natural generalization of Cauchy-Davenport by showing that there exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and $ABH = AB$. Kemperman then proved a result which characterizes the structure of all critical pairs in abelian groups.
Our main result gives a classification of all critical pairs in an arbitrary group $G$. As a consequence of this we derive the following generalization of Kneser's Theorem to arbitrary groups: There exists $H \le G$ so that $|AB| \ge |A| + |B| - |H|$ and so that for every $y \in AB$ there exists $x \in G$ so that $y(x^{-1} H x) \subseteq AB$.
△ Less
Submitted 7 September, 2013; v1 submitted 1 January, 2013;
originally announced January 2013.
-
A New Proof of Kemperman's Theorem
Authors:
Tomas Boothby,
Matt DeVos,
Amanda Montejano
Abstract:
Let $G$ be an additive abelian group and let $A,B \subseteq G$ be finite and nonempty. The pair $(A,B)$ is called critical if the sumset $A+B = {a+b \mid $a \in A$ and $b\in B$}$ satisfies $|A+B| < |A| + |B|$. Vosper proved a theorem which characterizes all critical pairs in the special case when $|G|$ is prime. Kemperman generalized this by proving a structure theorem for critical pairs in an arb…
▽ More
Let $G$ be an additive abelian group and let $A,B \subseteq G$ be finite and nonempty. The pair $(A,B)$ is called critical if the sumset $A+B = {a+b \mid $a \in A$ and $b\in B$}$ satisfies $|A+B| < |A| + |B|$. Vosper proved a theorem which characterizes all critical pairs in the special case when $|G|$ is prime. Kemperman generalized this by proving a structure theorem for critical pairs in an arbitrary abelian group. Here we give a new proof of Kemperman's Theorem.
△ Less
Submitted 15 March, 2013; v1 submitted 1 January, 2013;
originally announced January 2013.
-
Integral Cayley multigraphs over Abelian and Hamiltonian groups
Authors:
Matt DeVos,
Roi Krakovski,
Bojan Mohar,
Azhvan Sheikh Ahmady
Abstract:
It is shown that a Cayley multigraph over a group $G$ with generating multiset $S$ is integral (i.e., all of its eigenvalues are integers) if $S$ lies in the integral cone over the boolean algebra generated by the normal subgroups of $G$. The converse holds in the case when $G$ is abelian. This in particular gives an alternative, character theoretic proof of a theorem of Bridges and Mena (1982). W…
▽ More
It is shown that a Cayley multigraph over a group $G$ with generating multiset $S$ is integral (i.e., all of its eigenvalues are integers) if $S$ lies in the integral cone over the boolean algebra generated by the normal subgroups of $G$. The converse holds in the case when $G$ is abelian. This in particular gives an alternative, character theoretic proof of a theorem of Bridges and Mena (1982). We extend this result to provide a necessary and sufficient condition for a Cayley multigraph over a Hamiltonian group to be integral, in terms of character sums and the structure of the generating set.
△ Less
Submitted 23 September, 2012;
originally announced September 2012.
-
A note on forbidding clique immersions
Authors:
Matt DeVos,
Jessica McDonald,
Bojan Mohar,
Diego Scheide
Abstract:
Robertson and Seymour proved that the relation of graph immersion is well-quasi-ordered for finite graphs. Their proof uses the results of graph minors theory. Surprisingly, there is a very short proof of the corresponding rough structure theorem for graphs without $K_t$-immersions; it is based on the Gomory-Hu theorem. The same proof also works to establish a rough structure theorem for Eulerian…
▽ More
Robertson and Seymour proved that the relation of graph immersion is well-quasi-ordered for finite graphs. Their proof uses the results of graph minors theory. Surprisingly, there is a very short proof of the corresponding rough structure theorem for graphs without $K_t$-immersions; it is based on the Gomory-Hu theorem. The same proof also works to establish a rough structure theorem for Eulerian digraphs without $\vec{K}_t$-immersions, where $\vec{K}_t$ denotes the bidirected complete digraph of order $t$.
△ Less
Submitted 9 July, 2012;
originally announced July 2012.
-
Small separations in vertex transitive graphs
Authors:
Matt DeVos,
Bojan Mohar
Abstract:
Let $k$ be an integer. We prove a rough structure theorem for separations of order at most $k$ in finite and infinite vertex transitive graphs. Let $G = (V,E)$ be a vertex transitive graph, let $A \subseteq V$ be a finite vertex-set with $|A| \le |V|/2$ and $|\{v \in V \setminus A : {$u \sim v$ for some $u \in A$} \}|\le k$. We show that whenever the diameter of $G$ is at least $31(k+1)^2$, either…
▽ More
Let $k$ be an integer. We prove a rough structure theorem for separations of order at most $k$ in finite and infinite vertex transitive graphs. Let $G = (V,E)$ be a vertex transitive graph, let $A \subseteq V$ be a finite vertex-set with $|A| \le |V|/2$ and $|\{v \in V \setminus A : {$u \sim v$ for some $u \in A$} \}|\le k$. We show that whenever the diameter of $G$ is at least $31(k+1)^2$, either $|A| \le 2k^3+k^2$, or $G$ has a ring-like structure (with bounded parameters), and $A$ is efficiently contained in an interval. This theorem may be viewed as a rough characterization, generalizing an earlier result of Tindell, and has applications to the study of product sets and expansion in groups.
△ Less
Submitted 21 October, 2011;
originally announced October 2011.
-
Highly arc-transitive digraphs -- counterexamples and structure
Authors:
Matt DeVos,
Bojan Mohar,
Robert Šámal
Abstract:
We resolve two problems of [Cameron, Praeger, and Wormald -- Infinite highly arc transitive digraphs and universal covering digraphs, Combinatorica 1993]. First, we construct a locally finite highly arc-transitive digraph with universal reachability relation. Second, we provide constructions of 2-ended highly arc transitive digraphs where each `building block' is a finite bipartite graph that is n…
▽ More
We resolve two problems of [Cameron, Praeger, and Wormald -- Infinite highly arc transitive digraphs and universal covering digraphs, Combinatorica 1993]. First, we construct a locally finite highly arc-transitive digraph with universal reachability relation. Second, we provide constructions of 2-ended highly arc transitive digraphs where each `building block' is a finite bipartite graph that is not a disjoint union of complete bipartite graphs. This was conjectured impossible in the above paper. We also describe the structure of 2-ended highly arc transitive digraphs in more generality, although complete characterization remains elusive.
△ Less
Submitted 10 October, 2013; v1 submitted 13 October, 2011;
originally announced October 2011.
-
Immersing complete digraphs
Authors:
Matt DeVos,
Jessica McDonald,
Bojan Mohar,
Diego Scheide
Abstract:
We consider the problem of immersing the complete digraph on t vertices in a simple digraph. For Eulerian digraphs, we show that such an immersion always exists whenever minimum degree is at least t(t-1), and for t at most 4 minimum degree at least t-1 suffices. On the other hand, we show that there exist non-Eulerian digraphs with all vertices of arbitrarily high in- and outdegree which do not co…
▽ More
We consider the problem of immersing the complete digraph on t vertices in a simple digraph. For Eulerian digraphs, we show that such an immersion always exists whenever minimum degree is at least t(t-1), and for t at most 4 minimum degree at least t-1 suffices. On the other hand, we show that there exist non-Eulerian digraphs with all vertices of arbitrarily high in- and outdegree which do not contain an immersion of the complete digraph on 3 vertices. As a side result, we obtain a construction of digraphs with large outdegree in which all cycles have odd length, simplifying a former construction of such graphs by Thomassen.
△ Less
Submitted 16 September, 2011;
originally announced September 2011.
-
Minimum degree condition forcing complete graph immersion
Authors:
Matt DeVos,
Zdeněk Dvořák,
Jacob Fox,
Jessica McDonald,
Bojan Mohar,
Diego Scheide
Abstract:
An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple gr…
▽ More
An immersion of a graph $H$ into a graph $G$ is a one-to-one mapping $f:V(H) \to V(G)$ and a collection of edge-disjoint paths in $G$, one for each edge of $H$, such that the path $P_{uv}$ corresponding to edge $uv$ has endpoints $f(u)$ and $f(v)$. The immersion is strong if the paths $P_{uv}$ are internally disjoint from $f(V(H))$. It is proved that for every positive integer $t$, every simple graph of minimum degree at least $200t$ contains a strong immersion of the complete graph $K_t$. For dense graphs one can say even more. If the graph has order $n$ and has $2cn^2$ edges, then there is a strong immersion of the complete graph on at least $c^2 n$ vertices in $G$ in which each path $P_{uv}$ is of length 2. As an application of these results, we resolve a problem raised by Paul Seymour by proving that the line graph of every simple graph with average degree $d$ has a clique minor of order at least $cd^{3/2}$, where $c>0$ is an absolute constant.
For small values of $t$, $1\le t\le 7$, every simple graph of minimum degree at least $t-1$ contains an immersion of $K_t$ (Lescure and Meyniel, DeVos et al.). We provide a general class of examples showing that this does not hold when $t$ is large.
△ Less
Submitted 13 January, 2011;
originally announced January 2011.
-
Average Degree in Graph Powers
Authors:
Matt DeVos,
Jessica McDonald,
Diego Scheide
Abstract:
The kth power of a simple graph G, denoted G^k, is the graph with vertex set V(G) where two vertices are adjacent if they are within distance k in G. We are interested in finding lower bounds on the average degree of G^k. Here we prove that if G is connected with minimum degree d > 2 and |V(G)| > (8/3)d, then G^4 has average degree at least (7/3)d. We also prove that if G is a connected d-regular…
▽ More
The kth power of a simple graph G, denoted G^k, is the graph with vertex set V(G) where two vertices are adjacent if they are within distance k in G. We are interested in finding lower bounds on the average degree of G^k. Here we prove that if G is connected with minimum degree d > 2 and |V(G)| > (8/3)d, then G^4 has average degree at least (7/3)d. We also prove that if G is a connected d-regular graph on n vertices with diameter at least 3k+3, then the average degree of G^{3k+2} is at least (2k+1)(d+1) - k(k+1) (d+1)^2/n - 1. Both of these results are shown to be essentially best possible; the second is best possible even when n/d is arbitrarily large.
△ Less
Submitted 14 December, 2010;
originally announced December 2010.
-
Packing triangles in weighted graphs
Authors:
Guillaume Chapuy,
Matt DeVos,
Jessica McDonald,
Bojan Mohar,
Diego Scheide
Abstract:
Tuza conjectured that for every graph $G$, the maximum size $ν$ of a set of edge-disjoint triangles and minimum size $τ$ of a set of edges meeting all triangles satisfy $τ\leq 2ν$. We consider an edge-weighted version of this conjecture, which amounts to packing and covering triangles in multigraphs. Several known results about the original problem are shown to be true in this context, and some ar…
▽ More
Tuza conjectured that for every graph $G$, the maximum size $ν$ of a set of edge-disjoint triangles and minimum size $τ$ of a set of edges meeting all triangles satisfy $τ\leq 2ν$. We consider an edge-weighted version of this conjecture, which amounts to packing and covering triangles in multigraphs. Several known results about the original problem are shown to be true in this context, and some are improved. In particular, we answer a question of Krivelevich who proved that $τ\leq 2ν^*$ (where $ν^*$ is the fractional version of $ν$), and asked if this is tight. We prove that $τ\leq 2ν^*-\frac{1}{\sqrt{6}}\sqrt{ν^*}$ and show that this bound is essentially best possible.
△ Less
Submitted 25 May, 2015; v1 submitted 1 December, 2010;
originally announced December 2010.
-
Edge Growth in Graph Cubes
Authors:
Matt DeVos,
Stéphan Thomassé
Abstract:
We show that for every connected graph $G$ of diameter $\ge 3$, the graph $G^3$ has average degree $\ge 7/4 δ(G)$. We also provide an example showing that this bound is best possible. This resolves a question of Hegarty \cite{PH}.
We show that for every connected graph $G$ of diameter $\ge 3$, the graph $G^3$ has average degree $\ge 7/4 δ(G)$. We also provide an example showing that this bound is best possible. This resolves a question of Hegarty \cite{PH}.
△ Less
Submitted 2 September, 2010;
originally announced September 2010.
-
Unexpected behaviour of crossing sequences
Authors:
Matt DeVos,
Bojan Mohar,
Robert Samal
Abstract:
The n-th crossing number of a graph G, denoted cr_n(G), is the minimum number of crossings in a drawing of G on an orientable surface of genus n. We prove that for every a>b>0, there exists a graph G for which cr_0(G) = a, cr_1(G) = b, and cr_2(G) = 0. This provides support for a conjecture of Archdeacon et al. and resolves a problem of Salazar.
The n-th crossing number of a graph G, denoted cr_n(G), is the minimum number of crossings in a drawing of G on an orientable surface of genus n. We prove that for every a>b>0, there exists a graph G for which cr_0(G) = a, cr_1(G) = b, and cr_2(G) = 0. This provides support for a conjecture of Archdeacon et al. and resolves a problem of Salazar.
△ Less
Submitted 2 September, 2010; v1 submitted 2 November, 2009;
originally announced November 2009.
-
An Eberhard-like theorem for pentagons and heptagons
Authors:
Matt DeVos,
Agelos Georgakopoulos,
Bojan Mohar,
Robert Šámal
Abstract:
Eberhard proved that for every sequence $(p_k), 3\le k\le r, k\ne 5,7$ of non-negative integers satisfying Euler's formula $\sum_{k\ge3} (6-k) p_k = 12$, there are infinitely many values $p_6$ such that there exists a simple convex polyhedron having precisely $p_k$ faces of length $k$ for every $k\ge3$, where $p_k=0$ if $k>r$. In this paper we prove a similar statement when non-negative integers…
▽ More
Eberhard proved that for every sequence $(p_k), 3\le k\le r, k\ne 5,7$ of non-negative integers satisfying Euler's formula $\sum_{k\ge3} (6-k) p_k = 12$, there are infinitely many values $p_6$ such that there exists a simple convex polyhedron having precisely $p_k$ faces of length $k$ for every $k\ge3$, where $p_k=0$ if $k>r$. In this paper we prove a similar statement when non-negative integers $p_k$ are given for $3\le k\le r$, except for $k=5$ and $k=7$. We prove that there are infinitely many values $p_5,p_7$ such that there exists a simple convex polyhedron having precisely $p_k$ faces of length $k$ for every $k\ge3$. %, where $p_k=0$ if $k>r$. We derive an extension to arbitrary closed surfaces, yielding maps of arbitrarily high face-width. Our proof suggests a general method for obtaining results of this kind.
△ Less
Submitted 6 May, 2010; v1 submitted 21 May, 2009;
originally announced May 2009.
-
Cayley sum graphs and eigenvalues of $(3,6)$-fullerenes
Authors:
Matt DeVos,
Luis Goddyn,
Bojan Mohar,
Robert Samal
Abstract:
We determine the spectra of cubic plane graphs whose faces have sizes 3 and 6. Such graphs, "(3,6)-fullerenes", have been studied by chemists who are interested in their energy spectra. In particular we prove a conjecture of Fowler, which asserts that all their eigenvalues come in pairs of the form $\{λ,-λ\}$ except for the four eigenvalues $\{3,-1,-1,-1\}$. We exhibit other families of graphs w…
▽ More
We determine the spectra of cubic plane graphs whose faces have sizes 3 and 6. Such graphs, "(3,6)-fullerenes", have been studied by chemists who are interested in their energy spectra. In particular we prove a conjecture of Fowler, which asserts that all their eigenvalues come in pairs of the form $\{λ,-λ\}$ except for the four eigenvalues $\{3,-1,-1,-1\}$. We exhibit other families of graphs which are "spectrally nearly bipartite" in this sense. Our proof utilizes a geometric representation to recognize the algebraic structure of these graphs, which turn out to be examples of Cayley sum graphs.
△ Less
Submitted 11 December, 2007; v1 submitted 10 December, 2007;
originally announced December 2007.
-
A quadratic lower bound for subset sums
Authors:
Matt DeVos,
Luis Goddyn,
Bojan Mohar,
Robert Samal
Abstract:
Let A be a finite nonempty subset of an additive abelian group G, and let Σ(A) denote the set of all group elements representable as a sum of some subset of A. We prove that |Σ(A)| >= |H| + 1/64 |A H|^2 where H is the stabilizer of Σ(A). Our result implies that Σ(A) = Z/nZ for every set A of units of Z/nZ with |A| >= 8 \sqrt{n}. This consequence was first proved by Erdős and Heilbronn for n prim…
▽ More
Let A be a finite nonempty subset of an additive abelian group G, and let Σ(A) denote the set of all group elements representable as a sum of some subset of A. We prove that |Σ(A)| >= |H| + 1/64 |A H|^2 where H is the stabilizer of Σ(A). Our result implies that Σ(A) = Z/nZ for every set A of units of Z/nZ with |A| >= 8 \sqrt{n}. This consequence was first proved by Erdős and Heilbronn for n prime, and by Vu (with a weaker constant) for general n.
△ Less
Submitted 8 August, 2007; v1 submitted 1 December, 2006;
originally announced December 2006.
-
High-girth cubic graphs are homomorphic to the Clebsch graph
Authors:
Matt DeVos,
Robert Samal
Abstract:
We give a (computer assisted) proof that the edges of every graph with maximum degree 3 and girth at least 17 may be 5-colored (possibly improperly) so that the complement of each color class is bipartite. Equivalently, every such graph admits a homomorphism to the Clebsch graph.
Hopkins and Staton and Bondy and Locke proved that every (sub)cubic graph of girth at least 4 has an edge-cut conta…
▽ More
We give a (computer assisted) proof that the edges of every graph with maximum degree 3 and girth at least 17 may be 5-colored (possibly improperly) so that the complement of each color class is bipartite. Equivalently, every such graph admits a homomorphism to the Clebsch graph.
Hopkins and Staton and Bondy and Locke proved that every (sub)cubic graph of girth at least 4 has an edge-cut containing at least 4/5 of the edges. The existence of such an edge-cut follows immediately from the existence of a 5-edge-coloring as described above, so our theorem may be viewed as a coloring extension of their result (under a stronger girth assumption).
Every graph which has a homomorphism to a cycle of length five has an above-described 5-edge-coloring; hence our theorem may also be viewed as a weak version of Nesetril's Pentagon Problem (which asks whether every cubic graph of sufficiently high girth is homomorphic to C_5).
△ Less
Submitted 23 October, 2009; v1 submitted 27 February, 2006;
originally announced February 2006.
