Showing 1–28 of 28 results for author: Puleo, G J

A lower bound on the saturation number, and graphs for which it is sharp

Authors: Alex Cameron, Gregory J. Puleo

Abstract: Let $H$ be a fixed graph. We say that a graph $G$ is $H$-saturated if it has no subgraph isomorphic to $H$, but the addition of any edge to $G$ results in an $H$-subgraph. The saturation number $\mathrm{sat}(H,n)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. Kászonyi and Tuza, in 1986, gave a general upper bound on the saturation number of a graph $H$, but a nontrivial… ▽ More Let $H$ be a fixed graph. We say that a graph $G$ is $H$-saturated if it has no subgraph isomorphic to $H$, but the addition of any edge to $G$ results in an $H$-subgraph. The saturation number $\mathrm{sat}(H,n)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. Kászonyi and Tuza, in 1986, gave a general upper bound on the saturation number of a graph $H$, but a nontrivial lower bound has remained elusive. In this paper we give a general lower bound on $\mathrm{sat}(H,n)$ and prove that it is asymptotically sharp (up to an additive constant) on a large class of graphs. This class includes all threshold graphs and many graphs for which the saturation number was previously determined exactly. Our work thus gives an asymptotic common generalization of several earlier results. The class also includes disjoint unions of cliques, allowing us to address an open problem of Faudree, Ferrara, Gould, and Jacobson. △ Less

Submitted 19 July, 2021; v1 submitted 11 April, 2020; originally announced April 2020.

Comments: 10 pages, 2 figures. Fixed a few minor typos from the first version

MSC Class: 05C35

Strong coloring 2-regular graphs: Cycle restrictions and partial colorings

Authors: Jessica McDonald, Gregory J. Puleo

Abstract: Let $H$ be a graph with $Δ(H) \leq 2$, and let $G$ be obtained from $H$ by gluing in vertex-disjoint copies of $K_4$. We prove that if $H$ contains at most one odd cycle of length exceeding $3$, or if $H$ contains at most $3$ triangles, then $χ(G) \leq 4$. This proves the Strong Coloring Conjecture for such graphs $H$. For graphs $H$ with $Δ=2$ that are not covered by our theorem, we prove an appr… ▽ More Let $H$ be a graph with $Δ(H) \leq 2$, and let $G$ be obtained from $H$ by gluing in vertex-disjoint copies of $K_4$. We prove that if $H$ contains at most one odd cycle of length exceeding $3$, or if $H$ contains at most $3$ triangles, then $χ(G) \leq 4$. This proves the Strong Coloring Conjecture for such graphs $H$. For graphs $H$ with $Δ=2$ that are not covered by our theorem, we prove an approximation result towards the conjecture. △ Less

Submitted 6 July, 2021; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: 17 pages, 2 figures

MSC Class: 05C15

Upper bounds for inverse domination in graphs

Authors: Elliot Krop, Jessica McDonald, Gregory J. Puleo

Abstract: In any graph $G$, the domination number $γ(G)$ is at most the independence number $α(G)$. The Inverse Domination Conjecture says that, in any isolate-free $G$, there exists pair of vertex-disjoint dominating sets $D, D'$ with $|D|=γ(G)$ and $|D'| \leq α(G)$. Here we prove that this statement is true if the upper bound $α(G)$ is replaced by $\frac{3}{2}α(G) - 1$ (and $G$ is not a clique). We also p… ▽ More In any graph $G$, the domination number $γ(G)$ is at most the independence number $α(G)$. The Inverse Domination Conjecture says that, in any isolate-free $G$, there exists pair of vertex-disjoint dominating sets $D, D'$ with $|D|=γ(G)$ and $|D'| \leq α(G)$. Here we prove that this statement is true if the upper bound $α(G)$ is replaced by $\frac{3}{2}α(G) - 1$ (and $G$ is not a clique). We also prove that the conjecture holds whenever $γ(G)\leq 5$ or $|V(G)|\leq 16$. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: 9 pages

MSC Class: 05C69

Journal ref: Theory and Applications of Graphs, 8(2): Article 5, (2021)

Some results on multithreshold graphs

Authors: Gregory J. Puleo

Abstract: Jamison and Sprague defined a graph $G$ to be a $k$-threshold graph with thresholds $θ_1 , \ldots, θ_k$ (strictly increasing) if one can assign real numbers $(r_v)_{v \in V(G)}$, called ranks, such that for every pair of vertices $v,w$, we have $vw \in E(G)$ if and only if the inequality $θ_i \leq r_v + r_w$ holds for an odd number of indices $i$. When $k=1$ or $k=2$, the precise choice of thresho… ▽ More Jamison and Sprague defined a graph $G$ to be a $k$-threshold graph with thresholds $θ_1 , \ldots, θ_k$ (strictly increasing) if one can assign real numbers $(r_v)_{v \in V(G)}$, called ranks, such that for every pair of vertices $v,w$, we have $vw \in E(G)$ if and only if the inequality $θ_i \leq r_v + r_w$ holds for an odd number of indices $i$. When $k=1$ or $k=2$, the precise choice of thresholds $θ_1, \ldots, θ_k$ does not matter, as a suitable transformation of the ranks transforms a representation with one choice of thresholds into a representation with any other choice of thresholds. Jamison asked whether this remained true for $k \geq 3$ or whether different thresholds define different classes of graphs for such $k$, offering \$50 for a solution of the problem. Letting $C_t$ for $t > 1$ denote the class of $3$-threshold graphs with thresholds $-1, 1, t$, we prove that there are infinitely many distinct classes $C_t$, answering Jamison's question. We also consider some other problems on multithreshold graphs, some of which remain open. △ Less

