planar
3156 papers tagged with this keyword
The edge-Erdős-Pósa property
Published
• View Publication
• BIB
Robertson and Seymour proved that the family of all graphs containing a fixed graph $H$ as a minor has the Erdős-Pósa property if and only if $H$ is planar. We show that this is no longer true for the edge version of the Erdős-Pósa property, and indeed even fails when $H$ is an arbitrary subcubic tree of large pathwidth or a long ladder. This answers a question of Raymond, Sau and Thilikos.
Plane and Planarity Thresholds for Random Geometric Graphs
Published
• View Publication
• BIB
A random geometric graph, $G(n,r)$, is formed by choosing $n$ points independently and uniformly at random in a unit square; two points are connected by a straight-line edge if they are at Euclidean distance at most $r$. For a given constant $k$, we show that $n^{\frac{-k}{2k-2}}$ is a distance threshold function for $G(n,r)$ to have a connected subgraph on $k$ points. Based on this, we show that $n^{-2/3}$ is a distance threshold for $G(n,r)$ to be plane, and $n^{-5/8}$ is a distance threshold to be planar. We also investigate distance thresholds for $G(n,r)$ to have a non-crossing edge, a clique of a given size, and an independent set of a given size.
Note on 3-Choosability of Planar Graphs with Maximum Degree 4
Published
• View Publication
• BIB
Deciding whether a planar graph (even of maximum degree $4$) is $3$-colorable is NP-complete. Determining subclasses of planar graphs being $3$-colorable has a long history, but since Grötzsch's result that triangle-free planar graphs are such, most of the effort was focused to solving Havel's and Steinberg's conjectures. In this paper, we prove that every planar graph of maximum degree $4$ obtained as a subgraph of the medial graph of any bipartite plane graph is $3$-choosable. These graphs are allowed to have close triangles (even incident), and have no short cycles forbidden, hence representing an entirely different class than the graphs inferred by the above mentioned conjectures.
The Balanced Connected Subgraph Problem
Published
• View Publication
• BIB
The problem of computing induced subgraphs that satisfy some specified restrictions arises in various applications of graph algorithms and has been well studied. In this paper, we consider the following Balanced Connected Subgraph (shortly, BCS) problem. The input is a graph $G=(V,E)$, with each vertex in the set $V$ having an assigned color, "red" or "blue". We seek a maximum-cardinality subset $V'\subseteq V$ of vertices that is color-balanced (having exactly $|V'|/2$ red nodes and $|V'|/2$ blue nodes), such that the subgraph induced by the vertex set $V'$ in $G$ is connected. We show that the BCS problem is NP-hard, even for bipartite graphs $G$ (with red/blue color assignment not necessarily being a proper 2-coloring). Further, we consider this problem for various classes of the input graph $G$, including, e.g., planar graphs, chordal graphs, trees, split graphs, bipartite graphs with a proper red/blue $2$-coloring, and graphs with diameter $2$. For each of these classes either we prove NP-hardness or design a polynomial time algorithm.
DP-3-coloring of planar graphs without $4,9$-cycles and two cycles from $\{5,6,7,8\}$
Published
• View Publication
• BIB
A generalization of list-coloring, now known as DP-coloring, was recently introduced by Dvořák and Postle. Essentially, DP-coloring assigns an arbitrary matching between lists of colors at adjacent vertices, as opposed to only matching identical colors as is done for list-coloring. Several results on list-coloring of planar graphs have since been extended to the setting of DP-coloring. We note that list-coloring results do not always extend to DP-coloring results. Our main result in this paper is to prove that every planar graph without cycles of length $\{4, a, b, 9\}$ for $a, b \in \{6, 7, 8\}$ is DP-$3$-colorable, extending three existing results on $3$-choosability of planar graphs.
Algorithmic aspects of broadcast independence
Published
• View Publication
• BIB
An independent broadcast on a connected graph $G$ is a function $f:V(G)\to \mathbb{N}_0$ such that, for every vertex $x$ of $G$, the value $f(x)$ is at most the eccentricity of $x$ in $G$, and $f(x)>0$ implies that $f(y)=0$ for every vertex $y$ of $G$ within distance at most $f(x)$ from $x$. The broadcast independence number $α_b(G)$ of $G$ is the largest weight $\sum\limits_{x\in V(G)}f(x)$ of an independent broadcast $f$ on $G$.
We describe an efficient algorithm that determines the broadcast independence number of a given tree. Furthermore, we show NP-hardness of the broadcast independence number for planar graphs of maximum degree four, and hardness of approximation for general graphs. Our results solve problems posed by Dunbar, Erwin, Haynes, Hedetniemi, and Hedetniemi (2006), Hedetniemi (2006), and Ahmane, Bouchemakh, Sopena (2018).
Low-degree planar polynomials over finite fields of characteristic two
Published
• View Publication
• BIB
Planar functions are mappings from a finite field $\mathbb{F}_q$ to itself with an extremal differential property. Such functions give rise to finite projective planes and other combinatorial objects. There is a subtle difference between the definitions of these functions depending on the parity of $q$ and we consider the case that $q$ is even. We classify polynomials of degree at most $q^{1/4}$ that induce planar functions on $\mathbb{F}_q$, by showing that such polynomials are precisely those in which the degree of every monomial is a power of two. As a corollary we obtain a complete classification of exceptional planar polynomials, namely polynomials over $\mathbb{F}_q$ that induce planar functions on infinitely many extensions of~$\mathbb{F}_q$. The proof strategy is to study the number of $\mathbb{F}_q$-rational points of an algebraic curve attached to a putative planar function.~Our methods also give a simple proof of a new partial result for the classification of almost perfect nonlinear~functions.
Dushnik-Miller dimension of d-dimensional tilings with boxes
Planar graphs are the graphs with Dushnik-Miller dimension at most three (W. Schnyder, Planar graphs and poset dimension, Order 5, 323-343, 1989). Consider the intersection graph of interior disjoint axis parallel rectangles in the plane. It is known that if at most three rectangles intersect on a point, then this intersection graph is planar, that is it has Dushnik-Miller dimension at most three. This paper aims at generalizing this from the plane to $R^d$ by considering tilings of $R^d$ with axis parallel boxes, where at most $d+1$ boxes intersect on a point. Such tilings induce simplicial complexes and we will show that those simplicial complexes have Dushnik-Miller dimension at most $d+1$.
Fractional coloring of planar graphs of girth five
A graph G is (a:b)-colorable if there exists an assignment of b-element subsets of {1,...,a} to vertices of G such that sets assigned to adjacent vertices are disjoint. We first show that for every triangle-free planar graph G and a vertex x of G, the graph G has a set coloring phi by subsets of {1,...,6} such that |phi(v)|>=2 for each vertex v of G and |phi(x)|=3. As a corollary, every triangle-free planar graph on n vertices is (6n:2n+1)-colorable. We further use this result to prove that for every Delta, there exists a constant M_Delta such that every planar graph G of girth at least five and maximum degree Delta is (6M_Delta:2M_Delta+1)-colorable. Consequently, planar graphs of girth at least five with bounded maximum degree Delta have fractional chromatic number at most 3-3/(2M_Delta+1).
Packing colorings of subcubic outerplanar graphs
Published
• View Publication
• BIB
Given a graph $G$ and a nondecreasing sequence $S=(s_1,\ldots,s_k)$ of positive integers, the mapping $c:V(G)\longrightarrow \{1,\ldots,k\}$ is called an $S$-packing coloring of $G$ if for any two distinct vertices $x$ and $y$ in $c^{-1}(i)$, the distance between $x$ and $y$ is greater than $s_i$. The smallest integer $k$ such that there exists a $(1,2,\ldots,k)$-packing coloring of a graph $G$ is called the packing chromatic number of $G$, denoted $χ_ρ(G)$. The question of boundedness of the packing chromatic number in the class of subcubic (planar) graphs was investigated in several earlier papers; recently it was established that the invariant is unbounded in the class of all subcubic graphs.
In this paper, we prove that the packing chromatic number of any 2-connected bipartite subcubic outerplanar graph is bounded by $7$. Furthermore, we prove that every subcubic triangle-free outerplanar graph has a $(1,2,2,2)$-packing coloring, and that there exists a subcubic outerplanar graph with a triangle that does not admit a $(1,2,2,2)$-packing coloring. In addition, there exists a subcubic triangle-free outerplanar graph that does not admit a $(1,2,2,3)$-packing coloring. A similar dichotomy is shown for bipartite outerplanar graphs: every such graph admits an $S$-packing coloring for $S=(1,3,\ldots,3)$, where $3$ appears $Δ$ times ($Δ$ being the maximum degree of vertices), and this property does not hold if one of the integers $3$ is replaced by $4$ in the sequence $S$.
The Simple Chromatic Number of $(m,n)$-Mixed Graphs
An $(m,n)$-mixed graph generalizes the notions of oriented graphs and edge-coloured graphs to a graph object with $m$ arc types and $n$ edge types. A simple colouring of such a graph is a non-trivial homomorphism to a reflexive target. We find that simple chromatic number of complete $(m,n)$-mixed graphs can be found in polynomial time. For planar graphs and $k$-trees ($k \geq 3$) we find that allowing the target to be reflexive does not lower the chromatic number of the respective family of $(m,n)$-mixed graphs. This implies that the search for universal targets for such families may be restricted to simple cliques.
Multiple list colouring triangle-free planar graphs
Published
• View Publication
• BIB
This paper proves that for each positive integer $m$, there is a triangle-free planar graph $G$ which is not $(3m+ \lceil \frac m{17} \rceil-1, m)$-choosable.
Alon-Tarsi number of signed planar graphs
Published
• View Publication
• BIB
Let $(G,σ)$ be any signed planar graph. We show that the Alon-Tarsi number of $(G,σ)$ is at most 5, generalizing a recent result of Zhu for unsigned case. In addition, if $(G,σ)$ is $2$-colorable then $(G,σ)$ has the Alon-Tarsi number at most 4. We also construct a signed planar graph which is $2$-colorable but not $3$-choosable.
The Birkhoff Diamond as Double Agent
Despite the existence of a proof of the 4-color theorem, it would seem that there is still more to learn about why any planar graph is 4-colorable. To that end, we take another look at the Birkhoff diamond and discover something new and intriguing: after an extensive search for (rare) Kempe-locked triangulations, we find a Birkhoff diamond subgraph in each one. We offer a heuristic argument as to why that result is not only reasonable but also to be expected and posit that the presence of a Birkhoff diamond is necessary to Kempe-locking. If that conjecture is true, it means that the Birkhoff diamond plays a double role in the matter of 4-colorability, simultaneously working for opposite sides of whether a given planar graph could possibly be a minimum counterexample.
Strong list-chromatic index of subcubic graphs
Published
• View Publication
• BIB
A strong $k$-edge-coloring of a graph G is an edge-coloring with $k$ colors in which every color class is an induced matching. The strong chromatic index of $G$, denoted by $χ'_{s}(G)$, is the minimum $k$ for which $G$ has a strong $k$-edge-coloring. In 1985, Erdős and Nešetřil conjectured that $χ'_{s}(G)\leq\frac{5}{4}Δ(G)^2$, where $Δ(G)$ is the maximum degree of $G$. When $G$ is a graph with maximum degree at most 3, the conjecture was verified independently by Andersen and Horák, Qing, and Trotter. In this paper, we consider the list version of strong edge-coloring. In particular, we show that every subcubic graph has strong list-chromatic index at most 11 and every planar subcubic graph has strong list-chromatic index at most 10.
The peeling process on random planar maps coupled to an O(n) loop model (with an appendix by Linxiao Chen)
We extend the peeling exploration introduced in arxiv:1506.01590 to the setting of Boltzmann planar maps coupled to a rigid $O(n)$ loop model. Its law is related to a class of discrete Markov processes obtained by confining random walks to the positive integers with a new type of boundary condition. As an application we give a rigorous justification of the phase diagram of the model presented in arXiv:1106.0153. This entails two results pertaining to the so-called fixed-point equation: the first asserts that any solution determines a well-defined model, while the second result, contributed by Chen in the appendix, establishes precise existence criteria.
A scaling limit for the exploration process is identified in terms of a new class of positive self-similar Markov processes, going under the name of ricocheted stable processes. As an application we study distances on loop-decorated maps arising from a particular first passage percolation process on the maps. In the scaling limit these distances between the boundary and a marked point are related to exponential integrals of certain Lévy processes. The distributions of the latter can be identified in a fairly explicit form using machinery of positive self-similar Markov processes.
Finally we observe a relation between the number of loops that surround a marked vertex in a Boltzmann loop-decorated map and the winding angle of a simple random walk on the square lattice. As a corollary we give a combinatorial proof of the fact that the total winding angle around the origin of a simple random walk started at $(p,p)$ and killed upon hitting $(0,0)$ normalized by $\log p$ converges in distribution to a Cauchy random variable.
On uniqueness in Steiner problem
Published
• View Publication
• BIB
We prove that the set of $n$-point configurations for which the solution of the planar Steiner problem is not unique has the Hausdorff dimension at most $2n-1$ (as a subset of $\mathbb{R}^{2n}$). Moreover, we show that the Hausdorff dimension of the set of $n$-point configurations on which at least two locally minimal trees have the same length is also at most $2n-1$. Methods we use essentially require rely upon the theory of subanalytic sets developed in~\cite{bierstone1988semianalytic}. Motivated by this approach we develop a general setup for the similar problem of uniqueness of the Steiner tree where the Euclidean plane is replace by an arbitrary analytic Riemannian manifold $M$. In this setup we argue that the set of configurations possessing two locally-minimal trees of the same length either has the dimension $n\dim M-1$ or has a non-empty interior. We provide an example of a two-dimensional surface for which the last alternative holds.
In addition to abovementioned results, we study the set of set of $n$-point configurations for which there is a unique solution of the Steiner problem in $\mathbb{R}^d$. We show that this set is path-connected.
Bounding the number of self-avoiding walks: Hammersley-Welsh with polygon insertion
Published in Ann. Probab. 48(4): 1644-1692 (2020)
• View Publication
• BIB
Let $c_n = c_n(d)$ denote the number of self-avoiding walks of length $n$ starting at the origin in the Euclidean nearest-neighbour lattice $\mathbb{Z}^d$. Let $μ= \lim_n c_n^{1/n}$ denote the connective constant of $\mathbb{Z}^d$. In 1962, Hammersley and Welsh [HW62] proved that, for each $d \geq 2$, there exists a constant $C > 0$ such that $c_n \leq \exp(C n^{1/2}) μ^n$ for all $n \in \mathbb{N}$. While it is anticipated that $c_n μ^{-n}$ has a power-law growth in $n$, the best known upper bound in dimension two has remained of the form $n^{1/2}$ inside the exponential.
The natural first improvement to demand for a given planar lattice is a bound of the form $c_n \leq \exp (C n^{1/2 - ε})μ^n$, where $μ$ denotes the connective constant of the lattice in question. We derive a bound of this form for two such lattices, for an explicit choice of $ε> 0$ in each case. For the hexagonal lattice $\mathbb{H}$, the bound is proved for all $n \in \mathbb{N}$; while for the Euclidean lattice $\mathbb{Z}^2$, it is proved for a set of $n \in \mathbb{N}$ of limit supremum density equal to one.
A power-law upper bound on $c_n μ^{-n}$ for $\mathbb{H}$ is also proved, contingent on a non-quantitative assertion concerning this lattice's connective constant.
Planar graphs without cycles of lengths 4 and 5 and close triangles are DP-3-colorable
Published
• View Publication
• BIB
Montassier, Raspaud, and Wang (2006) asked to find the smallest positive integers $d_0$ and $d_1$ such that planar graphs without $\{4,5\}$-cycles and $d^Δ\ge d_0$ are $3$-choosable and planar graphs without $\{4,5,6\}$-cycles and $d^Δ\ge d_1$ are $3$-choosable, where $d^Δ$ is the smallest distance between triangles. They showed that $2\le d_0\le 4$ and $d_1\le 3$. In this paper, we show that the following planar graphs are DP-3-colorable: (1) planar graphs without $\{4,5\}$-cycles and $d^Δ\ge 3$ are DP-$3$-colorable, and (2) planar graphs without $\{4,5,6\}$-cycles and $d^Δ\ge 2$ are DP-$3$-colorable. DP-coloring is a generalization of list-coloring, thus as a corollary, $d_0\le 3$ and $d_1\le 2$. We actually prove stronger statements that each pre-coloring on some cycles can be extended to the whole graph.
A minimal counterexample to a strengthening of Perles' conjecture
In this paper, we present a minimal counterexample to a conjecture of Perles that answers a question of Haase and Ziegler. The example is a simple 4-polytope that has an induced 3-connected 3-regular subgraph, whose graph complement is connected. This subgraph is planar and not the graph of a facet of the polytope.