Boolean dimension and tree-width
Abstract
The dimension is a key measure of complexity of partially ordered sets. Small dimension allows succinct encoding. Indeed if has dimension , then to know whether in it is enough to check whether in each of the linear extensions of a witnessing realizer. Focusing on the encoding aspect Ne\v{s}et\v{r}il and Pudl\'{a}k defined a more expressive version of dimension. A poset has boolean dimension at most if it is possible to decide whether in by looking at the relative position of and in only permutations of the elements of . We prove that posets with cover graphs of bounded tree-width have bounded boolean dimension. This stays in contrast with the fact that there are posets with cover graphs of tree-width three and arbitrarily large dimension. This result might be a step towards a resolution of the long-standing open problem: Do planar posets have bounded boolean dimension?
Cite
@article{arxiv.1707.06114,
title = {Boolean dimension and tree-width},
author = {Stefan Felsner and Tamás Mészáros and Piotr Micek},
journal= {arXiv preprint arXiv:1707.06114},
year = {2019}
}
Comments
one more reference added; paper revised along the suggestion of three reviewers