Random Structures & Algorithms最新文献

{"title":"Subcritical monotone cellular automata","authors":"P. Balister, B. Bollob'as, R. Morris, Paul Smith","doi":"10.1002/rsa.21174","DOIUrl":"https://doi.org/10.1002/rsa.21174","url":null,"abstract":"We study monotone cellular automata (also known as $mathcal{U}$-bootstrap percolation) in $mathbb{Z}^d$ with random initial configurations. Confirming a conjecture of Balister, Bollob'as, Przykucki and Smith, who proved the corresponding result in two dimensions, we show that the critical probability is non-zero for all subcritical models.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2022-03-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77736894","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Large deviations for subcomplex counts and Betti numbers in multiparameter simplicial complexes","authors":"G. Samorodnitsky, Takashi Owada","doi":"10.1002/rsa.21146","DOIUrl":"https://doi.org/10.1002/rsa.21146","url":null,"abstract":"We consider the multiparameter random simplicial complex as a higher dimensional extension of the classical Erdős–Rényi graph. We investigate appearance of “unusual” topological structures in the complex from the point of view of large deviations. We first study upper tail large deviation probabilities for subcomplex counts, deriving the order of magnitude of such probabilities at the logarithmic scale precision. The obtained results are then applied to analyze large deviations for the number of simplices of the multiparameter simplicial complexes. Finally, these results are also used to deduce large deviation estimates for Betti numbers of the complex in the critical dimension.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2022-02-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80254748","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Cycles in Mallows random permutations","authors":"Jimmy He, Tobias Müller, T. Verstraaten","doi":"10.1002/rsa.21169","DOIUrl":"https://doi.org/10.1002/rsa.21169","url":null,"abstract":"We study cycle counts in permutations of 1,…,n$$ 1,dots, n $$ drawn at random according to the Mallows distribution. Under this distribution, each permutation π∈Sn$$ pi in {S}_n $$ is selected with probability proportional to qinv(π)$$ {q}^{mathrm{inv}left(pi right)} $$ , where q>0$$ q>0 $$ is a parameter and inv(π)$$ mathrm{inv}left(pi right) $$ denotes the number of inversions of π$$ pi $$ . For ℓ$$ ell $$ fixed, we study the vector (C1(Πn),…,Cℓ(Πn))$$ left({C}_1left({Pi}_nright),dots, {C}_{ell}left({Pi}_nright)right) $$ where Ci(π)$$ {C}_ileft(pi right) $$ denotes the number of cycles of length i$$ i $$ in π$$ pi $$ and Πn$$ {Pi}_n $$ is sampled according to the Mallows distribution. When q=1$$ q=1 $$ the Mallows distribution simply samples a permutation of 1,…,n$$ 1,dots, n $$ uniformly at random. A classical result going back to Kolchin and Goncharoff states that in this case, the vector of cycle counts tends in distribution to a vector of independent Poisson random variables, with means 1,12,13,…,1ℓ$$ 1,frac{1}{2},frac{1}{3},dots, frac{1}{ell } $$ . Here we show that if 01$$ q>1 $$ there is a striking difference between the behavior of the even and the odd cycles. The even cycle counts still have linear means, and when properly rescaled tend to a multivariate Gaussian distribution. For the odd cycle counts on the other hand, the limiting behavior depends on the parity of n$$ n $$ when q>1$$ q>1 $$ . Both (C1(Π2n),C3(Π2n),…)$$ left({C}_1left({Pi}_{2n}right),{C}_3left({Pi}_{2n}right),dots right) $$ and (C1(Π2n+1),C3(Π2n+1),…)$$ left({C}_1left({Pi}_{2n+1}right),{C}_3left({Pi}_{2n+1}right),dots right) $$ have discrete limiting distributions—they do not need to be renormalized—but the two limiting distributions are distinct for all q>1$$ q>1 $$ . We describe these limiting distributions in terms of Gnedin and Olshanski's bi‐infinite extension of the Mallows model. We investigate these limiting distributions further, and study the behavior of the constants involved in the Gaussian limit laws. We for example show that as q↓1$$ qdownarrow 1 $$ the expected number of 1‐cycles tends to 1/2$$ 1/2 $$ —which, curiously, differs from the value corresponding to q=1$$ q=1 $$ . In addition we exhibit an interesting “oscillating” behavior in the limiting probability measures for q>1$$ q>1 $$ and n$$ n $$ odd versus n$$ n $$ even.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2022-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82927849","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The spectral gap of random regular graphs","authors":"Amir Sarid","doi":"10.1002/rsa.21150","DOIUrl":"https://doi.org/10.1002/rsa.21150","url":null,"abstract":"We bound the second eigenvalue of random d$$ d $$ ‐regular graphs, for a wide range of degrees d$$ d $$ , using a novel approach based on Fourier analysis. Let Gn,d$$ {G}_{n,d} $$ be a uniform random d$$ d $$ ‐regular graph on n$$ n $$ vertices, and λ(Gn,d)$$ lambda left({G}_{n,d}right) $$ be its second largest eigenvalue by absolute value. For some constant c>0$$ c>0 $$ and any degree d$$ d $$ with log10n≪d≤cn$$ {log}^{10}nll dle cn $$ , we show that λ(Gn,d)=(2+o(1))d(n−d)/n$$ lambda left({G}_{n,d}right)=left(2+o(1)right)sqrt{dleft(n-dright)/n} $$ asymptotically almost surely. Combined with earlier results that cover the case of sparse random graphs, this fully determines the asymptotic value of λ(Gn,d)$$ lambda left({G}_{n,d}right) $$ for all d≤cn$$ dle cn $$ . To achieve this, we introduce new methods that use mechanisms from discrete Fourier analysis, and combine them with existing tools and estimates on d$$ d $$ ‐regular random graphs—especially those of Liebenau and Wormald.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2022-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72819217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Three‐wise independent random walks can be slightly unbounded","authors":"Shyam Narayanan","doi":"10.1002/rsa.21075","DOIUrl":"https://doi.org/10.1002/rsa.21075","url":null,"abstract":"Recently, many streaming algorithms have utilized generalizations of the fact that the expected maximum distance of any 4‐wise independent random walk on a line over n steps is O(n)$$ Oleft(sqrt{n}right) $$ . In this paper, we show that 4‐wise independence is required for all of these algorithms, by constructing a 3‐wise independent random walk with expected maximum distance Ω(nlgn)$$ Omega left(sqrt{n}lg nright) $$ from the origin. We prove that this bound is tight for the first and second moment, and also extract a surprising matrix inequality from these results. Next, we consider a generalization where the steps Xi$$ {X}_i $$ are k‐wise independent random variables with bounded pth moments. We highlight the case k=4,p=2$$ k=4,p=2 $$ : here, we prove that the second moment of the furthest distance traveled is O∑Xi2$$ Oleft(sum {X}_i^2right) $$ . This implies an asymptotically stronger statement than Kolmogorov's maximal inequality that requires only 4‐wise independent random variables, and generalizes a recent result of Błasiok.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2022-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75802673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"What is the satisfiability threshold of random balanced Boolean expressions?","authors":"Naomi Lindenstrauss, M. Talagrand","doi":"10.1002/rsa.21069","DOIUrl":"https://doi.org/10.1002/rsa.21069","url":null,"abstract":"We consider the model of random Boolean expressions based on balanced binary trees with 2N$$ {2}^N $$ leaves, to which are randomly attributed one of kN$$ {k}_N $$ Boolean variables or their negations. We prove that if for every c>0$$ c>0 $$ it holds that kNexp(−cN)→0$$ {k}_Nexp left(-csqrt{N}right)to 0 $$ then asymptotically with high probability the Boolean expression is either a tautology or an antitautology. Our methods are based on the study of a certain binary operation on the set of probability measures on {0,1}I$$ {left{0,1right}}^I $$ for a finite set I.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-12-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74295055","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Down‐set thresholds","authors":"Benjamin Gunby, Xiaoyu He, Bhargav P. Narayanan","doi":"10.1002/rsa.21148","DOIUrl":"https://doi.org/10.1002/rsa.21148","url":null,"abstract":"We elucidate the relationship between the threshold and the expectation‐threshold of a down‐set. Qualitatively, our main result demonstrates that there exist down‐sets with polynomial gaps between their thresholds and expectation‐thresholds; in particular, the logarithmic gap predictions of Kahn–Kalai and Talagrand (recently proved by Park–Pham and Frankston–Kahn–Narayanan–Park) about up‐sets do not apply to down‐sets. Quantitatively, we show that any collection 𝒢 of graphs on [n] that covers the family of all triangle‐free graphs on [n] satisfies the inequality ∑G∈𝒢exp(−δe(Gc)/n)<1/2 for some universal δ>0 , and this is essentially best‐possible.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90440237","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The height of record‐biased trees","authors":"Benoît Corsini","doi":"10.1002/rsa.21110","DOIUrl":"https://doi.org/10.1002/rsa.21110","url":null,"abstract":"Given a permutation σ$$ sigma $$ , its corresponding binary search tree is obtained by recursively inserting the values σ(1),…,σ(n)$$ sigma (1),dots, sigma (n) $$ into a binary tree so that the label of each node is larger than the labels of its left subtree and smaller than the labels of its right subtree. In this article, we study the height of binary search trees drawn from the record‐biased model of permutations whose probability measure on the set of permutations is proportional to θrecord(σ)$$ {theta}^{mathrm{record}left(sigma right)} $$ , where record(σ)=|{i∈[n]:∀jσ(j)}|$$ mathrm{record}left(sigma right)=mid left{iin left[nright]:forall jsigma (j)right}mid $$ . We show that the height of a binary search tree built from a record‐biased permutation of size n$$ n $$ with parameter θ$$ theta $$ is of order (1+oℙ(1))max{c∗logn,θlog(1+n/θ)}$$ left(1+{o}_{mathbb{P}}(1)right)max left{{c}^{ast}log n,kern0.3em theta log left(1+n/theta right)right} $$ , hence extending previous results of Devroye on the height or random binary search trees.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77052046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A simple algorithm for graph reconstruction","authors":"Claire Mathieu, Hang Zhou","doi":"10.1002/rsa.21143","DOIUrl":"https://doi.org/10.1002/rsa.21143","url":null,"abstract":"How efficiently can we find an unknown graph using distance queries between its vertices? We assume that the unknown graph is connected, unweighted, and has bounded degree. The goal is to find every edge in the graph. This problem admits a reconstruction algorithm based on multi‐phase Voronoi‐cell decomposition and using Õ(n3/2)$$ overset{widetilde }{O}left({n}^{3/2}right) $$ distance queries. In our work, we analyze a simple reconstruction algorithm. We show that, on random Δ$$ Delta $$ ‐regular graphs, our algorithm uses Õ(n)$$ overset{widetilde }{O}(n) $$ distance queries. As by‐products, with high probability, we can reconstruct those graphs using log2n$$ {log}^2n $$ queries to an all‐distances oracle or Õ(n)$$ overset{widetilde }{O}(n) $$ queries to a betweenness oracle, and we bound the metric dimension of those graphs by log2n$$ {log}^2n $$ . Our reconstruction algorithm has a very simple structure, and is highly parallelizable. On general graphs of bounded degree, our reconstruction algorithm has subquadratic query complexity.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84387331","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Tight bounds on the expected number of holes in random point sets","authors":"M. Balko, M. Scheucher, P. Valtr","doi":"10.1002/rsa.21088","DOIUrl":"https://doi.org/10.1002/rsa.21088","url":null,"abstract":"For integers d≥2$$ dge 2 $$ and k≥d+1$$ kge d+1 $$ , a k$$ k $$‐hole in a set S$$ S $$ of points in general position in ℝd$$ {mathbb{R}}^d $$ is a k$$ k $$ ‐tuple of points from S$$ S $$ in convex position such that the interior of their convex hull does not contain any point from S$$ S $$ . For a convex body K⊆ℝd$$ Ksubseteq {mathbb{R}}^d $$ of unit d$$ d $$ ‐dimensional volume, we study the expected number EHd,kK(n)$$ E{H}_{d,k}^K(n) $$ of k$$ k $$ ‐holes in a set of n$$ n $$ points drawn uniformly and independently at random from K$$ K $$ . We prove an asymptotically tight lower bound on EHd,kK(n)$$ E{H}_{d,k}^K(n) $$ by showing that, for all fixed integers d≥2$$ dge 2 $$ and k≥d+1$$ kge d+1 $$ , the number EHd,kK(n)$$ E{H}_{d,k}^K(n) $$ is at least Ω(nd)$$ Omega left({n}^dright) $$ . For some small holes, we even determine the leading constant limn→∞n−dEHd,kK(n)$$ {lim}_{nto infty }{n}^{-d}E{H}_{d,k}^K(n) $$ exactly. We improve the currently best‐known lower bound on limn→∞n−dEHd,d+1K(n)$$ {lim}_{nto infty }{n}^{-d}E{H}_{d,d+1}^K(n) $$ by Reitzner and Temesvari (2019). In the plane, we show that the constant limn→∞n−2EH2,kK(n)$$ {lim}_{nto infty }{n}^{-2}E{H}_{2,k}^K(n) $$ is independent of K$$ K $$ for every fixed k≥3$$ kge 3 $$ and we compute it exactly for k=4$$ k=4 $$ , improving earlier estimates by Fabila‐Monroy, Huemer, and Mitsche and by the authors.","PeriodicalId":54523,"journal":{"name":"Random Structures & Algorithms","volume":null,"pages":null},"PeriodicalIF":1.0,"publicationDate":"2021-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83832028","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}