Certified Quantum Measurement of Majorana Fermions
Abu Ashik Md. Irfan, Karl Mayer, Gerardo Ortiz, Emanuel Knill

TL;DR
This paper introduces a quantum self-testing protocol to certify Majorana fermion measurements, demonstrating anti-commutativity and quantum contextuality, with robustness to experimental errors and fidelity bounds.
Contribution
It provides a novel, robust protocol for certifying Majorana fermions through measurement statistics and contextuality witnesses, advancing experimental verification methods.
Findings
Ideal measurement statistics imply anti-commutativity of Majorana operators
The protocol is robust to experimental errors with linear fidelity bounds
Violation of the contextuality inequality confirms quantum nature of measurements
Abstract
We present a quantum self-testing protocol to certify measurements of fermion parity involving Majorana fermion modes. We show that observing a set of ideal measurement statistics implies anti-commutativity of the implemented Majorana fermion parity operators, a necessary prerequisite for Majorana detection. Our protocol is robust to experimental errors. We obtain lower bounds on the fidelities of the state and measurement operators that are linear in the errors. We propose to analyze experimental outcomes in terms of a contextuality witness , which satisfies for any classical probabilistic model of the data. A violation of the inequality witnesses quantum contextuality, and the closeness to the maximum ideal value indicates the degree of confidence in the detection of Majorana fermions.
| Logical Qubits | Fermion Parities | Physical Qubits |
|---|---|---|
| Initial state | Expectation Values | ||||
|---|---|---|---|---|---|
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
††thanks: These authors contributed equally to this work.††thanks: These authors contributed equally to this work.
Certified Quantum Measurement of Majorana Fermions
Abu Ashik Md. Irfan
Department of Physics, Indiana University, Bloomington, IN 47405-7105,USA
Karl Mayer
National Institute of Standards and Technology, Boulder, Colorado, USA
Department of Physics, University of Colorado, Boulder, Colorado, USA
Gerardo Ortiz
Department of Physics, Indiana University, Bloomington, IN 47405-7105,USA
Emanuel Knill
National Institute of Standards and Technology, Boulder, Colorado, USA
Center for Theory of Quantum Matter, University of Colorado, Boulder, Colorado, USA
Abstract
We present a quantum self-testing protocol to certify measurements of fermion parity involving Majorana fermion modes. We show that observing a set of ideal measurement statistics implies anti-commutativity of the implemented Majorana fermion parity operators, a necessary prerequisite for Majorana detection. Our protocol is robust to experimental errors. We obtain lower bounds on the fidelities of the state and measurement operators that are linear in the errors. We propose to analyze experimental outcomes in terms of a contextuality witness , which satisfies for any classical probabilistic model of the data. A violation of the inequality witnesses quantum contextuality, and the closeness to the maximum ideal value indicates the degree of confidence in the detection of Majorana fermions.
I Introduction
Topological qubits offer promising basic units for quantum information processing due to their inherent resilience against decoherence Alicea (2012). Majorana fermions Majorana (1937) are candidates for realizing such topological qubits, and the ability to braid them is the focus of several recent investigations. Theoretically, Majorana fermions emerge from the interplay between the existence of a topologically non-trivial vacuum and a, typically, symmetry-protected physical boundary (or defect). They are realized as zero-energy modes or quasi-particle excitations of certain quantum systems. Recent experimental efforts to detect and control Majorana zero-energy modes in topological superconducting nanowires provide a step towards realizing non-Abelian braiding and, thus, topological computation. Several experimental groups have reported evidence of Majorana zero-energy modes, such as an observation of a zero bias conductance peak or Shapiro steps in superconducting nanowires et al. (2012); Rokhinson et al. (2012). The evidence, however, remains indirect and it is unclear what would constitute proof of the existence of Majorana fermions Liu et al. (2012). Moreover, interpretation of what embodies a Majorana excitation, and its physical realization, in a closed particle number-conserving many-body topological superfluid deepens the mystery Ortiz et al. (2014); Ortiz and Cobanera (2016).
Even if one had strong evidence that a system is in a topological superfluid phase with emerging Majorana fermions, in order to reap the advantages of the topological approach to quantum computing, one must be confident that the measurements performed actually implement ideal quantum operations with high fidelity. This is especially important for proposals where gates are performed by parity measurements and anyonic teleportation, rather than physical braiding Bonderson et al. (2009). In this paper, we present a protocol to certify quantum measurements of observables and states using only the statistics of measurements outcomes, while making no assumptions about the underlying physics in the experimental apparatus. Our technique represents an extension of what is known as self-testing in quantum information Mayers and Yao (2004); Acín and et al. (2007); Colbeck and Kent (2011). In particular, we are interested in currently proposed platforms utilizing fermionic parity measurements et al. (2017). In this way, and given experimental data, one hopes to argue for the consistency of that data with the existence of Majorana fermions.
In the quantum information literature, self-testing refers to the action of uniquely determining a quantum state, up to a certain notion of equivalence. Unlike tomography, self-testing is based solely on the statistics of measurement outcomes, with minimal assumptions about the measurement operators. These quantum self-testing protocols are more stringent than the well-known Bell tests Popescu and Rohrlich (1992). While violation of a Bell inequality for a bipartite system establishes that its quantum state is entangled, it cannot certify, for instance, that its quantum state is maximally entangled Romito and Gefen (2017). Self-testing protocols typically assume that the physical system has a Hilbert space with a natural local tensor product structure. For self-testing a fermionic system, however, we have to relax this assumption. In our scenario, involving 6 Majorana fermion modes and 6 parity operators, a minimal assumption is compatibility of observables sharing no common Majorana mode. A successful certification implies that the experimentally measured observables anti-commute exactly the way ideal fermionic parity operators should. We demonstrate that ideal statistics imply emergence of an invariant four-dimensional tensor-product subspace (encoding two logical qubits) out of a putative Majorana fermion non-tensor-product state space, and the ideal state is a Bell state up to local unitary equivalence. An observation of the ideal statistics in our protocol would constitute substantive evidence of the existence of Majorana fermions. This is so, since ideal statistics implies anti-commutativity of a Majorana fermion and its parity operator, a definite smoking gun for Majorana fermion detection. Experiments, however, suffer from imperfections, and any practical certification protocol should include the effect of non-ideal quantum measurement devices and procedures. We have obtained lower bounds on state and operator fidelities, linear in the error, that constitute rigorous statements on robustness of the self-testing protocol for detection of Majorana fermions.
The paper is organized as follows. Preliminary background concepts and strategy for self-testing Majorana fermion parities are discussed in Sec. II. In particular, in Sec. II.1, we map Majorana fermion parity operators to two-qubit Pauli operators, and construct maximal sets of compatible measurements, so-called contexts. In Sec. II.2, we introduce the notion of quantum self-testing. Section III describes our particular measurement scenario and contains a summary of our main results, which are two theorems, proved later in Sections IV and V. Specifically, we prove rigidity of the measurement scenario in Sec. IV, and address the robustness to small experimental errors in Sec. V. Finally, in Sec. VI we summarize main findings and analyze our fermion parity certification protocol from the standpoint of a contextuality witness . We suggest a possible experimental setup and propose to analyze experimental data validating a contextuality inequality involving such . We also emphasize the generality of our approach and its potential application to other quantum measurements involving phenomena such as braiding. An accessible discussion, addressed to experimentalists, of what an ideal statistics situation means in the context of self-testing fermion parities is presented in Appendix A. Several technical details, important to appreciate the mathematical and physical implications of our results, are included in the the Appendices B, C, and D.
II Background
II.1 Majorana Fermions
Majorana fermion modes are potential blueprint qubits for topological computation. Consider Majorana modes belonging to different quantum wires or vortices. Those modes are defined by Majorana operators for , which satisfy the Majorana algebra
[TABLE]
The complex -closed algebra generated is -isomorphic to the complex matrices, so its irreducible representations on a Hilbert space all can be identified with a Jordan-Wigner representation on two-level (qubit) systems. Explicitly, one such representation maps
[TABLE]
where , and , are Pauli matrices and we have chosen a particular sign convention without physical consequences.
In the following, we confine ourselves to the physically measurable “parity” observables
[TABLE]
The total parity , commutes with every other parity observable, partitions the full Hilbert space into even () and odd () parity subspaces. These subspaces are invariant under the action of any parity operator and are isomorphic to logical two-qubit subspaces as illustrated by the mapping of Table 1. We use , , to denote logical Pauli operators acting on these two-qubit subspaces.
We say a set of fermion parity measurements are compatible if the corresponding parity operators are mutually commuting. There are exactly maximal sets of compatible measurements, which are given by
[TABLE]
We can select the first of those sets and form a table which works like a Peres-Mermin magic square Peres (1990a); Mermin (1990) up to a unitary equivalence in both even and odd parity subspaces, as illustrated in Table 2.
II.2 Quantum Self-testing
A self-testing protocol aims to certify that both an unknown state and a set of unknown measurements are equivalent to an ideal, usually entangled, state and a set of ideal measurements. Importantly, the certification does not rely on any assumptions about the state and measurements, other than the assumption that certain pairs of measurement operators commute. The protocol involves repeatedly performing different sets of pairwise commuting measurements. If the ideal measurement statistics are obtained, then the state and measurements are uniquely determined, up to some notion of equivalence. This was first observed by Popescu and Rohrlich Popescu and Rohrlich (1992), who proved that any state that maximally violates a particular Bell inequality (the CHSH inequality) is equivalent to a singlet state of two qubits. The equivalence is up to a local isometry, because the measurement statistics are unaffected by a local change of basis and by the existence of an auxiliary subsystem on which the measurements act trivially. The notion of self-testing was formalized by Mayers and Yao Mayers and Yao (2004), and since then, self-testing protocols for many other states and measurement scenarios McKague (2014); Wu et al. (2014); Kaniewski (2016); Coladangelo et al. (2017); Kalev and Miller (2017); Breiner et al. (2019) have been discovered. Such protocols are often called device-independent because they rely only on the statistics of measurement outcomes, and not on any physical assumptions about the measurement apparatus.
Two important notions in the self-testing literature are that of rigidity and robustness. A measurement scenario is rigid if achieving the ideal expectation values uniquely determines the state and measurements, up to a local isometry. In any real experiment, however, the ideal statistics will not be achieved exactly due to errors in the state preparation and measurements. Thus, any practical self-testing protocol must include a robustness statement. Robustness implies that the state and measurements are still determined approximately if the statistics deviate from the ideal case by a small amount. There are fewer known robustness results for measurements than for states Kaniewski (2017). Our main results are a rigidity theorem and a robustness theorem for Majorana fermion parity operators.
Our results differ from previous self-testing results in a few respects. First, self-testing scenarios typically involve two or more parties whose measurement operators commute due to a locality assumption. The locality can be physically enforced, for example, by requiring the measurements made by different parties to be spacelike separated. In the scenario we consider, there is no natural notion of locality. Therefore, we do not assume that the full Hilbert space factors as a tensor product. Nonetheless, as we show, if the measurement operators have the ideal expectation values, then there is a natural tensor product decomposition. The unknown state is maximally entangled with respect to this emergent tensor product structure. Second, robust self-testing statements are often formulated in terms of an extraction map, which acts on a joint system comprised of the unknown Hilbert space and a reference Hilbert space with a known dimension. In this formulation, a robustness statement asserts that there exists such an extraction map, such that the output state of the reference system has high fidelity with the ideal state McKague et al. (2012a, b). Our theorems avoid using an extraction map and instead directly construct a four-dimensional subspace of . In the rigid case, we show that the subspace contains and is invariant under the action of each of the measurement operators. In the case of errors we define an ideal state and ideal operators on the subspace and we lower bound the fidelities of the actual state and measurement operators.
III Statement of Results
We consider an experimental setup ideally involving 6 Majorana modes and 15 parity operators. However, we do not assume Majorana fermion parity operators from the outset as our aim is to infer Majorana behavior solely from the statistics of measurement outcomes. We assume that a quantum system is prepared in some unknown state . Since any mixed state has a pure state extension, we can take to be pure without loss of generality. We also assume a set of unknown measurements, each of which is given by a two-element positive operator-valued measure (POVM) . Here labels the measurement and for all , and , with . We assume that whenever and correspond to parities having no Majorana modes in common. We emphasize that no other assumptions about the state or measurements are made. In particular, we do not assume the dimension of or that factors as a tensor product.
Before proving our main results, we first show that the POVM elements can be taken to be orthogonal projectors without loss of generality. In general, by Neumark’s dilation theorem Peres (1990b), any POVM can be realized by a projective measurement on an extended Hilbert space. In our case, we further require that the projectors obtained by dilation have the same pairwise commutativity structure that was assumed of the POVMs. This is accomplished by the following proposition, which we prove in Sec. IV.
Proposition 1**.**
Let be a set of two-outcome POVM elements. Then there exist projectors satisfying for all density operators , and whenever .
Having extended the POVMs to projective measurements, we can define the Hermitian operators . Note that , and so each is unitary and has eigenvalues in . Such operators are called Hermitian involutions. These operators can be visualized as edges on , the complete graph on 6 vertices, as shown in Fig. 1. The vertices correspond to Majorana modes, and two operators commute if their associated edges do not share a vertex. When convenient, we will use a double index as in to denote the operator associated with edge . The maximal sets of commuting observables are given by perfect matchings on .
Our self-testing theorems apply to any set of six parities corresponding to a cycle subgraph . For concreteness, we take to be the cycle whose edge set is . We refer to a maximal set of commuting parity operators in as a context. We arrange the six unknown operators into a 2-by-3 table where the operators in each row and column form a context (see Table 3 (Left)).
Any two operators and not in the same row or column correspond to edges and that are adjacent in , which we denote . The ideal fermionic parity operators corresponding to adjacent edges anti-commute. Since 6 Majorana modes acting on a given parity (even or odd) sector encode 2 logical qubits, the ideal operators can be any set of 6 logical two-qubit Pauli operators with the ideal commutation and anti-commutation relations. For concreteness, we fix a basis in which the ideal operators are as in Table 3 (Right).
Let and be the sets of edges in the th row and column, respectively. The ideal expectations in our self-testing protocol are the following expectation values of products of observables in each context:
[TABLE]
The ideal expectations are achieved by the ideal state . We remark that our particular definition of the ideal expectations is a choice of convention. A similar rigidity result for a different ideal state follows from any similar set of ideal expectations where an odd number of contexts have an expectation value of .
Let be the algebra generated by , and let be the subspace defined by . Let be the projector onto , and let .
Theorem 1** (Rigidity of Majorana Parities).**
If the ideal expectations are satisfied, then V is a 4-dimensional subspace and , for all with . Furthermore, the state satisfies for .
The proof of the theorem given in the next section. As a consequence of Theorem 1, a basis for can be chosen in which the operators on the (Left) in Table 3 equal those on the (Right) of the same Table 3, and .
In practice, experimental measurements do not satisfy the ideal expectations due to imperfections in the state preparation and measurements. We say that the ideal expectations are satisfied to within error if
[TABLE]
where the minus sign in the second line is used for the third column only. In the presence of errors, the subspace is no longer invariant under the action of the operators . However, the protocol is still robust in the following sense. There exists an ideal subspace of dimension 4, along with an ideal state and ideal operators whose fidelities with respect to the actual state and operators are close to 1, within errors linear in . Here the state fidelity is , and the operator fidelity is defined as . Formally, we have the following:
Theorem 2** (Protocol Robustness).**
If the ideal expectations are satisfied within error , then there exists , with , Hermitian involutions for each such that if and otherwise, and a state such that for , and such that they satisfy
[TABLE]
where , , , and .
The proof of the above theorem is given in Sec. V, with some details deferred to Appendix C and D. The perfect fidelity of the first column operators is due to a choice of basis. For simplicity, we have chosen our error bounds to be equal. Our results can be generalized to the case of unequal errors for different contexts, however, we do not carry out this analysis here.
IV Rigidity of Majorana Fermion Parity Measurements
In this section we first prove Proposition 1, and then we prove Theorem 1 with the help of some lemmas.
IV.1 From POVM to Projective Measurements
Given any POVM , , acting on system , Neumark proved Peres (1990a) that there exists a projective measurement on an extended system , with for all density operators on , where the dimension of the extension equals the number of elements in the POVM. The projectors are of the form
[TABLE]
where is a unitary on the extended Hilbert space.
In the case of multiple POVMs , where labels the POVM with elements , the POVMs can be extended to projectors by adding several ancillas (), one for each POVM. The situation is depicted in Fig. 2. Our task is to prove that for , whenever .
Proof of Proposition 1.
Define the projector on the extended system corresponding to POVM element according to Eq. (4), with
[TABLE]
where is the basis-vector of the extension with and denotes addition mod 2. We first show that is unitary. Indeed, we have
[TABLE]
If , then the last line above equals
[TABLE]
whereas if , it equals
[TABLE]
where we’ve used and thus commutes with . Therefore, is unitary. Next, using the cyclic property of the trace, we compute
[TABLE]
Finally, for , in a block matrix representation with respect to the basis,
[TABLE]
Therefore, implies that , and hence . ∎
IV.2 Rigidity of the State and Observables
We begin with a lemma that states that operators with adjacent edges anti-commute in their action on . Since each has eigenvalues in , the ideal expectations are satisfied only if is a eigenstate of the products of operators in each context.
[TABLE]
where again the minus sign in the last equation is for column only. Using the fact that , and the commutativity of operators in each context, we can move operators freely between the left and right sides of the above equations. For example, the identities
[TABLE]
hold for row and column , respectively.
Lemma 3**.**
Suppose the ideal expectations are satisfied. Then , for .
Proof.
We show that . Making repeated use of identities such as the ones above, we compute
[TABLE]
By symmetry of the table, a similar argument shows that the same relation holds for any and with . ∎
We now construct a subspace and show that it is invariant under the action of . Define by
[TABLE]
Lemma 4**.**
* for all .*
Proof.
Since , . To see that , note that Lemma 3 implies and . We next check that . This follows from , and from the fact that commutes with and . By symmetry of the table, we also have that . It remains to show that and act invariantly on . Explicity,
[TABLE]
Similarly, by symmetry, we also have . ∎
Having shown that is an invariant subspace, it follows that . We can now work with the operators restricted onto . Let , with the projector onto . Note that for all . The next Lemma states that commutativity and anti-commutativity of operators on a full Hilbert space is preserved under restriction onto a subspace.
Lemma 5**.**
Let and be Hermitian involutions, and let be a projector such that . Then
[TABLE]
Proof.
, with the plus or minus sign depending on whether and commute or anti-commute, respectively. ∎
We are now ready to prove Theorem 1.
Proof of Theorem 1.
We first determine the action on of the operators in and . From Lemma 5, both and commute with both and , and therefore
[TABLE]
Since , and are unitary on . Therefore, there exists an orthogonal basis for of simultaneous eigenstates of and . Let be one such eigenstate satisfying
[TABLE]
and also satisfying . Such a state exists since . From Lemma 3, , and hence by Lemma 5. Similarly, . These two equations imply and , and thus , where denotes the complex conjugation of .
Now, define . Note that , and therefore
[TABLE]
Similarly, defining , and , we see that , , , and are joint eigenstates of and with eigenvalues , , , and , respectively. These eigenstates are pairwise orthogonal, since . Therefore, is a 4-dimensional subspace. Next, note that
[TABLE]
Similar calculations applied to the remaining eigenstates of and show that and . Therefore, there is a basis for in which
[TABLE]
We work in this basis for the remainder of the proof. The next step is to determine . From , and , it follows that
[TABLE]
The final step is to determine and . We begin with . Since , Lemma 5 implies that . Therefore, when expanded in a basis of two-qubit Pauli matrices, can only have non-zero weight on , , , and . However, , which implies , since the states , , , and are pairwise orthogonal. Similarly, using and , it follows that .
∎
V Robustness to Errors
We now consider the situation where the ideal statistics are satisfied to within error . We first prove an approximate version of Lemma 3.
Lemma 6**.**
Suppose the ideal expectations are satisfied to within error . Then for all with .
Proof.
We show that . For and in the same column,
[TABLE]
where in the first line, the plus sign is used for column 3, and the minus sign for columns 1 and 2. Similarly, for both rows of the table, with , , and in the same row,
[TABLE]
Therefore, by a chain of triangle inequalities, and using the fact that for any unitary ,
[TABLE]
Using a similar argument for any , one can prove . ∎
By a corollary to Jordan’s lemma, which we prove in Appendix B, decomposes as , where each is 4-dimensional and invariant under the action of , , , and . Since both of commute with both of , each invariant subspace in the Jordan decomposition factors as a tensor product of two qubits. Therefore, there is a basis for each subspace such that
[TABLE]
with . Label this chosen basis for each as .
Next, with respect to this Jordan decomposition, one can write as
[TABLE]
where each and . We define the ideal subspace as the linear span
[TABLE]
We define the ideal operators to be logical Pauli product operators in the above basis. Specifically, , , , , , . Finally, we define the ideal state with respect to the above basis as
[TABLE]
Proof of Theorem 2.
By definition, for with , and the ideal state satisfies for .
We first calculate the state fidelity. Define . Using the freedom to choose the overall phase in each subspace, we set . Therefore,
[TABLE]
It will be convenient to work in the basis within each Jordan subspace . Here , and . We expand as
[TABLE]
where . In this basis, the ideal state is
[TABLE]
Therefore,
[TABLE]
In Appendix C, we prove that
[TABLE]
Thus, the state fidelity is bounded according to
[TABLE]
Next we bound the fidelity of the operators, starting with the first column. From Eq. (V) and the definition of the ideal operators, for , and so . For the second column, Eq. (V) implies
[TABLE]
Combining Lemma 6 with Eq. (V),
[TABLE]
where the last line follows from and therefore . Combining the last two equations yields
[TABLE]
A similar calculation shows that also.
The final step is to bound the fidelities of the third column operators. We begin with . The error in the first row implies
[TABLE]
and from the state fidelity, Eq. (V), we get
[TABLE]
We show in Appendix D that
[TABLE]
Applying the triangle inequality to Eqs. (14)-(16), and using ,
[TABLE]
which implies
[TABLE]
Since and , Lemma 5 implies . Therefore, when expanded in a basis of two-qubit Pauli matrices, can only have or acting on the first qubit. Since , only the component of contributes to , as any other component either gives zero or a purely imaginary number. Hence,
[TABLE]
and it follows that . By a similar argument one can show that . ∎
VI Discussion and Outlook
We have shown that measurements of Majorana fermion parities can be self-tested. This fact provides a powerful tool for determining how consistent experimental data is with the existence of Majorana fermion modes. Experimentally, our protocol requires the ability to measure 6 observables , which ideally correspond to parities between consecutive Majorana modes, as shown in Fig 3. The expectation value of any context (set of observables in a row or column of Table 3 (Left)) can be obtained by repeatedly preparing a specific initial state, measuring the operators in that context, and using Eqs. (18) and (19). Given data from the measurements in each context, we can express the result by an operator , often called a contextuality witness[cite] in the quantum information literature,
[TABLE]
This witness obeys an inequality, , for any classical assignments of outcomes to the measured observables, and is upper-bounded in quantum theory by . The witness is not unique, as different choices of the initial state result in different combinations of signs of the terms in , according to Table 5 in Appendix A.
For a fixed total parity (odd or even), Majorana fermions theoretically encode a two qubit subspace, where each qubit is encoded non-locally in Majorana modes in Fig. 3. Our results, Theorems 1 and 2, imply that the maximal value of is obtained only if the observables corresponding to adjacent parities anti-commute. Furthermore, a small error certifies that each has high fidelity with the corresponding Majorana parity operator. For example, in a basis where the parities in the first row are perfect, a error in the expectation value of each context implies upper bounds on the error of the second and third column operators of and , respectively.
We emphasize that although our proposal is to self-test parities in Majorana modes, our protocol can be simulated in other physical systems via the Jordan-Wigner mapping given by Eq. (1) and Table 2. Examples include trapped ions, where Pauli product operators can be measured with global entangling gates and the use of an ancilla Leibfried and Wineland (2018), or also neutron beams entangled in energy, path and spin degrees of freedom Cabello et al. (2008); et al. .
We conclude with some open problems and suggestions for future work. The robustness bounds in our Theorem 2 are certainly not tight, which raises the question of how much they can be improved. It might be possible to obtain a stronger robustness statement using different methods such as those based on a semidefinite programming hierarchy et al. (2014, 2015), or linear operator inequalities Kaniewski (2016). How does our formulation of robustness by constructing an ideal subspace relate to the notion of robustness as measured by an extraction map? Finally, while our protocol certifies a single state and a set of measurements, gates in topological quantum computing are implemented by braiding. It is therefore desirable to extend the protocol to include a self-test of braiding operations.
We strongly believe that certification of quantum measurements in various physical scenarios is a promising technique for precision measurement and quantum validation. We anticipate generalizations of our current approach to many other situations of physical interest exploring the frontiers of quantum mechanics.
Acknowledgements.
This research was conducted in part under the PREP program with financial assistance from U.S. Department of Commerce, National Institute of Standards and Technology. Contributions to this article by workers at the National Institute of Standards and Technology, an agency of the U.S. Government, are not subject to U.S. copyright.
Appendix A Ideal Expectations and Statistics
Operators in each context of Table 2 realize complete sets of commuting observables (CSCO), allowing preparation of states with definite parity assignments. In the following discussion, we consider the experimental preparation of an initial state with a well-defined parity , and , , corresponding to the claimed parity observable . We then measure the contexts (sets of operators in a row or column) of Table 3. As an illustration, the ideal probability distribution of measurement outcomes of all contexts for the initial state is given in Table 4. From the statistics of measurement outcomes one can calculate the expectation value of the product of the operators in each context by using
[TABLE]
where (or ) refers to the number of experimental outcomes with value (or ). Ideal expectation values of all contexts for different initial states with all possible is given in Table 5.
Appendix B Jordan’s Lemma
We prove a corollary, which we used in the main text, of what is known as Jordan’s Lemma in the quantum information literature. A particularly simple proof of Jordan’s Lemma appears in Ref. [et al., 2009], which we also include here for completeness.
Lemma 7** (Jordan’s Lemma).**
Let and be Hermitian involutions on a Hilbert space . Then decomposes as a direct sum , with , and and act invariantly on each .
Proof.
is unitary since . Since is unitary, there exists an orthonormal basis for of eigenstates of . Let be any such eigenstate, where . Define . Then , since
[TABLE]
The span of and is invariant under , and also under , since
[TABLE]
Thus any eigenstate of defines an invariant subspace of dimension at most 2, and these eigenstates span , which completes the proof. ∎
Corollary 7.1**.**
For , let and be Hermitian involutions with . Then decomposes as , with and of dimension at most , and and .
Proof.
Note that . Thus, there exists an orthonormal basis for of simultaneous eigenstates of and . Let be any such eigenstate, where and . Define , , and . Then maps isomophically to . By the argument in the proof of Lemma 7, and act invariantly on the first and second tensor factors, and trivially on the second and first tensor factors, respectively. ∎
We remark that in the main text we assume that each Jordan subspace has dimension 4. This is done without loss of generality, since we can extend any smaller dimensional subspace to dimensions, with all operators acting trivially on the extension.
Appendix C Derivation of Eqs. (10) and (11).
It will be convenient to work in the basis within each Jordan subspace . Here , and . We expand as
[TABLE]
where . In this basis, the ideal state is
[TABLE]
Our first step is to bound . Applying Eq. (5) to and , respectively, we obtain
[TABLE]
[TABLE]
Eq. (11) follows from the first of these equations. It also follows that
[TABLE]
Now,
[TABLE]
where in the last line we used the fact that for any . From Eqs. (20) and (21),
[TABLE]
Similarly,
[TABLE]
from which it follows that
[TABLE]
[TABLE]
We now need the following lemma, which is similar to Lemma 6.
Lemma 8**.**
Suppose the ideal expectations are satisfied to within error . Then .
Proof.
[TABLE]
where the last inequality follows from Eqs. (5) and (6). ∎
From the result of the lemma, we obtain
[TABLE]
and therefore,
[TABLE]
or,
[TABLE]
[TABLE]
where in the last inequality we used ,, and so and . This last inequality is Eq. (10) in the main text.
Appendix D Derivation of Eq. (16)
By definition,
[TABLE]
Therefore,
[TABLE]
Summing over the Jordan subspaces, we get
[TABLE]
The second term in the last line is bounded by
[TABLE]
where we’ve used Eq. (11) and the same argument leading to Eq. (V), applied to . Therefore,
[TABLE]
Using this bound we can say
[TABLE]
Therefore,
[TABLE]
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Alicea (2012) J. Alicea, “New directions in the pursuit of majorana fermions in solid state systems,” Rep. Prog. Phys. 75 , 076501 (2012).
- 2Majorana (1937) E. Majorana, “Theory of the symmetry of electrons and positrons,” Nuovo Cim. 14 , 171 (1937).
- 3et al. (2012) V. Mourik et al. , “Signatures of majorana fermions in hybrid superconductor-semiconductor nanowire devices,” Science 336 , 1003 (2012).
- 4Rokhinson et al. (2012) L. P Rokhinson, X. Liu, and J. K. Furdyna, “The fractional a.c. josephson effect in a semiconductor–superconductor nanowire as a signature of majorana particles,” Nat. Phys. 8 , 795 (2012).
- 5Liu et al. (2012) J. Liu, A. C. Potter, K. T. Law, and A. Patrick Lee, “Zero-bias peaks in the tunneling conductance of spin-orbit-coupled superconducting wires with and without majorana end-states,” Phys. Rev. Lett. 109 , 267002 (2012).
- 6Ortiz et al. (2014) G. Ortiz, J. Dukelsky, E. Cobanera, C. Esebbag, and C. Beenakker, “Many-body characterization of particle-conserving topological superfluids,” Phys. Rev. Lett. 113 , 267002 (2014).
- 7Ortiz and Cobanera (2016) G. Ortiz and E. Cobanera, “What is a particle-conserving topological superfluid? the fate of majorana modes beyond mean-field theory,” Ann. Phys. 372 , 357 (2016).
- 8Bonderson et al. (2009) P. Bonderson, M. Freedman, and C. Nayak, “Measurement-only topological quantum computation via anyonic interferometry,” Ann. Phys. 324 , 787 (2009).
