We formulate statistical mechanics based on a pure quantum state, which we
call a ``thermal pure quantum (TPQ) state''. A single TPQ state gives not only
equilibrium values of mechanical variables, such as magnetization and
correlation functions, but also those of genuine thermodynamic variables and
thermodynamic functions, such as entropy and free energy. Among many possible
TPQ states, we discuss the canonical TPQ state, the TPQ state whose temperature
is specified. % We also propose there are other TPQ states. In the TPQ
formulation of statistical mechanics, thermal fluctuations are completely
included in quantum-mechanical fluctuations. As a consequence, TPQ states have
much larger quantum entanglement than the equilibrium density operators of the
ensemble formulation. We also show that the TPQ formulation is very useful in
practical computations, by applying the formulation to a frustrated
two-dimensional quantum spin system.Comment: Proceedings of Kinki University Series on Quantum Computin