Topological Methods for Studying Contextuality: N-Cycle Scenarios and Beyond.

Simplicial distributions are combinatorial models describing distributions on spaces of measurements and outcomes that generalize nonsignaling distributions on contextuality scenarios. This paper studies simplicial distributions on two-dimensional measurement spaces by introducing new topological methods. Two key ingredients are a geometric interpretation of Fourier-Motzkin elimination and a technique based on the collapsing of measurement spaces. Using the first one, we provide a new proof of Fine's theorem characterizing noncontextual distributions in N-cycle scenarios. Our approach goes beyond these scenarios and can describe noncontextual distributions in scenarios obtained by gluing cycle scenarios of various sizes. The second technique is used for detecting contextual vertices and deriving new Bell inequalities. Combined with these methods, we explore a monoid structure on simplicial distributions.

Hidden Variable Model for Universal Quantum Computation with Magic States on Qubits.

We show that every quantum computation can be described by a probabilistic update of a probability distribution on a finite phase space. Negativity in a quasiprobability function is not required in states or operations. Our result is consistent with Gleason's theorem and the Pusey-Barrett-Rudolph theorem.

Computationally Universal Phase of Quantum Matter.

We provide the first example of a symmetry protected quantum phase that has universal computational power. This two-dimensional phase is protected by one-dimensional linelike symmetries that can be understood in terms of the local symmetries of a tensor network. These local symmetries imply that every ground state in the phase is a universal resource for measurement-based quantum computation.

Contextuality as a Resource for Models of Quantum Computation with Qubits.

A central question in quantum computation is to identify the resources that are responsible for quantum speed-up. Quantum contextuality has been recently shown to be a resource for quantum computation with magic states for odd-prime dimensional qudits and two-dimensional systems with real wave functions. The phenomenon of state-independent contextuality poses a priori an obstruction to characterizing the case of regular qubits, the fundamental building block of quantum computation. Here, we establish contextuality of magic states as a necessary resource for a large class of quantum computation schemes on qubits. We illustrate our result with a concrete scheme related to measurement-based quantum computation.