planar
3156 papers tagged with this keyword
An update on reconfiguring $10$-colorings of planar graphs
The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertex set the set of all possible proper $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex. A result of Bousquet and Perarnau (2016) regarding graphs of bounded degeneracy implies that if $G$ is a planar graph with $n$ vertices, then $R_{12}(G)$ has diameter at most $6n$. We improve on the number of colors, showing that $R_{10}(G)$ has diameter at most $8n$ for every planar graph $G$ with $n$ vertices.
Drawing Graphs as Spanners
Published
• View Publication
• BIB
We study the problem of embedding graphs in the plane as good geometric spanners. That is, for a graph $G$, the goal is to construct a straight-line drawing $Γ$ of $G$ in the plane such that, for any two vertices $u$ and $v$ of $G$, the ratio between the minimum length of any path from $u$ to $v$ and the Euclidean distance between $u$ and $v$ is small. The maximum such ratio, over all pairs of vertices of $G$, is the spanning ratio of $Γ$.
First, we show that deciding whether a graph admits a straight-line drawing with spanning ratio $1$, a proper straight-line drawing with spanning ratio $1$, and a planar straight-line drawing with spanning ratio $1$ are NP-complete, $\exists \mathbb R$-complete, and linear-time solvable problems, respectively, where a drawing is proper if no two vertices overlap and no edge overlaps a vertex.
Second, we show that moving from spanning ratio $1$ to spanning ratio $1+ε$ allows us to draw every graph. Namely, we prove that, for every $ε>0$, every (planar) graph admits a proper (resp. planar) straight-line drawing with spanning ratio smaller than $1+ε$.
Third, our drawings with spanning ratio smaller than $1+ε$ have large edge-length ratio, that is, the ratio between the length of the longest edge and the length of the shortest edge is exponential. We show that this is sometimes unavoidable. More generally, we identify having bounded toughness as the criterion that distinguishes graphs that admit straight-line drawings with constant spanning ratio and polynomial edge-length ratio from graphs that require exponential edge-length ratio in any straight-line drawing with constant spanning ratio.
Generalized Planar Turán Numbers
In a generalized Turán problem, we are given graphs $H$ and $F$ and seek to maximize the number of copies of $H$ in an $F$-free graph of order $n$. We consider generalized Turán problems where the host graph is planar. In particular we obtain the order of magnitude of the maximum number of copies of a fixed tree in a planar graph containing no even cycle of length at most $2\ell$, for all $\ell$, $\ell \geq 1$. We obtain the order of magnitude of the maximum number of cycles of a given length in a planar $C_4$-free graph. An exact result is given for the maximum number of $5$-cycles in a $C_4$-free planar graph. Multiple conjectures are also introduced.
On List k-Coloring Convex Bipartite Graphs
List k-Coloring (Li k-Col) is the decision problem asking if a given graph admits a proper coloring compatible with a given list assignment to its vertices with colors in {1,2,..,k}. The problem is known to be NP-hard even for k=3 within the class of 3-regular planar bipartite graphs and for k=4 within the class of chordal bipartite graphs. In 2015, Huang, Johnson and Paulusma asked for the complexity of Li 3-Col in the class of chordal bipartite graphs. In this paper we give a partial answer to this question by showing that Li k-Col is polynomial in the class of convex bipartite graphs. We show first that biconvex bipartite graphs admit a multichain ordering, extending the classes of graphs where a polynomial algorithm of Enright, Stewart and Tardos (2014) can be applied to the problem. We provide a dynamic programming algorithm to solve the Li k-Col in the calss of convex bipartite graphs. Finally we show how our algorithm can be modified to solve the more general Li H-Col problem on convex bipartite graphs.
Forbidden Patterns in Tropical Plane Curves
Published in Beiträge Algebra Geom. 62 (2021), 65-81
• View Publication
• BIB
Tropical curves in $\mathbb{R}^2$ correspond to metric planar graphs but not all planar graphs arise in this way. We describe several new classes of graphs which cannot occur. For instance, this yields a full combinatorial characterization of the tropically planar graphs of genus at most five.
On flips in planar matchings
Published
• View Publication
• BIB
In this paper we investigate the structure of flip graphs on non-crossing perfect matchings in the plane. Specifically, consider all non-crossing straight-line perfect matchings on a set of $2n$ points that are placed equidistantly on the unit circle. A flip operation on such a matching replaces two matching edges that span an empty quadrilateral with the other two edges of the quadrilateral, and the flip is called centered if the quadrilateral contains the center of the unit circle. The graph $\mathcal{G}_n$ has those matchings as vertices, and an edge between any two matchings that differ in a flip, and it is known to have many interesting properties. In this paper we focus on the spanning subgraph $\mathcal{H}_n$ of $\mathcal{G}_n$ obtained by taking all edges that correspond to centered flips, omitting edges that correspond to non-centered flips. We show that the graph $\mathcal{H}_n$ is connected for odd $n$, but has exponentially many small connected components for even $n$, which we characterize and count via Catalan and generalized Narayana numbers. For odd $n$, we also prove that the diameter of $\mathcal{H}_n$ is linear in $n$. Furthermore, we determine the minimum and maximum degree of $\mathcal{H}_n$ for all $n$, and characterize and count the corresponding vertices. Our results imply the non-existence of certain rainbow cycles in $\mathcal{G}_n$, and they resolve several open questions and conjectures raised in a recent paper by Felsner, Kleist, Mütze, and Sering.
Asymptotic dimension of planes and planar graphs
Published
• View Publication
• BIB
We show that the asymptotic dimension of a geodesic space that is homeomorphic to a subset in the plane is at most three. In particular, the asymptotic dimension of the plane and any planar graph is at most three.
Hopf algebras on planar trees and permutations
Published
• View Publication
• BIB
We endow the space of rooted planar trees with an structure of Hopf algebra. We prove that variations of such a structure lead to Hopf algebras on the spaces of labelled trees, $n$--trees, increasing planar trees and sorted trees. These structures are used to construct Hopf algebras on different types of permutations. In particular, we obtain new characterizations of the Hopf algebras of Malvenuto--Reutenauer and Loday--Ronco via planar rooted trees.
An improved bound for the dimension of $(α,2α)$-Furstenberg sets
Published in Rev. Mat. Iberoam. 38 (2022), no. 1, 295--322
• Search Publication
We show that given $α\in (0, 1)$ there is a constant $c=c(α) > 0$ such that any planar $(α, 2α)$-Furstenberg set has Hausdorff dimension at least $2α+ c$. This improves several previous bounds, in particular extending a result of Katz-Tao and Bourgain. We follow the Katz-Tao approach with suitable changes, along the way clarifying, simplifying and/or quantifying many of the steps.
On the site percolation threshold of circle packings and planar graphs
A circle packing is a collection of disks with disjoint interiors in the plane. It naturally defines a graph by tangency. It is shown that there exists $p>0$ such that the following holds for every circle packing: If each disk is retained with probability $p$ independently, then the probability that there is a path of retained disks connecting the origin to infinity is zero. The following conclusions are derived using results on circle packings of planar graphs: (i) Site percolation with parameter $p$ has no infinite connected component on recurrent simple plane triangulations, or on Benjamini--Schramm limits of finite simple planar graphs. (ii) Site percolation with parameter $1-p$ has an infinite connected component on transient simple plane triangulations with bounded degree. These results lend support to recent conjectures of Benjamini. Extensions to graphs formed from the packing of shapes other than disks, in the plane and in higher dimensions, are presented. Several conjectures and open questions are discussed.
Discrete Trace Theorems and Energy Minimizing Spring Embeddings of Planar Graphs
Published
• View Publication
• BIB
Tutte's spring embedding theorem states that, for a three-connected planar graph, if the outer face of the graph is fixed as the complement of some convex region in the plane, and all other vertices are placed at the mass center of their neighbors, then this results in a unique embedding, and this embedding is planar. It also follows fairly quickly that this embedding minimizes the sum of squared edge lengths, conditional on the embedding of the outer face. However, it is not at all clear how to embed this outer face. We consider the minimization problem of embedding this outer face, up to some normalization, so that the sum of squared edge lengths is minimized. In this work, we show the connection between this optimization problem and the Schur complement of the graph Laplacian with respect to the interior vertices. We prove a number of discrete trace theorems, and, using these new results, show the spectral equivalence of this Schur complement with the boundary Laplacian to the one-half power for a large class of graphs. Using this result, we give theoretical guarantees for this optimization problem, which motivates an algorithm to embed the outer face of a spring embedding.
Notes on Graph Product Structure Theory
Published in In: Wood D.R., de Gier J., Praeger C.E., Tao T. (eds) 2019-20 MATRIX Annals. MATRIX Book Series, vol 4, 513--533, 2021. Springer
• View Publication
• BIB
It was recently proved that every planar graph is a subgraph of the strong product of a path and a graph with bounded treewidth. This paper surveys generalisations of this result for graphs on surfaces, minor-closed classes, various non-minor-closed classes, and graph classes with polynomial growth. We then explore how graph product structure might be applicable to more broadly defined graph classes. In particular, we characterise when a graph class defined by a cartesian or strong product has bounded or polynomial expansion. We then explore graph product structure theorems for various geometrically defined graph classes, and present several open problems.
Enumeration of labelled 4-regular planar graphs II: asymptotics
Published in European Journal of Combinatorics Volume 110, May 2023, 103661
• View Publication
• BIB
This work is a follow-up of the article [Proc.\ London Math.\ Soc.\ 119(2):358--378, 2019], where the authors solved the problem of counting labelled 4-regular planar graphs. In this paper, we obtain a precise asymptotic estimate for the number $g_n$ of labelled 4-regular planar graphs on $n$ vertices. Our estimate is of the form $g_n \sim g\cdot n^{-7/2} ρ^{-n} n!$, where $g>0$ is a constant and $ρ\approx 0.24377$ is the radius of convergence of the generating function $\sum_{n\ge 0}g_n x^n/n!$, and conforms to the universal pattern obtained previously in the enumeration of several classes of planar graphs. In addition to analytic methods, our solution needs intensive use of computer algebra in order to deal with large systems of multivariate polynomial equations. We also obtain asymptotic estimates for the number of 2- and 3-connected 4-regular planar graphs, and for the number of 4-regular simple maps, both connected and 2-connected.
1-planar graphs with minimum degree at least 3 have bounded girth
We show that every 1-planar graph with minimum degree at least 4 has girth at most $8$, and every 1-planar graph with minimum degree at least 3 has girth at most $198$.
Bijective link between Chapoton's new intervals and bipartite planar maps
Published
• View Publication
• BIB
In 2006, Chapoton defined a class of Tamari intervals called "new intervals" in his enumeration of Tamari intervals, and he found that these new intervals are equi-enumerated with bipartite planar maps. We present here a direct bijection between these two classes of objects using a new object called "degree tree". Our bijection also gives an intuitive proof of an unpublished equi-distribution result of some statistics on new intervals given by Chapoton and Fusy.
A polynomial upper bound for the mixing time of edge rotations on planar maps
Published
• View Publication
• BIB
We consider a natural local dynamic on the set of all rooted planar maps with $n$ edges that is in some sense analogous to "edge flip" Markov chains, which have been considered before on a variety of combinatorial structures (triangulations of the $n$-gon and quadrangulations of the sphere, among others). We provide the first polynomial upper bound for the mixing time of this "edge rotation" chain on planar maps: we show that the spectral gap of the edge rotation chain is bounded below by an appropriate constant times $n^{-11/2}$. In doing so, we provide a partially new proof of the fact that the same bound applies to the spectral gap of edge flips on quadrangulations, which makes it possible to generalise a recent result of the author and Stauffer to a chain that relates to edge rotations via Tutte's bijection.
Packing and covering balls in graphs excluding a minor
Published in Combinatorica 41(3) (2021), 299-318
• View Publication
• BIB
We prove that for every integer $t\ge 1$ there exists a constant $c_t$ such that for every $K_t$-minor-free graph $G$, and every set $S$ of balls in $G$, the minimum size of a set of vertices of $G$ intersecting all the balls of $S$ is at most $c_t$ times the maximum number of vertex-disjoint balls in $S$. This was conjectured by Chepoi, Estellon, and Vaxès in 2007 in the special case of planar graphs and of balls having the same radius.
On the basic properties of $GC_n$ sets
Published
• View Publication
• BIB
A planar node set $\mathcal X,$ with $\#\mathcal X=\binom{n+2}{2},$ is called $GC_n$ set if each node possesses fundamental polynomial in form of a product of $n$ linear factors. We say that a node uses a line if the line is a factor of the fundamental polynomial of the node. A line is called $k$-node line if it passes through exactly $k$-nodes of $\mathcal X.$ At most $n+1$ nodes can be collinear in any $GC_n$ set and an $(n+1)$-node line is called a maximal line. The Gasca-Maeztu conjecture (1982) states that every $GC_n$ set has a maximal line. Until now the conjecture has been proved only for the cases $n \le 5.$
Here, for a line $\ell$ we introduce and study the concept of $\ell$-lowering of the set $\mathcal X$ and define so called proper lines. We also provide refinements of several basic properties of $GC_n$ sets regarding the maximal lines, $n$-node lines, the used lines, as well as the subset of nodes that use a given line.
Towards the Small Quasi-Kernel Conjecture
Published
• View Publication
• BIB
Let $D=(V,A)$ be a digraph. A vertex set $K\subseteq V$ is a quasi-kernel of $D$ if $K$ is an independent set in $D$ and for every vertex $v\in V\setminus K$, $v$ is at most distance 2 from $K$. In 1974, Chvátal and Lovász proved that every digraph has a quasi-kernel. P. L. Erdős and L. A. Székely in 1976 conjectured that if every vertex of $D$ has a positive indegree, then $D$ has a quasi-kernel of size at most $|V|/2$. This conjecture is only confirmed for narrow classes of digraphs, such as semicomplete multipartite, quasi-transitive, or locally demicomplete digraphs. In this note, we state a similar conjecture for all digraphs, show that the two conjectures are equivalent, and prove that both conjectures hold for a class of digraphs containing all orientations of 4-colorable graphs (in particular, of all planar graphs).
Scaffolds: a graph-based system for computations in Bose-Mesner algebras
Published
• View Publication
• BIB
Let $X$ be a finite set and let $\mathsf{Mat}_X(\mathbb{C})$ denote the algebra of matrices with rows and columns indexed by $X$ and entries from the complex numbers acting on $\mathbb{C}^X$ with standard basis $\{ \hat{x} \mid x\in X\}$. For a digraph $G=(V(G),E(G))$, function $R:[m] \rightarrow V(G)$ with $r_j := R(j)$, and a function $w$ from the arcs of $G$ to $\mathsf{Mat}_X(\mathbb{C})$, we define the "scaffold" $\mathsf{S}(G,R;w)$ as the sum over all functions $\varphi$ from $V(G)$ to $X$ of the $m$-fold tensors $\widehat{\varphi(r_1)} \otimes \widehat{\varphi(r_2)} \otimes \cdots \otimes \widehat{\varphi(r_m)}$ scaled by the product of the entries $w(e)_{\varphi(a),\varphi(b)}$ over all arcs $e=(a,b)$ of $G$. Scaffolds can be used to count, among other things, digraph homomorphisms and association scheme parameters such as generalized intersection numbers. They also arise in the the theory of link invariants and spin models.
These diagrams were introduced in the late 1980s by Arnold Neumaier and have been used implicitly by various authors working with association schemes. We revisit results of several authors, rephrasing their proofs in terms of these diagrams and certain rules of manipulation (or "moves") on diagrams. Our goal is to collect and present, in a uniform fashion, Neumaier's original idea extended to tensors and its used by various authors. Sometimes the term "star-triangle diagram" appears for what we, in this paper, call "scaffolds".
Restricting to the case where edge weights are chosen from a coherent algebra, we explore the vector space $\mathsf{W}((G,R); \mathbb{A})$ spanned by all scaffolds defined on rooted diagram $(G,R)$ and establish a connection to graph minors. We end with a conjecture about planar scaffolds that draws a connection between association scheme duality and the duality of plane graphs.