An unbiased pointing operator for unlabeled structures, with applications to counting and sampling

We introduce a general method to count and randomly sample unlabeled combinatorial structures. The approach is based on pointing unlabeled structures in an "unbiased" way, i.e., in such a way that a structure of size n gives rise to n pointed structures. We develop a specific Pólya theory for the corresponding pointing operator, and present a sampling framework relying both on the principles of Boltzmann sampling and on Pólya operators. Our method is illustrated on several examples: in each case, we provide enumerative results and efficient random samplers. The approach applies to unlabeled families of plane and non-plane unrooted trees, and tree-like structures in general, but also to cactus graphs, outerplanar graphs, RNA secondary structures, and classes of planar maps.

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

[2]  H. Weyl Permutation Groups , 2022 .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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