Showing 1–50 of 159 results for author: Frieze, A

Cover time of random subgraphs of the hypercube

Authors: Colin Cooper, Alan Frieze, Wesley Pegden

Abstract: $Q_{n,p}$, the random subgraph of the $n$-vertex hypercube $Q_n$, is obtained by independently retaining each edge of $Q_n$ with probability $p$. We give precise values for the cover time of $Q_{n,p}$ above the connectivity threshold. $Q_{n,p}$, the random subgraph of the $n$-vertex hypercube $Q_n$, is obtained by independently retaining each edge of $Q_n$ with probability $p$. We give precise values for the cover time of $Q_{n,p}$ above the connectivity threshold. △ Less

Submitted 3 June, 2025; originally announced June 2025.

Karp's patching algorithm on dense digraph

Authors: Alan Frieze

Abstract: We consider the following question. We are given a dense digraph $D$ with $n$ vertices and minimum in- and out-degree at least $αn$, where $α>1/2$ is a constant. The edges $E(D)$ of $D$ are given independent edge costs $C(e),e\in E(D)$, such that (i) $C$ has a density $f$ that satisfies $f(x)=a+bx+O(x^2)$, for constants $a>0,b$ as $x\to 0$ and such that in general either (ii)… ▽ More We consider the following question. We are given a dense digraph $D$ with $n$ vertices and minimum in- and out-degree at least $αn$, where $α>1/2$ is a constant. The edges $E(D)$ of $D$ are given independent edge costs $C(e),e\in E(D)$, such that (i) $C$ has a density $f$ that satisfies $f(x)=a+bx+O(x^2)$, for constants $a>0,b$ as $x\to 0$ and such that in general either (ii) $\Pr(C\geq x)\leq \a e^{-\b x}$ for constants $\a,\b>0$, or $f(x)=0$ for $x>\n$ for some constant $\n>0$. Let $C(i,j),i,j\in[n]$ be the associated $n\times n$ cost matrix where $C(i,j)=\infty$ if $(i,j)\notin E$. We show that w.h.p. (a small modification to) the patching algorithm of Karp finds a tour for the asymmetric traveling salesperson problem that is asymptotically equal to that of the associated assignment problem. The algorithm runs in polynomial time. △ Less

Submitted 27 May, 2025; originally announced May 2025.

Comments: arXiv admin note: text overlap with arXiv:2209.06279

Rainbow copies of spanning subgraphs

Authors: Colin Cooper, Alan Frieze

Abstract: Let $G_{n,p}^{[κ]}$ denote the space of $n$-vertex edge coloured graphs, where each edge occurs independently with probability $p$. The colour of each existing edge is chosen independently and uniformly at random from the set $[κ]$. We consider the threshold for the existence of rainbow colored copies of a spanning subgraph $H$. We provide lower bounds on $p$ and $κ$ sufficient to prove the existe… ▽ More Let $G_{n,p}^{[κ]}$ denote the space of $n$-vertex edge coloured graphs, where each edge occurs independently with probability $p$. The colour of each existing edge is chosen independently and uniformly at random from the set $[κ]$. We consider the threshold for the existence of rainbow colored copies of a spanning subgraph $H$. We provide lower bounds on $p$ and $κ$ sufficient to prove the existence of such copies w.h.p. △ Less

Submitted 2 July, 2025; v1 submitted 27 May, 2025; originally announced May 2025.

Comments: There is an error in the proof

Loose paths in random ordered hypergraphs

Authors: Andrzej Dudek, Alan Frieze, Wesley Pegden

Abstract: We consider the length of {\em ordered loose paths} in the random $r$-uniform hypergraph $H=H^{(r)}(n, p)$. A ordered loose path is a sequence of edges $E_1,E_2,\ldots,E_\ell$ where $\max\{j\in E_i\}=\min\{j\in E_{i+1}\}$ for $1\leq i<\ell$. We establish fairly tight bounds on the length of the longest ordered loose path in $H$ that hold with high probability. We consider the length of {\em ordered loose paths} in the random $r$-uniform hypergraph $H=H^{(r)}(n, p)$. A ordered loose path is a sequence of edges $E_1,E_2,\ldots,E_\ell$ where $\max\{j\in E_i\}=\min\{j\in E_{i+1}\}$ for $1\leq i<\ell$. We establish fairly tight bounds on the length of the longest ordered loose path in $H$ that hold with high probability. △ Less

Submitted 16 April, 2025; originally announced April 2025.

The threshold for loose Hamilton cycles in random hypergraph

Authors: Alan Frieze, Xavier Perez-Gimenez

Abstract: We show that w.h.p.\ the random $r$-uniform hypergraph $H_{n,m}$ contains a loose Hamilton cycle, provided $r\geq 3$ and $m\geq \frac{(1+ε)n\log n}{r}$, where $ε$ is an arbitrary positive constant. This is asymptotically best possible, as if $m\leq \frac{(1-ε)n\log n}{r}$ then w.h.p.\ $H_{n,m}$ contains isolated vertices. We show that w.h.p.\ the random $r$-uniform hypergraph $H_{n,m}$ contains a loose Hamilton cycle, provided $r\geq 3$ and $m\geq \frac{(1+ε)n\log n}{r}$, where $ε$ is an arbitrary positive constant. This is asymptotically best possible, as if $m\leq \frac{(1-ε)n\log n}{r}$ then w.h.p.\ $H_{n,m}$ contains isolated vertices. △ Less

Submitted 6 March, 2025; originally announced March 2025.

Aspects of a randomly growing cluster in $\reals^d,d\geq 2

Authors: Alan Frieze, Ravi Kannan, Wesley Pegden

Abstract: We consider a simple model of a growing cluster of points in $\Re^d,d\geq 2$. Beginning with a point $X_1$ located at the origin, we generate a random sequence of points $X_1,X_2,\ldots,X_i,\ldots,$. To generate $X_{i},i\geq 2$ we choose a uniform integer $j$ in $[i-1]=\{1,2,\ldots,i-1\}$ and then let $X_{i}=X_j+D_i$ where $D_i=(δ_1,\ldots,δ_d)$. Here the $δ_j$ are independent copies of the Normal… ▽ More We consider a simple model of a growing cluster of points in $\Re^d,d\geq 2$. Beginning with a point $X_1$ located at the origin, we generate a random sequence of points $X_1,X_2,\ldots,X_i,\ldots,$. To generate $X_{i},i\geq 2$ we choose a uniform integer $j$ in $[i-1]=\{1,2,\ldots,i-1\}$ and then let $X_{i}=X_j+D_i$ where $D_i=(δ_1,\ldots,δ_d)$. Here the $δ_j$ are independent copies of the Normal distribution $N(0,σ_i)$, where $σ_i=i^{-α}$ for some $α>0$. We prove that for any $α>0$ the resulting point set is bounded a.s., and moreover, that the points generated look like samples from a $β$-dimensional subset of $\Re^d$ from the standpoint of the minimum lengths of combinatorial structures on the point-sets, where $β=\min(d,1/α)$. △ Less

Submitted 6 January, 2025; originally announced January 2025.

The intersection of a random geometric graph with an Erdős-Rényi graph

Authors: Patrick Bennett, Alan Frieze, Wesley Pegden

