A proof of the q,t-square conjecture

We prove a combinatorial formula conjectured by Loehr and Warrington for the coefficient of the sign character in ∇(pn). Here ∇ denotes the Bergeron–Garsia nabla operator, and pn is a power-sum symmetric function. The combinatorial formula enumerates lattice paths in an n×n square according to two suitable statistics.