arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
2020-03-16
Expectations of Tutte-related functions of random ranked sets with multiplicities
Published • View Publication • BIB
Employing two models, we show that various counting functions of a random variable defined by restriction or contraction of a ranked set with multiplicity (e.g., classical and arithmetic matroids) have expectations given by the corresponding multivariate Tutte polynomial. The first model is based on a generalization of a convolution formula of Kung (2010), extending from matroids to ranked sets with multiplicities. This model enables us to compute the expectations of many familiar polynomials, such as the chromatic, flow and Ehrhart polynomials, generalizing the classical results of Welsh (1996) on random graphs. The second model is designed to compute the expectations of invariants that are generally not evaluations of the polynomials mentioned above, such as the number of connected components of an intersection of hypersurfaces in an abelian Lie group arrangement, and the number of lattice points in a half-open zonotope. In particular, both models yield new probabilistic interpretations of the arithmetic Tutte polynomial and $G$-Tutte polynomial. A simple, but seems to be new convolution-like formula for the Ehrhart polynomials of lattice zonotopes will also be given.
2020-03-15
Expected mean width of the randomized integer convex hull
Published • View Publication • BIB
Let $K \in \R^d$ be a convex body, and assume that $L$ is a randomly rotated and shifted integer lattice. Let $K_L$ be the convex hull of the (random) points $K \cap L$. The mean width $W(K_L)$ of $K_L$ is investigated. The asymptotic order of the mean width difference $W(łK)-W((łK)_L)$ is maximized by the order obtained by polytopes and minimized by the order for smooth convex sets as $ł\to \infty$.
2020-03-13
On bucket increasing trees, clustered increasing trees and increasing diamonds
Published • View Publication • BIB
In this work we analyze bucket increasing tree families. We introduce two simple stochastic growth processes, generating random bucket increasing trees of size $n$, complementing the earlier result of Mahmoud and Smythe for bucket recursive trees. On the combinatorial side, we define multilabelled generalizations of the tree families $d$-ary increasing trees and generalized plane-oriented recursive trees. Additionally, we introduce a clustering process for ordinary increasing trees and relate it to bucket increasing trees. We discuss in detail the bucket size two and present a bijection between such bucket increasing tree families and certain families of graphs called increasing diamonds, providing an explanation for phenomena observed by Bodini et al.
2020-03-13 v3
Absorbing time asymptotics in the oriented swap process
Published • View Publication • BIB
The oriented swap process is a natural directed random walk on the symmetric group that can be interpreted as a multi-species version of the Totally Asymmetric Simple Exclusion Process (TASEP) on a finite interval. An open problem from a 2008 paper of Angel, Holroyd, and Romik asks for the limiting distribution of the absorbing time of the process. We resolve this question by proving that this random variable satisfies GOE Tracy-Widom asymptotics. Our starting point is a distributional identity relating the behavior of the oriented swap process to last passage percolation, conjectured in a recent paper of Bisi, Cunden, Gibbons, and Romik. The main technical tool is a shift-invariance principle for multi-species TASEPs, obtained by exploiting recent results of Borodin, Gorin, and Wheeler for the stochastic colored six-vertex model.
Clustering in a hyperbolic model of complex networks
Published • View Publication • BIB
In this paper we consider the clustering coefficient and clustering function in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been shown that this model has various properties associated with complex networks, e.g. power-law degree distribution, short distances and non-vanishing clustering coefficient. Here we show that the clustering coefficient tends in probability to a constant $γ$ that we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. This improves earlier work by Gugelmann et al., who proved that the clustering coefficient remains bounded away from zero with high probability, but left open the issue of convergence to a limiting constant. Similarly, we are able to show that $c(k)$, the average clustering coefficient over all vertices of degree exactly $k$, tends in probability to a limit $γ(k)$ which we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. We are able to extend this last result also to sequences $(k_n)_n$ where $k_n$ grows as a function of $n$. Our results show that $γ(k)$ scales differently, as $k$ grows, for different ranges of $α$. More precisely, there exists constants $c_{α,ν}$ depending on $α$ and $ν$, such that as $k \to \infty$, $γ(k) \sim c_{α,ν} \cdot k^{2 - 4α}$ if $\frac{1}{2} < α< \frac{3}{4}$, $γ(k) \sim c_{α,ν} \cdot \log(k) \cdot k^{-1} $ if $α=\frac{3}{4}$ and $γ(k) \sim c_{α,ν} \cdot k^{-1}$ when $α> \frac{3}{4}$. These results contradict a claim of Krioukov et al., which stated that the limiting values $γ(k)$ should always scale with $k^{-1}$ as we let $k$ grow.
2020-03-09
On the structural stability of random systems
Understanding which system structure can sustain stable dynamics is a fundamental step in the design and analysis of large scale dynamical systems. Towards this goal, we investigate here the structural stability of systems with a random structure. As is usually done, we describe the system's structure through a graph describing interactions between parts of the system, and we call a graph stable if it describe a structurally stable system, i.e., a system which can sustain stable dynamics. We then consider two Erdos-Renyi random graph models, and we obtain for each the probability that a graph sampled from these models is structurally stable.
2020-03-08 v4
Ramsey degrees: big v. small
In this paper we investigate algebraic properties of big Ramsey degrees in categories satisfying some mild conditions. As the first nontrivial consequence of the generalization we advocate in this paper we prove that small Ramsey degrees are the minima of the corresponding big ones. We also prove that big Ramsey degrees are subadditive and show that equality is enforced by an abstract property of objects we refer to as self-similarity. Finally, we apply the abstract machinery developed in the paper to show that if a countable relational structure has finite big Ramsey degrees, then so do its quantifier-free reducts. In particular, it follows that the reducts of (Q, <), the random graph, the random tournament and (Q, <, 0) all have finite big Ramsey degrees.
2020-03-08
3-Symmetric Graphs
An intuitive property of a random graph is that its subgraphs should also appear randomly distributed. We consider graphs whose subgraph densities exactly match their expected values. We call graphs with this property for all subgraphs with $k$ vertices to be $k$-symmetric. We discuss some properties and examples of such graphs. We construct 3-symmetric graphs and provide some statistics.
Cycles of given lengths in unicyclic components in sparse random graphs
Published • View Publication • BIB
Let $L$ be subset of $\{3,4,\dots\}$ and let $X_{n,M}^{(L)}$ be the number of cycles belonging to unicyclic components whose length is in $L$ in the random graph $G(n,M)$. We find the limiting distribution of $X_{n,M}^{(L)}$ in the subcritical regime $M=cn$ with $c<1/2$ and the critical regime $M=\frac{n}{2}\left(1+μn^{-1/3}\right)$ with $μ=O(1)$. Depending on the regime and a condition involving the series $\sum_{l \in L} \frac{z^l}{2l}$, we obtain in the limit either a Poisson or a normal distribution as $n\to\infty$.
Martin boundary of random walks in convex cones
Published • View Publication • BIB
We determine the asymptotic behavior of the Green function for zero-drift random walks confined to multidimensional convex cones. As a consequence, we prove that there is a unique positive discrete harmonic function for these processes (up to a multiplicative constant); in other words, the Martin boundary reduces to a singleton.
2020-03-07 v2
Arcs in $\mathbb F_q^2$
An arc is a subset of $\mathbb F_q^2$ which does not contain any collinear triples. Let $A(q,k)$ denote the number of arcs in $\mathbb F_q^2$ with cardinality $k$. This paper is primarily concerned with estimating the size of $A(q,k)$ when $k$ is relatively large, namely $k=q^t$ for some $t>0$. Trivial estimates tell us that \[ {q \choose k} \leq A(q,k) \leq {q^2 \choose k}. \] We show that the behaviour of $A(q,k)$ changes significantly close to $t=1/2$. Below this threshold an elementary argument is used to prove that the trivial upper bound above cannot be improved significantly. On the other hand, for $t \geq 1/2+δ$, we use the theory of hypergraph containers to get an improved upper bound \[ A(q,k) \leq {q^{2-t+2δ} \choose k}. \] This technique is also used to give an upper bound for the size of the largest arc in a random subset of $\mathbb F_q^2$ which holds with high probability. For example, we prove that a $p$-random subset $Q \subset \mathbb F_q^2$ with $q^{-3/2}<p<q^{-1}$ contains an arc of size $Ω(q^{1/2})$ with high probability. The result is optimal for this range of $p$. Finally, this optimal bound for arcs in random sets is used to prove a finite field analogue of a result of Balogh and Solymosi, with a better exponent: there exists a subset $P \subset \mathbb F_q^2$ which does not contain any collinear quadruples, but with the property that for every $P' \subset P$ with $|P'| \geq |P|^{3/4+o(1)}$, $P'$ contains a collinear triple.
2020-03-07 v3
Quasi-random words and limits of word sequences
Published in European Journal of Combinatorics, Volume 98, 2021 • View Publication • BIB
Words are sequences of letters over a finite alphabet. We study two intimately related topics for this object: quasi-randomness and limit theory. With respect to the first topic we investigate the notion of uniform distribution of letters over intervals, and in the spirit of the famous Chung--Graham--Wilson theorem for graphs we provide a list of word properties which are equivalent to uniformity. In particular, we show that uniformity is equivalent to counting 3-letter subsequences. Inspired by graph limit theory we then investigate limits of convergent word sequences, those in which all subsequence densities converge. We show that convergent word sequences have a natural limit, namely Lebesgue measurable functions of the form $f:[0,1]\to[0,1]$. Via this theory we show that every hereditary word property is testable, address the problem of finite forcibility for word limits and establish as a byproduct a new model of random word sequences. Along the lines of the proof of the existence of word limits, we can also establish the existence of limits for higher dimensional structures. In particular, we obtain an alternative proof of the result by Hoppen, Kohayakawa, Moreira, Ráth and Sampaio [{\it J. Combin. Theory Ser. B 103(1):93--113, 2013}] establishing the existence of permutons.
2020-03-06 v5
Rainbow Hamilton Cycles in Random Geometric Graphs
Published • View Publication • BIB
Let $X_1,X_2,\ldots,X_n$ be chosen independently and uniformly at random from the unit $d$-dimensional cube $[0,1]^d$. Let $r$ be given and let $\cal X=\{X_1,X_2,\ldots,X_n\}$. The random geometric graph $G=G_{\cal X,r}$ has vertex set $\cal X$ and an edge $X_iX_j$ whenever $\|X_i-X_j\|\leq r$. We show that if each edge of $G$ is colored independently from one of $n+o(n)$ colors and $r$ has the smallest value such that $G$ has minimum degree at least two, then $G$ contains a rainbow Hamilton cycle a.a.s.
2020-03-06 v3
On Multitype Random Forests with a Given Degree Sequence, the Total Population of Branching Forests and Enumerations of Multitype Forests
The degree sequence $(N_{i,j}(k),1\leq i,j\leq d,k\geq 0)$ of a multitype forest with $d$ types, is the number of individuals type $i$, having $k$ children type $j$. We construct a multitype forest sampled uniformly from all multitype forest with a given degree sequence (MFGDS). For this, we use an extension of the Ballot Theorem by (Chaumont and Liu, 2016), and generalize the Vervaat transform (Vervaat, 1979) to multidimensional discrete exchangeable increment processes. We prove that MFGDS are extensions of multitype Galton-Watson (MGW) forests, since mixing the laws of the former, one obtains MGW forests with fixed sizes by type (CMGW). We also obtain the law of the total population by types in a MGW forest, generalizing Otter-Dwass formula (Otter 1949, Dwass 1969). We apply this to obtain enumerations of plane, labeled and binary multitype forests having fixed roots and individuals by types. We give an algorithm to simulate certain CMGW forests, generalizing the unitype case of (Devroye, 2012).
2020-03-06 v3
Fast calculation of the variance of edge crossings in random arrangements
The crossing number of a graph $G$, $\mathrm{cr}(G)$, is the minimum number of edge crossings arising when drawing a graph on a certain surface. Determining $\mathrm{cr}(G)$ is a problem of great importance in Graph Theory. Its maximum variant, i.e. the maximum crossing number, $\mathrm{max-cr}(G)$, is receiving growing attention. Instead of an optimization problem on the number of crossings, here we consider the variance of the number of edge crossings, when embedding the vertices of an arbitrary graph uniformly at random in some space. In his pioneering research, Moon derived this variance on random linear arrangements of complete unipartite and bipartite graphs. Given the need of efficient algorithms to support this sort of research and given also the growing interest of the number of edge crossings in spatial networks, networks where vertices are embedded in some space, here we derive an algorithm to calculate the variance in arbitrary graphs in time $o(nm^2)$ that we transform into one that runs in time $O(nm)$ by reusing computations. We also derive one for forests that runs in time $O(n)$. These algorithms work on a wide range of random layouts (not only on Moon's) and are based on novel arithmetic expressions for the calculation of the variance that we develop from previous theoretical work. This paves the way for many applications that rely on a fast but exact calculation of the variance.
2020-03-06 v2
Covering cycles in sparse graphs
Published • View Publication • BIB
Let $k \geq 2$ be an integer. Kouider and Lonc proved that the vertex set of every graph $G$ with $n \geq n_0(k)$ vertices and minimum degree at least $n/k$ can be covered by $k - 1$ cycles. Our main result states that for every $α> 0$ and $p = p(n) \in (0, 1]$, the same conclusion holds for graphs $G$ with minimum degree $(1/k + α)np$ that are sparse in the sense that \[ e_G(X,Y) \leq p|X||Y| + o(np\sqrt{|X||Y|}/\log^3 n) \qquad \forall X,Y\subseteq V(G). \] In particular, this allows us to determine the local resilience of random and pseudorandom graphs with respect to having a vertex cover by a fixed number of cycles. The proof uses a version of the absorbing method in sparse expander graphs.
2020-03-06
On the Collection of Fringe Subtrees in Random Binary Trees
Published • View Publication • BIB
A fringe subtree of a rooted tree is a subtree consisting of one of the nodes and all its descendants. In this paper, we are specifically interested in the number of non-isomorphic trees that appear in the collection of all fringe subtrees of a binary tree. This number is analysed under two different random models: uniformly random binary trees and random binary search trees. In the case of uniformly random binary trees, we show that the number of non-isomorphic fringe subtrees lies between $c_1n/\sqrt{\ln n}(1+o(1))$ and $c_2n/\sqrt{\ln n}(1+o(1))$ for two constants $c_1 \approx 1.0591261434$ and $c_2 \approx 1.0761505454$, both in expectation and with high probability, where $n$ denotes the size (number of leaves) of the uniformly random binary tree. A similar result is proven for random binary search trees, but the order of magnitude is $n/\ln n$ in this case. Our proof technique can also be used to strengthen known results on the number of distinct fringe subtrees (distinct in the sense of ordered trees). This quantity is of the same order of magnitude in both cases, but with slightly different constants in the upper and lower bounds.
Sorting networks, staircase Young tableaux and last passage percolation
Published in Séminaire Lotharingien de Combinatoire 84B - Proceedings of the 32nd International Conference on "Formal Power Series and Algebraic Combinatorics", 2020 • Search Publication
We present new combinatorial and probabilistic identities relating three random processes: the oriented swap process on $n$ particles, the corner growth process, and the last passage percolation model. We prove one of the probabilistic identities, relating a random vector of last passage percolation times to its dual, using the duality between the Robinson-Schensted-Knuth and Burge correspondences. A second probabilistic identity, relating those two vectors to a vector of "last swap times" in the oriented swap process, is conjectural. We give a computer-assisted proof of this identity for $n\le 6$ after first reformulating it as a purely combinatorial identity, and discuss its relation to the Edelman-Greene correspondence.
2020-03-06
Constraints on Brouwer's Laplacian Spectrum Conjecture
Published • View Publication • BIB
Brouwer's Conjecture states that, for any graph $G$, the sum of the $k$ largest (combinatorial) Laplacian eigenvalues of $G$ is at most $|E(G)| + \binom{k+1}{2}$, $1 \leq k \leq n$. We present several interrelated results establishing Brouwer's conjecture $\text{BC}_k(G)$ for a wide range of graphs $G$ and parameters $k$. In particular, we show that (1) $\text{BC}_k(G)$ is true for low-arboricity graphs, and in particular for planar $G$ when $k \geq 11$; (2) $\text{BC}_k(G)$ is true whenever the variance of the degree sequence is not very high, generalizing previous results for $G$ regular or random; (3) $\text{BC}_k(G)$ is true if $G$ belongs to a hereditarily spectrally-bounded class and $k$ is sufficiently large as a function of $k$, in particular $k \geq \sqrt{32n}$ for bipartite graphs; (4) $\text{BC}_k(G)$ holds unless $G$ has edge-edit distance $< k \sqrt{2n} = O(n^{3/2})$ from a split graph; (5) no $G$ violates the conjectured upper bound by more than $O(n^{5/4})$, and bipartite $G$ by no more than $O(n)$; and (6) $\text{BC}_k(G)$ holds for all $k$ outside an interval of length $O(n^{3/4})$. Furthermore, we present a surprising negative result: asymptotically almost surely, a uniform random signed complete graph violates the conjectured bound by $Ω(n)$.
2020-03-05 v2
Finding linearly generated subsequences
Published • View Publication • BIB
We develop a new algorithm to compute determinants of all possible Hankel matrices made up from a given finite length sequence over a finite field. Our algorithm fits within the dynamic programming paradigm by exploiting new recursive relations on the determinants of Hankel matrices together with new observations concerning the distribution of zero determinants among the possible matrix sizes allowed by the length of the original sequence. The algorithm can be used to isolate \emph{very} efficiently linear shift feedback registers hidden in strings with random prefix and random postfix for instance and, therefore, recovering the shortest generating vector. Our new mathematical identities can be used also in any other situations involving determinants of Hankel matrices. We also implement a parallel version of our algorithm. We compare our results empirically with the trivial algorithm which consists of computing determinants for each possible Hankel matrices made up from a given finite length sequence. Our new accelerated approach on a single processor is faster than the trivial algorithm on 160 processors for input sequences of length 16384 for instance.