Abstract: We study the intersection of a random geometric graph with an Erdős-Rényi graph. Specifically, we generate the random geometric graph $G(n, r)$ by choosing $n$ points uniformly at random from $D=[0, 1]^2$ and joining any two points whose Euclidean distance is at most $r$. We let $G(n, p)$ be the classical Erdős-Rényi graph, i.e. it has $n$ vertices and every pair of vertices is adjacent with proba… ▽ More We study the intersection of a random geometric graph with an Erdős-Rényi graph. Specifically, we generate the random geometric graph $G(n, r)$ by choosing $n$ points uniformly at random from $D=[0, 1]^2$ and joining any two points whose Euclidean distance is at most $r$. We let $G(n, p)$ be the classical Erdős-Rényi graph, i.e. it has $n$ vertices and every pair of vertices is adjacent with probability $p$ independently. In this note we study $G(n, r, p):=G(n, r) \cap G(n, p)$. One way to think of this graph is that we take $G(n, r)$ and then randomly delete edges with probability $1-p$ independently. We consider the clique number, independence number, connectivity, Hamiltonicity, chromatic number, and diameter of this graph where both $p(n)\to 0$ and $r(n)\to 0$; the same model was studied by Kahle, Tian and Wang (2023) for $r(n)\to 0$ but $p$ fixed. △ Less

Submitted 6 November, 2024; originally announced November 2024.

The Moran process on a random graph

Authors: Alan Frieze, Wesley Pegden

Abstract: We study the fixation probability for two versions of the Moran process on the random graph $G_{n,p}$ at the threshold for connectivity. The Moran process models the spread of a mutant population in a network. Throughtout the process there are vertices of two types, mutants and non-mutants. Mutants have fitness $s$ and non-mutants have fitness 1. The process starts with a unique individual mutant… ▽ More We study the fixation probability for two versions of the Moran process on the random graph $G_{n,p}$ at the threshold for connectivity. The Moran process models the spread of a mutant population in a network. Throughtout the process there are vertices of two types, mutants and non-mutants. Mutants have fitness $s$ and non-mutants have fitness 1. The process starts with a unique individual mutant located at the vertex $v_0$. In the Birth-Death version of the process a random vertex is chosen proportional to its fitness and then changes the type of a random neighbor to its own. The process continues until the set of mutants $X$ is empty or $[n]$. In the Death-Birth version a uniform random vertex is chosen and then takes the type of a random neighbor, chosen according to fitness. The process again continues until the set of mutants $X$ is empty or $[n]$. The {\em fixation probability} is the probability that the process ends with $X=\emptyset$. We give asymptotically correct estimates of the fixation probability that depend on degree of $v_0$ and its neighbors., △ Less

Submitted 14 February, 2025; v1 submitted 17 September, 2024; originally announced September 2024.

Some online Maker-Breaker games

Authors: Patrick Bennett, Alan Frieze

Abstract: We consider some Maker-Breaker games of the following flavor. We have some set $V$ of items for purchase. Maker's goal is to purchase some member of a given family $\cH$ of subsets of $V$ as cheaply as possible and Breaker's goal is to make the purchase as expensive as possible. Each player has a pointer and during a player's turn their pointer moves through the items in the order of the permutati… ▽ More We consider some Maker-Breaker games of the following flavor. We have some set $V$ of items for purchase. Maker's goal is to purchase some member of a given family $\cH$ of subsets of $V$ as cheaply as possible and Breaker's goal is to make the purchase as expensive as possible. Each player has a pointer and during a player's turn their pointer moves through the items in the order of the permutation until the player decides to take one. We mostly focus on the case where the permutation is random and unknown to the players (it is revealed by the players as their pointers move). △ Less

Submitted 2 July, 2024; originally announced July 2024.

Random walks on edge colored random graphs

Authors: Colin Cooper, Alan Frieze

Abstract: We consider random walks on edge coloured random graphs, where the colour of an edge reflects the cost of using it. In the simplest instance, the edges are coloured red or blue. Blue edges are free to use, whereas red edges incur a unit cost every time they are traversed. We consider random walks on edge coloured random graphs, where the colour of an edge reflects the cost of using it. In the simplest instance, the edges are coloured red or blue. Blue edges are free to use, whereas red edges incur a unit cost every time they are traversed. △ Less

Submitted 9 September, 2024; v1 submitted 26 May, 2024; originally announced May 2024.

The maximum degree of the $r$th power of a sparse random graph

Authors: Alan Frieze, Aditya Raut

Abstract: Let $G^r_{n,p}$ denote the $r$th power of the random graph $G_{n,p}$, where $p=c/n$ for a positive constant $c$. We prove that w.h.p. the maximum degree $Δ\left(G^r_{n,p}\right)\sim \frac{\log n}{\log_{(r+1)}n}$. Here $\log_{(k)}n$ indicates the repeated application of the log-function $k$ times. So, for example, $\log_{(3)}n=\log\log\log n$. Let $G^r_{n,p}$ denote the $r$th power of the random graph $G_{n,p}$, where $p=c/n$ for a positive constant $c$. We prove that w.h.p. the maximum degree $Δ\left(G^r_{n,p}\right)\sim \frac{\log n}{\log_{(r+1)}n}$. Here $\log_{(k)}n$ indicates the repeated application of the log-function $k$ times. So, for example, $\log_{(3)}n=\log\log\log n$. △ Less

Submitted 9 April, 2024; originally announced April 2024.

O(1) Insertion for Random Walk d-ary Cuckoo Hashing up to the Load Threshold

Authors: Tolson Bell, Alan Frieze

Abstract: The random walk $d$-ary cuckoo hashing algorithm was defined by Fotakis, Pagh, Sanders, and Spirakis to generalize and improve upon the standard cuckoo hashing algorithm of Pagh and Rodler. Random walk $d$-ary cuckoo hashing has low space overhead, guaranteed fast access, and fast in practice insertion time. In this paper, we give a theoretical insertion time bound for this algorithm. More precise… ▽ More The random walk $d$-ary cuckoo hashing algorithm was defined by Fotakis, Pagh, Sanders, and Spirakis to generalize and improve upon the standard cuckoo hashing algorithm of Pagh and Rodler. Random walk $d$-ary cuckoo hashing has low space overhead, guaranteed fast access, and fast in practice insertion time. In this paper, we give a theoretical insertion time bound for this algorithm. More precisely, for every $d\ge 3$ hashes, let $c_d^*$ be the sharp threshold for the load factor at which a valid assignment of $cm$ objects to a hash table of size $m$ likely exists. We show that for any $d\ge 4$ hashes and load factor $c<c_d^*$, the expectation of the random walk insertion time is $O(1)$, that is, a constant depending only on $d$ and $c$ but not $m$. △ Less

Submitted 27 November, 2024; v1 submitted 25 January, 2024; originally announced January 2024.

Comments: 22 pages

MSC Class: 68Q25 ACM Class: F.2.2; E.2

Diffusion limited aggregation in the layers model

Authors: Colin Cooper, Alan Frieze

