The half plane UIPT is recurrent

We prove that the half plane version of the uniform infinite planar triangulation (UIPT) is recurrent. The key ingredients of the proof are a construction of a new full plane extension of the half plane UIPT, based on a natural decomposition of the half plane UIPT into independent layers, and an extension of previous methods for proving recurrence of weak local limits (still using circle packings).