planar
3152 papers tagged with this keyword
The structure of unicellular maps, and a connection between maps of positive genus and planar labelled trees
Published in Probability Theory and Related Fields 147(3):415-447 (2010)
• View Publication
• BIB
A unicellular map is a map which has only one face. We give a bijection between a dominant subset of rooted unicellular maps of fixed genus and a set of rooted plane trees with distinguished vertices. The bijection applies as well to the case of labelled unicellular maps, which are related to all rooted maps by Marcus and Schaeffer's bijection.
This gives an immediate derivation of the asymptotic number of unicellular maps of given genus, and a simple bijective proof of a formula of Lehman and Walsh on the number of triangulations with one vertex. From the labelled case, we deduce an expression of the asymptotic number of maps of genus g with n edges involving the ISE random measure, and an explicit characterization of the limiting profile and radius of random bipartite quadrangulations of genus g in terms of the ISE.
Bijections for Baxter Families and Related Objects
Published in Journal of Combinatorial Theory, Series A 118:3 (2011), 993-1020
• View Publication
• BIB
The Baxter number can be written as $B_n = \sum_0^n Θ_{k,n-k-1}$. These numbers have first appeared in the enumeration of so-called Baxter permutations; $B_n$ is the number of Baxter permutations of size $n$, and $Θ_{k,l}$ is the number of Baxter permutations with $k$ descents and $l$ rises. With a series of bijections we identify several families of combinatorial objects counted by the numbers $Θ_{k,l}$. Apart from Baxter permutations, these include plane bipolar orientations with $k+2$ vertices and $l+2$ faces, 2-orientations of planar quadrangulations with $k+2$ white and $l+2$ black vertices, certain pairs of binary trees with $k+1$ left and $l+1$ right leaves, and a family of triples of non-intersecting lattice paths. This last family allows us to determine the value of $Θ_{k,l}$ as an application of the lemma of Gessel and Viennot. The approach also allows us to count certain other subfamilies, e.g., alternating Baxter permutations, objects with symmetries and, via a bijection with a class of plan bipolar orientations also Schnyder woods of triangulations, which are known to be in bijection with 3-orientations.
Infinitesimal or cocommutative dipterous bialgebras and good triples of operads
The works of Poincare, Birkhoff, Witt and Cartier, Milnor, Moore on the connected cocommutative Hopf algebras translated in the language of operads means that the triple of operads (Com, As, Lie) endowed with the Hopf compatiblity relation is good. In this paper, we focus on left dipterous (resp. right dipterous) algebras which are associative algebras with an extra left (resp. right) module on themselves and look for good triples were $As$ is replaced by the dipterous operad Dipt. Since the work of Loday and Ronco, the triple of operads (As, Dipt, B_\infty) endowed with the semi-Hopf compatibility relations is known to be good. In this paper, we prove that the triple of operads (As, Dipt, Grove) endowed with the so-called (nonunital) semi-infinitesimal compatibility relations is good. For that, explicit constructions of the free dipterous algebra and the free grove-algebra over a K-vector space V are given. These constructions turn out to be related to rooted planar trees and the little an large Schroeder numbers. Many examples of dipterous algebras are given, notably the free L-dipterous algebras. As a corollary of our results, we also recover that the triple of operads (2As, Dipt, Vect) endowed both with the unital semi-Hopf and with the unital semi-infinitesimal compatibility relations is good, where 2As denotes the operad of 2-associative algebras. We also open this paper on a good triple, related to the Connes-Kreimer Hopf algebra in quantum field theory, (Com, Dipt, Prim_{Com} Dipt) endowed with the Hopf compatibility relations and also present a general theorem giving good triples from entangled dipterous like operads named associative molecules.
Shortest Vertex-Disjoint Two-Face Paths in Planar Graphs
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• Search Publication
Let $G$ be a directed planar graph of complexity $n$, each arc having a nonnegative length. Let $s$ and $t$ be two distinct faces of $G$; let $s_1,...,s_k$ be vertices incident with $s$; let $t_1,...,t_k$ be vertices incident with $t$. We give an algorithm to compute $k$ pairwise vertex-disjoint paths connecting the pairs $(s_i,t_i)$ in $G$, with minimal total length, in $O(kn\log n)$ time.
Deterministically Isolating a Perfect Matching in Bipartite Planar Graphs
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• View Publication
• BIB
We present a deterministic way of assigning small (log bit) weights to the edges of a bipartite planar graph so that the minimum weight perfect matching becomes unique. The isolation lemma as described in (Mulmuley et al. 1987) achieves the same for general graphs using a randomized weighting scheme, whereas we can do it deterministically when restricted to bipartite planar graphs. As a consequence, we reduce both decision and construction versions of the matching problem to testing whether a matrix is singular, under the promise that its determinant is 0 or 1, thus obtaining a highly parallel SPL algorithm for bipartite planar graphs. This improves the earlier known bounds of non-uniform SPL by (Allender et al. 1999) and $NC^2$ by (Miller and Naor 1995, Mahajan and Varadarajan 2000). It also rekindles the hope of obtaining a deterministic parallel algorithm for constructing a perfect matching in non-bipartite planar graphs, which has been open for a long time. Our techniques are elementary and simple.
Trimming of Graphs, with Application to Point Labeling
Published in Dans Proceedings of the 25th Annual Symposium on the Theoretical Aspects of Computer Science - STACS 2008, Bordeaux : France (2008)
• View Publication
• BIB
For $t,g>0$, a vertex-weighted graph of total weight $W$ is $(t,g)$-trimmable if it contains a vertex-induced subgraph of total weight at least $(1-1/t)W$ and with no simple path of more than $g$ edges. A family of graphs is trimmable if for each constant $t>0$, there is a constant $g=g(t)$ such that every vertex-weighted graph in the family is $(t,g)$-trimmable. We show that every family of graphs of bounded domino treewidth is trimmable. This implies that every family of graphs of bounded degree is trimmable if the graphs in the family have bounded treewidth or are planar. Based on this result, we derive a polynomial-time approximation scheme for the problem of labeling weighted points with nonoverlapping sliding labels of unit height and given lengths so as to maximize the total weight of the labeled points. This settles one of the last major open questions in the theory of map labeling.
On the Distribution of the Domination Number of a New Family of Parametrized Random Digraphs
Published in Model Assisted Statistics and Applications (2007), 1(4):231-255
• Search Publication
We derive the asymptotic distribution of the domination number of a new family of random digraph called proximity catch digraph (PCD), which has application to statistical testing of spatial point patterns and to pattern recognition. The PCD we use is a parametrized digraph based on two sets of points on the plane, where sample size and locations of the elements of one is held fixed, while the sample size of the other whose elements are randomly distributed over a region of interest goes to infinity. PCDs are constructed based on the relative allocation of the random set of points with respect to the Delaunay triangulation of the other set whose size and locations are fixed. We introduce various auxiliary tools and concepts for the derivation of the asymptotic distribution. We investigate these concepts in one Delaunay triangle on the plane, and then extend them to the multiple triangle case. The methods are illustrated for planar data, but are applicable in higher dimensions also.
A formula for Plücker coordinates associated with a planar network
Published in Int Math Res Notices (2008) Vol. 2008, article ID rnn081, 19 pages, published on July 24, 2008.
• View Publication
• BIB
For a planar directed graph G, Postnikov's boundary measurement map sends positive weight functions on the edges of G onto the appropriate totally nonnegative Grassmann cell. We establish an explicit formula for Postnikov's map by expressing each Pluecker coordinate as a ratio of two combinatorially defined polynomials in the edge weights, with positive integer coefficients. In the non-planar setting, we show that a similar formula holds for special choices of Pluecker coordinates.
Decompositions and statistics for beta(1,0)-trees and nonseparable permutations
Published
• View Publication
• BIB
The subject of pattern avoiding permutations has its roots in computer science, namely in the problem of sorting a permutation through a stack. A formula for the number of permutations of length n that can be sorted by passing it twice through a stack (where the letters on the stack have to be in increasing order) was conjectured by West, and later proved by Zeilberger. Goulden and West found a bijection from such permutations to nonseparable planar maps, and later, Jacquard and Schaeffer presented a bijection from these planar maps to certain labeled plane trees, called beta(1,0)-trees. Using generating trees, Dulucq, Gire and West showed that nonseparable planar maps are equinumerous with permutations avoiding the (classical) pattern 2413 and the barred pattern 41\bar{3}52; they called these permutations nonseparable. We give a new bijection between beta(1,0)-trees and permutations avoiding the dashed patterns 3-1-4-2 and 2-41-3. These permutations can be seen to be exactly the reverse of nonseparable permutations. Our bijection is built using decompositions of the permutations and the trees, and it translates seven statistics on the trees into statistics on the permutations. Among the statistics involved are ascents, left-to-right minima and right-to-left maxima for the permutations, and leaves and the rightmost and leftmost paths for the trees. In connection with this we give a nontrivial involution on the beta(1,0)-trees, which specializes to an involution on unlabeled rooted plane trees, where it yields interesting results. Lastly, we conjecture the existence of a bijection between nonseparable permutations and two-stack sortable permutations preserving at least four permutation statistics.
Every Minor-Closed Property of Sparse Graphs is Testable
Published
• View Publication
• BIB
Suppose $G$ is a graph with degrees bounded by $d$, and one needs to remove more than $εn$ of its edges in order to make it planar. We show that in this case the statistics of local neighborhoods around vertices of $G$ is far from the statistics of local neighborhoods around vertices of any planar graph $G'$ with the same degree bound. In fact, a similar result is proved for any minor-closed property of bounded degree graphs.
As an immediate corollary of the above result we infer that many well studied graph properties, like being planar, outer-planar, series-parallel, bounded genus, bounded tree-width and several others, are testable with a constant number of queries, where the constant may depend on $ε$ and $d$, but not on the graph size. None of these properties was previously known to be testable even with $o(n)$ queries.
Towards an optimal algorithm for recognizing Laman graphs
Published
• View Publication
• BIB
Laman graphs are fundamental to rigidity theory. A graph G with n vertices and m edges is a generic minimally rigid graph (Laman graph), if m=2n-3 and every induced subset of k vertices spans at most 2k-3 edges. We consider the verification problem: Given a graph G with n vertices, decide if it is Laman. We present an algorithm that takes O(T(n)+n log n) time, where T(n) is the best time to extract two edge disjoint spanning trees from G or decide no such trees exist. Our algorithm exploits a known construction called red-black hierarchy (RBH), that is a certificate for Laman graphs. First, we show how to verify if G admits an RBH and argue this is enough to conclude whether G is Laman or not. Second, we show how to construct the RBH using a two steps procedure that is simple and easy to implement. Finally, we point out some difficulties in using red-black hierarchies to compute a Henneberg construction, which seem to imply super-quadratic time algorithms when used for embedding a planar Laman graph as a pointed pseudo-triangulation.
Fullerene graphs have exponentially many perfect matchings
Published in Journal of Mathematical Chemistry 46(2):443--447, 2009
• View Publication
• BIB
A fullerene graph is a planar cubic 3-connected graph with only pentagonal and hexagonal faces. We show that fullerene graphs have exponentially many perfect matchings.
New results on lower bounds for the number of (at most k)-facets
Published in European Journal of Combinatorics 30:7 (2009), 1568-1574
• View Publication
• BIB
In this paper we present three different results dealing with the number of $(\leq k)$-facets of a set of points:
1. We give structural properties of sets in the plane that achieve the optimal lower bound $3\binom{k+2}{2}$ of $(\leq k)$-edges for a fixed $0\leq k\leq \lfloor n/3 \rfloor -1$;
2. We give a simple construction showing that the lower bound $3\binom{k+2}{2}+3\binom{k-\lfloor \frac{n}{3} \rfloor+2}{2}$ for the number of $(\leq k)$-edges of a planar point set appeared in [Aichholzer et al. New lower bounds for the number of ($\leq k$)-edges and the rectilinear crossing number of $K_n$. {\em Disc. Comput. Geom.} 38:1 (2007), 1--14] is optimal in the range $\lfloor n/3 \rfloor \leq k \leq \lfloor 5n/12 \rfloor -1$;
3. We show that for $k < \lfloor n/(d+1) \rfloor$ the number of $(\leq k)$-facets of a set of $n$ points in general position in $\mathbb{R}^d$ is at least $(d+1)\binom{k+d}{d}$, and that this bound is tight in the given range of $k$.
Packing 3-Vertex Paths in 2-Connected Graphs
We give a construction that provides infinitely many 2-connected, cubic, bipartite, and planar graphs G with 3k vertices and such that the number of disjoint copies of a 3-vertex path in G is less than k.
A bijection for rooted maps on orientable surfaces
Published in SIAM Journal on Discrete Mathematics, 23(3):1587-1611 (2009)
• View Publication
• BIB
The enumeration of maps and the study of uniform random maps have been classical topics of combinatorics and statistical physics ever since the seminal work of Tutte in the sixties. Following the bijective approach initiated by Cori and Vauquelin in the eighties, we describe a bijection between rooted maps, or rooted bipartite quadrangulations, on a surface of genus g and some simpler objects that generalize plane trees. Thanks to a rerooting argument, our bijection allows to compute the generating series of rooted maps on a surface of genus g with respect to the number of edges, and to recover the asymptotic numbers of such maps.
Our construction allows to keep track in a bipartite quadrangulation of the distances of all vertices to a random basepoint. This is an analog for higher genus surfaces of the basic result on which were built the recent advances in the comprehension of the intrinsec geometry of large random planar maps, hopefully opening the way to the study of a model of continuum random surfaces of genus g.
The Cops & Robber game on series-parallel graphs
The Cops and Robber game is played on undirected finite graphs. $k$ cops and one robber are positioned on vertices and take turn in moving along edges. The cops win if, after a move, a cop and the robber are on the same vertex. A graph is called $k$-copwin, if the cops have a winning strategy.
It is known that planar graphs are 3-copwin (Aigner & Fromme, 1984) and that outerplanar graphs are 2-copwin (Clarke, 2002). In this short note, we prove that series-parallel (i.e., graphs with no $K_4$ minor) graphs are 2-copwin.
It is a well-known trick in the literature of cops & robber games to define variants of the game which impose restrictions on the possible strategies of the cops (see Clarke, 2002). For our proof, we define the ``cops & robber game with exits''.
Our proof yields a winning strategy for the cops.
Distances in random Apollonian network structures
Published
• View Publication
• BIB
In this paper, we study the distribution of distances in random Apollonian network structures (RANS), a family of graphs which has a one-to-one correspondence with planar ternary trees. Using multivariate generating functions that express all information on distances, and singularity analysis for evaluating the coefficients of these functions, we describe the distribution of distances to an outermost vertex, and show that the average value of the distance between any pair of vertices in a RANS of order n is asymptotically square root of n.
Statistics of geodesics in large quadrangulations
Published in J. Phys. A: Math. Theor. 41 (2008) 145001
• View Publication
• BIB
We study the statistical properties of geodesics, i.e. paths of minimal length, in large random planar quadrangulations. We extend Schaeffer's well-labeled tree bijection to the case of quadrangulations with a marked geodesic, leading to the notion of "spine trees", amenable to a direct enumeration. We obtain the generating functions for quadrangulations with a marked geodesic of fixed length, as well as with a set of "confluent geodesics", i.e. a collection of non-intersecting minimal paths connecting two given points. In the limit of quadrangulations with a large area n, we find in particular an average number 3*2^i of geodesics between two fixed points at distance i>>1 from each other. We show that, for generic endpoints, two confluent geodesics remain close to each other and have an extensive number of contacts. This property fails for a few "exceptional" endpoints which can be linked by truly distinct geodesics. Results are presented both in the case of finite length i and in the scaling limit i ~ n^(1/4). In particular, we give the scaling distribution of the exceptional points.
Some families of increasing planar maps
Published
• View Publication
• BIB
Stack-triangulations appear as natural objects when one wants to define some increasing families of triangulations by successive additions of faces. We investigate the asymptotic behavior of rooted stack-triangulations with $2n$ faces under two different distributions. We show that the uniform distribution on this set of maps converges, for a topology of local convergence, to a distribution on the set of infinite maps. In the other hand, we show that rescaled by $n^{1/2}$, they converge for the Gromov-Hausdorff topology on metric spaces to the continuum random tree introduced by Aldous. Under a distribution induced by a natural random construction, the distance between random points rescaled by $(6/11)\log n$ converge to 1 in probability.
We obtain similar asymptotic results for a family of increasing quadrangulations.
Every longest circuit of a 3-connected, $K_{3,3}$-minor free graph has a chord
Published in Journal of Graph Theory, 58 (4): 293-298, 2008
• View Publication
• BIB
Carsten Thomassen conjectured that every longest circuit in a 3-connected graph has a chord. We prove the conjecture for graphs having no $K_{3,3}$ minor, and consequently for planar graphs.