regularity of local ring

Levin-Vasconcelos (journal link): for $R$ a local ring with maximal ideal $\mathfrak{m}$, the existence of a finitely generated $R$-module $M$ such that $\mathfrak{m}M$ has finite projective dimension and $\mathfrak{m}M\neq 0$ implies R is regular.

Applied to $M=\mathfrak{m}^{n-1}$, this implies that if any nonzero power of the maximal ideal has finite projective dimension, then $R$ is regular.

If $R$ has positive dimension, then for any $t\ge 1$, the ideal $I=\mathfrak m^t$ is a so called Burch ideal (as defined by Dao, Kobayashi, Takahashi; Burch ideals and Burch rings ) i.e. $\mathfrak m(I:\mathfrak m)\ne \mathfrak mI$.

It is a Theorem of Burch that if $I$ is a Burch ideal and $R/I$ has finite projective dimension, then $R$ is regular.