arXiv ScienceSearch

arXiv subjects

Jonathan J. Thio

Publications and source records attributed to Jonathan J. Thio.

4 recordsLinked to original sources

Kirkwood-Dirac Nonpositivity is a Necessary Resource for Quantum Computing

We elucidate the boundary between classical and quantum computation by constructing qubit Clifford circuits with nonstabilizer inputs that can be efficiently simulated classically. We do so by casting the quantum circuits realizable by defect braiding in the surface code in terms of a Kirkwood-Dirac (KD) quasiprobability distribution, a generalization of a joint probability distribution. If this distribution remains a proper (positive) probability distribution throughout a circuit, then a classical algorithm can simulate the circuit efficiently. By leveraging recent results on the geometry of KD-positive states, we construct bound-magic states. Classical computers can efficiently simulate these bound-magic states' evolutions under the circuits, although other magic states enable universal quantum computation when inputted. Furthermore, we show that KD nonpositivity is a resource monotone in this model. Thus, we establish KD nonpositivity as a necessary resource for quantum-computational advantages.

quant-ph

Almost no experiments have classical Kirkwood-Dirac representations

A central problem in quantum information is determining quantum-classical boundaries. In the quasiprobability framework, a state is called classical if it is represented by a quasiprobability distribution that is positive, and thus a probability distribution. In recent years, the Kirkwood-Dirac (KD) distributions have gained much interest due to their numerous applications in modern quantum-information research. A particular advantage of the KD distributions is that they can be defined with respect to arbitrary observables. Here, we show that if two $d$-dimensional observables are picked at random, the set of classical (positive) states of the resulting KD distribution is a minimal polytope of dimension $2(d-1)$ with $2d$ explicitly known vertices. This implies minimality of the sets of KD-real observables, of KD-positive measurement elements and of KD-positivity-preserving unitaries. We show how these results have implications on robust observations of nonclassical phenomena, on classical simulations of quantum circuits, and on foundations of quantum theory.

quant-ph

Experimental demonstration of scalable cross-entropy benchmarking to detect measurement-induced phase transitions on a superconducting quantum processor

Quantum systems subject to random unitary evolution and measurements at random points in spacetime exhibit entanglement phase transitions which depend on the frequency of these measurements. Past work has experimentally observed entanglement phase transitions on near-term quantum computers, but the characterization approach using entanglement entropy is not scalable due to exponential overhead of quantum state tomography and postselection. Recently, an alternative protocol to detect entanglement phase transitions using linear cross entropy was proposed, attempting to eliminate both bottlenecks. Here, we report demonstrations of this protocol in systems with one-dimensional and all-to-all connectivities on IBM's quantum hardware on up to 22 qubits, a regime which is presently inaccessible if postselection is required. We demonstrate data collapses onto scaling functions with critical exponents in semiquantitative agreement with theory. Our demonstration of the cross entropy benchmark (XEB) protocol paves the way for studies of measurement-induced entanglement phase transitions and associated critical phenomena on larger near-term quantum systems.

quant-ph

Contextuality Can be Verified with Noncontextual Experiments

We uncover new features of generalized contextuality by connecting it to the Kirkwood-Dirac (KD) quasiprobability distribution. Quantum states can be represented by KD distributions, which take values in the complex unit disc. Only for ``KD-positive'' states are the KD distributions joint probability distributions. A KD distribution can be measured by a series of weak and projective measurements. We design such an experiment and show that it is contextual iff the underlying state is not KD-positive. We analyze this connection with respect to mixed KD-positive states that cannot be decomposed as convex combinations of pure KD-positive states. Our result is the construction of a noncontextual experiment that enables an experimenter to verify contextuality.

quant-ph