SciPost Submission Page
Optimizing Clifford gate generation for measurementonly topological quantum computation with Majorana zero modes
by Alan Tran, Alex Bocharov, Bela Bauer, Parsa Bonderson
This is not the latest submitted version.
This Submission thread is now published as
Submission summary
Authors (as registered SciPost users):  Alan Tran 
Submission information  

Preprint Link:  https://arxiv.org/abs/1909.03002v3 (pdf) 
Date submitted:  20191030 01:00 
Submitted by:  Tran, Alan 
Submitted to:  SciPost Physics 
Ontological classification  

Academic field:  Physics 
Specialties: 

Approaches:  Theoretical, Computational 
Abstract
One of the main challenges for quantum computation is that while the number of gates required to perform a nontrivial quantum computation may be very large, decoherence and errors in realistic quantum architectures limit the number of physical gate operations that can be performed coherently. Therefore, an optimal mapping of the quantum algorithm into the physically available set of operations is of crucial importance. We examine this problem for a measurementonly topological quantum computer based on Majorana zero modes, where gates are performed through sequences of measurements. Such a scheme has been proposed as a practical, scalable approach to process quantum information in an array of topological qubits built using Majorana zero modes. Building on previous work that has shown that multiqubit Clifford gates can be enacted in a topologically protected fashion in such qubit networks, we discuss methods to obtain the optimal measurement sequence for a given Clifford gate under the constraints imposed by the physical architecture, such as layout and the relative difficulty of implementing different types of measurements. Our methods also provide tools for comparative analysis of different architectures and strategies, given experimental characterizations of particular aspects of the systems under consideration.
Current status:
Reports on this Submission
Anonymous Report 2 on 202018 (Invited Report)
 Cite as: Anonymous, Report on arXiv:1909.03002v3, delivered 20200108, doi: 10.21468/SciPost.Report.1435
Report
The authors study optimal, measurementbased implementations of Clifford gates in a quantum computer based on Majorana zero modes. Specifically, the authors investigate alternatives to the wellknown “forcedmeasurement” scheme for realizing Clifford gates in a Majoranabased quantum computer based on the "hexon" qubit architecture. These alternatives generally require fewer measurements in order to implement the same gates. As an example, the authors discuss a “MajoranaPauli tracking” scheme as an alternative to the forcedmeasurement protocol. Here, measurement outcomes are tracked (not forced), so that the implemented logical gate will differ from the desired Clifford gate by a Pauli operator, which may be easily determined from the tracked measurement outcomes. These Pauli operators may be taken into account when implementing Clifford gates at later steps in a given computation.
The newest part of this work is presented in Sec. V, where the authors optimize the measurements needed to implement a logical Clifford gate, with respect to a weighting function which measures the difficulty of implementing a series of measurements. For a sample set of trial weights, the authors are able to completely optimize the measurement scheme for singlequbit logical gates by brute force, and perform a partial optimization for twoqubit gates. The latter presents difficulties since the cost of a bruteforce optimization scales exponentially in the number of total measurements that are permitted in a gate implementation.
The results of this work are sound, and I recommend the paper for publication after minor revisions.
Requested changes
(1) I believe there is a typo in the middle of the fourth paragraph of the introduction. The second half of the sentence
“We will describe different strategies and protocols for optimizing the generation of computational gates via measurement sequences, using measurements as the physical measurements as the generating set of operations”
reads incorrectly and should be fixed.
(2) A plot that shows the optimized difficulty weights for each logical gate would provide a simpler summary of the information presented in Tables I & II. This would more clearly show the relative difficulty of implementing various gates in the forcedmeasurement and MajoranaPauli tracking schemes, and in the different hexon architectures.
Anonymous Report 1 on 20191125 (Invited Report)
 Cite as: Anonymous, Report on arXiv:1909.03002v3, delivered 20191125, doi: 10.21468/SciPost.Report.1341
Strengths
1. The topic can become important if scalable topological qubits become a reality. The measurementbased braiding scheme seems like a good candidate for such systems.
2. The paper is well written and gives a very comprehensive treatment of the topic.
3. Advanced theoretical methodology is developed which may find uses beyond the work presented here.
Weaknesses
1. The usefulness for nearfuture experiment seems rather limited, as the results will only become important when (if) it becomes possible to scale topological qubits (if the authors disagree, I do not think this is clear from the present version of the paper). But, on the other hand, shortterm impact on experiment should not be a requirement for good theoretical work.
2. Related to point 1., the paper does not discuss new device concepts (or improvements of existing concepts) which might have better performance, nor does it compare (even on a rather rough level) the measurementbased scheme to topological quantum computation based on more "traditional" braiding operations.
3. I mentioned the comprehensiveness of the paper as a strength, but I think it can also be a weakness. The paper is very long and lots of space is taken up for things which I do not find crucial for (what I perceive to be) the main message. For example, much space is spent on explaining and discussing the details of the forced measurement scheme, even though it is inferior to the tracked scheme (the authors even state in the end that this inferiority is obvious). In fact, one has to read rather far in the paper to discover that there is a better option than the forced measurement scheme.
4. As a result of the points above, I think this paper (as it is written now) will be of interest to a rather narrow group of researchers (although it's a highquality work and likely to be of very high interest for that particular group).
Report
This paper focuses on one particular path towards topological quantum computation, namely based on using measurements to perform the topologically protected operations (Clifford gates in the case of Majorana zero modes (MZMs)). Both the general idea of measurementbased topological quantum computation and the specific proposals for experimental devices (based on MZMs) included in the paper have been presented before. The new work in the paper is instead the optimization of sequences of measurementoperations needed to perform certain computational operations. The paper is very comprehensive, with a substantial introduction to the (previously proposed) device layouts and measurementbased methods. Then the optimization methods and the results of applying those are described, with all the details given in Appendices.
I save my impression of the paper for the other sections (Strengths, Weaknesses and Changes), but have a few physics questions and comments here:
1. I think the advantage of the Hexon (and Hexonlike) architectures in terms of protection from quasiparticle poisoning is somewhat exaggerated. The charging energy only offers protection from quasiparticles tunneling in from outside the Hexon, but not from quasiparticles which are excited by splitting Cooper pairs within the Hexon itself. Because of the large number of Cooper pairs, a population of such quasiparticles are expected to persist even for temperatures far below the superconducting gap.
2. What are the requirements for measuring the collective parities of 4 (or more) MZMs (needed to go beyond singlequbit gates) without learning anything about the individual parities? Perhaps related to this, I do not understand the reason behind the statement (on page 11) that twoqubit operations require the ancillary pairs (of MZMs) to begin and end in the same state.
3. Flux noise is mentioned as a problem during measurement (which gets worse for increasing areas enclosed by the loop). I wonder if this is really a problem? I thought flux could be kept rather constant (important in most conventional superconducting qubits). And doesn't the energy of the QD shift in different ways (up or down) depending on the parity (which should then be easy to see even if there is some noise)?
Requested changes
I think the weaknesses described above warrant some changes. As a minimum, I think the authors should say at an early point that the forced measurement scheme is not needed and, in fact, an inferior method. However, I think the paper (and in particular it's usefulness for a somewhat broader readership) would benefit greatly from writing it in a way that makes the crucial parts accessible without reading all the details which are less important.