156 research outputs found
Unified bijections for maps with prescribed degrees and girth
This article presents unified bijective constructions for planar maps, with
control on the face degrees and on the girth. Recall that the girth is the
length of the smallest cycle, so that maps of girth at least are
respectively the general, loopless, and simple maps. For each positive integer
, we obtain a bijection for the class of plane maps (maps with one
distinguished root-face) of girth having a root-face of degree . We then
obtain more general bijective constructions for annular maps (maps with two
distinguished root-faces) of girth at least . Our bijections associate to
each map a decorated plane tree, and non-root faces of degree of the map
correspond to vertices of degree of the tree. As special cases we recover
several known bijections for bipartite maps, loopless triangulations, simple
triangulations, simple quadrangulations, etc. Our work unifies and greatly
extends these bijective constructions. In terms of counting, we obtain for each
integer an expression for the generating function
of plane maps of girth with root-face of
degree , where the variable counts the non-root faces of degree .
The expression for was already obtained bijectively by Bouttier, Di
Francesco and Guitter, but for the expression of is new. We
also obtain an expression for the generating function
\G_{p,q}^{(d,e)}(x_d,x_{d+1},...) of annular maps with root-faces of degrees
and , such that cycles separating the two root-faces have length at
least while other cycles have length at least . Our strategy is to
obtain all the bijections as specializations of a single "master bijection"
introduced by the authors in a previous article. In order to use this approach,
we exhibit certain "canonical orientations" characterizing maps with prescribed
girth constraints
Generation, Ranking and Unranking of Ordered Trees with Degree Bounds
We study the problem of generating, ranking and unranking of unlabeled
ordered trees whose nodes have maximum degree of . This class of trees
represents a generalization of chemical trees. A chemical tree is an unlabeled
tree in which no node has degree greater than 4. By allowing up to
children for each node of chemical tree instead of 4, we will have a
generalization of chemical trees. Here, we introduce a new encoding over an
alphabet of size 4 for representing unlabeled ordered trees with maximum degree
of . We use this encoding for generating these trees in A-order with
constant average time and O(n) worst case time. Due to the given encoding, with
a precomputation of size and time O(n^2) (assuming is constant), both
ranking and unranking algorithms are also designed taking O(n) and O(nlogn)
time complexities.Comment: In Proceedings DCM 2015, arXiv:1603.0053
The multivariate Tutte polynomial (alias Potts model) for graphs and matroids
The multivariate Tutte polynomial (known to physicists as the Potts-model partition function) can be defined on an arbitrary finite graph G, or more generally on an arbitrary matroid M, and encodes much important combinatorial information about the graph (indeed, in the matroid case it encodes the full structure of the matroid). It contains as a special case the familiar two-variable Tutte polynomial -- and therefore also its one-variable specializations such as the chromatic polynomial, the flow polynomial and the reliability polynomial -- but is considerably more flexible. I begin by giving an introduction to all these problems, stressing the advantages of working with the multivariate version. I then discuss some questions concerning the complex zeros of the multivariate Tutte polynomial, along with their physical interpretations in statistical mechanics (in connection with the Yang--Lee approach to phase transitions) and electrical circuit theory. Along the way I mention numerous open problems. This survey is intended to be understandable to mathematicians with no prior knowledge of physics
Edge-coloring via fixable subgraphs
Many graph coloring proofs proceed by showing that a minimal counterexample
to the theorem being proved cannot contain certain configurations, and then
showing that each graph under consideration contains at least one such
configuration; these configurations are called \emph{reducible} for that
theorem. (A \emph{configuration} is a subgraph , along with specified
degrees in the original graph for each vertex of .)
We give a general framework for showing that configurations are reducible for
edge-coloring. A particular form of reducibility, called \emph{fixability}, can
be considered without reference to a containing graph. This has two key
benefits: (i) we can now formulate necessary conditions for fixability, and
(ii) the problem of fixability is easy for a computer to solve. The necessary
condition of \emph{superabundance} is sufficient for multistars and we
conjecture that it is sufficient for trees as well, which would generalize the
powerful technique of Tashkinov trees.
Via computer, we can generate thousands of reducible configurations, but we
have short proofs for only a small fraction of these. The computer can write
\LaTeX\ code for its proofs, but they are only marginally enlightening and can
run thousands of pages long. We give examples of how to use some of these
reducible configurations to prove conjectures on edge-coloring for small
maximum degree. Our aims in writing this paper are (i) to provide a common
context for a variety of reducible configurations for edge-coloring and (ii) to
spur development of methods for humans to understand what the computer already
knows.Comment: 18 pages, 8 figures; 12-page appendix with 39 figure
- …