1: \begin{abstract}

2: Consider the free field on a fractal graph based on a high-dimensional Sierpinski carpet

3: (\emph{e.g.} Menger sponge), that is, a centered Gaussian field whose covariance is the Green's function for simple random walk on the graph.

4: Moreover assume that a "hard wall" is imposed at height zero so that the field stays positive everywhere.

5: We prove the leading-order asymptotics for the local sample mean of the free field above the hard wall on any transient

6: Sierpinski carpet graph, thereby extending a result of Bolthausen, Deuschel, and Zeitouni for the free field on

7: $\mathbb{Z}^d$, $d \geq 3$, to the fractal setting. Our proof utilizes the theory of transient regular Dirichlet

8: forms, in conjunction with the relative entropy, coarse graining, and conditioning arguments introduced in the

9: previous literature.\\

10: 

11: \noindent \emph{Keywords:} Gaussian free field, random surfaces, fractals, Dirichlet forms, Mosco convergence.

12: 

13: \noindent \emph{2010 MSC subject classification:} 31C15, 60G60, 82B41.

14: \end{abstract}

15: