---
title: 'H-Planarity: Planar Torsos and Global Modulators'
url: https://www.emergentmind.com/topics/h-planarity
type: topic
---

# H-Planarity: Planar Torsos and Global Modulators

Searching arXiv for recent papers on H-Planarity and closely related planarity notions.
H-Planarity denotes, in its recent explicit formulation, the problem of deciding whether a graph \(G\) admits a planar \(\mathcal H\)-modulator: a vertex set \(X\subseteq V(G)\) such that the torso of \(X\) is planar and every connected component of \(G-X\) belongs to a target graph class \(\mathcal H\). Introduced as a decomposition paradigm in 2025, the notion treats planarity as the “torso side” of a modulator/target scheme and extends naturally to the parameters \(\mathcal H\)-planar treedepth and \(\mathcal H\)-planar treewidth. The same label has also been used informally for several distinct \(H\)-indexed planarity questions in neighboring literatures, so the current usage is best understood as a specific structural and algorithmic notion rather than a universal term [2507.08541].

## 1. Definition and structural core

For a graph \(G\) and a set \(X\subseteq V(G)\), the **torso** \(\operatorname{torso}(G,X)\) is obtained from \(G[X]\) by making a clique out of the neighborhood in \(X\) of every connected component of \(G-X\). Equivalently, if \(\operatorname{cc}(G-X)\) is the set of connected components of \(G-X\), then for each \(C\in \operatorname{cc}(G-X)\) all pairs of vertices in \(N_G(V(C))\subseteq X\) are joined by edges. A set \(X\) is a **planar \(\mathcal H\)-modulator** if \(\operatorname{torso}(G,X)\) is planar and every connected component of \(G-X\) belongs to \(\mathcal H\). A graph with such a set is called **\(\mathcal H\)-planar** [2507.08541].

The associated decision problem is **\(\mathcal H\)-PLANARITY**: given \(G\), determine whether \(G\) admits a planar \(\mathcal H\)-modulator. The paper packages this in a class-composition operator \(>\): for graph classes \(\mathcal G,\mathcal H\), the class \(\mathcal G>\mathcal H\) consists of graphs having a set \(X\) whose torso lies in \(\mathcal G\) and whose deleted components all lie in \(\mathcal H\). Thus \(\mathcal P>\mathcal H\), where \(\mathcal P\) is the class of planar graphs, is exactly the class of \(\mathcal H\)-planar graphs. The operator is associative, and the iterates \(\mathcal G^{k+1}=\mathcal G>\mathcal G^k\) with \(\mathcal G^1=\mathcal G\) are used later for recursive parameters [2507.08541].

The torso condition is essential. A planar induced subgraph \(G[X]\) does not capture the global effect of the deleted components, because each deleted component can connect multiple vertices of \(X\) and thereby simulate missing edges in the planar remainder. This suggests why the framework differs sharply from ordinary vertex-deletion to planarity: the “kept side” is not merely planar as an induced subgraph, but planar after recording external attachments as clique closures.

## 2. Why the modulator is global

A central theme of the theory is that these modulators can act **globally**. In classical modulator frameworks, the modulator often has bounded treewidth or otherwise behaves locally relative to large walls or grid minors. Here the torso is only required to be planar, and planar graphs may have arbitrarily large treewidth. As a result, the modulator need not be localized in a bounded-width region and may spread through the graph in a genuinely nonlocal way [2507.08541].

This distinction is visible in the basic separator behavior. If \(\mathcal G\) excludes \(K_{k+1}\) as a minor and \(X\) is a \(\mathcal G>\mathcal H\)-modulator, then every component \(C\) of \(G-X\) satisfies
\[
|N_G(V(C))|\le k.
\]
For \(\mathcal G=\mathcal P\), this gives \(|N_G(V(C))|\le 4\). The bound is small, but it does not imply that the planar torso itself has bounded width. That is precisely why older irrelevant-vertex paradigms based on bounded-treewidth torsos do not apply directly [2507.08541].

