1: \begin{abstract} We consider a Markov evolution of lozenge tilings

2: of a quarter-plane and study its asymptotics at large times. One of

3: the boundary rays serves as a reflecting wall.

4: 

5: We observe frozen and liquid regions, prove convergence of the local

6: correlations to translation-invariant Gibbs measures in the liquid

7: region, and obtain new discrete Jacobi and symmetric Pearcey

8: determinantal point processes near the wall.

9: 

10: The model can be viewed as the one-parameter family of Plancherel

11: measures for the infinite-dimensional orthogonal group, and we use

12: this interpretation to derive the determinantal formula for the

13: correlation functions at any finite time moment.

14: \end{abstract}

15: