Key points are not available for this paper at this time.
Kriz and Thomas showed that every (finite or infinite) graph of tree-width k N admits a lean tree-decomposition of width k. We discuss a number of counterexamples demonstrating the limits of possible generalisations of their result to arbitrary infinite tree-width. In particular, we construct a locally finite, planar, connected graph that has no lean tree-decomposition.
Albrechtsen et al. (Fri,) studied this question.