Resolvability and convexity properties in the Sierpiński product of graphs

Let $G$ and $H$ be graphs and let $f\text{\hspace{0.17em}⁣}:V(G)\to V(H)$ be a function. The Sierpiński product of $G$ and $H$ with respect to $f$, denoted by $G{\otimes }_{f}H$, is defined as the graph on the vertex set $V(G)\times V(H)$, consisting of $\mathrm{\mid }V(G)\mathrm{\mid }$ copies of $H$; for every edge $g{g}^{\mathrm{\prime }}$ of $G$ there is an edge between copies $gH$ and $g^{\mathrm{\prime }}H$ of $H$ associated with the vertices $g$ and $g^{\mathrm{\prime }}$ of $G$, respectively, of the form $(g,f(g^{\mathrm{\prime }}))(g^{\mathrm{\prime }},f(g))$. The Sierpiński metric dimension and the upper Sierpiński metric dimension of two graphs are determined. Closed formulas are determined for Sierpiński products of trees, and for Sierpiński products of two cycles where the second factor is a triangle. We also prove that the layers with respect to the second factor in a Sierpiński product graph are convex.