arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2017-03-01
Distant total irregularity strength of graphs via random vertex ordering
Published in Discrete Math. 341(4) (2018) 1098-1102 • View PublicationBIB
Let $c:V\cup E\to\{1,2,\ldots,k\}$ be a (not necessarily proper) total colouring of a graph $G=(V,E)$ with maximum degree $Δ$. Two vertices $u,v\in V$ are sum distinguished if they differ with respect to sums of their incident colours, i.e. $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. The least integer $k$ admitting such colouring $c$ under which every $u,v\in V$ at distance $1\leq d(u,v)\leq r$ in $G$ are sum distinguished is denoted by ${\rm ts}_r(G)$. Such graph invariants link the concept of the total vertex irregularity strength of graphs with so called 1-2-Conjecture, whose concern is the case of $r=1$. Within this paper we combine probabilistic approach with purely combinatorial one in order to prove that ${\rm ts}_r(G)\leq (2+o(1))Δ^{r-1}$ for every integer $r\geq 2$ and each graph $G$, thus improving the previously best result: ${\rm ts}_r(G)\leq 3Δ^{r-1}$.
The Local Limit of Random Sorting Networks
Published in Annales de l'Institut Henri Poincaré, Probabilités et Statistiques. Vol. 55. No. 1. Institut Henri Poincaré, 2019. Awarded "best published paper in the journal 2018-19" • View PublicationBIB
A sorting network is a geodesic path from $12 \cdots n$ to $n \cdots 21$ in the Cayley graph of $S_n$ generated by adjacent transpositions. For a uniformly random sorting network, we establish the existence of a local limit of the process of space-time locations of transpositions in a neighbourhood of $an$ for $a\in[0,1]$ as $n\to\infty$. Here time is scaled by a factor of $1/n$ and space is not scaled. The limit is a swap process $U$ on $\mathbb{Z}$. We show that $U$ is stationary and mixing with respect to the spatial shift and has time-stationary increments. Moreover, the only dependence on $a$ is through time scaling by a factor of $\sqrt{a(1-a)}$. To establish the existence of $U$, we find a local limit for staircase-shaped Young tableaux. These Young tableaux are related to sorting networks through a bijection of Edelman and Greene.
2017-02-27
The Robot Crawler Model on Complete k-Partite and Erdős-Rényi Random Graphs
Published • View PublicationBIB
Web crawlers are used by internet search engines to gather information about the web graph. In this paper we investigate a simple process which models such software by walking around the vertices of a graph. Once initial random vertex weights have been assigned, the robot crawler traverses the graph deterministically following a greedy algorithm, always visiting the neighbour of least weight and then updating this weight to be the highest overall. We consider the maximum, minimum and average number of steps taken by the crawler to visit every vertex of firstly, complete k-partite graphs and secondly, sparse Erdős-Rényi random graphs. Our work follows on from a paper of Bonato et. al. who introduced the model.
2017-02-27 v3
Asymptotic enumeration of graphs by degree sequence, and the degree sequence of a random graph
Published • View PublicationBIB
In this paper we relate a fundamental parameter of a random graph, its degree sequence, to a simple model of nearly independent binomial random variables. This confirms a conjecture made in 1997. As a result, many interesting functions of the joint distribution of graph degrees, such as the distribution of the median degree, become amenable to estimation. Our result is established by proving an asymptotic formula conjectured in 1990 for the number of graphs with given degree sequence. In particular, this gives an asymptotic formula for the number of $d$-regular graphs for all $d$, as $n\to\infty$.
2017-02-26 v3
Cutoff for Ramanujan graphs via degree inflation
Published in Electron. Commun. Probab. Volume 22 (2017), paper no. 45, 10 pp • View PublicationBIB
Recently Lubetzky and Peres showed that simple random walks on a sequence of $d$-regular Ramanujan graphs $G_n=(V_n,E_n)$ of increasing sizes exhibit cutoff in total variation around the diameter lower bound $\frac{d}{d-2}\log_{d-1}|V_n| $. We provide a different argument under the assumption that for some $r(n) \gg 1$ the maximal number of simple cycles in a ball of radius $r(n)$ in $G_n$ is uniformly bounded in $n$.
2017-02-25 v4
Random sorting networks: local statistics via random matrix laws
Published in Probability Theory and Related Fields 175 (2019), 45-96 • View PublicationBIB
This paper finds the bulk local limit of the swap process of uniformly random sorting networks. The limit object is defined through a deterministic procedure, a local version of the Edelman-Greene algorithm, applied to a two dimensional determinantal point process with explicit kernel. The latter describes the asymptotic joint law near $0$ of the eigenvalues of the corners in the antisymmetric Gaussian Unitary Ensemble. In particular, the limiting law of the first time a given swap appears in a random sorting network is identified with the limiting distribution of the closest to $0$ eigenvalue in the antisymmetric GUE. Moreover, the asymptotic gap, in the bulk, between appearances of a given swap is the Gaudin-Mehta law -- the limiting universal distribution for gaps between eigenvalues of real symmetric random matrices. The proofs rely on the determinantal structure and a double contour integral representation for the kernel of random Poissonized Young tableaux of arbitrary shape.
2017-02-24 v2
Bounds on the reliability of typewriter channels
Published • View PublicationBIB
New lower and upper bounds on the reliability function of typewriter channels are given. Our lower bounds improve upon the (multiletter) expurgated bound of Gallager, furnishing a new and simple counterexample to a conjecture made in 1967 by Shannon, Gallager and Berlekamp on its tightness. The only other known counterexample is due to Katsman, Tsfasman and Vlăduţ who used algebraic-geometric codes on a $q$-ary symmetric channels, $q\geq 49$. Here we prove, by introducing dependence between codewords of a random ensemble, that the conjecture is false even for a typewriter channel with $q=4$ inputs. In the process, we also demonstrate that Lovász's proof of the capacity of the pentagon was implicitly contained (but unnoticed!) in the works of Jelinek and Gallager on the expurgated bound done at least ten years before Lovász. In the opposite direction, new upper bounds on the reliability function are derived for channels with an odd number of inputs by using an adaptation of Delsarte's linear programming bound. First we derive a bound based on the minimum distance, which combines Lovász's construction for bounding the graph capacity with the McEliece-Rodemich-Rumsey-Welch construction for bounding the minimum distance of codes in the Hamming space. Then, for the particular case of cross-over probability $1/2$, we derive an improved bound by also using the method of Kalai and Linial to study the spectrum distribution of codes.
2017-02-22 v2
Novel Algorithms for Sampling Abstract Simplicial Complexes
We provide dual algorithms for sampling the space of abstract simplicial complexes on a fixed number of vertices. We develop a generative and descriptive sampler designed with heuristics to help balance the combinatorial multiplicities of the states and more widely sample across the space of nonisomorphic complexes. We provide a formula for the exact probabilities with which this algorithm will produce a requested labeled state, and compare with an existing benchmark. We also design a highly conductive local ergodic random walk with known transition probabilities. We characterize the autocorrelation of the walk, and numerically test it against our sampler to illustrate its efficacy.
2017-02-22
Protection Number in Plane Trees
Published in Appl. Anal. Discrete Math. 11 (2017), pp. 314--326 • View PublicationBIB
The protection number of a plane tree is the minimal distance of the root to a leaf; this definition carries over to an arbitrary node in a plane tree by considering the maximal subtree having this node as a root. We study the the protection number of a uniformly chosen random tree of size $n$ and also the protection number of a uniformly chosen node in a uniformly chosen random tree of size $n$. The method is to apply singularity analysis to appropriate generating functions. Additional results are provided as well.
2017-02-22 v2
The perimeter cascade in critical Boltzmann quadrangulations decorated by an $O(n)$ loop model
Published in Ann. Inst. Henri Poincaré D, 7(4):535-584, 2020 • View PublicationBIB
We study the branching tree of the perimeters of the nested loops in critical $O(n)$ model for $n \in (0,2)$ on random quadrangulations. We prove that after renormalization it converges towards an explicit continuous multiplicative cascade whose offspring distribution $(x_i)_{i \ge 1}$ is related to the jumps of a spectrally positive $α$-stable Lévy process with $α= \frac{3}{2} \pm \frac{1}π \arccos(n/2)$ and for which we have the surprisingly simple and explicit transform $$ \mathbb E\left[\sum_{i \ge 1} (x_i)^θ\right] = \frac{\sin(π(2-α))}{\sin (π(θ- α))} \quad \mbox{for }θ\in (α, α+1).$$ An important ingredient in the proof is a new formula of independent interest on first moments of additive functionals of the jumps of a left-continuous random walk stopped at a hitting time. We also identify the scaling limit of the volume of the critical $O(n)$-decorated quadrangulation using the Malthusian martingale associated to the continuous multiplicative cascade.
2017-02-21
On edge exchangeable random graphs
Published • View PublicationBIB
We study a recent model for edge exchangeable random graphs introduced by Crane and Dempsey; in particular we study asymptotic properties of the random simple graph obtained by merging multiple edges. We study a number of examples, and show that the model can produce dense, sparse and extremely sparse random graphs. One example yields a power-law degree distribution. We give some examples where the random graph is dense and converges a.s. in the sense of graph limit theory, but also an example where a.s. every graph limit is the limit of some subsequence. Another example is sparse and yields convergence to a non-integrable generalized graphon defined on $(0,\infty)$.
2017-02-19 v2
The independence number of the Birkhoff polytope graph, and applications to maximally recoverable codes
Published • View PublicationBIB
Maximally recoverable codes are codes designed for distributed storage which combine quick recovery from single node failure and optimal recovery from catastrophic failure. Gopalan et al [SODA 2017] studied the alphabet size needed for such codes in grid topologies and gave a combinatorial characterization for it. Consider a labeling of the edges of the complete bipartite graph $K_{n,n}$ with labels coming from $F_2^d$ , that satisfies the following condition: for any simple cycle, the sum of the labels over its edges is nonzero. The minimal d where this is possible controls the alphabet size needed for maximally recoverable codes in n x n grid topologies. Prior to the current work, it was known that d is between $(\log n)^2$ and $n\log n$. We improve both bounds and show that d is linear in n. The upper bound is a recursive construction which beats the random construction. The lower bound follows by first relating the problem to the independence number of the Birkhoff polytope graph, and then providing tight bounds for it using the representation theory of the symmetric group.
2017-02-18 v2
Explicit expressions for the moments of the size of an (n, dn-1)-core partition with distinct parts
In a previous paper (arXiv:1608.02262), we used computer-assisted methods to find explicit expressions for the moments of the size of a uniform random (n,n+1)-core partition with distinct parts. In particular, we conjectured that the distribution is asymptotically normal. However, our analysis hinged on a characterization of (n,n+1)-core partitions given by Straub, which is not readily generalized to other families of simultaneous core partitions. In another paper (arXiv:1611.05775) with Doron Zeilberger, we made use of the characterization in terms of posets to analyze (2n+1,2n+3)-core partitions with distinct parts; here, the distribution was found not to be asymptotically normal. Our method involved finding recursive structure in the relevant sequence of posets. We remarked that this method is applicable to other families of core partitions, provided that one can understand the corresponding posets. Here, we use the poset method (and, as before, a computer) to analyze (n,dn-1)-core partitions with distinct parts, where d is a natural number. (This problem was introduced by Straub in arXiv:1601.07161.) We exhibit formulas for the moments of the size, as functions of d with n fixed, and vice versa. We conjecture that the distribution is asymptotically normal as n approaches infinity. Finally, we find formulas for the first few moments, as functions of both n and d.
2017-02-17 v2
Random walks on Ramanujan complexes and digraphs
Published in Journal of the European Mathematical Society, 22(11):3441-3466, 2020 • View PublicationBIB
The cutoff phenomenon was recently confirmed for random walks on Ramanujan graphs by the first author and Peres. In this work, we obtain analogs in higher dimensions, for random walk operators on any Ramanujan complex associated with a simple group $G$ over a local field $F$. We show that if $T$ is any $k$-regular $G$-equivariant operator on the Bruhat-Tits building with a simple combinatorial property (collision-free), the associated random walk on the $n$-vertex Ramanujan complex has cutoff at time $\log_k n$. The high dimensional case, unlike that of graphs, requires tools from non-commutative harmonic analysis and the infinite-dimensional representation theory of $G$. Via these, we show that operators $T$ as above on Ramanujan complexes give rise to Ramanujan digraphs with a special property ($r$-normal), implying cutoff. Applications include geodesic flow operators, geometric implications, and a confirmation of the Riemann Hypothesis for the associated zeta functions over every group $G$, previously known for groups of type $\widetilde A_n$ and $\widetilde C_2$.
2017-02-15 v3
On The Limiting Distributions of the Total Height On Families of Trees
A symbolic-computational algorithm, fully implemented in Maple, is described, that computes explicit expressions for generating functions that enable the efficient computations of the expectation, variance, and higher moments, of the random variable `sum of distances to the root', defined on any given family of rooted ordered trees (defined by degree restrictions). Taking limits, we confirm, via elementary methods, the fact, due to David Aldous, and expanded by Svante Janson and others, that the limiting (scaled) distributions are all the same, and coincide with the limiting distribution of the same random variable, when it is defined on labeled rooted trees.
2017-02-13 v5
Projections in vector spaces over finite fields
Published • View PublicationBIB
We study the projections in vector spaces over finite fields. We prove finite fields analogues of the bounds on the dimensions of the exceptional sets for Euclidean projection mapping. We provide examples which do not have exceptional projections via projections of random sets. In the end we study the projections of sets which have the (discrete) Fourier decay.
2017-02-13 v3
Finding Hamilton cycles in random intersection graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (March 5, 2018) dmtcs:3144 • View PublicationBIB
The construction of the random intersection graph model is based on a random family of sets. Such structures, which are derived from intersections of sets, appear in a natural manner in many applications. In this article we study the problem of finding a Hamilton cycle in a random intersection graph. To this end we analyse a classical algorithm for finding Hamilton cycles in random graphs (algorithm HAM) and study its efficiency on graphs from a family of random intersection graphs (denoted here by G(n,m,p)). We prove that the threshold function for the property of HAM constructing a Hamilton cycle in G(n,m,p) is the same as the threshold function for the minimum degree at least two. Until now, known algorithms for finding Hamilton cycles in G(n,m,p) were designed to work in very small ranges of parameters and, unlike HAM, used the structure of the family of random sets.
2017-02-13 v3
Epsilon-approximations and epsilon-nets
The use of random samples to approximate properties of geometric configurations has been an influential idea for both combinatorial and algorithmic purposes. This chapter considers two related notions---$ε$-approximations and $ε$-nets---that capture the most important quantitative properties that one would expect from a random sample with respect to an underlying geometric configuration.
2017-02-13
Upper Bounds For Hitting Times Of Random Walks On Sparse Graphs
We obtain upper bounds (in most cases, sharp) for the hitting times of random walks on finite undirected graphs expressed as functions of the graph's number of edges. In particular, we show that the maximum hitting time for a simple random walk on a connected graph with $m$ edges is at most $m^2$. Similar bounds are given for the settings involving arbitrary edge-weight and edge-cost functions. Upper bounds of this type are especially useful for sparse graphs.
2017-02-10 v3
Boundary correlations in planar LERW and UST
Published in Comm. Math. Phys., 376(3):2065-2145, 2020 • View PublicationBIB
We find explicit formulas for the probabilities of general boundary visit events for planar loop-erased random walks, as well as connectivity events for branches in the uniform spanning tree. We show that both probabilities, when suitably renormalized, converge in the scaling limit to conformally covariant functions which satisfy partial differential equations of second and third order, as predicted by conformal field theory. The scaling limit connectivity probabilities also provide formulas for the pure partition functions of multiple $\mathrm{SLE}_κ$ at $κ=2$.