Hardy inequalities for the Heisenberg Laplacian on convex bounded polytopes

We prove a Hardy-type inequality for the gradient of the Heisenberg Laplacian on open bounded convex polytopes on the first Heisenberg group. The integral weight of the Hardy inequality is given by the distance function to the boundary measured with respect to the Carnot-Carathéodory metric. The constant depends on the number of hyperplanes, given by the boundary of the convex polytope, which are not orthogonal to the hyperplane $x_3=0$