arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2014-12-08 v3
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$.
2014-12-05 v2
Game Brush Number
Published • View PublicationBIB
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 PublicationBIB
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)}}$.
2014-12-03 v2
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.
2014-12-03 v3
Operator-valued Jacobi parameters and examples of operator-valued distributions
Published • View PublicationBIB
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.
2014-12-03 v2
Bootstrap percolation and the geometry of complex networks
Published • View PublicationBIB
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.
2014-12-03 v2
Waiter-Client and Client-Waiter planarity, colorability and minor games
Published • View PublicationBIB
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.
2014-12-03
Random matrices have simple spectrum
Published • View PublicationBIB
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.
2014-12-02 v2
Statistical mechanics of random geometric graphs: Geometry-induced first order phase transition
Published in Phys. Rev. E 91, 042136 (2015) • View PublicationBIB
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.
2014-12-02
Counting independent sets in graphs
Published • View PublicationBIB
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.
2014-12-02 v2
On rigidity, orientability and cores of random graphs with sliders
Suppose that you add rigid bars between points in the plane, and suppose that a constant fraction $q$ of the points moves freely in the whole plane; the remaining fraction is constrained to move on fixed lines called sliders. When does a giant rigid cluster emerge? Under a genericity condition, the answer only depends on the graph formed by the points (vertices) and the bars (edges). We find for the random graph $G \in \mathcal{G}(n,c/n)$ the threshold value of $c$ for the appearance of a linear-sized rigid component as a function of $q$, generalizing results of Kasiviswanathan et al. We show that this appearance of a giant component undergoes a continuous transition for $q \leq 1/2$ and a discontinuous transition for $q > 1/2$. In our proofs, we introduce a generalized notion of orientability interpolating between 1- and 2-orientability, of cores interpolating between 2-core and 3-core, and of extended cores interpolating between 2+1-core and 3+2-core; we find the precise expressions for the respective thresholds and the sizes of the different cores above the threshold. In particular, this proves a conjecture of Kasiviswanathan et al. about the size of the 3+2-core. We also derive some structural properties of rigidity with sliders (matroid and decomposition into components) which can be of independent interest.
2014-12-01 v2
Explicit Multi-Matrix Topological Expansion for Quaternionic Random Matrices
Published • View PublicationBIB
We present an explicit formula for the expected value of a product of several independent symplectically invariant matrices in which the trace and real part function may be applied, possibly to different subexpressions. This takes the form of a topological expansion; however, each term has two topologies: one for the trace, and another for the real part. The traces and real parts can always be written in terms of index contraction, but in some cases, it is possible to write the expression as a product in which the two functions are applied to bracketed intervals in a legal bracket diagram. We present the conditions under which this may be done, and an algorithm to construct such an expression given the contracted indices when possible. The summands in the topological expansion are written in terms of matrix cumulants. We compute the matrix cumulants of quaternionic Ginibre, Gaussian symplectic, quaternionic Wishart, and Haar-distributed symplectic matrices, which allow direct computation of an expression constructed from several independent ensembles of any of these matrices.
2014-12-01
The frequency of pattern occurrence in random walks
Published • View PublicationBIB
In the past decade, the use of ordinal patterns in the analysis of time series and dynamical systems has become an important and rich tool. Ordinal patterns (otherwise known as a permutation patterns) are found in time series by taking $n$ data points at evenly-spaced time intervals and mapping them to a length-$n$ permutation determined by relative ordering. The frequency with which certain patterns occur is a useful statistic for such series; however, the behavior of the frequency of pattern occurrence is unstudied for most models. We look at the frequency of pattern occurrence in random walks in discrete time and, applying combinatorial methods, we characterize those patterns that have equal frequency, regardless of probability distribution.
2014-11-30 v2
A local central limit theorem for the number of triangles in a random graph
Published • View PublicationBIB
In this paper, we prove a local limit theorem for the distribution of the number of triangles in the Erdos-Renyi random graph $G(n,p)$, where $p \in (0,1)$ is a fixed constant. Our proof is based on bounding the characteristic function $ψ(t)$ of the number of triangles, and uses several different conditioning arguments for handling different ranges of $t$.
2014-11-28 v3
The Page-R{é}nyi parking process
Published in The Electronic Journal of Combinatorics, Electronic Journal of Combinatorics, 2015, 22 (4), pp.P.4.4. \&lt;http://www.combinatorics.org/ojs/index.php/eljc/article/view/v22i4p4\&gt; • View PublicationBIB
In the Page parking (or packing) model on a discrete interval (also known as the discrete R{é}nyi packing problem or the unfriendly seating problem), cars of length two successively park uniformly at random on pairs of adjacent places, until only isolated places remain. We give a probabilistic proof of the (known) fact that the proportion of the interval covered by cars goes to 1-exp(-2) , when the length of the interval goes to infinity. We obtain some new consequences, and also study a version of this process defined on the infinite line.
2014-11-25
Tensor models from the viewpoint of matrix models: the case of the Gaussian distribution
Observables in random tensor theory are polynomials in the entries of a tensor of rank $d$ which are invariant under $U(N)^d$. It is notoriously difficult to evaluate the expectations of such polynomials, even in the Gaussian distribution. In this article, we introduce singular value decompositions to evaluate the expectations of polynomial observables of Gaussian random tensors. Performing the matrix integrals over the unitary group leads to a notion of effective observables which expand onto regular, matrix trace invariants. Examples are given to illustrate that both asymptotic and exact new calculations of expectations can be performed this way.
2014-11-25 v2
Sparse Multipartite Graphs as Partition Universal for Graphs of Bounded-Degrees
Published • View PublicationBIB
For graphs $G$ and $H$, let $G\to (H,H)$ signify that any red/blue edge coloring of $G$ contains a monochromatic $H$ as a subgraph, and $\mathcal{H}(Δ,n)=\{H:|V(H)|=n,Δ(H)\le Δ\}$. For fixed $Δ$ and $n$, we say that $G$ is a partition universal graph for $\mathcal{H}(Δ,n)$ if $G\to (H,H)$ for every $H\in\mathcal{H}(Δ,n)$. In 1983, Chvátal, Rödl, Szemerédi and Trotter proved that for any $Δ\ge2$ there exists a constant $B$ such that, for any $n$, if $N\ge Bn$ then $K_N$ is partition universal for $\mathcal{H}(Δ,n)$. Recently, Kohayakawa, Rödl, Schacht and Szemerédi proved that the complete graph $K_N$ in above result can be replaced by sparse graphs. They obtained that for fixed $Δ\ge2$, there exist constants $B$ and $C$ such that if $N\ge Bn$ and $p=C(\log N/N)^{1/Δ}$, then {\bf a.a.s.} $G(N,p)$ is partition universal graph for $\mathcal{H}(Δ,n)$, where $G(N,p)$ is the standard random graph on $N$ vertices with $\mathbb{P}(e)=p$ for each edge $e$. From some results of Bollobás and Łuczak, we know that {\bf a.a.s.} $χ(G(N,p)) = Θ((N/\log N)^{1-1/Δ})$. In this paper, we shall show that the $G(N,p)$ in above result can be replaced by random multipartite graph. Let $K_{r}(N)$ be the complete $r$-partite graph with $N$ vertices in each part, and $G_r(N,p)$ the random spanning subgraph of $K_r(N)$, in which each edge appears with probability $p$. It is shown that for fixed $Δ\ge2$ there exist constants $r, B$ and $C$ depending only on $Δ$ such that if $N\ge Bn$ and $p=C(\log N/N)^{1/Δ}$, then {\bf a.a.s.} $G_r(N,p)$ is partition universal graph for $\mathcal{H}(Δ,n)$. The proof mainly uses the sparse multipartite regularity lemma.
2014-11-24
Traveling in randomly embedded random graphs
Published • View PublicationBIB
We consider the problem of traveling among random points in Euclidean space, when only a random fraction of the pairs are joined by traversable connections. In particular, we show a threshold for a pair of points to be connected by a geodesic of length arbitrarily close to their Euclidean distance, and analyze the minimum length Traveling Salesperson Tour, extending the Beardwood-Halton-Hammersley theorem to this setting.
2014-11-21
On a memory game and preferential attachment graphs
Published • View PublicationBIB
In a recent paper Velleman and Warrington analyzed the expected values of some of the parameters in a memory game, namely, the length of the game, the waiting time for the first match, and the number of lucky moves. In this paper we continue this direction of investigation and obtain the limiting distributions of those parameters. More specifically, we prove that when suitably normalized, these quantities converge in distribution to a normal, Rayleigh, and Poisson random variable, respectively. We also make a connection between the memory game and one of the models of preferential attachment graphs. In particular, as a by--product of our methods we obtain simpler proofs (although without rate of convergence) of some of the results of Peköz, Röllin, and Ross on the joint limiting distributions of the degrees of the first few vertices in preferential attachment graphs. For proving that the length of the game is asymptotically normal, our main technical tool is a limit result for the joint distribution of the number of balls in a multi--type generalized Pólya urn model.