Efficiently bounding large determinants is an essential step in non-relativistic fermionic constructive quantum field theory to prove the absolute convergence of the perturbation expansion of correlation functions in terms ...

The discovery of high-temperature superconductors in 1986 represented a major experimental breakthrough (Nobel Prize 1987), but their theoretical explanation is still a subject of much debate. These materials have many ...