A density functional study of oxygen vacancy formation on α-Fe2O3(0001) surface and the effect of supported Au nanoparticles