On the Number of Planar Orientations with Prescribed Degrees

We deal with the asymptotic enumeration of combinatorial structures on planar maps. Prominent instances of such problems are the enumeration of spanning trees, bipartite perfect matchings, and ice models. The notion of orientations with out-degrees prescribed by a function $\alpha:V\rightarrow {\Bbb N}$ unifies many different combinatorial structures, including the afore mentioned. We call these orientations $\alpha$-orientations. The main focus of this paper are bounds for the maximum number of $\alpha$-orientations that a planar map with $n$ vertices can have, for different instances of $\alpha$. We give examples of triangulations with $2.37^n$ Schnyder woods, 3-connected planar maps with $3.209^n$ Schnyder woods and inner triangulations with $2.91^n$ bipolar orientations. These lower bounds are accompanied by upper bounds of $3.56^n$, $8^n$ and $3.97^n$ respectively. We also show that for any planar map $M$ and any $\alpha$ the number of $\alpha$-orientations is bounded from above by $3.73^n$ and describe a family of maps which have at least $2.598^n$ $\alpha$-orientations.

[1]  Salil P. Vadhan,et al.  The Complexity of Counting in Sparse, Regular, and Planar Graphs , 2002, SIAM J. Comput..

[2]  Paul Bonsma,et al.  Sparse cuts, matching-cuts and leafy trees in graphs , 2006 .

[3]  Eric Vigoda,et al.  A polynomial-time approximation algorithm for the permanent of a matrix with nonnegative entries , 2004, JACM.

[4]  W. Schnyder Planar graphs and poset dimension , 1989 .

[5]  Dominique Poulalhon,et al.  Optimal Coding and Sampling of Triangulations , 2003, Algorithmica.

[6]  Elliott H. Lieb,et al.  Residual Entropy of Square Ice , 1967 .

[7]  Patrice Ossona de Mendez,et al.  Bipolar orientations Revisited , 1995, Discret. Appl. Math..

[8]  Michael Luby,et al.  Approximating the Permanent of Graphs with Large Factors , 1992, Theor. Comput. Sci..

[9]  Stefan Felsner,et al.  Lattice Structures from Planar Graphs , 2004, Electron. J. Comb..

[10]  Elliott H. Lleb Residual Entropy of Square Ice , 1967 .

[11]  R. J. Baxter,et al.  F Model on a Triangular Lattice , 1969 .

[12]  W. T. Tutte,et al.  A Census of Planar Triangulations , 1962, Canadian Journal of Mathematics.

[13]  H. Temperley,et al.  Combinatorics: Enumeration of graphs on a large periodic lattice , 1974 .

[14]  Stefan Felsner,et al.  Binary Labelings for Plane Quadrangulations and their Relatives , 2010, Discret. Math. Theor. Comput. Sci..

[15]  Walter Schnyder,et al.  Embedding planar graphs on the grid , 1990, SODA '90.

[16]  Robin Thomas,et al.  PERMANENTS, PFAFFIAN ORIENTATIONS, AND EVEN DIRECTED CIRCUITS , 1997, STOC 1997.

[17]  C. Little A characterization of convertible (0, 1)-matrices , 1975 .

[18]  David Bruce Wilson,et al.  Trees and Matchings , 2000, Electron. J. Comb..

[19]  Éric Fusy,et al.  Dissections and trees, with applications to optimal mesh encoding and to random sampling , 2005, SODA '05.

[20]  H. de Fraysseix,et al.  On topological aspects of orientations , 2001, Discret. Math..

[21]  Ares Ribó Mor Realization and counting problems for planar structures , 2006 .

[22]  Gnter Rote,et al.  The number of spanning trees in a planar graph , 2005 .

[23]  Herbert S. Wilf,et al.  The Number of Independent Sets in a Grid Graph , 1998, SIAM J. Discret. Math..

[24]  Stefan Felsner,et al.  Convex Drawings of Planar Graphs and the Order Dimension of 3-Polytopes , 2001, Order.

[25]  Eric Vigoda,et al.  A polynomial-time approximation algorithm for the permanent of a matrix with non-negative entries , 2001, STOC '01.

[26]  Stefan Felsner,et al.  Geometric Graphs and Arrangements , 2004 .

[27]  Paul S. Bonsma Spanning Trees with Many Leaves in Graphs With Minimum Degree Three , 2008, SIAM J. Discret. Math..

[28]  Pierre Rosenstiehl Embedding in the Plane With Orientation Constraints: The Angle Graph , 1989 .

[29]  W. T. Tutte A Short Proof of the Factor Theorem for Finite Graphs , 1954, Canadian Journal of Mathematics.

[30]  R. Baxter Exactly solved models in statistical mechanics , 1982 .

[31]  Nicolas Bonichon,et al.  A bijection between realizers of maximal plane graphs and pairs of non-crossing Dyck paths , 2005, Discret. Math..

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

[33]  Éric Fusy,et al.  Transversal Structures on Triangulations, with Application to Straight-Line Drawing , 2005, GD.

[34]  Roberto Tamassia,et al.  A unified approach to visibility representations of planar graphs , 1986, Discret. Comput. Geom..

[35]  René Weiskircher,et al.  Drawing Planar Graphs , 2001, Drawing Graphs.

[36]  Stefan Felsner,et al.  Convex Drawings of 3-Connected Plane Graphs , 2004, SODA '05.