## SciPost Submission Page

# Optimizing Clifford gate generation for measurement-only topological quantum computation with Majorana zero modes

### by Alan Tran, Alex Bocharov, Bela Bauer, Parsa Bonderson

#### This is not the current version.

### Submission summary

As Contributors: | Alan Tran |

Arxiv Link: | https://arxiv.org/abs/1909.03002v3 |

Date submitted: | 2019-10-30 |

Submitted by: | Tran, Alan |

Submitted to: | SciPost Physics |

Discipline: | Physics |

Subject area: | Quantum Physics |

Approaches: | Theoretical, Computational |

### Abstract

One of the main challenges for quantum computation is that while the number of gates required to perform a non-trivial 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 measurement-only 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 multi-qubit 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:

### Submission & Refereeing History

- Report 2 submitted on 2020-05-20 18:28 by
*Anonymous* - Report 1 submitted on 2020-04-04 23:24 by
*Anonymous*

## Reports on this Submission

### Anonymous Report 2 on 2020-1-8 Invited Report

### Report

The authors study optimal, measurement-based implementations of Clifford gates in a quantum computer based on Majorana zero modes. Specifically, the authors investigate alternatives to the well-known “forced-measurement” scheme for realizing Clifford gates in a Majorana-based 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 “Majorana-Pauli tracking” scheme as an alternative to the forced-measurement 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 single-qubit logical gates by brute force, and perform a partial optimization for two-qubit gates. The latter presents difficulties since the cost of a brute-force 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 forced-measurement and Majorana-Pauli tracking schemes, and in the different hexon architectures.

### Anonymous Report 1 on 2019-11-25 Invited Report

### Strengths

1. The topic can become important if scalable topological qubits become a reality. The measurement-based 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 near-future 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, short-term 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 measurement-based 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 high-quality 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 measurement-based 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 measurement-operations needed to perform certain computational operations. The paper is very comprehensive, with a substantial introduction to the (previously proposed) device layouts and measurement-based 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 Hexon-like) 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 single-qubit 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 two-qubit 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.