Submitted 30 April, 2019; originally announced May 2019.

Comments: 6 pages, 1 figure

Packing and covering directed triangles

Authors: Jessica McDonald, Gregory J. Puleo, Craig Tennenhouse

Abstract: We prove that if a directed multigraph $D$ has at most $t$ pairwise arc-disjoint directed triangles, then there exists a set of less than $2t$ arcs in $D$ which meets all directed triangles in $D$, except in the trivial case $t=0$. This answers affirmatively a question of Tuza from 1990. We prove that if a directed multigraph $D$ has at most $t$ pairwise arc-disjoint directed triangles, then there exists a set of less than $2t$ arcs in $D$ which meets all directed triangles in $D$, except in the trivial case $t=0$. This answers affirmatively a question of Tuza from 1990. △ Less

Submitted 7 March, 2019; v1 submitted 22 June, 2018; originally announced June 2018.

Comments: 4 pages, 1 figure. The previous version had an error in the argument for the strict inequality in the case where digons are permitted; this version fixes the error

MSC Class: 05C70; 05C20

$t$-cores for $(Δ+t)$-edge-colouring

Authors: Jessica McDonald, Gregory J. Puleo

Abstract: We extend the edge-coloring notion of core (subgraph induced by the vertices of maximum degree) to $t$-core (subgraph induced by the vertices $v$ with $d(v)+μ(v)> Δ+t$), and find a sufficient condition for $(Δ+t)$-edge-coloring. In particular, we show that for any $t\geq 0$, if the $t$-core of $G$ has multiplicity at most $t+1$, with its edges of multiplicity $t+1$ inducing a multiforest, then… ▽ More We extend the edge-coloring notion of core (subgraph induced by the vertices of maximum degree) to $t$-core (subgraph induced by the vertices $v$ with $d(v)+μ(v)> Δ+t$), and find a sufficient condition for $(Δ+t)$-edge-coloring. In particular, we show that for any $t\geq 0$, if the $t$-core of $G$ has multiplicity at most $t+1$, with its edges of multiplicity $t+1$ inducing a multiforest, then $χ'(G) \leq Δ+t$. This extends previous work of Ore, Fournier, and Berge and Fournier. A stronger version of our result (which replaces the multiforest condition with a vertex-ordering condition) generalizes a theorem of Hoffman and Rodger about cores of $Δ$-edge-colourable simple graphs. In fact, our bounds hold not only for chromatic index, but for the \emph{fan number} of a graph, a parameter introduced by Scheide and Stiebitz as an upper bound on chromatic index. We are able to give an exact characterization of the graphs $H$ such that $\mathrm{Fan}(G) \leq Δ(G)+t$ whenever $G$ has $H$ as its $t$-core. △ Less

Submitted 31 July, 2018; v1 submitted 24 October, 2017; originally announced October 2017.

Comments: 15 pages, 2 figures. This version fixes an issue with the definition of the fan number, and makes several smaller improvements

MSC Class: 05C15

Veto Interval Graphs and Variations

Authors: Breeann Flesch, Jessica Kawana, Joshua D. Laison, Dana Lapides, Stephanie Partlow, Gregory J. Puleo

Abstract: We introduce a variation of interval graphs, called veto interval (VI) graphs. A VI graph is represented by a set of closed intervals, each containing a point called a veto mark. The edge $ab$ is in the graph if the intervals corresponding to the vertices $a$ and $b$ intersect, and neither contains the veto mark of the other. We find families of graphs which are VI graphs, and prove results toward… ▽ More We introduce a variation of interval graphs, called veto interval (VI) graphs. A VI graph is represented by a set of closed intervals, each containing a point called a veto mark. The edge $ab$ is in the graph if the intervals corresponding to the vertices $a$ and $b$ intersect, and neither contains the veto mark of the other. We find families of graphs which are VI graphs, and prove results towards characterizing the maximum chromatic number of a VI graph. We define and prove similar results about several related graph families, including unit VI graphs, midpoint unit VI (MUVI) graphs, and single and double approval graphs. We also highlight a relationship between approval graphs and a family of tolerance graphs. △ Less

Submitted 26 July, 2018; v1 submitted 26 September, 2017; originally announced September 2017.

MSC Class: 05C62; 05C75; 05C15; 05C05; 05C20

List-edge-colouring planar graphs with precoloured edges

Authors: Joshua Harrelson, Jessica McDonald, Gregory J. Puleo

