Source author record

Randy Davila

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
2topics
4close collaborators

Published work

9 publications

preprint2022arXiv

Computer assisted discovery: Zero forcing vs vertex cover

In this paper, we showcase the process of using an automated conjecturing program called \emph{TxGraffiti} written and maintained by the second author. We begin by proving a conjecture formulated by \emph{TxGraffiti} that for a claw-free graph GG, the vertex cover number β(G)β(G) is greater than or equal to the zero forcing number Z(G)Z(G). Our proof of this result is constructive, and yields a polynomial time algorithm to find a zero forcing set with cardinality β(G)β(G). We also use the output of \emph{TxGraffiti} to construct several infinite families of claw-free graphs for which Z(G)=β(G)Z(G)=β(G). Additionally, inspired by the aforementioned conjecture of \emph{TxGraffiti}, we also prove a more general relation between the zero forcing number and the vertex cover number for any connected graph with maximum degree Δ≥3Δ\ge 3, namely that Z(G)≤(Δ−2)β(G)Z(G)\leq (Δ-2)β(G)+1.

preprint2020arXiv

On a Vizing-type integer domination conjecture

Given a simple graph GG, a dominating set in GG is a set of vertices SS such that every vertex not in SS has a neighbor in SS. Denote the domination number, which is the size of any minimum dominating set of GG, by γ(G)γ(G). For any integer k≥1k\ge 1, a function f:V(G)→{0,1,...,k}f : V (G) \rightarrow \{0, 1, . . ., k\} is called a \emph{{k}\{k\}-dominating function} if the sum of its function values over any closed neighborhood is at least kk. The weight of a {k}\{k\}-dominating function is the sum of its values over all the vertices. The {k}\{k\}-domination number of GG, γ{k}(G)γ_{\{k\}}(G), is defined to be the minimum weight taken over all {k}\{k\}-domination functions. Brešar, Henning, and Klavžar (On integer domination in graphs and Vizing-like problems. \emph{Taiwanese J. Math.} {10(5)} (2006) pp. 1317--1328) asked whether there exists an integer k≥2k\ge 2 so that γ{k}(G□H)≥γ(G)γ(H)γ_{\{k\}}(G\square H)\ge γ(G)γ(H). In this note we use the Roman {2}\{2\}-domination number, γR2γ_{R2} of Chellali, Haynes, Hedetniemi, and McRae, (Roman {2}\{2\}-domination. \emph{Discrete Applied Mathematics} {204} (2016) pp. 22-28.) to prove that if GG is a claw-free graph and HH is an arbitrary graph, then γ{2}(G□H)≥γR2(G□H)≥γ(G)γ(H)γ_{\{2\}}(G\square H)\ge γ_{R2}(G\square H)\ge γ(G)γ(H), which also implies the conjecture for all k≥2k\ge 2.

preprint2016arXiv

Characterizations of the Connected Forcing Number of a Graph

Zero forcing is a dynamic graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. This forcing process has been used to approximate certain linear algebraic parameters, as well as to model the spread of diseases and information in social networks. In this paper, we introduce and study the connected forcing process -- a restriction of zero forcing in which the initially colored set of vertices induces a connected subgraph. We show that the connected forcing number -- the cardinality of the smallest initially colored vertex set which forces the entire graph to be colored -- is a sharp upper bound to the maximum nullity, path cover number, and leaf number of the graph. We also give closed formulas and bounds for the connected forcing numbers of several families of graphs including trees, hypercubes, and flower snarks, and characterize graphs with extremal connected forcing numbers.

preprint2016arXiv

The forcing number of graphs with a given girth

In this paper, we study a dynamic coloring of the vertices of a graph GG that starts with an initial subset SS of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set SS is called a forcing set of GG if, by iteratively applying the forcing process, every vertex in GG becomes colored. The forcing number, originally known as the \emph{zero forcing number}, and denoted F(G)F(G), of GG is the cardinality of a smallest forcing set of GG. We study lower bounds on the forcing number in terms of its minimum degree and girth, where the girth gg of a graph is the length of a shortest cycle in the graph. Let GG be a graph with minimum degree δ≥2δ\ge 2 and girth~g≥3g \ge 3. Davila and Kenter [Theory and Applications of Graphs, Volume 2, Issue 2, Article 1, 2015] conjecture that F(G)≥δ+(δ−2)(g−3)F(G) \ge δ+ (δ-2)(g-3). This conjecture has recently been proven for g≤6g \le 6. The conjecture is also proven when the girth g≥7g \ge 7 and the minimum degree is sufficiently large. In particular, it holds when g=7g = 7 and δ≥481δ\ge 481, when g=8g = 8 and δ≥649δ\ge 649, when g=9g = 9 and δ≥30δ\ge 30, and when g=10g = 10 and δ≥34δ\ge 34. In this paper, we prove the conjecture for g∈{7,8,9,10}g \in \{7,8,9,10\} and for all values of δ≥2δ\ge 2.

