Title: The Quantum Falsifiability Problem

Abstract: A hypothesis about a physical device is falsified as soon as an experiment collects data that is not compatible with it. Here we construct a general framework to study the quantum falsifiability problem, namely, the problem of deciding whether a given input-output probability distribution (i.e., the data) can be obtained from a given candidate quantum channel (i.e., the hypothesis) or not. Our approach is completely device-independent, as the piece of experimental evidence -- the input-output probability distribution -- is given without any assumption about the device that generated it. The main tool we develop is a complete, and thus optimal, characterisation of the set of input-output probability distributions that can be obtained from any given quantum channel in the absence of previously shared entanglement. Solutions in closed form are provided, in the general case, for the classes of unitary, trace-class, and dephasing channels. In the case of binary probability distributions we further provide closed-form solutions for any dihedrally-covariant qubit channel (including any Pauli and amplitude-damping channel) and any arbitrary-dimensional universally-covariant and commutativity-preserving channel (including any erasure, depolarizing, universal optimal cloning, and universal optimal transposition channel).