{"title":"循环允许随机排列","authors":"Jimmy He, Tobias Müller, T. Verstraaten","doi":"10.1002/rsa.21169","DOIUrl":null,"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}_1\\left({\\Pi}_n\\right),\\dots, {C}_{\\ell}\\left({\\Pi}_n\\right)\\right) $$ where Ci(π)$$ {C}_i\\left(\\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}_1\\left({\\Pi}_{2n}\\right),{C}_3\\left({\\Pi}_{2n}\\right),\\dots \\right) $$ and (C1(Π2n+1),C3(Π2n+1),…)$$ \\left({C}_1\\left({\\Pi}_{2n+1}\\right),{C}_3\\left({\\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$$ q\\downarrow 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":"452 1","pages":"1054 - 1099"},"PeriodicalIF":0.9000,"publicationDate":"2022-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Cycles in Mallows random permutations\",\"authors\":\"Jimmy He, Tobias Müller, T. Verstraaten\",\"doi\":\"10.1002/rsa.21169\",\"DOIUrl\":null,\"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}_1\\\\left({\\\\Pi}_n\\\\right),\\\\dots, {C}_{\\\\ell}\\\\left({\\\\Pi}_n\\\\right)\\\\right) $$ where Ci(π)$$ {C}_i\\\\left(\\\\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}_1\\\\left({\\\\Pi}_{2n}\\\\right),{C}_3\\\\left({\\\\Pi}_{2n}\\\\right),\\\\dots \\\\right) $$ and (C1(Π2n+1),C3(Π2n+1),…)$$ \\\\left({C}_1\\\\left({\\\\Pi}_{2n+1}\\\\right),{C}_3\\\\left({\\\\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$$ q\\\\downarrow 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\":\"452 1\",\"pages\":\"1054 - 1099\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2022-01-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Random Structures & Algorithms\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1002/rsa.21169\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Random Structures & Algorithms","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1002/rsa.21169","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
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}_1\left({\Pi}_n\right),\dots, {C}_{\ell}\left({\Pi}_n\right)\right) $$ where Ci(π)$$ {C}_i\left(\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}_1\left({\Pi}_{2n}\right),{C}_3\left({\Pi}_{2n}\right),\dots \right) $$ and (C1(Π2n+1),C3(Π2n+1),…)$$ \left({C}_1\left({\Pi}_{2n+1}\right),{C}_3\left({\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$$ q\downarrow 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.
期刊介绍:
It is the aim of this journal to meet two main objectives: to cover the latest research on discrete random structures, and to present applications of such research to problems in combinatorics and computer science. The goal is to provide a natural home for a significant body of current research, and a useful forum for ideas on future studies in randomness.
Results concerning random graphs, hypergraphs, matroids, trees, mappings, permutations, matrices, sets and orders, as well as stochastic graph processes and networks are presented with particular emphasis on the use of probabilistic methods in combinatorics as developed by Paul Erdõs. The journal focuses on probabilistic algorithms, average case analysis of deterministic algorithms, and applications of probabilistic methods to cryptography, data structures, searching and sorting. The journal also devotes space to such areas of probability theory as percolation, random walks and combinatorial aspects of probability.