Search for non-trivial elements of the kernel of the Burau representation of the four-strand braid group.
