Boltzmann Samplers, Pólya Theory, and Cycle Pointing

We introduce a general method to count unlabeled combinatorial structures and to efficiently generate them at random. The approach is based on pointing unlabeled structures in an “unbiased” way so that a structure of size $n$ gives rise to $n$ pointed structures. We extend Polya theory to the corresponding pointing operator and present a random sampling framework based on both the principles of Boltzmann sampling and Polya operators. All previously known unlabeled construction principles for Boltzmann samplers are special cases of our new results. Our method is illustrated in several examples: in each case, we provide enumerative results and efficient random samplers. The approach applies to unlabeled families of plane and nonplane unrooted trees, and tree-like structures in general, but also to families of graphs (such as cacti graphs and outerplanar graphs) and families of planar maps.

[1]  Gilbert Labelle,et al.  Combinatorial species and tree-like structures , 1997, Encyclopedia of mathematics and its applications.

[2]  Manuel Bodirsky,et al.  Enumeration of Unlabeled Outerplanar Graphs , 2005 .

[3]  Peter J. Cameron,et al.  The Random Graph , 2013, The Mathematics of Paul Erdős II.

[4]  Manuel Bodirsky,et al.  Generating Outerplanar Graphs Uniformly at Random , 2006, Combinatorics, Probability and Computing.

[5]  Jaroslav Nesetril,et al.  Graphs and homomorphisms , 2004, Oxford lecture series in mathematics and its applications.

[6]  Mark Jerrum,et al.  Uniform Sampling Modulo a Group of Symmetries Using Markov Chain Simulation , 1992, Expanding Graphs.

[7]  G. Pólya,et al.  Combinatorial Enumeration Of Groups, Graphs, And Chemical Compounds , 1988 .

[8]  Leslie Ann Goldberg,et al.  The "Burnside Process" Converges Slowly , 1998, RANDOM.

[9]  T. C. Hu,et al.  Combinatorial algorithms , 1982 .

[10]  V. Liskovets,et al.  The Enumeration of Non-Isomorphic 2-Connected Planar Maps , 1983, Canadian Journal of Mathematics.

[11]  Herbert S. Wilf The Uniform Selection of Free Trees , 1981, J. Algorithms.

[12]  H. Weyl Permutation Groups , 2022 .

[13]  W. T. Tutte A Census of Planar Maps , 1963, Canadian Journal of Mathematics.

[14]  Philippe Flajolet,et al.  Boltzmann Sampling of Unlabeled Structures , 2007, ANALCO.

[15]  Carsten Thomassen,et al.  Graphs on Surfaces , 2001, Johns Hopkins series in the mathematical sciences.

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

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

[18]  Béla Bollobás,et al.  Random Graphs , 1985 .

[19]  Gilbert Labelle,et al.  Enumeration of m-Ary Cacti , 1998, Adv. Appl. Math..

[20]  Eric Fusy Counting Unrooted Maps Using Tree- Decompositionéric Fusy , 2022 .

[21]  R. Read On general dissections of a polygon , 1978 .

[22]  Michael S. Waterman,et al.  COMPUTATION OF GENERATING FUNCTIONS FOR BIOLOGICAL MOLECULES , 1980 .

[23]  David Thomas,et al.  The Art in Computer Programming , 2001 .

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

[25]  L. Devroye Non-Uniform Random Variate Generation , 1986 .

[26]  G. Pólya Kombinatorische Anzahlbestimmungen für Gruppen, Graphen und chemische Verbindungen , 1937 .

[27]  Frank Harary,et al.  Graphical enumeration , 1973 .

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

[29]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[30]  Mark Jerrum,et al.  The Markov chain Monte Carlo method: an approach to approximate counting and integration , 1996 .

[31]  R. Otter The Number of Trees , 1948 .

[32]  Omer Giménez,et al.  Asymptotic enumeration and limit laws of planar graphs , 2005, math/0501269.

[33]  Stanley Burris,et al.  Counting Rooted Trees: The Universal Law t(n)~C ρ-n n-3/2 , 2006, Electron. J. Comb..

[34]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..