The decoration conjecture for forcing relations of horseshoe orbits
The decoration conjecture. If q<q′q<q'q<q′ and w≽w′w\succcurlyeq w'w≽w′, then PqwP_q^wPqw forces Pq′w′P_{q'}^{w'}Pq′w′. Moreover, PqwP_q^wPqw and Pq′w′P_{q'}^{w'}Pq′w′ have the same braid type if and only if q=q′q=q'q=q′ a…
MathDB