random
6952 papers tagged with this keyword
Minimizing cycles in tournaments and normalized $q$-norms
Published
• View Publication
• BIB
Akin to the Erdős-Rademacher problem, Linial and Morgenstern made the following conjecture in tournaments: for any $d\in (0,1]$, among all $n$-vertex tournaments with $d\binom{n}{3}$ many 3-cycles, the number of 4-cycles is asymptotically minimized by a special random blow-up of a transitive tournament. Recently, Chan, Grzesik, Král' and Noel introduced spectrum analysis of adjacency matrices of tournaments in this study, and confirmed this for $d\geq 1/36$.
In this paper, we investigate the analogous problem of minimizing the number of cycles of a given length. We prove that for integers $\ell\not\equiv 2\mod 4$, there exists some constant $c_\ell>0$ such that if $d\geq 1-c_\ell$, then the number of $\ell$-cycles is also asymptotically minimized by the same family of extremal examples for $4$-cycles. In doing so, we answer a question of Linial and Morgenstern about minimizing the $q$-norm of a probabilistic vector with given $p$-norm for any integers $q>p>1$. For integers $\ell\equiv 2\mod 4$, however the same phenomena do not hold for $\ell$-cycles, for which we can construct an explicit family of tournaments containing fewer $\ell$-cycles for any given number of $3$-cycles. We conclude by proposing two conjectures on the minimization problem for general cycles in tournaments.
Maker-Breaker Games on Random Hypergraphs
In this paper, we study Maker-Breaker games on the random hypergraph $H_{n,s,p}$, obtained from the complete $s$-graph by keeping every edge independently with probability $p$. We determine the threshold probability for the property of Maker winning the game as a function of $s$, the uniformity of the underlying hypergraph, as well as $m$, $b$, the number of vertices that Maker and Breaker are respectively allowed to pick each turn.
In addition, we show that depending on those $m,b,s$, there are two types of thresholds: either being Maker-win is a local property and the threshold is weak, or it is related to global properties of the random hypergraph and the threshold is semi-sharp. We conjecture that in the latter case, the threshold is actually sharp.
Best response dynamics on random graphs
Published
• View Publication
• BIB
We consider evolutionary games on a population whose underlying topology of interactions is determined by a binomial random graph $G(n,p)$. Our focus is on 2-player symmetric games with 2 strategies played between the incident members of such a population. Players update their strategies synchronously. At each round, each player selects the strategy that is the best response to the current set of strategies its neighbours play. We show that such a system reduces to generalised majority and minority dynamics. We show rapid convergence to unanimity for $p$ in a range that depends on a certain characteristic of the payoff matrix. In the presence of a bias among the pure Nash equilibria of the game, we determine a sharp threshold on $p$ above which the largest connected component reaches unanimity with high probability. For $p$ below this critical value, where this does not happen, we identify those substructures inside the largest component that remain discordant throughout the evolution of the system.
Broadcasting on Paths and Cycles
Published
• View Publication
• BIB
Consider the following broadcasting process run on a connected graph $G=(V,E)$. Suppose that $k \ge 2$ agents start on vertices selected from $V$ uniformly and independently at random. One of the agents has a message that she wants to communicate to the other agents. All agents perform independent random walks on $G$, with the message being passed when an agent that knows the message meets an agent that does not know the message. The broadcasting time $ξ(G,k)$ is the time it takes to spread the message to all agents. We provide tight bounds for $ξ(P_n,k)$ and $ξ(C_n,k)$ that hold asymptotically almost surely for the whole range of the parameter~$k$.
The Expected Number of Distinct Consecutive Patterns in a Random Permutation
Published
• View Publication
• BIB
Let $π_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, we show that the expected number of distinct consecutive patterns in $π_n$ is $\frac{n^2}{2}(1-o(1))$. This exhibits the fact that random permutations pack consecutive patterns near-perfectly.
A Quantized Analogue of the Markov-Krein Correspondence
Published
• View Publication
• BIB
We study a family of measures originating from the signatures of the irreducible components of representations of the unitary group, as the size of the group goes to infinity. Given a random signature $λ$ of length $N$ with counting measure $\mathbf{m}$, we obtain a random signature $μ$ of length $N-1$ through projection onto a unitary group of lower dimension. The signature $μ$ interlaces with the signature $λ$, and we record the data of $μ,λ$ in a random rectangular Young diagram $w$. We show that under a certain set of conditions on $λ$, both $\mathbf{m}$ and $w$ converge as $N\to\infty$. We provide an explicit moment generating function relationship between the limiting objects. We further show that the moment generating function relationship induces a bijection between bounded measures and certain continual Young diagrams, which can be viewed as a quantized analogue of the Markov-Krein correspondence.
The node cop-win reliability of unicyclic and bicyclic graphs
Published
• View Publication
• BIB
Various models to quantify the reliability of a network have been studied where certain components of the graph may fail at random and the probability that the remaining graph is connected is the proxy for reliability. In this work we introduce a strengthening of one of these models by considering the probability that the remaining graph is not just connected but also cop-win. A graph is cop-win if one cop can guarantee capture of a fleeing robber in the well-studied pursuit-evasion game of Cops and Robber. More precisely, for a graph $G$ with nodes that are operational independently with probability $p$ and edges that are operational if and only if both of their endpoints are operational, the node cop-win reliability of $G$, denoted $\text{NCRel}(G,p)$, is the probability that the operational nodes induce a cop-win subgraph of $G$. It is then of interest to find graphs $G$ with $n$ nodes and $m$ edges such that $\text{NCRel}(G,p)\ge\text{NCRel}(H,p)$ for all $p\in[0,1]$ and all graphs $H$ with $n$ nodes and $m$ edges. Such a graph is called uniformly most reliable. We show that uniformly most reliable graphs exist for unicyclic and bicyclic graphs, respectively. This is in contrast to the fact that there are no known sparse graphs maximizing the corresponding notion of node reliability.
Intransitive dice tournament is not quasirandom
Published
• View Publication
• BIB
We settle a version of the conjecture about intransitive dice posed by Conrey, Gabbard, Grant, Liu and Morrison in 2016 and Polymath in 2017. We consider generalized dice with $n$ faces and we say that a die $A$ beats $B$ if a random face of $A$ is more likely to show a higher number than a random face of $B$. We study random dice with faces drawn iid from the uniform distribution on $[0,1]$ and conditioned on the sum of the faces equal to $n/2$. Considering the "beats" relation for three such random dice, Polymath showed that each of eight possible tournaments between them is asymptotically equally likely. In particular, three dice form an intransitive cycle with probability converging to $1/4$. In this paper we prove that for four random dice not all tournaments are equally likely and the probability of a transitive tournament is strictly higher than $3/8$.
Random multilinear maps and the Erdős box problem
Published in Discrete Analysis 2021:17, 8 pp
• Search Publication
By using random multilinear maps, we provide new lower bounds for the Erdős box problem, the problem of estimating the extremal number of the complete $d$-partite $d$-uniform hypergraph with two vertices in each part, thereby improving on work of Gunderson, Rödl and Sidorenko.
Limits and fluctuations of $p$-adic random matrix products
Published in Sel. Math. New Ser. 27, 98 (2021)
• View Publication
• BIB
We show that singular numbers (also known as invariant factors or Smith normal forms) of products and corners of random matrices over $\mathbb{Q}_p$ are governed by the Hall-Littlewood polynomials, in a structurally identical manner to the classical relations between singular values of complex random matrices and Heckman-Opdam hypergeometric functions. This implies that the singular numbers of a product of corners of Haar-distributed elements of $\text{GL}_N(\mathbb{Z}_p)$ form a discrete-time Markov chain distributed as a Hall-Littlewood process, with the number of matrices in the product playing the role of time. We give an exact sampling algorithm for the Hall-Littlewood processes which arise by relating them to an interacting particle system similar to PushTASEP. By analyzing the asymptotic behavior of this particle system, we show that the singular numbers of such products obey a law of large numbers and their fluctuations converge dynamically to independent Brownian motions. In the limit of large matrix size, we also show that the analogues of the Lyapunov exponents for matrix products have universal limits within this class of $\text{GL}_N(\mathbb{Z}_p)$ corners.
Exact nuclear norm, completion and decomposition for random overcomplete tensors via degree-4 SOS
In this paper we show that simple semidefinite programs inspired by degree $4$ SOS can exactly solve the tensor nuclear norm, tensor decomposition, and tensor completion problems on tensors with random asymmetric components. More precisely, for tensor nuclear norm and tensor decomposition, we show that w.h.p. these semidefinite programs can exactly find the nuclear norm and components of an $(n\times n\times n)$-tensor $\mathcal{T}$ with $m\leq n^{3/2}/polylog(n)$ random asymmetric components. Unlike most of the previous algorithms, our algorithm provides a certificate for the decomposition, does not require knowledge about the number of components in the decomposition and does not make any assumptions on the sizes of the coefficients in the decomposition. As a byproduct, we show that w.h.p. the nuclear norm decomposition exactly coincides with the minimum rank decomposition for tensors with $m\leq n^{3/2}/polylog(n)$ random asymmetric components.
For tensor completion, we show that w.h.p. the semidefinite program, introduced by Potechin & Steurer (2017) for tensors with orthogonal components, can exactly recover an $(n\times n\times n)$-tensor $\mathcal{T}$ with $m$ random asymmetric components from only $n^{3/2}m polylog(n)$ randomly observed entries. For non-orthogonal tensors, this improves the dependence on $m$ of the number of entries needed for exact recovery over all previously known algorithms and provides the first theoretical guarantees for exact tensor completion in the overcomplete regime.
Kim--Vu's sandwich conjecture is true for $d \gg \log^4 n$
Kim and Vu made the following conjecture (\textit{Advances in Mathematics}, 2004): if $d\gg \log n$, then the random $d$-regular graph $G(n,d)$ can be ``sandwiched'' between $G(n,p_*)$ and $G(n,p^*)$ where $p_*$ and $p^*$ are both asymptotically equal to $d/n$.
This famous conjecture was previously proved for all $d\gg (n\log n)^{3/4}$.
In this paper, we confirm the conjecture when $d \gg \log^4 n$. We also extend this result to near-regular degree sequences.
Prague dimension of random graphs
Published in Combinatorica 43 (2023), 853-884
• View Publication
• BIB
The Prague dimension of graphs was introduced by Nesetril, Pultr and Rodl in the 1970s. Proving a conjecture of Furedi and Kantor, we show that the Prague dimension of the binomial random graph is typically of order n/log n for constant edge-probabilities. The main new proof ingredient is a Pippenger-Spencer type edge-coloring result for random hypergraphs with large uniformities, i.e., edges of size O(log n).
Super-clustering of consecutive numbers in $p$-shifted random permutations
Let $A^{(n)}_{l;k}\subset S_n$ denote the event that the set of $l$ consecutive numbers $\{k,k+1,\cdots, k+l-1\}$ appear in a set of $l$ consecutive positions. Let $p=\{p_j\}_{j=1}^\infty$ be a distribution on $\mathbb{N}$ with $p_j>0$. Let $P_n$ denote the probability measure on $S_n$ corresponding to the $p$-shifted random permutation. Our main result, under the additional assumption that $\{p_j\}_{j=1}^\infty$ is non-increasing, is that $$ \begin{aligned} &\lim_{l\to\infty}\lim_{n\to\infty}P_n(A^{(n )}_{l,k})=\big(\prod_{j=1}^{k-1}\sum_{i=1}^jp_i\big) \big(\prod_{j=1}^\infty\sum_{i=1}^jp_i\big), \end{aligned} $$ and that if $\lim_{n\to\infty}\min(k_n,n-k_n)=\infty$, then $$ \begin{aligned} &\lim_{l\to\infty}\lim_{n\to\infty}P_n(A^{(n )}_{l,k_n})= \big(\prod_{j=1}^\infty\sum_{i=1}^jp_i\big)^2. \end{aligned} $$ In particular these limits are positive if and only if $\sum_{j=1}^\infty jp_j<\infty$. We say that super-clustering occurs when the limits are positive. We also give a new characterization of the class of $p$-shifted probability distributions on $S_\infty$.
Finding the Second-Best Candidate under the Mallows Model
Published
• View Publication
• BIB
The well-known secretary problem in sequential analysis and optimal stopping theory asks one to maximize the probability of finding the optimal candidate in a sequentially examined list under the constraint that accept/reject decisions are made in real-time. A version of the problem is the so-called postdoc problem, for which the question of interest is to devise a strategy that identifies the second-best candidate with highest possible probability of success.
We study the postdoc problem in its combinatorial form. In this setting, a permutation $π$ of length $N$ is sampled according to some distribution on the symmetric group $S_N$ and the elements of $π$ are revealed one-by-one from left to right so that at each step, one can only observe the relative orders of the elements. At each step, one must decide to either accept or reject the currently presented element and cannot recall the decision in the future. The question of interest is to find the optimal strategy for selecting the position of the second-largest value. We solve the postdoc problem for the untraditional setting where the candidates are not presented uniformly at random but rather according to permutations drawn from the Mallows distribution. The Mallows distribution assigns to each permutation $π\in S_N$ a weight $θ^{c(π)}$, where the function c counts the number of inversions in $π$. To identify the optimal stopping criteria for the significantly more challenging postdoc problem, we adopt a combinatorial methodology that includes new proof techniques and novel methodological extensions compared to the analysis first introduced in the setting of the secretary problem. The optimal strategies depend on the parameter $θ$ of the Mallows distribution and can be determined exactly by solving well-defined recurrence relations.
Muttalib--Borodin plane partitions and the hard edge of random matrix ensembles
We study probabilistic and combinatorial aspects of natural volume-and-trace weighted plane partitions and their continuous analogues. We prove asymptotic limit laws for the largest parts of these ensembles in terms of new and known hard- and soft-edge distributions of random matrix theory. As a corollary we obtain an asymptotic transition between Gumbel and Tracy--Widom GUE fluctuations for the largest part of such plane partitions, with the continuous Bessel kernel providing the interpolation. We interpret our results in terms of two natural models of directed last passage percolation (LPP): a discrete $(\max, +)$ infinite-geometry model with rapidly decaying geometric weights, and a continuous $(\min, \cdot)$ model with power weights.
Multiple Random Walks on Graphs: Mixing Few to Cover Many
Published in Combinatorics, Probability and Computing, 32(4):594 - 637, 2023
• View Publication
• BIB
Random walks on graphs are an essential primitive for many randomised algorithms and stochastic processes. It is natural to ask how much can be gained by running $k$ multiple random walks independently and in parallel. Although the cover time of multiple walks has been investigated for many natural networks, the problem of finding a general characterisation of multiple cover times for worst-case start vertices (posed by Alon, Avin, Koucký, Kozma, Lotker, and Tuttle~in 2008) remains an open problem.
First, we improve and tighten various bounds on the stationary cover time when $k$ random walks start from vertices sampled from the stationary distribution. For example, we prove an unconditional lower bound of $Ω((n/k) \log n)$ on the stationary cover time, holding for any $n$-vertex graph $G$ and any $1 \leq k =o(n\log n )$. Secondly, we establish the stationary cover times of multiple walks on several fundamental networks up to constant factors. Thirdly, we present a framework characterising worst-case cover times in terms of stationary cover times and a novel, relaxed notion of mixing time for multiple walks called the partial mixing time. Roughly speaking, the partial mixing time only requires a specific portion of all random walks to be mixed. Using these new concepts, we can establish (or recover) the worst-case cover times for many networks including expanders, preferential attachment graphs, grids, binary trees and hypercubes.
Triangles in randomly perturbed graphs
Published
• View Publication
• BIB
We study the problem of finding pairwise vertex-disjoint triangles in the randomly perturbed graph model, which is the union of any $n$-vertex graph $G$ satisfying a given minimum degree condition and the binomial random graph $G(n,p)$. We prove that asymptotically almost surely $G \cup G(n,p)$ contains at least $\min\{δ(G), \lfloor n/3 \rfloor\}$ pairwise vertex-disjoint triangles, provided $p \ge C \log n/n$, where $C$ is a large enough constant. This is a perturbed version of an old result of Dirac.
Our result is asymptotically optimal and answers a question of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516] in a strong form. We also prove a stability version of our result, which in the case of pairwise vertex-disjoint triangles extends a result of Han, Morris, and Treglown [RSA, 2021, no. 3, 480--516]. Together with a result of Balogh, Treglown, and Wagner [CPC, 2019, no. 2, 159--176] this fully resolves the existence of triangle factors in randomly perturbed graphs.
We believe that the methods introduced in this paper are useful for a variety of related problems: we discuss possible generalisations to clique factors, cycle factors, and $2$-universality.
Bounds for the multilevel construction
One of the main problems in random network coding is to compute good lower and upper bounds on the achievable cardinality of the so-called subspace codes in the projective space $\mathcal{P}_q(n)$ for a given minimum distance. The determination of the exact maximum cardinality is a very tough discrete optimization problem involving a huge number of symmetries. Besides some explicit constructions for \textit{good} subspace codes several of the most success full constructions involve the solution of discrete optimization subproblems itself, which mostly have not been not been solved systematically. Here we consider the multilevel a.k.a.\ Echelon--Ferrers construction and given lower and upper bounds for the achievable cardinalities. From a more general point of view, we solve maximum clique problems in weighted graphs, where the weights can be polynomials in the field size $q$.
Rigid structures in the universal enveloping traffic space
For any tracial non-commutative probability space $(\mathcal{A}, \varphi)$, Cébron, Dahlqvist, and Male showed that one can always construct an enveloping traffic space $(\mathcal{G}(\mathcal{A}), τ_\varphi)$ that extends the trace. This construction provides a universal object that allows one to appeal to the traffic probability framework in generic situations, prioritizing an understanding of its structure. In this article, we prove that $(\mathcal{G}(\mathcal{A}), τ_\varphi)$ admits a canonical free product decomposition $\mathcal{A} * \mathcal{A}^\intercal * Θ(\mathcal{G}(\mathcal{A}))$. In particular, $\mathcal{A}^\intercal$ is an anti-isomorphic copy of $\mathcal{A}$, and $Θ(\mathcal{G}(\mathcal{A}))$ is, up to degeneracy, a commutative algebra generated by Gaussian random variables with a covariance structure diagonalized by the graph operations. If $(\mathcal{A}, \varphi)$ itself is a free product, then we describe how this additional structure lifts into $(\mathcal{G}(\mathcal{A}), τ_\varphi)$. Here, we find a connection between free independence and classical independence opposite the usual direction. Up to degeneracy, we further show that $(\mathcal{G}(\mathcal{A}), τ_\varphi)$ is spanned by tree-like graph operations. Finally, we apply our results to the study of large (possibly dependent) random matrices. Our analysis relies on the combinatorics of cactus graphs and the resulting cactus-cumulant correspondence.