Abstract: In the classical model of Diffusion Limited Aggregation (DLA), introduced by Witten and Sander, the process begins with a single particle cluster placed at the origin of a space, and then, one at a time, particles make a random walk from infinity until they collide with, and stick to, the existing cluster. We consider an analogous version of this process on large but finite graphs with a designa… ▽ More In the classical model of Diffusion Limited Aggregation (DLA), introduced by Witten and Sander, the process begins with a single particle cluster placed at the origin of a space, and then, one at a time, particles make a random walk from infinity until they collide with, and stick to, the existing cluster. We consider an analogous version of this process on large but finite graphs with a designated source and sink vertex. Initially the cluster of halted particles contains a single particle at the sink vertex. Starting one at a time from the source, each particle makes a random walk in the direction of the sink vertex. The particle halts at the last unoccupied vertex before the walk enters the cluster for the first time, thus increasing the size of the cluster. This continues until the source vertex becomes occupied, at which point the process ends. We study the DLA process on several classes of layered graphs, including Cayley trees of branching factor at least two with a sink vertex attached to the leaves. We determine the finish time of the process for a given class of graphs and show that the subcomponent of the final cluster linking source to sink is essentially a unique path. △ Less

Submitted 20 October, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: 24 pages

Hamilton cycles in random digraphs with minimum degree at least one

Authors: Colin Cooper, Alan Frieze

