planar
3156 papers tagged with this keyword
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
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
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
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.
Packing edge-colorings of subcubic outerplanar graphs
For a sequence $S = (s_1, s_2, \ldots, s_k)$ of non-decreasing positive integers, an $S$-packing edge-coloring (S-coloring) of a graph $G$ is a partition of $E(G)$ into $E_1, E_2, \ldots, E_k$ such that the distance between each pair of distinct edges $e_1,e_2 \in E_i$, $1 \le i \le k$, is at least $s_i + 1$. In particular, a $(1^{\ell},2^k)$-coloring is a partition of $E(G)$ into $\ell$ matchings and $k$ induced matchings, and it can be viewed as intermediate colorings between proper and strong edge-colorings. Hocquard, Lajou, and Lužar conjectured that every subcubic planar graph has a $(1,2^6)$-coloring and a $(1^2,2^3)$-coloring.
In this paper, we confirm the conjecture of Hocquard, Lajou, and Lužar for subcubic outerplanar graphs by showing every subcubic outerplanar graph has a $(1,2^5)$-coloring and a $(1^2,2^3)$-coloring. Our results are best possible since we found subcubic outerplanar graphs with no $(1,2^4)$-coloring and no $(1^2,2^2)$-coloring respectively. Furthermore, we explore the question "What is the largest positive integer $k_1$ and $k_2$ such that every subcubic outerplanar graph is $(1,2^4,k_1)$-colorable and $(1^2,2^2,k_2)$-colorable?". We prove $3 \le k_1 \le 6$ and $3 \le k_2 \le 4$. We also consider the question "What is the largest positive integer $k_1'$ and $k_2'$ such that every $2$-connected subcubic outerplanar graph is $(1,2^3,k_1')$-colorable and $(1^2,2^2,k_2')$-colorable?". We prove $k_1' = 2$ and $3 \le k_2' \le 11$.
Matching Complexes of Outerplanar Graphs
An outerplanar graph is a planar graph that has a planar drawing with all vertices on the unbounded face. The matching complex of a graph is the simplicial complex whose faces are subsets of disjoint edges of the graph. In this paper we prove that the matching complexes of outerplanar graphs are contractible or homotopy equivalent to a wedge of spheres. This extends known results about trees and polygonal line tilings.
Some conjectures on $r$-graphs and equivalences
An $r$-regular graph is an $r$-graph, if every odd set of vertices is connected to its complement by at least $r$ edges. Seymour [On multicolourings of cubic graphs, and conjectures of Fulkerson and Tutte.~\emph{Proc.~London Math.~Soc.}~(3), 38(3): 423-460, 1979] conjectured (1) that every planar $r$-graph is $r$-edge colorable and (2) that every $r$-graph has $2r$ perfect matchings such that every edge is contained in precisely two of them. We study several variants of these conjectures.
A $(t,r)$-PM is a multiset of $t \cdot r$ perfect matchings of an $r$-graph $G$ such that every edge is in precisely $t$ of them. We show that the following statements are equivalent for every $t, r \geq 1$:
1. Every planar $r$-graph has a $(t,r)$-PM.
2. Every $K_5$-minor-free $r$-graph has a $(t,r)$-PM.
3. Every $K_{3,3}$-minor-free $r$-graph has a $(t,r)$-PM.
4. Every $r$-graph whose underlying simple graph has crossing number at most $1$ has a $(t,r)$-PM.
On the $d$-independence number in 1-planar graphs
The $d$-independence number of a graph $G$ is the largest possible size of an independent set $I$ in $G$ where each vertex of $I$ has degree at least $d$ in $G$. Upper bounds for the $d$-independence number in planar graphs are well-known for $d=3,4,5$, and can in fact be matched with constructions that actually have minimum degree $d$. In this paper, we explore the same questions for 1-planar graphs, i.e., graphs that can be drawn in the plane with at most one crossing per edge. We give upper bounds for the $d$-independence number for all $d$. Then we give constructions that match the upper bound, and (for small $d$) also have minimum degree $d$.
Independent Bondage Number in Graphs under Girth Constraints
Given a finite, simple graph $G$, the independent bondage number of $G$ is the minimum size of an edge set such that its deletion results in a graph with strictly larger independent domination number than that of $G$. While the bondage number of graphs under girth constraints has been studied, very few results have yet been established for the independent bondage number. In this study, we establish upper bounds on the independent bondage number of planar graphs under given girth constraints, extending results on the bondage number by Fischermann, Rautenbach, and Volkmann and on the structures of planar graphs by Borodin and Ivanova. In particular, we identify additional structures and establish bounds on the independent bondage number for planar graphs with $δ(G) \geq 2$ and $g(G)\geq 5$, $δ(G)\geq 3$ and $g(G)\geq 4$, and $δ(G) \geq 2$ and $g(G)\geq 10$.
Treewidth 2 in the Planar Graph Product Structure Theorem
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Graph Theory (March 17, 2025) dmtcs:14785
• View Publication
• BIB
We prove that every planar graph is contained in $H_1\boxtimes H_2\boxtimes K_2$ for some graphs $H_1$ and $H_2$ both with treewidth 2. This resolves a question of Liu, Norin and Wood [arXiv:2410.20333]. We also show this result is best possible: for any $c \in \mathbb{N}$, there is a planar graph $G$ such that for any tree $T$ and graph $H$ with $\text{tw}(H) \leqslant 2$, $G$ is not contained in $H \boxtimes T \boxtimes K_c$.
10-list Recoloring of Planar Graphs
Published in European Journal of Combinatorics. Vol. 130, December 2025, Article 104190, 20pp
• Search Publication
Fix a planar graph $G$ and a list-assignment $L$ with $|L(v)|=10$ for all $v\in V(G)$. Let $α$ and $β$ be $L$-colorings of $G$. A recoloring sequence from $α$ to $β$ is a sequence of $L$-colorings, beginning with $α$ and ending with $β$, such that each successive pair in the sequence differs in the color on a single vertex of $G$. We show that there exists a constant $C$ such that for all choices of $α$ and $β$ there exists a recoloring sequence $σ$ from $α$ to $β$ that recolors each vertex at most $C$ times. In particular, $σ$ has length at most $C|V(G)|$. This confirms a conjecture of Dvořák and Feghali. For our proof, we introduce a new technique for quickly showing that many configurations are reducible. We believe this method may be of independent interest and will have application to other problems in this area.
Upper bounds of Steklov eigenvalues on graphs
Let $Δ$ and $B$ be the maximum vertex degree and a subset of vertices in a graph $G$ respectively. In this paper, we study the first (non-trivial) Steklov eigenvalue $σ_2$ of $G$ with boundary $B$. Using metrical deformation via flows, we first show that $σ_2 = \mathcal{O}\left(\frac{Δ(g+1)^3}{|B|}\right)$ for graphs of orientable genus $g$ if $|B| \geq \max\{3 \sqrt{g},|V|^{\frac{1}{4} + ε}, 9\}$ for some $ε> 0$. This can be seen as a discrete analogue of Karpukhin's bound. Secondly, we prove that $σ_2 \leq \frac{8Δ+4X}{|B|}$ based on planar crossing number $X$. Thirdly, we show that $σ_2 \leq \frac{|B|}{|B|-1} \cdot δ_B$, where $δ_B$ denotes the minimum degree for boundary vertices in $B$. At last, we compare several upper bounds on Laplacian eigenvalues and Steklov eigenvalues.