On density of positive Lyapunov exponents for C^1 symplectic diffeomorphisms - Chao Liang (2015)