arXiv++ Combinatorics

Browse math.CO papers from arXiv

random

7100 papers tagged with this keyword
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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.
2021-04-16 v2
On the power of random greedy algorithms
Published in European Journal of Combinatorics 105 (2022), 103551 • View Publication • BIB
In this paper we solve two problems of Esperet, Kang and Thomasse as well as Li concerning (i) induced bipartite subgraphs in triangle-free graphs and (ii) van der Waerden numbers. Each time random greedy algorithms allow us to go beyond the Lovasz Local Lemma or alteration method used in previous work, illustrating the power of the algorithmic approach to the probabilistic method.
Rankings in directed configuration models with heavy tailed in-degrees
Published • View Publication • BIB
We consider the extremal values of the stationary distribution of sparse directed random graphs with given degree sequences and their relation to the extremal values of the in-degree sequence. The graphs are generated by the directed configuration model. Under the assumption of bounded $(2+η)$-moments on the in-degrees and of bounded out-degrees, we obtain tight comparisons between the maximum value of the stationary distribution and the maximum in-degree. Under the further assumption that the order statistics of the in-degrees have a power-law behavior, we show that the extremal values of the stationary distribution also have a power-law behavior with the same index. In the same setting, we prove that these results extend to the PageRank scores of the random digraph, thus confirming a version of the so-called power-law hypothesis. Along the way, we establish several facts about the model, including the mixing time cutoff and the characterization of the typical values of the stationary distribution, which were previously obtained under the assumption of bounded in-degrees.
Getting the Lay of the Land in Discrete Space: A Survey of Metric Dimension and its Applications
Published • View Publication • BIB
The metric dimension of a graph is the smallest number of nodes required to identify all other nodes based on shortest path distances uniquely. Applications of metric dimension include discovering the source of a spread in a network, canonically labeling graphs, and embedding symbolic data in low-dimensional Euclidean spaces. This survey gives a self-contained introduction to metric dimension and an overview of the quintessential results and applications. We discuss methods for approximating the metric dimension of general graphs, and specific bounds and asymptotic behavior for deterministic and random families of graphs. We conclude with related concepts and directions for future work.
Fluctuations of Subgraph Counts in Graphon Based Random Graphs
Published • View Publication • BIB
Given a graphon $W$ and a finite simple graph $H$, with vertex set $V(H)$, denote by $X_n(H, W)$ the number of copies of $H$ in a $W$-random graph on $n$ vertices. The asymptotic distribution of $X_n(H, W)$ was recently obtained by Hladký, Pelekis, and Šileikis (2021) in the case where $H$ is a clique. In this paper, we extend this result to any fixed graph $H$. Towards this we introduce a notion of $H$-regularity of graphons and show that if the graphon $W$ is not $H$-regular, then $X_n(H, W)$ has Gaussian fluctuations with scaling $n^{|V(H)|-\frac{1}{2}}$. On the other hand, if $W$ is $H$-regular, then the fluctuations are of order $n^{|V(H)|-1}$ and the limiting distribution of $X_n(H, W)$ can have both Gaussian and non-Gaussian components, where the non-Gaussian component is a (possibly) infinite weighted sum of centered chi-squared random variables with the weights determined by the spectral properties of a graphon derived from $W$. Our proofs use the asymptotic theory of generalized $U$-statistics developed by Janson and Nowicki (1991). We also investigate the structure of $H$-regular graphons for which either the Gaussian or the non-Gaussian component of the limiting distribution (but not both) is degenerate. Interestingly, there are also $H$-regular graphons $W$ for which both the Gaussian or the non-Gaussian components are degenerate, that is, $X_n(H, W)$ has a degenerate limit even under the scaling $n^{|V(H)|-1}$. We give an example of this degeneracy with $H=K_{1, 3}$ (the 3-star) and also establish non-degeneracy in a few examples. This naturally leads to interesting open questions on higher-order degeneracies.
Linear-sized independent sets in random cographs and increasing subsequences in separable permutations
Published • View Publication • BIB
This paper is interested in independent sets (or equivalently, cliques) in uniform random cographs. We also study their permutation analogs, namely, increasing subsequences in uniform random separable permutations. First, we prove that, with high probability as $n$ gets large, the largest independent set in a uniform random cograph with $n$ vertices has size $o(n)$. This answers a question of Kang, McDiarmid, Reed and Scott. Using the connection between graphs and permutations via inversion graphs, we also give a similar result for the longest increasing subsequence in separable permutations. These results are proved using the self-similarity of the Brownian limits of random cographs and random separable permutations, and actually apply more generally to all families of graphs and permutations with the same limit. Second, and unexpectedly given the above results, we show that for $β>0$ sufficiently small, the expected number of independent sets of size $βn$ in a uniform random cograph with $n$ vertices grows exponentially fast with $n$. We also prove a permutation analog of this result. This time the proofs rely on singularity analysis of the associated bivariate generating functions.
2021-04-15
A Tale of Two Limits: An Extremal Pagerank Problem
For a directed graph, the Pagerank algorithm emulates a random walker on the graph that occasionally "jumps" to a random vertex based on a jumping parameter $α$. Upon completion, the algorithm generates a stochastic vector whose entries correspond to the limiting probability that the walker will be at that vertex. This vector is a right eigenvector of a corresponding Markov trasition matrix. Undoubtedly, this vector can drastically change based upon the jumping parameter $α$. In this article, we investigate the maximum possible discrepancy for different Pagerank vectors on the same unweighted directed (perhaps with loops) graph as measured by the 2-norm. We show that the limsup of this discrepancy can be as large as $\sqrt{\frac{67}{50}}$ using a very specific construction. (For contrast, the norm of the difference for any two stochastic vectors is at most $\sqrt{2}$.) Interestingly, on this construction this discrepancy occurs when $α= 1$ and when $α$ is very close to 1.
2021-04-14
New results for MaxCut in $H$-free graphs
Published • View Publication • BIB
The MaxCut problem asks for the size ${\rm mc}(G)$ of a largest cut in a graph $G$. It is well known that ${\rm mc}(G)\ge m/2$ for any $m$-edge graph $G$, and the difference ${\rm mc}(G)-m/2$ is called the surplus of $G$. The study of the surplus of $H$-free graphs was initiated by Erdős and Lovász in the 70s, who in particular asked what happens for triangle-free graphs. This was famously resolved by Alon, who showed that in the triangle-free case the surplus is $Ω(m^{4/5})$, and found constructions matching this bound. We prove several new results in this area. Firstly, we show that for every fixed odd $r\ge 3$, any $C_r$-free graph with $m$ edges has surplus $Ω_r\big(m^{\frac{r+1}{r+2}}\big)$. This is tight, as is shown by a construction of pseudorandom $C_r$-free graphs due to Alon and Kahale. It improves previous results of several researchers, and complements a result of Alon, Krivelevich and Sudakov which is the same bound when $r$ is even. Secondly, generalizing the result of Alon, we allow the graph to have triangles, and show that if the number of triangles is a bit less than in a random graph with the same density, then the graph has large surplus. For regular graphs our bounds on the surplus are sharp. Thirdly, we prove that an $n$-vertex graph with few copies of $K_r$ and average degree $d$ has surplus $Ω_r(d^{r-1}/n^{r-3})$, which is tight when $d$ is close to $n$ provided that a conjectured dense pseudorandom $K_r$-free graph exists. This result is used to improve the best known lower bound (as a function of $m$) on the surplus of $K_r$-free graphs. Our proofs combine techniques from semidefinite programming, probabilistic reasoning, as well as combinatorial and spectral arguments.
2021-04-13 v3
Measured expanders
Published • View Publication • BIB
By measured graphs we mean graphs endowed with a measure on the set of vertices. In this context, we explore the relations between the appropriate Cheeger constant and Poincaré inequalities. We prove that the so-called Cheeger inequality holds in two cases: when the measure comes from a random walk, or when the measure has a bounded measure ratio. Moreover, we also prove that our measured (asymptotic) expanders are generalised expanders introduced by Tessera. Finally, we present some examples to demonstrate relations and differences between classical expander graphs and the measured ones. The current paper is motivated primarily by our previous work on the rigidity problem for Roe algebras.
2021-04-13
Permanent of random matrices from representation theory: moments, numerics, concentration, and comments on hardness of boson-sampling
Computing the distribution of permanents of random matrices has been an outstanding open problem for several decades. In quantum computing, "anti-concentration" of this distribution is an unproven input for the proof of hardness of the task of boson-sampling. We study permanents of random i.i.d. complex Gaussian matrices, and more broadly, submatrices of random unitary matrices. Using a hybrid representation-theoretic and combinatorial approach, we prove strong lower bounds for all moments of the permanent distribution. We provide substantial evidence that our bounds are close to being tight and constitute accurate estimates for the moments. Let $U(d)^{k\times k}$ be the distribution of $k\times k$ submatrices of $d\times d$ random unitary matrices, and $G^{k\times k}$ be the distribution of $k\times k$ complex Gaussian matrices. (1) Using the Schur-Weyl duality (or the Howe duality), we prove an expansion formula for the $2t$-th moment of $|Perm(M)|$ when $M$ is drawn from $U(d)^{k\times k}$ or $G^{k\times k}$. (2) We prove a surprising size-moment duality: the $2t$-th moment of the permanent of random $k\times k$ matrices is equal to the $2k$-th moment of the permanent of $t\times t$ matrices. (3) We design an algorithm to exactly compute high moments of the permanent of small matrices. (4) We prove lower bounds for arbitrary moments of permanents of matrices drawn from $G^{ k\times k}$ or $U(k)$, and conjecture that our lower bounds are close to saturation up to a small multiplicative error. (5) Assuming our conjectures, we use the large deviation theory to compute the tail of the distribution of log-permanent of Gaussian matrices for the first time. (6) We argue that it is unlikely that the permanent distribution can be uniquely determined from the integer moments and one may need to supplement the moment calculations with extra assumptions to prove the anti-concentration conjecture.