Harris, T. L. J. An a.e. Lower Bound for Hausdorff Dimension under Vertical Projections in the Heisenberg Group. Ann. Fenn. Math. 2020, 45, 723–737.