Source author record

Michael Young

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

ResearcherUnclaimed source record

math.CO quant-ph cond-mat.dis-nn cond-mat.stat-mech Machine Learning math.GR

Catalog footprint

Research overview

21works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

An upper bound for the $k$ -power domination number in $r$ -uniform hypergraphs

Generalizing work on graphs, Chang and Roussel introduced $k$ -power domination in hypergraphs and conjectured the upper bound for the $k$ -power domination number for $r$ -uniform hypergraphs on $n$ vertices was $\frac{n}{r+k}$ . This upper bound was shown to be true for simple graphs ( $r=2$ ) and it was further conjectured that only a family of hypergraphs, known as the squid hypergraphs, attained this upper bound. In this paper, the conjecture is proven to hold for hypergraphs with $r=3$ or $4$ ; but is shown to be false, by a counterexample, for $r\geq 7$ . Furthermore, we show that the squid hypergraphs are not the only hypergraphs that attain the original upper bound. Finally, a new upper bound is proven for $r\geq 3$ .

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 $G$ , the vertex cover number $β(G)$ is greater than or equal to the zero forcing number $Z(G)$ . Our proof of this result is constructive, and yields a polynomial time algorithm to find a zero forcing set with cardinality $β(G)$ . We also use the output of \emph{TxGraffiti} to construct several infinite families of claw-free graphs for which $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 $Δ\ge 3$ , namely that $Z(G)\leq (Δ-2)β(G)$ +1.

preprint2020arXiv

Generalizations of Leaky Forcing

Vertex leaky forcing was recently introduced as a new variation of zero forcing in order to show how vertex leaks can disrupt the zero forcing process in a graph. An edge leak is an edge that is not allowed to be forced across during the zero forcing process. The $\ell$ -edge-leaky forcing number of a graph is the size of a smallest zero forcing set that can force the graph blue despite $\ell$ edge leaks. This paper contains an analysis of the effect of edge leaks on the zero forcing process instead of vertex leaks. Furthermore, specified $\ell$ -leaky forcing is introduced. The main result is that $\ell$ -leaky forcing, $\ell$ -edge-leaky forcing, and specified $\ell$ -leaky forcing are equivalent. Furthermore, all of these different kinds of leaks can be mixed so that vertex leaks, edge leaks, and specified leaks are used. This mixed $\ell$ -leaky forcing number is also the same as the (vertex) $\ell$ -leaky forcing number.

preprint2020arXiv

On leaky forcing and resilience

A leak is a vertex that is not allowed to perform a force during the zero forcing process. Leaky forcing was recently introduced as a new variation of zero forcing in order to analyze how leaks in a network disrupt the zero forcing process. The $\ell$ -leaky forcing number of a graph is the size of the smallest zero forcing set that can force a graph despite $\ell$ leaks. A graph $G$ is $\ell$ -resilient if its zero forcing number is the same as its $\ell$ -leaky forcing number. In this paper, we analyze $\ell$ -leaky forcing and show that if an $(\ell-1)$ -leaky forcing set $B$ is robust enough, then $B$ is an $\ell$ -leaky forcing set. This provides the framework for characterizing $\ell$ -leaky forcing sets. Furthermore, we consider structural implications of $\ell$ -resilient graphs. We apply these results to bound the $\ell$ -leaky forcing number of several graph families including trees, supertriangles, and grid graphs. In particular, we resolve a question posed by Dillman and Kenter concerning the upper bound on the $1$ -leaky forcing number of grid graphs.

preprint2020arXiv

The Polychromatic Number of Small Subsets of the Integers Modulo $n$

If $S$ is a subset of an abelian group $G$ , the polychromatic number of $S$ in $G$ is the largest integer $k$ so that there is a $k-$ coloring of the elements of $G$ such that every translate of $S$ in $G$ gets all $k$ colors. We determine the polychromatic number of all sets of size 2 or 3 in the group of integers mod n.

preprint2018arXiv

Polychromatic Colorings on the Integers

