planar
3152 papers tagged with this keyword
The First Order Definability of Graphs with Separators via the Ehrenfeucht Game
Published
• View Publication
• BIB
We say that a first order formula $Φ$ defines a graph $G$ if $Φ$ is true on $G$ and false on every graph $G'$ non-isomorphic with $G$. Let $D(G)$ be the minimal quantifier rank of a such formula. We prove that, if $G$ is a tree of bounded degree or a Hamiltonian (equivalently, 2-connected) outerplanar graph, then $D(G)=O(\log n)$, where $n$ denotes the order of $G$. This bound is optimal up to a constant factor. If $h$ is a constant, for connected graphs with no minor $K_h$ and degree $O(\sqrt n/\log n)$, we prove the bound $D(G)=O(\sqrt n)$. This result applies to planar graphs and, more generally, to graphs of bounded genus.
Integer concave cocirculations and honeycombs
Published in Lecture Notes in Computer Sci., 3064, 2004, 368-387
• View Publication
• BIB
A convex triangular grid is represented by a planar digraph $G$ embedded in the plane so that (a) each bounded face is surrounded by three edges and forms an equilateral triangle, and (b) the union $\Rscr$ of bounded faces is a convex polygon. A real-valued function $h$ on the edges of $G$ is called a concave cocirculation if $h(e)=g(v)-g(u)$ for each edge $e=(u,v)$, where $g$ is a concave function on $\Rscr$ which is affinely linear within each bounded face of $G$. Knutson and Tao [J. Amer. Math. Soc. 12 (4) (1999) 1055--1090] proved an integrality theorem for so-called honeycombs, which is equivalent to the assertion that an integer-valued function on the boundary edges of $G$ is extendable to an integer concave cocirculation if it is extendable to a concave cocirculation at all. In this paper we show a sharper property: for any concave cocirculation $h$ in $G$, there exists an integer concave cocirculation $h'$ satisfying $h'(e)=h(e)$ for each boundary edge $e$ with $h(e)$ integer and for each edge $e$ contained in a bounded face where $h$ takes integer values on all edges. On the other hand, we explain that for a 3-side grid $G$ of size $n$, the polytope of concave cocirculations with fixed integer values on two sides of $G$ can have a vertex $h$ whose entries are integers on the third side but $h(e)$ has denominator $Ω(n)$ for some interior edge $e$. Also some algorithmic aspects and related results on honeycombs are discussed.
Difference Methods and Ferrero Pairs
Published
• View Publication
• BIB
We present a construction method of BIB-designs from a finite group G and a group of automorphisms Φon G such that |Φ(x)| = |Φ| for all x in G, x <> 0. By using a generalization of the concept of a difference family we can so unify several previous constructions of BIB-designs from planar near-rings.
The Algebra of Binary Search Trees
Published in Theoret. Computer Sci., 339 (2005), 129-165
• View Publication
• BIB
We introduce a monoid structure on the set of binary search trees, by a process very similar to the construction of the plactic monoid, the Robinson-Schensted insertion being replaced by the binary search tree insertion. This leads to a new construction of the algebra of Planar Binary Trees of Loday-Ronco, defining it in the same way as Non-Commutative Symmetric Functions and Free Symmetric Functions. We briefly explain how the main known properties of the Loday-Ronco algebra can be described and proved with this combinatorial point of view, and then discuss it from a representation theoretical point of view, which in turns leads to new combinatorial properties of binary trees.
Walks in the quarter plane: Kreweras' algebraic model
Published in The Annals of Applied Probability 15, 2 (2005) 1451-1491
• View Publication
• BIB
We consider planar lattice walks that start from (0,0), remain inthe first quadrant i, j >= 0, and are made of three types of steps: North-East, West and South. These walks are known to have remarkable enumerative and probabilistic properties: -- they are counted by nice numbers (Kreweras 1965), -- the generating function of these numbers is algebraic (Gessel 1986), -- the stationary distribution of the corresponding Markov chain in the quadrant has an algebraic probability generating function (Flatto and Hahn 1984). These results are not well understood, and have been established via complicated proofs. Here we give a uniform derivation of all of them, whichis more elementary that those previously published.We then go further by computing the full law of the Markov chain. This helps to delimit the border of algebraicity: the associated probability generating function is no longer algebraic, unless a diagonal symmetry holds. Our proofs are based on the solution of certain functional equations,which are very simple to establish. Finding purely combinatorial proofs remains an open problem.
Labelled and unlabelled enumeration of $k$-gonal 2-trees
Published in Journal of Combinatorial Theory, Series A, 106 (2004), 193-219.
• View Publication
• BIB
In this paper, we generalize 2-trees by replacing triangles by quadrilaterals, pentagons or $k$-sided polygons ($k$-gons), where $k\geq 3$ is fixed. This generalization, to $k$-gonal 2-trees, is natural and is closely related, in the planar case, to some specializations of the cell-growth problem. Our goal is the labelled and unlabelled enumeration of $k$-gonal 2-trees according to the number $n$ of $k$-gons. We give explicit formulas in the labelled case, and, in the unlabelled case, recursive and asymptotic formulas.
Local limit of labeled trees and expected volume growth in a random quadrangulation
Published in Annals of Probability 2006, Vol. 34, No. 3, 879-917
• View Publication
• BIB
Exploiting a bijective correspondence between planar quadrangulations and well-labeled trees, we define an ensemble of infinite surfaces as a limit of uniformly distributed ensembles of quadrangulations of fixed finite volume. The limit random surface can be described in terms of a birth and death process and a sequence of multitype Galton--Watson trees. As a consequence, we find that the expected volume of the ball of radius $r$ around a marked point in the limit random surface is $Θ(r^4)$.
Uniform infinite planar triangulation and related time-reversed critical branching process
Published in Journal of Mathematical Sciences, vol 131, no 2, 2005, pp 5520-5537
• View Publication
• BIB
We establish a connection between the uniform infinite planar triangulation and some critical time-reversed branching process. This allows to find a scaling limit for the principal boundary component of a ball of radius R for large R (i.e. for a boundary component separating the ball from infinity). We show also that outside of R-ball a contour exists that has length linear in R.
Generic 3-connected planar constraint systems are not soluble by radicals
Published
• View Publication
• BIB
We show that planar embeddable 3-connected CAD graphs are generically non-soluble. A CAD graph represents a configuration of points on the Euclidean plane with just enough distance dimensions between them to ensure rigidity. Formally, a CAD graph is a maximally independent graph, that is, one that satisfies the vertex-edge count 2v - 3 = e together with a corresponding inequality for each subgraph. The following main theorem of the paper resolves a conjecture of Owen in the planar case. Let G be a maximally independent 3-connected planar graph, with more than 3 vertices, together with a realisable assignment of generic dimensions for the edges which includes a normalised unit length (base) edge. Then, for any solution configuration for these dimensions on a plane, with the base edge vertices placed at rational points, not all coordinates of the vertices lie in a radical extension of the dimension field.
Dimers, Tilings and Trees
Published
• View Publication
• BIB
Generalizing results of Temperley, Brooks, Smith, Stone and Tutte and others we describe a natural equivalence between three planar objects: weighted bipartite planar graphs; planar Markov chains; and tilings with convex polygons. This equivalence provides a measure-preserving bijection between dimer coverings of a weighted bipartite planar graph and spanning trees on the corresponding Markov chain. The tilings correspond to harmonic functions on the Markov chain and to ``discrete analytic functions'' on the bipartite graph.
The equivalence is extended to infinite periodic graphs, and we classify the resulting ``almost periodic'' tilings and harmonic functions.
Combinatorial Hopf algebras and generalized Dehn-Sommerville relations
Published in Compositio Mathematica, 142, January 2006, 1--30
• View Publication
• BIB
A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $F$ equipped with a character (multiplicative linear functional) $ζ:H\to F$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra $QSym$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $(H,ζ)$ possesses two canonical Hopf subalgebras on which the character $ζ$ is even (respectively, odd). The odd subalgebra is defined by certain canonical relations which we call the generalized Dehn-Sommerville relations. We show that, for $H=QSym$, the generalized Dehn-Sommerville relations are the Bayer-Billera relations and the odd subalgebra is the peak Hopf algebra of Stembridge. We prove that $QSym$ is the product (in the categorical sense) of its even and odd Hopf subalgebras. We also calculate the odd subalgebras of various related combinatorial Hopf algebras: the Malvenuto-Reutenauer Hopf algebra of permutations, the Loday-Ronco Hopf algebra of planar binary trees, the Hopf algebras of symmetric functions and of non-commutative symmetric functions.
Nowhere-Zero Flow Polynomials
Published in Journal of Combinatorial Theory Series A, 108:205--215, 2004
• View Publication
• BIB
In this article we introduce the flow polynomial of a digraph and use it to study nowhere-zero flows from a commutative algebraic perspective. Using Hilbert's Nullstellensatz, we establish a relation between nowhere-zero flows and dual flows. For planar graphs this gives a relation between nowhere-zero flows and flows of their planar duals. It also yields an appealing proof that every bridgeless triangulated graph has a nowhere-zero four-flow.
Non-crossing frameworks with non-crossing reciprocals
Published in Discrete Comput. Geom., 32:4 (2004), 567-600
• View Publication
• BIB
We study non-crossing frameworks in the plane for which the classical reciprocal on the dual graph is also non-crossing. We give a complete description of the self-stresses on non-crossing frameworks whose reciprocals are non-crossing, in terms of: the types of faces (only pseudo-triangles and pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a geometric condition on the stress vectors at some of the vertices.
As in other recent papers where the interplay of non-crossingness and rigidity of straight-line plane graphs is studied, pseudo-triangulations show up as objects of special interest. For example, it is known that all planar Laman circuits can be embedded as a pseudo-triangulation with one non-pointed vertex. We show that if such an embedding is sufficiently generic, then the reciprocal is non-crossing and again a pseudo-triangulation embedding of a planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation embedding of a planar Laman circuit, the reciprocal is still non-crossing and a pseudo-triangulation, but its underlying graph may not be a Laman circuit. Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal arise as the reciprocals of such, possibly singular, stresses on pseudo-triangulation embeddings of Laman circuits.
All self-stresses on a planar graph correspond to liftings to piece-wise linear surfaces in 3-space. We prove characteristic geometric properties of the lifts of such non-crossing reciprocal pairs.
Combinatorial pseudo-Triangulations
Published in Discrete Mathematics 307:3-5, (2007), 554-566
• View Publication
• BIB
We prove that a planar graph is generically rigid in the plane if and only if it can be embedded as a pseudo-triangulation. This generalizes the main result of math.CO/0307347 which treats the minimally generically rigid case.
The proof uses the concept of combinatorial pseudo-triangulation, CPT, in the plane and has two main steps: showing that a certain ``generalized Laman property'' is a necessary and sufficient condition for a CPT to be ``stretchable'', and showing that all generically rigid plane graphs admit a CPT assignment with that property.
Additionally, we propose the study of combinatorial pseudo-triangulations on closed surfaces.
A note on non-repetitive colourings of planar graphs
Alon et al. introduced the concept of non-repetitive colourings of graphs. Here we address some questions regarding non-repetitive colourings of planar graphs. Specifically, we show that the faces of any outerplanar map can be non-repetitively coloured using at most five colours. We also give some lower bounds for the number of colours required to non-repetitively colour the vertices of both outerplanar and planar graphs.
Planar Minimally Rigid Graphs and Pseudo-Triangulations
Published in Computational Geometry: theory and Applications 31:1-2 (May 2005), 63-100.
• View Publication
• BIB
Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both yield efficient embedding algorithms. One based on Henneberg inductive constructions from combinatorial rigidity theory, the other on a generalization of Tutte's barycentric embeddings to directed graphs.
Statistics of planar graphs viewed from a vertex: A study via labeled trees
Published in Nucl.Phys. B675 (2003) 631-660
• View Publication
• BIB
We study the statistics of edges and vertices in the vicinity of a reference vertex (origin) within random planar quadrangulations and Eulerian triangulations. Exact generating functions are obtained for theses graphs with fixed numbers of edges and vertices at given geodesic distances from the origin. Our analysis relies on bijections with labeled trees, in which the labels encode the information on the geodesic distance from the origin. In the case of infinitely large graphs, we give in particular explicit formulas for the probabilities that the origin have given numbers of neighboring edges and/or vertices, as well as explicit values for the corresponding moments.
Random trees between two walls: Exact partition function
Published in J. Phys. A: Math. Gen. 36 (2003) 12349-12366
• View Publication
• BIB
We derive the exact partition function for a discrete model of random trees embedded in a one-dimensional space. These trees have vertices labeled by integers representing their position in the target space, with the SOS constraint that adjacent vertices have labels differing by +1 or -1. A non-trivial partition function is obtained whenever the target space is bounded by walls. We concentrate on the two cases where the target space is (i) the half-line bounded by a wall at the origin or (ii) a segment bounded by two walls at a finite distance. The general solution has a soliton-like structure involving elliptic functions. We derive the corresponding continuum scaling limit which takes the remarkable form of the Weierstrass p-function with constrained periods. These results are used to analyze the probability for an evolving population spreading in one dimension to attain the boundary of a given domain with the geometry of the target (i) or (ii). They also translate, via suitable bijections, into generating functions for bounded planar graphs.
Vertex-partitioning into fixed additive induced-hereditary properties is NP-hard
Published
• View Publication
• BIB
Can the vertices of a graph $G$ be partitioned into $A \cup B$, so that $G[A]$ is a line-graph and $G[B]$ is a forest? Can $G$ be partitioned into a planar graph and a perfect graph? The NP-completeness of these problems are just special cases of our result: if ${\cal P}$ and ${\cal Q}$ are additive induced-hereditary graph properties, then $({\cal P}, {\cal Q})$-colouring is NP-hard, with the sole exception of graph 2-colouring (the case where both $\cal P$ and $\cal Q$ are the set ${\cal O}$ of finite edgeless graphs). Moreover, $({\cal P}, {\cal Q})$-colouring is NP-complete iff ${\cal P}$- and ${\cal Q}$-recognition are both in NP. This proves a conjecture of Kratochvíl and Schiermeyer.
Falconer conjecture in the plane for random metrics
Published
• View Publication
• BIB
We prove the following variant of the Falconer conjecture in the plane. If the dimension of a compact planar set is greater than one, then the distance set with respect to almost every ellipse has positive Lebesgue measure.