Fault-tolerant quantum computation with cluster states

The one-way quantum computing model introduced by Raussendorf and Briegel [Phys. Rev. Lett. 86, 5188 (2001)] shows that it is possible to quantum compute using only a fixed entangled resource known as a cluster state, and adaptive single-qubit measurements. This model is the basis for several practical proposals for quantum computation, including a promising proposal for optical quantum computation based on cluster states [M. A. Nielsen, Phys. Rev. Lett. (to be published), quant-ph/0402005]. A significant open question is whether such proposals are scalable in the presence of physically realistic noise. In this paper we prove two threshold theorems which show that scalable fault-tolerant quantum computation may be achieved in implementations based on cluster states, provided the noise in the implementations is below some constant threshold value. Our first threshold theorem applies to a class of implementations in which entangling gates are applied deterministically, but with a small amount of noise. We expect this threshold to be applicable in a wide variety of physical systems. Our second threshold theorem is specifically adapted to proposals such as the optical cluster-state proposal, in which nondeterministic entangling gates are used. A critical technical component of our proofs is two powerful theorems which relate the properties of noisy unitary operations restricted to act on a subspace of state space to extensions of those operations acting on the entire state space. We expect these theorems to have a variety of applications in other areas of quantum-information science.

Verifying abstract information flow properties in fault tolerant security devices

The verification of information flow properties of security devices is difficult because it involves the analysis of schematic diagrams, artwork, embedded software, etc. In addition, a typical security device has many modes, partial information flow, and needs to be fault tolerant. We propose a new approach to the verification of such devices based upon checking abstract information flow properties expressed as graphs. This approach has been implemented in software, and successfully used to find possible paths of information flow through security devices.

Loss-tolerant optical qubits

We present a linear optics quantum computation scheme that employs a new encoding approach that incrementally adds qubits and is tolerant to photon loss errors. The scheme employs a circuit model but uses techniques from cluster-state computation and achieves comparable resource usage. To illustrate our techniques we describe a quantum memory which is fault tolerant to photon loss.

Gates for the kane quantum computer in the presence of dephasing

In this paper we investigate the effect of dephasing on proposed quantum gates for the solid-state Kane quantum computing architecture. Using a simple model of the decoherence, we find that the typical error in a controlled-NOT gate is 8.3x10(-5). We also compute the fidelities of Z, X, swap, and controlled Z operations under a variety of dephasing rates. We show that these numerical results are comparable with the error threshold required for fault tolerant quantum computation.

Stabilizer formalism for operator quantum error correction

Operator quantum error correction is a recently developed theory that provides a generalized and unified framework for active error correction and passive error avoiding schemes. In this Letter, we describe these codes using the stabilizer formalism. This is achieved by adding a gauge group to stabilizer codes that defines an equivalence class between encoded states. Gauge transformations leave the encoded information unchanged; their effect is absorbed by virtual gauge qubits that do not carry useful information. We illustrate the construction by identifying a gauge symmetry in Shor's 9-qubit code that allows us to remove 3 of its 8 stabilizer generators, leading to a simpler decoding procedure and a wider class of logical operations without affecting its essential properties. This opens the path to possible improvements of the error threshold of fault-tolerant quantum computing.

Noise thresholds for optical cluster-state quantum computation

In this paper we do a detailed numerical investigation of the fault-tolerant threshold for optical cluster-state quantum computation. Our noise model allows both photon loss and depolarizing noise, as a general proxy for all types of local noise other than photon loss noise. We obtain a threshold region of allowed pairs of values for the two types of noise. Roughly speaking, our results show that scalable optical quantum computing is possible in the combined presence of both noise types, provided that the loss probability is less than 3 X 10(-3) and the depolarization probability is less than 10(-4). Our fault-tolerant protocol involves a number of innovations, including a method for syndrome extraction known as telecorrection, whereby repeated syndrome measurements are guaranteed to agree. This paper is an extended version of Dawson.

Noise thresholds for optical quantum computers

In this Letter we numerically investigate the fault-tolerant threshold for optical cluster-state quantum computing. We allow both photon loss noise and depolarizing noise (as a general proxy for all local noise), and obtain a threshold region of allowed pairs of values for the two types of noise. Roughly speaking, our results show that scalable optical quantum computing is possible for photon loss probabilities < 3x10(-3), and for depolarization probabilities < 10(-4).

