Solvability of the $\mathrm{L}^{p}$ Dirichlet problem for the heat equation is equivalent to parabolic uniform rectifiability in the case of a parabolic Lipschitz graph

Abstract We prove that if a parabolic Lipschitz (i.e., Lip(1,1/2)) graph domain has the property that its caloric measure is parabolic $A_{\infty }$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>A</mml:mi> <mml:mi>∞</mml:mi> </mml:msub> </mml:math> with respect to surface measure (which property is in turn equivalent to $\mathrm{L}^{p}$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msup> </mml:math> solvability of the Dirichlet problem for some finite $p$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>p</mml:mi> </mml:math> ), then the function defining the graph has a half-order time derivative in the space of (parabolic) bounded mean oscillation. Equivalently, we prove that the $A_{\infty }$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>A</mml:mi> <mml:mi>∞</mml:mi> </mml:msub> </mml:math> property of caloric measure implies, in this case, that the boundary is parabolic uniformly rectifiable. Consequently, by combining our result with the work of Lewis and Murray we resolve a long standing open problem in the field by characterizing those parabolic Lipschitz graph domains for which one has $\mathrm{L}^{p}$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>L</mml:mi> <mml:mi>p</mml:mi> </mml:msup> </mml:math> solvability (for some $p &lt;\infty $ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>p</mml:mi> <mml:mo>&lt;</mml:mo> <mml:mi>∞</mml:mi> </mml:math> ) of the Dirichlet problem for the heat equation. The key idea of our proof is to view the level sets of the Green function as extensions of the original boundary graph for which we can prove (local) square function estimates of Littlewood-Paley type.