PIMC is based on the path integral formulation of quantum mechanics developed by Richard Feynman. This approach represents the quantum state of a system as a sum over all possible paths that the system can take. Each path is weighted by an exponential factor involving the action, which is computed from the classical trajectory. Monte Carlo methods are then used to sample these paths efficiently, allowing for the calculation of quantum observables.