random
6952 papers tagged with this keyword
Distinguishing a truncated random permutation from a random function
An oracle chooses a function $f$ from the set of $n$ bits strings to itself, which is either a randomly chosen permutation or a randomly chosen function. When queried by an $n$-bit string $w$, the oracle computes $f(w)$, truncates the $m$ last bits, and returns only the first $n-m$ bits of $f(w)$. How many queries does a querying adversary need to submit in order to distinguish the truncated permutation from a random function?
In 1998, Hall et al. showed an algorithm for determining (with high probability) whether or not $f$ is a permutation, using $O(2^{\frac{m+n}{2}})$ queries. They also showed that if $m < n/7$, a smaller number of queries will not suffice. For $m > n/7$, their method gives a weaker bound. In this manuscript, we show how a modification of the method used by Hall et al. can solve the porblem completely. It extends the result to essentially every $m$, showing that $Ω(2^{\frac{m+n}{2}})$ queries are needed to get a non-negligible distinguishing advantage. We recently became aware that a better bound for the distinguishing advantage, for every $m<n$, follows from a result of Stam published, in a different context, already in 1978.
Focused Stochastic Local Search and the Lovász Local Lemma
Published
• View Publication
• BIB
We develop tools for analyzing focused stochastic local search algorithms. These are algorithms which search a state space probabilistically by repeatedly selecting a constraint that is violated in the current state and moving to a random nearby state which, hopefully, addresses the violation without introducing many new ones. A large class of such algorithms arise from the algorithmization of the Lovász Local Lemma, a non-constructive tool for proving the existence of satisfying states. Here we give tools that provide a unified analysis of such algorithms and of many more, expressing them as instances of a general framework.
Bounded-degree spanning trees in randomly perturbed graphs
Published
• View Publication
• BIB
We show that for any fixed dense graph G and bounded-degree tree T on the same number of vertices, a modest random perturbation of G will typically contain a copy of T . This combines the viewpoints of the well-studied problems of embedding trees into fixed dense graphs and into random graphs, and extends a sizeable body of existing research on randomly perturbed graphs. Specifically, we show that there is $c = c(α,Δ)$ such that if G is an n-vertex graph with minimum degree at least $αn$, and T is an n-vertex tree with maximum degree at most $Δ$ , then if we add cn uniformly random edges to G, the resulting graph will contain T asymptotically almost surely (as $n\to\infty$ ). Our proof uses a lemma concerning the decomposition of a dense graph into super-regular pairs of comparable sizes, which may be of independent interest.
Adjacency Spectra of Random and Uniform Hypergraphs
Published
• View Publication
• BIB
We present progress on the problem of asymptotically describing the adjacency eigenvalues of random and complete uniform hypergraphs. There is a natural conjecture arising from analogy with random matrix theory that connects these spectra to that of the all-ones hypermatrix. Several of the ingredients along a possible path to this conjecture are established, and may be of independent interest in spectral hypergraph/hypermatrix theory. In particular, we provide a bound on the spectral radius of the symmetric Bernoulli hyperensemble, and show that the spectrum of the complete \(k\)-uniform hypergraph for \(k=2,3\) is close to that of an appropriately scaled all-ones hypermatrix.
On the Vanishing of Homology in Random Čech Complexes
Published
• View Publication
• BIB
We compute the homology of random Čech complexes over a homogeneous Poisson process on the d-dimensional torus, and show that there are, coarsely, two phase transitions. The first transition is analogous to the Erdős-Rényi phase transition, where the Čech complex becomes connected. The second transition is where all the other homology groups are computed correctly (almost simultaneously). Our calculations also suggest a finer measurement of scales, where there is a further refinement to this picture and separation between different homology groups.
Sharp thresholds for half-random games I
Published
• View Publication
• BIB
We study biased Maker-Breaker positional games between two players, one of whom is playing randomly against an opponent with an optimal strategy. In this paper we consider the scenario when Maker plays randomly and Breaker is "clever", and determine the sharp threshold bias of classical graph games, such as connectivity, Hamiltonicity, and minimum degree-$k$. We treat the other case, that is when Breaker plays randomly, in a separate paper. The traditional, deterministic version of these games, with two optimal players playing, are known to obey the so-called probabilistic intuition. That is, the threshold bias of these games is asymptotically equal to the threshold bias of their random counterpart, where players just take edges uniformly at random. We find, that despite this remarkably precise agreement of the results of the deterministic and the random games, playing randomly against an optimal opponent is not a good idea: the threshold bias becomes significantly more tilted towards the random player. An important qualitative aspect of the probabilistic intuition carries through nevertheless: the bottleneck for Maker to occupy a connected graph is still the ability to avoid isolated vertices in her graph.
Random Interval Graphs
Published in J. Discrete Math. Sci. Cryptography 20 (8): 1697-1720, 2017
• View Publication
• BIB
In this thesis, which is supervised by Dr. David Penman, we examine random interval graphs. Recall that such a graph is defined by letting $X_{1},\ldots X_{n},Y_{1},\ldots Y_{n}$ be $2n$ independent random variables, with uniform distribution on $[0,1]$. We then say that the $i$th of the $n$ vertices is the interval $[X_{i},Y_{i}]$ if $X_{i}<Y_{i}$ and the interval $[Y_{i},X_{i}]$ if $Y_{i}<X_{i}$. We then say that two vertices are adjacent if and only if the corresponding intervals intersect.
We recall from our MA902 essay that fact that in such a graph, each edge arises with probability $2/3$, and use this fact to obtain estimates of the number of edges. Next, we turn to how these edges are spread out, seeing that (for example) the range of degrees for the vertices is much larger than classically, by use of an interesting geometrical lemma. We further investigate the maximum degree, showing it is always very close to the maximum possible value $(n-1)$, and the striking result that it is equal to $(n-1)$ with probability exactly $2/3$. We also recall a result on the minimum degree, and contrast all these results with the much narrower range of values obtained in the alternative \lq comparable\rq\, model $G(n,2/3)$ (defined later).
We then study clique numbers, chromatic numbers and independence numbers in the Random Interval Graphs, presenting (for example) a result on independence numbers which is proved by considering the largest chain in the associated interval order.
Last, we make some brief remarks about other ways to define random interval graphs, and extensions of random interval graphs, including random dot product graphs and other ways to define random interval graphs. We also discuss some areas these ideas should be usable in. We close with a summary and some comments.
A non-local Random Walk on the Hypercube
Published
• View Publication
• BIB
This paper studies the random walk on the hypercube $(\mathbb{Z}/2\mathbb{Z})^n$ which at each step flips $k$ randomly chosen coordinates. We prove that the mixing time for this walk is of order $\frac{n}{k} \log n$. We also prove that if $k=o(n)$, then the walk exhibits cutoff at $\frac{n}{2k} \log n$ with window $\frac{n}{2k} $.
Representing Random Permutations as the Product of Two Involutions
Published
• View Publication
• BIB
An involution is a permutation that is its own inverse. Given a permutation $σ$ of $[n],$ let $\mathbf{N}_{n}(σ)$ denote the number of ways to write $σ$ as a product of two involutions of $[n].$ If we endow the symmetric groups $S_{n}$ with uniform probability measures, then the random variables ${\mathbf N}_{n}$ are asymptotically lognormal.
The proof is based upon the observation that, for most permutations $σ$, $\mathbf{N}_{n}(σ)$ can be well approximated by $\mathbf{B}_{n}(σ),$ the product of the cycle lengths of $σ$. Asymptotic lognormality of $\mathbf{N}_{n}$ can therefore be deduced from Erdős and Turán's theorem that $\mathbf{B}_{n}$ is itself asymptotically lognormal.
High degrees of random recursive trees
Published
• View Publication
• BIB
For $n\ge 1$, let $T_n$ be a random recursive tree on the vertex set $[n]=\{1,\ldots,n\}$. Let $\mathrm{deg}_{T_n}(v)$ be the degree of vertex $v$ in $T_n$, that is, the number of children of $v$ in $T_n$. Devroye and Lu showed that the maximum degree $Δ_n$ of $T_n$ satisfies $Δ_n/\lfloor \log_2 n\rfloor \to 1$ almost surely; Goh and Schmutz showed distributional convergence of $Δ_n - \lfloor \log_2 n \rfloor$ along suitable subsequences. In this work we show how a version of Kingman's coalescent can be used to access much finer properties of the degree distribution in $T_n$.
For any $i\in \mathbb{Z}$, let $X_i^{(n)}=|\{v\in [n]: \mathrm{deg}_{T_n}(v)= \lfloor \log n\rfloor +i\}|$. Also, let $\mathcal{P}$ be a Poisson point process on $\mathbb{R}$ with rate function $λ(x)=2^{-x}\cdot \ln 2$. We show that, up to lattice effects, the vectors $(X_i^{(n)},\, i\in \mathbb{Z})$ converge weakly in distribution to $(\mathcal{P}[i,i+1),\, i\in \mathbb{Z})$. We also prove asymptotic normality of $X_i^{(n)}$ when $i=i(n) \to -\infty$ slowly, and obtain precise asymptotics for $\mathbb{P}(Δ_n - \log_2 n > i)$ when $ i(n) \to \infty$ and $i(n)/\log n$ is not too large. Our results recover and extends the previous results on maximal and near-maximal degrees in random recursive trees.
Combinatorial Analysis of a Subtraction Game on Graphs
Published
• View Publication
• BIB
We define a two-player combinatorial game in which players take alternate turns; each turn consists on deleting a vertex of a graph, together with all the edges containing such vertex. If any vertex became isolated by a player's move then it would also be deleted. A player wins the game when the other player has no moves available.
We study this game under various viewpoints: by finding specific strategies for certain families of graphs, through using properties of a graph's automorphism group, by writing a program to look at Sprague-Grundy numbers, and by studying the game when played on random graphs.
When analyzing Grim played on paths, using the Sprague-Grundy function, we find a connection to a standing open question about Octal games.
Inclusion of Forbidden Minors in Random Representable Matroids
Published in Discrete Mathematics, 340(7), 1553-1563, 2017
• View Publication
• BIB
In 1984, Kelly and Oxley introduced the model of a random representable matroid $M[A_n]$ corresponding to a random matrix $A_n \in \mathbb{F}_q^{m(n) \times n}$, whose entries are drawn independently and uniformly from $\mathbb{F}_q$. Whereas properties such as rank, connectivity, and circuit size have been well-studied, forbidden minors have not yet been analyzed. Here, we investigate the asymptotic probability as $n \to \infty$ that a fixed $\mathbb{F}_q$-representable matroid $M$ is a minor of $M[A_n]$. (We always assume $m(n) \geq \text{rank}(M)$ for all sufficiently large $n$, otherwise $M$ can never be a minor of the corresponding $M[A_n]$.) When $M$ is free, we show that $M$ is asymptotically almost surely (a.a.s.) a minor of $M[A_n]$. When $M$ is not free, we show a phase transition: $M$ is a.a.s. a minor if $n - m(n) \to \infty$, but is a.a.s. not if $m(n) - n \to \infty$. In the more general settings of $m \leq n$ and $m > n$, we give lower and upper bounds, respectively, on both the asymptotic and non-asymptotic probability that $M$ is a minor of $M[A_n]$. The tools we develop to analyze matroid operations and minors of random matroids may be of independent interest.
Our results directly imply that $M[A_n]$ is a.a.s. not contained in any proper, minor-closed class $\mathcal{M}$ of $\mathbb{F}_q$-representable matroids, provided: (i) $n - m(n) \to \infty$, and (ii) $m(n)$ is at least the minimum rank of any $\mathbb{F}_q$-representable forbidden minor of $\mathcal{M}$, for all sufficiently large $n$. As an application, this shows that graphic matroids are a vanishing subset of linear matroids, in a sense made precise in the paper. Our results provide an approach for applying the rich theory around matroid minors to the less-studied field of random matroids.
Triangle-free subgraphs of random graphs
Published
• View Publication
• BIB
Recently there has been much interest in studying random graph analogues of well known classical results in extremal graph theory. Here we follow this trend and investigate the structure of triangle-free subgraphs of $G(n,p)$ with high minimum degree. We prove that asymptotically almost surely each triangle-free spanning subgraph of $G(n,p)$ with minimum degree at least $\big(\frac{2}{5} + o(1)\big)pn$ is $\mathcal O(p^{-1}n)$-close to bipartite, and each spanning triangle-free subgraph of $G(n,p)$ with minimum degree at least $(\frac{1}{3}+\varepsilon)pn$ is $\mathcal O(p^{-1}n)$-close to $r$-partite for some $r=r(\varepsilon)$. These are random graph analogues of a result by Andrásfai, Erdős, and Sós [Discrete Math. 8 (1974), 205-218], and a result by Thomassen [Combinatorica 22 (2002), 591--596]. We also show that our results are best possible up to a constant factor.
On the enumeration of tanglegrams and tangled chains
Published
• View Publication
• BIB
Tanglegrams are a special class of graphs appearing in applications concerning cospeciation and coevolution in biology and computer science. They are formed by identifying the leaves of two rooted binary trees. We give an explicit formula to count the number of distinct binary rooted tanglegrams with $n$ matched vertices, along with a simple asymptotic formula and an algorithm for choosing a tanglegram uniformly at random. The enumeration formula is then extended to count the number of tangled chains of binary trees of any length. This includes a new formula for the number of binary trees with $n$ leaves. We also give a conjecture for the expected number of cherries in a large randomly chosen binary tree and an extension of this conjecture to other types of trees.
Boundaries of Hypertrees, and Hamiltonian Cycles in Simplicial Complexes
A $d$-hypertree on $[n]$ is a maximal acyclic $d$-dimensional simplicial complex with full $(d-1)$-skeleton on the vertex set $[n]$. Alternatively, in the language of algebraic topology, it is a minimal $d$-dimensional simplicial complex $T$ (assuming full $(d-1)$-skeleton) such that $\tilde{H}_{d-1}(T;\mathbb{F})=0$.
The $d$-hypertrees are a basic object in combinatorial theory of simplicial complexes. They have been studied; and yet, many of their structural aspects remain poorly understood.
In this paper we study the boundaries $\partial_d T$ of $d$-hypertrees, and the fundamental $d$-cycles defined by them. Our findings include:
1. A full characterization of $\partial_d T$ over $\mathbb{F}_2$ for $d \leq 2$, and some partial results for $d \geq 3$.
2. Lower bounds on the maximum size of a largest simple $d$-cycle on $[n]$. In particular, for $d=2$, we construct a {\em Hamiltonian $d$-cycle} $H$ on $[n]$, i.e., a simple $d$-cycle of size ${{n-1} \choose d} + 1$. For $d\geq 3$, we construct a simple $d$-cycle of size ${{n-1} \choose d} - O(n^{d-2})$.
3. Observing that the maximum of the expected distance between two vertices chosen uniformly at random in a tree ($1$-hypertree) on $[n]$ is at most $\thicksim n/3$, attained on Hamiltonian paths, we ask a similar question about $d$-hypertrees. "How large can be the {\em average} size of a fundamental cycle of a $d$-hypertree $T$ (i.e., the expected size of the dependency created by adding a $d$-simplex on $[n]$, chosen uniformly at random, to $T$)?" For every $d \in \mathbb{N}$, we construct an infinite family of $d$-hypertrees $\{T\}$ with the average size of a fundamental cycle at least $c_d\, |T| \,=\, c_d\,{n-1 \choose d}$, where $c_d$ is a constant depending on the dimension $d$ alone.
Cutoff on all Ramanujan graphs
Published
• View Publication
• BIB
We show that on every Ramanujan graph $G$, the simple random walk exhibits cutoff: when $G$ has $n$ vertices and degree $d$, the total-variation distance of the walk from the uniform distribution at time $t=\frac{d}{d-2}\log_{d-1} n + s\sqrt{\log n}$ is asymptotically $\mathbb{P}(Z > c\, s)$ where $Z$ is a standard normal variable and $c=c(d)$ is an explicit constant. Furthermore, for all $1 \leq p \leq \infty$, $d$-regular Ramanujan graphs minimize the asymptotic $L^p$-mixing time for SRW among all $d$-regular graphs. Our proof also shows that, for every vertex $x$ in $G$ as above, its distance from $n-o(n)$ of the vertices is asymptotically $\log_{d-1} n$.
Counting matchings in irregular bipartite graphs and random lifts
Published
• View Publication
• BIB
We give a sharp lower bound on the number of matchings of a given size in a bipartite graph. When specialized to regular bipartite graphs, our results imply Friedland's Lower Matching Conjecture and Schrijver's theorem proven by Gurvits and Csikvari. Indeed, our work extends the recent work of Csikvari done for regular and bi-regular bipartite graphs. Moreover, our lower bounds are order optimal as they are attained for a sequence of $2$-lifts of the original graph as well as for random $n$-lifts of the original graph when $n$ tends to infinity.
We then extend our results to permanents and subpermanents sums. For permanents, we are able to recover the lower bound of Schrijver recently proved by Gurvits using stable polynomials. Our proof is algorithmic and borrows ideas from the theory of local weak convergence of graphs, statistical physics and covers of graphs. We provide new lower bounds for subpermanents sums and obtain new results on the number of matching in random $n$-lifts with some implications for the matching measure and the spectral measure of random $n$-lifts as well as for the spectral measure of infinite trees.
Upper tails and independence polynomials in random graphs
Published in Adv. Math. 319 (2017), 313-347
• View Publication
• BIB
The upper tail problem in the Erdős--Rényi random graph $G\sim\mathcal{G}_{n,p}$ asks to estimate the probability that the number of copies of a graph $H$ in $G$ exceeds its expectation by a factor $1+δ$. Chatterjee and Dembo showed that in the sparse regime of $p\to 0$ as $n\to\infty$ with $p \geq n^{-α}$ for an explicit $α=α_H>0$, this problem reduces to a natural variational problem on weighted graphs, which was thereafter asymptotically solved by two of the authors in the case where $H$ is a clique.
Here we extend the latter work to any fixed graph $H$ and determine a function $c_H(δ)$ such that, for $p$ as above and any fixed $δ>0$, the upper tail probability is $\exp[-(c_H(δ)+o(1))n^2 p^Δ\log(1/p)]$, where $Δ$ is the maximum degree of $H$. As it turns out, the leading order constant in the large deviation rate function, $c_H(δ)$, is governed by the independence polynomial of $H$, defined as $P_H(x)=\sum i_H(k) x^k $ where $i_H(k)$ is the number of independent sets of size $k$ in $H$. For instance, if $H$ is a regular graph on $m$ vertices, then $c_H(δ)$ is the minimum between $\frac12 δ^{2/m}$ and the unique positive solution of $P_H(x) = 1+δ$.
Strong games played on random graphs
Published
• View Publication
• BIB
In a strong game played on the edge set of a graph G there are two players, Red and Blue, alternating turns in claiming previously unclaimed edges of G (with Red playing first). The winner is the first one to claim all the edges of some target structure (such as a clique, a perfect matching, a Hamilton cycle, etc.). It is well known that Red can always ensure at least a draw in any strong game, but finding explicit winning strategies is a difficult and a quite rare task. We consider strong games played on the edge set of a random graph G ~ G(n,p) on n vertices. We prove, for sufficiently large $n$ and a fixed constant 0 < p < 1, that Red can w.h.p win the perfect matching game on a random graph G ~ G(n,p).
Simultaneous core partitions: parameterizations and sums
Published in Electron. J. Combin. 23 (2016), no. 1, Paper 1.4, 34 pp
• View Publication
• BIB
Fix coprime $s,t\ge1$. We re-prove, without Ehrhart reciprocity, a conjecture of Armstrong (recently verified by Johnson) that the finitely many simultaneous $(s,t)$-cores have average size $\frac{1}{24}(s-1)(t-1)(s+t+1)$, and that the subset of self-conjugate cores has the same average (first shown by Chen--Huang--Wang). We similarly prove a recent conjecture of Fayers that the average weighted by an inverse stabilizer---giving the "expected size of the $t$-core of a random $s$-core"---is $\frac{1}{24}(s-1)(t^2-1)$. We also prove Fayers' conjecture that the analogous self-conjugate average is the same if $t$ is odd, but instead $\frac{1}{24}(s-1)(t^2+2)$ if $t$ is even. In principle, our explicit methods---or implicit variants thereof---extend to averages of arbitrary powers.
The main new observation is that the stabilizers appearing in Fayers' conjectures have simple formulas in Johnson's $z$-coordinates parameterization of $(s,t)$-cores.
We also observe that the $z$-coordinates extend to parameterize general $t$-cores. As an example application with $t := s+d$, we count the number of $(s,s+d,s+2d)$-cores for coprime $s,d\ge1$, verifying a recent conjecture of Amdeberhan and Leven.