The framework therefore occupies an intermediate position between deletion to a target class and decomposition over bounded-width torsos. It preserves enough of planarity to inherit planar algorithmics, while allowing the retained structural core to be much richer than a bounded-treewidth graph.

## 3. Polynomial-time solvability of \(\mathcal H\)-PLANARITY

The main theorem states that if \(\mathcal H\) is **hereditary**, **CMSO-definable**, and **decidable in polynomial time**, then \(\mathcal H\)-PLANARITY is solvable in polynomial time. The proof is non-constructive: it uses the CMSO meta-theorem of Lokshtanov, Ramanujan, Saurabh, and Zehavi to reduce the problem to highly unbreakable graphs, and that reduction is itself non-constructive in the sense that it proves existence of a polynomial-time algorithm without directly yielding a uniform implementation [2507.08541].

The algorithmic core is a bounded-component version. For \(k\in\mathbb N\), let \(\mathcal H(k)\) denote the graphs in \(\mathcal H\) with at most \(k\) vertices. The paper proves an explicit algorithm for \(\mathcal H(k)\)-PLANARITY running in time
\[
f(k)\cdot n(n+m)
\]
for some computable function \(f\). This result is combined with the CMSO reduction and a separate treatment of the case where one deleted component is large [2507.08541].

The proof uses a flat-wall trichotomy. Given \(G\) and parameters \(k,r\), one can either find an apex grid minor of height \(k\), bound the treewidth by \(f_7(k)\cdot r\) with
\[
f_7(k)=2^{O(k^4\log k)},
\]
or obtain a flatness pair \((W,\mathfrak A)\) whose compass has treewidth at most \(f_7(k)\cdot r\). If \(G\) contains an apex grid \(I^+_{k'}\) with
\[
k' > \sqrt{k+4}+2,
\]
then \(G\) has no planar \(\mathcal H(k)\)-modulator. If the treewidth is bounded, Courcelle’s theorem applies because \(\mathcal H(k)\) is finite and hence CMSO-definable. The difficult case is a large flat wall with bounded-treewidth compass, where the proof establishes an irrelevant vertex rule for a central wall vertex [2507.08541].

The technical novelty lies in **sphere decompositions**. The paper proves that \(G\) is \(\mathcal H(k)\)-planar if and only if it has an \(\mathcal H(k)\)-compatible sphere decomposition. It then compares two types of such decompositions, called **ground-maximal** and **well-linked**, and shows that a ground-maximal rendition is more grounded than a well-linked rendition of the same society. This comparison enables a gluing theorem across a tracked cycle in the flat wall and yields the equivalence
\[
G \text{ is a yes-instance } \iff G' \text{ and } G-v \text{ are yes-instances},
\]
where \(G'\) is the wall compass and \(v\) is a central wall vertex. That equivalence is the relevant irrelevant-vertex rule [2507.08541].

The assumptions are substantive. Heredity is essential: for the non-hereditary class \(\mathcal H=\{K_4\}\), \(\mathcal H\)-PLANARITY is NP-complete. By contrast, CMSO-definability is required by the proof technique, but the paper explicitly does not claim it is necessary in principle [2507.08541].

## 4. Parametric extensions

Two recursive parameters extend the basic notion. The first is **planar treedepth** \(\operatorname{ptd}\), defined by \(\operatorname{ptd}(G)=0\) for the empty graph and, for \(k\ge 1\),
\[
\operatorname{ptd}(G)\le k
\]
if there exists \(X\subseteq V(G)\) such that \(\operatorname{torso}(G,X)\) is planar and \(\operatorname{ptd}(G-X)\le k-1\). The class of graphs of planar treedepth at most \(k\) is denoted \(\mathcal P^k\), and graphs of **\(\mathcal H\)-planar treedepth** at most \(k\) are exactly those in \(\mathcal P^k>\mathcal H\) [2507.08541].

The second is **planar treewidth** \(\operatorname{ptw}\). A graph has \(\operatorname{ptw}(G)\le k\) if it admits a tree decomposition such that every bag either has size at most \(k+1\) or has a planar torso. The \(\mathcal H\)-parametric version, **\(\mathcal H\)-planar treewidth**, generalizes \(\mathcal H\)-treewidth by allowing planar torsos in internal bags rather than only bounded-size bags. The abstract summarizes it as follows: a graph has \(\mathcal H\)-planar treewidth at most \(t\) if it admits a tree decomposition such that every leaf-bag is contained in \(\mathcal H\), and all other bags are either of size at most \(t+1\) or have a planar torso [2507.08541].

These parameters fit a general scheme. For a minor-monotone parameter \(p\) and a union-closed graph class \(\mathcal H\),
\[
\mathcal H\text{-}p(G)=\min\Big\{ k \mid \exists X\subseteq V(G):\ p(\operatorname{torso}(G,X))\le k \text{ and } G-X\in\mathcal H \Big\}.
\]
Taking \(p=\operatorname{td}\) gives elimination distance to \(\mathcal H\); taking \(p=\operatorname{tw}\) gives \(\mathcal H\)-treewidth; taking \(p\in\{\operatorname{ptd},\operatorname{ptw}\}\) yields the new parameters [2507.08541].

The main fixed-parameter theorem states that if \(\mathcal H\) is hereditary, CMSO-definable, and union-closed, and if \(\mathcal H\)-DELETION is FPT parameterized by solution size \(k\) with running time \(O_k(n^c)\), then for \(p\in\{\operatorname{ptd},\operatorname{ptw}\}\) there is a non-uniform algorithm deciding \(\mathcal H\text{-}p(G)\le k\) in time
\[
O_k(n^4+n^c\log n).
\]
Thus many existing deletion-to-\(\mathcal H\) algorithms lift automatically to the planar-torso parameters [2507.08541].

## 5. Other meanings of “H-Planarity” in the literature

The terminology is not uniform. Several older or neighboring lines of work use “H-Planarity” informally for distinct \(H\)-indexed planarity questions.

| Interpretation | Core question | Representative paper |
|---|---|---|
| Planar \(\mathcal H\)-modulator | Does \(G\) admit \(X\subseteq V(G)\) with planar torso and components of \(G-X\) in \(\mathcal H\)? | [2507.08541] |
| Planar covering with fixed target \(H\) | Does a planar graph \(G\) cover a fixed graph \(H\) via a locally bijective homomorphism? | [1108.0064] |
| Partial embedding extension of \(H\) | Can a prescribed planar embedding of a subgraph \(H\subseteq G\) be extended to all of \(G\)? | [2410.13536] |
| Hierarchical embedding constraints | Does \(G\) admit a planar embedding whose cyclic orders satisfy FPQ-tree constraints? | [1904.12596] |

In **planar covering**, the objects are a fixed target graph \(H\) and an input planar graph \(G\). The problem \(\mathrm{PlanarCover}(H)\) asks whether \(G\) covers \(H\), meaning that there exists a homomorphism \(f:V(G)\to V(H)\) that is locally bijective on closed neighborhoods. For several small targets, including \(K_4\), \(K_5\), \(K_6\), \(K_4^+\), \(K_5^-\), and the dumbbell multigraph \(D\), the paper proves NP-completeness of \(\mathrm{PlanarCover}(H)\) [1108.0064].

In **partially embedded planarity**, the input is \((G,H,\mathcal H)\), where \(H\subseteq G\) and \(\mathcal H\) is a prescribed planar embedding of \(H\). The task is to decide whether \(\mathcal H\) extends to a planar embedding of \(G\). A 2024 paper gives a linear-time algorithm based on modified PC-trees and the Booth–Lueker vertex-addition test, explicitly treating this as the standard formalization of what many authors informally call \(H\)-planarity in the partial-embedding sense [2410.13536].

In **hierarchical constrained planarity**, each vertex is equipped with one or more FPQ-trees specifying allowed cyclic orders of incident edges. The problem, called FPQ-choosable Planarity Testing, is fixed-parameter tractable for biconnected graphs when parameterized by treewidth and the number of FPQ-trees per vertex, NP-complete when parameterized only by the number of FPQ-trees, and W[1]-hard when parameterized only by treewidth [1904.12596].

Several neighboring models sit close to this terminological field without using the same definition. \((k,p)\)-planarity studies hybrid drawings with clusters of size at most \(k\) and at most \(p\) boundary ports per vertex; \(h\)-Clique2Path Planarity asks whether each designated clique can be reduced to a path so that the resulting graph is planar; and 4-embeddability asks whether a planar graph \(H\) is a subgraph of some 4-regular planar graph, decidable in \(O(|H|^{2.5})\) time [1806.11413] [1808.08925] [1101.5294].

## 6. Applications, boundaries, and significance

The 2025 theory is not only existential. Although the main polynomial-time theorem is non-constructive, the paper derives a polynomial-time self-reduction that constructs a planar \(\mathcal H\)-modulator whenever one exists. Analogous constructive corollaries recover certifying elimination sequences for bounded \(\mathcal H\)-planar treedepth and suitable decompositions for bounded \(\mathcal H\)-planar treewidth [2507.08541].

Once such a decomposition is known, several algorithmic consequences follow. If \(\mathcal H\) is hereditary, CMSO-definable, polynomial-time decidable, and optimally colorable in polynomial time, then every \(\mathcal H\)-planar graph can be colored in polynomial time with at most \(\chi(G)+4\) colors. If \(\mathcal H\)-ptd\((G)\le k\), the bound becomes \(\chi(G)+4k\); if \(\mathcal H\)-ptw\((G)\le k\), it becomes \(\chi(G)+\max\{4,k+1\}\). Under analogous assumptions for perfect matching counting on \(\mathcal H\), weighted and unweighted perfect matchings are polynomial-time computable on \(\mathcal H\)-planar graphs, and for \(\mathcal H\)-ptw\((G)\le k\) the running time is \(n^{O(k)}\). If Maximum Independent Set is polynomial-time solvable on \(\mathcal H\), then there is an EPTAS for Maximum Independent Set on \(\mathcal H\)-planar graphs with running time \(2^{O(1/\varepsilon)}\cdot |V(G)|^{O(1)}\) [2507.08541].

Representative target classes include bipartite graphs, perfect graphs, bounded clique-width graphs, graphs excluding a shallow-vortex as a minor, chain graphs, co-chain graphs, threshold graphs, and \(P_6\)-free graphs, depending on the downstream algorithmic task. This suggests that H-Planarity is best viewed as a transfer principle: it imports planar-graph algorithmics into mixed structures whose nonplanar parts are confined to components from \(\mathcal H\), while the torso retains global planar control [2507.08541].

The framework also has sharp boundaries. The paper notes that if one only required \(G[X]\) to be planar, rather than \(\operatorname{torso}(G,X)\), the problem becomes NP-hard by partition hardness results, even for hereditary disjoint-union-closed \(\mathcal H\). This clarifies the conceptual role of the torso: it is the device that makes the decomposition both structurally faithful and algorithmically tractable [2507.08541].

In its current sense, H-Planarity is therefore a theory of planar torsos and global modulators. Its significance lies less in a single recognition problem than in the decomposition template it provides: a graph can be algorithmically close to planar not because a small set of vertices restores planarity, but because the entire nonplanar remainder decomposes into \(\mathcal H\)-components whose effect on the retained core can still be summarized by a planar torso.

Source: https://www.emergentmind.com/topics/h-planarity