random
6952 papers tagged with this keyword
Cell complexes, poset topology and the representation theory of algebras arising in algebraic combinatorics and discrete geometry
Published
• View Publication
• BIB
In recent years it has been noted that a number of combinatorial structures such as real and complex hyperplane arrangements, interval greedoids, matroids and oriented matroids have the structure of a finite monoid called a left regular band. Random walks on the monoid model a number of interesting Markov chains such as the Tsetlin library and riffle shuffle. The representation theory of left regular bands then comes into play and has had a major influence on both the combinatorics and the probability theory associated to such structures. In a recent paper, the authors established a close connection between algebraic and combinatorial invariants of a left regular band by showing that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band.
The purpose of the present monograph is to further develop and deepen the connection between left regular bands and poset topology. This allows us to compute finite projective resolutions of all simple modules of left regular band algebras over fields and much more. In the process, we are led to define the class of CW left regular bands as the class of left regular bands whose associated posets are the face posets of regular CW complexes. Most of the examples that have arisen in the literature belong to this class. A new and important class of examples is a left regular band structure on the face poset of a CAT(0) cube complex. Also, the recently introduced notion of a COM (complex of oriented matroids or conditional oriented matroid) fits nicely into our setting and includes CAT(0) cube complexes and certain more general CAT(0) zonotopal complexes. A fairly complete picture of the representation theory for CW left regular bands is obtained.
The multiplicative coalescent, inhomogeneous continuum random trees, and new universality classes for critical random graphs
Published
• View Publication
• BIB
One major open conjecture in the area of critical random graphs, formulated by statistical physicists, and supported by a large amount of numerical evidence over the last decade [23, 24, 28, 63] is as follows: for a wide array of random graph models with degree exponent $τ\in (3,4)$, distances between typical points both within maximal components in the critical regime as well as on the minimal spanning tree on the giant component in the supercritical regime scale like $n^{(τ-3)/(τ-1)}$.
In this paper we study the metric space structure of maximal components of the multiplicative coalescent, in the regime where the sizes converge to excursions of Lévy processes "without replacement" [10], yielding a completely new class of limiting random metric spaces. A by-product of the analysis yields the continuum scaling limit of one fundamental class of random graph models with degree exponent $τ\in (3,4)$ where edges are rescaled by $n^{-(τ-3)/(τ-1)}$ yielding the first rigorous proof of the above conjecture. The limits in this case are compact "tree-like" random fractals with finite fractal dimensions and with a dense collection of hubs (infinite degree vertices) a finite number of which are identified with leaves to form shortcuts. In a special case, we show that the Minkowski dimension of the limiting spaces equal $(τ-2)/(τ-3)$ a.s., in stark contrast to the Erdős-Rényi scaling limit whose Minkowski dimension is 2 a.s. It is generally believed that dynamic versions of a number of fundamental random graph models, as one moves from the barely subcritical to the critical regime can be approximated by the multiplicative coalescent. In work in progress, the general theory developed in this paper is used to prove analogous limit results for other random graph models with degree exponent $τ\in (3,4)$.
Independent Sets, Matchings, and Occupancy Fractions
Published
• View Publication
• BIB
We prove tight upper bounds on the logarithmic derivative of the independence and matching polynomials of d-regular graphs. For independent sets, this theorem is a strengthening of the results of Kahn, Galvin and Tetali, and Zhao showing that a union of copies of $K_{d,d}$ maximizes the number of independent sets and the independence polynomial of a d-regular graph.
For matchings, this shows that the matching polynomial and the total number of matchings of a d-regular graph are maximized by a union of copies of $K_{d,d}$. Using this we prove the asymptotic upper matching conjecture of Friedland, Krop, Lundow, and Markström.
In probabilistic language, our main theorems state that for all d-regular graphs and all $λ$, the occupancy fraction of the hard-core model and the edge occupancy fraction of the monomer-dimer model with fugacity $λ$ are maximized by $K_{d,d}$. Our method involves constrained optimization problems over distributions of random variables and applies to all d-regular graphs directly, without a reduction to the bipartite case.
Periods of Iterated Rational Functions over a Finite Field
Published
• View Publication
• BIB
Choose a random degree d poly f with coefficients in a finite field F. We estimate the ultimate period of f under compositional iteration. We also determine the joint distribution of the small cycle lengths in the graph with edges (x,f(x)), x in F. The proofs use Lagrange interpolation and the method of factorial moments.
Distance regularity in buildings and structure constants in Hecke algebras
Published
• View Publication
• BIB
In this paper we define generalised spheres in buildings using the simplicial structure and Weyl distance in the building, and we derive an explicit formula for the cardinality of these spheres. We prove a generalised notion of distance regularity in buildings, and develop a combinatorial formula for the cardinalities of intersections of generalised spheres. Motivated by the classical study of algebras associated to distance regular graphs we investigate the algebras and modules of Hecke operators arising from our generalised distance regularity, and prove isomorphisms between these algebras and more well known parabolic Hecke algebras. We conclude with applications of our main results to non-negativity of structure constants in parabolic Hecke algebras, commutativity of algebras of Hecke operators, double coset combinatorics in groups with $BN$-pairs, and random walks on the simplices of buildings.
Entropy bounds on abelian groups and the Ruzsa divergence
Published in IEEE Transactions on Information Theory, vol. 64, no. 1, pp. 77-92, January 2018
• View Publication
• BIB
Over the past few years, a family of interesting new inequalities for the entropies of sums and differences of random variables has been developed by Ruzsa, Tao and others, motivated by analogous results in additive combinatorics. The present work extends these earlier results to the case of random variables taking values in $\mathbb{R}^n$ or, more generally, in arbitrary locally compact and Polish abelian groups. We isolate and study a key quantity, the Ruzsa divergence between two probability distributions, and we show that its properties can be used to extend the earlier inequalities to the present general setting. The new results established include several variations on the theme that the entropies of the sum and the difference of two independent random variables severely constrain each other. Although the setting is quite general, the result are already of interest (and new) for random vectors in $\mathbb{R}^n$. In that special case, quantitative bounds are provided for the stability of the equality conditions in the entropy power inequality; a reverse entropy power inequality for log-concave random vectors is proved; an information-theoretic analog of the Rogers-Shephard inequality for convex bodies is established; and it is observed that some of these results lead to new inequalities for the determinants of positive-definite matrices. Moreover, by considering the multiplicative subgroups of the complex plane, one obtains new inequalities for the differential entropies of products and ratios of nonzero, complex-valued random variables.
Chromatic thresholds in dense random graphs
Published
• View Publication
• BIB
The chromatic threshold $δ_χ(H,p)$ of a graph $H$ with respect to the random graph $G(n,p)$ is the infimum over $d > 0$ such that the following holds with high probability: the family of $H$-free graphs $G \subset G(n,p)$ with minimum degree $δ(G) \ge dpn$ has bounded chromatic number. The study of the parameter $δ_χ(H) := δ_χ(H,1)$ was initiated in 1973 by Erdős and Simonovits, and was recently determined for all graphs $H$. In this paper we show that $δ_χ(H,p) = δ_χ(H)$ for all fixed $p \in (0,1)$, but that typically $δ_χ(H,p) \ne δ_χ(H)$ if $p = o(1)$. We also make significant progress towards determining $δ_χ(H,p)$ for all graphs $H$ in the range $p = n^{-o(1)}$. In sparser random graphs the problem is somewhat more complicated, and is studied in a separate paper.
Chromatic thresholds in sparse random graphs
Published
• View Publication
• BIB
The chromatic threshold $δ_χ(H,p)$ of a graph $H$ with respect to the random graph $G(n,p)$ is the infimum over $d > 0$ such that the following holds with high probability: the family of $H$-free graphs $G \subset G(n,p)$ with minimum degree $δ(G) \ge dpn$ has bounded chromatic number. The study of $δ_χ(H) :=δ_χ(H,1)$ was initiated in 1973 by Erdős and Simonovits. Recently $δ_χ(H)$ was determined for all graphs $H$. It is known that $δ_χ(H,p) =δ_χ(H)$ for all fixed $p \in (0,1)$, but that typically $δ_χ(H,p) \ne δ_χ(H)$ if $p = o(1)$.
Here we study the problem for sparse random graphs. We determine $δ_χ(H,p)$ for most functions $p = p(n)$ when $H\in\{K_3,C_5\}$, and also for all graphs $H$ with $χ(H) \not\in \{3,4\}$.
Random Partitions and the Quantum Benjamin-Ono Hierarchy
We derive exact and asymptotic results for random partitions from general results in the semi-classical analysis of coherent states applied to the classical periodic Benjamin-Ono equation at critical regularity $s= -1/2$. We find classical $dF_{\star |v} (c| \overline{\varepsilon})$ and quantum $d\hat{F}^{η_{NS}}( c | \hbar, \overline{\varepsilon})|_Ψ$ conserved densities for this system with dispersion coefficient $\overline{\varepsilon}$ extending Nazarov-Sklyanin (2013). For quantum stationary states, this conserved density is $dF_λ(c | \varepsilon_2, \varepsilon_1)$ the Rayleigh measure of the profile of a partition $λ$ of anisotropy $(\varepsilon_2, \varepsilon_1) \in \mathbb{C}^2$ for $\hbar = - \varepsilon_1 \varepsilon_2$, $\overline{\varepsilon}= \varepsilon_1 + \varepsilon_2$ invariant under $\varepsilon_2 \longleftrightarrow \varepsilon_1$. As Jack polynomials are the quantum stationary states and Stanley's Cauchy kernel (1989) is the reproducing kernel, the random values of the quantum periodic Benjamin-Ono hierarchy in a coherent state $Υ_v ( \cdot | \hbar)$ are a "Jack measure" on partitions, a dispersive generalization of Okounkov's Schur measures (1999). By our general results for coherent states, we have concentration on a limit shape as $\hbar \rightarrow 0$, the classical conserved density at $v$, and quantum fluctuations are an explicit Gaussian field. Our results follow from an enumerative asymptotic expansion in $\hbar$ and $\overline{\varepsilon}$ of joint cumulants over new combinatorial objects we call "ribbon paths". Our results reflect the fact that at fixed $\hbar>0$ the weight defining Fock space is already a fractional Brownian motion of variance $\hbar$ and Hurst index $(-s) - \tfrac{1}{2} \dim \mathbb{T} = + \tfrac{1}{2} - \tfrac{1}{2} = 0.$
Invariable generation of the symmetric group
Published in Duke Math. J. 166, no. 8 (2017), 1573-1590
• View Publication
• BIB
We say that permutations $π_1,\dots, π_r \in \mathcal{S}_n$ invariably generate $\mathcal{S}_n$ if, no matter how one chooses conjugates $π'_1,\dots,π'_r$ of these permutations, $π'_1,\dots,π'_r$ generate $\mathcal{S}_n$. We show that if $π_1,π_2,π_3$ are chosen randomly from $\mathcal{S}_n$ then, with probability tending to 1 as $n \rightarrow \infty$, they do not invariably generate $\mathcal{S}_n$. By contrast it was shown recently by Pemantle, Peres and Rivin that four random elements do invariably generate $\mathcal{S}_n$ with positive probability. We include a proof of this statement which, while sharing many features with their argument, is short and completely combinatorial.
Hypergraph coloring up to condensation
Published
• View Publication
• BIB
Improving a result of Dyer, Frieze and Greenhill [Journal of Combinatorial Theory, Series B, 2015], we determine the $q$-colorability threshold in random $k$-uniform hypergraphs up to an additive error of $\ln 2+\varepsilon_q$, where $\lim_{q\to\infty}\varepsilon_q=0$. The new lower bound on the threshold matches the "condensation phase transition" predicted by statistical physics considerations [Krzakala et al., PNAS 2007].
Anti-concentration of inhomogeneous random walks
We provide a characterization for anti-concentration of inhomogeneous random walks in non-abelian groups. In application we extend the classical bounds by Erdos-Littlewood-Offord and Sarkozy-Szemeredi to non-abelian settings.
On the entropy of a noisy function
Published
• View Publication
• BIB
Let $0 < ε< 1/2$ be a noise parameter, and let $T_ε$ be the noise operator acting on functions on the boolean cube $\{0,1\}^n$. Let $f$ be a nonnegative function on $\{0,1\}^n$. We upper bound the entropy of $T_ε f$ by the average entropy of conditional expectations of $f$, given sets of roughly $(1-2ε)^2 \cdot n$ variables. In information-theoretic terms, we prove the following strengthening of "Mrs. Gerber's lemma": Let $X$ be a random binary vector of length $n$, and let $Z$ be a noise vector, corresponding to a binary symmetric channel with crossover probability $ε$. Then, setting $v = (1-2ε)^2 \cdot n$, we have (up to lower-order terms): $$ H\Big(X \oplus Z\Big) \ge n \cdot H\left(ε~+~ (1-2ε) \cdot H^{-1}\left(\frac{{\mathbb E}_{|B| = v} H\Big(\{X_i\}_{i\in B}\Big)}{v}\right)\right) $$ As an application, we show that for a boolean function $f$, which is close to a characteristic function $g$ of a subcube of dimension $n-1$, the entropy of $T_ε f$ is at most that of $T_ε g$. This, combined with a recent result of Ordentlich, Shayevitz, and Weinstein shows that the "Most informative boolean function" conjecture of Courtade and Kumar holds for high noise $ε\ge 1/2 - δ$, for some absolute constant $δ> 0$. Namely, if $X$ is uniformly distributed in $\{0,1\}^n$ and $Y$ is obtained by flipping each coordinate of $X$ independently with probability $ε$, then, provided $ε\ge 1/2 - δ$, for any boolean function $f$ holds $I\Big(f(X);Y\Big) \le 1 - H(ε)$.
Lumpings of Algebraic Markov Chains arise from Subquotients
Published
• View Publication
• BIB
A function on the state space of a Markov chain is a "lumping" if observing only the function values gives a Markov chain. We give very general conditions for lumpings of a large class of algebraically-defined Markov chains, which include random walks on groups and other common constructions. We specialise these criteria to the case of descent operator chains from combinatorial Hopf algebras, and, as an example, construct a "top-to-random-with-standardisation" chain on permutations that lumps to a popular restriction-then-induction chain on partitions, using the fact that the algebra of symmetric functions is a subquotient of the Malvenuto-Reutenauer algebra.
Asymptotically optimal neighbour sum distinguishing total colourings of graphs
Consider a simple graph $G=(V,E)$ of maximum degree $Δ$ and its proper total colouring $c$ with the elements of the set $\{1,2,\ldots,k\}$. The colouring $c$ is said to be \emph{neighbour sum distinguishing} if for every pair of adjacent vertices $u$, $v$, we have $c(u)+\sum_{e\ni u}c(e)\neq c(v)+\sum_{e\ni v}c(e)$. The least integer $k$ for which it exists is denoted by $χ"_{\sum}(G)$, hence $χ"_{\sum}(G) \geq Δ+1$. On the other hand, it has been daringly conjectured that just one more label than presumed in the famous Total Colouring Conjecture suffices to construct such total colouring $c$, i.e., that $χ"_{\sum}(G) \leq Δ+3$ for all graphs. We support this inequality by proving its asymptotic version, $χ"_{\sum}(G) \leq (1+o(1))Δ$. The major part of the construction confirming this relays on a random assignment of colours, where the choice for every edge is biased by so called attractors, randomly assigned to the vertices, and the probabilistic result of Molloy and Reed on the Total Colouring Conjecture itself.
Sampling Goldbach Numbers at Random
Let $Σ_{2n}$ be the set of all partitions of the even integers from the interval $(4,2n], n>2,$ into two odd prime parts. We select a partition from the set $Σ_{2n}$ uniformly at random. Let $2G_n$ be the number partitioned by this selection. $2G_n$ is sometimes called a Goldbach number. In [6] we showed that $G_n/n$ converges weakly to the maximum $T$ of two random variables which are independent copies of a uniformly distributed random variable in the interval $(0,1)$. In this note we show that the mean and the variance of $G_n/n$ tend to the mean $μ_T=2/3$ and variance $σ_T^2=1/18$ of $T$, respectively. Our method of proof is based on generating functions and on a Tauberian theorem due to Hardy-Littlewood-Karamata.
Compact Brownian surfaces I. Brownian disks
Published
• View Publication
• BIB
We show that, under certain natural assumptions, large random plane bipartite maps with a boundary converge after rescaling to a one-parameter family ($\mathrm{BD}_L$, $0 < L < \infty$) of random metric spaces homeomorphic to the closed unit disk of $\mathbb{R}^2$, the space $\mathrm{BD}_L$ being called the Brownian disk of perimeter $L$ and unit area. These results can be seen as an extension of the convergence of uniform plane quadrangulations to the Brownian map, which intuitively corresponds to the limit case where $L = 0$. Similar results are obtained for maps following a Boltzmann distribution, in which the perimeter is fixed but the area is random.
Generalised and Quotient Models for Random And/Or Trees and Application to Satisfiability
Published
• View Publication
• BIB
This article is motivated by the following satisfiability question: pick uniformly at random an and/or Boolean expression of length n, built on a set of k_n Boolean variables. What is the probability that this expression is satisfiable? asymptotically when n tends to infinity?
The model of random Boolean expressions developed in the present paper is the model of Boolean Catalan trees, already extensively studied in the literature for a constant sequence (k_n)_{n\geq 1}. The fundamental breakthrough of this paper is to generalise the previous results to any (reasonable) sequence of integers (k_n)_{n\geq 1}, which enables us, in particular, to solve the above satisfiability question.
We also analyse the effect of introducing a natural equivalence relation on the set of Boolean expressions. This new "quotient" model happens to exhibit a very interesting threshold (or saturation) phenomenon at k_n = n/ln n.
Bounding the gap between the McCormick relaxation and the convex hull for bilinear functions
Published in Mathematical Programming, 2017, Volume 162, Issue 1, pp 523-535
• View Publication
• BIB
We investigate how well the graph of a bilinear function $b:[0,1]^n\to\mathbb{R}$ can be approximated by its McCormick relaxation. In particular, we are interested in the smallest number $c$ such that the difference between the concave upper bounding and convex lower bounding functions obtained from the McCormick relaxation approach is at most $c$ times the difference between the concave and convex envelopes. Answering a question of Luedtke, Namazifar and Linderoth, we show that this factor $c$ cannot be bounded by a constant independent of $n$. More precisely, we show that for a random bilinear function $b$ we have asymptotically almost surely $c\geqslant\sqrt n/4$. On the other hand, we prove that $c\leqslant 600\sqrt{n}$, which improves the linear upper bound proved by Luedtke, Namazifar and Linderoth. In addition, we present an alternative proof for a result of Misener, Smadbeck and Floudas characterizing functions $b$ for which the McCormick relaxation is equal to the convex hull.
A modified bootstrap percolation on a random graph coupled with a lattice
Published
• View Publication
• BIB
In this paper a random graph model $G_{\mathbb{Z}^2_N,p_d}$ is introduced, which is a combination of fixed torus grid edges in $(\mathbb{Z}/N \mathbb{Z})^2$ and some additional random ones. The random edges are called long, and the probability of having a long edge between vertices $u,v\in(\mathbb{Z}/N \mathbb{Z})^2$ with graph distance $d$ on the torus grid is $p_d=c/Nd$, where $c$ is some constant. We show that, {\em whp}, the diameter $D(G_{\mathbb{Z}^2_N,p_d})=Θ(\log N)$. Moreover, we consider non-monotonous bootstrap percolation on $G_{\mathbb{Z}^2_N,p_d}$. We prove the presence of phase transitions in mean-field approximation and provide fairly sharp bounds on the error of the critical parameters. Our model addresses interesting mathematical questions of non-monotonous bootstrap percolation, and it is motivated by recent results of brain research.