random
7100 papers tagged with this keyword
A Probabilistic Approach to Problems on Distance Graphs and Graphs of Diameters (Candidate-Degree Dissertation Author's Review, in Russian)
The dissertation is related to combinatorial geometry with a strong probabilistic flavor. The main results can be split into three parts. The results of the first part guarantee that each "unit distance graph" in the plane has an induced subgraph with chromatic number at most 4 that covers at least 91.7 percent of the vertices of the whole graph.
The results of the second and third parts are related to the standard model of a random graph with n labeled vertices in which the edges occur independently with probability p, where p is a function of n. This is known as the Erdos--Renyi model G(n,p). Given a monotone property of a graph, Erdos and Renyi's theorem (1960) states that there exists a critical threshold value of p(n) below which the probability that a random graph has that property tends to one (as n tends to infinity) and above which the probability tends to zero.
The main results of the second part are concerned with the (monotone) property of a graph to be isomorphic to some unit-distance graph in Euclidean d-space with fixed dimension d. The results of this part guarantee that for d in {2, 3, 4, 5, 6, 7, 8}, the threshold value of p(n) is big-Theta of 1/n. Furthermore, the case d = 1 stands apart from the case of higher dimensions; here the threshold probability is big-Theta of 1/(n^(4/3)).
The results of the third part are devoted to studying "graphs of diameters" from the probabilistic standpoint. In particular, it is shown that under some conditions, almost all graphs of diameters in the plane have chromatic number less than 3. More generally, it is shown for G(n,p) that graphs of diameters have a tendency to chromatic degeneration (for large n) when p is close to 0, but have a tendency to completeness when p is close to 1.
Acyclic Orientations and Spanning Trees
We introduce polytopal cell complexes associated with partial acyclic orientations of a simple graph, which generalize acyclic orientations. Using the theory of cellular resolutions, two of these polytopal cell complexes are observed to minimally resolve certain special combinatorial polynomial ideals related to acyclic orientations. These ideals are explicitly found to be Alexander dual, which relative to comparable results in the literature, generalizes in a cleaner and more illuminating way the well-known duality between permutohedron and tree ideals. The combinatorics underlying these results naturally leads to a canonical way to represent rooted spanning forests of a labelled simple graph as non-crossing trees, and these representations are observed to carry a plethora of information about generalized tree ideals and acyclic orientations of a graph, and about non-crossing partitions of a totally ordered set. A small sample of the enumerative and structural consequences of collecting and organizing this information are studied in detail. Applications of this combinatorial miscellanea are then introduced and explored, namely: Stochastic processes on state space equal to the set of all acyclic orientations of a simple graph, including irreducible Markov chains, which exhibit stationary distributions ranging from linear extensions-based to uniform; a surprising formula for the expected number of acyclic orientations of a random graph; and a purely algebraic presentation of the main problem in bootstrap percolation, likely making it tractable to explore the set of all percolating sets of a graph with a computer.
Removal and Stability for Erdős-Ko-Rado
Published in SIAM J. Discrete Math. 30-2 (2016), 1102-1114
• View Publication
• BIB
A $k$-uniform family of subsets of $[n]$ is intersecting if it does not contain a disjoint pair of sets. The study of intersecting families is central to extremal set theory, dating back to the seminal Erdős-Ko-Rado theorem of 1961 that bounds the size of the largest such families. A recent trend has been to investigate the structure of set families with few disjoint pairs. Friedgut and Regev proved a general removal lemma, showing that when $γn \le k \le (\tfrac12 - γ)n$, a set family with few disjoint pairs can be made intersecting by removing few sets.
We provide a simple proof of a removal lemma for large families, showing that families of size close to $\ell \binom{n-1}{k-1}$ with relatively few disjoint pairs must be close to a union of $\ell$ stars. Our lemma holds for a wide range of uniformities; in particular, when $\ell = 1$, the result holds for all $2 \le k < \frac{n}{2}$ and provides sharp quantitative estimates.
We use this removal lemma to settle a question of Bollobás, Narayanan and Raigorodskii regarding the independence number of random subgraphs of the Kneser graph $K(n,k)$. The Erdős-Ko-Rado theorem shows $α(K(n,k)) = \binom{n-1}{k-1}$. For some constant $c > 0$ and $k \le cn$, we determine the sharp threshold for when this equality holds for random subgraphs of $K(n,k)$, and provide strong bounds on the critical probability for $k \le \tfrac12 (n-3)$.
The matching energy of random graphs
Published
• View Publication
• BIB
The matching energy of a graph was introduced by Gutman and Wagner, which is defined as the sum of the absolute values of the roots of the matching polynomial of the graph. For the random graph $G_{n,p}$ of order $n$ with fixed probability $p\in (0,1)$, Gutman and Wagner [I. Gutman, S. Wagner, The matching energy of a graph, Discrete Appl. Math. 160(2012), 2177--2187] proposed a conjecture that the matching energy of $G_{n,p}$ converges to $\frac{8\sqrt{p}}{3π}n^{\frac{3}{2}}$ almost surely. In this paper, using analysis method, we prove that the conjecture is true.
High dimensional analogue of metric distortion for simplicial complexes
We suggest a new possible high dimensional analogue to metric distortion. We then show a possible method for providing lower bounds to this distortion and use this method to prove a "Bourgain-type" distortion theorem for Linial-Meshulam random complexes.
Largest components in random hypergraphs
Published
• View Publication
• BIB
In this paper we consider $j$-tuple-connected components in random $k$-uniform hypergraphs (the $j$-tuple-connectedness relation can be defined by letting two $j$-sets be connected if they lie in a common edge and consider the transitive closure; the case $j=1$ corresponds to the common notion of vertex-connectedness). We determine that the existence of a $j$-tuple-connected component containing $Θ(n^j)$ $j$-sets in random $k$-uniform hypergraphs undergoes a phase transition and show that the threshold occurs at edge probability $\tfrac{(k-j)!}{\binom{k}{j}-1}n^{j-k}$. Our proof extends the recent short proof for the graph case by Krivelevich and Sudakov which makes use of a depth-first search to reveal the edges of a random graph.
Our main original contribution is a "bounded degree lemma" which controls the structure of the component grown in the search process.
Simplicial branching random walks and their applications
Published
• View Publication
• BIB
We define a new stochastic process on general simplicial complexes which allows to study their spectral and homological properties. Some results for random walks on graphs are shown to hold in this general setting. As an application, the process is used to calculate the spectral measure of high-dimensional analogues of regular trees and to construct solutions to the high-dimensional Dirichlet problem for forms.
On Erdős-Ko-Rado for random hypergraphs I
Published
• View Publication
• BIB
A family of sets is intersecting if no two of its members are disjoint, and has the Erdős-Ko-Rado property (or is EKR) if each of its largest intersecting subfamilies has nonempty intersection.
Denote by $\mathcal{H}_k(n,p)$ the random family in which each $k$-subset of $\{1\dots n\}$ is present with probability $p$, independent of other choices. A question first studied by Balogh, Bohman and Mubayi asks: \[ \mbox{for what $p=p(n,k)$ is $\mathcal{H}_k(n,p)$ likely to be EKR?} \] Here, for fixed $c<1/4$, and $k< \sqrt{cn\log n}$ we give a precise answer to this question, characterizing those sequences $p=p(n,k)$ for which $$ \Pr(\mathcal{H}_k(n,p) \textrm{ is EKR}) \rightarrow 1 \textrm{ as } n\rightarrow \infty. $$
The Coupon Collector's Problem Revisited: Generalizing the Double Dixie Cup Problem of Newman and Shepp
Published
• View Publication
• BIB
The "double Dixie cup problem" of D.J. Newman and L. Shepp (1960) is a well-known variant of the coupon collector's problem, where the object of study is the number $T_{m}(N)$ of coupons that a collector has to buy in order to complete $m$ sets of all $N$ existing different coupons. More precisely, the problem is to determine the asymptotics of the expectation (and the variance) of $T_{m}(N)$, as well as its limit distribution, as the number $N$ of different coupons becomes arbitrarily large. The classical case of the problem, namely the case of equal coupon probabilities, is here extended to the general case, where the probabilities of the selected coupons are unequal.
In the beginning of the article we give a brief review of the formulas for the moments and the moment generating function of the random variable $T_{m}(N)$. Then, we develop techniques of computing the asymptotics of the first and the second moment of $T_{m}(N)$ (our techniques apply to the higher moments of $T_{m}(N)$ as well). From these asymptotic formulas we obtain the leading behavior of the variance $V[\,T_{m}(N)\,]$ as $N \to \infty$. Finally, based on the asymptotics of $E[\,T_{m}(N)\,]$ and $V[\,T_{m}(N)\,]$ we obtain the limit distribution of the random variable $T_{m}(N)$ for large classes of coupon probabilities. As it turns out, in many cases, albeit not always, $T_{m}(N)$ (appropriately normalized) converges in distribution to a Gumbel random variable. Our results on the limit distribution of $T_{m}(N)$ generalize a well-known result of P. Erdős and A. Rényi (1961) regarding the limit distribution of $T_{m}(N)$ for the case of equal coupon probabilities.
On a random search tree: asymptotic enumeration of vertices by distance from leaves
A random binary search tree grown from the uniformly random permutation of $[n]$ is studied. We analyze the exact and asymptotic counts of vertices by rank, the distance from the set of leaves. The asymptotic fraction $c_k$ of vertices of a fixed rank $k\ge 0$ is shown to decay exponentially with $k$. Notoriously hard to compute, the exact fractions $c_k$ had been determined for $k\le 3$ only. We computed $c_4$ and $c_5$ as well; both are ratios of enormous integers, denominator of $c_5$ being $274$ digits long. Prompted by the data, we proved that, in sharp contrast, the largest prime divisor of $c_k$'s denominator is $2^{k+1}+1$ at most. We conjecture that, in fact, the prime divisors of every denominator for $k>1$ form a single interval, from $2$ to the largest prime not exceeding $2^{k+1}+1$.
Game Brush Number
Published
• View Publication
• BIB
We study a two-person game based on the well-studied brushing process on graphs. Players Min and Max alternately place brushes on the vertices of a graph. When a vertex accumulates at least as many brushes as its degree, it sends one brush to each neighbor and is removed from the graph; this may in turn induce the removal of other vertices. The game ends once all vertices have been removed. Min seeks to minimize the number of brushes played during the game, while Max seeks to maximize it. When both players play optimally, the length of the game is the game brush number of the graph $G$, denoted $b_g(G)$.
By considering strategies for both players and modelling the evolution of the game with differential equations, we provide an asymptotic value for the game brush number of the complete graph; namely, we show that $b_g(K_n) = (1+o(1))n^2/e$. Using a fractional version of the game, we couple the game brush numbers of complete graphs and the binomial random graph $\mathcal{G}(n,p)$. It is shown that for $pn \gg \ln n$ asymptotically almost surely $b_g(\mathcal{G}(n,p)) = (1 + o(1))p b_g(K_n) = (1 + o(1))pn^2/e$. Finally, we study the relationship between the game brush number and the (original) brush number.
Random maps: proceeding of the Journ{é}es MAS 2014
This is a quick survey on some recent works done in the field of random maps.
On the Beer index of convexity and its variants
Published in Discrete Comput. Geom. 57 (2017) 179-214
• View Publication
• BIB
Let $S$ be a subset of $\mathbb{R}^d$ with finite positive Lebesgue measure. The Beer index of convexity $\operatorname{b}(S)$ of $S$ is the probability that two points of $S$ chosen uniformly independently at random see each other in $S$. The convexity ratio $\operatorname{c}(S)$ of $S$ is the Lebesgue measure of the largest convex subset of $S$ divided by the Lebesgue measure of $S$. We investigate the relationship between these two natural measures of convexity.
We show that every set $S\subseteq\mathbb{R}^2$ with simply connected components satisfies $\operatorname{b}(S)\leqα\operatorname{c}(S)$ for an absolute constant $α$, provided $\operatorname{b}(S)$ is defined. This implies an affirmative answer to the conjecture of Cabello et al. that this estimate holds for simple polygons.
We also consider higher-order generalizations of $\operatorname{b}(S)$. For $1\leq k\leq d$, the $k$-index of convexity $\operatorname{b}_k(S)$ of a set $S\subseteq\mathbb{R}^d$ is the probability that the convex hull of a $(k+1)$-tuple of points chosen uniformly independently at random from $S$ is contained in $S$. We show that for every $d\geq 2$ there is a constant $β(d)>0$ such that every set $S\subseteq\mathbb{R}^d$ satisfies $\operatorname{b}_d(S)\leqβ\operatorname{c}(S)$, provided $\operatorname{b}_d(S)$ exists. We provide an almost matching lower bound by showing that there is a constant $γ(d)>0$ such that for every $\varepsilon\in(0,1)$ there is a set $S\subseteq\mathbb{R}^d$ of Lebesgue measure $1$ satisfying $\operatorname{c}(S)\leq\varepsilon$ and $\operatorname{b}_d(S)\geqγ\frac{\varepsilon}{\log_2{1/\varepsilon}}\geqγ\frac{\operatorname{c}(S)}{\log_2{1/\operatorname{c}(S)}}$.
The Kadison-Singer Problem for Strongly Rayleigh Measures and Applications to Asymmetric TSP
Marcus, Spielman, and Srivastava in their seminal work \cite{MSS13} resolved the Kadison-Singer conjecture by proving that for any set of finitely supported independently distributed random vectors $v_1,\dots, v_n$ which have "small" expected squared norm and are in isotropic position (in expectation), there is a positive probability that the sum $\sum v_i v_i^\intercal$ has small spectral norm. Their proof crucially employs real stability of polynomials which is the natural generalization of real-rootedness to multivariate polynomials.
Strongly Rayleigh distributions are families of probability distributions whose generating polynomials are real stable \cite{BBL09}. As independent distributions are just special cases of strongly Rayleigh measures, it is a natural question to see if the main theorem of \cite{MSS13} can be extended to families of vectors assigned to the elements of a strongly Rayleigh distribution.
In this paper we answer this question affirmatively; we show that for any homogeneous strongly Rayleigh distribution where the marginal probabilities are upper bounded by $ε_1$ and any isotropic set of vectors assigned to the underlying elements whose norms are at most $\sqrt{ε_2}$, there is a set in the support of the distribution such that the spectral norm of the sum of the natural quadratic forms of the vectors assigned to the elements of the set is at most $O(ε_1+ε_2)$. We employ our theorem to provide a sufficient condition for the existence of spectrally thin trees. This, together with a recent work of the authors \cite{AO14}, provides an improved upper bound on the integrality gap of the natural LP relaxation of the Asymmetric Traveling Salesman Problem.
Operator-valued Jacobi parameters and examples of operator-valued distributions
Published
• View Publication
• BIB
In the setting of distributions taking values in a $C^\ast$-algebra $\mathcal{B}$, we define generalized Jacobi parameters and study distributions they generate. These include numerous known examples and one new family, of $\mathcal{B}$-valued free binomial distributions, for which we are able to compute free convolution powers. Moreover, we develop a convenient combinatorial method for calculating the joint distributions of $\mathcal{B}$-free random variables with Jacobi parameters, utilizing two-color non-crossing partitions. This leads to several new explicit examples of free convolution computations in the operator-valued setting. Additionally, we obtain a counting algorithm for the number of two-color non-crossing pairings of relative finite depth, using only free probabilistic techniques. Finally, we show that the class of distributions with Jacobi parameters is not closed under free convolution.
Bootstrap percolation and the geometry of complex networks
Published
• View Publication
• BIB
On a geometric model for complex networks (introduced by Krioukov et al.) we investigate the bootstrap percolation process. This model consists of random geometric graphs on the hyperbolic plane having $N$ vertices, a dependent version of the Chung-Lu model. The process starts with infection rate $p=p(N)$. Each uninfected vertex with at least $\mathbf{r}\geq 1$ infected neighbors becomes infected, remaining so forever. We identify a function $p_c(N)=o(1)$ such that a.a.s.\ when $p\gg p_c(N)$ the infection spreads to a positive fraction of vertices, whereas when $p\ll p_c(N)$ the process cannot evolve. Moreover, this behavior is "robust" under random deletions of edges.
Waiter-Client and Client-Waiter planarity, colorability and minor games
Published
• View Publication
• BIB
For a finite set $X$, a family of sets ${\mathcal F} \subseteq 2^X$ and a positive integer $q$, we consider two types of two player, perfect information games with no chance moves. In each round of the $(1 : q)$ Waiter-Client game $(X, {\mathcal F})$, the first player, called Waiter, offers the second player, called Client, $q+1$ elements of the board $X$ which have not been offered previously. Client then chooses one of these elements which he claims and the remaining $q$ elements to go back to Waiter. Waiter wins this game if by the time every element of $X$ has been claimed by some player, Client has claimed all elements of some $A \in {\mathcal F}$; otherwise Client is the winner. Client-Waiter games are defined analogously, the main difference being that Client wins the game if he manages to claim all elements of some $A \in {\mathcal F}$ and Waiter wins otherwise. In this paper we study the Waiter-Client and Client-Waiter versions of the non-planarity, $K_t$-minor and non-$k$-colorability games. For each such game, we give a fairly precise estimate of the unique integer $q$ at which the outcome of the game changes from Client's win to Waiter's win. We also discuss the relation between our results, random graphs, and the corresponding Maker-Breaker and Avoider-Enforcer games.
Random matrices have simple spectrum
Published
• View Publication
• BIB
Let $M_n = (ξ_{ij})_{1 \leq i,j \leq n}$ be a real symmetric random matrix in which the upper-triangular entries $ξ_{ij}, i<j$ and diagonal entries $ξ_{ii}$ are independent. We show that with probability tending to 1, $M_n$ has no repeated eigenvalues. As a corollary, we deduce that the Erd{\H o}s-Renyi random graph has simple spectrum asymptotically almost surely, answering a question of Babai.
Statistical mechanics of random geometric graphs: Geometry-induced first order phase transition
Published in Phys. Rev. E 91, 042136 (2015)
• View Publication
• BIB
Random geometric graphs (RGG) can be formalized as hidden-variables models where the hidden variables are the coordinates of the nodes. Here we develop a general approach to extract the typical configurations of a generic hidden-variables model and apply the resulting equations to RGG. For any RGG, defined through a rigid or a soft geometric rule, the method reduces to a non trivial satisfaction problem: Given $N$ nodes, a domain $\mathcal{D}$, and a desired average connectivity $\langle k\rangle$, find - if any - the distribution of nodes having support in $\mathcal{D}$ and average connectivity $\langle k\rangle$. We find out that, in the thermodynamic limit, nodes are either uniformly distributed or highly condensed in a small region, the two regimes being separated by a first order phase transition characterized by a $\mathop{O}(N)$ jump of $\langle k\rangle$. Other intermediate values of $\langle k\rangle$ correspond to very rare graph realizations. The phase transition is observed as a function of a parameter $a\in[0,1]$ that tunes the underlying geometry. In particular, $a=1$ indicates a rigid geometry where only close nodes are connected, while $a=0$ indicates a rigid anti-geometry where only distant nodes are connected. Consistently, when $a=1/2$ there is no geometry and no phase transition. After discussing the numerical analysis, we provide a combinatorial argument to fully explain the mechanism inducing this phase transition and recognize it as an easy-hard-easy transition. Our result shows that, in general, ad hoc optimized networks can hardly be designed, unless to rely to specific heterogeneous constructions, not necessarily scale free.
Counting independent sets in graphs
Published
• View Publication
• BIB
In this short survey article, we present an elementary, yet quite powerful, method of enumerating independent sets in graphs. This method was first employed more than three decades ago by Kleitman and Winston and has subsequently been used numerous times by many researchers in various contexts. Our presentation of the method is illustrated with several applications of it to `real-life' combinatorial problems. In particular, we derive bounds on the number of independent sets in regular graphs, sum-free subsets of $\{1, \ldots, n\}$, and $C_4$-free graphs and give a short proof of an analogue of Roth's theorem on $3$-term arithmetic progressions in sparse random sets of integers which was originally formulated and proved by Kohayakawa, Łuczak, and Rödl.