Intrinsic (Axion) Statistical Topological Insulator

Ensembles that respect symmetries on average exhibit richer topological states than those in pure states with exact symmetries, leading to the concept of average symmetry-protected topological states (ASPTs). The free-fermion counterpart of ASPT is the so-called statistical topological insulator (STI) in disordered ensembles. In this work, we demonstrate the existence of intrinsic STI - which has no band insulator correspondence - characterized by the half-quantized magneto-electric polarization $P_3\!=\!\theta/(2\pi)$. A $C_{4}T$ symmetry reverses the sign of $\theta$ angle, hence seems to protect a $\mathbb{Z}_2$ classification of $\theta\!=\!0,\pi$. However, we prove that, if $(C_{4}T)^4 \!=\! 1$, the topological state with $\theta\!=\!\pi$ cannot be realized in band insulators where $C_{4}T$ is exact. Surprisingly, using a real space construction (topological crystal), we find that an STI with $\theta\!=\!\pi$ can arise in Anderson insulators with disorders respecting $C_{4}T$ on average. To illustrate this state, we construct a lattice model and examine its phase diagram using the transfer matrix method up to the largest numerically accessible system size. An STI phase is identified through delocalized surface states and a half-quantized magneto-electric polarization in the bulk. As expected, an unavoidable gapless phase separates the STI from both clean insulators and trivial Anderson insulators, revealing the intrinsic nature of the STI. Moreover, we argue that the intrinsic STI is robust against electron-electron interactions, i.e., interactions cannot open an adiabatic path connecting the STI to a gapped clean system. Thus, our work provides the first intrinsic crystalline ASPT and its lattice realization. We also generalize the discussion to other crystalline symmetries.