Error models for mode mismatch in linear optics quantum computing

One of the most significant challenges facing the development of linear optics quantum computing (LOQC) is mode mismatch, whereby photon distinguishability is introduced within circuits, undermining quantum interference effects. We examine the effects of mode mismatch on the parity (or fusion) gate, the fundamental building block in several recent LOQC schemes. We derive simple error models for the effects of mode mismatch on its operation, and relate these error models to current fault-tolerant-threshold estimates.

A randomised control trial of exercise and manipulative therapy for cervicogenic headache

Study Design. A multicenter, randomized controlled trial with unblinded treatment and blinded outcome assessment was conducted. The treatment period was 6 weeks with follow-up assessment after treatment, then at 3, 6, and 12 months. Objectives. To determine the effectiveness of manipulative therapy and a low-load exercise program for cervicogenic headache when used alone and in combination, as compared with a control group. Summary of Background Data. Headaches arising from cervical musculoskeletal disorders are common. Conservative therapies are recommended as the first treatment of choice. Evidence for the effectiveness of manipulative therapy is inconclusive and available only for the short term. There is no evidence for exercise, and no study has investigated the effect of combined therapies for cervicogenic headache. Methods. In this study, 200 participants who met the diagnostic criteria for cervicogenic headache were randomized into four groups: manipulative therapy group, exercise therapy group, combined therapy group, and a control group. The primary outcome was a change in headache frequency. Other outcomes included changes in headache intensity and duration, the Northwick Park Neck Pain Index, medication intake, and patient satisfaction. Physical outcomes included pain on neck movement, upper cervical joint tenderness, a craniocervical flexion muscle test, and a photographic measure of posture. Results. There were no differences in headache-related and demographic characteristics between the groups at baseline. The loss to follow-up evaluation was 3.5%. At the 12-month follow-up assessment, both manipulative therapy and specific exercise had significantly reduced headache frequency and intensity, and the neck pain and effects were maintained (P < 0.05 for all). The combined therapies was not significantly superior to either therapy alone, but 10% more patients gained relief with the combination. Effect sizes were at least moderate and clinically relevant. Conclusion. Manipulative therapy and exercise can reduce the symptoms of cervicogenic headache, and the effects are maintained.

A Research Agenda for Assessing the Potential Contribution of Genomic Medicine to Tobacco Control

This paper identifies research priorities in evaluating the ways in which "genomic medicine"-the use of genetic information to prevent and treat disease-may reduce tobacco-related harm by: (1) assisting more smokers to quit; (2) preventing non-smokers from beginning to smoke tobacco; and (3) reducing the harm caused by tobacco smoking. The method proposed to achieve the first aim is pharmacogenetics", the use of genetic information to optimise the selection of smoking-cessation programmes by screening smokers for polymorphisms that predict responses to different methods of smoking cessation. This method competes with the development of more effective forms of smoking cessation that involve vaccinating smokers against the effects of nicotine and using new pharmaceuticals (such as cannabinoid antagonists and nicotine agonists). The second and third aims are more speculative. They include: screening the population for genetic susceptibility to nicotine dependence and intervening (eg, by vaccinating children and adolescents against the effects of nicotine) to prevent smoking uptake, and screening the population for genetic susceptibility to tobacco-related diseases. A framework is described for future research on these policy options. This includes: epidemiological modelling and economic evaluation to specify the conditions under which these strategies are cost-effective; and social psychological research into the effect of providing genetic information on smokers' preparedness to quit, and the general views of the public on tobacco smoking.

An unexpected role for visual feedback in vehicle steering control

