Magic State Distillation with Low Space Overhead and Optimal Asymptotic Input Count

We present an infinite family of protocols to distill magic states for $T$-gates that has a low space overhead and uses an asymptotic number of input magic states to achieve a given target error that is conjectured to be optimal. The space overhead, defined as the ratio between the physical qubits to the number of output magic states, is asymptotically constant, while both the number of input magic states used per output state and the $T$-gate depth of the circuit scale linearly in the logarithm of the target error $\delta$ (up to $\log \log 1/\delta$). Unlike other distillation protocols, this protocol achieves this performance without concatenation and the input magic states are injected at various steps in the circuit rather than all at the start of the circuit. The protocol can be modified to distill magic states for other gates at the third level of the Clifford hierarchy, with the same asymptotic performance. The protocol relies on the construction of weakly self-dual CSS codes with many logical qubits and large distance, allowing us to implement control-SWAPs on multiple qubits. We call this code the "inner code". The control-SWAPs are then used to measure properties of the magic state and detect errors, using another code that we call the "outer code". Alternatively, we use weakly-self dual CSS codes which implement controlled Hadamards for the inner code, reducing circuit depth. We present several specific small examples of this protocol.Comment: 39 pages, (v2) renamed "odd" and "even" weakly self-dual CSS codes of (v1) to "normal" and "hyperbolic" codes, respectively. (v3) published in Quantu

Balanced generalized weighing matrices and their applications

Balanced generalized weighing matrices include well-known classical combinatorial objects such as Hadamard matrices and conference matrices; moreover, particular classes of BGW -matrices are equivalent to certain relative difference sets. BGW -matrices admit an interesting geometrical interpretation, and in this context they generalize notions like projective planes admitting a full elation or homology group. After surveying these basic connections, we will focus attention on proper BGW -matrices; thus we will not give any systematic treatment of generalized Hadamard matrices, which are the subject of a large area of research in their own right. In particular, we will discuss what might be called the classical parameter series. Here the nicest examples are closely related to perfect codes and to some classical relative difference sets associated with affine geometries; moreover, the matrices in question can be characterized as the unique (up to equivalence) BGW -matrices for the given parameters with minimum q-rank.One can also obtain a wealth of monomially inequivalent examples and deter  mine the q-ranks of all these matrices by exploiting a connection with linear shift register sequences

Computer construction of experimental plans

Experimental plans identify the treatment allocated to each unit and they are necessary for the supervision of most comparative experiments. Few computer programs have been written for constructing experimental plans but many for analysing data arising from designed experiments. In this thesis the construction of experimental plans is reviewed so as to determine requirements for a computer program. One program, DSIGNX, is described. Four main steps in the construction are identified: declaration, formation of the unrandomized plan (the design), randomization and output. The formation of the design is given most attention. The designs considered are those found to be important in agricultural experimentation and a basic objective is set that the 'proposed' program should construct most designs presented in standard texts (e.g. Cochran and Cox (1957)) together with important designs which have been developed recently. Topics discussed include block designs, factorial designs, orthogonal Latin squares and designs for experiments with non-independent observations. Some topics are discussed in extra detail; these include forming standard designs and selecting defining contrasts in symmetric factorial experiments, general procedures for orthogonal Latin squares and constructing serially balanced designs. Emphasis is placed on design generators, especially the design key and generalized cyclic generators, because of their versatility. These generators are shown to provide solutions to most balanced and partially balanced incomplete block designs and to provide efficient block designs and row and column designs. They are seen to be of fundamental importance in constructing factorial designs. Other versatile generators are described but no attempt is made to include all construction techniques. Methods for deriving one design from another or for combining two or more designs are shown to extend the usefulness of the generators. Optimal design procedures and the evaluation of designs are briefly discussed. Methods of randomization are described including automatic procedures based on defined block structures and some forms of restricted randomization for the levels of specified factors. Many procedures presented in the thesis have been included in a computer program DSIGNX. The facilities provided by the program and the language are described and illustrated by practical examples. Finally, the structure of the program and its method of working are described and simplified versions of the principal algorithms presented

Fault-tolerant quantum computer architectures using hierarchies of quantum error-correcting codes

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2008.Includes bibliographical references (p. 221-238).Quantum computers have been shown to efficiently solve a class of problems for which no efficient solution is otherwise known. Physical systems can implement quantum computation, but devising realistic schemes is an extremely challenging problem largely due to the effect of noise. A quantum computer that is capable of correctly solving problems more rapidly than modern digital computers requires some use of so-called fault-tolerant components. Code-based fault-tolerance using quantum error-correcting codes is one of the most promising and versatile of the known routes for fault-tolerant quantum computation. This dissertation presents three main, new results about code-based fault-tolerant quantum computer architectures. The first result is a large new family of quantum codes that go beyond stabilizer codes, the most well-studied family of quantum codes. Our new family of codeword stabilized codes contains all known codes with optimal parameters. Furthermore, we show how to systematically find, construct, and understand such codes as a pair of codes: an additive quantum code and a classical (nonlinear) code. Second, we resolve an open question about universality of so-called transversal gates acting on stabilizer codes. Such gates are universal for classical fault-tolerant computation, but they were conjectured to be insufficient for universal fault-tolerant quantum computation. We show that transversal gates have a restricted form and prove that some important families of them cannot be quantum universal. This is strong evidence that so-called quantum software is necessary to achieve universality, and, therefore, fault-tolerant quantum computer architecture is fundamentally different from classical computer architecture. Finally, we partition the fault-tolerant design problem into levels of a hierarchy of concatenated codes and present methods, compatible with rigorous threshold theorems, for numerically evaluating these codes.(cont.) The methods are applied to measure inner error-correcting code performance, as a first step toward elucidation of an effective fault-tolerant quantum computer architecture that uses no more than a physical, inner, and outer level of coding. Of the inner codes, the Golay code gives the highest pseudothreshold of 2 x 10-3. A comparison of logical error rate and overhead shows that the Bacon-Shor codes are competitive with Knill's C₄/C₆ scheme at a base error rate of 10⁻⁴.by Andrew W. Cross.Ph.D