Stretched-exponential mixing for surface semiflows and Anosov flows

For a surface semiflow that is a suspension of a \ (C^1+ \) expanding Markov interval map, we prove that, under the assumptions that the roof function is Lipschitz continuous and not cohomologous to a locally constant function, the semiflow exhibits stretched-exponential mixing with respect to the SRB measure. This result extends to hyperbolic skew-product semiflows and hyperbolic attractors. Specifically, codimension-one topologically mixing Anosov flows with Lipschitz continuous stable foliations demonstrate stretched-exponential mixing with respect to their SRB measures.