-
Understanding High-Order Network Structure using Permissible Walks on Attributed Hypergraphs
Authors:
Enzo Battistella,
Sean English,
Robert Green,
Cliff Joslyn,
Evgeniya Lagoda,
Van Magnan,
Audun Myers,
Evan D. Nash,
Michael Robinson
Abstract:
Hypergraphs have been a recent focus of study in mathematical data science as a tool to understand complex networks with high-order connections. One question of particular relevance is how to leverage information carried in hypergraph attributions when doing walk-based techniques. In this work, we focus on a new generalization of a walk in a network that recovers previous approaches and allows for…
▽ More
Hypergraphs have been a recent focus of study in mathematical data science as a tool to understand complex networks with high-order connections. One question of particular relevance is how to leverage information carried in hypergraph attributions when doing walk-based techniques. In this work, we focus on a new generalization of a walk in a network that recovers previous approaches and allows for a description of permissible walks in hypergraphs. Permissible walk graphs are constructed by intersecting the attributed $s$-line graph of a hypergraph with a relation respecting graph. The attribution of the hypergraph's line graph commonly carries over information from categorical and temporal attributions of the original hypergraph. To demonstrate this approach on a temporally attributed example, we apply our framework to a Reddit data set composed of hyperedges as threads and authors as nodes where post times are tracked.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
On the Constructor-Blocker Game
Authors:
József Balogh,
Ce Chen,
Sean English
Abstract:
In the Constructor-Blocker game, two players, Constructor and Blocker, alternatively claim unclaimed edges of the complete graph $K_n$. For given graphs $F$ and $H$, Constructor can only claim edges that leave her graph $F$-free, while Blocker has no restrictions. Constructor's goal is to build as many copies of $H$ as she can, while Blocker attempts to stop this. The game ends once there are no m…
▽ More
In the Constructor-Blocker game, two players, Constructor and Blocker, alternatively claim unclaimed edges of the complete graph $K_n$. For given graphs $F$ and $H$, Constructor can only claim edges that leave her graph $F$-free, while Blocker has no restrictions. Constructor's goal is to build as many copies of $H$ as she can, while Blocker attempts to stop this. The game ends once there are no more edges that Constructor can claim. The score $g(n,H,F)$ of the game is the number of copies of $H$ in Constructor's graph at the end of the game, when both players play optimally and Constructor plays first. In this paper, we extend results of Patkós, Stojaković and Vizer on $g(n, H, F)$ to many pairs of $H$ and $F$: We determine $g(n, H, F)$ when $H=K_r$ and $χ(F)>r$, also when both $H$ and $F$ are odd cycles, using Szemerédi's Regularity Lemma. We also obtain bounds of $g(n, H, F)$ when $H=K_3$ and $F=K_{2,2}$.
△ Less
Submitted 30 December, 2023;
originally announced January 2024.
-
Saturation Numbers for Berge Cliques
Authors:
Sean English,
Jürgen Kritschgau,
Mina Nahvi,
Elizabeth Sprangel
Abstract:
Let $F$ be a graph and $\mathcal{H}$ be a hypergraph, both embedded on the same vertex set. We say $\mathcal{H}$ is a Berge-$F$ if there exists a bijection $φ:E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for all $e\in E(F)$. We say $\mathcal{H}$ is Berge-$F$-saturated if $\mathcal{H}$ does not contain any Berge-$F$, but adding any missing edge to $\mathcal{H}$ creates a copy of a Berge-$F$.…
▽ More
Let $F$ be a graph and $\mathcal{H}$ be a hypergraph, both embedded on the same vertex set. We say $\mathcal{H}$ is a Berge-$F$ if there exists a bijection $φ:E(F)\to E(\mathcal{H})$ such that $e\subseteq φ(e)$ for all $e\in E(F)$. We say $\mathcal{H}$ is Berge-$F$-saturated if $\mathcal{H}$ does not contain any Berge-$F$, but adding any missing edge to $\mathcal{H}$ creates a copy of a Berge-$F$.
The saturation number $\mathrm{sat}_k(n,\text{Berge-}F)$ is the least number of edges in a Berge-$F$-saturated $k$-uniform hypergraph on $n$ vertices.
We show
\[
\mathrm{sat}_k(n,\text{Berge-}K_\ell)\sim \frac{\ell-2}{k-1}n,
\]
for all $k,\ell\geq 3$. Furthermore, we provide some sufficient conditions to imply that $\mathrm{sat}_k(n,\text{Berge-}F)=O(n)$ for general graphs $F$.
△ Less
Submitted 1 December, 2023; v1 submitted 7 January, 2023;
originally announced January 2023.
-
A random coloring process gives improved bounds for the Erdős-Gyárfás problem on generalized Ramsey numbers
Authors:
Patrick Bennett,
Andrzej Dudek,
Sean English
Abstract:
The Erdős-Gyárfás number $f(n, p, q)$ is the smallest number of colors needed to color the edges of the complete graph $K_n$ so that all of its $p$-clique spans at least $q$ colors. In this paper we improve the best known upper bound on $f(n, p, q)$ for many fixed values of $p, q$ and large $n$. Our proof uses a randomized coloring process, which we analyze using the so-called differential equatio…
▽ More
The Erdős-Gyárfás number $f(n, p, q)$ is the smallest number of colors needed to color the edges of the complete graph $K_n$ so that all of its $p$-clique spans at least $q$ colors. In this paper we improve the best known upper bound on $f(n, p, q)$ for many fixed values of $p, q$ and large $n$. Our proof uses a randomized coloring process, which we analyze using the so-called differential equation method to establish dynamic concentration.
△ Less
Submitted 8 February, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Rainbow Connection for Complete Multipartite Graphs
Authors:
Igor Araujo,
Kareem Benaissa,
Richard Bi,
Sean English,
Shengan Wu,
Pai Zheng
Abstract:
A path in an edge-colored graph is said to be rainbow if no color repeats on it. An edge-colored graph is said to be rainbow $k$-connected if every pair of vertices is connected by $k$ internally disjoint rainbow paths. The rainbow $k$-connection number $\mathrm{rc}_k(G)$ is the minimum number of colors $\ell$ such that there exists a coloring with $\ell$ colors that makes $G$ rainbow $k$-connecte…
▽ More
A path in an edge-colored graph is said to be rainbow if no color repeats on it. An edge-colored graph is said to be rainbow $k$-connected if every pair of vertices is connected by $k$ internally disjoint rainbow paths. The rainbow $k$-connection number $\mathrm{rc}_k(G)$ is the minimum number of colors $\ell$ such that there exists a coloring with $\ell$ colors that makes $G$ rainbow $k$-connected. Let $f(k,t)$ be the minimum integer such that every $t$-partite graph with part sizes at least $f(k,t)$ has $\mathrm{rc}_k(G) \le 4$ if $t=2$ and $\mathrm{rc}_k(G) \le 3$ if $t \ge 3$. Answering a question of Fujita, Liu and Magnant, we show that
\[
f(k,t) = \left\lceil \frac{2k}{t-1} \right\rceil
\]
for all $k\geq 2$, $t\geq 2$. We also give some conditions for which $\mathrm{rc}_k(G) \le 3$ if $t=2$ and $\mathrm{rc}_k(G) \le 2$ if $t \ge 3$.
△ Less
Submitted 19 February, 2023; v1 submitted 21 October, 2022;
originally announced October 2022.
-
Saturation for the $3$-uniform loose $3$-cycle
Authors:
Sean English,
Alexandr Kostochka,
Dara Zirlin
Abstract:
Let $F$ and $H$ be $k$-uniform hypergraphs. We say $H$ is $F$-saturated if $H$ does not contain a subgraph isomorphic to $F$, but $H+e$ does for any hyperedge $e\not\in E(H)$. The saturation number of $F$, denoted $\mathrm{sat}_k(n,F)$, is the minimum number of edges in a $F$-saturated $k$-uniform hypergraph $H$ on $n$ vertices. Let $C_3^{(3)}$ denote the $3$-uniform loose cycle on $3$ edges. In t…
▽ More
Let $F$ and $H$ be $k$-uniform hypergraphs. We say $H$ is $F$-saturated if $H$ does not contain a subgraph isomorphic to $F$, but $H+e$ does for any hyperedge $e\not\in E(H)$. The saturation number of $F$, denoted $\mathrm{sat}_k(n,F)$, is the minimum number of edges in a $F$-saturated $k$-uniform hypergraph $H$ on $n$ vertices. Let $C_3^{(3)}$ denote the $3$-uniform loose cycle on $3$ edges. In this work, we prove that
\[
\left(\frac{4}3+o(1)\right)n\leq \mathrm{sat}_3(n,C_3^{(3)})\leq \frac{3}2n+O(1).
\]
This is the first non-trivial result on the saturation number for a fixed short hypergraph cycle.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
Chasing the Threshold Bias of the 3-AP Game
Authors:
Albert Cao,
Felix Christian Clemen,
Sean English,
Xiaojian Li,
Tatum Schmidt,
Leeann Xoubi,
Weian Yin
Abstract:
In a Maker-Breaker game there are two players, Maker and Breaker, where Maker wins if they create a specified structure while Breaker wins if they prevent Maker from winning indefinitely. A $3$-term arithmetic progression, or $3$-AP, is a sequence of three distinct integers $a, b, c$ such that $b-a = c-b$. The $3$-AP game is a biased Maker-Breaker game played on $[n]$ where every round Breaker sel…
▽ More
In a Maker-Breaker game there are two players, Maker and Breaker, where Maker wins if they create a specified structure while Breaker wins if they prevent Maker from winning indefinitely. A $3$-term arithmetic progression, or $3$-AP, is a sequence of three distinct integers $a, b, c$ such that $b-a = c-b$. The $3$-AP game is a biased Maker-Breaker game played on $[n]$ where every round Breaker selects $q$ unclaimed integers for every Maker's one integer. Maker is trying to select points such that they have a $3$-AP and Breaker is trying to prevent this. The main question of interest is determining the threshold bias $q^*(n)$, that is the minimum value of $q=q(n)$ for which Breaker has a winning strategy. Kusch, Rué, Spiegel and Szabó initially asked this question and proved $\sqrt{n/12-1/6}\leq q^*(n)\leq \sqrt{3n}$. We find new strategies for both Maker and Breaker which improve the existing bounds to
\[
(1+o(1))\sqrt{\frac{n}{5.6}} \leq q^*(n) \leq \sqrt{2n} +O(1).
\]
△ Less
Submitted 12 January, 2022; v1 submitted 7 September, 2021;
originally announced September 2021.
-
Linear Bounds for Cycle-free Saturation Games
Authors:
Sean English,
Tomáš Masařík,
Grace McCourt,
Erin Meger,
Michael S. Ross,
Sam Spiro
Abstract:
Given a family of graphs $\mathcal{F}$, we define the $\mathcal{F}$-saturation game as follows. Two players alternate adding edges to an initially empty graph on $n$ vertices, with the only constraint being that neither player can add an edge that creates a subgraph in $\mathcal{F}$. The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as…
▽ More
Given a family of graphs $\mathcal{F}$, we define the $\mathcal{F}$-saturation game as follows. Two players alternate adding edges to an initially empty graph on $n$ vertices, with the only constraint being that neither player can add an edge that creates a subgraph in $\mathcal{F}$. The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as possible, while the other wishes to prolong the game. We let $\textrm{sat}_g(n,\mathcal{F})$ denote the number of edges that are in the final graph when both players play optimally. In general there are very few non-trivial bounds on the order of magnitude of $\textrm{sat}_g(n,\mathcal{F})$. In this work, we find collections of infinite families of cycles $\mathcal{C}$ such that $\textrm{sat}_g(n,\mathcal{C})$ has linear growth rate.
△ Less
Submitted 11 August, 2021;
originally announced August 2021.
-
Low Diameter Monochromatic Covers of Complete Multipartite Graphs
Authors:
Sean English,
Connor Mattes,
Grace McCourt,
Michael Phillips
Abstract:
Let the diameter cover number, $D^t_r(G)$, denote the least integer $d$ such that under any $r$-coloring of the edges of the graph $G$, there exists a collection of $t$ monochromatic subgraphs of diameter at most $d$ such that every vertex of $G$ is contained in at least one of the subgraphs. We explore the diameter cover number with two colors and two subgraphs when $G$ is a complete multipartite…
▽ More
Let the diameter cover number, $D^t_r(G)$, denote the least integer $d$ such that under any $r$-coloring of the edges of the graph $G$, there exists a collection of $t$ monochromatic subgraphs of diameter at most $d$ such that every vertex of $G$ is contained in at least one of the subgraphs. We explore the diameter cover number with two colors and two subgraphs when $G$ is a complete multipartite graph with at least three parts. We determine exactly the value of $D_2^2(G)$ for all complete tripartite graphs $G$, and almost all complete multipartite graphs with more than three parts.
△ Less
Submitted 14 May, 2021;
originally announced May 2021.
-
Lower bounds on the Erdős-Gyárfás problem via color energy graphs
Authors:
József Balogh,
Sean English,
Emily Heath,
Robert A. Krueger
Abstract:
Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erdős and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower…
▽ More
Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erdős and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower bounds on this function, making explicit the connection between bounds on extremal numbers and $f(n,p,q)$. Using results on the extremal numbers of subdivided complete graphs, theta graphs, and subdivided complete bipartite graphs, we generalize results of Fish, Pohoata, and Sheffer, giving the first nontrivial lower bounds on $f(n,p,q)$ for some pairs $(p,q)$ and improving previous lower bounds for other pairs.
△ Less
Submitted 24 May, 2022; v1 submitted 22 February, 2021;
originally announced February 2021.
-
Firefighting on the Hexagonal Grid and on Infinite Trees
Authors:
Alexander Dean,
Sean English,
Tongyun Huang,
Robert A. Krueger,
Andy Lee,
Mose Mizrahi,
Casey Wheaton-Werle
Abstract:
The firefighter problem with $k$ firefighters on an infinite graph $G$ is an iterative graph process, defined as follows: Suppose a fire breaks out at a given vertex $v\in V(G)$ on Turn 1. On each subsequent even turn, $k$ firefighters protect $k$ vertices that are not on fire, and on each subsequent odd turn, any vertex that is on fire spreads the fire to all adjacent unprotected vertices. The fi…
▽ More
The firefighter problem with $k$ firefighters on an infinite graph $G$ is an iterative graph process, defined as follows: Suppose a fire breaks out at a given vertex $v\in V(G)$ on Turn 1. On each subsequent even turn, $k$ firefighters protect $k$ vertices that are not on fire, and on each subsequent odd turn, any vertex that is on fire spreads the fire to all adjacent unprotected vertices. The firefighters' goal is to eventually stop the spread of the fire. If there exists a strategy for $k$ firefighters to eventually stop the spread of the fire, then we say $G$ is $k$-containable.
We consider the firefighter problem on the hexagonal grid, which is the graph whose vertices and edges are exactly the vertices and edges of a regular hexagonal tiling of the plane. It is not known if the hexagonal grid is $1$-containable. In arXiv:1305.7076 [math.CO], it was shown that if the firefighters have one firefighter per turn and one extra firefighter on two turns, the firefighters can contain the fire. We improve on this result by showing that even with only one extra firefighter on one turn, the firefighters can still contain the fire.
In addition, we explore $k$-containability for birth sequence trees, which are infinite rooted trees that have the property that every vertex at the same level has the same degree. A birth sequence forest is an infinite forest, each component of which is a birth sequence tree. For birth sequence trees and forests, the fire always starts at the root of each tree. We provide a pseudopolynomial time algorithm to decide if all the vertices at a fixed level can be protected or not.
△ Less
Submitted 6 June, 2021; v1 submitted 10 October, 2020;
originally announced October 2020.
-
Improved Bounds for Burning Fence Graphs
Authors:
Anthony Bonato,
Sean English,
Bill Kay,
Daniel Moghbel
Abstract:
Graph burning studies how fast a contagion, modeled as a set of fires, spreads in a graph. The burning process takes place in synchronous, discrete rounds. In each round, a fire breaks out at a vertex, and the fire spreads to all vertices that are adjacent to a burning vertex. The burning number of a graph $G$ is the minimum number of rounds necessary for each vertex of $G$ to burn. We consider th…
▽ More
Graph burning studies how fast a contagion, modeled as a set of fires, spreads in a graph. The burning process takes place in synchronous, discrete rounds. In each round, a fire breaks out at a vertex, and the fire spreads to all vertices that are adjacent to a burning vertex. The burning number of a graph $G$ is the minimum number of rounds necessary for each vertex of $G$ to burn. We consider the burning number of the $m \times n$ Cartesian grid graphs, written $G_{m,n}$.\ For $m = ω(\sqrt{n})$, the asymptotic value of the burning number of $G_{m,n}$ was determined, but only the growth rate of the burning number was investigated in the case $m = O(\sqrt{n})$, which we refer to as fence graphs. We provide new explicit bounds on the burning number of fence graphs $G_{c\sqrt{n},n}$, where $c > 0$.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
Localization Game for Random Graphs
Authors:
Andrzej Dudek,
Sean English,
Alan Frieze,
Calum MacRury,
Pawel Pralat
Abstract:
We consider the localization game played on graphs in which a cop tries to determine the exact location of an invisible robber by exploiting distance probes. The corresponding graph parameter $ζ(G)$ for a given graph $G$ is called the localization number. In this paper, we improve the bounds for dense random graphs determining an asymptotic behaviour of $ζ(G)$. Moreover, we extend the argument to…
▽ More
We consider the localization game played on graphs in which a cop tries to determine the exact location of an invisible robber by exploiting distance probes. The corresponding graph parameter $ζ(G)$ for a given graph $G$ is called the localization number. In this paper, we improve the bounds for dense random graphs determining an asymptotic behaviour of $ζ(G)$. Moreover, we extend the argument to sparse graphs.
△ Less
Submitted 3 September, 2020; v1 submitted 24 October, 2019;
originally announced October 2019.
-
Updated Constraints on Asteroid-Mass Primordial Black Holes as Dark Matter
Authors:
Nolan Smyth,
Stefano Profumo,
Samuel English,
Tesla Jeltema,
Kevin McKinnon,
Puragra Guhathakurta
Abstract:
Microlensing of stars places significant constraints on sub-planetary-mass compact objects, including primordial black holes, as dark matter candidates. As the lens' Einstein radius in the source plane becomes comparable to the size of the light source, however, source amplification is strongly suppressed, making it challenging to constrain lenses with a mass at or below $10^{-10}$ solar masses, i…
▽ More
Microlensing of stars places significant constraints on sub-planetary-mass compact objects, including primordial black holes, as dark matter candidates. As the lens' Einstein radius in the source plane becomes comparable to the size of the light source, however, source amplification is strongly suppressed, making it challenging to constrain lenses with a mass at or below $10^{-10}$ solar masses, i.e. asteroid-mass objects. Current constraints, using Subaru HSC observations of M31, assume a fixed source size of one solar radius. Here we point out that the actual stars in M31 bright enough to be used for microlensing are typically much larger. We correct the HSC constraints by constructing a source size distribution based on the M31 PHAT survey and on a synthetic stellar catalogue, and by correspondingly weighing the finite-size source effects. We find that the actual HSC constraints are weaker by up to almost three orders of magnitude in some cases, broadening the range of masses for which primordial black holes can be the totality of the cosmological dark matter by almost one order of magnitude.
△ Less
Submitted 29 April, 2020; v1 submitted 2 October, 2019;
originally announced October 2019.
-
Probabilistic Zero Forcing on Random Graphs
Authors:
Sean English,
Calum MacRury,
Pawel Pralat
Abstract:
Zero forcing is a deterministic iterative graph coloring process in which vertices are colored either blue or white, and in every round, any blue vertices that have a single white neighbor force these white vertices to become blue. Here we study probabilistic zero forcing, where blue vertices have a non-zero probability of forcing each white neighbor to become blue.
We explore the propagation ti…
▽ More
Zero forcing is a deterministic iterative graph coloring process in which vertices are colored either blue or white, and in every round, any blue vertices that have a single white neighbor force these white vertices to become blue. Here we study probabilistic zero forcing, where blue vertices have a non-zero probability of forcing each white neighbor to become blue.
We explore the propagation time for probabilistic zero forcing on the Erdős-Réyni random graph $\Gnp$ when we start with a single vertex colored blue. We show that when $p=\log^{-o(1)}n$, then with high probability it takes $(1+o(1))\log_2\log_2n$ rounds for all the vertices in $\Gnp$ to become blue, and when $\log n/n\ll p\leq \log^{-O(1)}n$, then with high probability it takes $Θ(\log(1/p))$ rounds.
△ Less
Submitted 14 September, 2019;
originally announced September 2019.
-
Optimizing the trade-off between number of cops and capture time in Cops and Robbers
Authors:
Anthony Bonato,
Jane Breen,
Boris Brimkov,
Joshua Carlson,
Sean English,
Jesse Geneson,
Leslie Hogben,
K. E. Perry,
Carolyn Reinhart
Abstract:
The cop throttling number $th_c(G)$ of a graph $G$ for the game of Cops and Robbers is the minimum of $k + capt_k(G)$, where $k$ is the number of cops and $capt_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games in which both players play optimally. In this paper, we construct a family of graphs having $th_c(G)= Ω(n^{2/3})$, establish a s…
▽ More
The cop throttling number $th_c(G)$ of a graph $G$ for the game of Cops and Robbers is the minimum of $k + capt_k(G)$, where $k$ is the number of cops and $capt_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games in which both players play optimally. In this paper, we construct a family of graphs having $th_c(G)= Ω(n^{2/3})$, establish a sublinear upper bound on the cop throttling number, and show that the cop throttling number of chordal graphs is $O(\sqrt{n})$. We also introduce the product cop throttling number $th_c^{\times}(G)$ as a parameter that minimizes the person-hours used by the cops. This parameter extends the notion of speed-up that has been studied in the context of parallel processing and network decontamination. We establish bounds on the product cop throttling number in terms of the cop throttling number, characterize graphs with low product cop throttling number, and show that for a chordal graph $G$, $th_c^{\times}=1+rad(G)$.
△ Less
Submitted 13 September, 2019; v1 submitted 24 March, 2019;
originally announced March 2019.
-
The Iterated Local Model for Social Networks
Authors:
Anthony Bonato,
Huda Chuangpishit,
Sean English,
Bill Kay,
Erin Meger
Abstract:
On-line social networks, such as in Facebook and Twitter, are often studied from the perspective of friendship ties between agents in the network. Adversarial ties, however, also play an important role in the structure and function of social networks, but are often hidden. Underlying generative mechanisms of social networks are predicted by structural balance theory, which postulates that triads o…
▽ More
On-line social networks, such as in Facebook and Twitter, are often studied from the perspective of friendship ties between agents in the network. Adversarial ties, however, also play an important role in the structure and function of social networks, but are often hidden. Underlying generative mechanisms of social networks are predicted by structural balance theory, which postulates that triads of agents, prefer to be transitive, where friends of friends are more likely friends, or anti-transitive, where adversaries of adversaries become friends. The previously proposed Iterated Local Transitivity (ILT) and Iterated Local Anti-Transitivity (ILAT) models incorporated transitivity and anti-transitivity, respectively, as evolutionary mechanisms. These models resulted in graphs with many observable properties of social networks, such as low diameter, high clustering, and densification.
We propose a new, generative model, referred to as the Iterated Local Model (ILM) for social networks synthesizing both transitive and anti-transitive triads over time. In ILM, we are given a countably infinite binary sequence as input, and that sequence determines whether we apply a transitive or an anti-transitive step. The resulting model exhibits many properties of complex networks observed in the ILT and ILAT models. In particular, for any input binary sequence, we show that asymptotically the model generates finite graphs that densify, have clustering coefficient bounded away from 0, have diameter at most 3, and exhibit bad spectral expansion. We also give a thorough analysis of the chromatic number, domination number, Hamiltonicity, and isomorphism types of induced subgraphs of ILM graphs.
△ Less
Submitted 11 March, 2019;
originally announced March 2019.
-
On the weight of Berge-$F$-free hypergraphs
Authors:
Sean English,
Dániel Gerbner,
Abhishek Methuku,
Cory Palmer
Abstract:
For a graph $F$, we say a hypergraph is a Berge-$F$ if it can be obtained from $F$ by replacing each edge of $F$ with a hyperedge containing it. A hypergraph is Berge-$F$-free if it does not contain a subhypergraph that is a Berge-$F$. The weight of a non-uniform hypergraph $\mathcal{H}$ is the quantity $\sum_{h \in E(\mathcal{H})} |h|$.
Suppose $\mathcal{H}$ is a Berge-$F$-free hypergraph on…
▽ More
For a graph $F$, we say a hypergraph is a Berge-$F$ if it can be obtained from $F$ by replacing each edge of $F$ with a hyperedge containing it. A hypergraph is Berge-$F$-free if it does not contain a subhypergraph that is a Berge-$F$. The weight of a non-uniform hypergraph $\mathcal{H}$ is the quantity $\sum_{h \in E(\mathcal{H})} |h|$.
Suppose $\mathcal{H}$ is a Berge-$F$-free hypergraph on $n$ vertices. In this short note, we prove that as long as every edge of $\mathcal{H}$ has size at least the Ramsey number of $F$ and at most $o(n)$, the weight of $\mathcal{H}$ is $o(n^2)$. This result is best possible in some sense. Along the way, we study other weight functions, and strengthen results of Gerbner and Palmer; and Grósz, Methuku and Tompkins.
△ Less
Submitted 13 March, 2019; v1 submitted 9 February, 2019;
originally announced February 2019.
-
A Sublinear Bound on the Cop Throttling Number of a Graph
Authors:
Anthony Bonato,
Sean English
Abstract:
We provide a sublinear bound on the cop throttling number of a connected graph. Related to the graph searching game Cops and Robbers, the cop throttling number, written $\mathrm{th}_c(G)$, is given by $\mathrm{th}_c(G)=\min_k\{k+\mathrm{capt}_k(G)\}$, in which $\mathrm{capt}_k(G)$ is the $k$-capture time, or the length of a game of Cops and Robbers with $k$ cops on the graph $G$, assuming both pla…
▽ More
We provide a sublinear bound on the cop throttling number of a connected graph. Related to the graph searching game Cops and Robbers, the cop throttling number, written $\mathrm{th}_c(G)$, is given by $\mathrm{th}_c(G)=\min_k\{k+\mathrm{capt}_k(G)\}$, in which $\mathrm{capt}_k(G)$ is the $k$-capture time, or the length of a game of Cops and Robbers with $k$ cops on the graph $G$, assuming both players play optimally.
No general sublinear bound was known on the cop throttling number of a connected graph. Towards a question asked by Breen et al., we prove that $\mathrm{th}_c(G)\leq \frac{(2+o(1))n\sqrt{W(\log(n))}}{\sqrt{\log(n)}},$ where $W=W(x)$ is the Lambert W function.
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
Zero Forcing Number of Random Regular Graphs
Authors:
Deepak Bal,
Patrick Bennett,
Sean English,
Calum MacRury,
Paweł Prałat
Abstract:
The zero forcing process is an iterative graph colouring process in which at each time step a coloured vertex with a single uncoloured neighbour can force this neighbour to become coloured. A zero forcing set of a graph is an initial set of coloured vertices that can eventually force the entire graph to be coloured. The zero forcing number is the size of the smallest zero forcing set. We explore t…
▽ More
The zero forcing process is an iterative graph colouring process in which at each time step a coloured vertex with a single uncoloured neighbour can force this neighbour to become coloured. A zero forcing set of a graph is an initial set of coloured vertices that can eventually force the entire graph to be coloured. The zero forcing number is the size of the smallest zero forcing set. We explore the zero forcing number for random regular graphs, improving on bounds given by Kalinowski, Kamucev and Sudakov. We also propose and analyze a degree-greedy algorithm for finding small zero forcing sets using the differential equations method.
△ Less
Submitted 16 December, 2018;
originally announced December 2018.
-
Nearly-Regular Hypergraphs and Saturation of Berge Stars
Authors:
Bethany Austhof,
Sean English
Abstract:
Given a graph $G$, we say a $k$-uniform hypergraph $H$ on the same vertex set contains a Berge-$G$ if there exists an injection $φ:E(G)\to E(H)$ such that $e\subseteqφ(e)$ for each edge $e\in E(G)$. A hypergraph $H$ is Berge-$G$-saturated if $H$ does not contain a Berge-$G$, but adding any edge to $H$ creates a Berge-$G$. The saturation number for Berge-$G$, denoted…
▽ More
Given a graph $G$, we say a $k$-uniform hypergraph $H$ on the same vertex set contains a Berge-$G$ if there exists an injection $φ:E(G)\to E(H)$ such that $e\subseteqφ(e)$ for each edge $e\in E(G)$. A hypergraph $H$ is Berge-$G$-saturated if $H$ does not contain a Berge-$G$, but adding any edge to $H$ creates a Berge-$G$. The saturation number for Berge-$G$, denoted $\mathrm{sat}_k(n,\text{Berge-}G)$ is the least number of edges in a $k$-uniform hypergraph that is Berge-$G$-saturated. We determine exactly the value of the saturation numbers for Berge stars. As a tool for our main result, we also prove the existence of nearly-regular $k$-uniform hypergraphs, or $k$-uniform hypergraphs in which every vertex has degree $r$ or $r-1$ for some $r\in \mathbb{Z}$, and less than $k$ vertices have degree $r-1$.
△ Less
Submitted 2 December, 2018;
originally announced December 2018.
-
Weighted Turan Problems with Applications
Authors:
Patrick Bennett,
Sean English,
Maria Talanda-Fisher
Abstract:
Suppose the edges of $K_n$ are assigned weights by a weight function $w$. We define the {\em weighted extremal number}
\[
\mathrm{ex}(n,w,F):=\max\{w(G)\mid G\subseteq K_n,\text{ and }G\text{ is }F\text{-free}\}
\]
where $w(G):=\sum_{e\in E(G)}w(e)$. In this paper we study this problem for two types of weights $w$, each of which has an application. The first application is to an extremal p…
▽ More
Suppose the edges of $K_n$ are assigned weights by a weight function $w$. We define the {\em weighted extremal number}
\[
\mathrm{ex}(n,w,F):=\max\{w(G)\mid G\subseteq K_n,\text{ and }G\text{ is }F\text{-free}\}
\]
where $w(G):=\sum_{e\in E(G)}w(e)$. In this paper we study this problem for two types of weights $w$, each of which has an application. The first application is to an extremal problem in a complete multipartite host graph. The second application is to the maximum rectilinear crossing number of trees of diameter 4.
△ Less
Submitted 13 September, 2018;
originally announced September 2018.
-
Linearity of Saturation for Berge Hypergraphs
Authors:
Sean English,
Dániel Gerbner,
Abhishek Methuku,
Michael Tait
Abstract:
For a graph $F$, we say a hypergraph $H$ is Berge-$F$ if it can be obtained from $F$ be replacing each edge of $F$ with a hyperedge containing it. We say a hypergraph is Berge-$F$-saturated if it does not contain a Berge-$F$, but adding any hyperedge creates a copy of Berge-$F$. The $k$-uniform saturation number of Berge-$F$, $\mathrm{sat}_k(n,\text{Berge-}F)$ is the fewest number of edges in a Be…
▽ More
For a graph $F$, we say a hypergraph $H$ is Berge-$F$ if it can be obtained from $F$ be replacing each edge of $F$ with a hyperedge containing it. We say a hypergraph is Berge-$F$-saturated if it does not contain a Berge-$F$, but adding any hyperedge creates a copy of Berge-$F$. The $k$-uniform saturation number of Berge-$F$, $\mathrm{sat}_k(n,\text{Berge-}F)$ is the fewest number of edges in a Berge-$F$-saturated $k$-uniform hypergraph on $n$ vertices. We show that $\mathrm{sat}_k(n,\text{Berge-}F) = O(n)$ for all graphs $F$ and uniformities $3\leq k\leq 5$, partially answering a conjecture of English, Gordon, Graber, Methuku, and Sullivan. We also extend this conjecture to Berge copies of hypergraphs.
△ Less
Submitted 18 July, 2018;
originally announced July 2018.
-
A random variant of the game of plates and olives
Authors:
Andrzej Dudek,
Sean English,
Alan Frieze
Abstract:
The game of plates and olives was originally formulated by Nicolaescu and encodes the evolution of the topology of the sublevel sets of Morse functions. We consider a random variant of this game. The process starts with an empty table. There are four different types of moves: (1) add a new plate to the table, (2) combine two plates and their olives onto one plate, removing the second plate from th…
▽ More
The game of plates and olives was originally formulated by Nicolaescu and encodes the evolution of the topology of the sublevel sets of Morse functions. We consider a random variant of this game. The process starts with an empty table. There are four different types of moves: (1) add a new plate to the table, (2) combine two plates and their olives onto one plate, removing the second plate from the table, (3) add an olive to a plate, and (4) remove an olive from a plate. We show that with high probability the number of olives is linear as the total number of moves goes to infinity. Furthermore, we prove that the number of olives is concentrated around its expectation.
△ Less
Submitted 27 March, 2018;
originally announced March 2018.
-
The zero forcing polynomial of a graph
Authors:
Kirk Boyer,
Boris Brimkov,
Sean English,
Daniela Ferrero,
Ariel Keller,
Rachel Kirsch,
Michael Phillips,
Carolyn Reinhart
Abstract:
Zero forcing is an iterative graph coloring process, where given a set of initially colored vertices, a colored vertex with a single uncolored neighbor causes that neighbor to become colored. A zero forcing set is a set of initially colored vertices which causes the entire graph to eventually become colored. In this paper, we study the counting problem associated with zero forcing. We introduce th…
▽ More
Zero forcing is an iterative graph coloring process, where given a set of initially colored vertices, a colored vertex with a single uncolored neighbor causes that neighbor to become colored. A zero forcing set is a set of initially colored vertices which causes the entire graph to eventually become colored. In this paper, we study the counting problem associated with zero forcing. We introduce the zero forcing polynomial of a graph $G$ of order $n$ as the polynomial $\mathcal{Z}(G;x)=\sum_{i=1}^n z(G;i) x^i$, where $z(G;i)$ is the number of zero forcing sets of $G$ of size $i$. We characterize the extremal coefficients of $\mathcal{Z}(G;x)$, derive closed form expressions for the zero forcing polynomials of several families of graphs, and explore various structural properties of $\mathcal{Z}(G;x)$, including multiplicativity, unimodality, and uniqueness.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
Saturation of Berge Hypergraphs
Authors:
Sean English,
Nathan Graber,
Pamela Kirkpatrick,
Abhishek Methuku,
Eric C. Sullivan
Abstract:
Given a graph $F$, a hypergraph is a Berge-$F$ if it can be obtained by expanding each edge in $F$ to a hyperedge containing it. A hypergraph $H$ is Berge-$F$-saturated if $H$ does not contain a subgraph that is a Berge-$F$, but for any edge $e\in E(\overline{H})$, $H+e$ does. The $k$-uniform saturation number of Berge-$F$ is the minimum number of edges in a $k$-uniform Berge-$F$-saturated hypergr…
▽ More
Given a graph $F$, a hypergraph is a Berge-$F$ if it can be obtained by expanding each edge in $F$ to a hyperedge containing it. A hypergraph $H$ is Berge-$F$-saturated if $H$ does not contain a subgraph that is a Berge-$F$, but for any edge $e\in E(\overline{H})$, $H+e$ does. The $k$-uniform saturation number of Berge-$F$ is the minimum number of edges in a $k$-uniform Berge-$F$-saturated hypergraph on $n$ vertices. For $k=2$ this definition coincides with the classical definition of saturation for graphs. In this paper we study the saturation numbers for Berge triangles, paths, cycles, stars and matchings in $k$-uniform hypergraphs.
△ Less
Submitted 10 October, 2017;
originally announced October 2017.
-
Large monochromatic components and long monochromatic cycles in random hypergraphs
Authors:
Patrick Bennett,
Louis DeBiasio,
Andrzej Dudek,
Sean English
Abstract:
We extend results of Gyárfás and Füredi on the largest monochromatic component in $r$-colored complete $k$-uniform hypergraphs to the setting of random hypergraphs. We also study long monochromatic loose cycles in $r$-colored random hypergraphs. In particular, we obtain a random analog of a result of Gyárfás, Sárközy, and Szemerédi on the longest monochromatic loose cycle in $2$-colored complete…
▽ More
We extend results of Gyárfás and Füredi on the largest monochromatic component in $r$-colored complete $k$-uniform hypergraphs to the setting of random hypergraphs. We also study long monochromatic loose cycles in $r$-colored random hypergraphs. In particular, we obtain a random analog of a result of Gyárfás, Sárközy, and Szemerédi on the longest monochromatic loose cycle in $2$-colored complete $k$-uniform hypergraphs.
△ Less
Submitted 26 July, 2018; v1 submitted 9 September, 2017;
originally announced September 2017.
-
On Rainbow Hamilton Cycles in Random Hypergraphs
Authors:
Andrzej Dudek,
Sean English,
Alan Frieze
Abstract:
Let $H_{n,p,r}^{(k)}$ denote a randomly colored random hypergraph, constructed on the vertex set $[n]$ by taking each $k$-tuple independently with probability $p$, and then independently coloring it with a random color from the set $[r]$. Let $H$ be a $k$-uniform hypergraph of order $n$. An $\ell$-Hamilton cycle is a spanning subhypergraph $C$ of $H$ with $n/(k-\ell)$ edges and such that for some…
▽ More
Let $H_{n,p,r}^{(k)}$ denote a randomly colored random hypergraph, constructed on the vertex set $[n]$ by taking each $k$-tuple independently with probability $p$, and then independently coloring it with a random color from the set $[r]$. Let $H$ be a $k$-uniform hypergraph of order $n$. An $\ell$-Hamilton cycle is a spanning subhypergraph $C$ of $H$ with $n/(k-\ell)$ edges and such that for some cyclic ordering of the vertices each edge of $C$ consists of $k$ consecutive vertices and every pair of adjacent edges in $C$ intersects in precisely $\ell$ vertices.
In this note we study the existence of rainbow $\ell$-Hamilton cycles (that is every edge receives a different color) in $H_{n,p,r}^{(k)}$. We mainly focus on the most restrictive case when $r = n/(k-\ell)$. In particular, we show that for the so called tight Hamilton cycles ($\ell=k-1$) $p = e^2/n$ is the sharp threshold for the existence of a rainbow tight Hamilton cycle in $H_{n,p,n}^{(k)}$ for each $k\ge 4$.
△ Less
Submitted 11 June, 2018; v1 submitted 29 August, 2017;
originally announced August 2017.
-
Application of Bitcoin Data-Structures & Design Principles to Supply Chain Management
Authors:
S. Matthew English,
Ehsan Nezhadian
Abstract:
Heretofore the concept of "blockchain" has not been precisely defined. Accordingly the potential useful applications of this technology have been largely inflated. This work sidesteps the question of what constitutes a blockchain as such and focuses on the architectural components of the Bitcoin cryptocurrency, insofar as possible, in isolation. We consider common problems inherent in the design o…
▽ More
Heretofore the concept of "blockchain" has not been precisely defined. Accordingly the potential useful applications of this technology have been largely inflated. This work sidesteps the question of what constitutes a blockchain as such and focuses on the architectural components of the Bitcoin cryptocurrency, insofar as possible, in isolation. We consider common problems inherent in the design of effective supply chain management systems. With each identified problem we propose a solution that utilizes one or more component aspects of Bitcoin. This culminates in five design principles for increased efficiency in supply chain management systems through the application of incentive mechanisms and data structures native to the Bitcoin cryptocurrency protocol.
△ Less
Submitted 12 March, 2017;
originally announced March 2017.
-
Conditions of Full Disclosure:The Blockchain Remuneration Model
Authors:
S. Matthew English,
Ehsan Nezhadian
Abstract:
One of the fundamental applications for a practically useful system of money is remuneration. Information pertaining to the amount of compensation awarded to different individuals is often considered sensitive, commanding a certain degree of privacy. As Bitcoin and similarly designed cryptocurrencies evolve into a recognized medium of exchange for larger swaths of the world economy, an increasing…
▽ More
One of the fundamental applications for a practically useful system of money is remuneration. Information pertaining to the amount of compensation awarded to different individuals is often considered sensitive, commanding a certain degree of privacy. As Bitcoin and similarly designed cryptocurrencies evolve into a recognized medium of exchange for larger swaths of the world economy, an increasing number of people will earn income in the form of blockchain-based payments. The nature of these transactions is such that the minute details of an affected individuals compensation package and spending habits will be exposed to public scrutiny. In some cases this violates cultural norms which respect the confidentiality of salaries, yet in other cases it could be regarded as providing the benefits associated with greater transparency. In this work we analyse the Bitcoin blockchain record of periodic payments accruing to an individual address in exchange for goods or services rendered. For differing levels of available information we seek to determine the extent of insights that can be gleaned about the transacting counter-parties and the privacy implications this entails.
△ Less
Submitted 12 March, 2017;
originally announced March 2017.
-
Disintermediation of Inter-Blockchain Transactions
Authors:
S. Matthew English,
Fabrizio Orlandi,
Soeren Auer
Abstract:
Different versions of peer-to-peer electronic cash exist as data represented by separate blockchains. Payments between such systems cannot be sent directly from one party to another without going through a financial institution. Bitcoin provided part of the solution but its utility is limited to intra-blockchain transactions. The benefits are lost if a trusted third party is required to execute in…
▽ More
Different versions of peer-to-peer electronic cash exist as data represented by separate blockchains. Payments between such systems cannot be sent directly from one party to another without going through a financial institution. Bitcoin provided part of the solution but its utility is limited to intra-blockchain transactions. The benefits are lost if a trusted third party is required to execute inter-blockchain transactions. We propose a solution to the inter-blockchain transaction problem using the same fundamental principles of Bitcoin. The protocol is described by the Uberledger framework, a hierarchical meta-blockchain layer that encapsulates information regarding the fidelity of peer-to-peer transaction facilitators.
△ Less
Submitted 8 September, 2016;
originally announced September 2016.