Abstract: Let $G$ be a simple planar graph of maximum degree $Δ$, let $t$ be a positive integer, and let $L$ be an edge list assignment on $G$ with $|L(e)| \geq Δ+t$ for all $e \in E(G)$. We prove that if $H$ is a subgraph of $G$ that has been $L$-edge-coloured, then the edge-precolouring can be extended to an $L$-edge-colouring of $G$, provided that $H$ has maximum degree $d\leq t$ and either $d \leq t-4$… ▽ More Let $G$ be a simple planar graph of maximum degree $Δ$, let $t$ be a positive integer, and let $L$ be an edge list assignment on $G$ with $|L(e)| \geq Δ+t$ for all $e \in E(G)$. We prove that if $H$ is a subgraph of $G$ that has been $L$-edge-coloured, then the edge-precolouring can be extended to an $L$-edge-colouring of $G$, provided that $H$ has maximum degree $d\leq t$ and either $d \leq t-4$ or $Δ$ is large enough ($Δ\geq 16+d$ suffices). If $d>t$, there are examples for any choice of $Δ$ where the extension is impossible. △ Less

Submitted 9 July, 2018; v1 submitted 12 September, 2017; originally announced September 2017.

Comments: 14 pages, 3 figures, 1 table

On the Triangle Clique Cover and $K_t$ Clique Cover Problems

Authors: Hoang Dau, Olgica Milenkovic, Gregory J. Puleo

Abstract: An edge clique cover of a graph is a set of cliques that covers all edges of the graph. We generalize this concept to "$K_t$ clique cover", i.e. a set of cliques that covers all complete subgraphs on $t$ vertices of the graph, for every $t \geq 1$. In particular, we extend a classical result of Erdös, Goodman, and Pósa (1966) on the edge clique cover number ($t = 2$), also known as the intersectio… ▽ More An edge clique cover of a graph is a set of cliques that covers all edges of the graph. We generalize this concept to "$K_t$ clique cover", i.e. a set of cliques that covers all complete subgraphs on $t$ vertices of the graph, for every $t \geq 1$. In particular, we extend a classical result of Erdös, Goodman, and Pósa (1966) on the edge clique cover number ($t = 2$), also known as the intersection number, to the case $t = 3$. The upper bound is tight, with equality holding only for the Turán graph $T(n,3)$. We also extend an algorithm of Scheinerman and Trenk (1999) to solve a weighted version of the $K_t$ clique cover problem on a superclass of chordal graphs. We also prove that the $K_t$ clique cover problem is NP-hard. △ Less

Submitted 1 August, 2019; v1 submitted 5 September, 2017; originally announced September 2017.

Comments: 14 pages, 1 figure. This version fixes some issues with the NP-hardness proof and some other minor errors

MSC Class: 05C70

Graphs with $α_1$ and $τ_1$ both large

Authors: Gregory J. Puleo

Abstract: Given a graph $G$, let $τ_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $α_1(G)$ denote the largest size of an edge set containing at most one edge from each triangle of $G$. Erdős, Gallai, and Tuza introduced several problems with the unifying theme that $α_1(G)$ and $τ_1(G)$ cannot both be "very large"; the most well-known such problem is their… ▽ More Given a graph $G$, let $τ_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $α_1(G)$ denote the largest size of an edge set containing at most one edge from each triangle of $G$. Erdős, Gallai, and Tuza introduced several problems with the unifying theme that $α_1(G)$ and $τ_1(G)$ cannot both be "very large"; the most well-known such problem is their conjecture that $α_1(G) + τ_1(G) \leq |V(G)|^2/4$, which was proved by Norin and Sun. We consider three other problems within this theme (two introduced by Erdős, Gallai, and Tuza, another by Norin and Sun), all of which request an upper bound either on $\min\{α_1(G), τ_1(G)\}$ or on $α_1(G) + kτ_1(G)$ for some constant $k$, and prove the existence of graphs for which these quantities are "large". △ Less

Submitted 7 May, 2018; v1 submitted 12 May, 2017; originally announced May 2017.

Comments: 6 pages; improved exposition a bit and fixed an issue regarding integrality from the earlier version

MSC Class: 05C35

The Interactive Sum Choice Number of Trees

Authors: Gregory J. Puleo

Abstract: We study the interactive sum choice number, a game coloring parameter introduced by Bonamy and Meeks, and obtain a recursive formula for the interactive sum choice number of forests. This formula coincides with a formula for the slow coloring cost of forests, a parameter introduced by Mahoney, Puleo, and West, and shows that these parameters are equal on forests. This answers a question of Bonamy… ▽ More We study the interactive sum choice number, a game coloring parameter introduced by Bonamy and Meeks, and obtain a recursive formula for the interactive sum choice number of forests. This formula coincides with a formula for the slow coloring cost of forests, a parameter introduced by Mahoney, Puleo, and West, and shows that these parameters are equal on forests. This answers a question of Bonamy and Meeks. △ Less

Submitted 2 October, 2017; v1 submitted 9 May, 2017; originally announced May 2017.

