Pairs of matrices in $GL_2(\mathbf{R}_{\geq 0})$ that freely generate
  An elementary proof that certain pairs of $2\times 2$ matrices with nonnegative real coordinates generate free monoids. 
Melvyn B. Nathanson
math.NT