 Extended Gottesman--Knill theorem

The extended Gottesman--Knill theorem allows arbitrary product-state inputs to a unitary Clifford circuit. Computational-basis output is weakly simulable for any number of measured qubits and strongly simulable for logarithmically many measured qubits.