Comments: This paper has been merged into the joint paper arXiv:1612.04702, and this preprint is therefore now obsolete

MSC Class: 05C15; 05C57

Online Sum-Paintability: Slow-Coloring of Trees

Authors: Gregory J. Puleo, Douglas B. West

Abstract: The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the remaining vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter's goal is to minimize the total score; Lister seeks to maximize it. The score that each player can guar… ▽ More The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the remaining vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter's goal is to minimize the total score; Lister seeks to maximize it. The score that each player can guarantee doing no worse than is the sum-color cost of $G$, written $\mathring{\rm s}(G)$. We develop a linear-time algorithm to compute $\mathring{\rm s}(G)$ when $G$ is a tree, enabling us to characterize the $n$-vertex trees with the largest and smallest values. Our algorithm also computes on trees the interactive sum choice number, a parameter recently introduced by Bonamy and Meeks. △ Less

Submitted 2 October, 2017; v1 submitted 14 December, 2016; originally announced December 2016.

Comments: 18 pages, 2 figures. This version includes the proof that the sum-color cost agrees with the interactive sum choice number on trees (formerly a standalone paper)

MSC Class: 05C15; 05C57

On an Edge Precoloring Conjecture

Authors: Gregory J. Puleo

Abstract: Edwards, van den Heuvel, Kang, and Sereni conjectured the following strengthening of Vizing's Theorem: let $G$ be a simple graph, and let $K = Δ(G) + 1$. For any matching $M$ in $G$ and any precoloring of the edges in $M$ using the colors $\{1, \ldots, K\}$, there is some proper $K$-edge-coloring of $G$ extending the given precoloring. We give an infinite family of counterexamples to this conjectu… ▽ More Edwards, van den Heuvel, Kang, and Sereni conjectured the following strengthening of Vizing's Theorem: let $G$ be a simple graph, and let $K = Δ(G) + 1$. For any matching $M$ in $G$ and any precoloring of the edges in $M$ using the colors $\{1, \ldots, K\}$, there is some proper $K$-edge-coloring of $G$ extending the given precoloring. We give an infinite family of counterexamples to this conjecture, and prove a weaker version of the conjecture proposed in the same work. △ Less

Submitted 17 August, 2016; v1 submitted 14 December, 2015; originally announced December 2015.

Comments: The construction in this article has now been incorporated into arXiv:1407.4339 and the conjecture updated accordingly. As such, this article is now obsolete

Maximal $k$-Edge-Colorable Subgraphs, Vizing's Theorem, and Tuza's Conjecture

Authors: Gregory J. Puleo

Abstract: We prove that if $M$ is a maximal $k$-edge-colorable subgraph of a multigraph $G$ and if $F = \{v \in V(G) : d_M(v) \leq k-μ(v)\}$, then $d_F(v) \leq d_M(v)$ for all $v \in F$. (When $G$ is a simple graph, the set $F$ is just the set of vertices having degree less than $k$ in $M$.) This implies Vizing's Theorem as well as a special case of Tuza's Conjecture on packing and covering of triangles. A… ▽ More We prove that if $M$ is a maximal $k$-edge-colorable subgraph of a multigraph $G$ and if $F = \{v \in V(G) : d_M(v) \leq k-μ(v)\}$, then $d_F(v) \leq d_M(v)$ for all $v \in F$. (When $G$ is a simple graph, the set $F$ is just the set of vertices having degree less than $k$ in $M$.) This implies Vizing's Theorem as well as a special case of Tuza's Conjecture on packing and covering of triangles. A more detailed version of our result also implies Vizing's Adjacency Lemma for simple graphs. △ Less

Submitted 6 March, 2017; v1 submitted 23 October, 2015; originally announced October 2015.

Comments: 11 pages, 1 figure. Fixed some inaccurate references to "Vizing's Theorem" (the stronger version cited here is in fact due to Ore), cleared up some muddled results in the section about forests, simplified some notation, and made other various readability improvements

MSC Class: 05C15

Journal ref: Discrete Mathematics 340 (2017) 1573--1580

Online Paintability: The Slow-Coloring Game

Authors: Thomas Mahoney, Gregory J. Puleo, Douglas B. West

Abstract: The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the uncolored vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter and Lister want to minimize and maximize the total score, respectively. The best score that each player… ▽ More The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the uncolored vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter and Lister want to minimize and maximize the total score, respectively. The best score that each player can guarantee is the sum-color cost of $G$, written $\mathring{\mathrm{s}}(G)$. The game is an online variant of online sum list coloring. We proe $\frac{|V(G)|}{2α(G)} + \frac{1}{2} \leq \frac{\mathring{\mathrm{s}}(G)}{|V(G)|} \leq \max\left\{ \frac{|V(H)|}{α(H)} : H \subset G\right\}$, where $α(G)$ is the independence number, and we study when equality holds in the bounds. We compute $\mathring{\mathrm{s}}(G)$ for graphs with $α(G) = 2$. Among $n$-vertex graphs, we prove that $\mathring{\mathrm{s}}$ is minimized by the star and maximized by the path. We also obtain good bounds on $\mathring{\mathrm{s}}(K_{r,s})$. △ Less

