CC BY
0lopscience
¡opscience.iop.org
Home Search Collections Journals About Contact us My IOPscience
A framework for phase and interference in generalized probabilistic theories
This content has been downloaded from IOPscience. Please scroll down to see the full text. View the table of contents for this issue, or go to the journal homepage for more
Download details: IP Address: 128.192.114.19
This content was downloaded on 06/09/2015 at 05:09
Please note that terms and conditions apply.
New Journal of Physics
The open access journal for physics
A framework for phase and interference in generalized probabilistic theories
Andrew J P Garner1,6, Oscar C O Dahlsten1,2,6, Yoshifumi Nakata3'5, Mio Murao3'4 and Vlatko Vedral1'2
1 Atomic and Laser Physics, Clarendon Laboratory, University of Oxford, Parks Road, Oxford OX1 3PU, UK
2 Center for Quantum Technologies, National University of Singapore, Republic of Singapore
3 Department of Physics, Graduate School of Science, University of Tokyo, Tokyo 113-0033, Japan
4 Institute for Nano Quantum Information Electronics, University of Tokyo, Tokyo 153-8505, Japan
E-mail: a.garner1@physics.ox.ac.uk and oscar.dahlsten@physics.ox.ac.uk
New Journal of Physics 15 (2013) 093044 (26pp)
Received 12 June 2013 Published 30 September 2013 Online at http://www.njp.org/
doi:10.1088/1367-2630/15/9/093044
Abstract. Phase plays a crucial role in many quantum effects including interference. Here we lay the foundations for the study of phase in probabilistic theories more generally. Phase is normally defined in terms of complex numbers that appear when representing quantum states as complex vectors. Here we give an operational definition whereby phase is instead defined in terms of measurement statistics. Our definition is phrased in terms of the operational framework known as generalized probabilistic theories or the convex framework. The definition makes it possible to ask whether other theories in this framework can also have phase. We apply our definition to investigate phase and interference in several example theories: classical probability theory, a version of Spekkens'
5 Now at Institut fur Theoretische Physik, Leibniz Universitat Hannover, Appelstrasse 2, D-30167 Hannover, Germany.
6 Authors to whom any correspondence should be addressed.
^ I Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence.
Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.
New Journal of Physics 15 (2013) 093044 1367-2630/13/093044+26$33.00
© IOP Publishing Ltd and Deutsche Physikalische Gesellschaft
toy model, quantum theory and box-world. We find that phase is ubiquitous; any non-classical theory can be said to have non-trivial phase dynamics.
Contents
1. Introduction 2
2. Technical introduction 4
2.1. Generalized probabilistic theories (GPTs)........................................4
2.2. Spekkens' toy model..............................................................6
3. Phase group 8
3.1. Phase group in quantum theory....................................................8
3.2. Phase group in the GPT framework................................................9
4. Irreversible phase dynamics 13
4.1. Examples..........................................................................13
4.2. Phase dynamics are non-trivial only for non-classical state spaces................14
5. Interference 16
5.1. Quantum interference..............................................................16
5.2. Quantum interference in the GPT framework ....................................17
5.3. Interference in other GPTs ........................................................18
5.4. Interference in branching interferometers ........................................20
6. Summary and concluding remarks 21 Acknowledgments 22 Appendix A. Derivation of the form of effects associated with a general pure quantum
state 22
Appendix B. General unitary transformation on a qubit probability space 24
Appendix C. Explicit phase group of Z in a 3-in 2-out gbit 24
References 25
1. Introduction
In quantum theory, different phases < can be associated with different branches of a superposition by polar decomposing the complex amplitudes of each branch: > = rj ei<j | j>. Although they are not observable in the basis {| j>} in question they can have significant consequences for measurements in other bases, wherein phase changes associated with the {| j>} basis can be manifested as amplitude changes. Phase plays a fundamental role in many of the most strikingly non-classical behaviours of quantum theory, including interference. Phases moreover play a crucial role in decoherence [1] and quantum thermalization [2, 3]. There is evidence that they lie at the heart of the apparent exponential speed-up of quantum computers, in that many key quantum algorithms can be phrased as performing phase estimation [4]. It has also been argued that instantaneous quantum polynomial-time circuits, which change only the phases of the separable input state with respect to the computational basis, are likely to have stronger computational power than classical computers [5, 6]. Accordingly, understanding the phenomenon of phase should be a key aim of research efforts in quantum foundations.
The definition of phase in terms of the exponent above is not operational in its nature, as it is not defined in terms of measurement statistics but in terms of the theoretical model. This
means that it is a priori not well-defined to talk about phase in experiments involving systems not governed by quantum theory. Yet there is currently a great interest on the parts of quantum information and quantum foundation communities in investigating theories in a framework wider than quantum theory. A key motivation for investigating such theories is to understand quantum theory better by investigating what happens if some restriction from quantum theory is relaxed. For example, there is much interest in investigating whether any fundamental physical principle would be violated if non-locality were to exceed Tsirelson's bound, which quantum theory respects [7-9]. It is standard to use a framework called generalized probabilistic theories (GPTs) for these studies (the framework is also called the convex framework) (see e.g. [10-12]). With this paper we aim to lay the foundations for studying phase and its impact, e.g. on computing in GPTs.
We define phase operationally. As phase is inherently a relative property of two states, we focus on phase transforms which would in the quantum case be transforms that change the Qj but not the rj . In the quantum case this means that the phase transforms leave the statistics of measurement in the basis {| j)} invariant. More generally, in the GPT framework we define the phase transforms of a measurement as those which leave the measurement statistics invariant. Phase is thus always associated with a measurement. As in quantum theory, one can label the phases of a state by associating it with the phase transform that creates this state from some arbitrary reference state with the same values of rj (in quantum theory, this reference state is usually one where all Qj = 0).
We apply this definition to the quantum case where the standard notion of phase is recovered for maximal measurements, meaning measurements that distinguish a number of states equal to the Hilbert space dimension. We also investigate phase in (i) classical probability theory, (ii) Spekkens' toy theory—a hidden variable model that emulates many quantum effects [13] and (iii) box-world, a theory that allows for non-locality beyond Tsirelson's bound [11]. We find that a GPT has non-trivial phase transforms with respect to maximal measurements if and only if it is non-classical according to the standard GPT definition where classical means classical probability theory [10]. We discuss the connection between phase and interference.
A generalized definition of the phase group was proposed and studied in two papers by Coecke, Duncan, Edwards and Spekkens, formulated in a different framework based on category theory, employing diagrammatical calculus [14, 15]. Our definition of the phase group in the GPT framework turns out to coincide with that other definition in both quantum theory and Spekkens' toy theory (as we will show later in the paper). On the other hand, we find that the phase group can in some theories be non-abelian whereas Coecke et als definition demands that to be abelian. This apparent contradiction may be simply resolved if these cases are not covered by the other framework (it is not known to us whether the theory containing gbits can be formulated in the other framework). It may alternatively be that the definitions are simply different in general; this question deserves further study and is likely to illuminate the relation between the two frameworks more generally.
A description of interference in the GPT framework has been presented by Ududec et al [17] and Ududec [16], who focus their attention on triple-slit experiments, building on the work of Sorkin and others on hierarchical families of interference [18, 19]. Sorkin shows that in quantum theory the set of output states (i.e. interference patterns) that have passed through all three slits can be fully described by considering combinations of states that have passed through just two of the slits, but Ududec shows that for general theories this is not
necessarily the case. These works taken together suggest that studying phase-related effects in more general scenarios is both possible and fruitful, and so here we propose a systematic approach giving a general operational definition of phase. Our discussion of interference focuses on the relationship between phase and the total set of interference dynamics. One can perform a decomposing analysis similar to Sorkin or Ududec by making use of the framework we present here. Within the total group of phase transformations, one must identify subgroups that can be associated with a smaller subset of slits, using reasoning such as locality arguments [20].
We proceed as follows. Section 2 gives a technical introduction to relevant aspects of GPTs. In section 3, we propose a definition of reversible phase dynamics: 'phase groups' in GPTs and apply it to Spekkens' model and gbits. In section 4, we extend this to include irreversible phase dynamics, proving that phase dynamics are non-trivial iff the theory is non-classical. Section 5 discusses the relation between phase and interference in GPTs.
2. Technical introduction
We begin by describing GPTs, with a focus on the three examples of a classical bit, a qubit and a gbit. We then describe the toy theory of Spekkens, which is a priori different, and show how it can be treated in the GPT framework.
2.1. Generalized probabilistic theories (GPTs)
We will find it convenient for our purposes to use the representation of GPTs from [11]. A GPT is defined by a tuple of a state space, effects and transformations. A state s is completely defined by a list of probability distributions such as
/ p (ao | Mo) \ p (ax | Mo)
p (a/o | M0) p (bo I Mi) p (bi | Mi)
p (b/i I Mi)
p (z o I Mk-i) p (z 11 Mk—i)
\P (zik-11 Mk-1)/
where V j, {p(a01 Mj), ..., p(a\. | Mj)} is a probability distribution, namely Vi ,0 ^ p (at | Mj) ^ 1 and i p (ai I Mj) = 1. Each probability distribution {p (a01 Mj), ..., p (a\. | Mj)} is understood as follows. For a state s, if we 'measure' Mj, we obtain the 'outcome' ai with probability p(ai |Mj). The definition of a state implies that by 'measuring' M0, ..., MK_i and obtaining the probability distribution of 'outcomes' for each Mt, we can specify all properties of the state. Such a set of 'measurements' {M0,..., MK-1} is referred to as a set of fiducial
~/<Y> -1
Figure 1. The normalized state spaces of a classical bit, a qubit and an m-in 2-out gbit. (a) Classical bit: C2. This classical state space corresponds to flipping a coin. The extremal points represent the coin being known to be in the heads (Z = 1) or tails (Z = — 1) state. All points on the line between correspond to some uncertainty about the coin's state. (b) Qubit: SO(3). This state space is the Bloch sphere for normalized qubit states. (c) m-in-2-out gbit: c2m—1 * C2 (shown: m = 3). This state space includes states not allowed in quantum theory, such as the corners, where one can simultaneously predict the outcomes for X , Y and Z measurements with certainty.
measurements. In quantum theory, any informationally complete set of measurements can be fiducial measurements. The set of all states is called the state space.
A measurement in GPTs may be defined as a set of vectors (ei }i satisfying that for any state s, 0 ^ ei • s ^ 1 and J]i ei • s = 1, that is, ei • s gives the probability to obtain the outcome i when the state is s. Each vector ei in a measurement is referred to as an effect. A fiducial measurement is a special type of measurement such that their effects are represented by vectors of which all elements are zero but one element is one such as (1, 0, 0,.. .)T where T denotes a transposition.
We also define a maximal measurement. Let N be the maximal number of states that can be distinguished by a single measurement. A maximal measurement is a measurement that can deterministically distinguish N states by performing the measurement only once. In quantum theory, N is equal to the dimension of the Hilbert space and any rank-1 projective measurements are maximal measurements. Whether or not a set of effects yields valid probabilities is dependent on the theory. The most general set of effects for a qubit measurement (see equation (A.5) in appendix A) can lead to probabilities below 0 or above 1 if applied to some (non-quantum) states, such as (1, 0 | 1, 0 | 1, 0)T.
Finally, reversible transformations in GPTs are defined by any linear maps that transform a state space to itself. Since all such automorphisms form a group, reversible transformations in GPTs are described by a group G.
In the following, we present three examples expressed in the framework of GPTs. We summarize the state space and the automorphisms of each example in figure 1.
Classical bits. A classical bit (such as would be required to describe a coin flip) has a trivial structure, composed only of one measurement M such that the state can be expressed by s = (p(0|M), p(1|M)) = (A, 1 — A), where A e [0, 1] and the state space is a line (see figure 1(a)). The states (1, 0) and (0, 1) correspond to the system being definitely in the M = 0 (heads) or 1 (tails) states, respectively; but if we are uncertain of the state of the bit (such as if we flipped a coin but hid it under our hands before checking the outcome), then it can be in a
probabilistic mixture of the two. The allowed reversible transformations are to either flip the bit or to leave it unchanged: the cyclic group of degree two, C2.
Qubits. A state of a normalized (density matrix of trace 1) qubit is characterized by fiducial measurements X, Y, Z that correspond to measurements in each Pauli basis [21]. A state is represented by s?= (p(i|Wr)){i =0,1;W=X,Y,Z}. Note that as p(1IW) is given by 1 — p(0|W), the statistics of a qubit measurement can be determined by just p(0| W).
The commutation relations between the Pauli operators lead to the uncertainty restriction on the state space such that W=XYZ ( p (0| W) — 2> )2 ^ 1. Hence, the state space is given by a three-dimensional ball (see figure 1(b)). Reversible transformations are represented by rotations of the sphere, that is, O (3). By requiring complete positivity when the qubit is embedded into a larger system, reflections are not allowed in quantum theory [22] and one restricts the reversible transformations to SO(3).
Gbits. Gbits are a generalization of qubits, which do not have constraints on the state space. Consider m fiducial measurements {X0 ,..., Xm—1} such that each fiducial measurement has n outcomes. Such a system is called an m-in n-out gbit. A state is given by s? = (p(i | W)){i=0 1 n—1;W=X0 Xm—1} and p(i | W) takes values between 0 and 1 as long as it satisfies ^p (i | w) = 1.' '
In particular, 3-in 2-out gbits have been studied by analogy with qubits. Similar to qubits, p(1|W) = 1 — p(0|W). Since there is no constraint on states, the state space is a cube (see figure 1(c)).
The allowed reversible transformations are any maps which transform a cube to a cube (i.e. its automorphism group), which is the polyhedral group of order 6, 76. Note that a polyhedral group 76 is isomorphic to the semi-direct product of the symmetric group of degree 4, c4, and a reflection C2, namely, 76 = x C2. This can be easily seen from the fact that any actions of 76 can be expressed by permutations of four diagonal lines c4 and a reflection C2. In analogy with quantum theory, we can consider a theory that does not include any reflections. In such a case, transformations are simply given by c4. More generally, the state space of m-in 2-out gbits is given by an m-dimensional hypercube and the transformations are c2m—1 x C2 where c2m—1 is the symmetric group of degree 2m—1.
Due to the lack of symmetry, a non-quantum state space generally has more restrictions on the allowed transformations than a qubit. In [23], it has been shown that all reversible transformations of gbits correspond to relabelling of the outcomes or the individual gbits, leading to the conclusion that the reversible computational power of gbits cannot exceed that of classical computational power.
2.2. Spekkens' toy model
In this section, we discuss a popular hidden variable model first introduced by Robert Spekkens, which has properties similar to quantum theory [13, 24].
For a single Spekkens' bit, we consider a hidden variable which can take one of four possible values, which we label 1, 2, 3 and 4. We constrain our knowledge of the system such that we can only determine the state of the system down to one of two possible different states. We label a state where the hidden variable could be in i or j by the expression i v j. If we were to visualize the ontic system as being a ball in one of four possible slots arranged in a grid, we can only ascertain which row, which column or which diagonal the ball is in (but never more than one of these facts simultaneously).
Table 1. One possible labelling for single-bit states in Spekkens' toy theory.
Measurement outcome Hidden variable Visual representation
X = +1 1 v 3 E
X = -1 2 v 4 a
Y = +1 1 v 4 S
Y = -1 2v3 EE
Z = +1 1 v 2 H
Z = -1 3 v 4 B
It is possible, by analogy with a qubit, to assign labels to these states of knowledge such that they represent the outcome of one of the three possible binary measurements (X, Y and Z). A full set of possible labels for the single bit case is shown in table 1. These states are known as the epistemic states of the system, as they describe our knowledge of the system.
The model has a well-defined measurement update rule, such that when a measurement is made on the state, we randomize the hidden variable, so that it is equally likely to be in either of the possible ontic states corresponding to the measurement. This means, for example, if we were to measure the state Z = 1(1 v 2) in the X basis, we would (with equal probability) get a value of X = 1, putting our system into state 1 v 3, or get a value of X = — 1, putting our system into state 2 v 4. In this sense, an uncertainty principle is built into the model, as we can never know the exact position of the hidden variable, we are restricted to knowing at most one of X, Y or Z simultaneously.
Allowed reversible transformations in this theory correspond to the permutation of the hidden variable. As the hidden variable can take four possible outcomes, this is the simplex group S4. We note that if the operation g e S4 acts on the hidden variable g : i ^ g (i), then the operation on the epistemic states is to take i v j ^ g(i) v g(j). We note that because g e S4, each i is taken to a unique value, and so if i = j, then g(i) = g(j). Hence, acting on the underlying hidden variable with S4, we map valid epistemic states to valid epistemic states.
Representation in the GPT framework. The hidden variable is a single classical measurement with four possible outcomes (a 4-simplex), and its normalized state space in the GPT framework is the hull spanned by the ontic states ((1,0,0,0)T, (0, 1, 0, 0)T, (0, 0, 1, 0)T, (0, 0, 0, 1)T}. However, as these ontic states are never directly measurable this is not the most practical convex representation in which to consider the behaviour of Spekkens' toy model. Instead, we recall that there are three allowed binary measurements for a single Spekkens' bit, and so we can plot the four ontic states in a six-dimensional representation
corresponding to the outcomes of these three binary measurements: S3= (1, 0| 1, 0| 1, 0)T,
EB= (0, 1|0, 111, 0)T,E = (1, 0|0, 1|0, 1)T andEfl = (0, 111, 0|0, 1)T, as drawn in figure 2(a) in the expectation value picture. In this representation, each axis directly corresponds to the outcome of a different choice of measurement. These representations are isomorphic to each other, and so the set of homomorphisms on the ontic state space (and hence the set of allowed reversible transformations) is the same for both of them.
m (b) pb
Figure 2. Spekkens' toy model state spaces. (a) Representation of the ontic (hidden variable) states of Spekkens' toy model (tetrahedron). (b) Representation of the epistemic states of Spekkens' toy model (octahedron).
In the convex framework, an equiprobable mixture of two states is represented as the halfway point on the line between the states. Thus, we can place the labels for states i v j on the lines between points i and j and so label the epistemic states of the theory as in figure 2(b). We note that in this representation, the epistemic states will have all the correct statistics for the model: each corner of the octahedron takes an extremal value for one measurement, and is totally mixed in all the others. Furthermore, if one were able to prepare a pure ontic state, and then perform any of the typical epistemic measurements, the state would project to the correct epistemic state in each case.
The allowed reversible transformations of the model must conform to the symmetry group of the hidden variable tetrahedron, rather than the embedded octahedron. From this visualization, it is clear to see why some transformations are allowed and others are forbidden in the model: not all symmetries in the octahedron are also symmetries of the tetrahedron.
For example, consider the cyclic rotation of X + ^ Y + ^ X--> Y--> X+, while keeping
Z + and Z — unchanged. This would be an allowed symmetry of the octahedron but is actually forbidden in the Spekkens' model, as can be seen by the action this would have on the hidden variable: such a 90° rotation around the Z-axis is not a symmetry of the tetrahedron, but would rather take the ontic state space onto the mirror image of itself.
By construction, the state space of an octahedron embedded within a tetrahedron shares the measurement statistics and transformation rules of Spekkens' toy model, and so is a valid representation in the convex framework.
3. Phase group
In this section, we generalize the concept of phase in the context of GPTs. We first consider phase in quantum theory in section 3.1 and then generalize it into GPTs in section 3.2.
3.1. Phase group in quantum theory
For simplicity, we deal with a pure state \<p) in a Hilbert space H = CD with dimension D. The state ) expanded in a given basis Y = {\ua)} is given by \0) = J] ra e^a\ua) where amplitudes {ra} define the probabilities when the measurements are performed in the basis Y. We define a set of unitaries G J that only change the arguments of the complex coefficients in the basis Y,
that is
{0a M0,2n)x D
The set of unitary operations G J forms a group and we refer to the group as a phase group associated with the basis Y.
The elements of the phase group associated with the basis Y do not change the probability distribution of measurement outcomes performed in the basis Y. Based on this interpretation, the phase group GJ in quantum theory is understood as follows. Let Y = {|ua)} be a basis in a Hilbert space H. The phase group associated with the basis Y = {|ua)}, GJ = {UkY}k, is the maximum subgroup of a unitary group of which all elements Uj satisfy that V|0) e H and Va, k,
|<ua |0 )|2 =|<ua |U/ |0 )|2. (3)
More generally, we can consider phase groups associated with a positive operator valued measure (POVM) {Mt}, such that 0 ^ TrMt p ^ 1 and i TrMt p = 1 Vp, Mt, where p is a density matrix with trace 1. There is a neat characterization of the phase group with respect to these more general measurements. Let H be a Hilbert space and B(H) be a set of states. The phase group associated with a POVM {Mi} is a subgroup of the unitary group acting on the Hilbert space and all elements should satisfy
Vp e B(H), Vi, Tr (Mip) = Tr (MtUpUf), (4)
which implies
Vi, Uf MiU = Mi, (5)
Vi, [Mi, U] = 0. (6)
Thus we see that the phase group associated with a POVM consists of the maximal set of unitary operators that commute with each element of the POVM. If all elements in the POVM {Mi} are commutable (Vi, j, [Mi, Mj] = 0), the phase group is given by Ekei6k|mk)<mk|}^ke[0,2n), where {|mk)} is the common eigenbasis of the POVM {Mi}, so it takes the same form as the phase group of projective measurements.
By considering phase groups with respect to all POVMs, one can extrapolate between the group of all unitaries and the identity. The phase group with respect to any informationally complete measurement is the identity. Consider, for example, choosing to measure in the eigenbasis of X, Y or Z at random when measuring a qubit (without forgetting which measurement was chosen). When one outcome is assigned to each of the six possibilities X = ±1, Y = ±1 and Z = ±1, these probabilities uniquely specify the state such that no phase transforms are possible. Conversely, the phase group with respect to the single outcome {M} = {1} ('is there a state'?) is the full group of unitaries.
3.2. Phase group in the GPTframework We generalize the idea of the phase group for any GPT.
Definition 1. Phase group G J. Consider a given GPT with a state space and group of allowed reversible transformations, G. Let {ei }M=1 be a measurement. The phase group G J associated
G o —
\Ua)(Ua |
with the measurement is the maximal subgroup of all transformations T e G that leave all outcome probabilities of the measurement invariant, that is, for any states s and Vi,
The phase groups are characterized by the measurement {ei }Mi. In particular, the number of effects in the measurement, M, determines the amount of freedom in the phase group. In general, larger M imposes more restrictions on the group so that the phase group tends to be smaller.
A special type of phase group is one associated with a maximal measurement. There may be alternative definitions one may consider, but for concreteness and clarity (particularly in section 4.2) we refer only to the following definition:
Definition 2. Maximal measurement. A maximal measurement is one that distinguishes the maximal number of pure states possible for the theory in question.
In the following sections, we show the phase groups in three example state spaces: classical bits, qubits and gbits.
Classical bits. For a single classical bit, the phase group of a maximal measurement is composed only of an identity operator since there exists only one fiducial measurement. In this case, we say that the phase group is trivial as it only contains the identity operator.
For a set of N > 1 classical bits, it is possible to have a non-trivial phase group for nonmaximal measurements. For example, if we measure the parity of the system, permutations of the bits and bit-flips made only in pairs will not change the parity, and so these operations are in the phase group of the parity measurement.
In an even more trivial example, if we have a system of two bits and make a measurement on the first bit, any operation on the second bit will not affect the first bit, and so such reversible transformations on the second bit are in the phase group of this non-maximal measurement. What sets apart quantum theory from the classical scenario is not that non-trivial operations are possible, but rather that they are possible even when the measurement is maximal.
Qubits. For qubits, the phase group G$ is a subgroup of SO(3). We first consider a phase group associated with a maximal measurement. Since the state space for qubits is isotropic, we just consider the phase group associated with the Z measurement without loss of generality. A transformation that does not change a probability distribution of outcomes of the Z measurement is a rotation on the X-Y plane, namely, SO(2) with an axis in the Z direction. The corresponding unitary operations are diag{ei^0, e^1} in the Z basis, so that it coincides with the phases in quantum theory.
Gbits. We consider the phase group in m-in n-out gbits and demonstrate that non-abelian phases appear in m-in 2-out gbits for m ^ 4 (or m ^ 3, if reflections are included in the theory's group of allowed transformations). We also show that the phase group depends on the choice of measurement since a state space for gbits is not isotropic.
Three-in two-out gbits. We first consider the phase group associated with a fiducial measurement {e0, e1}:
which corresponds to the Z measurement. Then, the phase group does not vary p(i | Z) (i = 0, 1) and changes only p (i | X ) and p (i |Y ) (i = 0, 1). Since p (1| W ) = 1 — p(0| W ), the phase group
êi • ê= êt • (Tê).
ê0 = (0,010,011,0)T, ?1 = (0, 0 | 0, 0 | 0, 1)T,
(8) (9)
is composed of transformations that mix p (0| X) and p (0| Y). Recalling that the phase group G J is a subgroup of 76 = x C2, the phase group associated with the Z measurement is given by a group of the symmetry of a square, which is a dihedral group of order 4, D4.
On the other hand, when a maximal measurement is not the fiducial measurement and is given by
f0 = 1 (1, 0 | 1, 0 | 1, 0)T, (10) /1 = 1 (0, 1 | 0, 1 | 0, 1)T. (11)
p(0|W) should be invariant under the action of the phase group. Then, the phase group is given by rotations along the axis vector (1, 1, 1) in the state space, which is a dihedral group of order 3, D3 (or alternatively the group of an equilateral triangle, S3).
We also consider the phase groups associated with non-maximal measurements composed of M effects. As a trivial example, when M = 1, the measurement is given by {3(1, 1 | 1, 1 | 1, 1)T}. Thus, the phase group is equivalent to all transformations, that is, G J = 76. When the measurement contains M = 4 effects given by
{1 (1, 0 | 0, 0 | 0, 0), 2(0, 1 | 0, 0 | 0, 0), 2(0, 0 | 1, 0 | 0, 0), 2(0, 0 | 0, 1 | 0, 0)}, (12)
it is straightforward to see that the phase group consists only of a reflection with respect to the X-Y plane and the identity element since the phase group can vary the probability distribution of the outcomes of the Z measurement.
Thus, the larger M results in a smaller phase group. The M determines the degree of freedom that should be invariant under the action of the phase group. Note that, the phase groups are in general non-abelian for m ^ 3 if we allow a reflection as a transformation. However, if we take an analogy with quantum theory and exclude reflections, then all phase groups in 3-in 2-out gbits are abelian.
Four-in t w o-out gbits. A state of a 4-in 2-out gbit is given by s = (p(i W)){i=0,1;W=X0,X1,X2,X3} and the state space is a four-dimensional hypercube. The transformations of the 4-in 2-out gbits are given by x C2: the set of all maps from a four-dimensional hypercube to itself. We show that there exists a non-trivial non-abelian phase group for 4-in 2-out gbits.
Firstly, we consider the phase group associated with maximal measurements. When we take one of the fiducial measurements as a maximal measurement, the phase group is given by a polyhedral group of order 6, 76. To see this, consider a phase group associated with the Xi measurements. The phase group changes the probability distribution of other fiducial measurements. Then, the phase group in 4-in 2-out gbits associated with a maximal measurement Xi (i = 0, 1, 2, 3) is equivalent to the group of all transformations of 3-in 2-out gbits, which is given by 76. If we take a maximal measurement that is not one of the fiducial measurements, the phase group differs from 76. For instance, when the maximal measurement is given by {1 (1, 0 | 1, 0 | 1, 0 | 1, 0), ±(0, 1 | 0, 1 | 0, 1 | 0, 1)}, the phase group is S4.
The phase groups 76 and S4 are non-abelian groups since they represent a symmetry of a cube and that of a tetrahedron, respectively. The symmetry group of d-dimensional objects is non-abelian when d ^ 3. Thus, m-in 2-out gbits (m > 3) have non-trivial non-abelian phase groups.
Nonetheless, there exist abelian phase groups in the 4-in 2-out gbits. Let us consider the non-maximal measurement given by
{§1, §2> §3' §4} = 1
(0\ 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
0 0 1 0
0 0 0 1
1 0 0 0
0 1 0 0
In this case, the action of the phase group preserves the measurement outcomes of X2 and X3. The remaining state space is a square defined by two variables p (0\ X0) and p(0\ X1). Hence, the corresponding phase group is the rotational symmetry of a square, which is abelian if we exclude reflections.
More simply, we could also consider a set of six effects giving the probabilities associated with measurements X1, X2 and X4, such that the phase group C2 corresponds only to flipping the probabilities associated with X3.
Spekkens' toy model. In Spekkens' toy theory, if we consider the phase group formed by fixing one measurement (such as the Z direction), we obtain the subgroup of permutations (12)(34) which do not change the epistemic states associated with Z. This group, Z2 © Z2, corresponds to either swapping the top two ontic states or swapping the bottom two ontic states. This phase group is in agreement with the group of allowed operations as described by Coecke et al [15].
It might be possible to consider a more exotic measurement in the model, where we measure on the diagonal axis associated with the effects e0 = (1, 0\ 1, 0\ 1, 0)T and e1 = (0, 1\0, 1\0, 1)T. The most extremal points in the octahedral phase space are equiprobable
mixtures of ^H ,9 and H^ and the equiprobable mixture of ^B .Ell and M^. In both state
spaces, the whole system has three-fold rotational symmetry about this axis, plus three planes of reflective symmetry: exactly the symmetries of a triangle. Thus, we see that such a measurement has the phase group S3.
We remark that in the tetrahedral space there is an asymmetry, as the second of these states is also an extremal point in the tetrahedral space, whereas the tetrahedron extends beyond the first to include the corner state (1, 0 \ 1, 0\ 1, 0)T- this means that although we may be able to measure to distinguish between these two states, there does not exist a valid linear operation in the framework which can exchange them.
One possible interpretation of such a measurement and its associated phase group would be to say that the extremal points of our measurement are caused by a three-way mixture of measurements, which we could perform by choosing uniformly randomly which of the three primary bases (X, Y or Z) to measure (assuming that making any of these measurements will collapse the system to a 'pure' epistemic state on the octahedron) and then taking our result, but discarding any information about which basis we used. From this process, it is clear that we have the freedom to permute the labellings of the bases without affecting our result (which makes it almost self-evident that the phase group should be the permutation group S3), so long as we make sure for each constituent measurement, we are only comparing the outcomes made on the same basis.
4. Irreversible phase dynamics
As well as reversible dynamics, which lead to the natural group structure as discussed in section 3, it is possible to consider other operations that may be inherently non-reversible, but still preserve the evaluated output with the set of effects of some measurement. We refer to this sort of operation as being part of the phase dynamics, where the term 'phase' is drawn by analogy with the measurement-preserving nature of the operation. As these operations have no unique inverse they do not form a group structure, but rather form a semi-group, much like the set of completely positive maps acting on a density matrix in quantum mechanics.
4.1. Examples
Quantum decoherence. In quantum theory, this is analogous to decoherence. Consider the state corresponding to a pure X eigenstate
i 1 \ 0
1/2 1/2 1/2 v1/2;
Consider the operation D that replaces all X and Y statistics with (1/2, 1 /2) (such as, e.g. flipping the X state with probability 1 /2, or leaving it unchanged, with probability 1 /2) will change the state into the maximally mixed state
i 1 /2\
smix —
1/2 1/2
1/2 1/2 1/2
Considering the effects of the Z measurement e0, e1 (defined in equations (8) and 9), we see that ei • s = ei • smix and so the statistics associated with such a measurement is unchanged. In quantum theory, this would correspond to replacing a coherent superposition in some basis with a classical mixture displaying the same measurement statistics for one basis.
One can also consider applying different elements of the phase group with some classical probability. As none of the phase group operations disturb the measurement associated with the phase group, the composite operation will also preserve this measurement. For example, if one combines the operations of a small unitary Z rotation around the Bloch sphere with some small random chance of making a jump across to the other side (i.e. a 180° Z rotation) the joint transformation corresponds to a path inwardly spiralling around the Bloch sphere, preserving the Z statistics.
'Measurement setting' on a gbit. A related operation that is mathematically possible on a gbit (but not realizable on a qubit), is to always set the X statistics of a system to (1, 0) without
changing the statistics of any other measurements (in some ways making the state 'more pure'), such as by the operation P,
1 1 0 0 0 0
0 0 0 0 0 0
0 0 1 0 0 0
0 0 0 1 0 0
0 0 0 0 1 0
^0 0 0 0 0 1
4.2. Phase dynamics are non-trivial only for non-classical state spaces
Aside from considering examples of theories and whether they have non-trivial phase dynamics, one may hope to make a more general statement concerning which features of a theory endow it with non-trivial phase.
We define, as is standard, a theory as classical if a state is uniquely specified by the statistics for a single measurement with which it is possible to distinguish N pure states (using the standard definition of N).
We define the phase dynamics associated with a measurement as the set of all dynamics which leave the statistics of the measurement in question invariant. (Note that this may include irreversible dynamics.)
Theorem. Phase dynamics associated with a maximal measurement are non-trivial iff the theory is non-classical.
Proof. We break it up into two cases:
(i) Theory is classical. In this case a maximal measurement having its statistics frozen means the full state is frozen, thus the only allowed phase dynamics is the identity 1, which changes no state. Thus if a theory is classical, only trivial dynamics exist.
(ii) Theory is non-classical. We need to show that non-trivial phase dynamics always exists in this case. We take, without loss of generality, one of the fiducial measurements of the state vector to be maximal (implying it has N outcomes). We take, without loss of generality, the first maximal fiducial measurement to be the one frozen. As we know that K > N, there are still some free parameters associated with one or more additional fiducial measurements.
Consider the following transform: take the first maximal measurement. Take N effects: (e1 |,(e21 ... (eN| (note that the bra-ket notation is now used for real vectors). Take N states )... N) such that (ei ) = 8ij Vi, j. Let the transform be
T = ^ )(ei|. i
We want to show:
1. T always exists in a non-classical theory and is allowed (making the implicit assumption that any dynamics taking states to states are allowed).
2. T constitutes phase dynamics of the maximal measurement: it leaves the measurement statistics invariant.
3. T is always non-trivial: it changes at least one state.
1. To prove that T always exists, we note the following. We can take
e\ = (10...0 \ 0...0), (17)
. (18)
<eN\ = (0...01 \ 0...0). (19)
These effects always exist and always yield probabilities summing to one for any states. We can moreover take
) = (10... 0 \ anything allowed)T (20)
. (21)
N) = (0... 01 \ anything allowed)T. (22)
These are always allowed states as we have assumed the state space contains N maximally distinguishable states associated with the first fiducial measurement. We see that <et j) = Sj Vi, j. T is an allowed transform as it is a matrix and takes states to states: it takes any state to a mixture of the ) states, which is allowed as the states are allowed and all mixtures of allowed states are allowed.
2. T is an example of phase dynamics associated with the first fiducial measurement by the following argument. Consider an arbitrary state \n). The probability of any outcome of the frozen measurement is given by <et \n).
After the transformation we have
e\T\n) = <e\ Y )<ej!n) (23)
= Y hi <ej in) (24)
= <e \n). (25)
As T preserves the statistics of the measurement, it is in the set of associated phase dynamics.
3. T is always non-trivial. If there is a non-classical system there are some free parameters apart from those defined by the statistics of the maximal first fiducial measurement. For some particular distribution of the first measurement, at least two possible states exist call them \n1) and \n2). Yet T will output the same state for both of those input states
T \ n 1 ) = T\n2), (26)
which is because the final state is uniquely determined by the probabilities of the maximal measurement for the input state. Thus T must change at least one of the states \n1) and \n2).
5. Interference
In this section, we show that in quantum theory the phase group plays an important role in the systems that are said to exhibit interference. Thus we formulate quantum interference in the GPT framework, and extend this process to be applicable to all GPTs.
5.1. Quantum interference
Young's double slit experiment. In a single-photon version of Young's double-slit experiment, the output measurement is no longer a binary variable, but instead encapsulates a continuous range of possible positions where the photon could land on the screen. The common physical meaning of the term 'interference' describes the pattern that forms on this screen, which cannot be determined just by considering the sum of spatial distribution probabilities from each slit in turn.
Adding a piece of glass in front of one of the slits changes the overall pattern, without changing the output distributions seen if each slit is considered on its own. Some part of the setup has been changed without disturbing the output distribution statistics of each slit. The addition of glass to change the interference pattern which we observe is therefore a phase operation.
Mach-Zehnder interferometer. A simpler example of a device exhibiting interference is the Mach-Zehnder interferometer (MZI) as illustrated in the single qubit circuit presented in figure 3. Consider an initial state prepared in the computational basis: \0). Through unitary operations, the initial state is transformed to
\ f ) = e°) Uh\0), (27)
where UH = UH = ^ (1 -1) is the Hadamard gate.
We perform a measurement on the final state \ f) in the computational basis {\0), \1)}. The probability to obtain outcome Z = ±1 is P (Z = ±1) = 1±c2os 0, which gives different probabilities as a function of the phase shift 0. Just as in Young's double slits, the Z measurement statistics for the output of the MZI may be considered to be an interference pattern. Had the beam-splitters simply mixed the photon in a decoherent manner, the output distribution would not depend on 0.
IOP Institute of Physics <J>deutsche physikalische Gesellschaft
5.2. Quantum interference in the GPTframework
The MZI circuit can be described in the GPT framework as follows. The initial state |0) is represented by
( P (+1| X )\ 1/2
P (-1| X) 1/2
P (+1|Y) 1/2
P (-1|Y) 1/2
P (+1| Z) 1
\p (-11Z)) 0
The unitaries UH and (1 eo0) can be described by their actions on the probability vector
Uh ^ Th :=
0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0
2 2 2 2
A2-cos 0 A2+cos 0 (1- -A2 )+sin 0 (1- -A2)-sin 0
2 2 2 2
A3+sin 0 A3 -sin 0 (1- -A3)+cos0 (1- -A3)-cos 0
2 2 2 2
A4 -sin 0 A4+sin 0 (1- -A4)-cos 0 (1 -A4)+cos0
which is a representation of SO(2) on the space of probability vectors, where A^ A2, A3 and A4 can be any numerical value, as when T acts on a normalized probability vector, these unphysical degrees of freedom always disappear. A clear (but still arbitrary) choice would be A1 = A2 = 1 and A3 = A4 = 0, such that when 0 = 0, the matrix has the form of the diagonal identity matrix; but it should be noted that even for other choices of A, the matrix will have no effect on the probability vectors when 0 = 0.
The final state if is therefore given by
Sf = Th T0 Th S
1/2 1/2
2 (1 - sin 0)
1 (1 +sin 0)
2 (1 +cos 0) U (1 - cos 0))
Performing the Z measurement, we obtain the outcome +1 with a probability 1 (1 +cos 0) and the outcome —1 with a probability 1 (1 — cos 0).
5.3. Interference in other GPTs
By analogy with interference in quantum theory, we define interference in general based on equation (31). We assume that for one of the measurements in the theory, Z, we are allowed to directly prepare states in and measure (e.g. position). We then also require the existence of at least one 'beam-splitter'-like transformation TH (and its inverse T-1, which might be equal to TH), which relates the statistics of Z with some of the other statistics of the state (and vice versa). The simplest case is to swap the Z measurement statistics with the statistics of some other measurement. Finally, we need a set of transformations {T%}, which is the phase group associated with Z.
Definition 3. Interference in GPTs. For a measurement E with associated phase group G%, we can construct a compound transformation on an initial state s0:
sf = (T-1 ◦ ge O Th)Sc ,
where ge e G%, and TH is defined as above (e.g. a Hadamard gate).
If the statistics of E in state Sf depend on the choice of phase group element ge, then we say that the theory demonstrates non-trivial interference, and the statistics of E in sf are the interference pattern associated with the choice of ge.
We see that the phase group is naturally related (by conjugation with TH) to the set of allowed interference patterns.
Three-in two-out gbits. We show that by this definition, 3-in 2-out gbits can exhibit interference. Let G% be the phase group associated with the Z measurement and TH be (identical to the quantum Hadamard)
T» = T~l =
<0 0 0 0 1 0
0 1 0 0 0 0
For initial state so, we consider the evolution
if = (Th-1 o gf o Th)(?0), (34)
where gZ e G% - the phase group of Z (the eight automorphisms of a square, consisting of 90O rotations around the Z-axis and reflections in the planes XZ and YZ).
We explicitly label the elements of G% = {g;Z\i = 1,..., 8}, where
gZ = (giZ )k Ik = 1... 4.,
0 1 0 0 10 0 0 0 0 1 0 0 0 0 1
Table 2. The probability distributions to obtain Z — +1 or -1 for the different phase group elements gf in a 3-in 2-out gbit.
gZ Probability to obtain +1 Probability to obtain -1
gZ P(+1|Y) P (-1|Y)
82 p(-1| Z) P(+1| Z)
gZ P(-1|Y) P (+11Y)
g4Z P(+1| Z) P(-1| Z)
g5Z p(-1| Z) P(+1| Z)
g6Z pi+HY) P (-1|Y)
g7Z p(+1| Z) P(-1| Z)
g8Z P(-1|Y) P (+1 |Y)
gf — (gZ )k-5 (gZ )k |k = 5,..., 8.
We can think of gZ, gZ, gZ and gZ as rotations, and gZ, gZ, gZ and gZ as a flip followed by a rotation. The full set of transformations, and the final states of HgfHs0 are listed in appendix C.
Finally, by performing the Z measurement on our output state, we obtain the probability distribution presented in table 2. For some input states, the final measurement outcomes will depend on our choice of ge, so this procedure has the ability to display different interference patterns. We note that the output statistics do not distinguish between the application of phase group members gZ or gZ, gZ or g5p, gZ or gZ, and gZ or gZ. If we know in advance what phase group member we have chosen, such interferometry can be used to tell us about the statistics of the Y or Z measurements in the initial state. To determine the statistics of the X measurement, we would have to pick a different TH.
Spekkens' toy model. In Spekkens' model, it is possible to choose a THpek which has some of the same behaviour as the quantum Hadamard gate. If we want the gate to be self-inverse, and map X = ±1 to Z = ±1 and back again, the best we can do is a permutation 1324 swapping around the second and third ontic states. Unlike the quantum Hadamard, this transformation will not change Y states. Acting on probability vectors, this gate is expressed
/0 0 0 0 1 0\
0 0 0 0 0 1
0 0 1 0 0 0
0 0 0 1 0 0
^spek_ ^spekx -1 _
TH — (TH ) —
1 0 0 0 0 0 0 1 0 0 0 0
The phase group of permutations preserving Z measurements is the set of four permutations (12)(34), which is a form of Z2 © Z2, represented as transformations on probabilities as
g1234 = 16,
/0 0 0 1
1 0 0 0
Table 3. The probability distributions to obtain Z = +1 or —1 for the different phase group elements ge in Spekkens' toy model.
ge Probability to obtain +1 Probability to obtain — 1
g1234 p(+1| Z) p(—1| Z)
g2134 p(— 1|Y) p(+1|Y)
g1243 p(+1|Y) p(—1|Y)
g2143 p(—1| Z) p(+1| Z)
g2143 =
0 0 1 0
0 0 0 1
1 0 0 0
0 1 0 0
0 1 0 0\
1 0 0 0
0 0 0 1
0 0 1 0
,speK_1
Thus, by considering the effect of (THpek)-1 • ge • THpek on a generic input state, we obtain a probability distribution for outputs as listed in table 3.
However, it should be noted in Spekkens' toy model (as it is for qubits), if we prepare an initial state to have a well-defined outcome in one of Z or one of Y outcomes, then the other measurement will be uniformly random, and so from the outcomes in table 3, at best we will only be able to tell three possibilities of ge apart, even after performing repeated tests.
5.4. Interference in branching interferometers
There is one class of interferometers we call branching interferometers, in which a particle is directed down one of many possible paths, disjoint in space. The MZI is a branching interferometer with two such paths, but this can be generalized to a higher number of 'branches' of the interferometer. The particle travelling through the system could be directed down paths spatially a long distance from each other. It is natural by reasons of non-signalling to forbid local operations that cause the particle to jump from one disjoint branch to another, and thus the set of allowed operations after splitting must be in the phase group of the 'which branch' measurement.
In such a system, it is tempting to consider a set of operations that act on one of the branches in a local manner (such as adding a piece of glass on one branch). For example, in quantum theory on a three-branch system, one could execute an operation Uupper = diag(ei^1, 1, 1) on the upper branch, Umiddle = diag(1, e^1, 1) on the middle branch or Ulower = diag(1, 1, e^3) on the lower one, and all three of these elements will contribute towards the total phase group. It can be shown that no operation performed on the middle branch will ever adjust the relative phase between upper and lower branches, for example, and so we say that some set of operations are localized to a subregion of the system.
However, for theories with non-abelian phase group elements, it is dangerous to trivially consider specific members of the phase group as local operations. Consider a non-abelian phase
Event B /
position
position
Figure 4. A two-branch interferometer shown in two frames of reference. A and B are space-like separated, and so the order in which they are applied depends on the observer. If A and B do not commute, then different final events will be seen by the different observers.
group GZ, with two elements a, b e Gz such that [a, b] = 0. If we say a applies at some point on the upper branch and b applies at some point along a disjoint lower branch, we note that because ab = ba, the order in which these operations are applied will, for some states, affect the final statistics when the branches are brought back together.
As illustrated in figure 4, if the measured statistic is the Z measurement of the particle's position after a beam splitter, triggering a cascade in a particle detector, it is reasonable to assume these statistics should be Lorentz invariant. For two spatially disjoint operations on the branches, because of relativity of simultaneity there will be frames of reference, in which the operations occur in different orders, and thus predict different output statistics. This violates the assumption of a single objective reality (i.e. it will potentially affect parameters that should be Lorentz invariant), and thus unmodified non-commuting elements of the phase group cannot be considered as local operations happening on different branches.
This does not rule out non-abelian phase group elements within a branch locally. Consider {a1, ... an, b1... bn} e Gz where [ai, aj ] = 0 and [bi, bj ] = 0 but [ai, bj ] = 0. Here, it would be possible to assign the subgroup of operations {a} to be local to one branch, and {b} to be local to another without running into simultaneity problems, because all the non-commuting elements are time-like separated and so have a well-established ordering.
It is possible to add other physical conditions on local actions in branching interferometers. This results in more restrictions being placed on the choice of ge e GZ, and is discussed in depth in [20].
6. Summary and concluding remarks
We defined phase operationally using the GPT framework. This allowed us to investigate phase in theories other than quantum theory. We found that phase is ubiquitous, in the sense that any non-classical theory has non-trivial phase transforms (where phase is defined with respect to
a so-called maximal measurement). We determined the groups of reversible phase transforms for examples of theories other than quantum theory, finding, for example, that some theories have non-abelian phase groups (with respect to maximal measurements), unlike quantum theory. We discussed how phase relates to interference in GPTs.
The aim of this work was to lay the foundations for studying phase in GPTs. We now anticipate that these definitions and methods will be used to investigate connection between phase and other phenomena, such as computational speed-up and thermalization.
Acknowledgments
The authors thank Bob Coecke, Aleks Kissinger, Markus Muller, Shojun Nakayama, Felix Pollock, Matt Pusey, Takanori Sugiyama and Eyuri Wakakuwa for useful discussions. This work was supported by Project for Developing Innovation Systems of the Ministry of Education, Culture, Sports, Science and Technology (MEXT), Japan. YN acknowledges support from JSPS by KAKENHI (grant number 222812) and MM acknowledges support from JSPS by KAKENHI (grant numbers 23540463 and 23240001). OD, AG and VV acknowledge funding from the National Research Foundation (Singapore), the Ministry of Education (Singapore), the EPSRC (UK), the Templeton Foundation, the Leverhulme Trust and the Oxford Martin School.
Appendix A. Derivation of the form of effects associated with a general pure quantum state
Consider the basis states {|e>, |e^>} where |e> = (cosa, e^sina)T and |e^> = (sin a, — e^cos a)T. We wish to derive the effects associated with these states.
One method is to consider rotating the states {|e>, |e^>} into the {|0>, 11)} basis, with some transformation T, and then making a Z measurement using the effects associated with the Z measurement.
To do this, first we construct a unitary operator T in Hilbert space that transforms the general states to the computational basis such that T|e> = |0> and T|e^> = 11>
T = |0>(e| + |1>(e±| _ / cos(f)^ sm (f) \
= ^ sin(§) — e* cos (f y . (A.1)
There is more than one transformation that will operationally switch the states |0>(0| with |e>(e|, etc but we have arbitrarily chosen the state that does not add an additional phase term to simplify the mathematics.
For a general pure state: > = cos (0 |0> + sin (0 e^|1>, we see > ^ 7> = T> is given
/ cos (() sin (2) \/ cos (() \ ^ > = ^ sin (f) — e^ cos(f y ^ sin (2))
_( cos(2) cos(2) + sin(2) sin (f) e^ \ (A2)
= Vcos (2) sin (f) e^ — sin (2) cos (f) e*ei^J ' (A.2)
We want to consider the operational effect of T (i.e. how it changes a given set of measurement outcome probabilities). We use the expectation value picture to simplify the calculation and find
V^ / =
— cos (a) cos (ß) cos (0) sin (f) — cos (a) sin (ß) sin (0) sin (f) + sin (a) cos (f) sin (ß) cos (0) sin (Z) — cos (ß) sin (0) sin (Z) sin (a) cos (ß) cos (0) sin (f) + sin (a) sin (ß) sin (0) sin (f) + cos (a) cos (f)
— cos (a) cos (ß) — cos (a) sin (ß) sin (a) \ isin (f) cos (0) sin (ß) — cos (ß) 0 If sin (f) sin (0)
sin (a) cos (ß) sin (a) sin (ß) cos (a) / \ cos (f)
Thus we see that, as expected from quantum theory, the expectation value matrix has been acted on by an element of SO(3).
We rewrite this element in terms of the action upon the probabilities. We note that (X) = 2 P (X = 1) — 1, and embed the transformation into the bigger matrix 1 © Texpt such that it acts on the vector (1, (X), (Y), (Z)), where the first element 1 is a normalization term. Thus, we can convert the transformation on expectations to one acting on probabilities and vice versa using the transform C, and its inverse C—1:
A A B B C C
1 —1 0 0 0 0
f0 0 1 —1 0 0I
0 0 0 0 1 —1
C—1[ =
a 1 2 0 0
i 2 1 2 0 0
1 2 0 1 2 0
1 2 0 1 2 0
1 2 0 0 1 2
K2 0 0 —y
We leave in the unphysical excess parameters A, B and C where A + B + C = 1, which arise from an extra degree of freedom in our transformation resultant from a restriction on the state vectors to form a set of probabilities.
It is hence possible to construct the general action on the probability vector Tprob, as shown in equation (B.1) in appendix B.
Thinking of an effect as a co-vector associated with a state, we write the effects associated with the Z measurement as e+ = (0, 0 | 0, 0 | 1, 0) and e— = (0, 0 | 0, 0 | 0, 1), and post-multiply them by Tprob
(\(A + cos (ß) sin (a))^ 2 (A — cos (ß) sin (a)) 2(B + sin (a) sin (ß)) 2 (B — sin (a) sin (ß)) 2 (C + cos (a)) ^ 2 (C — cos (a)) )
(\(A — cos (ß) sin (a))^ 2 (A + cos (ß) sin (a)) 2(B — sin (a) sin (ß)) 2 (B + sin (a) sin (ß)) 2 (C — cos (a)) ^ 2 (C + cos (a)) )
Appendix B. General unitary transformation on a qubit probability space
In general, the unitary transformation acting on a qubit to map |0) ^ |e) = (cos a, eiß sin a)T and |1) ^ |e^) = (sin a, —eißcos a)T is given by the following matrix (the derivation of which is outlined in appendix A):
^prob =
(A — cos (a) cos (ß)) 1 (A +cos (a) cos (ß)) 2 (B — cos (a) sin (ß)) 2 (B +cos (a) sin (ß)) 2 C + sin (a)) 2 (c — sin (a))\
2 (A + cos (a) cos (ß)) 2 (A — cos (a) cos (ß)) 1 (B +cos (a) sin (ß)) 1 (B — cos (a) sin (ß)) 2 (C — sin (a)) 2 (C + sin (a))
2 (A + sin (ß)) 1 (A — sin (ß)) 1 (B — cos (ß)) 2 (B + cos (ß)) f f
2 (A — sin (ß)) 2 (A + sin (ß)) 2 (B + cos (ß)) 1 (B — cos (ß)) C C
2 (A + cos (ß) sin (a)) 2 (A — cos (ß) sin (a)) ± (B + sin (a) sin (ß)) 1 (B — sin (a) sin (ß)) 2 C + cos (a)) ± (C — cos (a))
^2 (A — cos (ß) sin (a)) 1 (A + cos (ß) sin (a)) 2 (B — sin (a) sin (ß)) 2 (B + sin (a) sin (ß)) 1 (C — cos (a)) 2 (C + cos (a))/
Appendix C. Explicit phase group of Z in a 3-in 2-out gbit
The elements of the phase group G| associated with the Z measurement can be written explicitly:
0 0 0 1
0 0 1 0 ©
1 0 0 0
0 1 0 0
0 0 1 0 \
0 0 0 1
0 1 0 0
1 0 0 0 /
0 1 0 0\
1 0 0 0 ©
0 0 1 0
0 0 0 1
1 0 0 0\
0 1 0 0 ©
0 0 0 1
0 0 1 0
010 100 000 001
/1 0 01 00 00
00 10 01
/0 0 0 1\
0010 0100 1000
001 000 100 010
These matrices should not be mistaken for the unitary operators acting on a Hilbert space, they are transformations operating on the probability vectors.
For a state initially in sO, where / P (+1| X)\
P (— 11 ^)
P (+1|Y) P (— 1|Y)
P (+1| Z) \P (-11Z)/
we see this transformation has the following effect on the statistics:
T—' gf Th so =
Tj—1 gf Th so
Th—1 gfTj so
th 1 g3 th so =
P P( +1| X )\ —1| X) P (+1| X)\ P (—1| X)
P( P —1| Z) +1| Z) , Tj— 1 g2ZT— so = P (— 1 |Y) P (+11Y)
P P +1|Y) — 1|Y)) P (—1| Z) \P (+1| Z) J
P P( +1| X) \ —1| X) P (+1| X)\ P (—1| X)
P P +1| Z) —1| Z) , Tj— 1 g4ZTj so = P (+11Y) P (— 1 |Y)
P P — 1|Y) +1|Y)) P (+1| Z) \p (—1| Z)/
P P( +1| X) \ —1| X) P (+1| X )\ P (—1| X)
P P +1|Y) — 1|Y) , Tj— 1 g6ZTj so = P (+1| Z) P (—1| Z)
P P —1| Z) +1| Z)) P (+11Y) P( 1 | Y)
P P( +1| X) \ —1| X) P (+1| X)\ P (—1| X)
P( P — 1|Y) +11Y) , Th 1 gZ Tj so = P (—1| Z) P (+1| Z)
P P — 1| Z) +1| Z)) P (— 1 |Y) \P (+1|Y) J
References
[1] Schlosshauer M A 2007 Decoherence and the Quantum-to-Classical Transition (Berlin: Springer)
[2] Linden N, Popescu S, Short A J and Winter A 2009 Quantum mechanical evolution towards thermal
equilibrium Phys. Rev. E 79 061103
[3] Nakata Y, Turner P S and Murao M 2012 Phase-random states: ensembles of states with fixed amplitudes and
uniformly distributed phases in a fixed basis Phys. Rev. A 86 012301
[4] Cleve R, Ekert A K, Macchiavello C and Mosca M 1998 Quantum algorithms revisited Proc. R. Soc. Lond. A
454 339-54
[5] Shepherd D and Bremner M J 2009 Temporally unstructured quantum computation Proc. R. Soc. Lond. A
465 1413-39
[6] Bremner M J, Jozsa R and Shepherd D J 2010 Classical simulation of commuting quantum computations
implies collapse of the polynomial hierarchy Proc. R. Soc. Lond. A 467 459-72
[7] Tsirelson B S 1993 Some results and problems on quantum Bell-type inequalities Hadronic J. Suppl. 8 329-45
[8] Cirel'son B S 1980 Quantum generalizations of Bell's inequality Lett. Math. Phys. 4 93-100
[9] Popescu S and Rohrlich D 1994 Quantum nonlocality as an axiom Found. Phys. 24 379-85
[10] Hardy L 2001 Quantum theory from five reasonable axioms arXiv:quant-ph/0101012
[11] Barrett J 2007 Information processing in generalized probabilistic theories Phys. Rev. A 75 32304
[12] Masanes L and Muller M 2011 A derivation of quantum theory from physical requirements New J. Phys.
13 63001
[13] Spekkens R W 2007 Evidence for the epistemic view of quantum states: a toy theory Phys. Rev. A 75 32110
[14] Coecke B and Duncan R 2011 Interacting quantum observables: categorical algebra and diagrammatics
New J. Phys. 13 043016
[15] Coecke B, Edwards B and Spekkens R W 2011 Phase groups and the origin of non-locality for qubits Electron.
Notes Theor. Comput. Sci. 270 15-36
[16] Ududec C, Barnum H and Emerson J 2009 Three slit experiments and the structure of quantum theory
arXiv:0909.4787 [quant-ph]
[17] Ududec C 2012 Perspectives on the formalism of quantum theory PhD Thesis University of Waterloo
http://hdl.handle.net/10012/7017
[18] Sorkin R 1994 Quantum measure theory Mod. Phys. Lett. A 9 3119
[19] Barnett M, Dowker F and Rideout D 2007 Popescu-Rohrlich boxes in quantum measure theory J. Phys. A:
Math. Theor. 40 7255-64
[20] Dahlsten O C O, Garner A J P and Vedral V 2012 How uncertainty enables non-classical dynamics
arXiv:1206.5702 [quant-ph]
[21] Nielsen M A and Chuang IL 2000 Quantum Computation and Quantum Information (Cambridge: Cambridge
University Press)
[22] Peres A 1995 Quantum Theory: Concepts and Methods (New York: Kluwer)
[23] Gross D, Muller M, Colbeck R and Dahlsten O C O 2010 All reversible dynamics in maximally nonlocal
theories are trivial Phys. Rev. Lett. 104 80402
[24] van Enk S J 2007 A toy model for quantum mechanics Found. Phys. 37 1447-60
