Quantum Simulation Theory