An experimental study of forbidden patterns in geometric permutations by combinatorial lifting
Résumé
We study the problem of deciding if a given triple of permutations can be realized as geometric permutations of disjoint convex sets in R3. We show that this question, which is equivalent to deciding the emptiness of certain semi-algebraic sets bounded by cubic polynomials, can be ``lifted'' to a purely combinatorial problem. We propose an effective algorithm for that problem, and use it to gain new insights into the structure of geometric permutations. In particular, we prove that all triples of permutations of size 5 are realizable, and give a complete list of triples of size 6 that are not.