arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2016-11-22
The Total Acquisition Number of Random Geometric Graphs
Published • View PublicationBIB
Let $G$ be a graph in which each vertex initially has weight 1. In each step, the weight from a vertex $u$ to a neighbouring vertex $v$ can be moved, provided that the weight on $v$ is at least as large as the weight on $u$. The total acquisition number of $G$, denoted by $a_t(G)$, is the minimum cardinality of the set of vertices with positive weight at the end of the process. In this paper, we investigate random geometric graphs $G(n,r)$ with $n$ vertices distributed u.a.r. in $[0,\sqrt{n}]^2$ and two vertices being adjacent if and only if their distance is at most $r$. We show that asymptotically almost surely $a_t(G(n,r)) = Θ( n / (r \lg r)^2)$ for the whole range of $r=r_n \ge 1$ such that $r \lg r \le \sqrt{n}$. By monotonicity, asymptotically almost surely $a_t(G(n,r)) = Θ(n)$ if $r < 1$, and $a_t(G(n,r)) = Θ(1)$ if $r \lg r > \sqrt{n}$.
2016-11-22 v3
Short monadic second order sentences about sparse random graphs
Published • View PublicationBIB
In this paper, we study zero-one laws for the Erdős--Rényi random graph model $G(n,p)$ in the case when $p = n^{-α}$ for $α>0$. For a given class $\mathcal{K}$ of logical sentences about graphs and a given function $p=p(n)$, we say that $G(n,p)$ obeys the zero-one law (w.r.t. the class $\mathcal{K}$) if each sentence $\varphi\in\mathcal{K}$ either a.a.s. true or a.a.s. false for $G(n,p)$. In this paper, we consider first order properties and monadic second order properties of bounded \textit{quantifier depth} $k$, that is, the length of the longest chain of nested quantifiers in the formula expressing the property. Zero-one laws for properties of quantifier depth $k$ we call the \textit{zero-one $k$-laws}. The main results of this paper concern the zero-one $k$-laws for monadic second order properties (MSO properties). We determine all values $α>0$, for which the zero-one $3$-law for MSO properties does not hold. We also show that, in contrast to the case of the $3$-law, there are infinitely many values of $α$ for which the zero-one $4$-law for MSO properties does not hold. To this end, we analyze the evolution of certain properties of $G(n,p)$ that may be of independent interest.
2016-11-20 v3
Square of a Hamilton cycle in a random graph
We show that the threshold for the random graph $G_{n,p}$ to contain the square of a Hamilton cycle is $p=\frac{1}{\sqrt{n}}$. This improves the previous results of Kühn and Osthus and also Nenadov and Škorić. In addition we consider how many random edges need to be added to a graph of order $n$ with minimum degree $αn$ in order that it contains the square of a Hamilton cycle w.h.p.
2016-11-19 v2
The corank of a rectangular random integer matrix
Published • View PublicationBIB
We show that under reasonable conditions, a random $n\times (2+ε) n$ integer matrix is surjective on $\mathbb{Z}^{n}$ with probability $1-O(e^{-cn})$. We also conjecture that this should hold for $n\times (1+ε)n$, and provide a counterexample to show that our "reasonableness" conditions are necessary.
2016-11-19
Sandpile groups and the coeulerian property for random directed graphs
Published • View PublicationBIB
We consider random directed graphs, and calculate the distribution of the cokernels of their laplacian, following the methods used by Wood. As a corollary, we show that the probability that a random digraph is coeulerian is asymptotically upper bounded by a constant around $0.43$.
2016-11-17 v2
Explicit (Polynomial!) Expressions for the Expectation, Variance and Higher Moments of the Size of a (2n + 1, 2n + 3)-core partition with Distinct Parts
Published • View PublicationBIB
Inspired by Armin Straub's conjecture (arXiv:1601.07161) about the number and maximal size of (2n+1, 2n+3)-core partitions with distinct parts, we develop relatively efficient, symbolic-computational algorithms, based on non-linear functional recurrences, to generate the generating functions, according to size, of the set of such partitions. By computing these polynomials for n=1,...21, we are able to rigorously derive explicit expressions for the expectation, variance, and third through seventh moments of the random variable "size of a (2n+1, 2n+3)-core partition with distinct parts." In particular, we find that this random variable is not asymptotically normal as n goes to infinity.
2016-11-15
Scaling Laws for Maximum Coloring of Random Geometric Graphs
Published • View PublicationBIB
We examine maximum vertex coloring of random geometric graphs, in an arbitrary but fixed dimension, with a constant number of colors. Since this problem is neither scale-invariant nor smooth, the usual methodology to obtain limit laws cannot be applied. We therefore leverage different concepts based on subadditivity to establish convergence laws for the maximum number of vertices that can be colored. For the constants that appear in these results, we provide the exact value in dimension one, and upper and lower bounds in higher dimensions.
Fighting Fish: enumerative properties
Published • View PublicationBIB
Fighting fish were very recently introduced by the authors as combinatorial structures made of square tiles that form two dimensional branching surfaces. A main feature of these fighting fish is that the area of uniform random fish of size $n$ scales like $n^{5/4}$ as opposed to the typical $n^{3/2}$ area behavior of the staircase or direct convex polyominoes that they generalize. In this extended abstract we concentrate on enumerative properties of fighting fish: in particular we provide a new decomposition and we show that the number of fighting fish with $i$ left lower free edges and $j$ right lower free edges is equal to \begin{equation*} \frac{(2i+j-2)!(2j+i-2)!}{i!j!(2i-1)!(2j-1)!}. \end{equation*} These numbers are known to count rooted planar non-separable maps with $i+1$ vertices and $j+1$ faces, or two-stack-sortable permutations with respect to ascending and descending runs, or left ternary trees with respect to vertices with even and odd abscissa. However we have been unable until now to provide any explicit bijection between our fish and such structures. Instead we provide new refined generating series for left ternary trees to prove further equidistribution results.
2016-11-13
The weak Bruhat order for random walks on Coxeter groups
We show that for the simple random walk on a Coxeter group generated by the Coxeter generators and identity, the likelihoods of being at any pair of states respect the weak Bruhat order. That is, after any number of steps, the most likely element is the identity, probabilities decrease along any geodesic from the identity, and the least likely element is the longest element, if the group is finite. The result remains true when different generators have different probabilities, so long as the identity is at least as likely as any other.
2016-11-11
Polynomial mixing of the edge-flip Markov chain for unbiased dyadic tilings
Published • View PublicationBIB
We give the first polynomial upper bound on the mixing time of the edge-flip Markov chain for unbiased dyadic tilings, resolving an open problem originally posed by Janson, Randall, and Spencer in 2002. A dyadic tiling of size n is a tiling of the unit square by n non-overlapping dyadic rectangles, each of area 1/n, where a dyadic rectangle is any rectangle that can be written in the form [a2^{-s}, (a+1)2^{-s}] \times [b2^{-t}, (b+1)2^{-t}] for non-negative integers a,b,s,t. The edge-flip Markov chain selects a random edge of the tiling and replaces it with its perpendicular bisector if doing so yields a valid dyadic tiling. Specifically, we show that the relaxation time of the edge-flip Markov chain for dyadic tilings is at most O(n^{4.09}), which implies that the mixing time is at most O(n^{5.09}). We complement this by showing that the relaxation time is at least Ω(n^{1.38}), improving upon the previously best lower bound of Ω(n\log n) coming from the diameter of the chain.
2016-11-11 v2
When is a scale-free graph ultra-small?
Published • View PublicationBIB
In this paper we study typical distances in the configuration model, when the degrees have asymptotically infinite variance. We assume that the empirical degree distribution follows a power law with exponent $τ\in (2,3)$, up to value $n^{β_n}$ for some $β_n\gg (\log n)^{-γ}$ and $γ\in(0,1)$. This assumption is satisfied for power law i.i.d. degrees, and also includes truncated power-law distributions where the (possibly exponential) truncation happens at $n^{β_n}$. We show that the graph distance between two uniformly chosen vertices centers around $2 \log \log (n^{β_n}) / |\log (τ-2)| + 1/(β_n(3-τ))$, with tight fluctuations. Thus, the graph is an \emph{ultrasmall world} whenever $1/β_n=o(\log\log n)$. We determine the distribution of the fluctuations around this value, in particular we prove that these are non-converging tight random variables that show $\log \log$-periodicity. We describe the topology and number of shortest paths: We show that the number of shortest paths is of order $n^{f_nβ_n}$, where $f_n \in (0,1)$ is a random variable that oscillates with $n$. The two end-segments of any shortest path have length $\log \log (n^{β_n}) / |\log (τ-2)|$+tight, and the total degree is increasing towards the middle of the path on these segments. The connecting middle segment has length $1/(β_n(3-τ))$+tight, and it contains only vertices with degree at least of order $n^{(1-f_n)β_n}$, thus all the degrees on this segment are comparable to the maximal degree. Our theorems also apply when instead of truncating the degrees, we start with a configuration model and we remove every vertex with degree at least $n^{β_n}$, and the edges attached to these vertices. This sheds light on the attack vulnerability of the configuration model with infinite variance degrees.
2016-11-10
The number of satisfying assignments of random regular k-SAT formulas
Published • View PublicationBIB
Let $Φ$ be a random $k$-SAT formula in which every variable occurs precisely $d$ times positively and $d$ times negatively. Assuming that $k$ is sufficiently large and that $d$ is slightly below the critical degree where the formula becomes unsatisfiable with high probability, we determine the limiting distribution of the logarithm of the number of satisfying assignments.
2016-11-09
Asymptotic analysis of the cyclic structure of permutations
This is my dissertation. Its research object is a symmetric group of permutations acting on a finite set. The density of permutations with a given cycle structure pattern is explored when the group order tends to infinity. New and sharper asymptotic formulas are obtained. The latter are applied in approximations of the cycle vector distribution of a random permutation. The saddle-point method, Lagrange-Bürmann inversion formula, Laplace transformations, and other techniques of complex analysis are applied.
New CRT sequence sets for a collision channel without feedback
Published • View PublicationBIB
Protocol sequences are binary and periodic sequences used for deterministic multiple access in a collision channel without feedback. In this paper, we focus on user-irrepressible (UI) protocol sequences that can guarantee a positive individual throughput per sequence period with probability one for a slot-synchronous channel, regardless of the delay offsets among the users. As the sequence period has a fundamental impact on the worst-case channel access delay, a common objective of designing UI sequences is to make the sequence period as short as possible. Consider a communication channel that is shared by $M$ active users, and assume that each protocol sequence has a constant Hamming weight $w$. To attain a better delay performance than previously known UI sequences, this paper presents a CRTm construction of UI sequences with $w=M+1$, which is a variation of the previously known CRT construction. For all non-prime $M\geq 8$, our construction produces the shortest known sequence period and the shortest known worst-case delay of UI sequences. Numerical results show that the new construction enjoys a better average delay performance than the optimal random access scheme and other constructions with the same sequence period, in a variety of traffic conditions. In addition, we derive an asymptotic lower bound on the minimum sequence period for $w=M+1$ if the sequence structure satisfies some technical conditions, called equi-difference, and prove the tightness of this lower bound by using the CRTm construction.
2016-11-09 v2
Phase transitions of extremal cuts for the configuration model
Published in Electron.J.Probab. 22 1 (2017) • View PublicationBIB
The $k$-section width and the Max-Cut for the configuration model are shown to exhibit phase transitions according to the values of certain parameters of the asymptotic degree distribution. These transitions mirror those observed on Erdős-Rényi random graphs, established by Luczak and McDiarmid (2001), and Coppersmith et al. (2004), respectively.
2016-11-08 v3
Matrix Representation for Multiplicative Nested Sums
Published • View PublicationBIB
We study multiplicative nested sums, which are generalizations of harmonic sums, and provide a calculation through multiplication of index matrices. Special cases interpret the index matrices as stochastic transition matrices of random walks on a finite number of sites. Relations among multiplicative nested sums, which are generalizations of relations between harmonic series and multiple zeta functions, can be easily derived from identities of the index matrices. Combinatorial identities and their generalizations can also be derived from this computation.
On coalescence time in graphs--When is coalescing as fast as meeting?
Published • View PublicationBIB
Coalescing random walks is a fundamental stochastic process, where a set of particles perform independent discrete-time random walks on an undirected graph. Whenever two or more particles meet at a given node, they merge and continue as a single random walk. The coalescence time is defined as the expected time until only one particle remains, starting from one particle at every node. Despite recent progress the coalescence time for graphs such as binary trees, d-dimensional tori, hypercubes and more generally, vertex-transitive graphs, remains unresolved. We provide a powerful toolkit that results in tight bounds for various topologies including the aforementioned ones. The meeting time is defined as the worst-case expected time required for two random walks to arrive at the same node at the same time. As a general result, we establish that for graphs whose meeting time is only marginally larger than the mixing time (a factor of log^2 n), the coalescence time of n random walks equals the meeting time up to constant factors. This upper bound is complemented by the construction of a graph family demonstrating that this result is the best possible up to constant factors. For almost-regular graphs, we bound the coalescence time by the hitting time, resolving the discrete-time variant of a conjecture by Aldous for this class of graphs. Finally, we prove that for any graph the coalescence time is bounded by O(n^3) (which is tight for the Barbell graph); surprisingly even such a basic question about the coalescing time was not answered before this work. By duality, our results give bounds on the voter model and therefore give bounds on the consensus time in arbitrary undirected graphs. We also establish a new bound on the hitting time and cover time of regular graphs, improving and tightening previous results by Broder and Karlin, as well as those by Aldous and Fill.
2016-11-07 v3
Semiclassical asymptotics of $\operatorname{GL}_N(\mathbb{C})$ tensor products and quantum random matrices
Published in Sel. Math. New Ser. 24 (2018), no. 3, 2571-2623 • View PublicationBIB
The Littlewood--Richardson process is a discrete random point process arising from the isotypic decomposition of tensor products of irreducible representations of $\operatorname{GL}_N(\mathbb{C})$. Biane--Perelomov--Popov matrices are quantum random matrices obtained as the geometric quantization of random Hermitian matrices with deterministic eigenvalues and uniformly random eigenvectors. As first observed by Biane, correlation functions of certain global observables of the LR process coincide with correlation functions of linear statistics of sums of classically independent BPP matrices, thereby enabling a random matrix approach to the statistical study of $\operatorname{GL}_N(\mathbb{C})$ tensor products. In this paper, we prove an optimal result: classically independent BPP matrices become freely independent in any semiclassical/large-dimension limit. This proves and generalizes a conjecture of Bufetov and Gorin, and leads to a Law of Large Numbers for the BPP observables of the LR process which holds in any and all semiclassical scalings.
2016-11-07
Logarithmic Tree Factorials
To any rooted tree, we associate a sequence of numbers that we call the logarithmic factorials of the tree. This provides a generalization of Bhargava's factorials to a natural combinatorial setting suitable for studying questions around generalized factorials. We discuss several basic aspects of the framework in this paper. In particular, we relate the growth of the sequence of logarithmic factorials associated to a tree to the transience of the random walk and the existence of a harmonic measure on the tree, obtain an equidistribution theorem for factorial-determining-sequences of subsets of local fields, and provide a factorial-based characterization of the branching number of infinite trees. Our treatment is based on a local weighting process in the tree which gives an effective way of constructing the factorial sequence.
2016-11-07
A generalized inverse for graphs with absorption
Published • View PublicationBIB
We consider weighted, directed graphs with a notion of absorption on the vertices, related to absorbing random walks on graphs. We define a generalized inverse of the graph Laplacian, called the absorption inverse, that reflects both the graph structure as well as the absorption rates on the vertices. Properties of this generalized inverse are presented, including a matrix forest theorem relating this generalized inverse to spanning forests of a related graph, as well as relationships between the absorption inverse and the fundamental matrix of the absorbing random walk. Applications of the absorption inverse for describing the structure of graphs with absorption are presented, including a directed distance metric, spectral partitioning algorithm, and centrality measure.