planar
3209 papers tagged with this keyword
Counting Cycles on Planar Graphs in Subexponential Time
Published
• View Publication
• BIB
We study the problem of counting all cycles or self-avoiding walks (SAWs) on triangulated planar graphs. We present a subexponential $2^{O(\sqrt{n})}$ time algorithm for this counting problem. Among the technical ingredients used in this algorithm are the planar separator theorem and a delicate analysis using pairs of Motzkin paths and Motzkin numbers. We can then adapt this algorithm to uniformly sample SAWs, in subexponential time. Our work is motivated by the problem of gerrymandered districting maps.
The proper conflict-free $k$-coloring problem and the odd $k$-coloring problem are NP-complete on bipartite graphs
Published in Discrete Appl. Math., 377:10-17, December 2025
• View Publication
• BIB
A proper coloring of a graph is \emph{proper conflict-free} if every non-isolated vertex $v$ has a neighbor whose color is unique in the neighborhood of $v$. A proper coloring of a graph is \emph{odd} if for every non-isolated vertex $v$, there is a color appearing an odd number of times in the neighborhood of $v$. For an integer $k$, the \textsc{PCF $k$-Coloring} problem asks whether an input graph admits a proper conflict-free $k$-coloring and the \textsc{Odd $k$-Coloring} asks whether an input graph admits an odd $k$-coloring. We show that for every integer $k\geq3$, both problems are NP-complete, even if the input graph is bipartite. Furthermore, we show that the \textsc{PCF $4$-Coloring} problem is NP-complete when the input graph is planar.
Another Proof of the Four Colour Theorem -- Part 2 -- Discharging a minimal 5-Chromatic Planar Graph
In RSST, they "replace the mammoth hand-checking of unavoidability that A&H required, by another mammoth hand-checkable proof " (page 18). Here, the proof of unavoidability is accomplished in a lengthy structured hand-checkable proof whose entirety is presented in this document.
On graphs whose domination number is equal to chromatic and dominator chromatic numbers
Published
• View Publication
• BIB
For a graph $G = (V(G), E(G))$, a dominating set $D$ is a vertex subset of $V(G)$ in which every vertex of $V(G) \setminus D$ is adjacent to a vertex in $D$. The domination number of $G$ is the minimum cardinality of a dominating set of $G$ and is denoted by $γ(G)$. A coloring of $G$ is a partition $C = (V_{1}, ... ,V_{k})$ such that each of $V_{i}$ in an independent set. The chromatic number is the smallest $k$ among all colorings $C = (V_{1}, ... ,V_{k})$ of $G$ and is denoted by $χ(G)$. A coloring $C = (V_{1}, ... ,V_{k})$ is said to be dominator if, for all $V_{i}$, every vertex $v \in V_{i}$ is singleton in $V_{i}$ or is adjacent to every vertex of $V_{j}$. The dominator chromatic number of $G$ is the minimum $k$ of all dominator colorings of $G$ and is denoted by $χ_{d}(G)$. Further, a graph $G$ is $D(k)$ if $γ(G) = χ(G) = χ_{d}(G) = k$. In this paper, for $n \geq 4k - 3$, we prove that there always exists a $D(k)$ graph of order $n$. We further prove that there is no planar $D(k)$ graph when $k \in \{3, 4\}$. Namely, we prove that, for a non-trivial planar graph $G$, the graph $G$ is $D(k)$ if and only if $G$ is $K_{2, q}$ where $q \geq 2$.
On the Complexity of Distance-$d$ Independent Set Reconfiguration
Published in Theoretical Computer Science 1009 (2024) 114682
• View Publication
• BIB
For a fixed positive integer $d \geq 2$, a distance-$d$ independent set (D$d$IS) of a graph is a vertex subset whose distance between any two members is at least $d$. Imagine that there is a token placed on each member of a D$d$IS. Two D$d$ISs are adjacent under Token Sliding ($\mathsf{TS}$) if one can be obtained from the other by moving a token from one vertex to one of its unoccupied adjacent vertices. Under Token Jumping ($\mathsf{TJ}$), the target vertex needs not to be adjacent to the original one. The Distance-$d$ Independent Set Reconfiguration (D$d$ISR) problem under $\mathsf{TS}/\mathsf{TJ}$ asks if there is a corresponding sequence of adjacent D$d$ISs that transforms one given D$d$IS into another. The problem for $d = 2$, also known as the Independent Set Reconfiguration problem, has been well-studied in the literature and its computational complexity on several graph classes has been known. In this paper, we study the computational complexity of D$d$ISR on different graphs under $\mathsf{TS}$ and $\mathsf{TJ}$ for any fixed $d \geq 3$. On chordal graphs, we show that D$d$ISR under $\mathsf{TJ}$ is in $\mathtt{P}$ when $d$ is even and $\mathtt{PSPACE}$-complete when $d$ is odd. On split graphs, there is an interesting complexity dichotomy: D$d$ISR is $\mathtt{PSPACE}$-complete for $d = 2$ but in $\mathtt{P}$ for $d=3$ under $\mathsf{TS}$, while under $\mathsf{TJ}$ it is in $\mathtt{P}$ for $d = 2$ but $\mathtt{PSPACE}$-complete for $d = 3$. Additionally, certain well-known hardness results for $d = 2$ on perfect graphs and planar graphs of maximum degree three and bounded bandwidth can be extended for $d \geq 3$.
The Strong Nine Dragon Tree Conjecture is true for $d \leq k+1$
Published
• View Publication
• BIB
The arboricity $Γ(G)$ of an undirected graph $G = (V,E)$ is the minimal number such that $E$ can be partitioned into $Γ(G)$ forests. Nash-Williams' formula states that $k = \lceil γ(G) \rceil$, where $γ(G)$ is the maximum of ${|E_H|}/(|V_H| -1)$ over all subgraphs $(V_H, E_H)$ of $G$ with $|V_H| \geq 2$.
The Strong Nine Dragon Tree Conjecture states that if $γ(G) \leq k + \frac{d}{d+k+1}$ for $k, d \in \mathbb N_0$, then there is a partition of the edge set of $G$ into $k+1$ forests such that one forest has at most $d$ edges in each connected component.
We settle the conjecture for $d \leq k + 1$. For $d \leq 2(k+1)$, we cannot prove the conjecture, however we show that there exists a partition in which the connected components in one forest have at most $d + \lceil k \cdot \frac{d}{k+1} \rceil - k$ edges.
As an application of this theorem, we show that every $5$-edge-connected planar graph $G$ has a $\frac{5}{6}$-thin spanning tree. This theorem is best possible, in the sense that we cannot replace $5$-edge-connected with $4$-edge-connected, even if we replace $\frac{5}{6}$ with any positive real number less than $1$. This strengthens a result of Merker and Postle which showed $6$-edge-connected planar graphs have a $\frac{18}{19}$-thin spanning tree.
Arrangements of translates of a curve
Published
• View Publication
• BIB
We show that there are five types of planar curves such that arrangements of its translates are combinatorially equivalent to an arrangement of lines. These curves can be used to define norms giving constructions with many unit distances among points in the plane.
Expanded-clique graphs and the domination problem
Published
• View Publication
• BIB
Given a graph $G$ such that each vertex $v_i$ has a value $f(v_i)$, the expanded-clique graph $H$ is the graph where each vertex $v_i$ of $G$ becomes a clique $V_i$ of size $f(v_i)$ and for each edge $v_iv_j \in E(G)$, there is a vertex of $V_i$ adjacent to an exclusive vertex of $V_j$. In this work, among the results, we present two characterizations of the expanded-clique graphs, one of them leads to a linear-time recognition algorithm. Regarding the domination number, we show that this problem is \NP-complete for planar bipartite $3$-expanded-clique graphs and for cubic line graphs of bipartite graphs.
Bounding the number of odd paths in planar graphs via convex optimization
Published
• View Publication
• BIB
Let $N_{\mathcal{P}}(n,H)$ denote the maximum number of copies of $H$ in an $n$ vertex planar graph. The problem of bounding this function for various graphs $H$ has been extensively studied since the 70's. A special case that received a lot of attention recently is when $H$ is the path on $2m+1$ vertices, denoted $P_{2m+1}$. Our main result in this paper is that $$ N_{\mathcal{P}}(n,P_{2m+1})=O(m^{-m}n^{m+1})\;.$$ This improves upon the previously best known bound by a factor $e^{m}$, which is best possible up to the hidden constant, and makes a significant step towards resolving conjectures of Gosh et al. and of Cox and Martin. The proof uses graph theoretic arguments together with (simple) arguments from the theory of convex optimization.
5-Coloring Reconfiguration of Planar Graphs with No Short Odd Cycles
Published in Journal of Graph Theory. Vol. 105(4). April 2024. pp. 670-679
• View Publication
• BIB
The coloring reconfiguration graph $\mathcal{C}_k(G)$ has as its vertex set all the proper $k$-colorings of $G$, and two vertices in $\mathcal{C}_k(G)$ are adjacent if their corresponding $k$-colorings differ on a single vertex. Cereceda conjectured that if an $n$-vertex graph $G$ is $d$-degenerate and $k\geq d+2$, then the diameter of $\mathcal{C}_k(G)$ is $O(n^2)$. Bousquet and Heinrich proved that if $G$ is planar and bipartite, then the diameter of $\mathcal{C}_5(G)$ is $O(n^2)$. (This proves Cereceda's Conjecture for every such graph with degeneracy 3.) They also highlighted the particular case of Cereceda's Conjecture when $G$ is planar and has no 3-cycles. As a partial solution to this problem, we show that the diameter of $\mathcal{C}_5(G)$ is $O(n^2)$ for every planar graph $G$ with no 3-cycles and no 5-cycles.
Plabic links, quivers, and skein relations
Published
• View Publication
• BIB
We study relations between cluster algebra invariants and link invariants.
First, we show that several constructions of positroid links (permutation links, Richardson links, grid diagram links, plabic graph links) give rise to isotopic links. For a subclass of permutations arising from concave curves, we also provide isotopies with the corresponding Coxeter links.
Second, we associate a point count polynomial to an arbitrary locally acyclic quiver. We conjecture an equality between the top $a$-degree coefficient of the HOMFLY polynomial of a plabic graph link and the point count polynomial of its planar dual quiver. We prove this conjecture for leaf recurrent plabic graphs, which includes reduced plabic graphs and plabic fences as special cases.
Internal boundaries of the loop amplituhedron
Published in SciPost Phys. 15, 098 (2023)
• View Publication
• BIB
The strict definition of positive geometry implies that all maximal residues of its canonical form are $\pm 1$. We observe, however, that the loop integrand of the amplitude in planar $\mathcal{N}=4$ super Yang-Mills has maximal residues not equal to $\pm 1$. We find the reason for this is that deep in the boundary structure of the loop amplituhedron there are geometries which contain internal boundaries: codimension one defects separating two regions of opposite orientation. This phenomenon requires a generalisation of the concept of positive geometry and canonical form to include such internal boundaries and also suggests the utility of a further generalisation to `weighted positive geometries'. We re-examine the deepest cut of $\mathcal{N}=4$ amplitudes in light of this and obtain new all order residues.
A $p$-centered coloring for the grid using $O(p)$ colors
Published
• View Publication
• BIB
A $p$-centered coloring of a graph $G$, where $p$ is a positive integer, is a coloring of the vertices of $G$ in such a way that every connected subgraph of $G$ either contains a vertex with a unique color or contains more than $p$ different colors. We give an explicit construction of a $p$-centered coloring using $O(p)$ colors for the planar grid.
Paired and semipaired domination in triangulations
A dominating set of a graph $G$ is a subset $D$ of vertices such that every vertex not in $D$ is adjacent to at least one vertex in $D$. A dominating set $D$ is paired if the subgraph induced by its vertices has a perfect matching, and semipaired if every vertex in $D$ is paired with exactly one other vertex in $D$ that is within distance 2 from it. The paired domination number, denoted by $γ_{pr}(G)$, is the minimum cardinality of a paired dominating set of $G$, and the semipaired domination number, denoted by $γ_{pr2}(G)$, is the minimum cardinality of a semipaired dominating set of $G$. A near-triangulation is a biconnected planar graph that admits a plane embedding such that all of its faces are triangles except possibly the outer face. We show in this paper that $γ_{pr}(G) \le 2 \lfloor \frac{n}{4} \rfloor$ for any near-triangulation $G$ of order $n\ge 4$, and that with some exceptions, $γ_{pr2}(G) \le \lfloor \frac{2n}{5} \rfloor$ for any near-triangulation $G$ of order $n\ge 5$.
Some Extensions of Thomassen's Theorem to Longer Paths
Let $G$ be a planar embedding with list-assignment $L$ and outer cycle $C$, and let $P$ be a path of length at most four on $C$, where each vertex of $G\setminus C$ has a list of size at least five and each vertex of $C\setminus P$ has a list of size at least three. In this paper, we prove some results about partial $L$-colorings $φ$ of $C$ with the property that any extension of $φ$ to an $L$-coloring of $\textrm{dom}(φ)\cup V(P)$ extends to $L$-color all of $G$. We use these results in a later sequence of papers to prove some results about list-colorings of high-representativity embeddings on surfaces.
Extensions of Thomassen's Theorem to Paths of Length At Most Four: Part II
Let $G$ be a planar embedding with list-assignment $L$ and outer cycle $C$, and let $P$ be a path of length at most four on $C$, where each vertex of $G\setminus C$ has a list of size at least five and each vertex of $C\setminus P$ has a list of size at least three. This is the second paper in a sequence of three papers in which we prove some results about partial $L$-colorings $φ$ of $C$ with the property that any extension of $φ$ to an $L$-coloring of $\textrm{dom}(φ)\cup V(P)$ extends to $L$-color all of $G$, and, in particular, some useful results about the special case in which $\textrm{dom}(φ)$ consists only of the endpoints of $P$. We also prove some results about the other special case in which $φ$ is allowed to color some vertices of $C\setminus\mathring{P}$ but we avoid taking too many colors away from the leftover vertices of $\mathring{P}\setminus\textrm{dom}(φ)$. We use these results in a later sequence of papers to prove some results about list-colorings of high-representativity embeddings on surfaces.
Extensions of Thomassen's Theorem to Paths of Length At Most Four: Part III
Let $G$ be a planar embedding with list-assignment $L$ and outer cycle $C$, and let $P$ be a path of length at most four on $C$, where each vertex of $G\setminus C$ has a list of size at least five and each vertex of $C\setminus P$ has a list of size at least three. This is the final paper in a sequence of three papers in which we prove some results about partial $L$-colorings $φ$ of $C$ with the property that any extension of $φ$ to an $L$-coloring of $\textrm{dom}(φ)\cup V(P)$ extends to $L$-color all of $G$, and, in particular, some useful results about the special case in which $\textrm{dom}(φ)$ consists only of the endpoints of $P$. We also prove some results about the other special case in which $φ$ is allowed to color some vertices of $C\setminus\mathring{P}$ but we avoid taking too many colors away from the leftover vertices of $\mathring{P}\setminus\textrm{dom}(φ)$. We use these results in a later sequence of papers to prove some results about list-colorings of high-representativity embeddings on surfaces.
Decomposition of triangle-free planar graphs
Published
• View Publication
• BIB
A decomposition of a graph $G$ is a family of subgraphs of $G$ whose edge sets form a partition of $E(G)$. In this paper, we prove that every triangle-free planar graph $G$ can be decomposed into a $2$-degenerate graph and a matching. Consequently, every triangle-free planar graph $G$ has a matching $M$ such that $G-M$ is online 3-DP-colorable. This strengthens an earlier result in [R. Škrekovski, {\em A Grötzsch-Type Theorem for List Colourings with Impropriety One}, Combin. Prob. Comput. 8 (1999), 493-507] that every triangle-free planar graph is $1$-defective $3$-choosable.
Extremal problems on planar graphs without k edge-disjoint cycles
Published
• View Publication
• BIB
In the 1960s, Erdős and his cooperators initiated the research of the maximum numbers of edges in a graph or a planar graph on $n$ vertices without $k$ edge-disjoint cycles. This problem had been solved for $k\leq4$. As pointed out by Bollobás, it is very difficult for general $k$. Recently, Tait and Tobin [J. Combin. Theory Ser. B, 2017] confirmed a famous conjecture on maximum spectral radius of $n$-vertex planar graphs. Motivated by the above results, we consider two extremal problems on planar graphs without $k$ edge-disjoint cycles. We first determine the maximum number of edges in a planar graph of order $n$ and maximum degree $n-1$ without $k$ edge-disjoint cycles. Based on this, we then determine the maximum spectral radius as well as its unique extremal graph over all planar graphs on $n$ vertices without $k$ edge-disjoint cycles. Finally, we also discuss several extremal problems for general graphs.
Dimers and Beauville integrable systems
Published
• View Publication
• BIB
Associated to a convex integral polygon $N$ in the plane are two integrable systems: the cluster integrable system of Goncharov and Kenyon constructed from the planar dimer model, and the Beauville integrable system, associated with the toric surface of $N$. There is a birational map, called the spectral transform, between the phase spaces of the two integrable systems. When $N$ is the triangle $\text{Conv}\{(0,0),(d,0),(0,d)\}$, we show that the spectral transform is a birational isomorphism of integrable systems.