planar
3209 papers tagged with this keyword
On the number of coloured triangulations of $d$-manifolds
Published in Discrete Comput Geom 65, 601-617 (2021)
• View Publication
• BIB
We give superexponential lower and upper bounds on the number of coloured $d$-dimensional triangulations whose underlying space is an oriented manifold, when the number of simplices goes to infinity and $d\geq 3$ is fixed. In the special case of dimension $3$, the lower and upper bounds match up to exponential factors, and we show that there are $2^{O(n)} n^{\frac{n}{6}}$ coloured triangulations of $3$-manifolds with $n$ tetrahedra. Our results also imply that random coloured triangulations of $3$-manifolds have a sublinear number of vertices. Our upper bounds apply in particular to coloured $d$-spheres for which they seem to be the best known bounds in any dimension $d\geq 3$, even though it is often conjectured that exponential bounds hold in this case.
We also ask a related question on regular edge-coloured graphs having the property that each $3$-coloured component is planar, which is of independent interest.
Analogue of DP-coloring on variable degeneracy and its applications on list vertex-arboricity and DP-coloring
Published
• View Publication
• BIB
In \cite{listnoC3adjC4}), Borodin and Ivanova proved that every planar graph without $4$-cycles adjacent to $3$-cycle is list vertex-$2$-aborable. In fact, they proved a more general result. Inspired by these results and DP-coloring which becomes a widely studied topic, we introduce a generalization on variable degeneracy including list vertex arboricity. We use this notion to extend a general result by Borodin and Ivanova. Not only that this theorem implies results about planar graphs without $4$-cycles adjacent to $3$-cycle by Borodin and Ivanova, it implies many other results including a result by Kim and Yu \cite{KimY} that every planar graph without $4$-cycles adjacent to $3$-cycle is DP-$4$-colorable.
Orientations and bijections for toroidal maps with prescribed face-degrees and essential girth
Published
• View Publication
• BIB
We present unified bijections for maps on the torus with control on the face-degrees and essential girth (girth of the periodic planar representation). A first step is to show that for d>=3 every toroidal d-angulation of essential girth d can be endowed with a certain "canonical" orientation (formulated as a weight-assignment on the half-edges). Using an adaptation of a construction by Bernardi and Chapuy, we can then derive a bijection between face-rooted toroidal d-angulations of essential girth d (with the condition that, apart from the root-face contour, no other closed walk of length d encloses the root-face) and a family of decorated unicellular maps. The orientations and bijections can then be generalized, for any d>=1, to toroidal face-rooted maps of essential girth d with a root-face of degree d (and with the same root-face contour condition as for d-angulations), and they take a simpler form in the bipartite case, as a parity specialization. On the enumerative side we obtain explicit algebraic expressions for the generating functions of rooted essentially simple triangulations and bipartite quadrangulations on the torus. Our bijective constructions can be considered as toroidal counterparts of those obtained by Bernardi and the first author in the planar case, and they also build on ideas introduced by Despré, Gonçalves and the second author for essentially simple triangulations, of imposing a balancedness condition on the orientations in genus 1.
Embeddings of 3-connected 3-regular planar graphs on surfaces of non-negative Euler characteristic
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Graph Theory (September 27, 2019) dmtcs:4656
• View Publication
• BIB
Whitney's theorem states that every 3-connected planar graph is uniquely embeddable on the sphere. On the other hand, it has many inequivalent embeddings on another surface. We shall characterize structures of a $3$-connected $3$-regular planar graph $G$ embedded on the projective-plane, the torus and the Klein bottle, and give a one-to-one correspondence between inequivalent embeddings of $G$ on each surface and some subgraphs of the dual of $G$ embedded on the sphere. These results enable us to give explicit bounds for the number of inequivalent embeddings of $G$ on each surface, and propose effective algorithms for enumerating and counting these embeddings.
On the Circumference of Essentially 4-connected Planar Graphs
Published
• View Publication
• BIB
A planar graph is essentially $4$-connected if it is 3-connected and every of its 3-separators is the neighborhood of a single vertex. Jackson and Wormald proved that every essentially 4-connected planar graph $G$ on $n$ vertices contains a cycle of length at least $\frac{2n+4}{5}$, and this result has recently been improved multiple times.
In this paper, we prove that every essentially 4-connected planar graph $G$ on $n$ vertices contains a cycle of length at least $\frac{5}{8}(n+2)$. This improves the previously best-known lower bound $\frac{3}{5}(n+2)$.
Planar graphs without 4-cycles and close triangles are (2,0,0)-colorable
Published in Journal of Combin. Optimization, 2018
• View Publication
• BIB
For a set of nonnegative integers $c_1, \ldots, c_k$, a $(c_1, c_2,\ldots, c_k)$-coloring of a graph $G$ is a partition of $V(G)$ into $V_1, \ldots, V_k$ such that for every $i$, $1\le i\le k, G[V_i]$ has maximum degree at most $c_i$. We prove that all planar graphs without 4-cycles and no less than two edges between triangles are $(2,0,0)$-colorable.
Degeneracy and Colorings of Squares of Planar Graphs without 4-Cycles
Published in Combinatorica. Vol. 40(5), 2020, pp. 625-653
• View Publication
• BIB
We prove several results on coloring squares of planar graphs without 4-cycles. First, we show that if $G$ is such a graph, then $G^2$ is $(Δ(G)+72)$-degenerate. This implies an upper bound of $Δ(G)+73$ on the chromatic number of $G^2$ as well as on several variants of the chromatic number such as the list-chromatic number, paint number, Alon--Tarsi number, and correspondence chromatic number. We also show that if $Δ(G)$ is sufficiently large, then the upper bounds on each of these parameters of $G^2$ can all be lowered to $Δ(G)+2$ (which is best possible). To complement these results, we show that 4-cycles are unique in having this property. Specifically, let $S$ be a finite list of positive integers, with $4\notin S$. For each constant $C$, we construct a planar graph $G_{S,C}$ with no cycle with length in $S$, but for which $χ(G_{S,C}^2) > Δ(G_{S,C})+C$.
Characterization of cycle obstruction sets for improper coloring planar graphs
Published in SIAM J. Discrete Math., 32(2018), no. 2, pp. 1209-1228
• View Publication
• BIB
For nonnegative integers $k, d_1, \ldots, d_k$, a graph is $(d_1, \ldots, d_k)$-colorable if its vertex set can be partitioned into $k$ parts so that the $i$th part induces a graph with maximum degree at most $d_i$ for all $i\in\{1, \ldots, k\}$. A class $\mathcal C$ of graphs is {\it balanced $k$-partitionable} and {\it unbalanced $k$-partitionable} if there exists a nonnegative integer $D$ such that all graphs in $\mathcal C$ are $(D, \ldots, D)$-colorable and $(0, \ldots, 0, D)$-colorable, respectively, where the tuple has length $k$.
A set $X$ of cycles is a {\it cycle obstruction set} of a class $\mathcal C$ of planar graphs if every planar graph containing none of the cycles in $X$ as a subgraph belongs to $\mathcal C$. This paper characterizes all cycle obstruction sets of planar graphs to be balanced $k$-partitionable and unbalanced $k$-partitionable for all $k$; namely, we identify all inclusion-wise minimal cycle obstruction sets for all $k$.
On the algorithmic complexity of finding hamiltonian cycles in special classes of planar cubic graphs
It is a well-known fact that hamiltonicity in planar cubic graphs is an NP-complete problem. This implies that the existence of an A-trail in plane eulerian graphs is also an NP-complete problem even if restricted to planar 3-connected eulerian graphs. In this paper we deal with hamiltonicity in planar cubic graphs G having a facial 2-factor Q via (quasi) spanning trees of faces in G/Q and study the algorithmic complexity of finding such (quasi) spanning trees of faces. We show, in particular, that if Barnette's Conjecture is false, then hamiltonicity in 3-connected planar cubic bipartite graphs is an NP-complete problem.
Hamiltonian cycles in planar cubic graphs with facial 2-factors, and a new partial solution of Barnette's Conjecture
Published
• View Publication
• BIB
We study the existence of hamiltonian cycles in plane cubic graphs G having a facial 2-factor Q. Thus hamiltonicity in G is transformed into the existence of a (quasi) spanning tree of faces in the contraction G/Q. In particular, we study the case where G is the leapfrog extension (called vertex envelope in (Discrete Math., 309(14):4793-4809, 2009)) of a plane cubic graph G_0. As a consequence we prove hamiltonicity in the leapfrog extension of planar cubic cyclically 4-edge-connected bipartite graphs. This and other results of this paper establish partial solutions of Barnette's Conjecture according to which every 3-connected cubic planar bipartite graph is hamiltonian. These results go considerably beyond Goodey's result on this topic (Israel J. Math., 22:52-56, 1975).
The Queue-Number of Posets of Bounded Width or Height
Published
• View Publication
• BIB
Heath and Pemmaraju conjectured that the queue-number of a poset is bounded by its width and if the poset is planar then also by its height. We show that there are planar posets whose queue-number is larger than their height, refuting the second conjecture. On the other hand, we show that any poset of width $2$ has queue-number at most $2$, thus confirming the first conjecture in the first non-trivial case. Moreover, we improve the previously best known bounds and show that planar posets of width $w$ have queue-number at most $3w-2$ while any planar poset with $0$ and $1$ has queue-number at most its width.
Bounding the number of non-duplicates of the $q$-side in simple drawings of $K_{p,q}$
Published
• View Publication
• BIB
The number $Z(n):=\lfloor n/2\rfloor\lfloor (n-1)/2\rfloor$ is the smallest number of crossings in a simple planar drawing of $K_{2,n}$ in which both vertices on the 2-side have the same clockwise rotation. For two vertices $u,v$ on the $q$-side of a simple drawing of $K_{p,q}$, let $\operatorname{cr}_D(u,v)$ denote the total number of crossings that edges incident with $u$ have with edges incident with $v$.
We show that in any simple drawing $D$ of $K_{p,q}$ in a surface $Σ$ the number of pairs of vertices on the $q$-side of $K_{p,q}$ having $\operatorname{cr}_D(u,v)<Z(p)$ is bounded as a function of $p$ and $Σ$. As a consequence, we also show that, for a fixed integer $p$ and surface $Σ$, there exists a finite set of drawings $\mathcal{D}(p,Σ)$ of complete bipartite graphs such that, for each $q$, a crossing-minimal drawing of $K_{p,q}$ can be obtained by "duplicating vertices" in some drawing from $\mathcal D(p,Σ)$.
On simple connectivity of random 2-complexes
Published
• View Publication
• BIB
The fundamental group of the $2$-dimensional Linial-Meshulam random simplicial complex $Y_2(n,p)$ was first studied by Babson, Hoffman and Kahle. They proved that the threshold probability for simple connectivity of $Y_2(n,p)$ is about $p\approx n^{-1/2}$. In this paper, we show that this threshold probability is at most $p\le (γn)^{-1/2}$, where $γ= 4^4/3^3$, and conjecture that this threshold is sharp.
In fact, we show that $p=(γn)^{-1/2}$ is a sharp threshold probability for the stronger property that every cycle of length $3$ is the boundary of a subcomplex of $Y_2(n,p)$ that is homeomorphic to a disk. Our proof uses the Poisson paradigm, and relies on a classical result of Tutte on the enumeration of planar triangulations.
Splitting loops and necklaces: Variants of the square peg problem
Published in Forum Math. Sigma 8, e5 (2020)
• View Publication
• BIB
Toeplitz conjectured that any simple planar loop inscribes a square. Here we prove variants of Toeplitz' square peg problem. We prove Hadwiger's 1971 conjecture that any simple loop in $3$-space inscribes a parallelogram. We show that any simple planar loop inscribes sufficiently many rectangles that their vertices are dense in the loop (independently due to Schwartz). If the loop is rectifiable, there is a rectangle that cuts the loop into four pieces that can be rearranged to form two loops of equal length. A rectifiable loop in $d$-space can be cut into $(r-1)(d+1)+1$ pieces that can be rearranged by translations to form $r$ loops of equal length. We relate our results to fair divisions of necklaces in the sense of Alon and to Tverberg-type results. This provides a new approach and a common framework to obtain variants of Toeplitz' square peg problem for the class of all continuous curves.
A new family of bijections for planar maps
Published in J. Combin. Theory Ser. A 168 (2019), 374-395
• View Publication
• BIB
We present bijections for the planar cases of two counting formulas on maps that arise from the KP hierarchy (Goulden-Jackson and Carrell-Chapuy formulas), relying on a "cut-and-slide" operation. This is the first time a bijective proof is given for quadratic map-counting formulas derived from the KP hierarchy. Up to now, only the linear one-faced case was known (Harer-Zagier recurrence and Chapuy-Féray-Fusy bijection). As far as we know, this bijection is new and not equivalent to any of the well-known bijections between planar maps and tree-like objects.
Equitable Coloring and Equitable Choosability of Planar Graphs without chordal 4- and 6-Cycles
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (November 11, 2019) dmtcs:4566
• View Publication
• BIB
A graph $G$ is equitably $k$-choosable if, for any given $k$-uniform list assignment $L$, $G$ is $L$-colorable and each color appears on at most $\lceil\frac{|V(G)|}{k}\rceil$ vertices. A graph is equitably $k$-colorable if the vertex set $V(G)$ can be partitioned into $k$ independent subsets $V_1$, $V_2$, $\cdots$, $V_k$ such that $||V_i|-|V_j||\leq 1$ for $1\leq i, j\leq k$. In this paper, we prove that if $G$ is a planar graph without chordal $4$- and $6$-cycles, then $G$ is equitably $k$-colorable and equitably $k$-choosable where $k\geq\max\{Δ(G), 7\}$.
Strong Pseudo Transitivity and Intersection Graphs
A directed graph $G=(V,E)$ is {\it strongly pseudo transitive} if there is a partition $\{A,E-A\}$ of $E$ so that graphs $G_1=(V,A)$ and $G_2=(V,E-A)$ are transitive, and additionally, if $ab\in A$ and $bc\in E $ implies that $ac\in E$. A strongly pseudo transitive graph $G=(V,E)$ is strongly pseudo transitive of the first type, if $ab\in A$ and $bc\in E$ implies $ac\in A$. An undirected graph is co-strongly pseudo transitive (co-strongly pseudo transitive of the first type) if its complement has an orientation which is strongly pseudo transitive (co-strongly pseudo transitive of the first type). Our purpose is show that the results in computational geometry \cite{CFP, Lu} and intersection graph theory \cite{Ga2, ES} can be unified and extended, using the notion of strong pseudo transitivity. As a consequence the general algorithmic framework in \cite{Sh} is applicable to solve the maximum independent set in $O(n^3)$ time in a variety of problems, thereby, avoiding case by case lengthily arguments for each problem. We show that the intersection graphs of axis parallel rectangles intersecting a diagonal line from bottom, and half segments are co-strongly pseudo transitive. In addition, we show that the class of the interval filament graphs is co-strongly transitive of the first type, and hence the class of polygon circle graphs which is contained in the class of interval filament graphs (but contains the classes of chordal graphs, circular arc, circle, and outer planar graphs), and the class of incomparability graphs are strongly transitive of the first type. For class of chordal graphs we give two different proofs, using two different characterizations, verifying that they are co-strongly transitive of the first type. We present some containment results.
On some tractable and hard instances for partial incentives and target set selection
Published
• View Publication
• BIB
A widely studied model for influence diffusion in social networks are {\it target sets}. For a graph $G$ and an integer-valued threshold function $τ$ on its vertex set, a {\it target set} or {\it dynamic monopoly} is a set of vertices of $G$ such that iteratively adding to it vertices $u$ of $G$ that have at least $τ(u)$ neighbors in it eventually yields the entire vertex set of $G$. This notion is limited to the binary choice of including a vertex in the target set or not, and Cordasco et al.~proposed {\it partial incentives} as a variant allowing for intermediate choices.
We show that finding optimal partial incentives is hard for chordal graphs and planar graphs but tractable for graphs of bounded treewidth and for interval graphs with bounded thresholds. We also contribute some new results about target set seletion on planar graphs by showing the hardness of this problem, and by describing an efficient $O(\sqrt{n})$-approximation algorithm as well as a PTAS for the dual problem of finding a maximum degenerate set.
The Thickness of K_1,n,n and K_2,n,n
Published
• View Publication
• BIB
The thickness of a graph G is the minimum number of planar subgraphs whose union is G. In this paper, we obtain the thickness of complete 3-partite graph K_1,n,n, K_2,n,n and complete 4-partite graph K_1,1,n,n.
Linear bounds on nowhere-zero group irregularity strength and nowhere-zero group sum chromatic number of graphs
Published in Applied Mathematics and Computation Volume 343, 15 February 2019, Pages 149-155
• View Publication
• BIB
We investigate the \textit{group irregularity strength}, $s_g(G)$, of a graph, i.e. the least integer $k$ such that taking any Abelian group $\mathcal{G}$ of order $k$, there exists a function $f:E(G)\rightarrow \mathcal{G}$ so that the sums of edge labels incident with every vertex are distinct. So far the best upper bound on $s_g(G)$ for a general graph $G$ was exponential in $n-c$, where $n$ is the order of $G$ and $c$ denotes the number of its components. In this note we prove that $s_g(G)$ is linear in $n$, namely not greater than $2n$. In fact, we prove a stronger result, as we additionally forbid the identity element of a group to be an edge label or the sum of labels around a vertex.
We consider also locally irregular labelings where we require only sums of adjacent vertices to be distinct. For the corresponding graph invariant we prove the general upper bound: $Δ(G)+{\rm col}(G)-1$ (where ${\rm col}(G)$ is the coloring number of $G$) in the case when we do not use the identity element as an edge label, and a slightly worse one if we additionally forbid it as the sum of labels around a vertex. In the both cases we also provide a sharp upper bound for trees and a constant upper bound for the family of planar graphs.