planar
3238 papers tagged with this keyword
Infinite families of planar graphs of a given injective chromatic number
Published
• View Publication
• BIB
An injective colouring of a graph is a colouring in which every two vertices sharing a common neighbour receive a different colour. Chen, Hahn, Raspaud and Wang conjectured that every planar graph of maximum degree $Δ\ge 3$ admits an injective colouring with at most $\lfloor 3Δ/2\rfloor$ colours. This was later disproved by Lužar and Škrekovski for certain small and even values of $Δ$ and they proposed a new refined conjecture. Using an algorithm for determining the injective chromatic number of a graph, i.e. the smallest number of colours for which the graph admits an injective colouring, we give computational evidence for Lužar and Škrekovski's conjecture and extend their results by presenting an infinite family of $3$-connected planar graphs for each $Δ$ (except for $4$) attaining their bound, whereas they only gave a finite amount of examples for each $Δ$. Hence, together with another infinite family of maximum degree $4$, we provide infinitely many counterexamples to the conjecture by Chen et al. for each $Δ$ if $4\le Δ\le 7$ and every even $Δ\ge 8$. We provide similar evidence for analogous conjectures by La and Štorgel and Lužar, Škrekovski and Tancer when the girth is restricted as well. Also in these cases we provide infinite families of $3$-connected planar graphs attaining the bounds of these conjectures for certain maximum degrees $Δ\geq 3$.
Minimal pentagulations of $n$-gons
A planar graph $G$ is called a pentagulation of an $n$-gon ($n\geq$ is an integer) if all faces of $G$ are pentagons, except one, which is an $n$-gon. A $3$-connected pentagulation $G$ of an $n$-gon is called minimal if it has the smallest number of pentagons among all such $3$-connected pentagulations. It is known that minimal pentagulations of the $3$-gon and $4$-gon contain 15 and 14 pentagons, respectively. We determined all minimal pentagulations of $n$-gons for all $n$ such that $3\leq n\leq 12$ using computer calculations. The calculations employed the plantri package, which generates all planar triangulations for a given number of vertices. We also present several open questions on this topic.
Acyclic List Colouring Locally Planar Graphs
A (vertex) colouring of graph is \emph{acyclic} if it contains no bicoloured cycle. In 1979, Borodin proved that planar graphs are acyclically 5-colourable. In 2010, Kawarabayashi and Mohar proved that locally planar graphs are acyclically 7-colourable. In 2002, Borodin, Fon-Der-Flaass, Kostochka, Raspaud, and Sopena proved that planar graphs are acyclically 7-list-colourable. We prove that locally planar graphs are acyclically 9-list-colourable\textemdash no bound for acyclic list colouring locally planar graphs for any fixed number of colours was previously known.
Saturated Partial Embeddings of Maximal Planar Graphs
We investigate two notions of saturation for partial planar embeddings of maximal planar graphs. Let $G = (V, E) $ be a vertex-labeled maximal planar graph on $ n $ vertices, which by definition has $3n - 6$ edges. We say that a labeled plane graph $H = (V, E')$ with $E' \subseteq E$ is a \emph{labeled plane-saturated subgraph} of $G$ if no edge in $E \setminus E'$ can be added to $H$ in a manner that preserves vertex labels, without introducing a crossing. The \emph{labeled plane-saturation ratio} $lpsr(G)$ is defined as the minimum value of $\frac{e(H)}{e(G)}$ over all such $H$. We establish almost tight bounds for $lpsr(G)$, showing $lpsr(G) \leq \frac{n+7}{3n-6}$ for $n \geq 47$, and constructing a maximal planar graph $G$ with $lpsr(G) \geq \frac{n+2}{3n-6}$ for each $n\ge 5$.
Dropping vertex labels, a \emph{plane-saturated subgraph} is defined as a plane subgraph $H\subseteq G$ where adding any additional edge to the drawing either introduces a crossing or causes the resulting graph to no longer be a subgraph of $G$. The \emph{plane-saturation ratio} $psr(G)$ is defined as the minimum value of $\frac{E(H)}{E(G)}$ over all such $H$. For all sufficiently large $n$, we demonstrate the existence of a maximal planar graph $G$ with $psr(G) \geq \frac{\frac{3}{2}n - 3}{3n - 6} = \frac{1}{2}$.
Robust Contraction Decomposition for Minor-Free Graphs and its Applications
We prove a robust contraction decomposition theorem for $H$-minor-free graphs, which states that given an $H$-minor-free graph $G$ and an integer $p$, one can partition in polynomial time the vertices of $G$ into $p$ sets $Z_1,\dots,Z_p$ such that $\operatorname{tw}(G/(Z_i \setminus Z')) = O(p + |Z'|)$ for all $i \in [p]$ and $Z' \subseteq Z_i$. Here, $\operatorname{tw}(\cdot)$ denotes the treewidth of a graph and $G/(Z_i \setminus Z')$ denotes the graph obtained from $G$ by contracting all edges with both endpoints in $Z_i \setminus Z'$.
Our result generalizes earlier results by Klein [SICOMP 2008] and Demaine et al. [STOC 2011] based on partitioning $E(G)$, and some recent theorems for planar graphs by Marx et al. [SODA 2022], for bounded-genus graphs (more generally, almost-embeddable graphs) by Bandyapadhyay et al. [SODA 2022], and for unit-disk graphs by Bandyapadhyay et al. [SoCG 2022].
The robust contraction decomposition theorem directly results in parameterized algorithms with running time $2^{\widetilde{O}(\sqrt{k})} \cdot n^{O(1)}$ or $n^{O(\sqrt{k})}$ for every vertex/edge deletion problems on $H$-minor-free graphs that can be formulated as Permutation CSP Deletion or 2-Conn Permutation CSP Deletion. Consequently, we obtain the first subexponential-time parameterized algorithms for Subset Feedback Vertex Set, Subset Odd Cycle Transversal, Subset Group Feedback Vertex Set, 2-Conn Component Order Connectivity on $H$-minor-free graphs. For other problems which already have subexponential-time parameterized algorithms on $H$-minor-free graphs (e.g., Odd Cycle Transversal, Vertex Multiway Cut, Vertex Multicut, etc.), our theorem gives much simpler algorithms of the same running time.
On Local Irregularity Conjecture for 2-multigraphs
Published
• View Publication
• BIB
A multigraph in which adjacent vertices have different degrees is called locally irregular. The locally irregular edge coloring is an edge coloring of a multigraph $G$ in which every color induces a locally irregular submultigraph of $G$. We denote by $\operatorname{lir}(G)$ the locally irregular chromatic index of a multigraph $G$, which is the smallest number of colors required in a locally irregular edge coloring of $G$, given that such a coloring of $G$ exists. By $^2G$ we denote a 2-multigraph obtained from a simple graph $G$ by doubling each its edge. In 2022 Grzelec and Woźniak conjectured that $\operatorname{lir}(^2G) \leq 2$ for every connected simple graph $G$ different from $K_2$; the conjecture is known as Local Irregularity Conjecture for 2-multigraphs. In this paper, we prove this conjecture in the case of regular graphs, split graphs, and some particular families of subcubic graphs. Moreover, we provide a constant upper bound on the locally irregular chromatic index of planar 2-multigraphs (except for $^2K_2$), and we obtain a better constant upper bound on $\operatorname{lir}(^2G)$ if $G$ is a simple subcubic graph different from $K_2$. In the proofs, special decompositions of graphs and the relation of Local Irregularity Conjecture to the well-known 1-2-3 Conjecture are utilized.
On high genus extensions of Negami's conjecture
Negami's famous planar cover conjecture is equivalent to the statement that a connected graph can be embedded in the projective plane if and only if it has a projective planar cover. In 1999, Hliněný proposed extending this conjecture to higher genus non-orientable surfaces. In this paper, we put forward a natural extension that encompasses orientable surfaces as well; for every compact surface $Σ$, a connected graph $G$ has a finite cover embeddable in $Σ$ if and only if $G$ is embeddable in a surface covered by $Σ$.
As evidence toward this, we prove that for every surface $Σ$, the connected graphs with a finite cover embeddable in $Σ$ have bounded Euler genus. Moreover, we show that these extensions of Negami's conjecture are decidable for every compact surface of sufficiently large Euler genus, surpassing what is known for Negami's original conjecture. We also prove the natural analogue for countable graphs embeddable into a compact (orientable) surface. More precisely, we prove that a connected countable graph $G$ has a finite ply cover that embeds into a compact (orientable) surface if and only if $G$ embeds into a compact (orientable) surface.
Our most general theorem, from which these results are derived, is that there is a constant $c>0$ such that for every surface $Σ$, there exists a decreasing function $p_Σ:\mathbb{N} \to \mathbb{N}$ with $\lim_{g\to \infty}p_Σ(g) =0$ such that every finite cover embeddable in $Σ$ of any connected graph with Euler genus $g\ge c$ has ply at most $p_Σ(g)$.
Listing faces of polytopes
Published
• View Publication
• BIB
This paper investigates the problem of listing faces of combinatorial polytopes, such as hypercubes, permutahedra, associahedra, and their generalizations. Firstly, we consider the face lattice, which is the inclusion order of all faces of a polytope, and we seek a Hamiltonian cycle in its cover graph, i.e., for any two consecutive faces, one must be a subface of the other, and their dimensions differ by 1. We construct such Hamiltonian cycles for hypercubes, permutahedra, $B$-permutahedra, associahedra, cyclic polytopes, 3-dimensional polytopes, graph associahedra of chordal graphs, and quotientopes. Secondly, we consider facet-Hamiltonian cycles, which are cycles on the skeleton of a polytope that enter and leave every facet exactly once. This notion was recently introduced by Akitaya, Cardinal, Felsner, Kleist, and Lauff [SODA 2025], where the authors conjectured that $B$-permutahedra admit a facet-Hamiltonian cycle for all dimensions. We construct such facet-Hamiltonian cycles in this paper, thus establishing their conjecture as a theorem. A key tool we use are so-called rhombic strips, which are planar spanning subgraphs of the cover graph of the face lattice in which every face is a 4-cycle. Specifically, we construct a rhombic strip in the face lattice of the hypercube of any dimension, and characterize the existence of rhombic strips in the face lattice of 3-dimensional polytopes. Our constructions yield time- and space-efficient algorithms for computing the aforementioned cycles and thus for listing the corresponding combinatorial objects, including ordered set partitions and dissections of a convex polygon.
Equitable coloring of sparse graphs
An equitable coloring of a graph is a proper coloring where the sizes of any two distinct color classes differ by at most one. The celebrated Chen-Lih-Wu Conjecture (CLWC for short) states that every connected graph $G$ that is neither an odd cycle, a $K_r$, nor a $K_{2m+1,2m+1}$ has an equitable $Δ(G)$-coloring. A graph $G$ is in $\mathcal{G}_{m_1,m_2}$ if for all $H\subseteq G$, $\lVert H \rVert\leq m_1|H|$, and if $H$ is bipartite, then $\lVert H \rVert\leq m_2|H|$. In this paper, we confirm CLWC for all graphs $G$ in $\mathcal{G}_{m_1, m_2}$ provided that $m_1\leq 1.8m_2$ and $Δ(G)\geq \frac{2m_1}{1-β}$, where $β$ is a real root of $2m_2(1-x)(1+x)^2-m_1x(2+x)$. By specializing to the case $m_1 = m_2 = d$, we deduce that every $d$-degenerate graph $G$ with $Δ(G) \geq 6.21d$ admits an equitable $r$-coloring for all $r \geq Δ(G)$, thereby improving the previous best-known lower bound of $10d$ on $Δ(G)$ established by Kostochka and Nakprasit in 2005. A graph is $k$-planar if it can be drawn in the plane so that each edge is crossed at most $k$ times. CLWC had been confirmed for planar graphs $G$ with $Δ(G) \geq 8$ (Kostochka, Lin, and Xiang, 2024) and for $1$-planar graphs $G$ with $Δ(G) \geq 13$ (Cranston and Mahmoud, 2025). As an immediate application of our main result, we extend this confirmation to all $k$-planar graphs $G$ with $k \geq 2$ and $Δ(G) \geq \sqrt{383k}$.
Complexity Issues Concerning the Quadruple Roman Domination Problem in Graphs
Published
• View Publication
• BIB
Given a graph $G$ with vertex set $V(G)$, a mapping $h : V(G) \rightarrow \lbrace 0, 1, 2, 3, 4, 5 \rbrace$ is called a quadruple Roman dominating function (4RDF) for $G$ if it holds the following. Every vertex $x$ such that $h(x)\in \{0,1,2, 3\}$ satisfies that $h(N[x]) = \sum_{v\in N[x]} h(v) \geq |\{y:y \in N(x) \; \text{and} \; h(y) \neq 0\}|+4$, where $N(x)$ and $N[x]$ stands for the open and closed neighborhood of $x$, respectively. The smallest possible weight $\sum_{x \in V(G)} h(x)$ among all possible 4RDFs $h$ for $G$ is the quadruple Roman domination number of $G$, denoted by $γ_{[4R]}(G)$.
This work is focused on complexity aspects for the problem of computing the value of this parameter for several graph classes. Specifically, it is shown that the decision problem concerning $γ_{[4R]}(G)$ is NP-complete when restricted to star convex bipartite, comb convex bipartite, split and planar graphs. In contrast, it is also proved that such problem can be efficiently solved for threshold graphs where an exact solution is demonstrated, while for graphs having an efficient dominating set, tight upper and lower bounds in terms of the classical domination number are given. In addition, some approximation results to the problem are given. That is, we show that the problem cannot be approximated within $(1 - ε) \ln |V|$ for any $ε> 0$ unless $P=NP$. An approximation algorithm for it is proposed, and its APX-completeness proved, whether graphs of maximum degree four are considered. Finally, an integer linear programming formulation for our problem is presented.
Planar Turán number of two adjacent cycles
Published
• View Publication
• BIB
The planar Turán number of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $n$-vertex $H$-free planar graph. The planar Turán number of $k(k\geq 3)$ vertex-disjoint union of cycles is the trivial value $3n-6$. We determine the planar Turán number of $C_{3}\text{-}C_{3}$ and $C_{3}\text{-}C_{4}$, where $C_{k}\text{-}C_{\ell}$ denotes the graph consisting of two disjoint cycles $C_k$ with an edge connecting them.
On the thresholds of degenerate hypergraphs
An $n$-vertex $k$-uniform hypergraph $G$ is $(d,α)$-degenerate if $m_1(G)\le{d}$ and there exists a constant $\varepsilon >0$ such that for every subset $U\subseteq{V(G)}$ with size $2\le|U|\le{\varepsilon n}$, we have $e\left(G[U]\right)\le{d\left(|U|-1\right)-α}$. These hypergraphs include many natural graph classes, such as the degenerate hypergraphs, the planar graphs, and the power of cycles. In this paper, we consider the threshold of the emergence of a $(d,α)$-degenerate hypergraph with bounded maximum degree in the Erdős-Rényi model. We show that its threshold is at most $n^{-1/d}$, improving previous results of Riordan and Kelly-Müyesser-Pokrovskiy.
Spanning trees and continued fractions
We prove the exponential growth of the cardinality of the set of numbers of spanning trees in simple (and planar) graphs on $n$ vertices, answering a question of Sedláček from 1969. The proof uses a connection with continued fractions, ``thin orbits,'' and Zaremba's conjecture.
The Heawood approach to Tait colorings and defining vertex sets
Given a simple biconnected planar cubic graph, we associate each its vertex among $2n$ ones with the so-called spin, i.e., a variable which takes on values $\pm 1$. P. J. Heawood has proved that a Tait coloring, accurate to the choice of a color for one edge, is equivalent to the choice of spin values so as to make the sum of these value at vertices of any face be a multiple of~3. We treat faces, which satisfy this condition, as {\it proper}. The condition that guarantee the propriety of faces define a system of linear equations (SLE) with respect to variables, which take on nonzero values in the field ${\mathbb F}_3$. We say that a set of vertices is {\it defining} if values of spins of these vertices uniquely define values of the rest spins. In particular, so is the set of vertices which correspond to all free variables of the SLE. We actualize the approach proposed by P. J. Heawood by proposing a geometric proof of the fact that for a non-bipartite graph the rank of the SLE equals $n+1$. Moreover, we also geometrically describe the necessary condition for the minimality of the defining set. This implies that in the case of a non-bipartite graph there exist defining subsets consisting of $n-1$ vertices. As a simple corollary, we conclude that the number of Tait colorings in this case does not exceed $3\cdot 2^{n-1}$. Though this estimate is not exact, it is by half better than the known one. We also prove that the number of Tait colorings for a graph $CL_n$, which is bipartite for even $n$ and non-bipartite for an odd one, equals $2^n+8$ and $2^n-2$, correspondingly.
Defective correspondence coloring of planar graphs
Defective coloring (also known as relaxed or improper coloring) is a generalization of proper coloring defined as follows: for $d \in \mathbb{N}$, a coloring of a graph is $d$-defective if every vertex is colored the same as at most $d$ of its neighbors. We investigate defective coloring of planar graphs in the context of correspondence coloring, a generalization of list coloring introduced by Dvořák and Postle. First we show there exists a planar graph that is not $3$-defective $3$-correspondable, strengthening a recent result of Cho, Choi, Kim, Park, Shan, and Zhu. Then we construct a planar graph that is $1$-defective $3$-correspondable but not $4$-correspondable, thereby extending a recent result of Ma, Xu, and Zhu from list coloring to correspondence coloring. Finally we show all outerplanar graphs are $3$-defective $2$-correspondence colorable, with 3 defects being best possible.
On lower bounds of the density of planar periodic sets without unit distances
Published
• View Publication
• BIB
Determining the maximal density $m_1(\mathbb{R}^2)$ of planar sets without unit distances is a fundamental problem in combinatorial geometry. This paper investigates lower bounds for this quantity. We introduce a novel approach to estimating $m_1(\mathbb{R}^2)$ by reformulating the problem as a Maximal Independent Set (MIS) problem on graphs constructed from flat torus, focusing on periodic sets with respect to two non-collinear vectors. Our experimental results, supported by theoretical justifications of proposed method, demonstrate that for a sufficiently wide range of parameters this approach does not improve the known lower bound $0.22936 \le m_1(\mathbb{R}^2)$. The best discrete sets found are approximations of Croft's construction. In addition, several open source software packages for MIS problem are compared on this task.
Distance Sequences to bound the Harary Index and other Wiener-type Indices of a Graph
Published
• View Publication
• BIB
In this paper we obtain bounds on a very general class of distance-based topological indices of graphs, which includes the Wiener index, defined as the sum of the distances between all pairs of vertices of the graph, and most generalisations of the Wiener index, including the Harary index and the hyper-Wiener index.
Our results imply several new bounds on well-studied topological indices, among those sharp lower bounds on the Harary index and sharp upper bounds on the hyper-Wiener index for (i) graphs of given order and size (which resolves a problem in the monograph [The Harary index of a graph, Xu, Das, Trinajstić, Springer (2015)], (ii) for $κ$-connected graphs, where $κ$ is even, (iii) for maximal outerplanar graphs and for Apollonian networks (a subclass of maximal planar graphs), and (iv) for trees in which all vertices have odd degree.
Cancellation and regularity for planar, 3-connected Kronecker products
We investigate several properties of Kronecker (direct, tensor) products of graphs that are planar and $3$-connected (polyhedral, $3$-polytopal). This class of graphs was recently characterised and constructed by the second author [15].
Our main result is that cancellation holds for the Kronecker product of graphs when the product is planar and $3$-connected (it is known that Kronecker cancellation may fail in general). Equivalently, polyhedral graphs are Kronecker products in at most one way. This is a special case of the deep and interesting question, open in general, of Kronecker product cancellation for simple graphs: when does $A\wedge C\simeq B\wedge C$ imply $A\simeq B$?
We complete our investigation on simultaneous products by characterising and constructing the planar graphs that are Cartesian products in two distinct ways, and the planar, $3$-connected graphs that are both Kronecker and Cartesian products.
The other type of results we obtain are in extremal graph theory. We classify the polyhedral Kronecker products that are either face-regular or vertex-regular graphs. The face-regular ones are certain quadrangulations of the sphere, while the vertex-regular ones are certain cubic graphs (duals of maximal planar graphs). We also characterise, and iteratively construct, the face-regular subclass of graphs minimising the number of vertices of degree $3$.
Surface sums for lattice Yang-Mills in the large-$N$ limit
We give a sum over weighted planar surfaces formula for Wilson loop expectations in the large-$N$ limit of strongly coupled lattice Yang-Mills theory, in any dimension. The weights of each surface are simple and expressed in terms of products of signed Catalan numbers.
In establishing our results, the main novelty is to convert a recursive relation for Wilson loop expectations, known as the master loop equation, into a new peeling exploration of the planar surfaces. This exploration reveals hidden cancellations within the sums, enabling a deeper understanding of the structure of the planar surfaces.
We view our results as a continuation of the program initiated in [CPS23] to understand Yang-Mills theories via surfaces and as a refinement of the string trajectories point-of-view developed in [Cha19a].
Restriction estimates using decoupling theorems and two-ends Furstenberg inequalities
We propose to study the restriction conjecture using decoupling theorems and two-ends Furstenberg inequalities. Specifically, we pose a two-ends Furstenberg conjecture, which implies the restriction conjecture. As evidence, we prove this conjecture in the plane by using the Furstenberg set estimate. Moreover, we use this planar result to prove a restriction estimate for $p>22/7$ in three dimensions, which implies Wolff's $5/2$-hairbrush bound for Kakeya sets in $\mathbb{R}^3$. Our approach also makes improvements for the restriction conjecture in higher dimensions.