127 research outputs found
Colouring quadrangulations of projective spaces
A graph embedded in a surface with all faces of size 4 is known as a
quadrangulation. We extend the definition of quadrangulation to higher
dimensions, and prove that any graph G which embeds as a quadrangulation in the
real projective space P^n has chromatic number n+2 or higher, unless G is
bipartite. For n=2 this was proved by Youngs [J. Graph Theory 21 (1996),
219-227]. The family of quadrangulations of projective spaces includes all
complete graphs, all Mycielski graphs, and certain graphs homomorphic to
Schrijver graphs. As a corollary, we obtain a new proof of the Lovasz-Kneser
theorem
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
Percolation on uniform infinite planar maps
We construct the uniform infinite planar map (UIPM), obtained as the n \to
\infty local limit of planar maps with n edges, chosen uniformly at random. We
then describe how the UIPM can be sampled using a "peeling" process, in a
similar way as for uniform triangulations. This process allows us to prove that
for bond and site percolation on the UIPM, the percolation thresholds are
p_c^bond=1/2 and p_c^site=2/3 respectively. This method also works for other
classes of random infinite planar maps, and we show in particular that for bond
percolation on the uniform infinite planar quadrangulation, the percolation
threshold is p_c^bond=1/3.Comment: 26 pages, 9 figure
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
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
- …