The bounded-size optimal local realizer conjecture

Let PP be a finite poset. A local realizer of PP is a family of partial linear extensions whose frequency is the maximum number of partial linear extensions in which any element of PP appears, and whose size is the number of partial linear extensions in the family. Write ldim(P)\operatorname{ldim}(P) for the minimum possible frequency of a local realizer of PP, and dim(P)\dim(P) for the Dushnik–Miller dimension of PP. The conjecture asserts the following. Bounded-size optimal local realizer conjecture. There exists a function ff such that for every poset PP, there is a local realizer L\mathcal{L} of PP with frequency exactly ldim(P)\operatorname{ldim}(P) and size at most f(dim(P))f(\dim(P)). This asks whether an optimal local realizer can always be chosen with size controlled solely by the ordinary dimension of the poset, despite the fact that local realizers can generally be much larger than their frequency. The source describes this as a very bold conjecture and gives no resolution.

Sources & referencesView supporting material

Primary source

Jędrzej Hodor and Jakub Sordyl, “Local dimension of a Boolean lattice”, arXiv:2512.10413 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.