Some motor tasks can be completed, quite literally, with our eyes shut. Most people can touch their nose without looking or reach for an object after only a brief glance at its location. This distinction leads to one of the defining questions of movement control: is information gleaned prior to starting the movement sufficient to complete the task (open loop), or is feedback about the progress of the movement required (closed loop)? One task that has commanded considerable interest in the literature over the years is that of steering a vehicle, in particular lane-correction and lane-changing tasks. Recent work has suggested that this type of task can proceed in a fundamentally open loop manner [1 and 2], with feedback mainly serving to correct minor, accumulating errors. This paper reevaluates the conclusions of these studies by conducting a new set of experiments in a driving simulator. We demonstrate that, in fact, drivers rely on regular visual feedback, even during the well-practiced steering task of lane changing. Without feedback, drivers fail to initiate the return phase of the maneuver, resulting in systematic errors in final heading. The results provide new insight into the control of vehicle heading, suggesting that drivers employ a simple policy of “turn and see,” with only limited understanding of the relationship between steering angle and vehicle heading.

Modifying insect population age structure to control vector-borne disease

Age is a critical determinant of the ability of most arthropod vectors to transmit a range of human pathogens. This is due to the fact that most pathogens require a period of extrinsic incubation in the arthropod host before pathogen transmission can occur. This developmental period for the pathogen often comprises a significant proportion of the expected lifespan of the vector. As such, only a small proportion of the population that is oldest contributes to pathogen transmission. Given this, strategies that target vector age would be expected to obtain the most significant reductions in the capacity of a vector population to transmit disease. The recent identification of biological agents that shorten vector lifespan, such as Wolbachia, entomopathogenic fungi and densoviruses, offer new tools for the control of vector-borne diseases. Evaluation of the efficacy of these strategies under field conditions will be possible due to recent advances in insect age-grading techniques. Implementation of all of these strategies will require extensive field evaluation and consideration of the selective pressures that reductions in vector longevity may induce on both vector and pathogen.

The future of tobacco control: project summary

The National Health and Medical Research Council has funded Professor Wayne Hall (University of Queensland) and Professor Simon Chapman (University of Sydney) for three years 2006-2008, to research aspects of the future of tobacco control, particularly in nations with advanced tobacco control programs like Australia. Dr Coral Gartner (UQ) and Ms Becky Freeman (USyd) are also working on the project. The University of Queensland's eSpace site provides links to papers and data appendices produced by the University of Queensland team on the project. Materials relevant to this project produced by the University of Sydney group are available at the link provided.

Prospects for control of African trypanosomiasis by tsetse vector manipulation

The extensive antigenic variation phenomena African trypanosomes display in their mammalian host have hampered efforts to develop effective vaccines against trypanosomiasis. Human disease management aims largely to treat infected hosts by chemotherapy, whereas control of animal diseases relies on reducing tsetse populations as well as on drug therapy. The control strategies for animal diseases are carried out and financed by livestock owners, who have an obvious economic incentive. Sustaining largely insecticide-based control at a local level and relying on drugs for treatment of infected hosts for a disease for which there is no evidence of acquired immunity could prove extremely costly in the long run. It is more likely that a combination of several methods in an integrated, phased and area-wide approach would be more effective in controlling these diseases and subsequently improving agricultural output. New approaches that are environmentally acceptable, efficacious and affordable are clearly desirable for control of various medically and agriculturally important insects including tsetse. Here, Serap Aksoy and colleagues discuss molecular genetic approaches to modulate tsetse vector competence.

Control of vector-borne disease by genetic manipulation of insect populations: technological requirements and research priorities

The possibility of controlling vector-borne disease through the development and release of transgenic insect vectors has recently gained popular support and is being actively pursued by a number of research laboratories around the world. Several technical problems must be solved before such a strategy could be implemented: genes encoding refractory traits (traits that render the insect unable to transmit the pathogen) must be identified, a transformation system for important vector species has to be developed, and a strategy to spread the refractory trait into natural vector populations must be designed. Recent advances in this field of research make it seem likely that this technology will be available in the near future. In this paper we review recent progress in this area as well as argue that care should be taken in selecting the most appropriate disease system with which to first attempt this form of intervention. Much attention is currently being given to the application of this technology to the control of malaria, transmitted by Anopheles gambiae in Africa. While malaria is undoubtedly the most important vector-borne disease in the world and its control should remain an important goal, we maintain that the complex epidemiology of malaria together with the intense transmission rates in Africa may make it unsuitable for the first application of this technology. Diseases such as African trypanosomiasis, transmitted by the tsetse fly, or unstable malaria in India may provide more appropriate initial targets to evaluate the potential of this form of intervention.