Submitted 5 July, 2017; v1 submitted 23 July, 2015; originally announced July 2015.

Comments: 18 pages. Revised introduction, restructured several proofs

MSC Class: 05C15 (primary); 05C57 (secondary)

The list chromatic index of simple graphs whose odd cycles intersect in at most one edge

Authors: Jessica McDonald, Gregory J. Puleo

Abstract: We study the class of simple graphs $\mathcal{G}^*$ for which every pair of distinct odd cycles intersect in at most one edge. We give a structural characterization of the graphs in $\mathcal{G}^*$ and prove that every $G \in \mathcal{G}^*$ satisfies the list-edge-coloring conjecture. When $Δ(G) \geq 4$, we in fact prove a stronger result about kernel-perfect orientations in $L(G)$ which implies t… ▽ More We study the class of simple graphs $\mathcal{G}^*$ for which every pair of distinct odd cycles intersect in at most one edge. We give a structural characterization of the graphs in $\mathcal{G}^*$ and prove that every $G \in \mathcal{G}^*$ satisfies the list-edge-coloring conjecture. When $Δ(G) \geq 4$, we in fact prove a stronger result about kernel-perfect orientations in $L(G)$ which implies that $G$ is $(mΔ(G):m)$-edge-choosable and $Δ(G)$-edge-paintable for every $m \geq 1$. △ Less

Submitted 18 November, 2017; v1 submitted 21 July, 2015; originally announced July 2015.

Comments: 15 pages, 8 figures. Minor fixes throughout the paper

MSC Class: 05C15 (primary); 05C20 (secondary)

Complexity of a Disjoint Matching Problem on Bipartite Graphs

Authors: Gregory J. Puleo

Abstract: We consider the following question: given an $(X,Y)$-bigraph $G$ and a set $S \subset X$, does $G$ contain two disjoint matchings $M_1$ and $M_2$ such that $M_1$ saturates $X$ and $M_2$ saturates $S$? When $|S|\geq |X|-1$, this question is solvable by finding an appropriate factor of the graph. In contrast, we show that when $S$ is allowed to be an arbitrary subset of $X$, the problem is NP-hard. We consider the following question: given an $(X,Y)$-bigraph $G$ and a set $S \subset X$, does $G$ contain two disjoint matchings $M_1$ and $M_2$ such that $M_1$ saturates $X$ and $M_2$ saturates $S$? When $|S|\geq |X|-1$, this question is solvable by finding an appropriate factor of the graph. In contrast, we show that when $S$ is allowed to be an arbitrary subset of $X$, the problem is NP-hard. △ Less

Submitted 19 June, 2015; originally announced June 2015.

Comments: 6 pages, 1 figure

MSC Class: 05C70

Codes for DNA Sequence Profiles

Authors: Han Mao Kiah, Gregory J. Puleo, Olgica Milenkovic

Abstract: We consider the problem of storing and retrieving information from synthetic DNA media. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on their collection of substrings observed through a noisy channel. This problem of reconstructing sequences from traces was first investigated in the noiseless setting under the name of "Markov typ… ▽ More We consider the problem of storing and retrieving information from synthetic DNA media. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on their collection of substrings observed through a noisy channel. This problem of reconstructing sequences from traces was first investigated in the noiseless setting under the name of "Markov type" analysis. Here, we explain the connection between the reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel map** and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes. △ Less

Submitted 2 February, 2015; originally announced February 2015.

Comments: 27 pages, 5 figures. Journal version of arXiv:1410.8837

Codes for DNA Storage Channels

Authors: Han Mao Kiah, Gregory J. Puleo, Olgica Milenkovic

Abstract: We consider the problem of assembling a sequence based on a collection of its substrings observed through a noisy channel. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on a collection of their substrings observed through a noisy channel. We explain the connection between the sequence reconstruction problem and the problem of DNA… ▽ More We consider the problem of assembling a sequence based on a collection of its substrings observed through a noisy channel. The mathematical basis of the problem is the construction and design of sequences that may be discriminated based on a collection of their substrings observed through a noisy channel. We explain the connection between the sequence reconstruction problem and the problem of DNA synthesis and sequencing, and introduce the notion of a DNA storage channel. We analyze the number of sequence equivalence classes under the channel map** and propose new asymmetric coding techniques to combat the effects of synthesis and sequencing noise. In our analysis, we make use of restricted de Bruijn graphs and Ehrhart theory for rational polytopes. △ Less

Submitted 3 November, 2015; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 32 pages, 5 figures

Extremal Aspects of the Erdős--Gallai--Tuza Conjecture

Authors: Gregory J. Puleo

