arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

6952 papers tagged with this keyword
2021-05-06 v3
Sharp threshold for the Erdős-Ko-Rado theorem
Published • View PublicationBIB
For positive integers $n$ and $k$ with $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph with vertex set consisting of all $k$-sets of $\{1,\dots,n\}$, where two $k$-sets are adjacent exactly when they are disjoint. The independent sets of $K(n,k)$ are $k$-uniform intersecting families, and hence the maximum size independent sets are given by the Erdős-Ko-Rado Theorem. Let $K_p(n,k)$ be a random spanning subgraph of $K(n,k)$ where each edge is included independently with probability $p$. Bollobás, Narayanan, and Raigorodskii asked for what $p$ does $K_p(n,k)$ have the same independence number as $K(n,k)$ with high probability. For $n=2k+1$, we prove a hitting time result, which gives a sharp threshold for this problem at $p=3/4$. Additionally, completing work of Das and Tran and work of Devlin and Kahn, we determine a sharp threshold function for all $n>2k+1$.
2021-05-04 v2
Spanners in randomly weighted graphs: independent edge lengths
Published • View PublicationBIB
Given a connected graph $G=(V,E)$ and a length function $\ell:E\to {\mathbb R}$ we let $d_{v,w}$ denote the shortest distance between vertex $v$ and vertex $w$. A $t$-spanner is a subset $E'\subseteq E$ such that if $d'_{v,w}$ denotes shortest distances in the subgraph $G'=(V,E')$ then $d'_{v,w}\leq t d_{v,w}$ for all $v,w\in V$. We show that for a large class of graphs with suitable degree and expansion properties with independent exponential mean one edge lengths, there is w.h.p.~a 1-spanner that uses $\approx \frac12n\log n$ edges and that this is best possible. In particular, our result applies to the random graphs $G_{n,p}$ for $np\gg \log n$.
Sampling Colorings and Independent Sets of Random Regular Bipartite Graphs in the Non-Uniqueness Region
Published • View PublicationBIB
For spin systems, such as the $q$-colorings and independent-set models, approximating the partition function in the so-called non-uniqueness region, where the model exhibits long-range correlations, is typically computationally hard for bounded-degree graphs. We present new algorithmic results for approximating the partition function and sampling from the Gibbs distribution for spin systems in the non-uniqueness region on random regular bipartite graphs. We give an $\mathsf{FPRAS}$ for counting $q$-colorings for even $q=O\big(\tfracΔ{\logΔ}\big)$ on almost every $Δ$-regular bipartite graph. This is within a factor $O(\logΔ)$ of the sampling algorithm for general graphs in the uniqueness region and improves significantly upon the previous best bound of $q=O\big(\tfrac{\sqrtΔ}{(\logΔ)^2}\big)$ by Jenssen, Keevash, and Perkins (SODA'19). Analogously, for the hard-core model on independent sets weighted by $λ>0$, we present an $\mathsf{FPRAS}$ for estimating the partition function when $λ=Ω\big(\tfrac{\logΔ}Δ\big)$, which improves upon previous results by an $Ω(\log Δ)$ factor. Our results for the colorings and hard-core models follow from a general result that applies to arbitrary spin systems. Our main contribution is to show how to elevate probabilistic/analytic bounds on the marginal probabilities for the typical structure of phases on random bipartite regular graphs into efficient algorithms, using the polymer method. We further show evidence that our result for colorings is within a constant factor of best possible using current polymer-method approaches.
2021-05-02 v2
Lozenge tilings and the Gaussian free field on a cylinder
Published • View PublicationBIB
We use the periodic Schur process, introduced in arXiv:math/0601019v1, to study the random height function of lozenge tilings (equivalently, dimers) on an infinite cylinder distributed under two variants of the $q^{\operatorname{vol}}$ measure. Under the first variant, corresponding to random cylindric partitions, the height function converges to a deterministic limit shape and fluctuations around it are given by the Gaussian free field in the conformal structure predicted by the Kenyon-Okounkov conjecture. Under the second variant, corresponding to an unrestricted dimer model on the cylinder, the fluctuations are given by the same Gaussian free field with an additional discrete Gaussian shift component. Fluctuations of the latter type have been previously conjectured for dimer models on planar domains with holes.
2021-05-01 v2
Generalized Kings and Single-Elimination Winners in Random Tournaments
Published in Autonomous Agents and Multi-Agent Systems, 36(2):28 (2022) • View PublicationBIB
Tournaments can be used to model a variety of practical scenarios including sports competitions and elections. A natural notion of strength of alternatives in a tournament is a generalized king: an alternative is said to be a $k$-king if it can reach every other alternative in the tournament via a directed path of length at most $k$. In this paper, we provide an almost complete characterization of the probability threshold such that all, a large number, or a small number of alternatives are $k$-kings with high probability in two random models. We show that, perhaps surprisingly, all changes in the threshold occur in the range of constant $k$, with the biggest change being between $k=2$ and $k=3$. In addition, we establish an asymptotically tight bound on the probability threshold for which all alternatives are likely able to win a single-elimination tournament under some bracket.
2021-04-30 v2
Concentration of maximum degree in random planar graphs
Published • View PublicationBIB
Let $P(n,m)$ be a graph chosen uniformly at random from the class of all planar graphs on vertex set $[n]:=\left\{1, \ldots, n\right\}$ with $m=m(n)$ edges. We show that in the sparse regime, when $m/n\leq 1$, with high probability the maximum degree of $P(n,m)$ takes at most two different values. In contrast, this is not true anymore in the dense regime, when $m/n>1$, where the maximum degree of $P(n,m)$ is not concentrated on any subset of $[n]$ with bounded size.
2021-04-29
Cut Vertices in Random Planar Maps
Published • View PublicationBIB
The main goal of this paper is to determine the asymptotic behavior of the number $X_n$ of cut-vertices in random planar maps with $n$ edges. It is shown that $X_n/n \to c$ in probability (for some explicit $c>0$). For so-called subcritical classes of planar maps (like outerplanar maps) we obtain a central limit theorem, too. Interestingly the combinatorics behind this seemingly simple problem is quite involved.
2021-04-29
One more proof of the first linear programming bound for binary codes and two conjectures
Published • View PublicationBIB
We give one more proof of the first linear programming bound for binary codes, following the line of work initiated by Friedman and Tillich. The new argument is somewhat similar to previous proofs, but we believe it to be both simpler and more intuitive. Moreover, it provides the following 'geometric' explanation for the bound. A binary code with minimal distance $δn$ is small because the projections of the characteristic functions of its elements on the subspace spanned by the Walsh-Fourier characters of weight up to $\left(\frac 12 - \sqrt{δ(1-δ)}\right) \cdot n$ are essentially independent. Hence the cardinality of the code is bounded by the dimension of the subspace. We present two conjectures, suggested by the new proof, one for linear and one for general binary codes which, if true, would lead to an improvement of the first linear programming bound. The conjecture for linear codes is related to and is influenced by conjectures of Håstad and of Kalai and Linial. We verify the conjectures for the (simple) cases of random linear codes and general random codes.
2021-04-28
Remarks on random walks on graphs and the Floyd boundary
Published • View PublicationBIB
We show that for a uniformly irreducible random walk on a graph, with bounded range, there is a Floyd function for which the random walk converges to its corresponding Floyd boundary. Moreover if we add the assumptions, $p^{(n)}(v,w)\leq C ρ^n$, where $ρ< 1$ is the spectral radius, then for any Floyd function $f$ that satisfies $\sum_{n=1}^{\infty}nf(n)<\infty$, the Dirichlet problem with respect to the Floyd boundary is solvable.
2021-04-27 v2
The music box operad: Random generation of musical phrases from patterns
Published in Journal of Creative Music Systems 8, Issue 1, 2024 • View PublicationBIB
We introduce the notion of multi-patterns, a combinatorial abstraction of polyphonic musical phrases. The interest of this approach in encoding musical phrases lies in the fact that it becomes possible to compose multi-patterns in order to produce new ones. This composition is parameterized by a monoid structure on the scale degrees. This embeds the set of the musical phrases into an algebraic framework since the set of the multi-patterns is endowed with the structure of an operad. Operads are algebraic structures offering a formalization and an abstraction of the notion of operators and their compositions. Seeing musical phrases as operators allows us to perform computations on phrases and admits applications in generative music. Indeed, given a set of initial multi-patterns, we propose various algorithms to randomly generate a new and longer phrase emulating the style suggested by the inputted multi-patterns. The designed algorithms use types of grammars working with operads and colored operads, known as bud generating systems.
Scaling limit of random plane quadrangulations with a simple boundary, via restriction
Published • View PublicationBIB
We prove that quadrangulations with a simple boundary converge to the Brownian disk. More precisely, we fix a sequence $(p_n)$ of even positive integers with $p_n\sim 2α\sqrt{2n}$ for some $α\in(0,\infty)$. Then, for the Gromov--Hausdorff topology, a quadrangulation with a simple boundary uniformly sampled among those with $n$ inner faces and boundary length $p_n$ weakly converges, in the usual scaling $n^{-1/4}$, toward the Brownian disk of perimeter $3α$. Our method consists in seeing a uniform quadrangulation with a simple boundary as a conditioned version of a model of maps for which the Gromov--Hausdorff scaling limit is known. We then explain how classical techniques of unconditionning can be used in this setting of random maps.
2021-04-26 v3
Hamilton transversals in random Latin squares
Published • View PublicationBIB
Gyárfás and Sárközy conjectured that every $n\times n$ Latin square has a `cycle-free' partial transversal of size $n-2$. We confirm this conjecture in a strong sense for almost all Latin squares, by showing that as $n \rightarrow \infty$, all but a vanishing proportion of $n\times n$ Latin squares have a Hamilton transversal, i.e. a full transversal for which any proper subset is cycle-free. In fact, we prove a counting result that in almost all Latin squares, the number of Hamilton transversals is essentially that of Taranenko's upper bound on the number of full transversals. This result strengthens a result of Kwan (which in turn implies that almost all Latin squares also satisfy the famous Ryser-Brualdi-Stein conjecture).
2021-04-26 v3
Random subcomplexes and Betti numbers of random edge ideals
Published in Int. Math. Res. Not. 2023, Iss. 10 (2023), pp. 8832--8871 • View PublicationBIB
We study homological properties of random quadratic monomial ideals in a polynomial ring $R = {\mathbb K}[x_1, \dots x_n]$, utilizing methods from the Erdös-Rényi model of random graphs. Here for a graph $G \sim G(n, p)$ we consider the `coedge' ideal $I_G$ corresponding to the missing edges of $G$, and study Betti numbers of $R/I_G$ as $n$ tends to infinity. Our main results involve setting the edge probability $p = p(n)$ so that asymptotically almost surely the Krull dimension of $R/I_G$ is fixed. Under these conditions we establish various properties regarding the Betti table of $R/I_G$, including sharp bounds on regularity and projective dimension, and distribution of nonzero normalized Betti numbers. These results extend work of Erman and Yang, who studied such ideals in the context of conjectured phenomena in the nonvanishing of asymptotic syzygies. Along the way we establish results regarding subcomplexes of random clique complexes as well as notions of higher-dimensional vertex $k$-connectivity that may be of independent interest.
2021-04-24 v2
The number of perfect matchings, and the nesting properties, of random regular graphs
Published • View PublicationBIB
We prove that the number of perfect matchings in ${\mathcal G}(n,d)$ is asymptotically normal when $n$ is even, $d\to\infty$ as $n\to\infty$, and $d=O(n^{1/7}/\log^2 n)$. This is the first distributional result of spanning subgraphs of ${\mathcal G}(n,d)$ when $d\to\infty$. Moreover, we prove that ${\mathcal G}(n,d-1)$ and ${\mathcal G}(n,d)$ can be coupled so that ${\mathcal G}(n,d-1)$ is a subgraph of ${\mathcal G}(n,d)$ with high probability when $d\to\infty$ and $d=o(n^{1/3})$. Further, if $d=Ω(\log^7 n)$, $d=O(n^{1/7}/\log^2n)$, and $d\le d'\le n-1$ then ${\mathcal G}(n,d)$ and ${\mathcal G}(n,d')$ can be coupled so that asymptotically almost surely ${\mathcal G}(n,d)$ is a subgraph of ${\mathcal G}(n,d')$.
2021-04-24 v3
Cycle type of random permutations: A toolkit
Published in Discrete Analysis 2022:9, 36 pp • View PublicationBIB
We prove a number of results, new and old, about the cycle type of a random permutation on S_n. Underlying our analysis is the idea that the number of cycles of size k is roughly Poisson distributed with parameter 1/k. In particular, we establish strong results about the distribution of the number of cycles whose lengths lie in a fixed but arbitrary set I. Our techniques are motivated by the theory of sieves in number theory.
2021-04-21 v4
Walk/Zeta Correspondence
Published in Journal of Statistical Physics, volume 190, Article number: 36 (2023) • View PublicationBIB
Our previous work presented explicit formulas for the generalized zeta function and the generalized Ihara zeta function corresponding to the Grover walk and the positive-support version of the Grover walk on the regular graph via the Konno-Sato theorem, respectively. This paper extends these walks to a class of walks including random walks, correlated random walks, quantum walks, and open quantum random walks on the torus by the Fourier analysis.
2021-04-20
Several consequences of adding or removing an edge from an electric network
In certain instances an electric network transforms in natural ways by the addition or removal of an edge. This can have interesting consequences for random walks, in light of the known relationships between electric resistance and random walks. We exhibit several instances in which this can be used to prove facts or simplify calculations. In particular, a new proof is given for the formula for the expected return time of a random walk on a graph. We also show how hitting times can be calculated in certain instances when a network differs from a highly symmetric one by one edge.
2021-04-20 v4
Probability Mass of Rademacher Sums Beyond One Standard Deviation
Published • View PublicationBIB
Let $a_1, \dots, a_n \in \mathbb{R}$ satisfy $\sum_i a_i^2 = 1$, and let $\varepsilon_1, \ldots, \varepsilon_n$ be uniformly random $\pm 1$ signs and $X = \sum_{i=1}^{n} a_i \varepsilon_i$. It is conjectured that $X = \sum_{i=1}^{n} a_i \varepsilon_i$ has $\Pr[X \geq 1] \geq 7/64$. The best lower bound so far is $1/20$, due to Oleszkiewicz. In this paper we improve this to $\Pr[X \geq 1] \geq 6/64$.
2021-04-19 v2
Linear-time uniform generation of random sparse contingency tables with specified marginals
Published • View PublicationBIB
We give an algorithm that generates a uniformly random contingency table with specified marginals, i.e. a matrix with non-negative integer values and specified row and column sums. Such algorithms are useful in statistics and combinatorics. When $Δ^4< M/5$, where $Δ$ is the maximum of the row and column sums and $M$ is the sum of all entries of the matrix, our algorithm runs in time linear in $M$ in expectation. Most previously published algorithms for this problem are approximate samplers based on Markov chain Monte Carlo, whose provable bounds on the mixing time are typically polynomials with rather large degrees.
2021-04-18 v4
On the $Φ$-Stability and Related Conjectures
Published • View PublicationBIB
Given a convex function $Φ:[0,1]\to\mathbb{R}$ and the mean $\mathbb{E}f(\mathbf{X})=a\in[0,1]$, which Boolean function $f$ maximizes the $Φ$-stability $\mathbb{E}[Φ(T_ρf(\mathbf{X}))]$ of $f$? Here $\mathbf{X}$ is a random vector uniformly distributed on the discrete cube $\{-1,1\}^{n}$ and $T_ρ$ is the Bonami-Beckner operator. Special cases of this problem include the (symmetric and asymmetric) $α$-stability problems and the ``Most Informative Boolean Function'' problem. In this paper, we provide several upper bounds for the maximal $Φ$-stability. When specializing $Φ$ to some particular forms, by these upper bounds, we partially resolve Mossel and O'Donnell's conjecture on $α$-stability with $α>2$, Li and Médard's conjecture on $α$-stability with $1<α<2$, and Courtade and Kumar's conjecture on the ``Most Informative Boolean Function'' which corresponds to a conjecture on $α$-stability with $α=1$. Our proofs are based on discrete Fourier analysis, optimization theory, and improvements of the Friedgut--Kalai--Naor (FKN) theorem. Our improvements of the FKN theorem are sharp or asymptotically sharp for certain cases.