The rigidity statement in the Horowitz-Myers conjecture

In this paper, we give an alternative proof of the Horowitz-Myers conjecture in dimension $3 \leq N \leq 7$. Moreover, we show that a metric that achieves equality in the Horowitz-Myers conjecture is locally isometric to a Horowitz-Myers metric.