John property of anisotropic minimal surfaces

Abstract: For a convex set $K\subset \mathbb R^n$ and the associated anisotropic perimeter $P_K$, we establish that every $(\epsilon,\,r)$-minimizer for $P_K$ satisfies a local John property. Furthermore, we prove that a certain class of John domains, including $(\epsilon,\,r)$-minimizers close to $K$, admits a trace inequality. As a consequence, we provide a more concrete proof for a crucial step in the quantitative Wulff inequality, thereby complementing the seminal work of Figalli, Maggi, and Pratelli.