planar
3156 papers tagged with this keyword
Planar Graphs have Independence Ratio at least 3/13
Published in Electronic Journal of Combinatorics. Vol. 23(3), 2016, #P3.45
• View Publication
• BIB
The 4 Color Theorem (4CT) implies that every $n$-vertex planar graph has an independent set of size at least $\frac{n}4$; this is best possible, as shown by the disjoint union of many copies of $K_4$. In 1968, Erdős asked whether this bound on independence number could be proved more easily than the full 4CT. In 1976 Albertson showed (independently of the 4CT) that every $n$-vertex planar graph has an independent set of size at least $\frac{2n}9$. Until now, this remained the best bound independent of the 4CT. Our main result improves this bound to $\frac{3n}{13}$.
On Vertex Rankings of Graphs and its Relatives
Published
• View Publication
• BIB
A vertex ranking of a graph is an assignment of ranks (or colors) to the vertices of the graph, in such a way that any simple path connecting two vertices of equal rank, must contain a vertex of a higher rank. In this paper we study a relaxation of this notion, in which the requirement above should only hold for paths of some bounded length $l$ for some fixed $l$. For instance, already the case $l=2$ exhibit quite a different behavior than proper coloring. We prove upper and lower bounds on the minimum number of ranks required for several graph families, such as trees, planar graphs, graphs excluding a fixed minor and degenerate graphs.
List 3-dynamic coloring of graphs with small maximum average degree
Published
• View Publication
• BIB
An $r$-dynamic $k$-coloring of a graph $G$ is a proper $k$-coloring such that for any vertex $v$, there are at least $\min\{r,°_G(v) \}$ distinct colors in $N_G(v)$. The $r$-dynamic chromatic number $χ_r^d(G)$ of a graph $G$ is the least $k$ such that there exists an $r$-dynamic $k$-coloring of $G$. The {\em list $r$-dynamic chromatic number} of a graph $G$ is denoted by $ch_r^d(G)$. Recently, Loeb et al. [UI] showed that the list $3$-dynamic chromatic number of a planar graph is at most 10. And Cheng et al. [Lai-16] studied the maximum average condition to have $χ_3^d (G) \leq 4, \ 5$, or $6$. On the other hand, Song et al. [SLW] showed that if $G$ is planar with girth at least 6, then $χ_r^d(G)\le r+5$ for any $r\ge 3$.
In this paper, we study list 3-dynamic coloring in terms of maximum average degree. We show that $ch^d_3(G) \leq 6$ if $mad(G) < \frac{18}{7}$, $ch^d_3(G) \leq 7$ if $mad(G) < \frac{14}{5}$, and $ch^d_3(G) \leq 8$ if $mad(G) < 3$. All of the bounds are tight.
Decomposing planar cubic graphs
Published
• View Publication
• BIB
The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph and a matching. We show that this conjecture holds for the class of connected plane cubic graphs.
Color groups of colorings of $N$-planar modules
Published in J. Phys.: Conf. Ser. 809 (2017) 012029
• View Publication
• BIB
A submodule of a $\mathbb{Z}$-module determines a coloring of the module where each coset of the submodule is associated to a unique color. Given a submodule coloring of a $\mathbb{Z}$-module, the group formed by the symmetries of the module that induces a permutation of colors is referred to as the color group of the coloring. In this contribution, a method to solve for the color groups of colorings of $N$-planar modules where $N=4$ and $N=6$ are given. Examples of colorings of rectangular lattices and of the vertices of the Ammann-Beenker tiling are given to exhibit how these methods may be extended to the general case.
Algorithmic Aspects of Regular Graph Covers
A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers where this homomorphism is prescribed by the action of a semiregular subgroup of $\textrm{Aut}(G)$. We study computational aspects of regular covers that have not been addressed before. The decision problem RegularCover asks for given graphs $G$ and $H$ whether $G$ regularly covers $H$. When $|H|=1$, this problem becomes Cayley graph recognition for which the complexity is still unresolved. Another special case arises for $|G| = |H|$ when it becomes the graph isomorphism problem.
Our main result is an involved FPT algorithm solving RegularCover for planar inputs $G$ in time $O^*(2^{e(H)/2})$ where $e(H)$ denotes the number of edges of $H$. The algorithm is based on dynamic programming and employs theoretical results proved in a related structural paper. Further, when $G$ is 3-connected, $H$ is 2-connected or the ratio $|G|/|H|$ is an odd integer, we can solve the problem RegularCover in polynomial time. In comparison, Bílka et al. (2011) proved that testing general graph covers is NP-complete for planar inputs $G$ when $H$ is a small fixed graph such as $K_4$ or $K_5$.
Oscillation estimates of eigenfunctions via the combinatorics of noncrossing partitions
Published in Discrete Analysis 2017:13, 20 pp
• View Publication
• BIB
We study oscillations in the eigenfunctions for a fractional Schrödinger operator on the real line. An argument in the spirit of Courant's nodal domain theorem applies to an associated local problem in the upper half plane and provides a bound on the number of nodal domains for the extensions of the eigenfunctions. Using the combinatorial properties of noncrossing partitions, we turn the nodal domain bound into an estimate for the number of sign changes in the eigenfunctions. We discuss applications in the periodic setting and the Steklov problem on planar domains.
Excluding a large theta graph
Published
• View Publication
• BIB
A theta graph, denoted $θ_{a,b,c}$, is a graph of order $a+b+c-1$ consisting of a pair of vertices and three independent paths between them of lengths $a$, $b$, and $c$. We provide a complete characterization of graphs that do not contain a large $θ_{a,b,c}$ as a topological minor. More specifically, we describe the structure of $θ_{1,2,t}$-, $θ_{2,2,t}$-, $θ_{1,t,t}$-, $θ_{2,t,t}$-, and $θ_{t,t,t}$-free graphs where $t$ is large. The main result is a characterization of $θ_{t,t,t}$-free graphs for large $t$. The $3$-connected $θ_{t,t,t}$-free graphs are formed by $3$-summing graphs without a long path to certain planar graphs. The $2$-connected $θ_{t,t,t}$-free graphs are then built up in a similar fashion by 2- and 3-sums. This result implies a well-known theorem of Robertson and Chakravarti on graphs that do not have a bond containing three specified edges.
On coordinatising planes of prime power order using finite fields
Published
• View Publication
• BIB
We revisit the coordinatisation method for projective planes. First, we discuss how the behaviour of the additive and multiplicative loops can be described in terms of its action on the "vertical" line, and how this means one can coordinatise certain planes in an optimal sense. We then move to consider projective planes of prime power order only. Specifically, we consider how coordinatising planes of prime power order using finite fields as the underlying labelling set leads to some general restrictions on the form of the resulting planar ternary ring (PTR) when viewed as a trivariate polynomial over the field. We also consider the Lenz-Barlotti type of the plane being coordinatised, deriving further restrictions on the form of the PTR polynomial.
On DP-coloring of graphs and multigraphs
Published in Siberian Mathematical Journal, vol. 58 (2017), n. 1, 36--47
• View Publication
• BIB
While solving a question on list coloring of planar graphs, Dvořák and Postle introduced the new notion of DP-coloring (they called it correspondence coloring). A DP-coloring of a graph $G$ reduces the problem of finding a coloring of $G$ from a given list $L$ to the problem of finding a "large" independent set in an auxiliary graph $H(G,L)$ with vertex set $\{(v,c)\,: \, v\in V(G) \text{ and } {c\in L(v)} \}$. It is similar to the old reduction by Plesnevič and Vizing of the $k$-coloring problem to the problem of finding an independent set of size $|V(G)|$ in the Cartesian product $G\square K_k$. Some properties of the DP-chromatic number $χ_{DP}(G)$ resemble the properties of the list chromatic number $χ_{\ell}(G)$ but some differ quite a lot. It is always the case that $χ_{DP}(G)\geq χ_{\ell}(G)$. The goal of this note is to introduce DP-colorings for multigraphs and to prove for them an analog of the result of Borodin and Erdős, Rubin, and Taylor characterizing the multigraphs that do not admit DP-colorings from some DP-degree-lists. This characterization yields an analog of Gallai's Theorem on the minimum number of edges in $n$-vertex graphs critical with respect to DP-coloring.
Dimension of posets with planar cover graphs excluding two long incomparable chains
Published in J. Comb. Theory Ser. A 164 (2019) 1-23
• View Publication
• BIB
It has been known for more than 40 years that there are posets with planar cover graphs and arbitrarily large dimension. Recently, Streib and Trotter proved that such posets must have large height. In fact, all known constructions of such posets have two large disjoint chains with all points in one chain incomparable with all points in the other. Gutowski and Krawczyk conjectured that this feature is necessary. More formally, they conjectured that for every $k\geq 1$, there is a constant $d$ such that if $P$ is a poset with a planar cover graph and $P$ excludes $\mathbf{k}+\mathbf{k}$, then $\dim(P)\leq d$. We settle their conjecture in the affirmative. We also discuss possibilities of generalizing the result by relaxing the condition that the cover graph is planar.
Topological complexity (within 1) of the space of isometry classes of planar n-gons for sufficiently large n
Published
• View Publication
• BIB
Hausmann and Rodriguez classified spaces of isometry classes of planar n-gons according to their genetic code, which is a collection of sets (called genes) containing n. Omitting the n yields what we call gees. We prove that, for a set of gees with largest gee of size k>0, the topological complexity (TC) of the associated space of n-gons is either 2n-5 or 2n-6 if n>2k+2. We present evidence that suggests that it is very rare that the TC is not equal to 2n-5 or 2n-6.
Coloring Jordan regions and curves
Published in SIAM Journal on Discrete Mathematics 31(3) (2017), 1670-1684
• View Publication
• BIB
A Jordan region is a subset of the plane that is homeomorphic to a closed disk. Consider a family $\mathcal{F}$ of Jordan regions whose interiors are pairwise disjoint, and such that any two Jordan regions intersect in at most one point. If any point of the plane is contained in at most $k$ elements of $\mathcal{F}$ (with $k$ sufficiently large), then we show that the elements of $\mathcal{F}$ can be colored with at most $k+1$ colors so that intersecting Jordan regions are assigned distinct colors. This is best possible and answers a question raised by Reed and Shepherd in 1996. As a simple corollary, we also obtain a positive answer to a problem of Hliněný (1998) on the chromatic number of contact systems of strings.
We also investigate the chromatic number of families of touching Jordan curves. This can be used to bound the ratio between the maximum number of vertex-disjoint directed cycles in a planar digraph, and its fractional counterpart.
Combinatorial characterization of upward planarity
Published
• View Publication
• BIB
We give a combinatorial characterization of upward planar graphs in terms of upward planar orders, which are special linear extensions of edge posets.
Stack and Queue Layouts via Layered Separators
It is known that every proper minor-closed class of graphs has bounded stack-number (a.k.a. book thickness and page number). While this includes notable graph families such as planar graphs and graphs of bounded genus, many other graph families are not closed under taking minors. For fixed $g$ and $k$, we show that every $n$-vertex graph that can be embedded on a surface of genus $g$ with at most $k$ crossings per edge has stack-number $\mathcal{O}(\log n)$; this includes $k$-planar graphs. The previously best known bound for the stack-number of these families was $\mathcal{O}(\sqrt{n})$, except in the case of $1$-planar graphs. Analogous results are proved for map graphs that can be embedded on a surface of fixed genus. None of these families is closed under taking minors. The main ingredient in the proof of these results is a construction proving that $n$-vertex graphs that admit constant layered separators have $\mathcal{O}(\log n)$ stack-number.
Representing convex geometries by almost-circles
Finite convex geometries are combinatorial structures. It follows from a recent result of M.\ Richter and L.G.\ Rogers that there is an infinite set $T_{rr}$ of planar convex polygons such that $T_{rr}$ with respect to geometric convex hulls is a locally convex geometry and every finite convex geometry can be represented by restricting the structure of $T_{rr}$ to a finite subset in a natural way. An \emph{almost-circle of accuracy} $1-ε$ is a differentiable convex simple closed curve $S$ in the plane having an inscribed circle of radius $r_1>0$ and a circumscribed circle of radius $r_2$ such that the ratio $r_1/r_2$ is at least $1-ε$. %
Motivated by Richter and Rogers' result, we construct a set $T_{new}$ such that (1) $T_{new}$ contains all points of the plane as degenerate singleton circles and all of its non-singleton members are differentiable convex simple closed planar curves; (2) $T_{new}$ with respect to the geometric convex hull operator is a locally convex geometry; (3) as opposed to $T_{rr}$, $T_{new}$ is closed with respect to non-degenerate affine transformations; and (4) for every (small) positive $ε\in\real $ and for every finite convex geometry, there are continuum many pairwise affine-disjoint finite subsets $E$ of $T_{new}$ such that each $E$ consists of almost-circles of accuracy $1-ε$ and the convex geometry in question is represented by restricting the convex hull operator to $E$. The affine-disjointness of $E_1$ and $E_2$ means that, in addition to $E_1\cap E_2=\emptyset$, even $ψ(E_1)$ is disjoint from $E_2$ for every non-degenerate affine transformation $ψ$.
Five-list-coloring graphs on surfaces III. One list of size one and one list of size two
Published
• View Publication
• BIB
Let $G$ be a plane graph with outer cycle $C$ and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of $G$ we mean a (proper) coloring $φ$ of $G$ such that $φ(v)\in L(v)$ for every vertex $v$ of $G$. Thomassen proved that if $v_1,v_2\in V(C)$ are adjacent, $L(v_1)\ne L(v_2)$, $|L(v)|\ge3$ for every $v\in V(C)-\{v_1,v_2\}$ and $|L(v)|\ge5$ for every $v\in V(G)-V(C)$, then $G$ has an $L$-coloring. What happens when $v_1$ and $v_2$ are not adjacent? Then an $L$-coloring need not exist, but in the first paper of this series we have shown that it exists if $|L(v_1)|,|L(v_2)|\ge2$. Here we characterize when an $L$-coloring exists if $|L(v_1)|\ge1$ and $|L(v_2)|\ge2$.
This result is a lemma toward a more general theorem along the same lines, which we will use to prove that minimally non-$L$-colorable planar graphs with two precolored cycles of bounded length are of bounded size. The latter result has a number of applications which we pursue elsewhere.
Bounded Diameter Arboricity
Published
• View Publication
• BIB
We introduce the notion of \emph{bounded diameter arboricity}. Specifically, the \emph{diameter-$d$ arboricity} of a graph is the minimum number $k$ such that the edges of the graph can be partitioned into $k$ forests each of whose components has diameter at most $d$. A class of graphs has bounded diameter arboricity $k$ if there exists a natural number $d$ such that every graph in the class has diameter-$d$ arboricity at most $k$. We conjecture that the class of graphs with arboricity at most $k$ has bounded diameter arboricity at most $k+1$. We prove this conjecture for $k\in \{2,3\}$ by proving the stronger assertion that the union of a forest and a star forest can be partitioned into two forests of diameter at most 18. We use these results to characterize the bounded diameter arboricity for planar graphs of girth at least $g$ for all $g\ne 5$. As an application we show that every 6-edge-connected planar (multi)graph contains two edge-disjoint $\frac{18}{19}$-thin spanning trees.
Monotone Paths in Geometric Triangulations
Published
• View Publication
• BIB
(I) We prove that the (maximum) number of monotone paths in a geometric triangulation of $n$ points in the plane is $O(1.7864^n)$. This improves an earlier upper bound of $O(1.8393^n)$; the current best lower bound is $Ω(1.7003^n)$.
(II) Given a planar geometric graph $G$ with $n$ vertices, we show that the number of monotone paths in $G$ can be computed in $O(n^2)$ time.
$SO(N)$ Lattice Gauge Theory, planar and beyond
Published
• View Publication
• BIB
Lattice Gauge theories have been studied in the physics literature as discrete approximations to quantum Yang-Mills theory for a long time. Primary statistics of interest in these models are expectations of the so called "Wilson loop variables". In this article we continue the program initiated by Chatterjee (2015) to understand Wilson loop expectations in Lattice Gauge theories in a certain limit through gauge-string duality. The objective in this paper is to better understand the underlying combinatorics in the strong coupling regime, by giving a more geometric picture of string trajectories involving correspondence to objects such as decorated trees and non-crossing partitions. Using connections with Free Probability theory, we provide an elaborate description of loop expectations in the planar setting, which provides certain insights about structures of higher dimensional trajectories as well. Exploiting this, we construct an example showing that in any dimension, the Wilson loop area law lower bound does not hold in full generality.