Rigorous Formulation of Quantum Transition State Theory and its Dynamical Corrections