  We establish strong constraints on the kernel of the (reduced) Burau
representation $\beta_4:B_4\to \text{GL}_3\left(\mathbb{Z}\left[q^{\pm
1}\right]\right)$ of the braid group $B_4$. We develop a theory to explicitly
determine the entries of the Burau matrices of braids in $B_4$, and this is an
important step toward demonstrating that $\beta_4$ is faithful (a longstanding
question posed in the 1930s). The theory is based on a novel combinatorial
interpretation of $\beta_4\left(g\right)$, in terms of the Garside normal form
of $g\in B_4$ and a new product decomposition of positive braids. We develop
cancellation results for words in matrix groups to show that if $\sigma$ is a
generic positive braid in $B_4$ and if $t\neq 2$ is a prime number, then the
leading coefficients in at least one row of the matrix
$\beta_4\left(\sigma\right)$ are non-zero modulo $t$. We exploit these
cancellation results to deduce that the Burau representation of $B_4$ is
faithful almost everywhere.
