random
7100 papers tagged with this keyword
Solving Hard Computational Problems Efficiently: Asymptotic Parametric Complexity 3-Coloring Algorithm
Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular biology, e.g., genome sequencing; global alignment of multiple genomes; identifying siblings or discovery of dysregulated pathways.In almost all of these problems, there is the need for proving a hypothesis about certain property of an object that can be present only when it adopts some particular admissible structure (an NP-certificate) or be absent (no admissible structure), however, none of the standard approaches can discard the hypothesis when no solution can be found, since none can provide a proof that there is no admissible structure. This article presents an algorithm that introduces a novel type of solution method to "efficiently" solve the graph 3-coloring problem; an NP-complete problem. The proposed method provides certificates (proofs) in both cases: present or absent, so it is possible to accept or reject the hypothesis on the basis of a rigorous proof. It provides exact solutions and is polynomial-time (i.e., efficient) however parametric. The only requirement is sufficient computational power, which is controlled by the parameter $α\in\mathbb{N}$. Nevertheless, here it is proved that the probability of requiring a value of $α>k$ to obtain a solution for a random graph decreases exponentially: $P(α>k) \leq 2^{-(k+1)}$, making tractable almost all problem instances. Thorough experimental analyses were performed. The algorithm was tested on random graphs, planar graphs and 4-regular planar graphs. The obtained experimental results are in accordance with the theoretical expected results.
An undecidability result on limits of sparse graphs
Given a set B of finite rooted graphs and a radius r as an input, we prove that it is undecidable to determine whether there exists a sequence (G_i) of finite bounded degree graphs such that the rooted r-radius neighbourhood of a random node of G_i is isomorphic to a rooted graph in B with probability tending to 1. Our proof implies a similar result for the case where the sequence (G_i) is replaced by a unimodular random graph.
Block characters of the symmetric groups
Published in Journal of Algebraic Combinatorics, 38, no. 1 (2013), 79-101
• View Publication
• BIB
Block character of a finite symmetric group S(n) is a positive definite function which depends only on the number of cycles in permutation. We describe the cone of block characters by identifying its extreme rays, and find relations of the characters to descent representations and the coinvariant algebra of S(n). The decomposition of extreme block characters into the sum of characters of irreducible representations gives rise to certain limit shape theorems for random Young diagrams. We also study counterparts of the block characters for the infinite symmetric group S(\infty) along with their connection to the Thoma characters of the infinite linear group GL(\infty,q) over a Galois field.
The genus of a random chord diagram is asymptotically normal
Published
• View Publication
• BIB
Let $G_n$ be the genus of a two-dimensional surface obtained by gluing, uniformly at random, the sides of an $n$-gon. Recently Linial and Nowik proved, via an enumerational formula due to Harer and Zagier, that the expected value of $G_n$ is asymptotic to $(n - \ln n)/2$ for $n\to\infty$. We prove a local limit theorem for the distribution of $G_n$, which implies that $G_n$ is asymptotically Gaussian, with mean $(n-\ln n)/2$ and variance $(\ln n)/4$.
Constructing dense graphs with sublinear Hadwiger number
Mader asked to explicitly construct dense graphs for which the size of the largest clique minor is sublinear in the number of vertices. Such graphs exist as a random graph almost surely has this property. This question and variants were popularized by Thomason over several articles. We answer these questions by showing how to explicitly construct such graphs using blow-ups of small graphs with this property. This leads to the study of a fractional variant of the clique minor number, which may be of independent interest.
Expanders Are Universal for the Class of All Spanning Trees
Published
• View Publication
• BIB
Given a class of graphs F, we say that a graph G is universal for F, or F-universal, if every H in F is contained in G as a subgraph. The construction of sparse universal graphs for various families F has received a considerable amount of attention. One is particularly interested in tight F-universal graphs, i.e., graphs whose number of vertices is equal to the largest number of vertices in a graph from F. Arguably, the most studied case is that when F is some class of trees.
Given integers n and Δ, we denote by T(n,Δ) the class of all n-vertex trees with maximum degree at most Δ. In this work, we show that every n-vertex graph satisfying certain natural expansion properties is T(n,Δ)-universal or, in other words, contains every spanning tree of maximum degree at most Δ. Our methods also apply to the case when Δis some function of n. The result has a few very interesting implications. Most importantly, we obtain that the random graph G(n,p) is asymptotically almost surely (a.a.s.) universal for the class of all bounded degree spanning (i.e., n-vertex) trees provided that p \geq c n^{-1/3} \log^2n where c > 0 is a constant. Moreover, a corresponding result holds for the random regular graph of degree pn. In fact, we show that if Δsatisfies \log n \leq Δ\leq n^{1/3}, then the random graph G(n,p) with p \geq c Δn^{-1/3} \log n and the random r-regular n-vertex graph with r \geq cΔn^{2/3} \log n are a.a.s. T(n,Δ)-universal. Another interesting consequence is the existence of locally sparse n-vertex T(n,Δ)-universal graphs. For constant Δ, we show that one can (randomly) construct n-vertex T(n,Δ)-universal graphs with clique number at most five. Finally, we show robustness of random graphs with respect to being universal for T(n,Δ) in the context of the Maker-Breaker tree-universality game.
Dixon's Theorem and random synchronization
Published
• View Publication
• BIB
A transformation monoid on a set Omega is called synchronizing if it contains an element of rank 1 (that is, mapping the whole of Omega to a single point). In this paper, I tackle the question: given n and k, what is the probability that the submonoid of the full transformation monoid T_n generated by k random transformations is synchronizing? This question is analogous to Dixon's Theorem that two random permutations generate the symmetric or alternating group with high probability.
Following the technique of Dixon's theorem, we need to analyse the maximal non-synchronizing submonoids of T_n. I develop a very close connection between transformation monoids and graphs, from which we obtain a description of non-synchronizing monoids as endomorphism monoids of graphs satisfying some very strong conditions. However, counting such graphs, and dealing with the intersections of their endomorphism monoids, seems difficult.
The degree distribution and the number of edges between nodes of given degrees in the Buckley-Osthus model of a random web graph
Published
• View Publication
• BIB
In this paper, we study some important statistics of the random graph in the Buckley-Osthus model. This model is a modification of the well-known Bollobás-Riordan model. We denote the number of nodes by t, the so-called initial attractiveness of a node by a. First, we find a new asymptotic formula for the expectation of the number R(d,t) of nodes of a given degree d in a graph in this model. Such a formula is known for positive integer values of a and d \le t^{1/100(a+1)}. Both restrictions are unsatisfactory from theoretical and practical points of view. We completely remove them. Then we calculate the covariances between any two quantities R(d_1,t), R(d_2,t), and using the second moment method we show that R(d,t) is tightly concentrated around its mean for every possible values of d and t. Furthermore, we study a more complicated statistic of the web graph: X(d_1,d_2,t) is the total number of edges between nodes whose degrees are equal to d_1 and d_2 respectively. We also find an asymptotic formula for the expectation of X(d_1,d_2,t) and prove a tight concentration result. Again, we do not impose any substantial restrictions on the values of d_1, d_2, and t.
Die Verteilung des Geschlechts zufällig gewählter Origamis (Distribution of the genus of random origamis)
Resultate der Charaktertheorie der symmetrischen Gruppe werden verwendet, um eine Verteilungsfunktion für das Geschlecht zufällig gewählter Origamis zu erhalten.
--
Results from the character theory of the symmetric group are used to obtain the distribution function of the genus of random origamis.)
The thresholds for diameter 2 in random Cayley graphs
Published
• View Publication
• BIB
Given a group G, the model $\mathcal{G}(G,p)$ denotes the probability space of all Cayley graphs of G where each element of the generating set is chosen independently at random with probability p.
In this article we show that for any $ε> 0$ and any family of groups G_k of order n_k for which $n_k \to \infty$, a graph $Γ_k \in \mathcal{G}(G_k,p)$ with high probability has diameter at most 2 if $p \geqslant \sqrt{(2 + ε) \frac{\log{n_k}}{n_k}}$ and with high probability has diameter greater than 2 if $p \leqslant \sqrt{(1/4 + ε)\frac{\log{n_k}}{n_k}}$.
We also provide examples of families of graphs which show that both of these results are best possible.
Of particular interest is that for some families of groups, the corresponding random Cayley graphs achieve diameter 2 significantly faster than the Erdős-Renyi random graphs.
Cops and Robbers on Geometric Graphs
Published
• View Publication
• BIB
Cops and robbers is a turn-based pursuit game played on a graph $G$. One robber is pursued by a set of cops. In each round, these agents move between vertices along the edges of the graph. The cop number $c(G)$ denotes the minimum number of cops required to catch the robber in finite time. We study the cop number of geometric graphs. For points $x_1, ..., x_n \in \R^2$, and $r \in \R^+$, the vertex set of the geometric graph $G(x_1, ..., x_n; r)$ is the graph on these $n$ points, with $x_i, x_j$ adjacent when $ \norm{x_i -x_j} \leq r$. We prove that $c(G) \leq 9$ for any connected geometric graph $G$ in $R^2$ and we give an example of a connected geometric graph with $c(G) = 3$. We improve on our upper bound for random geometric graphs that are sufficiently dense. Let $G(n,r)$ denote the probability space of geometric graphs with $n$ vertices chosen uniformly and independently from $[0,1]^2$. For $G \in G(n,r)$, we show that with high probability (whp), if $r \geq K_1 (\log n/n)^{1/4}$, then $c(G) \leq 2$, and if $r \geq K_2(\log n/n)^{1/5}$, then $c(G) = 1$ where $K_1, K_2 > 0$ are absolute constants. Finally, we provide a lower bound near the connectivity regime of $G(n,r)$: if $r \leq K_3 \log n / \sqrt{n} $ then $c(G) > 1$ whp, where $K_3 > 0$ is an absolute constant.
Optimal Sequential Selection of a Unimodal Subsequence of a Random Sequence
Published in Combinatorics, Probability and Computing (2011) 20, 799--814
• View Publication
• BIB
We consider the problem of selecting sequentially a unimodal subsequence from a sequence of independent identically distributed random variables, and we find that a person doing optimal sequential selection does within a factor of the square root of two as well as a prophet who knows all of the random observations in advance of any selections. Our analysis applies in fact to selections of subsequences that have d+1 monotone blocks, and, by including the case d=0, our analysis also covers monotone subsequences.
Dirac's theorem for random graphs
Published
• View Publication
• BIB
A classical theorem of Dirac from 1952 asserts that every graph on $n$ vertices with minimum degree at least $\lceil n/2 \rceil$ is Hamiltonian. In this paper we extend this result to random graphs. Motivated by the study of resilience of random graph properties we prove that if $p \gg \log n /n$, then a.a.s. every subgraph of $G(n,p)$ with minimum degree at least $(1/2+o(1))np$ is Hamiltonian. Our result improves on previously known bounds, and answers an open problem of Sudakov and Vu. Both, the range of edge probability $p$ and the value of the constant 1/2 are asymptotically best possible.
Quantum gravity and inventory accumulation
Published
• View Publication
• BIB
We begin by studying inventory accumulation at a LIFO (last-in-first-out) retailer with two products. In the simplest version, the following occur with equal probability at each time step: first product ordered, first product produced, second product ordered, second product produced. The inventory thus evolves as a simple random walk on Z^2. In more interesting versions, a p fraction of customers orders the "freshest available" product regardless of type. We show that the corresponding random walks scale to Brownian motions with diffusion matrices depending on p.
We then turn our attention to the critical Fortuin-Kastelyn random planar map model, which gives, for each q>0, a probability measure on random (discretized) two-dimensional surfaces decorated by loops, related to the q-state Potts model. A longstanding open problem is to show that as the discretization gets finer, the surfaces converge in law to a limiting (loop-decorated) random surface. The limit is expected to be a Liouville quantum gravity surface decorated by a conformal loop ensemble, with parameters depending on q. Thanks to a bijection between decorated planar maps and inventory trajectories (closely related to bijections of Bernardi and Mullin), our results about the latter imply convergence of the former in a particular topology. A phase transition occurs at p = 1/2, q=4.
Random greedy triangle-packing beyond the 7/4 barrier
The random greedy algorithm for constructing a large partial Steiner-Triple-System is defined as follows. Begin with a complete graph on $n$ vertices and proceed to remove the edges of triangles one at a time, where each triangle removed is chosen uniformly at random out of all remaining triangles. This stochastic process terminates once it arrives at a triangle-free graph, and a longstanding open problem is to estimate the final number of edges, or equivalently the time it takes the process to conclude. The intuition that the edge distribution is roughly uniform at all times led to a folklore conjecture that the final number of edges is $n^{3/2+o(1)}$ with high probability, whereas the best known upper bound is $n^{7/4+o(1)}$. It is no coincidence that various methods break precisely at the exponent 7/4 as it corresponds to the inherent barrier where co-degrees become comparable to the variations in their values that arose earlier in the process.
In this work we significantly improve upon the previous bounds by establishing that w.h.p. the number of edges in the final graph is at most $ n^{5/3+o(1)} $. Our approach relies on a system of martingales used to control key graph parameters, where the crucial new idea is to harness the self-correcting nature of the process in order to control these parameters well beyond the point where their early variation matches the order of their expectation.
The probability that a pair of elements of a finite group are conjugate
Published
• View Publication
• BIB
Let $G$ be a finite group, and let $κ(G)$ be the probability that elements $g$, $h\in G$ are conjugate, when $g$ and $h$ are chosen independently and uniformly at random. The paper classifies those groups $G$ such that $κ(G) \geq 1/4$, and shows that $G$ is abelian whenever $κ(G)|G| < 7/4$. It is also shown that $κ(G)|G|$ depends only on the isoclinism class of $G$.
Specialising to the symmetric group $S_n$, the paper shows that $κ(S_n) \leq C/n^2$ for an explicitly determined constant $C$. This bound leads to an elementary proof of a result of Flajolet \emph{et al}, that $κ(S_n) \sim A/n^2$ as $n\rightarrow \infty$ for some constant $A$. The same techniques provide analogous results for $ρ(S_n)$, the probability that two elements of the symmetric group have conjugates that commute.
On reverse hypercontractivity
Published
• View Publication
• BIB
We study the notion of reverse hypercontractivity. We show that reverse hypercontractive inequalities are implied by standard hypercontractive inequalities as well as by the modified log-Sobolev inequality. Our proof is based on a new comparison lemma for Dirichlet forms and an extension of the Strook-Varapolos inequality.
A consequence of our analysis is that {\em all} simple operators $L=Id-\E$ as well as their tensors satisfy uniform reverse hypercontractive inequalities. That is, for all $q<p<1$ and every positive valued function $f$ for $t \geq \log \frac{1-q}{1-p}$ we have $\| e^{-tL}f\|_{q} \geq \| f\|_{p}$. This should be contrasted with the case of hypercontractive inequalities for simple operators where $t$ is known to depend not only on $p$ and $q$ but also on the underlying space.
The new reverse hypercontractive inequalities established here imply new mixing and isoperimetric results for short random walks in product spaces, for certain card-shufflings, for Glauber dynamics in high-temperatures spin systems as well as for queueing processes. The inequalities further imply a quantitative Arrow impossibility theorem for general product distributions and inverse polynomial bounds in the number of players for the non-interactive correlation distillation problem with $m$-sided dice.
Phase transitions in exponential random graphs
Published in Annals of Applied Probability 2013, Vol. 23, No. 6, 2458-2471
• View Publication
• BIB
We derive the full phase diagram for a large family of two-parameter exponential random graph models, each containing a first order transition curve ending in a critical point.
The solution space geometry of random linear equations
Published in Random Structures and Algorithms 46, 197-231 (2015)
• View Publication
• BIB
We consider random systems of linear equations over GF(2) in which every equation binds k variables. We obtain a precise description of the clustering of solutions in such systems. In particular, we prove that with probability that tends to 1 as the number of variables, n, grows: for every pair of solutions σ, τ, either there exists a sequence of solutions σ,...,τ, in which successive elements differ by O(log n) variables, or every sequence of solutions σ,...,τ, contains a step requiring the simultaneous change of Ω(n) variables. Furthermore, we determine precisely which pairs of solutions are in each category. Our results are tight and highly quantitative in nature. Moreover, our proof highlights the role of unique extendability as the driving force behind the success of Low Density Parity Check codes and our techniques also apply to the problem of so-called pseudo-codewords in such codes.
Remarks on a Ramsey theory for trees
Published
• View Publication
• BIB
Extending Furstenberg's ergodic theoretic proof for Szemerédi's theorem on arithmetic progressions, Furstenberg and Weiss (2003) proved the following qualitative result. For every d and k, there exists an integer N such that no matter how we color the vertices of a complete binary tree T_N of depth N with k colors, we can find a monochromatic replica of T_d in T_N such that (1) all vertices at the same level in T_d are mapped into vertices at the same level in T_N; (2) if a vertex x of T_d is mapped into a vertex y in T_N, then the two children of x are mapped into descendants of the the two children of y in T_N, respectively; and 3 the levels occupied by this replica form an arithmetic progression. This result and its density versions imply van der Waerden's and Szemerédi's theorems, and laid the foundations of a new Ramsey theory for trees.
Using simple counting arguments and a randomized coloring algorithm called random split, we prove the following related result. Let N=N(d,k) denote the smallest positive integer such that no matter how we color the vertices of a complete binary tree T_N of depth N with k colors, we can find a monochromatic replica of T_d in T_N which satisfies properties (1) and (2) above. Then we have N(d,k)=Θ(dk\log k). We also prove a density version of this result, which, combined with Szemerédi's theorem, provides a very short combinatorial proof of a quantitative version of the Furstenberg-Weiss theorem.