Monotonicity of the cops and robber game for bounded depth treewidth

Isolde Adler,Eva Fluck

2024-02-14

Abstract:We study a variation of the cops and robber game characterising treewidth, where in each play at most q cops can be placed in order to catch the robber, where q is a parameter of the game. We prove that if k cops have a winning strategy in this game, then k cops have a monotone winning strategy. As a corollary we obtain a new characterisation of bounded depth treewidth, and we give a positive answer to an open question by Fluck, Seppelt and Spitzer (2024), thus showing that graph classes of bounded depth treewidth are homomorphism distinguishing closed. Our proof of monotonicity substantially reorganises a winning strategy by first transforming it into a pre-decomposition, which is inspired by decompositions of matroids, and then applying an intricate breadth-first "cleaning up" procedure along the pre-decomposition (which may temporarily lose the property of representing a strategy), in order to achieve monotonicity while controlling the number of cop placements simultaneously across all branches of the decomposition via a vertex exchange argument. We believe this can be useful in future research.

Discrete Mathematics,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is whether there exists a monotonic strategy in the bounded - depth treewidth graph class such that a finite number of cops can catch the fugitive within a limited number of steps. Specifically, the paper studies a variant of the cops - and - robbers game, in which at most \( q \) cops can be placed in each round of the game to catch the fugitive, and the parameter \( q \) is a fixed parameter of the game. The main contribution of the paper is to prove that if \( k \) cops have a winning strategy in this game, then they must also have a monotonic winning strategy. This result not only provides a new characterization for bounded - depth treewidth, but also answers an open question raised by Fluck, Seppelt and Spitzer (2024), that is, whether the bounded - depth treewidth graph class is homomorphism - distinguishing - closed.

### Core Problems of the Paper
1. **Monotonicity Problem**: Can the placement of a finite number of cops within a limited number of steps guarantee the existence of a monotonic winning strategy?
2. **Characterization of Bounded - Depth Treewidth**: How to characterize bounded - depth treewidth through the cops - and - robbers game?
3. **Homomorphism - Distinguishing - Closure**: Is the bounded - depth treewidth graph class homomorphism - distinguishing - closed?

### Solutions
The paper solves the above problems through the following steps:

1. **Pre - decomposition Construction**: First, convert the non - monotonic winning strategy into a pre - decomposition, which is inspired by matroid decomposition.
2. **Breadth - First Cleaning**: Conduct a breadth - first "cleaning" process along the pre - decomposition to ensure monotonicity while controlling the number of cops placed.
3. **Vertex - Exchange Argument**: Use the vertex - exchange argument to control the strategy representation properties that may be temporarily lost during the "cleaning" process.

### Main Conclusions
- **Monotonicity**: If \( k \) cops have a winning strategy within a limited number of steps, then they must also have a monotonic winning strategy.
- **New Characterization of Bounded - Depth Treewidth**: Characterize bounded - depth treewidth through the monotonic cops - and - robbers game.
- **Homomorphism - Distinguishing - Closure**: The bounded - depth treewidth graph class is homomorphism - distinguishing - closed.

### Significance
These results not only deepen the understanding of bounded - depth treewidth, but also provide new tools and methods for future research. In particular, these results are helpful for studying the homomorphism - counting relationships between graph classes, thereby further exploring the expressive power of graph classes.