Expression-Sparse Representation of Excluded-Biclique Classes

Determine whether every graph class of bounded $\mathcal P^\circ$-clique-width that excludes a bi-induced $K_{t,t}$ for some t has bounded expression-sparse $\mathcal P^\circ$-clique-width.

Background

Expression-sparse H\mathcal H-clique-width requires an (H,k)(H,k)-expression whose deparameterization is Kk,kK_{k,k}-free, equivalently yielding bounded tree-width in the deparameterized value. The question asks whether bounded parameterized clique-width together with exclusion of a fixed bi-induced complete bipartite graph forces the existence of such sparse expressions. The authors explicitly note that they are unsure whether the answer is affirmative or negative.

References

Is it true that if a graph class $\ca C$ is of bounded $\ca P\circ$-clique-width and $\ca C$ excludes bi-induced $K_{t,t}$ for some~$t$, then $\ca C$ is also of bounded expression-sparse $\ca P\circ$-clique-width?

Transductions of Graph Classes Admitting Product Structure  (2501.18326 - Hliněný et al., 30 Jan 2025) in Concluding Remarks, Question \ref{que:expression-sparse}