Abstract: Erdős, Gallai, and Tuza posed the following problem: given an $n$-vertex graph $G$, let $τ_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $α_1(G)$ denote the largest size of a set of edges containing at most one edge from each triangle of $G$. Is it always the case that $α_1(G) + τ_1(G) \leq n^2/4$? We also consider a variant on this conjecture: if… ▽ More Erdős, Gallai, and Tuza posed the following problem: given an $n$-vertex graph $G$, let $τ_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $α_1(G)$ denote the largest size of a set of edges containing at most one edge from each triangle of $G$. Is it always the case that $α_1(G) + τ_1(G) \leq n^2/4$? We also consider a variant on this conjecture: if $τ_B(G)$ is the smallest size of an edge set whose deletion makes $G$ bipartite, does the stronger inequality $α_1(G) + τ_B(G) \leq n^2/4$ always hold? By considering the structure of a minimal counterexample to each version of the conjecture, we obtain two main results. Our first result states that any minimum counterexample to the original Erdős--Gallai--Tuza Conjecture has "dense edge cuts", and in particular has minimum degree greater than $n/2$. This implies that the conjecture holds for all graphs if and only if it holds for all triangular graphs (graphs where every edge lies in a triangle). Our second result states that $α_1(G) + τ_B(G) \leq n^2/4$ whenever $G$ has no induced subgraph isomorphic to $K_4^-$, the graph obtained from the complete graph $K_4$ by deleting an edge. Thus, the original conjecture also holds for such graphs. △ Less

Submitted 25 March, 2015; v1 submitted 21 August, 2014; originally announced August 2014.

Comments: 5 pages. Updated with journal reference, expanded background, and a few other minor changes

MSC Class: 05C70

Journal ref: Discrete Mathematics 338 (2015), pp. 1394-1397

Extension from Precoloured Sets of Edges

Authors: Katherine Edwards, António Girão, Jan van den Heuvel, Ross J. Kang, Gregory J. Puleo, Jean-Sébastien Sereni

Abstract: We consider precolouring extension problems for proper edge-colourings of graphs and multigraphs, in an attempt to prove stronger versions of Vizing's and Shannon's bounds on the chromatic index of (multi)graphs in terms of their maximum degree $Δ$. We are especially interested in the following question: when is it possible to extend a precoloured matching to a colouring of all edges of a (multi)g… ▽ More We consider precolouring extension problems for proper edge-colourings of graphs and multigraphs, in an attempt to prove stronger versions of Vizing's and Shannon's bounds on the chromatic index of (multi)graphs in terms of their maximum degree $Δ$. We are especially interested in the following question: when is it possible to extend a precoloured matching to a colouring of all edges of a (multi)graph? This question turns out to be related to the notorious List Colouring Conjecture and other classic notions of choosability. △ Less

Submitted 27 May, 2018; v1 submitted 16 July, 2014; originally announced July 2014.

Comments: 26 pages, 3 figures, 1 table; in v2, two co-authors added, main conjecture weakened, weak version of conjecture proved, planar section updated; v3 accepted to Electronic Journal of Combinatorics

MSC Class: 05C15

Favaron's Theorem, k-dependence, and Tuza's Conjecture

Authors: Gregory J. Puleo

Abstract: A vertex set $D$ in a graph $G$ is $k$-dependent if $G[D]$ has maximum degree at most $k-1$, and $k$-dominating if every vertex outside $D$ has at least $k$ neighbors in $D$. Favaron proved that if $D$ is a $k$-dependent set maximizing the quantity $k|D| - |E(G[D])|$, then $D$ is $k$-dominating. We extend this result, showing that such sets satisfy a stronger structural property, and we find a sur… ▽ More A vertex set $D$ in a graph $G$ is $k$-dependent if $G[D]$ has maximum degree at most $k-1$, and $k$-dominating if every vertex outside $D$ has at least $k$ neighbors in $D$. Favaron proved that if $D$ is a $k$-dependent set maximizing the quantity $k|D| - |E(G[D])|$, then $D$ is $k$-dominating. We extend this result, showing that such sets satisfy a stronger structural property, and we find a surprising connection between Favaron's theorem and a conjecture of Tuza regarding packing and covering of triangles. △ Less

Submitted 12 August, 2015; v1 submitted 8 July, 2014; originally announced July 2014.

Comments: 12 pages. Strengthened main theorem and simplified its proof by replacing vertex-orderings with orientations

MSC Class: 05C69 (Primary); 05C70 (Secondary)

On (4,2)-Choosable Graphs

Authors: Jixian Meng, Gregory J. Puleo, Xuding Zhu

