natural ↗ reference
4894 papers tagged with this keyword
The phase transition in the configuration model
Published in Combinatorics, Probability and Computing 21 (2012), 265--299
• View Publication
• BIB
Let $G=G(d)$ be a random graph with a given degree sequence $d$, such as a random $r$-regular graph where $r\ge 3$ is fixed and $n=|G|\to\infty$. We study the percolation phase transition on such graphs $G$, i.e., the emergence as $p$ increases of a unique giant component in the random subgraph $G[p]$ obtained by keeping edges independently with probability $p$. More generally, we study the emergence of a giant component in $G(d)$ itself as $d$ varies. We show that a single method can be used to prove very precise results below, inside and above the `scaling window' of the phase transition, matching many of the known results for the much simpler model $G(n,p)$. This method is a natural extension of that used by Bollobas and the author to study $G(n,p)$, itself based on work of Aldous and of Nachmias and Peres; the calculations are significantly more involved in the present setting.
On Brenti's conjecture about the log-concavity of the chromatic polynomial
Published
• View Publication
• BIB
The chromatic polynomial is a well studied object in graph theory. There are many results and conjectures about the log-concavity of the chromatic polynomial and other polynomials related to it. The location of the roots of these polynomials has also been well studied. One famous result due to A. Sokal and C. Borgs provides a bound on the absolute value of the roots of the chromatic polynomial in terms of the highest degree of the graph. We use this result to prove a modification of a log-concavity conjecture due to F. Brenti. The original conjecture of Brenti was that the chromatic polynomial is log-concave on the natural numbers. This was disproved by Paul Seymour by presenting a counter example. We show that the chromatic polynomial $P_G(q)$ of graph $G$ is in fact log-concave for all $q > CΔ+ 1$ for an explicit constant $C < 10$, where $Δ$ denotes the highest degree of $G$. We also provide an example which shows that the result is not true for constants $C$ smaller than 1.
Limits of permutation sequences
Published
• View Publication
• BIB
A permutation sequence is said to be convergent if the density of occurrences of every fixed permutation in the elements of the sequence converges. We prove that such a convergent sequence has a natural limit object, namely a Lebesgue measurable function $Z:[0,1]^2 \to [0,1]$ with the additional properties that, for every fixed $x \in [0,1]$, the restriction $Z(x,\cdot)$ is a cumulative distribution function and, for every $y \in [0,1]$, the restriction $Z(\cdot,y)$ satisfies a "mass" condition. This limit process is well-behaved: every function in the class of limit objects is a limit of some permutation sequence, and two of these functions are limits of the same sequence if and only if they are equal almost everywhere. An ingredient in the proofs is a new model of random permutations, which generalizes previous models and might be interesting for its own sake.
Sublattices of associahedra and permutohedra
Published
• View Publication
• BIB
Grätzer asked in 1971 for a characterization of sublattices of Tamari lattices (associahedra). A natural candidate was coined by McKenzie in 1972 with the notion of a bounded homomorphic image of a free lattice---in short, bounded lattice. Urquhart proved in 1978 that every associahedron is bounded (thus so are its sublattices). Geyer conjectured in 1994 that every finite bounded lattice embeds into some associahedron. We disprove Geyer's conjecture, by introducing an infinite collection of lattice-theoretical identities that hold in every associahedron, but not in every finite bounded lattice. Among those finite counterexamples, there are the permutohedron on four letters P(4), and in fact two of its subdirectly irreducible retracts, which are Cambrian lattices of type A. For natural numbers m and n, we denote by B(m,n) the (bounded) lattice obtained by doubling a join of m atoms in an (m+n)-atom Boolean lattice. We prove that B(m,n) embeds into an associahedron iff min(m,n) is less than or equal to 1, and that B(m,n) embeds into a permutohedron iff min(m,n) is less than or equal to 2. In particular, B(3,3) cannot be embedded into any permutohedron. Nevertheless we prove that B(3,3) is a homomorphic image of a sublattice of the permutohedron on 12 letters.
Partitioning in the space of antimonotonic functions
This paper studies partitions in the space of antimonotonic boolean functions on sets of n elements. The antimonotonic functions are the antichains of the partially ordered set of subsets. We analyse and characterise a natural partial ordering on this set. We study the inter- vals according to this ordering. We show how intervals of antimonotonic functions, and a fortiori the whole space of antimonotonic functions can be partitioned as disjoint unions of certain classes of intervals. These in- tervals are uniquely determined by antimonotonic functions on smaller sets. This leads to recursive enumeration algorithms and new recursion relations. Using various decompositions, we derive new recursion formu- lae for the number of antimonotonic functions and hence for the number of monotonic functions (i.e. the Dedekind number).
The two-sided infinite extension of the Mallows model for random permutations
Published in Advances in Applied Mathematics 48 (2012), no. 5, 615-639
• View Publication
• BIB
We introduce a probability distribution Q on the group of permutations of the set Z of integers. Distribution Q is a natural extension of the Mallows distribution on the finite symmetric group. A one-sided infinite counterpart of Q, supported by the group of permutations of the set N of natural numbers, was studied previously in our paper [Gnedin and Olshanski, Ann. Prob. 38 (2010), 2103-2135; arXiv:0907.3275]. We analyze various features of Q such as its symmetries, the support, and the marginal distributions.
Chromatic polynomials of complements of bipartite graphs
Published
• View Publication
• BIB
Bicliques are complements of bipartite graphs; as such each consists of two cliques joined by a number of edges. In this paper we study algebraic aspects of the chromatic polynomials of these graphs. We derive a formula for the chromatic polynomial of an arbitrary biclique, and use this to give certain conditions under which two of the graphs have chromatic polynomials with the same splitting field. Finally, we use a subfamily of bicliques to prove the cubic case of the $α+n$ conjecture, by showing that for any cubic integer $α$, there is a natural number $n$ such that $α+n$ is a chromatic root.
On the Ramified Optimal Allocation Problem
Published in Networks & Heterogeneous Media, 2013, 8(2): 591-624
• View Publication
• BIB
This paper proposes an optimal allocation problem with ramified transport technology in a spatial economy. Ramified transportation is used to model the transport economy of scale in group transportation observed widely in both nature and efficiently designed transport systems of branching structures. The ramified allocation problem aims at finding an optimal allocation plan as well as an associated optimal allocation path to minimize overall cost of transporting commodity from factories to households. This problem differentiates itself from existing ramified transportation literature in that the distribution of production among factories is not fixed but endogenously determined as observed in many allocation practices. It's shown that due to the transport economy of scale in ramified transportation, each optimal allocation plan corresponds equivalently to an optimal assignment map from households to factories. This optimal assignment map provides a natural partition of both households and allocation paths. We develop methods of marginal transportation analysis and projectional analysis to study properties of optimal assignment maps. These properties are then related to the search for an optimal assignment map in the context of state matrix.
Two rainbow connection numbers and the parameter $σ_k(G)$
Published
• View Publication
• BIB
The rainbow connection number $rc(G)$ and the rainbow vertex-connection number $rvc(G)$ of a graph $G$ were introduced by Chartrand et al. and Krivelevich and Yuster, respectively. Good upper bounds in terms of minimum degree $δ$ were reported by Chandran et al., Krivelevich and Yuster, and Li and Shi. However, if a graph has a small minimum degree $δ$ and a large number of vertices $n$, these upper bounds are very large, linear in $n$. Hence, one may think to look for a good parameter to replace $δ$ and decrease the upper bounds significantly. Such a natural parameter is $σ_k$. In this paper, for the rainbow connection number we prove that if $G$ is a connected graph of order $n$ with $k$ independent vertices, then $rc(G)\leq 3k\frac{n-2}{σ_k+k}+6k-4$. For the rainbow vertex-connection number, we prove that $rvc(G)\leq \frac{(4k+2k^{2})n}{σ_k+k}+5k $ if $σ_k\leq 7k$ and $σ_k\geq 8k$, and $rvc(G)\leq \frac{(\frac{38k}{9}+2k^{2})n}{σ_k+k}+5k$ if $7k<σ_k< 8k$. Examples are given showing that our bounds are much better than the existing ones, i.e., for the examples $δ$ is very small but $σ_k$ is very large, and the bounds are $rc(G)< 9k-3$ and $rvc(G)\leq 9k+2k^{2}$ or $rvc(G)\leq\frac{83k}{9}+2k^{2}$, which imply that both $rc(G)$ and $rvc(G)$ can be upper bounded by constants from our upper bounds, but linear in $n$ from the existing ones.
Foulkes Characters, Eulerian Idempotents, and an Amazing Matrix
Published
• View Publication
• BIB
John Holte [16] introduced a family of "amazing matrices" which give the transition probabilities of "carries" when adding a list of numbers. It was subsequently shown that these same matrices arise in the combinatorics of the Veronese embedding of commutative algebra [4,6,7] and in the analysis of riffle shuffling [6,7]. We find that the left eigenvectors of these matrices form the Foulkes character table of the symmetric group and the right eigenvectors are the Eulerian idempotents introduced by Loday [20] in work on Hochschild homology. The connections give new closed formulae for Foulkes characters and allow explicit computation of natural correlation functions in the original carries problem.
Congruence properties of binary partition functions
Published
• View Publication
• BIB
Let A be a finite subset of the natural numbers containing 0, and let f(n) denote the number of ways to write n in the form $\sum e_j2^j$, where $\e_j \in A$. We show that there exists a computable T = T(A) so that the sequence (f(n) mod 2) is periodic with period T. Variations and generalizations of this problem are also discussed.
The shape of a random affine Weyl group element and random core partitions
Published in Annals of Probability 2015, Vol. 43, No. 4, 1643-1662
• View Publication
• BIB
Let $W$ be a finite Weyl group and ${\hat{W}}$ be the corresponding affine Weyl group. We show that a large element in ${\hat{W}}$, randomly generated by (reduced) multiplication by simple generators, almost surely has one of $|W|$-specific shapes. Equivalently, a reduced random walk in the regions of the affine Coxeter arrangement asymptotically approaches one of $|W|$-many directions. The coordinates of this direction, together with the probabilities of each direction can be calculated via a Markov chain on $W$. Our results, applied to type $\tilde{A}_{n-1}$, show that a large random $n$-core obtained from the natural growth process has a limiting shape which is a piecewise-linear graph. In this case, our random process is a periodic analogue of TASEP, and our limiting shapes can be compared with Rost's theorem on the limiting shape of TASEP.
Mesh patterns and the expansion of permutation statistics as sums of permutation patterns
Published
• View Publication
• BIB
Any permutation statistic $f:\sym\to\CC$ may be represented uniquely as a, possibly infinite, linear combination of (classical) permutation patterns: $f= Σ_τλ_f(τ)τ$. To provide explicit expansions for certain statistics, we introduce a new type of permutation patterns that we call mesh patterns. Intuitively, an occurrence of the mesh pattern $p=(π,R)$ is an occurrence of the permutation pattern $π$ with additional restrictions specified by $R$ on the relative position of the entries of the occurrence. We show that, for any mesh pattern $p=(π,R)$, we have $λ_p(τ) = (-1)^{|τ|-|π|}p^{\star}(τ)$ where $p^{\star}=(π,R^c)$ is the mesh pattern with the same underlying permutation as $p$ but with complementary restrictions. We use this result to expand some well known permutation statistics, such as the number of left-to-right maxima, descents, excedances, fixed points, strong fixed points, and the major index. We also show that alternating permutations, André permutations of the first kind and simsun permutations occur naturally as permutations avoiding certain mesh patterns. Finally, we provide new natural Mahonian statistics.
The total path length of split trees
Published in Annals of Applied Probability 2012, Vol. 22, No. 5, 1745-1777
• View Publication
• BIB
We consider the model of random trees introduced by Devroye [SIAM J. Comput. 28 (1999) 409-432]. The model encompasses many important randomized algorithms and data structures. The pieces of data (items) are stored in a randomized fashion in the nodes of a tree. The total path length (sum of depths of the items) is a natural measure of the efficiency of the algorithm/data structure. Using renewal theory, we prove convergence in distribution of the total path length toward a distribution characterized uniquely by a fixed point equation. Our result covers, using a unified approach, many data structures such as binary search trees, m-ary search trees, quad trees, median-of-(2k+1) trees, and simplex trees.
Packing tight Hamilton cycles in uniform hypergraphs
Published
• View Publication
• BIB
We say that a $k$-uniform hypergraph $C$ is a Hamilton cycle of type $\ell$, for some $1\le \ell \le k$, if there exists a cyclic ordering of the vertices of $C$ such that every edge consists of $k$ consecutive vertices and for every pair of consecutive edges $E_{i-1},E_i$ in $C$ (in the natural ordering of the edges) we have $|E_{i-1}\setminus E_i|=\ell$. We define a class of $(\e,p)$-regular hypergraphs, that includes random hypergraphs, for which we can prove the existence of a decomposition of almost all edges into type $\ell$ Hamilton cycles, where $\ell<k/2$.
Reachability and recurrence in a modular generalization of annihilating random walks (and lights-out games) on hypergraphs
Published
• View Publication
• BIB
We study a dynamical system motivated by our earlier work on the statistical physics of social balance on graphs that can be viewed as a generalization of annihilating walks along two directions: first, the interaction topology is a hypergraph; second, the ``number of particles`` at a vertex of the hypergraph is an element of a finite field ${\bf Z}_{p}$ of integers modulo $p$, $p\geq 3$. Equivalently, particles move on a hypergraph, with a moving particle at a vertex being replaced by one indistinguishable copy at each neighbor in a given hyperedge; particles at a vertex collectively annihilate when their number reaches $p$. The system we study can also be regarded as a natural generalization of certain lights-out games to finite fields and hypergraph topologies. Our result shows that under a liberal sufficient condition on the nature of the interaction hypergraph there exists a polynomial time algorithm (based on linear algebra over ${\bf Z}_{p}$) for deciding reachability and recurrence of this dynamical system. Interestingly, we provide a counterexample that shows that this connection does not extend to all graphs.
Frobenius polytopes
A real representation of a finite group naturally determines a polytope, generalizing the well-known Birkhoff polytope. This paper determines the structure of the polytope corresponding to the natural permutation representation of a general Frobenius group.
Fault-Tolerant Spanners: Better and Simpler
Published
• View Publication
• BIB
A natural requirement of many distributed structures is fault-tolerance: after some failures, whatever remains from the structure should still be effective for whatever remains from the network. In this paper we examine spanners of general graphs that are tolerant to vertex failures, and significantly improve their dependence on the number of faults $r$, for all stretch bounds.
For stretch $k \geq 3$ we design a simple transformation that converts every $k$-spanner construction with at most $f(n)$ edges into an $r$-fault-tolerant $k$-spanner construction with at most $O(r^3 \log n) \cdot f(2n/r)$ edges. Applying this to standard greedy spanner constructions gives $r$-fault tolerant $k$-spanners with $\tilde O(r^{2} n^{1+\frac{2}{k+1}})$ edges. The previous construction by Chechik, Langberg, Peleg, and Roddity [STOC 2009] depends similarly on $n$ but exponentially on $r$ (approximately like $k^r$).
For the case $k=2$ and unit-length edges, an $O(r \log n)$-approximation algorithm is known from recent work of Dinitz and Krauthgamer [arXiv 2010], where several spanner results are obtained using a common approach of rounding a natural flow-based linear programming relaxation. Here we use a different (stronger) LP relaxation and improve the approximation ratio to $O(\log n)$, which is, notably, independent of the number of faults $r$. We further strengthen this bound in terms of the maximum degree by using the \Lovasz Local Lemma.
Finally, we show that most of our constructions are inherently local by designing equivalent distributed algorithms in the LOCAL model of distributed computation.
Longest path distance in random circuits
Published in Combinatorics, Probability and Computing, vol. 21, pp. 856--881, 2012
• View Publication
• BIB
We study distance properties of a general class of random directed acyclic graphs (DAGs). In a DAG, many natural notions of distance are possible, for there exists multiple paths between pairs of nodes. The distance of interest for circuits is the maximum length of a path between two nodes. We give laws of large numbers for the typical depth (distance to the root) and the minimum depth in a random DAG. This completes the study of natural distances in random DAGs initiated (in the uniform case) by Devroye and Janson (2009+). We also obtain large deviation bounds for the minimum of a branching random walk with constant branching, which can be seen as a simplified version of our main result.
Monotone graph limits and quasimonotone graphs
Published in Internet Mathematics 8 (2012), 187-231
• View Publication
• BIB
The recent theory of graph limits gives a powerful framework for understanding the properties of suitable (convergent) sequences $(G_n)$ of graphs in terms of a limiting object which may be represented by a symmetric function $W$ on $[0,1]$, i.e., a kernel or graphon. In this context it is natural to wish to relate specific properties of the sequence to specific properties of the kernel. Here we show that the kernel is monotone (i.e., increasing in both variables) if and only if the sequence satisfies a `quasi-monotonicity' property defined by a certain functional tending to zero. As a tool we prove an inequality relating the cut and $L^1$ norms of kernels of the form $W_1-W_2$ with $W_1$ and $W_2$ monotone that may be of interest in its own right; no such inequality holds for general kernels.