Hereditary Graph Product Structure and cal H-clique-width
Pith reviewed 2026-05-24 03:29 UTC · model grok-4.3
The pith
Every planar graph is an induced subgraph of the strong product of a path and a tree-width-39 graph.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
H-clique-width of G with respect to H is the least integer t such that G is isomorphic to an induced subgraph of the strong product of a graph from H and a graph of clique-width t. The definition directly generalises ordinary clique-width. With this tool the authors reformulate the planar graph product structure theorem so that every planar graph is isomorphic to an induced subgraph of the strong product of a path and a graph of tree-width 39, and they obtain analogous hereditary statements for other known product results.
What carries the argument
H-clique-width, the minimum t such that G is an induced subgraph of the strong product of a member of H and a clique-width-t graph; it carries the hereditary product-structure argument.
If this is right
- The planar product structure theorem now applies directly to induced subgraphs while retaining the tree-width bound of 39.
- H-clique-width supplies a hereditary analogue of product-structure parameters for any fixed class H such as the class of paths.
- Other existing graph product structure theorems can be restated in the same induced-subgraph form.
- H-clique-width can be compared directly with tree-width, clique-width and related parameters.
Where Pith is reading between the lines
- Classes of bounded H-clique-width may admit new hereditary algorithms that were not available from the non-hereditary versions.
- The same technique could be tested on other containment relations or on different graph products.
- Tighter bounds on H-clique-width for planar graphs might be obtainable by refining the existing product constructions.
Load-bearing premise
The strong product combined with induced-subgraph containment preserves the numerical bounds of the original product-structure theorems.
What would settle it
A planar graph that cannot be expressed as an induced subgraph of any strong product of a path and a graph of tree-width at most 39.
read the original abstract
We introduce H-clique-width, a new structural measure of graphs that aims to provide a hereditary analogue of the traditional graph product structure. The definition naturally generalises the ordinary clique-width concept. As a result, for a class H of graphs (such as the class of paths), the H-clique-width of a graph G equals the least integer t such that G is isomorphic to an induced subgraph of the strong product of a graph from H and a graph of clique-width t. We study basic properties of H-clique-width and compare it to other established structural parameters of graphs. Notably, we prove that the celebrated Planar graph product structure theorem by Dujmovic et al., and related graph product structure results, can all be formulated with the induced subgraph containment relation. In particular, every planar graph is isomorphic to an induced subgraph of the strong product of a path and a graph of tree-width 39.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces H-clique-width, a new structural parameter relative to a graph class H. It defines the H-clique-width of G as the least t such that G is isomorphic to an induced subgraph of the strong product of a graph from H and a graph of clique-width t; this is shown to generalize ordinary clique-width. The paper studies basic properties of the parameter and its relations to other measures. It then reformulates several existing graph product structure theorems (including the planar theorem of Dujmović et al.) under induced-subgraph containment in the strong product, yielding in particular that every planar graph is an induced subgraph of the strong product of a path and a graph of tree-width 39.
Significance. If the claims hold, the work supplies a hereditary analogue of product structure theorems that preserves the original quantitative bounds. This is useful for classes closed under induced subgraphs. The definition of H-clique-width cleanly captures the induced-product representation, and the explicit reformulation of the planar and related theorems is a direct strengthening of prior results.
minor comments (2)
- [Abstract] Abstract: the statement that the planar theorem 'can all be formulated with the induced subgraph containment relation' would benefit from a one-sentence indication of whether the tree-width bound remains exactly 39 or requires adjustment in the induced setting.
- The comparison of H-clique-width to other parameters (mentioned in the abstract) would be clearer if the relations were summarized in a small table rather than only in prose.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript, the recognition of its significance as a hereditary analogue of product structure theorems, and the recommendation for minor revision. No specific major comments were listed in the report.
Circularity Check
No significant circularity detected
full rationale
The paper defines H-clique-width directly as the least t such that G is an induced subgraph of a strong product H' ⊠ G' with H' in the class H and cw(G')=t. This is an explicit definition, not a derived claim. The central result reformulates the external Dujmović et al. planar product theorem (and analogues) under induced-subgraph containment, asserting that the original proofs adapt; no equations or steps reduce the new bound (tree-width 39) to a fitted parameter or self-citation chain within the paper. No self-definitional loops, fitted-input predictions, or load-bearing self-citations appear. The derivation is self-contained against the cited external benchmark.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Properties of the strong product of graphs and induced subgraph isomorphism hold as in standard graph theory.
invented entities (1)
-
H-clique-width
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Bekos, Giordano Da Lozzo, Petr Hlin e n \' y , and Michael Kaufmann
Michael A. Bekos, Giordano Da Lozzo, Petr Hlin e n \' y , and Michael Kaufmann. Graph product structure for h-framed graphs. In ISAAC , volume 248 of LIPIcs , pages 23:1--23:15. Schloss Dagstuhl - Leibniz-Zentrum f \" u r Informatik, 2022. https://doi.org/10.4230/LIPICS.ISAAC.2022.23 doi:10.4230/LIPICS.ISAAC.2022.23
-
[2]
Shorter labeling schemes for planar graphs
Marthe Bonamy, Cyril Gavoille, and Michal Pilipczuk. Shorter labeling schemes for planar graphs. SIAM J. Discret. Math. , 36(3):2082--2099, 2022. https://doi.org/10.1137/20M1330464 doi:10.1137/20M1330464
-
[3]
\' E douard Bonnet, Colin Geniet, Eun Jung Kim, St \' e phan Thomass \' e , and R \' e mi Watrigant. Twin-width II: small classes. In SODA , pages 1977--1996. SIAM , 2021. https://doi.org/10.1137/1.9781611976465.118 doi:10.1137/1.9781611976465.118
-
[4]
Twin-width I: tractable FO model checking
\' E douard Bonnet, Eun Jung Kim, St \' e phan Thomass \' e , and R \' e mi Watrigant. Twin-width I: tractable FO model checking. J. ACM , 69(1):3:1--3:46, 2022. https://doi.org/10.1145/3486655 doi:10.1145/3486655
- [5]
-
[6]
Anuj Dawar, Martin Grohe, and Stephan Kreutzer. Locally excluding a minor. In LICS , pages 270--279. IEEE Computer Society, 2007. https://doi.org/10.1109/LICS.2007.31 doi:10.1109/LICS.2007.31
-
[7]
Guoli Ding, Bogdan Oporowski, James G. Oxley, and Dirk Vertigan. Unavoidable minors of large 3-connected binary matroids. J. Comb. Theory, Ser. B , 66(2):334--360, 1996. https://doi.org/10.1006/JCTB.1996.0026 doi:10.1006/JCTB.1996.0026
-
[8]
Marc Distel, Robert Hickingbotham, Michal T. Seweryn, and David R. Wood. Powers of planar graphs, product structure, and blocking partitions. In EUROCOMB'23: European Conference on Combinatorics, Graph Theory and Applications , pages 355--361. MUNI Press, Masaryk University, 2023. https://doi.org/https://doi.org/10.5817/CZ.MUNI.EUROCOMB23-049 doi:https://...
-
[9]
Adjacency labelling for planar graphs (and beyond)
Vida Dujmovic, Louis Esperet, Cyril Gavoille, Gwena \" e l Joret, Piotr Micek, and Pat Morin. Adjacency labelling for planar graphs (and beyond). J. ACM , 68(6):42:1--42:33, 2021. https://doi.org/10.1145/3477542 doi:10.1145/3477542
-
[10]
Vida Dujmovic, Louis Esperet, Gwena\"el Joret, Bartosz Walczak, and David R. Wood. Planar graphs have bounded nonrepetitive chromatic number. Advances in Combinatorics , 3 2020. https://doi.org/10.19086/aic.12100 doi:10.19086/aic.12100
-
[11]
Vida Dujmovic, Gwena \" e l Joret, Piotr Micek, Pat Morin, Torsten Ueckerdt, and David R. Wood. Planar graphs have bounded queue-number. J. ACM , 67(4):22:1--22:38, 2020. https://doi.org/10.1145/3385731 doi:10.1145/3385731
-
[12]
Vida Dujmovic, Pat Morin, and David R. Wood. Graph product structure for non-minor-closed classes. J. Comb. Theory, Ser. B , 162:34--67, 2023. https://doi.org/10.1016/J.JCTB.2023.03.004 doi:10.1016/J.JCTB.2023.03.004
-
[13]
Zdenek Dvo r \' a k, Tony Huynh, Gwena \" e l Joret, Chun - Hung Liu, and David R. Wood. Notes on graph product structure theory. In 2019-20 MATRIX Annals , pages 513--533, Cham, 2021. Springer International Publishing
work page 2019
-
[14]
Michael R. Fellows, Frances A. Rosamond, Udi Rotics, and Stefan Szeider. Clique-width is NP -complete. SIAM J. Discret. Math. , 23(2):909--939, 2009. https://doi.org/10.1137/070687256 doi:10.1137/070687256
-
[15]
Deciding first-order properties of locally tree-decomposable structures
Markus Frick and Martin Grohe. Deciding first-order properties of locally tree-decomposable structures. J. ACM , 48(6):1184--1206, 2001. https://doi.org/10.1145/504794.504798 doi:10.1145/504794.504798
-
[16]
Twin-width of planar graphs is at most 8, and at most 6 when bipartite planar
Petr Hlin e n \' y and Jan Jedelsk \' y . Twin-width of planar graphs is at most 8, and at most 6 when bipartite planar. In ICALP , volume 261 of LIPIcs , pages 75:1--75:18. Schloss Dagstuhl - Leibniz-Zentrum f \" u r Informatik, 2023. https://doi.org/10.4230/LIPICS.ICALP.2023.75 doi:10.4230/LIPICS.ICALP.2023.75
-
[17]
Transductions of graph classes admitting product structure
Petr Hlin e n \' y and Jan Jedelsk \' y . Transductions of graph classes admitting product structure. CoRR , abs/2501.18326, 2025. URL: http://arxiv.org/abs/2501.18326
-
[18]
Petr Hlin e n \' y and Sang - il Oum. Finding branch-decompositions and rank-decompositions. SIAM J. Comput. , 38(3):1012--1032, 2008. https://doi.org/10.1137/070685920 doi:10.1137/070685920
-
[19]
Bounding twin-width for bounded-treewidth graphs, planar graphs, and bipartite graphs
Hugo Jacob and Marcin Pilipczuk. Bounding twin-width for bounded-treewidth graphs, planar graphs, and bipartite graphs. In WG , volume 13453 of Lecture Notes in Computer Science , pages 287--299. Springer, 2022. https://doi.org/10.1007/978-3-031-15914-5\_21 doi:10.1007/978-3-031-15914-5\_21
-
[20]
Twin-width of graphs on surfaces
Daniel Kr \' a l, Krist \' y na Pek \' a rkov \' a , and Kenny Storgel. Twin-width of graphs on surfaces. In MFCS , volume 306 of LIPIcs , pages 66:1--66:15. Schloss Dagstuhl - Leibniz-Zentrum f \" u r Informatik, 2024. https://doi.org/10.4230/LIPICS.MFCS.2024.66 doi:10.4230/LIPICS.MFCS.2024.66
-
[21]
Algorithmic meta-theorems for restrictions of treewidth
Michael Lampis. Algorithmic meta-theorems for restrictions of treewidth. Algorithmica , 64(1):19--37, 2012. https://doi.org/10.1007/S00453-011-9554-X doi:10.1007/S00453-011-9554-X
-
[22]
Approximating clique-width and branch-width
Sang - il Oum and Paul Seymour. Approximating clique-width and branch-width. J. Comb. Theory, Ser. B , 96(4):514--528, 2006. https://doi.org/10.1016/J.JCTB.2005.10.006 doi:10.1016/J.JCTB.2005.10.006
-
[23]
Torsten Ueckerdt, David R. Wood, and Wendy Yi. An improved planar graph product structure theorem. Electron. J. Comb. , 29(2), 2022. https://doi.org/10.37236/10614 doi:10.37236/10614
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.