planar
3152 papers tagged with this keyword
On the complexity of global Roman domination problem in graphs
A Roman dominating function of a graph $G=(V,E)$ is a labeling $f: V \rightarrow{} \{0 ,1, 2\}$ such that for each vertex $u \in V$ with $f(u) = 0$, there exists a vertex $v \in N(u)$ with $f(v) =2$. A Roman dominating function $f$ is a global Roman dominating function if it is a Roman dominating function for both $G$ and its complement $\overline{G}$. The weight of $f$ is the sum of $f(u)$ over all the vertices $u \in V$. The objective of Global Roman Domination problem is to find a global Roman dominating function with minimum weight. The objective of Global Roman Domination is to compute a global Roman dominating function of minimum weight.
In this paper, we study the algorithmic aspects of Global Roman Domination problem on various graph classes and obtain the following results.
1. We prove that Roman domination and Global Roman Domination problems are not computationally equivalent by identifying graph classes on which one is linear-time solvable, while the other is NP-complete.
2. We show that Global Roman Domination problem is NP-complete on split graphs, thereby resolving an open question posed by Panda and Goyal [Discrete Applied Mathematics, 2023].
3. We prove that Global Roman Domination problem is NP-complete on chordal bipartite graphs, planar bipartite graphs with maximum degree five and circle graphs.
4. On the positive side, we present a linear-time algorithm for Global Roman domination problem on cographs.
On $L^2$ estimates for quadratic images of product Frostman measures
Let $f\in\mathbb R[x,y,z]$ be a fixed non-degenerate quadratic polynomial. Given an $α$-Frostman probability measure $μ$ supported on $[0,1]$ with $α\in(0,1)$, consider the pushforward measure $ν=f_{\#}(μ\timesμ\timesμ)$ on $\mathbb R$. We prove the following $L^2$ energy estimate: for a fixed nonnegative Schwartz function $\varphi$ with $\int\varphi=1$ and $\varphi_δ(t)=δ^{-1}\varphi(t/δ)$, there exist $ε>0$ and $δ_{0}>0$ (depending only on $α$ and the coefficients of $f$) such that \[ \int_{\mathbb R}(\varphi_δ*ν(t))^{2}\,dt \ \lesssim\ δ^{α+ε-1} \qquad \text{for all } δ\in(0,δ_{0}]. \] The proof expands the $L^2$ energy into a weighted six-fold coincidence integral and reduces the main contribution to a planar incidence problem after a controlled change of variables. The key new input is an incidence estimate for point sets that arise as bi-Lipschitz images of a Cartesian product $M\times M$ of a $δ$-separated and non-concentrated set $M$, yielding a power saving beyond what is available from separation and non-concentration alone. We also give examples showing that bounded support and Frostman-type hypotheses are necessary for such $L^{2}$ control.
Metric properties of electrical networks and the graph reconstruction problems
Published in In EuroComb'25, Booklet of extended abstracts, pages 456-460 . HUN-REN Alfréd Rényi Institute of Mathematics, 2025
• Search Publication
Using the generalized Temperley trick, we demonstrate the explicit embedding of circular electrical networks into totally non-negative Grassmannians. Building on this result, we show that the effective resistances between boundary nodes of circular electrical networks satisfy the Kalmanson property, and we provide the full characterization of planar electrical Kalmanson metrics. Additionally, we present a graph reconstruction algorithm with applications in phylogenetic network analysis as well as the numerical solution of the Calderon problem.
Large induced forests in planar multigraphs
For a graph $G$ on $n$ vertices, denote by $a(G)$ the number of vertices in the largest induced forest in $G$. The Albertson-Berman conjecture, which is open since 1979, states that $a(G) \geq \frac{n}{2}$ for all simple planar graphs $G$. We show that the version of this problem for multigraphs (allowing parallel edges) is easily reduced to the problem about the independence number of simple planar graphs. Specifically, we prove that $a(M) \geq \frac{n}{4}$ for all planar multigraphs $M$ and that this lower bound is tight. Then, we study the case when the number of pairs of vertices with parallel edges, which we denote by $k$, is small. In particular, we prove the lower bound $a(M) \geq \frac{2}{5}n-\frac{k}{10}$ and that the Albertson-Berman conjecture for simple planar graphs, assuming that it holds, would imply the lower bound $a(M) \geq \frac{n-k}{2}$ for planar multigraphs, which would be better than the general lower bound when $k$ is small. Finally, we study the variant of the problem where the plane multigraphs are prohibited from having $2$-faces, which is the main non-trivial problem that we introduce in this article. For that variant without $2$-faces, we prove the lower bound $a(M) \geq \frac{3}{10}n+\frac{7}{30}$ and give a construction of an infinite sequence of multigraphs with $a(M)=\frac{3}{7}n+\frac{4}{7}$.
Basis Number of Graphs Excluding Minors
The basis number of a graph $G$ is the minimum $k$ such that the cycle space of $G$ is generated by a family of cycles using each edge at most $k$ times. A classical result of Mac Lane states that planar graphs are exactly graphs with basis number at most 2, and more generally, graphs embedded on a fixed surface of bounded genus are known to have bounded basis number. Generalising this, we prove that graphs excluding a fixed minor $H$ have bounded basis number. Our proof uses the Graph Minor Structure Theorem, which requires us to understand how basis number behaves in tree-decompositions. In particular, we prove that graphs of treewidth $k$ have basis number bounded by some function of $k$. We handle tree-decompositions using the proof framework developed by Bojańczyk and Pilipczuk in their proof of Courcelle's conjecture. Combining our approach with independent results of Miraftab, Morin and Yuditsky (2025) on basis number and path-decompositions, one can moreover improve our upper bound to a polynomial one: there exists an absolute constant $c>0$ such that every $H$-minor free graph has basis number $O(|H|^c)$.
The point-thicknesses of complete graphs and complete multipartite graphs
The point-thickness $θ'(G)$ of a graph $G$ is the minimum number of subsets into which the vertex set $V(G)$ of $G$ is partitioned such that each subset induces a planar subgraph. In this paper, we determine the point-thicknesses of complete graphs and complete multipartite graphs.
Some lemmas on spectral radius of graphs: including an application
For a graph $G$, the spectral radius $ρ(G)$ of $G$ is the largest eigenvalue of its adjacency matrix. In this paper, we give three lammas on $ρ(G)$ when $G$ contains a spanning complete bipartite graph. Using these lemmas and typical spectral method, we characterized the unique extremal graph with the maximum spectral radius among all planar graphs of large order $n$ without a cycle of length $\ell$, where $5\leq \ell\leq n$.
The square of a subcubic planar graph without a 5-cycle is 7-choosable
The square of a graph $G$, denoted $G^2$, has the same vertex set as $G$ and has an edge between two vertices if the distance between them in $G$ is at most $2$. Thomassen [12] showed that $χ(G^2) \leq 7$ if $G$ is a subcubic planar graph. A natural question is whether $χ_{\ell}(G^2) \leq 7$ or not if $G$ is a subcubic planar graph. Recently Kim and Lian [11] showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph of girth at least 6. And Jin, Kang, and Kim [10] showed that $χ_{\ell}(G^2) \leq 7$ if $G$ is a subcubic planar graph without 4-cycles and 5-cycles. In this paper, we show that the square of a subcubic planar graph without 5-cycles is 7-choosable, which improves the results of [10] and [11].
Grassmannian Geometries for Non-Planar On-Shell Diagrams
On-shell diagrams are gauge invariant quantities which play an important role in the description of scattering amplitudes. Based on the principles of generalized unitarity, they are given by products of elementary three-point amplitudes where the kinematics of internal on-shell legs are determined by cut conditions. In the ${\cal N}=4$ Super Yang-Mills (SYM) theory, the dual formulation for on-shell diagrams produces the same quantities as canonical forms on the Grassmannian $G(k,n)$. Most of the work in this direction has been devoted to the planar diagrams, which dominate in the large $N$ limit of gauge theories. On the mathematical side, planar on-shell diagrams correspond to cells of the positive Grassmannian $G_+(k,n)$ which have been very extensively studied in the literature in the past 20 years. In this paper, we focus on the non-planar on-shell diagrams which are relevant at finite $N$. In particular, we use the triplet formulation of Maximal-Helicity-Violating (MHV) on-shell diagrams to obtain certain regions in the Grassmannian $G(2,n)$. These regions are unions of positive Grassmannians with different orderings (referred to as oriented regions). We explore the features of these unions, and show that they are pseudo-positive geometries, in contrast to positive geometry of a single oriented region. For all non-planar diagrams which are \emph{internally planar} there always exists a strongly connected geometry, and for those that are \emph{irreducible}, there exists a geometry with no spurious facets. We also prove that the already known identity moves, square and sphere moves, form the complete set of identity moves for all MHV on-shell diagrams.
Notes on the 33-point Erdős--Szekeres problem
The determination of $ES(7)$ is the first open case of the planar Erdős--Szekeres problem, where the general conjecture predicts $ES(7)=33$. We present a SAT encoding for the 33-point case based on triple-orientation variables and a 4-set convexity criterion for excluding convex 7-gons, together with convex-layer anchoring constraints. The framework yields UNSAT certificates for a collection of anchored subfamilies. We also report pronounced runtime variability across configurations, including heavy-tailed behavior that currently dominates the computational effort and motivates further encoding refinements.
Coloring Hardness on Low Twin-Width Graphs
As the class $\mathcal T_4$ of graphs of twin-width at most 4 contains every finite subgraph of the infinite grid and every graph obtained by subdividing each edge of an $n$-vertex graph at least $2 \log n$ times, most NP-hard graph problems, like Max Independent Set, Dominating Set, Hamiltonian Cycle, remain so on $\mathcal T_4$. However, Min Coloring and k-Coloring are easy on both families because they are 2-colorable and 3-colorable, respectively.
We show that Min Coloring is NP-hard on the class $\mathcal T_3$ of graphs of twin-width at most 3. This is the first hardness result on $\mathcal T_3$ for a problem that is easy on cographs (twin-width 0), on trees (whose twin-width is at most 2), and on unit circular-arc graphs (whose twin-width is at most 3). We also show that for every $k \geqslant 3$, k-Coloring is NP-hard on $\mathcal T_4$. We finally make two observations: (1) there are currently very few problems known to be in P on $\mathcal T_d$ (graphs of twin-width at most $d$) and NP-hard on $\mathcal T_{d+1}$ for some nonnegative integer $d$, and (2) unlike $\mathcal T_4$, which contains every graph as an induced minor, the class $\mathcal T_3$ excludes a fixed planar graph as an induced minor; thus it may be viewed as a special case (or potential counterexample) for conjectures about classes excluding a (planar) induced minor. These observations are accompanied by several open questions.
Tree-independence number VII. Excluding a star
We prove that for every fixed integer $s$ and every planar graph $H$, the class of $H$-induced-minor-free and $K_{1,s}$-induced-subgraph-free graphs has polylogarithmic tree-independence number. This is a weakening of a conjecture of Dallard, Krnc, Kwon, Milanič, Munaro, Štorgel, and Wiederrecht.
Proper conflict-free choosability of planar graphs
A proper conflict-free coloring of a graph is a proper vertex coloring wherein each non-isolated vertex's open neighborhood contains at least one color appearing exactly once. For a non-negative integer $k$, a graph $G$ is said to be proper conflict-free (degree+$k$)-choosable if given any list assignment $L$ for $G$ where $|L(v)| = d(v) + k$ holds for every vertex $v \in V(G)$, there exists a proper conflict-free coloring $φ$ of $G$ such that $φ(v) \in L(v)$ for all $v \in V(G)$. Recently, Kashima, Škrekovski, and Xu proposed two related conjectures on proper conflict-free choosability: the first asserts the existence of an absolute constant $k$ such that every graph is proper conflict-free (degree+$k$)-choosable, while the second strengthens this claim by restricting to connected graphs other than the cycle of length 5 and reducing the constant to $k=2$. In this paper, we confirm the second conjecture for three graph classes: $K_4$-minor-free graphs with maximum degree at most 4, outer-1-planar graphs with maximum degree at most 4, and planar graphs with girth at least 12; we also confirm the first conjecture for these same graph classes, in addition to all outer-1-planar graphs (without degree constraints). Moreover, we prove that planar graphs with girth at least 12 and outer-1-planar graphs are proper conflict-free $6$-choosable.
Improved Erdős-Pósa inequalities for odd cycles in planar graphs
In an undirected graph, the odd cycle packing number is the maximum number of pairwise vertex-disjoint odd cycles. The odd cycle transversal number is the minimum number of vertices that hit every odd cycle. The maximum ratio between transversal and packing number is called Erdős-Pósa ratio. We show that in planar graphs, this ratio does not exceed 4. This improves on the previously best known bound of 6 by Král', Sereni and Stacho.
Independence Complexes of Hexagonal Grid Graphs
The independence complex of a graph is a simplicial complex whose faces correspond to the independent sets of $G$. While independence complexes have been studied extensively for many graph classes, including square grid graphs, relatively little is known about planar hexagonal grid graphs.
In this article, we study the topology of the independence complexes of hexagonal grid graphs $H_{1 \times m \times n}$. For $ m=1, 2, 3$ and $n\geq 1$, we determine their homotopy types. In particular, we show that the independence complex of the hexagonal line tiling $H_{1 \times 1 \times n}$ is homotopy equivalent to a wedge of two $n$-spheres, and for $m=2$ and $m=3$, we obtain recursive descriptions that completely determine the spheres appearing in the homotopy type. Our proofs rely on link and deletion operations, the fold lemma, and a detailed analysis of induced subgraphs.
Chromatic Polynomial Evaluation Spectra
Around 10 years ago, Agol and Krushkal showed that the number of chromatic polynomials $P_{G}$ arising from graphs $G$ on $n$ vertices grows exponentially with $n$, by establishing that the (dual) flow polynomial $F_{G}\left(\frac{3+\sqrt{5}}{2}\right)$ already takes on exponentially many values, if one varies $G$ over all planar cubic graphs $G$ on $n$ vertices. We show, more generally, that the size of the set $\{P_G(q): |V(G)|=n\}$ is exponential in $n$, for every fixed real number $q \neq 0,1,2$. In fact, our approach can also be pushed to show that $P_{G}(q)$ already takes on exponentially many values, if we only vary $G$ over all planar graphs on $n$ vertices. The case $q=3$ confirms a conjecture of Agol, which was initially motivated by the $\mathsf{NP}$-completeness of planar $3$-colorability.
Cyclic sieving phenomena for trees and tree-rooted maps
We prove cyclic sieving phenomena satisfied by corner-rooted plane trees (alias ordered trees). The sets of rooted plane trees that we consider are: (1) all trees with $n$ nodes; (2) all trees with $n$ nodes and $k$ leaves; (3) all trees with a given degree distribution of the nodes. Moreover, we consider four different cyclic group actions: (1) the root is moved to the next corner along a tour of the tree; (2) only trees in which the root is at a leaf are considered, and the action moves the root to the next leaf; (3) only trees in which the root is at a non-leaf are considered, and the action moves the root to the next non-leaf corner; (4) only trees in which the root is at a node of degree $δ$ are considered, for a fixed $δ$, and the action moves the root to the next corner of this type. We prove a cyclic sieving phenomenon for each meaningful combination of these sets and actions. As a bonus, we also establish corresponding cyclic sieving phenomena for tree-rooted planar maps.
Nowhere-zero flow reconfiguration
We initiate the study of nowhere-zero flow reconfiguration. The natural question is whether any two nowhere-zero $k$-flows of a given graph $G$ are connected by a sequence of nowhere-zero $k$-flows of $G$, such that any two consecutive flows in the sequence differ only on a cycle of $G$. We conjecture that any two nowhere-zero 5-flows in any 2-edge-connected graph are connected in this way. This can be seen as a reconfiguration variant of Tutte's 5-flow conjecture.
We study this problem in the setting of integer flows and group flows, and show that the structure of groups affects the answer, contrary to the existence of nowhere-zero flows. We also highlight a duality with recoloring in planar graphs and deduce that any two nowhere-zero 7-flows in a planar graph are connected, among other results. Finally we show that for any graph $G$, there is an abelian group $A$ such that all nowhere-zero $A$-flows in $G$ are connected, which is a weak form of our original conjecture. We conclude with several problems and conjectures.
A Formal Analogue of Euler's Formula for Infinite Planar Regular Graphs
We present a formal version of the numbers of vertices, edges, and faces for infinite planar regular triangular meshes of degree r>6. These numbers are defined via Euler summation of sequences obtained from iterated expansions of a convex combinatorial disk. We prove that these formal quantities satisfy the classical Euler formula, providing a combinatorial analogue of Euler's formula for infinite planar graphs.
Edge-coloring 4- and 5-regular projective planar graphs with no Petersen-minor
An $r$-regular graph is an $r$-graph, if every odd set of vertices is connected to its complement by at least $r$ edges. We prove for $r \in \{4,5\}$, every projective planar $r$-graph with no Petersen-minor is $r$-edge colorable.