We show that for any set $S\subseteq \mathbb{Z}$ , $|S|=4$ there exists a 3-coloring of $\mathbb{Z}$ in which every translate of $S$ receives all three colors. This implies that $S$ has a codensity of at most $1/3$ , proving a conjecture of Newman [D. J. Newman, Complements of finite sets of integers, Michigan Math. J. 14 (1967) 481--486]. We also consider related questions in $\mathbb{Z}^d$ , $d\geq 2$ .

preprint2016arXiv

Anti-van der Waerden numbers of 3-term arithmetic progressions

The \emph{anti-van der Waerden number}, denoted by $aw([n],k)$ , is the smallest $r$ such that every exact $r$ -coloring of $[n]$ contains a rainbow $k$ -term arithmetic progression. Butler et. al. showed that $\lceil \log_3 n \rceil + 2 \le aw([n],3) \le \lceil \log_2 n \rceil + 1$ , and conjectured that there exists a constant $C$ such that $aw([n],3) \le \lceil \log_3 n \rceil + C$ . In this paper, we show this conjecture is true by determining $aw([n],3)$ for all $n$ . We prove that for $7\cdot 3^{m-2}+1 \leq n \leq 21 \cdot 3^{m-2}$ , \[ aw([n],3)=\left\{\begin{array}{ll} m+2, & \mbox{if $n=3^m$}\\ m+3, & \mbox{otherwise}. \end{array}\right.\]

preprint2016arXiv

Multi-part Nordhaus-Gaddum type problems for tree-width, Colin de Verdière type parameters, and Hadwiger number

A traditional Nordhaus-Gaddum problem for a graph parameter $β$ is to find a (tight) upper or lower bound on the sum or product of $β(G)$ and $β(\bar{G})$ (where $\bar{G}$ denotes the complement of $G$ ). An $r$ -decomposition $G_1,\dots,G_r$ of the complete graph $K_n$ is a partition of the edges of $K_n$ among $r$ spanning subgraphs $G_1,\dots,G_r$ . A traditional Nordhaus-Gaddum problem can be viewed as the special case for $r=2$ of a more general $r$ -part sum or product Nordhaus-Gaddum type problem. We determine the values of the $r$ -part sum and product upper bounds asymptotically as $n$ goes to infinity for the parameters tree-width and its variants largeur d'arborescence, path-width, and proper path-width. We also establish ranges for the lower bounds for these parameters, and ranges for the upper and lower bounds of the $r$ -part Nordhaus-Gaddum type problems for the parameters Hadwiger number, the Colin de Verdière number $μ$ that is used to characterize planarity, and its variants $ν$ and $ξ$ .

preprint2016arXiv

Note on von Neumann and Rényi entropies of a Graph

We conjecture that all connected graphs of order $n$ have von Neumann entropy at least as great as the star $K_{1,n-1}$ and prove this for almost all graphs of order $n$ . We show that connected graphs of order $n$ have Rényi 2-entropy at least as great as $K_{1,n-1}$ and for $α>1$ , $K_n$ maximizes Rényi $α$ -entropy over graphs of order $n$ . We show that adding an edge to a graph can lower its von Neumann entropy.

preprint2016arXiv

Power propagation time and lower bounds for power domination number

We present a counterexample to a lower bound for the power domination number given in Liao, Power domination with bounded time constraints, J. Comb. Optim. 31 (2016)725-742. We also define the power propagation time, using the power domination propagation ideas in Liao and the (zero forcing) propagation time in Hogben et al, Propagation time for zero forcing on a graph, Discrete Appl. Math.160 (2012) 1994-2005.

preprint2016arXiv

Rainbow arithmetic progressions

In this paper, we investigate the anti-Ramsey (more precisely, anti-van der Waerden) properties of arithmetic progressions. For positive integers $n$ and $k$ , the expression $aw([n],k)$ denotes the smallest number of colors with which the integers $\{1,\ldots,n\}$ can be colored and still guarantee there is a rainbow arithmetic progression of length $k$ . We establish that $aw([n],3)=Θ(\log n)$ and $aw([n],k)=n^{1-o(1)}$ for $k\geq 4$ . For positive integers $n$ and $k$ , the expression $aw(Z_n,k)$ denotes the smallest number of colors with which elements of the cyclic group of order $n$ can be colored and still guarantee there is a rainbow arithmetic progression of length $k$ . In this setting, arithmetic progressions can "wrap around," and $aw(Z_n,3)$ behaves quite differently from $aw([n],3)$ , depending on the divisibility of $n$ . As shown in [Jungić et al., \textit{Combin. Probab. Comput.}, 2003], $aw(Z_{2^m},3) = 3$ for any positive integer $m$ . We establish that $aw(Z_n,3)$ can be computed from knowledge of $aw(Z_p,3)$ for all of the prime factors $p$ of $n$ . However, for $k\geq 4$ , the behavior is similar to the previous case, that is, $aw(Z_n,k)=n^{1-o(1)}$ .

preprint2016arXiv

Rainbow Arithmetic Progressions in Finite Abelian Groups

For positive integers $n$ and $k$ , the \emph{anti-van der Waerden number} of $\mathbb{Z}_n$ , denoted by $aw(\mathbb{Z}_n,k)$ , is the minimum number of colors needed to color the elements of the cyclic group of order $n$ and guarantee there is a rainbow arithmetic progression of length $k$ . Butler et al. showed a reduction formula for $aw(\mathbb{Z}_{n},3) = 3$ in terms of the prime divisors of $n$ . In this paper, we analagously define the anti-van der Waerden number of a finite abelian group $G$ and show $aw(G,3)$ is determined by the order of $G$ and the number of groups with even order in a direct sum isomorphic to $G$ . The \emph{unitary anti-van der Waerden number} of a group is also defined and determined.

preprint2015arXiv

Fractional Zero Forcing via Three-color Forcing Games

An $r$ -fold analogue of the positive semidefinite zero forcing process that is carried out on the $r$ -blowup of a graph is introduced and used to define the fractional positive semidefinite forcing number. Properties of the graph blowup when colored with a fractional positive semidefinite forcing set are examined and used to define a three-color forcing game that directly computes the fractional positive semidefinite forcing number of a graph. We develop a fractional parameter based on the standard zero forcing process and it is shown that this parameter is exactly the skew zero forcing number with a three-color approach. This approach and an algorithm are used to characterize graphs whose skew zero forcing number equals zero.

preprint2014arXiv

Crossing numbers of complete tripartite and balanced complete multipartite graphs

The crossing number cr(G) of a graph G is the minimum number of crossings in a nondegenerate planar drawing of G. The rectilinear crossing number cr'(G) of G is the minimum number of crossings in a rectilinear nondegenerate planar drawing (with edges as straight line segments) of G. Zarankiewicz proved in 1952 that cr'(K_{n_1,n_2})\le Z(n_1,n_2):= n_1/2*(n_1-1)/2*n_2/2*(n_2-1)/2. We define an analogous bound A(n_1,n_2,n_3) for the complete tripartite graph K_{n_1,n_2,n_3}, and prove that cr'(K_{n_1,n_2,n_3})\le A({n_1,n_2,n_3}). We also show that for n large enough, 0.973 A(n,n,n) \le cr'(K_{n,n,n}) and 0.666 A(n,n,n)\le cr(K_{n,n,n}), with the tighter rectilinear lower bound established through the use of flag algebras. A complete multipartite graph is balanced if the partite sets all have the same cardinality. We study asymptotic behavior of the crossing number of the balanced complete r-partite graph. Richter and Thomassen proved in 1997 that the limit as n\to\infty of cr(K_{n,n}) over the maximum number of crossings in a drawing of K_{n,n} exists and is at most 1/4. We define z(r)=3(r^2-r)/8(r^2+r-3) and show that for a fixed r and the balanced complete r-partite graph, z(r) is an upper bound to the limit superior of the crossing number divided by the maximum number of crossings in a drawing.

preprint2014arXiv

Propagation time for zero forcing on a graph

Zero forcing (also called graph infection) on a simple, undirected graph $G$ is based on the color-change rule: If each vertex of $G$ is colored either white or black, and vertex $v$ is a black vertex with only one white neighbor $w$ , then change the color of $w$ to black. A minimum zero forcing set is a set of black vertices of minimum cardinality that can color the entire graph black using the color change rule. The propagation time of a zero forcing set $B$ of graph $G$ is the minimum number of steps that it takes to force all the vertices of $G$ black, starting with the vertices in $B$ black and performing independent forces simultaneously. The minimum and maximum propagation times of a graph are taken over all minimum zero forcing sets of the graph. It is shown that a connected graph of order at least two has more than one minimum zero forcing set realizing minimum propagation time. Graphs $G$ having extreme minimum propagation times $|G| - 1$ , $|G| - 2$ , and $0$ are characterized, and results regarding graphs having minimum propagation time $1$ are established. It is shown that the diameter is an upper bound for maximum propagation time for a tree, but in general propagation time and diameter of a graph are not comparable.

preprint2013arXiv

Large-Scale Learning with Less RAM via Randomization

We reduce the memory footprint of popular large-scale online learning methods by projecting our weight vector onto a coarse discrete set using randomized rounding. Compared to standard 32-bit float encodings, this reduces RAM usage by more than 50% during training and by up to 95% when making predictions from a fixed model, with almost no loss in accuracy. We also show that randomized counting can be used to implement per-coordinate learning rates, improving model quality with little additional RAM. We prove these memory-saving methods achieve regret guarantees similar to their exact variants. Empirical evaluation confirms excellent performance, dominating standard approaches across memory versus accuracy tradeoffs.

preprint2013arXiv

Nowhere-Zero $\vec k$ -Flows on Graphs

We introduce and study a multivariate function that counts nowhere-zero flows on a graph G, in which each edge of G has an individual capacity. We prove that the associated counting function is a piecewise-defined polynomial in these capacities, which satisfy a combinatorial reciprocity law that incorporates totally cyclic orientations of G.

preprint2013arXiv

On Weak Chromatic Polynomials of Mixed Graphs

A \emph{mixed graph} is a graph with directed edges, called arcs, and undirected edges. A $k$ -coloring of the vertices is proper if colors from ${1,2,...,k}$ are assigned to each vertex such that $u$ and $v$ have different colors if $uv$ is an edge, and the color of $u$ is less than or equal to (resp. strictly less than) the color of $v$ if $uv$ is an arc. The weak (resp. strong) chromatic polynomial of a mixed graph counts the number of proper $k$ -colorings. Using order polynomials of partially ordered sets, we establish a reciprocity theorem for weak chromatic polynomials giving interpretations of evaluations at negative integers.

preprint2013arXiv

Sum list coloring, the sum choice number, and sc-greedy graphs

Let G=(V,E) be a graph and let f be a function that assigns list sizes to the vertices of G. It is said that G is f-choosable if for every assignment of lists of colors to the vertices of G for which the list sizes agree with f, there exists a proper coloring of G from the lists. The sum choice number is the minimum of the sum of list sizes for f over all choosable functions f for G. The sum choice number of a graph is always at most the sum |V|+|E|. When the sum choice number of G is equal to this upper bound, G is said to be sc-greedy. In this paper, we determine the sum choice number of all graphs on five vertices, show that trees of cycles are sc-greedy, and present some new general results about sum list coloring.

preprint2012arXiv

On diamond-free subposets of the Boolean lattice

The Boolean lattice of dimension two, also known as the diamond, consists of four distinct elements with the following property: $A\subset B,C\subset D$ . A diamond-free family in the $n$ -dimensional Boolean lattice is a subposet such that no four elements form a diamond. Note that elements $B$ and $C$ may or may not be related. There is a diamond-free family in the $n$ -dimensional Boolean lattice of size $(2-o(1)){n\choose\lfloor n/2\rfloor}$ . In this paper, we prove that any diamond-free family in the $n$ -dimensional Boolean lattice has size at most $(2.25+o(1)){n\choose\lfloor n/2\rfloor}$ . Furthermore, we show that the so-called Lubell function of a diamond-free family in the $n$ -dimensional Boolean lattice is at most $2.25+o(1)$ , which is asymptotically best possible.

preprint2011arXiv

Zero forcing, linear and quantum controllability for systems evolving on networks

We study the dynamics of systems on networks from a linear algebraic perspective. The control theoretic concept of controllability describes the set of states that can be reached for these systems. Under appropriate conditions, there is a connection between the quantum (Lie theoretic) property of controllability and the linear systems (Kalman) controllability condition. We investigate how the graph theoretic concept of a zero forcing set impacts the controllability property. In particular, we prove that if a set of vertices is a zero forcing set, the associated dynamical system is controllable. The results open up the possibility of further exploiting the analogy between networks, linear control systems theory, and quantum systems Lie algebraic theory. This study is motivated by several quantum systems currently under study, including continuous quantum walks modeling transport phenomena. Additionally, it proposes zero forcing as a new notion in the analysis of complex networks.

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.

Michael Young

Research overview

Is this your work?

21 publications

An upper bound for the $k$ -power domination number in $r$ -uniform hypergraphs

Computer assisted discovery: Zero forcing vs vertex cover

Generalizations of Leaky Forcing

On leaky forcing and resilience

The Polychromatic Number of Small Subsets of the Integers Modulo $n$

Polychromatic Colorings on the Integers

Anti-van der Waerden numbers of 3-term arithmetic progressions

Multi-part Nordhaus-Gaddum type problems for tree-width, Colin de Verdière type parameters, and Hadwiger number

Note on von Neumann and Rényi entropies of a Graph

Power propagation time and lower bounds for power domination number

Rainbow arithmetic progressions

Rainbow Arithmetic Progressions in Finite Abelian Groups

Fractional Zero Forcing via Three-color Forcing Games

Crossing numbers of complete tripartite and balanced complete multipartite graphs

Propagation time for zero forcing on a graph

Large-Scale Learning with Less RAM via Randomization

Nowhere-Zero $\vec k$ -Flows on Graphs

On Weak Chromatic Polynomials of Mixed Graphs

Sum list coloring, the sum choice number, and sc-greedy graphs

On diamond-free subposets of the Boolean lattice

Zero forcing, linear and quantum controllability for systems evolving on networks

See the researcher in context

Building this map preview

Michael Young

Research overview

Is this your work?

21 publications

An upper bound for the kkk-power domination number in rrr-uniform hypergraphs

Computer assisted discovery: Zero forcing vs vertex cover

Generalizations of Leaky Forcing

On leaky forcing and resilience

The Polychromatic Number of Small Subsets of the Integers Modulo nnn

Polychromatic Colorings on the Integers

Anti-van der Waerden numbers of 3-term arithmetic progressions

Multi-part Nordhaus-Gaddum type problems for tree-width, Colin de Verdière type parameters, and Hadwiger number

Note on von Neumann and Rényi entropies of a Graph

Power propagation time and lower bounds for power domination number

Rainbow arithmetic progressions

Rainbow Arithmetic Progressions in Finite Abelian Groups

Fractional Zero Forcing via Three-color Forcing Games

Crossing numbers of complete tripartite and balanced complete multipartite graphs

Propagation time for zero forcing on a graph

Large-Scale Learning with Less RAM via Randomization

Nowhere-Zero k⃗\vec kk-Flows on Graphs

On Weak Chromatic Polynomials of Mixed Graphs

Sum list coloring, the sum choice number, and sc-greedy graphs

On diamond-free subposets of the Boolean lattice

Zero forcing, linear and quantum controllability for systems evolving on networks

See the researcher in context

Building this map preview

An upper bound for the $k$ -power domination number in $r$ -uniform hypergraphs

The Polychromatic Number of Small Subsets of the Integers Modulo $n$

Nowhere-Zero $\vec k$ -Flows on Graphs