Abstract

Contextuality—the obstruction to describing quantum mechanics in a classical statistical way—has been proposed as a resource that powers quantum computing. The measurement-based model provides a concrete manifestation of contextuality as a computational resource, as follows. If local measurements on a multi-qubit state can be used to evaluate nonlinear boolean functions with only linear control processing, then this computation constitutes a proof of strong contextuality—the possible local measurement outcomes cannot all be pre-assigned. However, this connection is restricted to the special case when the local measured systems are qubits, which have unusual properties from the perspective of contextuality. A single qubit cannot allow for a proof of contextuality, unlike higher-dimensional systems, and multiple qubits can allow for state-independent contextuality with only Pauli observables, again unlike higher-dimensional generalisations. Here we identify precisely that strong non-locality is necessary in a qudit measurement-based computation (MBC) that evaluates high-degree polynomial functions with only linear control. We introduce the concept of local universality, which places a bound on the space of output functions accessible under the constraint of single-qudit measurements. Thus, the partition of a physical system into subsystems plays a crucial role for the increase in computational power. A prominent feature of our setting is that the enabling resources for qubit and qudit MBC are of the same underlying nature, avoiding the pathologies associated with qubit contextuality.

Highlights

  • Computers that exploit quantum phenomena are believed to be more powerful than those obeying classical rules

  • Anders and Browne [20] showed that a simple control computer limited to evaluating linear boolean functions can be boosted in power, to one that can evaluate general functions, when given the measurement outcomes on a resource state that constitutes a proof of contextuality

  • II we present a general framework for measurement-based computations (MBC) following Anders and Browne [20], and focus on the important case of MBQC on both qubits and qudits

Read more

Summary

INTRODUCTION

Computers that exploit quantum phenomena are believed to be more powerful than those obeying classical rules. Anders and Browne [20] showed that a simple control computer limited to evaluating linear boolean functions can be boosted in power, to one that can evaluate general (nonlinear) functions, when given the measurement outcomes on a resource state that constitutes a proof of contextuality Their key example was Mermin’s simplified GHZ paradox [16] (a common proof of contextuality), where linear control of the local measurement settings allows for the evaluation of a non-linear NAND gate. Raussendorf [1] extended these results, proving that the computation of a non-linear function (from measurement outcomes with linear pre- and post-processing) implies the impossibility of non-contextual assignments to the single qubit observables. These previous results are quite strongly dependent on qubits (two-dimensional quantum systems) being the elementary measured systems.

THE SETUP
Structure of ld-MBQCs
Non-contextual and local value assignments
Anders and Browne Qubit Example
Central Questions
EXAMPLES AND PUZZLES
Symplectic Structure of Qudit Stabilizer Formalism
Example 2
Example 1
Example 3
FINITE FIELDS AND LOCAL UNIVERSALITY
Functions on Finite Fields
Linearly Closed Subspaces
Local Universality
NON-LOCALITY IN MBQC
Local Universality in MBQC
Scaling under Composition
Temporal Ordering
DISCUSSION
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call