437 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
Generic method for bijections between blossoming trees and planar maps
This article presents a unified bijective scheme between planar maps and
blossoming trees, where a blossoming tree is defined as a spanning tree of the
map decorated with some dangling half-edges that enable to reconstruct its
faces. Our method generalizes a previous construction of Bernardi by loosening
its conditions of applications so as to include annular maps, that is maps
embedded in the plane with a root face different from the outer face.
The bijective construction presented here relies deeply on the theory of
\alpha-orientations introduced by Felsner, and in particular on the existence
of minimal and accessible orientations. Since most of the families of maps can
be characterized by such orientations, our generic bijective method is proved
to capture as special cases all previously known bijections involving
blossoming trees: for example Eulerian maps, m-Eulerian maps, non separable
maps and simple triangulations and quadrangulations of a k-gon. Moreover, it
also permits to obtain new bijective constructions for bipolar orientations and
d-angulations of girth d of a k-gon.
As for applications, each specialization of the construction translates into
enumerative by-products, either via a closed formula or via a recursive
computational scheme. Besides, for every family of maps described in the paper,
the construction can be implemented in linear time. It yields thus an effective
way to encode and generate planar maps.
In a recent work, Bernardi and Fusy introduced another unified bijective
scheme, we adopt here a different strategy which allows us to capture different
bijections. These two approaches should be seen as two complementary ways of
unifying bijections between planar maps and decorated trees.Comment: 45 pages, comments welcom
A bijection for triangulations, quadrangulations, pentagulations, etc
A -angulation is a planar map with faces of degree . We present for
each integer a bijection between the class of -angulations of
girth (i.e., with no cycle of length less than ) and a class of
decorated plane trees. Each of the bijections is obtained by specializing a
"master bijection" which extends an earlier construction of the first author.
Our construction unifies known bijections by Fusy, Poulalhon and Schaeffer for
triangulations () and by Schaeffer for quadrangulations (). For
, both the bijections and the enumerative results are new. We also
extend our bijections so as to enumerate \emph{-gonal -angulations}
(-angulations with a simple boundary of length ) of girth . We thereby
recover bijectively the results of Brown for simple -gonal triangulations
and simple -gonal quadrangulations and establish new results for .
A key ingredient in our proofs is a class of orientations characterizing
-angulations of girth . Earlier results by Schnyder and by De Fraysseix
and Ossona de Mendez showed that simple triangulations and simple
quadrangulations are characterized by the existence of orientations having
respectively indegree 3 and 2 at each inner vertex. We extend this
characterization by showing that a -angulation has girth if and only if
the graph obtained by duplicating each edge times admits an orientation
having indegree at each inner vertex
Simplicial and Cellular Trees
Much information about a graph can be obtained by studying its spanning
trees. On the other hand, a graph can be regarded as a 1-dimensional cell
complex, raising the question of developing a theory of trees in higher
dimension. As observed first by Bolker, Kalai and Adin, and more recently by
numerous authors, the fundamental topological properties of a tree --- namely
acyclicity and connectedness --- can be generalized to arbitrary dimension as
the vanishing of certain cellular homology groups. This point of view is
consistent with the matroid-theoretic approach to graphs, and yields
higher-dimensional analogues of classical enumerative results including
Cayley's formula and the matrix-tree theorem. A subtlety of the
higher-dimensional case is that enumeration must account for the possibility of
torsion homology in trees, which is always trivial for graphs. Cellular trees
are the starting point for further high-dimensional extensions of concepts from
algebraic graph theory including the critical group, cut and flow spaces, and
discrete dynamical systems such as the abelian sandpile model.Comment: 39 pages (including 5-page bibliography); 5 figures. Chapter for
forthcoming IMA volume "Recent Trends in Combinatorics
Biconed graphs, edge-rooted forests, and h-vectors of matroid complexes
A well-known conjecture of Richard Stanley posits that the -vector of the
independence complex of a matroid is a pure -sequence. The
conjecture has been established for various classes but is open for graphic
matroids. A biconed graph is a graph with two specified `coning vertices', such
that every vertex of the graph is connected to at least one coning vertex. The
class of biconed graphs includes coned graphs, Ferrers graphs, and complete
multipartite graphs. We study the -vectors of graphic matroids arising from
biconed graphs, providing a combinatorial interpretation of their entries in
terms of `edge-rooted forests' of the underlying graph. This generalizes
constructions of Kook and Lee who studied the M\"obius coinvariant (the last
nonzero entry of the -vector) of graphic matroids of complete bipartite
graphs. We show that allowing for partially edge-rooted forests gives rise to a
pure multicomplex whose face count recovers the -vector, establishing
Stanley's conjecture for this class of matroids.Comment: 15 pages, 3 figures; V2: added omitted author to metadat
- …