The Burau representation is a classical linear representation of the braid group that can be used to define the Alexander polynomial invariant for knots and links.

The question of whether or not the Burau representation of the braid group $B_4$ is faithful is an open problem since the 1930s. The faithfulness of this representation is necessary for the Jones polynomial of a knot to detect the unknot.

In this talk, I will present my work on this problem, which includes strong constraints on the kernel of this representation. The key techniques include a new interpretation of the Burau matrix of a positive braid and a new decomposition of positive braids into subproducts.

I will discuss all of the relevant background for the problem from scratch and illustrate my techniques through simple examples. I will also highlight the beautiful and elegant connections to bowling balls and quantum intersection numbers of simple closed curves on punctured disks.