The lwqo consequence of wqo for one-point extensions of permutation classes

At least 4 years old · documented by

Let C\mathcal{C} be a permutation class, and let C+1\mathcal{C}^{+1} denote its one-point extension. A class is lwqo when it is well-quasi-ordered under labeling by arbitrary wqo label posets. The one-point-extension conjecture. If C+1\mathcal{C}^{+1} is wqo, then C\mathcal{C}, and hence also C+1\mathcal{C}^{+1}, is lwqo. This is motivated by the absence of known counterexamples and by the fact that lwqo is preserved between C\mathcal{C} and its one-point extension in the forward direction, while the converse for wqo is not known.

References

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.