English

First-order transducibility among classes of sparse graphs

Logic in Computer Science 2025-05-22 v1 Discrete Mathematics Combinatorics

Abstract

We prove several negative results about first-order transducibility for classes of sparse graphs: - for every tNt \in \mathbb{N}, the class of graphs of treewidth at most t+1t+1 is not transducible from the class of graphs of treewidth at most tt; - for every tNt \in \mathbb{N}, the class of graphs with Hadwiger number at most t+2t+2 is not transducible from the class of graphs with Hadwiger number at most tt; and - the class of graphs of treewidth at most 44 is not transducible from the class of planar graphs. These results are obtained by combining the known upper and lower bounds on the weak coloring numbers of the considered graph classes with the following two new observations: - If a weakly sparse graph class D\mathscr D is transducible from a class C\mathscr C of bounded expansion, then for some kNk \in \mathbb{N}, every graph GDG \in \mathscr D is a kk-congested depth-kk minor of a graph HH^\circ obtained from some HCH\in \mathscr C by adding a universal vertex. - The operations of adding a universal vertex and of taking kk-congested depth-kk minors, for a fixed kk, preserve the degree of the distance-dd weak coloring number of a graph class, understood as a polynomial in dd.

Keywords

Cite

@article{arxiv.2505.15655,
  title  = {First-order transducibility among classes of sparse graphs},
  author = {Jakub Gajarský and Jeremi Gładkowski and Jan Jedelský and Michał Pilipczuk and Szymon Toruńczyk},
  journal= {arXiv preprint arXiv:2505.15655},
  year   = {2025}
}

Comments

13 pages

R2 v1 2026-07-01T02:28:57.730Z