Fried's conjecture on Ruelle zeta functions and analytic torsion

Let $(M,E,X)$ be the geometric data associated with the unit-cotangent bundle $M=S^*_g\Sigma$ of a closed manifold $\Sigma$, where $E$ is the flat vector bundle determined by a representation $\rho$ and $X$ generates an Anosov flow. Write $\zeta_\rho(\lambda)$ for the twisted Ruelle zeta function and $\tau_\rho(M)$ for the analytic torsion of $M$ with coefficients in $E$. If $\dim(\Sigma)=n$, then Fried's conjecture. the twisted Ruelle zeta function computes the analytic torsion:

$$|\zeta_\rho(0)|^{(-1)^n}=\tau_\rho(M).$$

For hyperbolic $\Sigma$, the corresponding equality was proved by Fried; the conjecture proposed that the result extends to compact locally symmetric spaces with non-positive curvature. It relates a dynamical zeta function to the partition function of abelian $BF$ theory in a metric-dependent gauge fixing.