The Arctic Circle Theorem (Jockusch-Propp-Shor) concerns a model of domino tiling with  peculiar boundary conditions, exhibiting phase separation,with the emergence of 'limit shapes' and 'arctic curves'. The computation of such objects, and the characterization of their fluctuations, has been performed for  several other models (Cohn, Propp, Kenyon, Reshetikhin, Okounkov, and others), with deep implication in algebraic combinatorics and algebraic geometry. However all such models can  be viewed as modelsof dimers, i.e.  of discrete free fermions. Their most natural generalization to include an interaction is provided by  the Domai-Wall Six-Vertex Model.
We here derive, for the full phase diagram of the model, the exact analytic expression of  the arctic curve, and characterize its fluctuation, thus extending the Arctic Circle Theorem beyond the dimer (free fermion) case.