Practical verification of quantum properties in quantum approximate optimization runs

We introduce a practical method to verify key non-classical properties of a quantum algorithm’s implementation on a physical device.