Abstract: A graph $G$ is called $(a,b)$-choosable if for any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $a$ permissible colours, there is a $b$-tuple $L$-colouring of $G$. An $(a,1)$-choosable graph is also called $a$-choosable. In the pioneering paper on list colouring of graphs by Erdős, Rubin and Taylor, $2$-choosable graphs are characterized. Confirming a special case of a conj… ▽ More A graph $G$ is called $(a,b)$-choosable if for any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $a$ permissible colours, there is a $b$-tuple $L$-colouring of $G$. An $(a,1)$-choosable graph is also called $a$-choosable. In the pioneering paper on list colouring of graphs by Erdős, Rubin and Taylor, $2$-choosable graphs are characterized. Confirming a special case of a conjecture of Erdős--Rubin--Taylor, Tuza and Voigt proved that $2$-choosable graphs are $(2m,m)$-choosable for any positive integer $m$. On the other hand, Voigt proved that if $m$ is an odd integer, then these are the only $(2m,m)$-choosable graphs; however, when $m$ is even, there are $(2m,m)$-choosable graphs that are not $2$-choosable. A graph is called $3$-choosable-critical if it is not $2$-choosable, but all its proper subgraphs are $2$-choosable. Voigt conjectured that for every positive integer $m$, all bipartite $3$-choosable-critical graphs are $(4m,2m)$-choosable. In this paper, we determine which $3$-choosable-critical graphs are $(4,2)$-choosable, refuting Voigt's conjecture in the process. Nevertheless, a weaker version of the conjecture is true: we prove that there is an even integer $k$ such that for any positive integer $m$, every bipartite $3$-choosable-critical graph is $(2km,km)$-choosable. Moving beyond $3$-choosable-critical graphs, we present an infinite family of non-$3$-choosable-critical graphs which have been shown by computer analysis to be $(4,2)$-choosable. This shows that the family of all $(4,2)$-choosable graphs has rich structure. △ Less

Submitted 3 October, 2017; v1 submitted 27 April, 2014; originally announced April 2014.

Comments: 18 pages, 8 figures. Now includes source code in ancillary files

MSC Class: 05C15

Journal ref: Journal of Graph Theory 85 (2), 2017, pp. 412-428

Choosability with Separation in Complete Multipartite Graphs

Authors: Gregory J. Puleo

Abstract: We show that there is a constant $k$ such that when $r \geq 2$ and $m \geq r^k$, the complete $r$-partite graph $K_{m*r}$ has a non-colorable list assignment $L$ such that $|L(v)| \geq \frac{7}{750}r\ln m$ for all $v$ and such that $|L(u) \cap L(v)| \leq \left\lfloor \frac{2r}{r-1} \right\rfloor$ whenever $u \neq v$. This roughly extends a result of Alon to the context of "choosability with separa… ▽ More We show that there is a constant $k$ such that when $r \geq 2$ and $m \geq r^k$, the complete $r$-partite graph $K_{m*r}$ has a non-colorable list assignment $L$ such that $|L(v)| \geq \frac{7}{750}r\ln m$ for all $v$ and such that $|L(u) \cap L(v)| \leq \left\lfloor \frac{2r}{r-1} \right\rfloor$ whenever $u \neq v$. This roughly extends a result of Alon to the context of "choosability with separation", introduced by Kratochvíl, Tuza, and Voigt. △ Less

Submitted 21 March, 2014; v1 submitted 13 March, 2014; originally announced March 2014.

Comments: This paper has been withdrawn by the author. Withdrawn. It has been pointed out to me that this work has essentially already been done by Furedi-Kostochka-Kumbhat: arXiv:1109.2969

MSC Class: 05C15

On a Conjecture of Erdős, Gallai, and Tuza

Authors: Gregory J. Puleo

Abstract: Erdős, Gallai, and Tuza posed the following problem: given an $n$-vertex graph $G$, let $τ_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $α_1(G)$ denote the largest size of a set of edges containing at most one edge from each triangle of $G$. Is it always the case that $α_1(G) + τ_1(G) \leq n^2/4$? We have two main results. We first obtain the upp… ▽ More Erdős, Gallai, and Tuza posed the following problem: given an $n$-vertex graph $G$, let $τ_1(G)$ denote the smallest size of a set of edges whose deletion makes $G$ triangle-free, and let $α_1(G)$ denote the largest size of a set of edges containing at most one edge from each triangle of $G$. Is it always the case that $α_1(G) + τ_1(G) \leq n^2/4$? We have two main results. We first obtain the upper bound $α_1(G) + τ_1(G) \leq 5n^2/16$, as a partial result towards the Erdős--Gallai--Tuza conjecture. We also show that always $α_1(G) \leq n^2/2 - m$, where $m$ is the number of edges in $G$; this bound is sharp in several notable cases. △ Less

Submitted 13 October, 2014; v1 submitted 21 November, 2013; originally announced November 2013.

Comments: 5 pages, minor revisions: added new details, new conjecture, and cleaned up notation slightly

MSC Class: 05C70

Tuza's Conjecture for Graphs of Maximum Average Degree Less Than 7

Authors: Gregory J. Puleo

Abstract: Tuza's Conjecture states that if a graph $G$ does not contain more than $k$ edge-disjoint triangles, then some set of at most $2k$ edges meets all triangles of $G$. We prove Tuza's Conjecture for all graphs $G$ having no subgraph with average degree at least $7$. As a key tool in the proof, we introduce a notion of reducible sets for Tuza's Conjecture; these are substructures which cannot occur in… ▽ More Tuza's Conjecture states that if a graph $G$ does not contain more than $k$ edge-disjoint triangles, then some set of at most $2k$ edges meets all triangles of $G$. We prove Tuza's Conjecture for all graphs $G$ having no subgraph with average degree at least $7$. As a key tool in the proof, we introduce a notion of reducible sets for Tuza's Conjecture; these are substructures which cannot occur in a minimal counterexample to Tuza's Conjecture. We also introduce weak König--Egerváry graphs, a generalization of the well-studied König--Egerváry graphs. △ Less

