@Article{fefferman_et_al:DagRep.11.5.76, author = {Fefferman, Bill and Gharibian, Sevag and Schuch, Norbert and Terhal, Barbara}, title = {{Quantum Complexity: Theory and Application (Dagstuhl Seminar 21261)}}, pages = {76--88}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2021}, volume = {11}, number = {5}, editor = {Fefferman, Bill and Gharibian, Sevag and Schuch, Norbert and Terhal, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.5.76}, URN = {urn:nbn:de:0030-drops-155715}, doi = {10.4230/DagRep.11.5.76}, annote = {Keywords: complexity theory, many-body systems, proof and verification systems, quantum computation, quantum supremacy} }