There is a remarkable connection between quantum many-body theory - the theory that captures the behavior exhibited by a large number of interacting particles - and complexity theory in computer science. Indeed, there are striking parallels between key objects of study: The Hamiltonians of quantum many-body physics resemble propositional formulae as they are the object of study in complexity theory. It has become clear that the connection runs deeper, and that a close formal link between equilibrium properties and satisfying assignments can be established. By a reading of the Church Turing thesis, one can link questions of computationally hard problems to physical properties, such as glassy systems taking a long time to cool to their ground state.

We are concerned with several ramifications of the link between complexity studies and the physics of complex quantum systems, beyond what is usually referred to as Hamiltonian complexity. We have been concerned with questions of computational complexity of Hamiltonian systems, open many-body systems, Markovianity, Gibbs state preparation and many-body localization. Some problems turn out not only to be computationally difficult, but even undecidable.

**Selected group publications**

- Quantum measurement occurrence is undecidable

Physical Review Letters 108, 260501 (2012) - Matrix product operators and states: NP-hardness and undecidability

Physical Review Letters 113, 160503 (2014) - Extracting dynamical equations from experimental data is NP-hard

Physical Review Letters 108, 120503 (2012) - Novel schemes for measurement-based quantum computation

Physical Review Letters 98, 220503 (2007) - Computational difficulty of global variations in the density matrix renormalization group

Physical Review Letters 97, 260501 (2006) - The complexity of relating quantum channels to master equations

Communications of Mathematical Physics 310, 383 (2012) - Area laws and efficient descriptions of quantum many-body states

arXiv:1411.2995 - An exponential time upper bound for Quantum Merlin-Arthur games with unentangled provers

arXiv:1510.08447 - Locality of temperature

Physical Review X 4, 031019 (2014) - A dissipative quantum Church-Turing theorem

Physical Review Letters 107, 120501 (2011) - Solving frustration-free spin systems

Physical Review Letters 105, 060504 (2010)