The substitution-closure lwqo conjecture for permutation classes

Let C\mathcal{C} be a permutation class, and let C\langle\mathcal{C}\rangle denote its substitution closure. The substitution-closure conjecture. If C\langle\mathcal{C}\rangle is wqo, then C\mathcal{C}, and hence also C\langle\mathcal{C}\rangle, is lwqo. This is the substitution-closure analogue of the conjecture for one-point extensions and remains open.

Sources & referencesView supporting material

Primary source

Robert Brignall and Vincent Vatter, “Labelled well-quasi-order for permutation classes”, arXiv:2103.08243 (2022).

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.