Abstract: We study the existence of a directed Hamilton cycle in random digraphs with $m$ edges where we condition on minimum in- and out-degree at least one. Denote such a random graph by $D_{n,m}^{(δ\geq1)}$. We prove that if $m=\tfrac n2(\log n+2\log\log n+c_n)$ then \[ \lim_{n\to\infty}\Pr(D_{n,m}^{(δ\geq1)}\text{ is Hamiltonian})=\begin{cases}0&c_n\to-\infty.\\e^{-e^{-c}/4}&c_n\to c.\\1&c_n\to\infty.\e… ▽ More We study the existence of a directed Hamilton cycle in random digraphs with $m$ edges where we condition on minimum in- and out-degree at least one. Denote such a random graph by $D_{n,m}^{(δ\geq1)}$. We prove that if $m=\tfrac n2(\log n+2\log\log n+c_n)$ then \[ \lim_{n\to\infty}\Pr(D_{n,m}^{(δ\geq1)}\text{ is Hamiltonian})=\begin{cases}0&c_n\to-\infty.\\e^{-e^{-c}/4}&c_n\to c.\\1&c_n\to\infty.\end{cases} \] △ Less

Submitted 15 June, 2025; v1 submitted 11 December, 2023; originally announced December 2023.

A note on the chromatic number of the square of a sparse random graph

Authors: Alan Frieze, Aditya Raut

Abstract: We show that w.h.p the list chromatic number $χ_\ell$ of the square of $G_{n,p}$ for $p=c/n$ is asymptotically equal to the maximum degree $Δ(G_{n,p})$. Since $χ(G^2_{n,p})\leq χ_\ell(G^2_{n,p})$, this also improves an earlier result of Garapaty et al \cite{KLMP} who proved that $χ(G^2_{n,p}) \leq 6 \cdot Δ(G_{n,p})$ w.h.p. We show that w.h.p the list chromatic number $χ_\ell$ of the square of $G_{n,p}$ for $p=c/n$ is asymptotically equal to the maximum degree $Δ(G_{n,p})$. Since $χ(G^2_{n,p})\leq χ_\ell(G^2_{n,p})$, this also improves an earlier result of Garapaty et al \cite{KLMP} who proved that $χ(G^2_{n,p}) \leq 6 \cdot Δ(G_{n,p})$ w.h.p. △ Less

Submitted 11 February, 2025; v1 submitted 6 December, 2023; originally announced December 2023.

Weighted tree games

Authors: Patrick Bennett, Alan Frieze

Abstract: We consider a variation on Maker-Breaker games on graphs or digraphs where the edges have random costs. We assume that Maker wishes to choose the edges of a spanning tree, but wishes to minimise his cost. Meanwhile Breaker wants to make Maker's cost as large as possible. We consider a variation on Maker-Breaker games on graphs or digraphs where the edges have random costs. We assume that Maker wishes to choose the edges of a spanning tree, but wishes to minimise his cost. Meanwhile Breaker wants to make Maker's cost as large as possible. △ Less

Submitted 18 November, 2023; originally announced November 2023.

Building Hamiltonian Cycles in the Semi-Random Graph Process in Less Than $2n$ Rounds

Authors: Alan Frieze, Pu Gao, Calum MacRury, Paweł Prałat, Gregory Sorkin

Abstract: The semi-random graph process is an adaptive random graph process in which an online algorithm is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the algorithm independently and uniformly at random. The algorithm then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a given graph property, the objective of the algorithm is to… ▽ More The semi-random graph process is an adaptive random graph process in which an online algorithm is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the algorithm independently and uniformly at random. The algorithm then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a given graph property, the objective of the algorithm is to force the graph to satisfy this property asymptotically almost surely in as few rounds as possible. We focus on the property of Hamiltonicity. We present an adaptive strategy which creates a Hamiltonian cycle in $αn$ rounds, where $α< 1.81696$ is derived from the solution to a system of differential equations. We also show that achieving Hamiltonicity requires at least $βn$ rounds, where $β> 1.26575$. △ Less

Submitted 20 December, 2024; v1 submitted 9 November, 2023; originally announced November 2023.

Comments: 29 pages. arXiv admin note: substantial text overlap with arXiv:2205.02350

The bright side of simple heuristics for the TSP

Authors: Alan Frieze, Wesley Pegden

Abstract: The greedy and nearest-neighbor TSP heuristics can both have $\log n$ approximation factors from optimal in worst case, even just for $n$ points in Euclidean space. In this note, we show that this approximation factor is only realized when the optimal tour is unusually short. In particular, for points from any fixed $d$-Ahlfor's regular metric space (which includes any $d$-manifold like the $d$-cu… ▽ More The greedy and nearest-neighbor TSP heuristics can both have $\log n$ approximation factors from optimal in worst case, even just for $n$ points in Euclidean space. In this note, we show that this approximation factor is only realized when the optimal tour is unusually short. In particular, for points from any fixed $d$-Ahlfor's regular metric space (which includes any $d$-manifold like the $d$-cube $[0,1]^d$ in the case $d$ is an integer but also fractals of dimension $d$ when $d$ is real-valued), our results imply that the greedy and nearest-neighbor heuristics have \emph{additive} errors from optimal on the order of the \emph{optimal} tour length through \emph{random} points in the same space, for $d>1$. △ Less

Submitted 4 October, 2023; originally announced October 2023.

Giant Rainbow Trees in Sparse Random Graphs

Authors: Tolson Bell, Alan Frieze

Abstract: For any small constant $ε>0$, the Erdős-Rényi random graph $G(n,\frac{1+ε}{n})$ with high probability has a unique largest component which contains $(1\pm O(ε))2εn$ vertices. Let $G_c(n,p)$ be obtained by assigning each edge in $G(n,p)$ a color in $[c]$ independently and uniformly. Cooley, Do, Erde, and Missethan proved that for any fixed $α>0$, $G_{αn}(n,\frac{1+ε}{n})$ with high probability cont… ▽ More For any small constant $ε>0$, the Erdős-Rényi random graph $G(n,\frac{1+ε}{n})$ with high probability has a unique largest component which contains $(1\pm O(ε))2εn$ vertices. Let $G_c(n,p)$ be obtained by assigning each edge in $G(n,p)$ a color in $[c]$ independently and uniformly. Cooley, Do, Erde, and Missethan proved that for any fixed $α>0$, $G_{αn}(n,\frac{1+ε}{n})$ with high probability contains a rainbow tree (a tree that does not repeat colors) which covers $(1\pm O(ε))\fracα{α+1}εn$ vertices, and conjectured that there is one which covers $(1\pm O(ε))2εn$. In this paper, we achieve the correct leading constant and prove their conjecture correct up to a logarithmic factor in the error term, as we show that with high probability $G_{αn}(n,\frac{1+ε}{n})$ contains a rainbow tree which covers $(1\pm O(ε\log(1/ε)))2εn$ vertices. △ Less

Submitted 27 August, 2023; originally announced August 2023.

Comments: 9 pages

MSC Class: 05C35 (primary) 05D40 (secondary) ACM Class: G.2.2

Solving a Random Asymmetric TSP Exactly in Quasi-Polynomial Time w.h.p

Authors: Tolson Bell, Alan Frieze

Abstract: Let the costs $C(i,j)$ for an instance of the Asymmetric Traveling Salesperson Problem (ATSP) be independent copies of an random variable $C$ that (i) satisfies $\Pr(C\geq x)=1-x+O(x^2)$ as $x\to 0$ and (ii) has an exponential tail. We describe an algorithm that solves ATSP exactly in time $e^{\log^{2+o(1)}n}$, w.h.p. Let the costs $C(i,j)$ for an instance of the Asymmetric Traveling Salesperson Problem (ATSP) be independent copies of an random variable $C$ that (i) satisfies $\Pr(C\geq x)=1-x+O(x^2)$ as $x\to 0$ and (ii) has an exponential tail. We describe an algorithm that solves ATSP exactly in time $e^{\log^{2+o(1)}n}$, w.h.p. △ Less

Submitted 13 May, 2025; v1 submitted 5 August, 2023; originally announced August 2023.

Comments: 22 pages

Rainbow Greedy Matching Algorithms

Authors: Patrick Bennett, Colin Cooper, Alan Frieze

Abstract: We consider the problem of finding a large rainbow matching in a random graph with randomly colored edges. In particular we analyze the performance of two greedy algorithms for this problem. The algorithms we study are colored versions of algorithms that were previously used to find large matchings in random graphs (i.e. the color-free version of our present problem). We consider the problem of finding a large rainbow matching in a random graph with randomly colored edges. In particular we analyze the performance of two greedy algorithms for this problem. The algorithms we study are colored versions of algorithms that were previously used to find large matchings in random graphs (i.e. the color-free version of our present problem). △ Less

Submitted 2 July, 2023; originally announced July 2023.

Sequentially constrained Hamilton cycles in random graphs

Authors: Alan Frieze, Wesley Pegden

Abstract: We discuss the existence of Hamilton cycles in the random graph $G_{n,p}$ where there are restrictions caused by (i) coloring sequences, (ii) a subset of vertices must occur in a specific order and (iii) there is a bound on the number of inversions in the associated permutation. We discuss the existence of Hamilton cycles in the random graph $G_{n,p}$ where there are restrictions caused by (i) coloring sequences, (ii) a subset of vertices must occur in a specific order and (iii) there is a bound on the number of inversions in the associated permutation. △ Less

Submitted 6 November, 2023; v1 submitted 1 May, 2023; originally announced May 2023.

On the intersecting family process

Authors: Patrick Bennett, Alan Frieze, Andrew Newman, Wesley Pegden

Abstract: We study the intersecting family process initially studied in \cite{BCFMR}. Here $k=k(n)$ and $E_1,E_2,\ldots,E_m$ is a random sequence of $k$-sets from $\binom{[n]}{k}$ where $E_{r+1}$ is uniformly chosen from those $k$-sets that are not already chosen and that meet $E_i,i=1,2,\ldots,r$. We prove some new results for the case where $k=cn^{1/3}$ and for the case where $k\gg n^{1/2}$. We study the intersecting family process initially studied in \cite{BCFMR}. Here $k=k(n)$ and $E_1,E_2,\ldots,E_m$ is a random sequence of $k$-sets from $\binom{[n]}{k}$ where $E_{r+1}$ is uniformly chosen from those $k$-sets that are not already chosen and that meet $E_i,i=1,2,\ldots,r$. We prove some new results for the case where $k=cn^{1/3}$ and for the case where $k\gg n^{1/2}$. △ Less

Submitted 9 March, 2024; v1 submitted 17 February, 2023; originally announced February 2023.

On the chromatic number of random regular hypergraphs

Authors: Patrick Bennett, Alan Frieze

Abstract: We estimate the likely values of the chromatic and independence numbers of the random $r$-uniform $d$-regular hypergraph on $n$ vertices for fixed $r$, large fixed $d$, and $n \rightarrow \infty$. We estimate the likely values of the chromatic and independence numbers of the random $r$-uniform $d$-regular hypergraph on $n$ vertices for fixed $r$, large fixed $d$, and $n \rightarrow \infty$. △ Less

Submitted 30 December, 2022; originally announced January 2023.

Rainbow powers of a Hamilton cycle in G(n,p)

Authors: Tolson Bell, Alan Frieze

Abstract: We show that the threshold for having a rainbow copy of a power of a Hamilton cycle in a randomly edge colored copy of $G_{n,p}$ is within a constant factor of the uncolored threshold. Our proof requires $(1+\varepsilon)$ times the minimum number of colors. We show that the threshold for having a rainbow copy of a power of a Hamilton cycle in a randomly edge colored copy of $G_{n,p}$ is within a constant factor of the uncolored threshold. Our proof requires $(1+\varepsilon)$ times the minimum number of colors. △ Less

Submitted 21 September, 2023; v1 submitted 16 October, 2022; originally announced October 2022.

Comments: 9 pages

MSC Class: 05C35

Journal ref: J. Graph Theory 105 (2024): Issue 4, 491-500

Rainbow spanning trees in randomly coloured $G_{k-out}$

Authors: Deepak Bal, Alan Frieze, Pawel Pralat

Abstract: Given a graph $G=(V,E)$ on $n$ vertices and an assignment of colours to its edges, a set of edges $S \subseteq E$ is said to be rainbow if edges from $S$ have pairwise different colours assigned to them. In this paper, we investigate rainbow spanning trees in randomly coloured random $G_{k-out}$ graphs. Given a graph $G=(V,E)$ on $n$ vertices and an assignment of colours to its edges, a set of edges $S \subseteq E$ is said to be rainbow if edges from $S$ have pairwise different colours assigned to them. In this paper, we investigate rainbow spanning trees in randomly coloured random $G_{k-out}$ graphs. △ Less

Submitted 31 October, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: 18 pages

Karp's patching algorithm on random perturbations of dense digraphs

Authors: Alan Frieze, Peleg Michaeli

Abstract: We consider the following question. We are given a dense digraph $D_0$ with minimum in- and out-degree at least $αn$, where $α>0$ is a constant. We then add random edges $R$ to $D_0$ to create a digraph $D$. Here an edge $e$ is placed independently into $R$ with probability $n^{-ε}$ where $ε>0$ is a small positive constant. The edges $E(D)$ of $D$ are given independent edge costs… ▽ More We consider the following question. We are given a dense digraph $D_0$ with minimum in- and out-degree at least $αn$, where $α>0$ is a constant. We then add random edges $R$ to $D_0$ to create a digraph $D$. Here an edge $e$ is placed independently into $R$ with probability $n^{-ε}$ where $ε>0$ is a small positive constant. The edges $E(D)$ of $D$ are given independent edge costs $C=C(e),e\in E(D)$, where $C$ has a density $f(x)=a+bx+o(x)$ as $x\to 0$. Here $a>0,b$ are constants. The prime examples will be the uniform $[0,1]$ distribution ($a=1,b=0$) and the exponential mean 1 distribution $EXP(1)$ ($a=1,b=-1$). Let $C(i,j),i,j\in[n]$ be the associated $n\times n$ cost matrix where $C(i,j)=\infty$ if $(i,j)\notin E(D)$. We show that w.h.p.\ the patching algorithm of Karp finds a tour for the asymmetric traveling salesperson problem whose cost is asymptotically equal to the cost of the associated assignment problem. Karp's algorithm runs in polynomial time. △ Less

Submitted 22 May, 2025; v1 submitted 13 September, 2022; originally announced September 2022.

Hamilton cycles in a semi-random graph model

Authors: Alan Frieze, Gregory B. Sorkin

Abstract: We show that with high probability we can build a Hamilton cycle after at most $1.85 n$ rounds in a particular semi-random model. In this model, in one round, we are given a {uniform random} $v\in[n]$ and then we can add an {arbitrary} edge $\{v,w\}$. Our result improves on $2.016 n$ in a recent paper of Gao, MacRury, and Pralat. We show that with high probability we can build a Hamilton cycle after at most $1.85 n$ rounds in a particular semi-random model. In this model, in one round, we are given a {uniform random} $v\in[n]$ and then we can add an {arbitrary} edge $\{v,w\}$. Our result improves on $2.016 n$ in a recent paper of Gao, MacRury, and Pralat. △ Less

Submitted 15 August, 2022; v1 submitted 30 July, 2022; originally announced August 2022.

Fast construction on a restricted budget

Authors: Alan Frieze, Michael Krivelevich, Peleg Michaeli

Abstract: We introduce a model of a controlled random graph process. In this model, the edges of the complete graph $K_n$ are ordered randomly and then revealed, one by one, to a player called Builder. He must decide, immediately and irrevocably, whether to purchase each observed edge. The observation time is bounded by parameter $t$, and the total budget of purchased edges is bounded by parameter $b$. Buil… ▽ More We introduce a model of a controlled random graph process. In this model, the edges of the complete graph $K_n$ are ordered randomly and then revealed, one by one, to a player called Builder. He must decide, immediately and irrevocably, whether to purchase each observed edge. The observation time is bounded by parameter $t$, and the total budget of purchased edges is bounded by parameter $b$. Builder's goal is to devise a strategy that, with high probability, allows him to construct a graph of purchased edges possessing a target graph property $\mathcal{P}$, all within the limitations of observation time and total budget. We show the following: (a) Builder has a strategy to achieve $k$-vertex-connectivity at the hitting time for this property by purchasing at most $c_kn$ edges for an explicit $c_k<k$; and a strategy to achieve minimum degree $k$ (slightly) after the threshold for minimum degree $k$ by purchasing at most $(1+\varepsilon)kn/2$ edges (which is optimal). (b) Builder has a strategy to create a Hamilton cycle at the hitting time for Hamiltonicity by purchasing at most $Cn$ edges for an absolute constant $C>1$; this is optimal in the sense that $C$ cannot be arbitrarily close to $1$. This substantially extends the classical hitting time result for Hamiltonicity due to Ajtai--Komlós--Szemerédi and Bollobás. (c) Builder has a strategy to create a perfect matching by time $(1+\varepsilon)n\log{n}/2$ while purchasing at most $(1+\varepsilon)n/2$ edges (which is optimal). (d) Builder has a strategy to create a copy of a given $k$-vertex tree if $t\ge b\gg\max\{(n/t)^{k-2},1\}$, and this is optimal; (e) For $\ell=2k+1$ or $\ell=2k+2$, Builder has a strategy to create a copy of a cycle of length $\ell$ if $b\gg\max \{n^{k+2}/t^{k+1},n/\sqrt{t}\}$, and this is optimal. △ Less

Submitted 25 November, 2024; v1 submitted 14 July, 2022; originally announced July 2022.

Comments: 31 pages, 3 figures; minor changes and corrections

MSC Class: 05C80 (Primary) 60C05; 05C45 (Seconday)

Subexponential mixing for partition chains on grid-like graphs

Authors: Alan Frieze, Wesley Pegden

Abstract: We consider the problem of generating uniformly random partitions of the vertex set of a graph such that every piece induces a connected subgraph. For the case where we want to have partitions with linearly many pieces of bounded size, we obtain approximate sampling algorithms based on Glauber dynamics which are fixed-parameter tractable with respect to the bandwidth of $G$, with simple-exponentia… ▽ More We consider the problem of generating uniformly random partitions of the vertex set of a graph such that every piece induces a connected subgraph. For the case where we want to have partitions with linearly many pieces of bounded size, we obtain approximate sampling algorithms based on Glauber dynamics which are fixed-parameter tractable with respect to the bandwidth of $G$, with simple-exponential dependence on the bandwidth. For example, for rectangles of constant or logarithmic width this gives polynomial-time sampling algorithms. More generally, this gives sub-exponential algorithms for bounded-degree graphs without large expander subgraphs (for example, we obtain $O(2^{\sqrt n})$ time algorithms for square grids). In the case where we instead want partitions with a small number of pieces of linear size, we show that Glauber dynamics can have exponential mixing time, even just for the case of 2 pieces, and even for 2-connected subgraphs of the grid with bounded bandwidth. △ Less

Submitted 1 June, 2022; originally announced June 2022.

Comments: 24 pages, 4 figures

MSC Class: 60J10

Spanners in randomly weighted graphs: Euclidean case

Authors: Alan Frieze, Wesley Pegden

Abstract: Given a connected graph $G=(V,E)$ and a length function $\ell:E\to {\mathbb R}$ we let $d_{v,w}$ denote the shortest distance between vertex $v$ and vertex $w$. A $t$-spanner is a subset $E'\subseteq E$ such that if $d'_{v,w}$ denotes shortest distances in the subgraph $G'=(V,E')$ then $d'_{v,w}\leq t d_{v,w}$ for all $v,w\in V$. We study the size of spanners in the following scenario: we consider… ▽ More Given a connected graph $G=(V,E)$ and a length function $\ell:E\to {\mathbb R}$ we let $d_{v,w}$ denote the shortest distance between vertex $v$ and vertex $w$. A $t$-spanner is a subset $E'\subseteq E$ such that if $d'_{v,w}$ denotes shortest distances in the subgraph $G'=(V,E')$ then $d'_{v,w}\leq t d_{v,w}$ for all $v,w\in V$. We study the size of spanners in the following scenario: we consider a random embedding of $G_{n,p}$ into the unit square with Euclidean edge lengths. For $ε>0$ constant, we prove the existence w.h.p. of $(1+ε)$-spanners for ${\mathcal X}_p$ that have $O_ε(n)$ edges. These spanners can be constructed in $O_ε(n^2\log n)$ time. (We will use $O_ε$ to indicate that the hidden constant depends on $ε$.) There are constraints on $p$ preventing it going to zero too quickly. △ Less

Submitted 5 October, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Multitrees in random graphs

Authors: Alan Frieze, Wesley Pegden

Abstract: Let $N=\binom{n}{2}$ and $s\geq 2$. Let $e_{i,j},\,i=1,2,\ldots,N,\,j=1,2,\ldots,s$ be $s$ independent permutations of the edges $E(K_n)$ of the complete graph $K_n$. A {\em MultiTree} is a set $I\subseteq [N]$ such that the edge sets $E_{I,j}$ induce spanning trees for $j=1,2,\ldots,s$. In this paper we study the following question: what is the smallest $m=m(n)$ such that w.h.p. $[m]$ contains a… ▽ More Let $N=\binom{n}{2}$ and $s\geq 2$. Let $e_{i,j},\,i=1,2,\ldots,N,\,j=1,2,\ldots,s$ be $s$ independent permutations of the edges $E(K_n)$ of the complete graph $K_n$. A {\em MultiTree} is a set $I\subseteq [N]$ such that the edge sets $E_{I,j}$ induce spanning trees for $j=1,2,\ldots,s$. In this paper we study the following question: what is the smallest $m=m(n)$ such that w.h.p. $[m]$ contains a MultiTree. We prove a hitting time result for $s=2$ and an $O(n\log n)$ bound for $s\geq 3$. △ Less

Submitted 17 October, 2021; originally announced October 2021.

Rank of the vertex-edge incidence matrix of $r$-out hypergraphs

Authors: Colin Cooper, Alan Frieze

Abstract: We consider a space of sparse Boolean matrices of size $n \times n$, which have finite co-rank over $GF(2)$ with high probability. In particular, the probability such a matrix has full rank, and is thus invertible, is a positive constant with value about $0.2574$ for large $n$. The matrices arise as the vertex-edge incidence matrix of 1-out 3-uniform hypergraphs The result that the null space is… ▽ More We consider a space of sparse Boolean matrices of size $n \times n$, which have finite co-rank over $GF(2)$ with high probability. In particular, the probability such a matrix has full rank, and is thus invertible, is a positive constant with value about $0.2574$ for large $n$. The matrices arise as the vertex-edge incidence matrix of 1-out 3-uniform hypergraphs The result that the null space is finite, can be contrasted with results for the usual models of sparse Boolean matrices, based on the vertex-edge incidence matrix of random $k$-uniform hypergraphs. For this latter model, the expected co-rank is linear in the number of vertices $n$, \cite{ACO}, \cite{CFP}. For fields of higher order, the co-rank is typically Poisson distributed. △ Less

Submitted 5 June, 2022; v1 submitted 12 July, 2021; originally announced July 2021.

Spanners in randomly weighted graphs: independent edge lengths

Authors: Alan Frieze, Wesley Pegden

Abstract: Given a connected graph $G=(V,E)$ and a length function $\ell:E\to {\mathbb R}$ we let $d_{v,w}$ denote the shortest distance between vertex $v$ and vertex $w$. A $t$-spanner is a subset $E'\subseteq E$ such that if $d'_{v,w}$ denotes shortest distances in the subgraph $G'=(V,E')$ then $d'_{v,w}\leq t d_{v,w}$ for all $v,w\in V$. We show that for a large class of graphs with suitable degree and ex… ▽ More Given a connected graph $G=(V,E)$ and a length function $\ell:E\to {\mathbb R}$ we let $d_{v,w}$ denote the shortest distance between vertex $v$ and vertex $w$. A $t$-spanner is a subset $E'\subseteq E$ such that if $d'_{v,w}$ denotes shortest distances in the subgraph $G'=(V,E')$ then $d'_{v,w}\leq t d_{v,w}$ for all $v,w\in V$. We show that for a large class of graphs with suitable degree and expansion properties with independent exponential mean one edge lengths, there is w.h.p.~a 1-spanner that uses $\approx \frac12n\log n$ edges and that this is best possible. In particular, our result applies to the random graphs $G_{n,p}$ for $np\gg \log n$. △ Less

Submitted 25 October, 2021; v1 submitted 4 May, 2021; originally announced May 2021.

Rainbow Thresholds

Authors: Tolson Bell, Alan Frieze, Trent G. Marbach

Abstract: We extend a recent breakthrough result relating expectation thresholds and actual thresholds to include some rainbow versions. We extend a recent breakthrough result relating expectation thresholds and actual thresholds to include some rainbow versions. △ Less

Submitted 21 December, 2023; v1 submitted 12 April, 2021; originally announced April 2021.

Colorful Hamilton cycles in random graphs

Authors: Debsoumya Chakraborti, Alan Frieze, Mihir Hasabnis

Abstract: Given an $n$ vertex graph whose edges have colored from one of $r$ colors $C=\{c_1,c_2,\ldots,c_r\}$, we define the Hamilton cycle color profile $hcp(G)$ to be the set of vectors $(m_1,m_2,\ldots,m_r)\in [0,n]^r$ such that there exists a Hamilton cycle that is the concatenation of $r$ paths $P_1,P_2,\ldots,P_r$, where $P_i$ contains $m_i$ edges of color $c_i$. We study $hcp(G_{n,p})$ when the edge… ▽ More Given an $n$ vertex graph whose edges have colored from one of $r$ colors $C=\{c_1,c_2,\ldots,c_r\}$, we define the Hamilton cycle color profile $hcp(G)$ to be the set of vectors $(m_1,m_2,\ldots,m_r)\in [0,n]^r$ such that there exists a Hamilton cycle that is the concatenation of $r$ paths $P_1,P_2,\ldots,P_r$, where $P_i$ contains $m_i$ edges of color $c_i$. We study $hcp(G_{n,p})$ when the edges are randomly colored. We discuss the profile close to the threshold for the existence of a Hamilton cycle and the threshold for when $hcp(G_{n,p})=\{(m_1,m_2,\ldots,m_r)\in [0,n]^r: m_1+m_2+\cdots+m_r=n\}$. △ Less

Submitted 5 October, 2022; v1 submitted 5 March, 2021; originally announced March 2021.

Comments: fixed minor typos

Probabilistic analysis of algorithms for cost constrained minimum weighted combinatorial objects

Authors: Alan Frieze, Tomasz Tkocz

Abstract: We consider cost constrained versions of the minimum spanning tree problem and the assignment problem. We assume edge weights are independent copies of a continuous random variable $Z$ that satisfies $F(x)=\Pr(Z\leq x)\approx x^α$ as $x\to0$, where $α\geq 1$. Also, there are $r=O(1)$ budget constraints with edge costs chosen from the same distribution. We use Lagrangean duality to construct polyno… ▽ More We consider cost constrained versions of the minimum spanning tree problem and the assignment problem. We assume edge weights are independent copies of a continuous random variable $Z$ that satisfies $F(x)=\Pr(Z\leq x)\approx x^α$ as $x\to0$, where $α\geq 1$. Also, there are $r=O(1)$ budget constraints with edge costs chosen from the same distribution. We use Lagrangean duality to construct polynomial time algorithms that produce asymptotically optimal solutions. For the spanning tree problem, we allow $r>1$, but for the assignment problem we can only analyse the case $r=1$. △ Less

Submitted 7 September, 2020; originally announced September 2020.

Comments: 8 pages

Journal ref: Oper. Res. Lett. 49 (2021), no. 3, 400-404

Karp's patching algorithm on dense digraphs

Authors: Alan Frieze

Abstract: We consider the following question. We are given a dense digraph $D$ with minimum in- and out-degree at least $αn$, where $α>1/2$ is a constant. The edges of $D$ are given edge costs $C(e),e\in E(D)$, where $C(e)$ is an independent copy of the uniform $[0,1]$ random variable $U$. Let $C(i,j),i,j\in[n]$ be the associated $n\times n$ cost matrix where $C(i,j)=\infty$ if $(i,j)\notin E(D)$. We show t… ▽ More We consider the following question. We are given a dense digraph $D$ with minimum in- and out-degree at least $αn$, where $α>1/2$ is a constant. The edges of $D$ are given edge costs $C(e),e\in E(D)$, where $C(e)$ is an independent copy of the uniform $[0,1]$ random variable $U$. Let $C(i,j),i,j\in[n]$ be the associated $n\times n$ cost matrix where $C(i,j)=\infty$ if $(i,j)\notin E(D)$. We show that w.h.p. the patching algorithm of Karp finds a tour for the asymmetric traveling salesperson problem that is asymptotically equal to that of the associated assignment problem. Karp's algorithm runs in polynomial time. △ Less

Submitted 27 August, 2021; v1 submitted 18 June, 2020; originally announced June 2020.

Comments: I found an error in the proof

Shortest paths with a cost constraint: a probabilistic analysis

Authors: Alan Frieze, Tomasz Tkocz

Abstract: We consider a constrained version of the shortest path problem on the complete graphs whose edges have independent random lengths and costs. We establish the asymptotic value of the minimum length as a function of the cost-budget within a wide range. We consider a constrained version of the shortest path problem on the complete graphs whose edges have independent random lengths and costs. We establish the asymptotic value of the minimum length as a function of the cost-budget within a wide range. △ Less

Submitted 25 May, 2020; originally announced May 2020.

Journal ref: Discrete Appl. Math. 302 (2021), 46--53

The effect of adding randomly weighted edges

Authors: Alan Frieze

Abstract: We consider the following question. We have a dense regular graph $G$ with degree $αn$, where $α>0$ is a constant. We add $m=o(n^2)$ random edges. The edges of the augmented graph $G(m)$ are given independent edge weights $X(e)$, $e\in E(G(m))$. We estimate the minimum weight of some specified combinatorial structures. We show that in certain cases, we can obtain the same estimate as is known for… ▽ More We consider the following question. We have a dense regular graph $G$ with degree $αn$, where $α>0$ is a constant. We add $m=o(n^2)$ random edges. The edges of the augmented graph $G(m)$ are given independent edge weights $X(e)$, $e\in E(G(m))$. We estimate the minimum weight of some specified combinatorial structures. We show that in certain cases, we can obtain the same estimate as is known for the complete graph, but scaled by a factor $α^{-1}$. We consider spanning trees, shortest paths, perfect matchings in (pseudo-random) bipartite graphs. △ Less

Submitted 8 December, 2020; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: Added asymmetric TSP

Maker Breaker on Digraphs

Authors: Alan Frieze, Wesley Pegden

Abstract: We study two biassed Maker-Breaker games played on the complete digraph $\vec{K}_n$. In the strong connectivity game, Maker wants to build a strongly connected subgraph. We determine the asymptotic optimal bias for this game viz. $\frac{n}{\log n}$. In the Hamiltonian game, Maker wants to build a Hamiltonian subgraph. We determine the asymptotic optimal bias for this game up to a constant factor. We study two biassed Maker-Breaker games played on the complete digraph $\vec{K}_n$. In the strong connectivity game, Maker wants to build a strongly connected subgraph. We determine the asymptotic optimal bias for this game viz. $\frac{n}{\log n}$. In the Hamiltonian game, Maker wants to build a Hamiltonian subgraph. We determine the asymptotic optimal bias for this game up to a constant factor. △ Less

Submitted 30 November, 2021; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: We clarify an important argument in the appendix

Rainbow Hamilton Cycles in Random Geometric Graphs

Authors: Alan Frieze, Xavier Pérez-Giménez

Abstract: Let $X_1,X_2,\ldots,X_n$ be chosen independently and uniformly at random from the unit $d$-dimensional cube $[0,1]^d$. Let $r$ be given and let $\cal X=\{X_1,X_2,\ldots,X_n\}$. The random geometric graph $G=G_{\cal X,r}$ has vertex set $\cal X$ and an edge $X_iX_j$ whenever $\|X_i-X_j\|\leq r$. We show that if each edge of $G$ is colored independently from one of $n+o(n)$ colors and $r$ has the sm… ▽ More Let $X_1,X_2,\ldots,X_n$ be chosen independently and uniformly at random from the unit $d$-dimensional cube $[0,1]^d$. Let $r$ be given and let $\cal X=\{X_1,X_2,\ldots,X_n\}$. The random geometric graph $G=G_{\cal X,r}$ has vertex set $\cal X$ and an edge $X_iX_j$ whenever $\|X_i-X_j\|\leq r$. We show that if each edge of $G$ is colored independently from one of $n+o(n)$ colors and $r$ has the smallest value such that $G$ has minimum degree at least two, then $G$ contains a rainbow Hamilton cycle a.a.s. △ Less

Submitted 12 September, 2023; v1 submitted 5 March, 2020; originally announced March 2020.

Random volumes in d-dimensional polytopes

Authors: Alan Frieze, Wesley Pegden, Tomasz Tkocz

Abstract: Suppose we choose $N$ points uniformly randomly from a convex body in $d$ dimensions. How large must $N$ be, asymptotically with respect to $d$, so that the convex hull of the points is nearly as large as the convex body itself? It was shown by Dyer-Füredi-McDiarmid that exponentially many samples suffice when the convex body is the hypercube, and by Pivovarov that the Euclidean ball demands rough… ▽ More Suppose we choose $N$ points uniformly randomly from a convex body in $d$ dimensions. How large must $N$ be, asymptotically with respect to $d$, so that the convex hull of the points is nearly as large as the convex body itself? It was shown by Dyer-Füredi-McDiarmid that exponentially many samples suffice when the convex body is the hypercube, and by Pivovarov that the Euclidean ball demands roughly $d^{d/2}$ samples. We show that when the convex body is the simplex, exponentially many samples suffice; this then implies the same result for any convex simplicial polytope with at most exponentially many faces. △ Less

Submitted 19 September, 2020; v1 submitted 26 February, 2020; originally announced February 2020.

Journal ref: Discrete Analysis, 2020:15, 17 pp

On the existence of Hamilton cycles with a periodic pattern in a random digraph

Authors: Alan Frieze, Xavier Perez-Gimenez, Pawel Pralat

Abstract: We consider Hamilton cycles in the random digraph $D_{n,m}$ where the orientation of edges follows a pattern other than the trivial orientation in which the edges are oriented in the same direction as we traverse the cycle. We show that if the orientation forms a periodic pattern, other than the trivial pattern, then approximately half the usual $n\log n$ edges are needed to guarantee the existenc… ▽ More We consider Hamilton cycles in the random digraph $D_{n,m}$ where the orientation of edges follows a pattern other than the trivial orientation in which the edges are oriented in the same direction as we traverse the cycle. We show that if the orientation forms a periodic pattern, other than the trivial pattern, then approximately half the usual $n\log n$ edges are needed to guarantee the existence of such Hamilton cycles a.a.s. △ Less

Submitted 15 October, 2020; v1 submitted 17 February, 2020; originally announced February 2020.

Isomorphism for Random $k$-Uniform Hypergraphs

Authors: Debsoumya Chakraborti, Alan Frieze, Simi Haber, Mihir Hasabnis

Abstract: We study the isomorphism problem for random hypergraphs. We show that it is solvable in polynomial time for the binomial random $k$-uniform hypergraph $H_{n,p;k}$, for a wide range of $p$. We also show that it is solvable w.h.p. for random $r$-regular, $k$-uniform hypergraphs $H_{n,r;k},r=O(1)$. We study the isomorphism problem for random hypergraphs. We show that it is solvable in polynomial time for the binomial random $k$-uniform hypergraph $H_{n,p;k}$, for a wide range of $p$. We also show that it is solvable w.h.p. for random $r$-regular, $k$-uniform hypergraphs $H_{n,r;k},r=O(1)$. △ Less

Submitted 10 March, 2021; v1 submitted 17 February, 2020; originally announced February 2020.

Comments: fixed typos and added explanations

A scaling limit for the length of the longest cycle in a sparse random digraph

Authors: Michael Anastos, Alan Frieze

Abstract: We discuss the length $\vec{L}_{c,n}$ of the longest directed cycle in the sparse random digraph $D_{n,p},p=c/n$, $c$ constant. We show that for large $c$ there exists a function $\vec{f}(c)$ such that $\vec{L}_{c,n}/n\to \vec{f}(c)$ a.s. The function $\vec{f}(c)=1-\sum_{k=1}^\infty p_k(c)e^{-kc}$ where $p_k$ is a polynomial in $c$. We are only able to explicitly give the values $p_1,p_2$, althoug… ▽ More We discuss the length $\vec{L}_{c,n}$ of the longest directed cycle in the sparse random digraph $D_{n,p},p=c/n$, $c$ constant. We show that for large $c$ there exists a function $\vec{f}(c)$ such that $\vec{L}_{c,n}/n\to \vec{f}(c)$ a.s. The function $\vec{f}(c)=1-\sum_{k=1}^\infty p_k(c)e^{-kc}$ where $p_k$ is a polynomial in $c$. We are only able to explicitly give the values $p_1,p_2$, although we could in principle compute any $p_k$. △ Less

Submitted 16 January, 2020; originally announced January 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1907.03657

A note on the rank of a sparse random matrix

Authors: Colin Cooper, Alan Frieze, Wesley Pegden

Abstract: Let $\mathbf{A}_{n,m;k}$ be a random $n \times m$ matrix with entries from some field $\mathbb{F}$ where there are exactly $k$ non-zero entries in each column, whose locations are chosen independently and uniformly at random from the set of all ${n \choose k}$ possibilities. In a previous paper (arXiv:1806.04988), we considered the rank of a random matrix in this model when the field is… ▽ More Let $\mathbf{A}_{n,m;k}$ be a random $n \times m$ matrix with entries from some field $\mathbb{F}$ where there are exactly $k$ non-zero entries in each column, whose locations are chosen independently and uniformly at random from the set of all ${n \choose k}$ possibilities. In a previous paper (arXiv:1806.04988), we considered the rank of a random matrix in this model when the field is $\mathbb{F}=GF(2)$. In this note, we point out that with minimal modifications, the arguments from that paper actually allow analogous results when the field $\mathbb{F}$ is arbitrary. In particular, for any field $\mathbb{F}$ and any fixed $k\geq 3$, we determine an asymptotically correct estimate for the rank of $\mathbf{A}_{n,m;k}$ in terms of $c,n,k$ where $m=cn/k$, and $c$ is a constant. This formula works even when the values of the nonzero elements are adversarially chosen. When $\mathbb{F}$ is a finite field, we also determine the threshold for having full row rank, when the values of the nonzero elements are randomly chosen. △ Less

Submitted 18 February, 2020; v1 submitted 21 November, 2019; originally announced November 2019.

Comments: There is an error in the proof of the main theorem

Hamiltonicity of random graphs in the stochastic block model

Authors: Michael Anastos, Alan Frieze, Pu Gao

Abstract: We study the Hamiltonicity of the following model of a random graph. Suppose that we partition [n] into V_1,V_2,...,V_k and add edge {x,y} to our graph with probability p if there exists i such that x,y\in V_i. Otherwise, we add the edge with probbability q. We denote this model by G(n, p,q) and give tight results for Hamiltonicity, including a critical window analysis, under various conditions. We study the Hamiltonicity of the following model of a random graph. Suppose that we partition [n] into V_1,V_2,...,V_k and add edge {x,y} to our graph with probability p if there exists i such that x,y\in V_i. Otherwise, we add the edge with probbability q. We denote this model by G(n, p,q) and give tight results for Hamiltonicity, including a critical window analysis, under various conditions. △ Less

Submitted 28 October, 2019; originally announced October 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.

Minimum-weight combinatorial structures under random cost-constraints

Authors: Alan Frieze, Wesley Pegden, Gregory Sorkin, Tomasz Tkocz

Abstract: Recall that Janson showed that if the edges of the complete graph $K_n$ are assigned exponentially distributed independent random weights, then the expected length of a shortest path between a fixed pair of vertices is asymptotically equal to $(\log n)/n$. We consider analogous problems where edges have not only a random length but also a random cost, and we are interested in the length of the min… ▽ More Recall that Janson showed that if the edges of the complete graph $K_n$ are assigned exponentially distributed independent random weights, then the expected length of a shortest path between a fixed pair of vertices is asymptotically equal to $(\log n)/n$. We consider analogous problems where edges have not only a random length but also a random cost, and we are interested in the length of the minimum-length structure whose total cost is less than some cost budget. For several classes of structures, we determine the correct minimum length structure as a function of the cost-budget, up to constant factors. Moreover, we achieve this even in the more general setting where the distribution of weights and costs are arbitrary, so long as the density $f(x)$ as $x\to 0$ behaves like $cx^γ$ for some $γ\geq 0$; previously, this case was not understood even in the absence of cost constraints. We also handle the case where each edge has several independent costs associated to it, and we must simultaneously satisfy budgets on each cost. In this case, we show that the minimum-length structure obtainable is essentially controlled by the product of the cost thresholds. △ Less

Submitted 29 February, 2020; v1 submitted 20 October, 2019; originally announced October 2019.

Comments: Updated references

Journal ref: Electron. J. Combin. 28 (2021), no. 1, Paper No. 1.20,-18