Certification of Quantum Many-body Physics

This workshop will bring together researchers working on the certification and verification of quantum many-body systems, with the goal of understanding which physical properties can be established using efficient and rigorous methods. Topics will include both theoretical and computational approaches, as well as connections to quantum simulation, tensor-network methods, semidefinite programming, Hamiltonian complexity, quantum Gibbs sampling, and entanglement theory. By bringing together different perspectives and techniques, the workshop aims to clarify the capabilities and limitations of existing methods, identify common challenges, and stimulate new directions for research on the certification of quantum many-body physics.