arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
Packing Hamilton Cycles Online
Published • View PublicationBIB
It is known that w.h.p. the hitting time $τ_{2σ}$ for the random graph process to have minimum degree $2σ$ coincides with the hitting time for $σ$ edge disjoint Hamilton cycles. In this paper we prove an online version of this property. We show that, for a fixed integer $σ\geq 2$, if random edges of $K_n$ are presented one by one then w.h.p. it is possible to color the edges online with $σ$ colors so that at time $τ_{2σ}$, each color class is Hamiltonian.
2016-08-17 v4
Random self-similar trees and a hierarchical branching process
Published • View PublicationBIB
We study self-similarity in random binary rooted trees. In a well-understood case of Galton-Watson trees, a distribution on a space of trees is said to be self-similar if it is invariant with respect to the operation of pruning, which cuts the tree leaves. This only happens for the critical Galton-Watson tree (a constant process progeny), which also exhibits other special symmetries. We extend the prune-invariance setup to arbitrary binary trees with edge lengths. In this general case the class of self-similar processes becomes much richer and covers a variety of practically important situations. The main result is construction of the hierarchical branching processes that satisfy various self-similarity definitions (including mean self-similarity and self-similarity in edge-lengths) depending on the process parameters. Taking the limit of averaged stochastic dynamics, as the number of trajectories increases, we obtain a deterministic system of differential equations that describes the process evolution. This system is used to establish a phase transition that separates fading and explosive behavior of the average process progeny. We describe a class of critical Tokunaga processes that happen at the phase transition boundary. They enjoy multiple additional symmetries and include the celebrated critical binary Galton-Watson tree with independent exponential edge length as a special case. Finally, we discuss a duality between trees and continuous functions, and introduce a class of extreme-invariant processes, constructed as the Harris paths of a self-similar hierarchical branching process, whose local minima has the same (linearly scaled) distribution as the original process.
2016-08-17
Birth of a giant $(k_1,k_2)$-core in the random digraph
Published • View PublicationBIB
The $(k_1,k_2)$-core of a digraph is the largest sub-digraph with minimum in-degree and minimum out-degree at least $k_1$ and $k_2$ respectively. For $\max\{k_1, k_2\} \geq 2$, we establish existence of the threshold edge-density $c^*=c^*(k_1,k_2)$, such that the random digraph $D(n,m)$, on the vertex set $[n]$ with $m$ edges, asymptotically almost surely has a giant $(k_1,k_2)$-core if $m/n> c^*$, and has no $(k_1,k_2)$-core if $m/n<c^*$. Specifically, denoting $\text{P}(\text{Poisson}(z)\ge k)$ by $p_k(z)$, we prove that $c^*=\min\limits_{z_1,z_2}\max\left\{\tfrac{z_1}{p_{k_1}(z_1)p_{k_2-1}(z_2)}; \tfrac{z_2}{p_{k_1-1}(z_1)p_{k_2}(z_2)}\right\}$.
2016-08-16 v3
Quantifying minimal non-collinearity among random points
Published • View PublicationBIB
Let $\varphi_{n,K}$ denote the largest angle in all the triangles with vertices among the $n$ points selected at random in a compact convex subset $K$ of $\mathbb{R}^d$ with nonempty interior, where $d\ge2$. It is shown that the distribution of the random variable $λ_d(K)\,\frac{n^3}{3!}\,(π-\varphi_{n,K})^{d-1}$, where $λ_d(K)$ is a certain positive real number which depends only on the dimension $d$ and the shape of $K$, converges to the standard exponential distribution as $n\to\infty$. By using the Steiner symmetrization, it is also shown that $λ_d(K)$ -- which is referred to in the paper as the elongation of $K$ -- attains its minimum if and only if $K$ is a ball $B^{(d)}$ in $\mathbb{R}^d$. Finally, the asymptotics of $λ_d(B^{(d)})$ for large $d$ is determined.
2016-08-15 v4
A definite recursive relation and some statistical properties for Möbius function
An elementary recursive relation for M$\ddot{\mathrm{o}}$bius function $μ(n)$ is introduced by two simple ways. With this recursive relation, $μ(n)$ can be calculated without directly knowing the factorization of the $n$. $μ(1) \sim μ(2 \times 10^7) $ are calculated recursively one by one. Based on these $2\times 10^7$ samples, the empirical probabilities of $μ(n)$ of taking $-1$, 0, and 1 in classic statistics are calculated and compared with the theoretical probabilities in number theory. The numerical consistency between these two kinds of probability show that $μ(n)$ could be seen as an independent random sequence when $n$ is large. The expectation and variance of the $μ(n)$ are $0$ and $6 n/ π^2$, respectively. Furthermore, we show that any conjecture of the Mertens type is false in probability sense, and present an upper bound for cumulative sums of $μ(n)$ with a certain probability.
2016-08-12
The sharp threshold for making squares
Published • View PublicationBIB
Consider a random sequence of $N$ integers, each chosen uniformly and independently from the set $\{1,\dots,x\}$. Motivated by applications to factorisation algorithms such as Dixon's algorithm, the quadratic sieve, and the number field sieve, Pomerance in 1994 posed the following problem: how large should $N$ be so that, with high probability, this sequence contains a subsequence, the product of whose elements is a perfect square? Pomerance determined asymptotically the logarithm of the threshold for this event, and conjectured that it in fact exhibits a sharp threshold in $N$. More recently, Croot, Granville, Pemantle and Tetali determined the threshold up to a factor of $4/π+ o(1)$ as $x \to \infty$, and made a conjecture regarding the location of the sharp threshold. In this paper we prove both of these conjectures, by determining the sharp threshold for making squares. Our proof combines techniques from combinatorics, probability and analytic number theory; in particular, we use the so-called method of self-correcting martingales in order to control the size of the 2-core of the random hypergraph that encodes the prime factors of our random numbers. Our method also gives a new (and completely different) proof of the upper bound in the main theorem of Croot, Granville, Pemantle and Tetali.
2016-08-11 v3
On (a,b) Pairs in Random Fibonacci Sequences
Published • View PublicationBIB
We study the random Fibonacci tree, which is an infinite binary tree with non-negative integers at each node. The root consists of the number 1 with a single child, also the number 1. We define the tree recursively in the following way: if x is the parent of y, then y has two children, namely |x-y| and x+y. This tree was studied by Benoit Rittaud who proved that any pair of integers a,b that are coprime occur as a parent-child pair infinitely often. We extend his results by determining the probability that a random infinite walk in this tree contains exactly one pair (1,1), that being at the root of the tree. Also, we give tight upper and lower bounds on the number of occurrences of any specific coprime pair (a,b) at any given fixed depth in the tree.
2016-08-10 v4
Drift Analysis and Evolutionary Algorithms Revisited
Published • View PublicationBIB
One of the easiest randomized greedy optimization algorithms is the following evolutionary algorithm which aims at maximizing a boolean function $f:\{0,1\}^n \to {\mathbb R}$. The algorithm starts with a random search point $ξ\in \{0,1\}^n$, and in each round it flips each bit of $ξ$ with probability $c/n$ independently at random, where $c>0$ is a fixed constant. The thus created offspring $ξ'$ replaces $ξ$ if and only if $f(ξ') \ge f(ξ)$. The analysis of the runtime of this simple algorithm on monotone and on linear functions turned out to be highly non-trivial. In this paper we review known results and provide new and self-contained proofs of partly stronger results.
2016-08-10 v2
Universality of local statistics for noncolliding random walks
Published • View PublicationBIB
We consider the $N$-particle noncolliding Bernoulli random walk --- a discrete time Markov process in $\mathbb{Z}^{N}$ obtained from a collection of $N$ independent simple random walks with steps $\in\{0,1\}$ by conditioning that they never collide. We study the asymptotic behavior of local statistics of this process started from an arbitrary initial configuration on short times $T\ll N$ as $N\to+\infty$. We show that if the particle density of the initial configuration is bounded away from $0$ and $1$ down to scales $\mathsf{D}\ll T$ in a neighborhood of size $\mathsf{Q}\gg T$ of some location $x$ (i.e., $x$ is in the "bulk"), and the initial configuration is balanced in a certain sense, then the space-time local statistics at $x$ are asymptotically governed by the extended discrete sine process (which can be identified with a translation invariant ergodic Gibbs measure on lozenge tilings of the plane). We also establish similar results for certain types of random initial data. Our proofs are based on a detailed analysis of the determinantal correlation kernel for the noncolliding Bernoulli random walk. The noncolliding Bernoulli random walk is a discrete analogue of the $β=2$ Dyson Brownian Motion whose local statistics are universality governed by the continuous sine process. Our results parallel the ones in the continuous case. In addition, we naturally include situations with inhomogeneous local particle density on scale $T$, which nontrivially affects parameters of the limiting extended sine process, and in a particular case leads to a new behavior.
Local rewiring algorithms to increase clustering and grow a small world
Published • View PublicationBIB
Many real-world networks have high clustering among vertices: vertices that share neighbors are often also directly connected to each other. A network's clustering can be a useful indicator of its connectedness and community structure. Algorithms for generating networks with high clustering have been developed, but typically rely on adding or removing edges and nodes, sometimes from a completely empty network. Here, we introduce algorithms that create a highly clustered network by starting with an existing network and rearranging edges, without adding or removing them; these algorithms can preserve other network properties even as the clustering increases. They rely on local rewiring rules, in which a single edge changes one of its vertices in a way that is guaranteed to increase clustering. This greedy step can be applied iteratively to transform a random network into a form with much higher clustering. Additionally, the algorithms presented grow a network's clustering faster than they increase its path length, meaning that network enters a regime of comparatively high clustering and low path length: a small world. These algorithms may be a basis for how real-world networks rearrange themselves organically to achieve or maintain high clustering and small-world structure.
Critical Behaviour of Spanning Forests on Random Planar Graphs
Published in J. Phys. A: Math. Theor. 50 (2017) 074003 • View PublicationBIB
As a follow-up of previous work of the authors, we analyse the statistical mechanics model of random spanning forests on random planar graphs. Special emphasis is given to the analysis of the critical behaviour. Exploiting an exact relation with a model of O(-2)-loops and dimers, previously solved by Kostov and Staudacher, we identify critical and multicritical loci, and find them consistent with recent results of Bousquet-Mélou and Courtiel. This is also consistent with the KPZ relation, and the Berker-Kadanoff phase in the anti-ferromagnetic regime of the Potts Model on periodic lattices, predicted by Saleur. To our knowledge, this is the first known example of KPZ appearing explicitly to work within a Berker-Kadanoff phase. We set up equations for the generating function, at the value t=-1 of the fugacity, which is of combinatorial interest, and we investigate the resulting numerical series, a favourite problem of Tony Guttmann's.
2016-08-08 v2
The cross-correlation measure of families of finite binary sequences: limiting distributions and minimal values
Gyarmati, Mauduit and Sárközy introduced the cross-correlation measure $Φ_k(G)$ of order $k$ to measure the level of pseudorandom properties of families of finite binary sequences. In an earlier paper we estimated the cross-correlation measure of a random family of binary sequences. In this paper, we sharpen these earlier results by showing that for random families, the cross-correlation measure converges strongly, and so has limiting distribution. We also give sharp bounds to the minimum values of the cross-correlation measure, which settles a problem of Gyarmati, Mauduit and Sárközy nearly completely.
2016-08-08 v2
Asymptotic laws for random knot diagrams
Published • View PublicationBIB
We study random knotting by considering knot and link diagrams as decorated, (rooted) topological maps on spheres and pulling them uniformly from among sets of a given number of vertices $n$, as first established in recent work with Cantarella and Mastin. The knot diagram model is an exciting new model which captures both the random geometry of space curve models of knotting as well as the ease of computing invariants from diagrams. We prove that unknot diagrams are asymptotically exponentially rare, an analogue of Sumners and Whittington's landmark result for self-avoiding walks. Our proof uses the same key idea: We first show that knot diagrams obey a pattern theorem, which describes their fractal structure. We examine how quickly this behavior occurs in practice. As a consequence, almost all diagrams are asymmetric, simplifying sampling from this model. We conclude with experimental data on knotting in this model. This model of random knotting is similar to those studied by Diao et al., and Dunfield et al.
2016-08-07 v2
Explicit expressions for the moments of the size of an (s,s+1)-core partition with distinct parts
Published in Adv. Appl. Math. 84, 1-7 (2017) • View PublicationBIB
For fixed s, the size of an (s, s+1)-core partition with distinct parts can be seen as a random variable X_s. Using computer-assisted methods, we derive formulas for the expectation, variance, and higher moments of X_s. Our results give good evidence that X_s is asymptotically normal.
2016-08-04
Enumerations, Forbidden Subgraph Characterizations, and the Split-Decomposition
Published • View PublicationBIB
Forbidden characterizations may sometimes be the most natural way to describe families of graphs, and yet these characterizations are usually very hard to exploit for enumerative purposes. By building on the work of Gioan and Paul (2012) and Chauve et al. (2014), we show a methodology by which we constrain a split-decomposition tree to avoid certain patterns, thereby avoiding the corresponding induced subgraphs in the original graph. We thus provide the grammars and full enumeration for a wide set of graph classes: ptolemaic, block, and variants of cactus graphs (2,3-cacti, 3-cacti and 4-cacti). In certain cases, no enumeration was known (ptolemaic, 4-cacti); in other cases, although the enumerations were known, an abundant potential is unlocked by the grammars we provide (in terms of asymptotic analysis, random generation, and parameter analyses, etc.). We believe this methodology here shows its potential; the natural next step to develop its reach would be to study split-decomposition trees which contain certain prime nodes. This will be the object of future work.
2016-08-04 v4
The 2-surviving rate of planar graphs with average degree lower than $4\frac{1}{2}$
Published in Journal of Graph Theory, 89 (2018), 341-349 • View PublicationBIB
Let $G$ be any connected graph on $n$ vertices, $n \ge 2.$ Let $k$ be any positive integer. Suppose that a fire breaks out at some vertex of $G.$ Then, in each turn firefighters can protect at most $k$ vertices of $G$ not yet on fire; Next the fire spreads to all unprotected neighbours. The $k$-surviving rate of G, denoted by $ρ_k(G),$ is the expected fraction of vertices that can be saved from the fire, provided that the starting vertex is chosen uniformly at random. In this note, it is shown that for any planar graph $G$ with average degree $4\frac{1}{2} - ε,$ where $ε\in (0, 1],$ we have $ρ_2(G) \ge \frac{2}{9}ε$. In particular, the result implies a significant improvement of the bound for 2-surviving rate for triangle-free planar graphs (Esperet, van den Heuvel, Maffray and Sipma, 2013) and for planar graphs without 4-cycles (Kong, Wang, Zhang, 2012). The proof is done using the separator theorem for planar graphs. This paper is the corrected version of (Gordinowicz, 2018) unified with the corrigendum.
Packing Loose Hamilton Cycles
Published • View PublicationBIB
A subset $C$ of edges in a $k$-uniform hypergraph $H$ is a \emph{loose Hamilton cycle} if $C$ covers all the vertices of $H$ and there exists a cyclic ordering of these vertices such that the edges in $C$ are segments of that order and such that every two consecutive edges share exactly one vertex. The binomial random $k$-uniform hypergraph $H^k_{n,p}$ has vertex set $[n]$ and an edge set $E$ obtained by adding each $k$-tuple $e\in \binom{[n]}{k}$ to $E$ with probability $p$, independently at random. Here we consider the problem of finding edge-disjoint loose Hamilton cycles covering all but $o(|E|)$ edges, referred to as the \emph{packing problem}. While it is known that the threshold probability for the appearance of a loose Hamilton cycle in $H^k_{n,p}$ is $p=Θ\left(\frac{\log n}{n^{k-1}}\right)$, the best known bounds for the packing problem are around $p=\text{polylog}(n)/n$. Here we make substantial progress and prove the following asymptotically (up to a polylog$(n)$ factor) best possible result: For $p\geq \log^{C}n/n^{k-1}$, a random $k$-uniform hypergraph $H^k_{n,p}$ with high probability contains $N:=(1-o(1))\frac{\binom{n}{k}p}{n/(k-1)}$ edge-disjoint loose Hamilton cycles. Our proof utilizes and modifies the idea of "online sprinkling" recently introduced by Vu and the first author.
2016-08-02
A simple proof of almost percolation on G(n;p)
We consider bootstrap percolation on the binomial random graph $G(n,p)$ with infection threshold $r\in \mathbb{N}$, an infection process which starts from a set of initially infected vertices and in each step every vertex with at least $r$ infected neighbours becomes infected. We improve the results of Janson, Łuczak, Turova, and Valier (2012) by strengthening the probability bounds on the number of infected vertices at the end of the process, using simple arguments based on martingales and giant components.
2016-08-02 v2
Enumerative and bijective aspects of combinatorial maps: generalization, unification and application (PhD thesis)
This thesis deals with the enumerative study of combinatorial maps, and its application to the enumeration of other combinatorial objects. Combinatorial maps, or simply maps, form a rich combinatorial model. They have an intuitive and geometric definition, but are also related to some deep algebraic structures. For instance, a special type of maps called constellations provides a unifying framework for some enumeration problems concerning factorizations in the symmetric group. Standing on a position where many domains meet, maps can be studied using a large variety of methods, and their enumeration can also help us count other combinatorial objects. This thesis is a sampling from the rich results and connections in the enumeration of maps. This thesis is structured into four major parts. The first part, including Chapter 1 and 2, consist of an introduction to the enumerative study of maps. The second part, Chapter 3 and 4, contains my work in the enumeration of constellations, which are a special type of maps that can serve as a unifying model of some factorizations of the identity in the symmetric group. The third part, composed by Chapter 5 and 6, shows my research on the enumerative link from maps to other combinatorial objects, such as generalizations of the Tamari lattice and random graphs embeddable onto surfaces. The last part is the closing chapter, in which the thesis concludes with some perspectives and future directions in the enumerative study of maps.
2016-08-02 v5
Convergence of the self-avoiding walk on random quadrangulations to SLE$_{8/3}$ on $\sqrt{8/3}$-Liouville quantum gravity
Published • View PublicationBIB
We prove that a uniform infinite quadrangulation of the half-plane decorated by a self-avoiding walk (SAW) converges in the scaling limit to the metric gluing of two independent Brownian half-planes identified along their positive boundary rays. Combined with other work of the authors, this implies the convergence of the SAW on a random quadrangulation to SLE$_{8/3}$ on a certain $\sqrt{8/3}$-Liouville quantum gravity surface. The topology of convergence is the local Gromov-Hausdorff-Prokhorov-uniform topology, the natural generalization of the local Gromov-Hausdorff topology to curve-decorated metric measure spaces. We also prove analogous scaling limit results for uniform infinite quadrangulations of the whole plane decorated by either a one-sided or two-sided SAW. Our proof uses only the peeling procedure for random quadrangulations and some basic properties of the Brownian half-plane, so can be read without any knowledge of SLE or LQG.