Kenyon, Miller, Sheffield, and Wilson (2015) showed how to encode a random bipolar-oriented planar map by means of a random walk with a certain step size distribution. Using this encoding together with the mating-of-trees construction of Liouville quantum gravity (LQG) due to Duplantier, Miller, and Sheffield (2014), they proved that random bipolar-oriented planar maps converge in the scaling limit to a \(\sqrt{4\over{3}}\) -LQG surface decorated by an independent SLE12 in the peanosphere sense, meaning that the height functions of a particular pair of trees on the maps converge in the scaling limit to the correlated planar Brownian motion which encodes the SLE-decorated LQG surface. We improve this convergence result by proving that the pair of height functions for an infinite-volume random bipolar-oriented triangulation and the pair of height functions for its dual map converge jointly in law in the scaling limit to the two planar Brownian motions which encode the same \(\sqrt{4\over{3}}\) -LQG surface decorated by both an SLE12 curve and the “dual” SLE12 curve which travels in a direction perpendicular (in the sense of imaginary geometry) to the original curve. This confirms a conjecture of Kenyon, Miller, Sheffield, and Wilson (2015). Our paper is the starting point of recent works connecting LQG and random permutons such as the Baxter permuton.