Submitted 13 April, 2015; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: 26 pages, 11 figures. Updated with journal reference and some revisions (corrected a few minor errors, added some more background material)

MSC Class: 05C70 (primary); 05C65 (secondary)

Journal ref: European Journal of Combinatorics 49 (2015), pp. 134-152

Revolutionaries and spies: Spy-good and spy-bad graphs

Authors: Jane V. Butterfield, Daniel W. Cranston, Gregory J. Puleo, Douglas B. West, Reza Zamani

Abstract: We study a game on a graph $G$ played by $r$ {\it revolutionaries} and $s$ {\it spies}. Initially, revolutionaries and then spies occupy vertices. In each subsequent round, each revolutionary may move to a neighboring vertex or not move, and then each spy has the same option. The revolutionaries win if $m$ of them meet at some vertex having no spy (at the end of a round); the spies win if they can… ▽ More We study a game on a graph $G$ played by $r$ {\it revolutionaries} and $s$ {\it spies}. Initially, revolutionaries and then spies occupy vertices. In each subsequent round, each revolutionary may move to a neighboring vertex or not move, and then each spy has the same option. The revolutionaries win if $m$ of them meet at some vertex having no spy (at the end of a round); the spies win if they can avoid this forever. Let $σ(G,m,r)$ denote the minimum number of spies needed to win. To avoid degenerate cases, assume $|V(G)|\ge r-m+1\ge\floor{r/m}\ge 1$. The easy bounds are then $\floor{r/m}\le σ(G,m,r)\le r-m+1$. We prove that the lower bound is sharp when $G$ has a rooted spanning tree $T$ such that every edge of $G$ not in $T$ joins two vertices having the same parent in $T$. As a consequence, $σ(G,m,r)\leγ(G)\floor{r/m}$, where $γ(G)$ is the domination number; this bound is nearly sharp when $γ(G)\le m$. For the random graph with constant edge-probability $p$, we obtain constants $c$ and $c'$ (depending on $m$ and $p$) such that $σ(G,m,r)$ is near the trivial upper bound when $r<c\ln n$ and at most $c'$ times the trivial lower bound when $r>c'\ln n$. For the hypercube $Q_d$ with $d\ge r$, we have $σ(G,m,r)=r-m+1$ when $m=2$, and for $m\ge 3$ at least $r-39m$ spies are needed. For complete $k$-partite graphs with partite sets of size at least $2r$, the leading term in $σ(G,m,r)$ is approximately $\frac{k}{k-1}\frac{r}{m}$ when $k\ge m$. For $k=2$, we have $σ(G,2,r)=\bigl\lceil{\frac{\floor{7r/2}-3}5}\bigr\rceil$ and $σ(G,3,r)=\floor{r/2}$, and in general $\frac{3r}{2m}-3\le σ(G,m,r)\le\frac{(1+1/\sqrt3)r}{m}$. △ Less

Submitted 26 May, 2012; v1 submitted 13 February, 2012; originally announced February 2012.

Comments: 34 pages, 2 figures. The most important changes in this revision are improvements of the results on hypercubes and random graphs. The proof of the previous hypercube result has been deleted, but the statement remains because it is stronger for m<52. In the random graph section we added a spy-strategy result

Journal ref: Theoretical Computer Science, Vol. 463, 2012, pp. 35-53

Chain-making games in grid-like posets

Authors: Daniel W. Cranston, William B. Kinnersley, Kevin G. Milans, Gregory J. Puleo, Douglas B. West

Abstract: We study the Maker-Breaker game on the hypergraph of chains of fixed size in a poset. In a product of chains, the maximum size of a chain that Maker can guarantee building is $k-\lfloor r/2\rfloor$, where $k$ is the maximum size of a chain in the product, and $r$ is the maximum size of a factor chain. We also study a variant in which Maker must follow the chain in order, called the {\it Walker-Blo… ▽ More We study the Maker-Breaker game on the hypergraph of chains of fixed size in a poset. In a product of chains, the maximum size of a chain that Maker can guarantee building is $k-\lfloor r/2\rfloor$, where $k$ is the maximum size of a chain in the product, and $r$ is the maximum size of a factor chain. We also study a variant in which Maker must follow the chain in order, called the {\it Walker-Blocker game}. In the poset consisting of the bottom $k$ levels of the product of $d$ arbitrarily long chains, Walker can guarantee a chain that hits all levels if $d\ge14$; this result uses a solution to Conway's Angel-Devil game. When d=2, the maximum that Walker can guarantee is only 2/3 of the levels, and 2/3 is asymptotically achievable in the product of two equal chains. △ Less

Submitted 2 August, 2011; originally announced August 2011.

Comments: 14 pages, 1 figure

Journal ref: Journal of Combinatorics. Vol. 3(4), 2012, pp. 633-650