Dirichlet Random Samplers for Multiplicative Combinatorial Structures

In 2001, Duchon, Flajolet, Louchard and Schaeffer introduced Boltzmann samplers, a radically novel way to efficiently generate huge random combinatorial objects without any preprocessing; the insight was that the probabilities can be obtained directly by evaluating the generating functions of combinatorials classes. Over the following decade, a vast array of papers has increased the formal expressiveness of these random samplers. Our paper introduces a new kind of sampler which generates multiplicative combinatorial structures, which enumerated by Dirichlet generating functions. Such classes, which are significantly harder to analyze than their additive counterparts, are at the intersection of combinatorics and analytic number theory. Indeed, one example we fully discuss is that of ordered factorizations. While we recycle many of the concepts of Boltzmann random sampling, our samplers no longer obey a Boltzmann distribution; we thus have coined a new name for them: Dirichlet samplers. These are very efficient as they can generate objects of size n in O((log n)2) worst-case time complexity. By providing a means by which to generate very large random multiplicative objects, our Dirichlet samplers can facilitate the investigation of these interesting, yet little studied structures. We also hope to illustrate some of our general ideas regarding the future direction for random sampling.

[1]  Carl-Erik Fröberg On the prime zeta function , 1968 .

[2]  Philippe Flajolet,et al.  On Buffon machines and numbers , 2009, SODA '11.

[3]  Olivier Bodini,et al.  Tiling an Interval of the Discrete Line , 2006, CPM.

[4]  Éric Fusy,et al.  Uniform random sampling of planar graphs in linear time , 2007, Random Struct. Algorithms.

[5]  S. Janson,et al.  Erratum: A central limit theorem for random ordered factorizations of integers , 2011 .

[6]  Philippe Flajolet,et al.  Analytic Combinatorics , 2009 .

[7]  Arnold Knopfmacher Ordered and Unordered Factorizations of Integers , 2006 .

[8]  A. Meir,et al.  On Nodes of Given Out-Degree in Random Trees , 1992 .

[9]  Guy Louchard,et al.  Boltzmann Samplers for the Random Generation of Combinatorial Structures , 2004, Combinatorics, Probability and Computing.

[10]  Hsien-Kuei Hwang Distribution of the Number of Factors in Random Ordered Factorizations of Integers , 2000 .

[11]  Yann Ponty,et al.  Multi-dimensional Boltzmann Sampling of Languages , 2010, 1002.0046.

[12]  P. Flajolet,et al.  Boltzmann Sampling of Unlabelled Structures , 2006 .

[13]  Arnold Knopfmacher,et al.  A SURVEY OF FACTORIZATION COUNTING FUNCTIONS , 2005 .

[14]  Hsien-Kuei Hwang,et al.  Théorèmes limites pour les structures combinatoires et les fonctions arithmétiques , 1994 .

[15]  E. Hille,et al.  A problem in "Factorisatio Numerorum" , 1936 .

[16]  Luc Devroye,et al.  Non-Uniform Random Variate Generation , 1986 .

[17]  B. Salvy,et al.  Algorithms for Combinatorial Systems , 2011 .

[18]  Guy Louchard,et al.  Random Sampling from Boltzmann Principles , 2002, ICALP.

[19]  On Some Asymptotic Formulas in The Theory of The "Factorisatio Numerorum" , 1941 .

[20]  Philippe Flajolet,et al.  Singularity Analysis of Generating Functions , 1990, SIAM J. Discret. Math..

[21]  Philippe Flajolet,et al.  A Calculus for the Random Generation of Labelled Combinatorial Structures , 1994, Theor. Comput. Sci..

[22]  B. Salvy,et al.  Boltzmann Oracle for Combinatorial Systems , 2008 .

[23]  G. Tenenbaum Introduction to Analytic and Probabilistic Number Theory , 1995 .

[24]  Hubert Delange,et al.  Généralisation du théorème de Ikehara , 1954 .

[25]  On Kalmar's Problem in “Factorisatio Numerorum.” II , 1941 .