Faithful tropicalization and Skeleton of ${\bar{M}}_{0,n}$

We propose a comparison between the Berkovich skeleton of Berkovich analytification of $({\overline{\mathsf{\text{M}}}}_{0,n},{\overline{\mathsf{\text{M}}}}_{0,n}\setminus {\mathsf{\text{M}}}_{0,n})$ and faithful tropicalization of ${\mathsf{\text{M}}}_{0,n}$ over a complete discrete valued field. In particular, we proved the two combinatorial structures are the same in terms of valuation in ${\overline{\mathsf{\text{M}}}}_{0,n}^{\mathsf{\text{an}}}$.