preprint2016arXiv

The sub-kk-domination number of a graph with applications to kk-domination

In this paper we introduce and study a new graph invariant derived from the degree sequence of a graph GG, called the sub-kk-domination number and denoted subk(G)sub_k(G). We show that subk(G)sub_k(G) is a computationally efficient sharp lower bound on the kk-domination number of GG, and improves on several known lower bounds. We also characterize the sub-kk-domination numbers of several families of graphs, provide structural results on sub-kk-domination, and explore properties of graphs which are subk(G)sub_k(G)-critical with respect to addition and deletion of vertices and edges.

preprint2015arXiv

Lower Bounds on the Distance Domination Number of a Graph

For an integer k≥1k \ge 1, a (distance) kk-dominating set of a connected graph GG is a set SS of vertices of GG such that every vertex of V(G)∖SV(G) \setminus S is at distance at most~kk from some vertex of SS. The kk-domination number, γk(G)γ_k(G), of GG is the minimum cardinality of a kk-dominating set of GG. In this paper, we establish lower bounds on the kk-domination number of a graph in terms of its diameter, radius and girth. We prove that for connected graphs GG and HH, γk(G×H)≥γk(G)+γk(H)−1γ_k(G \times H) \ge γ_k(G) + γ_k(H) -1, where G×HG \times H denotes the direct product of GG and HH.

preprint2014arXiv

Bounds for the Zero-Forcing Number of Graphs with Large Girth

We investigate the zero-forcing number for triangle-free graphs. We improve upon the trivial bound, δ≤Z(G)δ\le Z(G) where δδ is the minimum degree, in the triangle-free case. In particular, we show that 2δ−2≤Z(G)2 δ- 2 \le Z(G) for graphs with girth of at least 5, and this can be further improved when GG has a small cut set. Using these results, we are able to prove the Graph Complement Conjecture on minimum rank for a large class of graphs. Lastly, we make a conjecture that the lower bound for Z(G)Z(G) increases as a function of the girth, gg, and δδ.

preprint2014arXiv

Upper bounds on the k-forcing number of a graph

Given a simple undirected graph GG and a positive integer kk, the kk-forcing number of GG, denoted Fk(G)F_k(G), is the minimum number of vertices that need to be initially colored so that all vertices eventually become colored during the discrete dynamical process described by the following rule. Starting from an initial set of colored vertices and stopping when all vertices are colored: if a colored vertex has at most kk non-colored neighbors, then each of its non-colored neighbors becomes colored. When k=1k=1, this is equivalent to the zero forcing number, usually denoted with Z(G)Z(G), a recently introduced invariant that gives an upper bound on the maximum nullity of a graph. In this paper, we give several upper bounds on the kk-forcing number. Notable among these, we show that if GG is a graph with order n≥2n \ge 2 and maximum degree Δ≥kΔ\ge k, then Fk(G)≤(Δ−k+1)nΔ−k+1+min⁡{δ,k}F_k(G) \le \frac{(Δ-k+1)n}{Δ- k + 1 +\min{\{δ,k\}}}. This simplifies to, for the zero forcing number case of k=1k=1, Z(G)=F1(G)≤ΔnΔ+1Z(G)=F_1(G) \le \frac{Δn}{Δ+1}. Moreover, when Δ≥2Δ\ge 2 and the graph is kk-connected, we prove that Fk(G)≤(Δ−2)n+2Δ+k−2F_k(G) \leq \frac{(Δ-2)n+2}{Δ+k-2}, which is an improvement when k≤2k\leq 2, and specializes to, for the zero forcing number case, Z(G)=F1(G)≤(Δ−2)n+2Δ−1Z(G)= F_1(G) \le \frac{(Δ-2)n+2}{Δ-1}. These results resolve a problem posed by Meyer about regular bipartite circulant graphs. Finally, we present a relationship between the kk-forcing number and the connected kk-domination number. As a corollary, we find that the sum of the zero forcing number and connected domination number is at most the order for connected graphs.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.