-
Majorana qubit codes that also correct odd-weight errors
Authors:
Sourav Kundu,
Ben W. Reichardt
Abstract:
The tetron architecture is a promising candidate for topological quantum computation. Each tetron Majorana island has four Majorana zero modes, and possible measurements are constrained to span zero or two Majoranas per tetron. Such measurements are known to be sufficient for correcting so-called "bosonic errors," which affect an even number of Majoranas per tetron. We demonstrate that such measur…
▽ More
The tetron architecture is a promising candidate for topological quantum computation. Each tetron Majorana island has four Majorana zero modes, and possible measurements are constrained to span zero or two Majoranas per tetron. Such measurements are known to be sufficient for correcting so-called "bosonic errors," which affect an even number of Majoranas per tetron. We demonstrate that such measurements are also sufficient for correcting "fermionic errors," which affect an odd number of Majoranas per tetron. In contrast, previous proposals for "fermionic error correction" on tetrons introduce more experimental challenges. We show that "fermionic codes" can be derived from traditional "bosonic codes" by inclusion of tetrons in the stabilizer group.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
Distance-four quantum codes with combined postselection and error correction
Authors:
Prithviraj Prabhu,
Ben W. Reichardt
Abstract:
When storing encoded qubits, if single faults can be corrected and double faults postselected against, logical errors only occur due to at least three faults. At current noise rates, having to restart when two errors are detected prevents very long-term storage, but this should not be an issue for low-depth computations. We consider distance-four, efficient encodings of multiple qubits into a modi…
▽ More
When storing encoded qubits, if single faults can be corrected and double faults postselected against, logical errors only occur due to at least three faults. At current noise rates, having to restart when two errors are detected prevents very long-term storage, but this should not be an issue for low-depth computations. We consider distance-four, efficient encodings of multiple qubits into a modified planar patch of the $16$-qubit surface code. We simulate postselected error correction for up to $12000$ rounds of parallel stabilizer measurements, and subsequently estimate the cumulative probability of logical error for up to twelve encoded qubits.
Our results demonstrate a combination of low logical error rate and low physical overhead. For example, the distance-four surface code, using postselection, accumulates $25$ times less error than its distance-five counterpart. For $six$ encoded qubits, a distance-four code using $25$ qubits protects as well as the distance-five surface code using $246$ qubits.
Hence distance-four codes, using postselection and in a planar geometry, are qubit-efficient candidates for fault-tolerant, moderate-depth computations.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Fault-tolerant syndrome extraction and cat state preparation with fewer qubits
Authors:
Prithviraj Prabhu,
Ben W. Reichardt
Abstract:
We reduce the extra qubits needed for two fault-tolerant quantum computing protocols: error correction, specifically syndrome bit measurement, and cat state preparation. For distance-three fault-tolerant syndrome extraction, we show an exponential reduction in qubit overhead over the previous best protocol. For a weight-$w$ stabilizer, we demonstrate that stabilizer measurement tolerating one faul…
▽ More
We reduce the extra qubits needed for two fault-tolerant quantum computing protocols: error correction, specifically syndrome bit measurement, and cat state preparation. For distance-three fault-tolerant syndrome extraction, we show an exponential reduction in qubit overhead over the previous best protocol. For a weight-$w$ stabilizer, we demonstrate that stabilizer measurement tolerating one fault needs at most $\lceil \log_2 w \rceil + 1$ ancilla qubits. If qubits reset quickly, four ancillas suffice. We also study the preparation of entangled cat states, and prove that the overhead for distance-three fault tolerance is logarithmic in the cat state size. These results apply both to near-term experiments with a few qubits, and to the general study of the asymptotic resource requirements of syndrome measurement and state preparation.
With $a$ flag qubits, previous methods use $O(a)$ flag patterns to identify faults. In order to use the same flag qubits more efficiently, we show how to use nearly all $2^a$ possible flag patterns, by constructing maximal-length paths through the $a$-dimensional hypercube.
△ Less
Submitted 20 October, 2023; v1 submitted 4 August, 2021;
originally announced August 2021.
-
Short Shor-style syndrome sequences
Authors:
Nicolas Delfosse,
Ben W. Reichardt
Abstract:
We optimize fault-tolerant quantum error correction to reduce the number of syndrome bit measurements. Speeding up error correction will also speed up an encoded quantum computation, and should reduce its effective error rate. We give both code-specific and general methods, using a variety of techniques and in a variety of settings. We design new quantum error-correcting codes specifically for eff…
▽ More
We optimize fault-tolerant quantum error correction to reduce the number of syndrome bit measurements. Speeding up error correction will also speed up an encoded quantum computation, and should reduce its effective error rate. We give both code-specific and general methods, using a variety of techniques and in a variety of settings. We design new quantum error-correcting codes specifically for efficient error correction, e.g., allowing single-shot error correction. For codes with multiple logical qubits, we give methods for combining error correction with partial logical measurements. There are tradeoffs in choosing a code and error-correction technique. While to date most work has concentrated on optimizing the syndrome-extraction procedure, we show that there are also substantial benefits to optimizing how the measured syndromes are chosen and used. As an example, we design single-shot measurement sequences for fault-tolerant quantum error correction with the 16-qubit extended Hamming code. Our scheme uses 10 syndrome bit measurements, compared to 40 measurements with the Shor scheme. We design single-shot logical measurements as well: any logical Z measurement can be made together with fault-tolerant error correction using only 11 measurements. For comparison, using the Shor scheme a basic implementation of such a non-destructive logical measurement uses 63 measurements. We also offer ten open problems, the solutions of which could lead to substantial improvements of fault-tolerant error correction.
△ Less
Submitted 11 August, 2020;
originally announced August 2020.
-
Quantum dimension test using the uncertainty principle
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
We propose a test for certifying the dimension of a quantum system: store in it a random $n$-bit string, in either the computational or the Hadamard basis, and later check that the string can be mostly recovered. The protocol tolerates noise, and the verifier only needs to prepare one-qubit states. The analysis is based on uncertainty relations in the presence of quantum memory, due to Berta et al…
▽ More
We propose a test for certifying the dimension of a quantum system: store in it a random $n$-bit string, in either the computational or the Hadamard basis, and later check that the string can be mostly recovered. The protocol tolerates noise, and the verifier only needs to prepare one-qubit states. The analysis is based on uncertainty relations in the presence of quantum memory, due to Berta et al. (2010).
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
Beyond single-shot fault-tolerant quantum error correction
Authors:
Nicolas Delfosse,
Ben W. Reichardt,
Krysta M. Svore
Abstract:
Extensive quantum error correction is necessary in order to perform a useful computation on a noisy quantum computer. Moreover, quantum error correction must be implemented based on imperfect parity check measurements that may return incorrect outcomes or inject additional faults into the qubits. To achieve fault-tolerant error correction, Shor proposed to repeat the sequence of parity check measu…
▽ More
Extensive quantum error correction is necessary in order to perform a useful computation on a noisy quantum computer. Moreover, quantum error correction must be implemented based on imperfect parity check measurements that may return incorrect outcomes or inject additional faults into the qubits. To achieve fault-tolerant error correction, Shor proposed to repeat the sequence of parity check measurements until the same outcome is observed sufficiently many times. Then, one can use this information to perform error correction. A basic implementation of this fault tolerance strategy requires $Ω(r d^2)$ parity check measurements for a distance-d code defined by r parity checks. For some specific highly structured quantum codes, Bombin has shown that single-shot fault-tolerant quantum error correction is possible using only r measurements. In this work, we demonstrate that fault-tolerant quantum error correction can be achieved using $O(d \log(d))$ measurements for any code with distance $d \geq Ω(n^α)$ for some constant $α> 0$. Moreover, we prove the existence of a sub-single-shot fault-tolerant quantum error correction scheme using fewer than r measurements. In some cases, the number of parity check measurements required for fault-tolerant quantum error correction is exponentially smaller than the number of parity checks defining the code.
△ Less
Submitted 12 February, 2020;
originally announced February 2020.
-
Flag fault-tolerant error correction for any stabilizer code
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
Conventional fault-tolerant quantum error-correction schemes require a number of extra qubits that grows linearly with the code's maximum stabilizer generator weight. For some common distance-three codes, the recent "flag paradigm" uses just two extra qubits. Chamberland and Beverland (2018) provide a framework for flag error correction of arbitrary-distance codes. However, their construction requ…
▽ More
Conventional fault-tolerant quantum error-correction schemes require a number of extra qubits that grows linearly with the code's maximum stabilizer generator weight. For some common distance-three codes, the recent "flag paradigm" uses just two extra qubits. Chamberland and Beverland (2018) provide a framework for flag error correction of arbitrary-distance codes. However, their construction requires conditions that only some code families are known to satisfy. We give a flag error-correction scheme that works for any stabilizer code, unconditionally. With fast qubit measurement and reset, it uses $d+1$ extra qubits for a distance-$d$ code.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
Fault-tolerant quantum error correction for Steane's seven-qubit color code with few or no extra qubits
Authors:
Ben W. Reichardt
Abstract:
Steane's seven-qubit quantum code is a natural choice for fault-tolerance experiments because it is small and just two extra qubits are enough to correct errors. However, the two-qubit error-correction technique, known as "flagged" syndrome extraction, works slowly, measuring only one syndrome at a time. This is a disadvantage in experiments with high qubit rest error rates. We extend the techniqu…
▽ More
Steane's seven-qubit quantum code is a natural choice for fault-tolerance experiments because it is small and just two extra qubits are enough to correct errors. However, the two-qubit error-correction technique, known as "flagged" syndrome extraction, works slowly, measuring only one syndrome at a time. This is a disadvantage in experiments with high qubit rest error rates. We extend the technique to extract multiple syndromes at once, without needing more qubits. Qubits for different syndromes can flag errors in each other. This gives equally fast and more qubit-efficient alternatives to Steane's error-correction method, and also conforms to planar geometry constraints.
We further show that Steane's code and some others can be error-corrected with no extra qubits, provided there are at least two code blocks. The rough idea is that two seven-qubit codewords can be temporarily joined into a twelve-qubit code, freeing two qubits for flagged syndrome measurement.
△ Less
Submitted 19 April, 2018;
originally announced April 2018.
-
Test to separate quantum theory from non-signaling theories
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
A Bell test separates quantum mechanics from a classical, local realist theory of physics. However, a Bell test cannot separate quantum physics from all classical theories. Classical devices supplemented with non-signaling correlations, e.g., the Popescu-Rohrlich "nonlocal box," can pass a Bell test with probability at least as high as any quantum devices can. After all, quantum entanglement does…
▽ More
A Bell test separates quantum mechanics from a classical, local realist theory of physics. However, a Bell test cannot separate quantum physics from all classical theories. Classical devices supplemented with non-signaling correlations, e.g., the Popescu-Rohrlich "nonlocal box," can pass a Bell test with probability at least as high as any quantum devices can. After all, quantum entanglement does not allow for signaling faster than the speed of light, so in a sense is a weaker special case of non-signaling correlations. It could be that underneath quantum mechanics is a deeper non-signaling theory.
We present a test to separate quantum theory from powerful non-signaling theories. The test extends the CHSH game to involve three space-like separated devices. Quantum devices sharing a three-qubit GHZ state can pass the test with probability 5.1% higher than classical devices sharing arbitrary non-signaling correlations between pairs.
More generally, we give a test that k space-like separated quantum devices can pass with higher probability than classical devices sharing arbitrary (k-1)-local non-signaling correlations.
△ Less
Submitted 6 June, 2017;
originally announced June 2017.
-
Fault-tolerant quantum computation with few qubits
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
Reliable qubits are difficult to engineer, but standard fault-tolerance schemes use seven or more physical qubits to encode each logical qubit, with still more qubits required for error correction. The large overhead makes it hard to experiment with fault-tolerance schemes with multiple encoded qubits.
The 15-qubit Hamming code protects seven encoded qubits to distance three. We give fault-toler…
▽ More
Reliable qubits are difficult to engineer, but standard fault-tolerance schemes use seven or more physical qubits to encode each logical qubit, with still more qubits required for error correction. The large overhead makes it hard to experiment with fault-tolerance schemes with multiple encoded qubits.
The 15-qubit Hamming code protects seven encoded qubits to distance three. We give fault-tolerant procedures for applying arbitrary Clifford operations on these encoded qubits, using only two extra qubits, 17 total. In particular, individual encoded qubits within the code block can be targeted. Fault-tolerant universal computation is possible with four extra qubits, 19 total. The procedures could enable testing more sophisticated protected circuits in small-scale quantum devices.
Our main technique is to use gadgets to protect gates against correlated faults. We also take advantage of special code symmetries, and use pieceable fault tolerance.
△ Less
Submitted 15 May, 2017;
originally announced May 2017.
-
Quantum error correction with only two extra qubits
Authors:
Rui Chao,
Ben W. Reichardt
Abstract:
Noise rates in quantum computing experiments have dropped dramatically, but reliable qubits remain precious. Fault-tolerance schemes with minimal qubit overhead are therefore essential. We introduce fault-tolerant error-correction procedures that use only two ancilla qubits. The procedures are based on adding "flags" to catch the faults that can lead to correlated errors on the data. They work for…
▽ More
Noise rates in quantum computing experiments have dropped dramatically, but reliable qubits remain precious. Fault-tolerance schemes with minimal qubit overhead are therefore essential. We introduce fault-tolerant error-correction procedures that use only two ancilla qubits. The procedures are based on adding "flags" to catch the faults that can lead to correlated errors on the data. They work for various distance-three codes.
In particular, our scheme allows one to test the [[5,1,3]] code, the smallest error-correcting code, using only seven qubits total. Our techniques also apply to the [[7,1,3]] and [[15,7,3]] Hamming codes, thus allowing to protect seven encoded qubits on a device with only 17 physical qubits.
△ Less
Submitted 5 May, 2017;
originally announced May 2017.
-
Overlapping qubits
Authors:
Rui Chao,
Ben W. Reichardt,
Chris Sutherland,
Thomas Vidick
Abstract:
An ideal system of $n$ qubits has $2^n$ dimensions. This exponential grants power, but also hinders characterizing the system's state and dynamics. We study a new problem: the qubits in a physical system might not be independent. They can "overlap," in the sense that an operation on one qubit slightly affects the others.
We show that allowing for slight overlaps, $n$ qubits can fit in just polyn…
▽ More
An ideal system of $n$ qubits has $2^n$ dimensions. This exponential grants power, but also hinders characterizing the system's state and dynamics. We study a new problem: the qubits in a physical system might not be independent. They can "overlap," in the sense that an operation on one qubit slightly affects the others.
We show that allowing for slight overlaps, $n$ qubits can fit in just polynomially many dimensions. (Defined in a natural way, all pairwise overlaps can be $\leq ε$ in $n^{O(1/ε^2)}$ dimensions.) Thus, even before considering issues like noise, a real system of $n$ qubits might inherently lack any potential for exponential power.
On the other hand, we also provide an efficient test to certify exponential dimensionality. Unfortunately, the test is sensitive to noise. It is important to devise more robust tests on the arrangements of qubits in quantum devices.
△ Less
Submitted 4 January, 2017;
originally announced January 2017.
-
Test for a large amount of entanglement, using few measurements
Authors:
Rui Chao,
Ben W. Reichardt,
Chris Sutherland,
Thomas Vidick
Abstract:
Bell-inequality violations establish that two systems share some quantum entanglement. We give a simple test to certify that two systems share an asymptotically large amount of entanglement, n EPR states. The test is efficient: unlike earlier tests that play many games, in sequence or in parallel, our test requires only one or two CHSH games. One system is directed to play a CHSH game on a random…
▽ More
Bell-inequality violations establish that two systems share some quantum entanglement. We give a simple test to certify that two systems share an asymptotically large amount of entanglement, n EPR states. The test is efficient: unlike earlier tests that play many games, in sequence or in parallel, our test requires only one or two CHSH games. One system is directed to play a CHSH game on a random specified qubit i, and the other is told to play games on qubits {i,j}, without knowing which index is i.
The test is robust: a success probability within delta of optimal guarantees distance O(n^{5/2} sqrt{delta}) from n EPR states. However, the test does not tolerate constant delta; it breaks down for delta = Omega~(1/sqrt{n}). We give an adversarial strategy that succeeds within delta of the optimum probability using only O~(delta^{-2}) EPR states.
△ Less
Submitted 29 August, 2018; v1 submitted 3 October, 2016;
originally announced October 2016.
-
Phonons and electron-phonon coupling in the phonon-mediated superconductor YNi2B2C
Authors:
F. Weber,
L. Pintschovius,
W. Reichardt,
R. Heid,
K. -P. Bohnen,
A. Kreyssig,
D. Reznik,
K. Hradil
Abstract:
We present a combined density-functional-perturbation-theory and inelastic neutron scattering study of the lattice dynamical properties of YNi2B2C. In general, very good agreement was found between theory and experiment for both phonon energies and line widths. Our analysis reveals that the strong coupling of certain low energy modes is linked to the presence of large displacements of the light at…
▽ More
We present a combined density-functional-perturbation-theory and inelastic neutron scattering study of the lattice dynamical properties of YNi2B2C. In general, very good agreement was found between theory and experiment for both phonon energies and line widths. Our analysis reveals that the strong coupling of certain low energy modes is linked to the presence of large displacements of the light atoms, i.e. B and C, which is unusual in view of the rather low phonon energies. Specific modes exhibiting a strong coupling to the electronic quasiparticles were investigated as a function of temperature. Their energies and line widths showed marked changes on cooling from room temperature to just above the superconducting transition at Tc = 15.2 K. Calculations simulating the effects of temperature allow to model the observed temperature dependence qualitatively.
△ Less
Submitted 2 April, 2014;
originally announced April 2014.
-
Universal fault-tolerant quantum computation with only transversal gates and error correction
Authors:
Adam Paetznick,
Ben W. Reichardt
Abstract:
Transversal implementations of encoded unitary gates are highly desirable for fault-tolerant quantum computation. Though transversal gates alone cannot be computationally universal, they can be combined with specially distilled resource states in order to achieve universality. We show that "triorthogonal" stabilizer codes, introduced for state distillation by Bravyi and Haah [Phys. Rev. A 86 05232…
▽ More
Transversal implementations of encoded unitary gates are highly desirable for fault-tolerant quantum computation. Though transversal gates alone cannot be computationally universal, they can be combined with specially distilled resource states in order to achieve universality. We show that "triorthogonal" stabilizer codes, introduced for state distillation by Bravyi and Haah [Phys. Rev. A 86 052329 (2012)], admit transversal implementation of the controlled-controlled-Z gate. We then construct a universal set of fault-tolerant gates without state distillation by using only transversal controlled-controlled-Z, transversal Hadamard, and fault-tolerant error correction. We also adapt the distillation procedure of Bravyi and Haah to Toffoli gates, improving on existing Toffoli distillation schemes.
△ Less
Submitted 4 September, 2013; v1 submitted 12 April, 2013;
originally announced April 2013.
-
Classical command of quantum systems via rigidity of CHSH games
Authors:
Ben W. Reichardt,
Falk Unger,
Umesh Vazirani
Abstract:
Can a classical system command a general adversarial quantum system to realize arbitrary quantum dynamics? If so, then we could realize the dream of device-independent quantum cryptography: using untrusted quantum devices to establish a shared random key, with security based on the correctness of quantum mechanics. It would also allow for testing whether a claimed quantum computer is truly quantum…
▽ More
Can a classical system command a general adversarial quantum system to realize arbitrary quantum dynamics? If so, then we could realize the dream of device-independent quantum cryptography: using untrusted quantum devices to establish a shared random key, with security based on the correctness of quantum mechanics. It would also allow for testing whether a claimed quantum computer is truly quantum. Here we report a technique by which a classical system can certify the joint, entangled state of a bipartite quantum system, as well as command the application of specific operators on each subsystem. This is accomplished by showing a strong converse to Tsirelson's optimality result for the Clauser-Horne-Shimony-Holt (CHSH) game: the only way to win many games is if the bipartite state is close to the tensor product of EPR states, and the measurements are the optimal CHSH measurements on successive qubits. This leads directly to a scheme for device-independent quantum key distribution. Control over the state and operators can also be leveraged to create more elaborate protocols for reliably realizing general quantum circuits.
△ Less
Submitted 3 September, 2012;
originally announced September 2012.
-
A classical leash for a quantum system: Command of quantum systems via rigidity of CHSH games
Authors:
Ben W. Reichardt,
Falk Unger,
Umesh Vazirani
Abstract:
Can a classical system command a general adversarial quantum system to realize arbitrary quantum dynamics? If so, then we could realize the dream of device-independent quantum cryptography: using untrusted quantum devices to establish a shared random key, with security based on the correctness of quantum mechanics. It would also allow for testing whether a claimed quantum computer is truly quantum…
▽ More
Can a classical system command a general adversarial quantum system to realize arbitrary quantum dynamics? If so, then we could realize the dream of device-independent quantum cryptography: using untrusted quantum devices to establish a shared random key, with security based on the correctness of quantum mechanics. It would also allow for testing whether a claimed quantum computer is truly quantum. Here we report a technique by which a classical system can certify the joint, entangled state of a bipartite quantum system, as well as command the application of specific operators on each subsystem. This is accomplished by showing a strong converse to Tsirelson's optimality result for the Clauser-Horne-Shimony-Holt (CHSH) game: the only way to win many games is if the bipartite state is close to the tensor product of EPR states, and the measurements are the optimal CHSH measurements on successive qubits. This leads directly to a scheme for device-independent quantum key distribution. Control over the state and operators can also be leveraged to create more elaborate protocols for realizing general quantum circuits, and to establish that QMIP = MIP*.
△ Less
Submitted 3 September, 2012;
originally announced September 2012.
-
Electron-phonon coupling in the conventional superconductor YNi$_2$B$_2$C at high phonon energies studied by time-of-flight neutron spectroscopy
Authors:
F. Weber,
S. Rosenkranz,
L. Pintschovius,
J. -P. Castellan,
R. Osborn,
W. Reichardt,
R. Heid,
K. -P. Bohnen,
E. A. Goremychkin,
A. Kreyssig,
K. Hradil,
D. L. Abernathy
Abstract:
We report an inelastic neutron scattering investigation of phonons with energies up to 159 meV in the conventional superconductor YNi$_2$B$_2$C. Using the SWEEP mode, a newly developed time-of-flight technique involving the continuous rotation of a single crystal specimen, allowed us to measure a four dimensional volume in (Q,E) space and, thus, determine the dispersion surface and linewidths of t…
▽ More
We report an inelastic neutron scattering investigation of phonons with energies up to 159 meV in the conventional superconductor YNi$_2$B$_2$C. Using the SWEEP mode, a newly developed time-of-flight technique involving the continuous rotation of a single crystal specimen, allowed us to measure a four dimensional volume in (Q,E) space and, thus, determine the dispersion surface and linewidths of the $A_{1g}$ (~ 102 meV) and $A_u$ (~ 159 meV) type phonon modes for the whole Brillouin zone. Despite of having linewidths of $Γ= 10 meV$, $A_{1g}$ modes do not strongly contribute to the total electron-phonon coupling constant $λ$. However, experimental linewidths show a remarkable agreement with ab-initio calculations over the complete phonon energy range demonstrating the accuracy of such calculations in a rare comparison to a comprehensive experimental data set.
△ Less
Submitted 3 July, 2012;
originally announced July 2012.
-
Systematic distillation of composite Fibonacci anyons using one mobile quasiparticle
Authors:
Ben W. Reichardt
Abstract:
A topological quantum computer should allow intrinsically fault-tolerant quantum computation, but there remains uncertainty about how such a computer can be implemented. It is known that topological quantum computation can be implemented with limited quasiparticle braiding capabilities, in fact using only a single mobile quasiparticle, if the system can be properly initialized by measurements. It…
▽ More
A topological quantum computer should allow intrinsically fault-tolerant quantum computation, but there remains uncertainty about how such a computer can be implemented. It is known that topological quantum computation can be implemented with limited quasiparticle braiding capabilities, in fact using only a single mobile quasiparticle, if the system can be properly initialized by measurements. It is also known that measurements alone suffice without any braiding, provided that the measurement devices can be dynamically created and modified. We study a model in which both measurement and braiding capabilities are limited. Given the ability to pull nontrivial Fibonacci anyon pairs from the vacuum with a certain success probability, we show how to simulate universal quantum computation by braiding one quasiparticle and with only one measurement, to read out the result. The difficulty lies in initializing the system. We give a systematic construction of a family of braid sequences that initialize to arbitrary accuracy nontrivial composite anyons. Instead of using the Solovay-Kitaev theorem, the sequences are based on a quantum algorithm for convergent search.
△ Less
Submitted 1 June, 2012;
originally announced June 2012.
-
Span programs and quantum algorithms for st-connectivity and claw detection
Authors:
Aleksandrs Belovs,
Ben W. Reichardt
Abstract:
We introduce a span program that decides st-connectivity, and generalize the span program to develop quantum algorithms for several graph problems. First, we give an algorithm for st-connectivity that uses O(n d^{1/2}) quantum queries to the n x n adjacency matrix to decide if vertices s and t are connected, under the promise that they either are connected by a path of length at most d, or are dis…
▽ More
We introduce a span program that decides st-connectivity, and generalize the span program to develop quantum algorithms for several graph problems. First, we give an algorithm for st-connectivity that uses O(n d^{1/2}) quantum queries to the n x n adjacency matrix to decide if vertices s and t are connected, under the promise that they either are connected by a path of length at most d, or are disconnected. We also show that if T is a path, a star with two subdivided legs, or a subdivision of a claw, its presence as a subgraph in the input graph G can be detected with O(n) quantum queries to the adjacency matrix. Under the promise that G either contains T as a subgraph or does not contain T as a minor, we give O(n)-query quantum algorithms for detecting T either a triangle or a subdivision of a star. All these algorithms can be implemented time efficiently and, except for the triangle-detection algorithm, in logarithmic space. One of the main techniques is to modify the st-connectivity span program to drop along the way "breadcrumbs," which must be retrieved before the path from s is allowed to enter t.
△ Less
Submitted 12 March, 2012;
originally announced March 2012.
-
Fault-tolerant ancilla preparation and noise threshold lower bounds for the 23-qubit Golay code
Authors:
Adam Paetznick,
Ben W. Reichardt
Abstract:
In fault-tolerant quantum computing schemes, the overhead is often dominated by the cost of preparing codewords reliably. This cost generally increases quadratically with the block size of the underlying quantum error-correcting code. In consequence, large codes that are otherwise very efficient have found limited fault-tolerance applications. Fault-tolerant preparation circuits therefore are an i…
▽ More
In fault-tolerant quantum computing schemes, the overhead is often dominated by the cost of preparing codewords reliably. This cost generally increases quadratically with the block size of the underlying quantum error-correcting code. In consequence, large codes that are otherwise very efficient have found limited fault-tolerance applications. Fault-tolerant preparation circuits therefore are an important target for optimization.
We study the Golay code, a 23-qubit quantum error-correcting code that protects the logical qubit to a distance of seven. In simulations, even using a naive ancilla preparation procedure, the Golay code is competitive with other codes both in terms of overhead and the tolerable noise threshold. We provide two simplified circuits for fault-tolerant preparation of Golay code-encoded ancillas. The new circuits minimize error propagation, reducing the overhead by roughly a factor of four compared to standard encoding circuits. By adapting the malignant set counting technique to depolarizing noise, we further prove a threshold above 1.32 x 10^{-3} noise per gate.
△ Less
Submitted 12 April, 2013; v1 submitted 10 June, 2011;
originally announced June 2011.
-
Quantum query complexity of state conversion
Authors:
Troy Lee,
Rajat Mittal,
Ben W. Reichardt,
Robert Spalek,
Mario Szegedy
Abstract:
State conversion generalizes query complexity to the problem of converting between two input-dependent quantum states by making queries to the input. We characterize the complexity of this problem by introducing a natural information-theoretic norm that extends the Schur product operator norm. The complexity of converting between two systems of states is given by the distance between them, as meas…
▽ More
State conversion generalizes query complexity to the problem of converting between two input-dependent quantum states by making queries to the input. We characterize the complexity of this problem by introducing a natural information-theoretic norm that extends the Schur product operator norm. The complexity of converting between two systems of states is given by the distance between them, as measured by this norm.
In the special case of function evaluation, the norm is closely related to the general adversary bound, a semi-definite program that lower-bounds the number of input queries needed by a quantum algorithm to evaluate a function. We thus obtain that the general adversary bound characterizes the quantum query complexity of any function whatsoever. This generalizes and simplifies the proof of the same result in the case of boolean input and output. Also in the case of function evaluation, we show that our norm satisfies a remarkable composition property, implying that the quantum query complexity of the composition of two functions is at most the product of the query complexities of the functions, up to a constant. Finally, our result implies that discrete and continuous-time query models are equivalent in the bounded-error setting, even for the general state-conversion problem.
△ Less
Submitted 23 August, 2011; v1 submitted 12 November, 2010;
originally announced November 2010.
-
Reflections for quantum query algorithms
Authors:
Ben W. Reichardt
Abstract:
We show that any boolean function can be evaluated optimally by a quantum query algorithm that alternates a certain fixed, input-independent reflection with a second reflection that coherently queries the input string. Originally introduced for solving the unstructured search problem, this two-reflections structure is therefore a universal feature of quantum algorithms.
Our proof goes via the ge…
▽ More
We show that any boolean function can be evaluated optimally by a quantum query algorithm that alternates a certain fixed, input-independent reflection with a second reflection that coherently queries the input string. Originally introduced for solving the unstructured search problem, this two-reflections structure is therefore a universal feature of quantum algorithms.
Our proof goes via the general adversary bound, a semi-definite program (SDP) that lower-bounds the quantum query complexity of a function. By a quantum algorithm for evaluating span programs, this lower bound is known to be tight up to a sub-logarithmic factor. The extra factor comes from converting a continuous-time query algorithm into a discrete-query algorithm. We give a direct and simplified quantum algorithm based on the dual SDP, with a bounded-error query complexity that matches the general adversary bound.
Therefore, the general adversary lower bound is tight; it is in fact an SDP for quantum query complexity. This implies that the quantum query complexity of the composition f(g,...,g) of two boolean functions f and g matches the product of the query complexities of f and g, without a logarithmic factor for error reduction. It further shows that span programs are equivalent to quantum query algorithms.
△ Less
Submitted 10 May, 2010;
originally announced May 2010.
-
Approximating Turaev-Viro 3-manifold invariants is universal for quantum computation
Authors:
Gorjan Alagic,
Stephen P. Jordan,
Robert Koenig,
Ben W. Reichardt
Abstract:
The Turaev-Viro invariants are scalar topological invariants of compact, orientable 3-manifolds. We give a quantum algorithm for additively approximating Turaev-Viro invariants of a manifold presented by a Heegaard splitting. The algorithm is motivated by the relationship between topological quantum computers and (2+1)-D topological quantum field theories. Its accuracy is shown to be nontrivial,…
▽ More
The Turaev-Viro invariants are scalar topological invariants of compact, orientable 3-manifolds. We give a quantum algorithm for additively approximating Turaev-Viro invariants of a manifold presented by a Heegaard splitting. The algorithm is motivated by the relationship between topological quantum computers and (2+1)-D topological quantum field theories. Its accuracy is shown to be nontrivial, as the same algorithm, after efficient classical preprocessing, can solve any problem efficiently decidable by a quantum computer. Thus approximating certain Turaev-Viro invariants of manifolds presented by Heegaard splittings is a universal problem for quantum computation. This establishes a novel relation between the task of distinguishing non-homeomorphic 3-manifolds and the power of a general quantum computer.
△ Less
Submitted 3 March, 2010;
originally announced March 2010.
-
Quantum computation with Turaev-Viro codes
Authors:
Robert Koenig,
Greg Kuperberg,
Ben W. Reichardt
Abstract:
The Turaev-Viro invariant for a closed 3-manifold is defined as the contraction of a certain tensor network. The tensors correspond to tetrahedra in a triangulation of the manifold, with values determined by a fixed spherical category. For a manifold with boundary, the tensor network has free indices that can be associated to qudits, and its contraction gives the coefficients of a quantum error-…
▽ More
The Turaev-Viro invariant for a closed 3-manifold is defined as the contraction of a certain tensor network. The tensors correspond to tetrahedra in a triangulation of the manifold, with values determined by a fixed spherical category. For a manifold with boundary, the tensor network has free indices that can be associated to qudits, and its contraction gives the coefficients of a quantum error-correcting code. The code has local stabilizers determined by Levin and Wen. For example, applied to the genus-one handlebody using the Z_2 category, this construction yields the well-known toric code.
For other categories, such as the Fibonacci category, the construction realizes a non-abelian anyon model over a discrete lattice. By studying braid group representations acting on equivalence classes of colored ribbon graphs embedded in a punctured sphere, we identify the anyons, and give a simple recipe for mapping fusion basis states of the doubled category to ribbon graphs. We explain how suitable initial states can be prepared efficiently, how to implement braids, by successively changing the triangulation using a fixed five-qudit local unitary gate, and how to measure the topological charge. Combined with known universality results for anyonic systems, this provides a large family of schemes for quantum computation based on local deformations of stabilizer codes. These schemes may serve as a starting point for developing fault-tolerance schemes using continuous stabilizer measurements and active error-correction.
△ Less
Submitted 15 February, 2010;
originally announced February 2010.
-
Faster quantum algorithm for evaluating game trees
Authors:
Ben W. Reichardt
Abstract:
We give an O(sqrt n log n)-query quantum algorithm for evaluating size-n AND-OR formulas. Its running time is poly-logarithmically greater after efficient preprocessing. Unlike previous approaches, the algorithm is based on a quantum walk on a graph that is not a tree. Instead, the algorithm is based on a hybrid of direct-sum span program composition, which generates tree-like graphs, and a nove…
▽ More
We give an O(sqrt n log n)-query quantum algorithm for evaluating size-n AND-OR formulas. Its running time is poly-logarithmically greater after efficient preprocessing. Unlike previous approaches, the algorithm is based on a quantum walk on a graph that is not a tree. Instead, the algorithm is based on a hybrid of direct-sum span program composition, which generates tree-like graphs, and a novel tensor-product span program composition method, which generates graphs with vertices corresponding to minimal zero-certificates.
For comparison, by the general adversary bound, the quantum query complexity for evaluating a size-n read-once AND-OR formula is at least Omega(sqrt n), and at most O(sqrt{n} log n / log log n). However, this algorithm is not necessarily time efficient; the number of elementary quantum gates applied between input queries could be much larger. Ambainis et al. have given a quantum algorithm that uses sqrt{n} 2^{O(sqrt{log n})} queries, with a poly-logarithmically greater running time.
△ Less
Submitted 9 July, 2009;
originally announced July 2009.
-
Span-program-based quantum algorithm for evaluating unbalanced formulas
Authors:
Ben W. Reichardt
Abstract:
The formula-evaluation problem is defined recursively. A formula's evaluation is the evaluation of a gate, the inputs of which are themselves independent formulas. Despite this pure recursive structure, the problem is combinatorially difficult for classical computers.
A quantum algorithm is given to evaluate formulas over any finite boolean gate set. Provided that the complexities of the input…
▽ More
The formula-evaluation problem is defined recursively. A formula's evaluation is the evaluation of a gate, the inputs of which are themselves independent formulas. Despite this pure recursive structure, the problem is combinatorially difficult for classical computers.
A quantum algorithm is given to evaluate formulas over any finite boolean gate set. Provided that the complexities of the input subformulas to any gate differ by at most a constant factor, the algorithm has optimal query complexity. After efficient preprocessing, it is nearly time optimal. The algorithm is derived using the span program framework. It corresponds to the composition of the individual span programs for each gate in the formula. Thus the algorithm's structure reflects the formula's recursive structure.
△ Less
Submitted 9 July, 2009;
originally announced July 2009.
-
Span programs and quantum query complexity: The general adversary bound is nearly tight for every boolean function
Authors:
Ben W. Reichardt
Abstract:
The general adversary bound is a semi-definite program (SDP) that lower-bounds the quantum query complexity of a function. We turn this lower bound into an upper bound, by giving a quantum walk algorithm based on the dual SDP that has query complexity at most the general adversary bound, up to a logarithmic factor.
In more detail, the proof has two steps, each based on "span programs," a certa…
▽ More
The general adversary bound is a semi-definite program (SDP) that lower-bounds the quantum query complexity of a function. We turn this lower bound into an upper bound, by giving a quantum walk algorithm based on the dual SDP that has query complexity at most the general adversary bound, up to a logarithmic factor.
In more detail, the proof has two steps, each based on "span programs," a certain linear-algebraic model of computation. First, we give an SDP that outputs for any boolean function a span program computing it that has optimal "witness size." The optimal witness size is shown to coincide with the general adversary lower bound. Second, we give a quantum algorithm for evaluating span programs with only a logarithmic query overhead on the witness size.
The first result is motivated by a quantum algorithm for evaluating composed span programs. The algorithm is known to be optimal for evaluating a large class of formulas. The allowed gates include all constant-size functions for which there is an optimal span program. So far, good span programs have been found in an ad hoc manner, and the SDP automates this procedure. Surprisingly, the SDP's value equals the general adversary bound. A corollary is an optimal quantum algorithm for evaluating "balanced" formulas over any finite boolean gate set. The second result extends span programs' applicability beyond the formula evaluation problem.
A strong universality result for span programs follows. A good quantum query algorithm for a problem implies a good span program, and vice versa. Although nearly tight, this equivalence is nontrivial. Span programs are a promising model for developing more quantum algorithms.
△ Less
Submitted 17 April, 2009;
originally announced April 2009.
-
Direct observation of the superconducting gap in phonon spectra
Authors:
F. Weber,
A. Kreyssig,
L. Pintschovius,
R. Heid,
W. Reichardt,
D. Reznik,
O. Stockert,
K. Hradil
Abstract:
We show that the superconducting energy gap $Δ$ can be directly observed in phonon spectra, as predicted by recent theories. In addition, since each phonon probes the gap on only a small part of the Fermi surface, the gap anisotropy can be studied in detail. Our neutron scattering investigation of the anisotropic conventional superconductor YNi$_2$B$_2$C demonstrates this new application of phon…
▽ More
We show that the superconducting energy gap $Δ$ can be directly observed in phonon spectra, as predicted by recent theories. In addition, since each phonon probes the gap on only a small part of the Fermi surface, the gap anisotropy can be studied in detail. Our neutron scattering investigation of the anisotropic conventional superconductor YNi$_2$B$_2$C demonstrates this new application of phonon spectroscopy.
△ Less
Submitted 28 October, 2008;
originally announced October 2008.
-
Exact entanglement renormalization for string-net models
Authors:
Robert Koenig,
Ben W. Reichardt,
Guifre Vidal
Abstract:
We construct an explicit renormalization group (RG) transformation for Levin and Wen's string-net models on a hexagonal lattice. The transformation leaves invariant the ground-state "fixed-point" wave function of the string-net condensed phase. Our construction also produces an exact representation of the wave function in terms of the multi-scale entanglement renormalization ansatz (MERA). This…
▽ More
We construct an explicit renormalization group (RG) transformation for Levin and Wen's string-net models on a hexagonal lattice. The transformation leaves invariant the ground-state "fixed-point" wave function of the string-net condensed phase. Our construction also produces an exact representation of the wave function in terms of the multi-scale entanglement renormalization ansatz (MERA). This sets the stage for efficient numerical simulations of string-net models using MERA algorithms. It also provides an explicit quantum circuit to prepare the string-net ground-state wave function using a quantum computer.
△ Less
Submitted 15 June, 2009; v1 submitted 27 June, 2008;
originally announced June 2008.
-
Span-program-based quantum algorithm for evaluating formulas
Authors:
Ben W. Reichardt,
Robert Spalek
Abstract:
We give a quantum algorithm for evaluating formulas over an extended gate set, including all two- and three-bit binary gates (e.g., NAND, 3-majority). The algorithm is optimal on read-once formulas for which each gate's inputs are balanced in a certain sense.
The main new tool is a correspondence between a classical linear-algebraic model of computation, "span programs," and weighted bipartite…
▽ More
We give a quantum algorithm for evaluating formulas over an extended gate set, including all two- and three-bit binary gates (e.g., NAND, 3-majority). The algorithm is optimal on read-once formulas for which each gate's inputs are balanced in a certain sense.
The main new tool is a correspondence between a classical linear-algebraic model of computation, "span programs," and weighted bipartite graphs. A span program's evaluation corresponds to an eigenvalue-zero eigenvector of the associated graph. A quantum computer can therefore evaluate the span program by applying spectral estimation to the graph.
For example, the classical complexity of evaluating the balanced ternary majority formula is unknown, and the natural generalization of randomized alpha-beta pruning is known to be suboptimal. In contrast, our algorithm generalizes the optimal quantum AND-OR formula evaluation algorithm and is optimal for evaluating the balanced ternary majority formula.
△ Less
Submitted 17 November, 2008; v1 submitted 14 October, 2007;
originally announced October 2007.
-
Proof of the Double Bubble Conjecture in R^n
Authors:
Ben W. Reichardt
Abstract:
The least-area hypersurface enclosing and separating two given volumes in R^n is the standard double bubble.
The least-area hypersurface enclosing and separating two given volumes in R^n is the standard double bubble.
△ Less
Submitted 11 May, 2007;
originally announced May 2007.
-
Every NAND formula of size N can be evaluated in time N^{1/2+o(1)} on a quantum computer
Authors:
Andrew M. Childs,
Ben W. Reichardt,
Robert Spalek,
Shengyu Zhang
Abstract:
For every NAND formula of size N, there is a bounded-error N^{1/2+o(1)}-time quantum algorithm, based on a coined quantum walk, that evaluates this formula on a black-box input. Balanced, or ``approximately balanced,'' NAND formulas can be evaluated in O(sqrt{N}) queries, which is optimal. It follows that the (2-o(1))-th power of the quantum query complexity is a lower bound on the formula size,…
▽ More
For every NAND formula of size N, there is a bounded-error N^{1/2+o(1)}-time quantum algorithm, based on a coined quantum walk, that evaluates this formula on a black-box input. Balanced, or ``approximately balanced,'' NAND formulas can be evaluated in O(sqrt{N}) queries, which is optimal. It follows that the (2-o(1))-th power of the quantum query complexity is a lower bound on the formula size, almost solving in the positive an open problem posed by Laplante, Lee and Szegedy.
△ Less
Submitted 6 July, 2007; v1 submitted 2 March, 2007;
originally announced March 2007.
-
Lattice dynamics and electron-phonon coupling in Sr2RuO4
Authors:
M. Braden,
W. Reichardt,
Y. Sidis,
Z. Mao,
Y. Maeno
Abstract:
The lattice dynamics in Sr$_2$RuO$_4$ has been studied by inelastic neutron scattering combined with shell-model calculations. The in-plane bond-stretching modes in Sr$_2$RuO$_4$ exhibit a normal dispersion in contrast to all electronically doped perovskites studied so far. Evidence for strong electron phonon coupling is found for c-polarized phonons suggesting a close connection with the anomal…
▽ More
The lattice dynamics in Sr$_2$RuO$_4$ has been studied by inelastic neutron scattering combined with shell-model calculations. The in-plane bond-stretching modes in Sr$_2$RuO$_4$ exhibit a normal dispersion in contrast to all electronically doped perovskites studied so far. Evidence for strong electron phonon coupling is found for c-polarized phonons suggesting a close connection with the anomalous c-axis charge transport in Sr$_2$RuO$_4$.
△ Less
Submitted 13 February, 2007;
originally announced February 2007.
-
Error-detection-based quantum fault tolerance against discrete Pauli noise
Authors:
Ben W. Reichardt
Abstract:
A quantum computer -- i.e., a computer capable of manipulating data in quantum superposition -- would find applications including factoring, quantum simulation and tests of basic quantum theory. Since quantum superpositions are fragile, the major hurdle in building such a computer is overcoming noise.
Developed over the last couple of years, new schemes for achieving fault tolerance based on e…
▽ More
A quantum computer -- i.e., a computer capable of manipulating data in quantum superposition -- would find applications including factoring, quantum simulation and tests of basic quantum theory. Since quantum superpositions are fragile, the major hurdle in building such a computer is overcoming noise.
Developed over the last couple of years, new schemes for achieving fault tolerance based on error detection, rather than error correction, appear to tolerate as much as 3-6% noise per gate -- an order of magnitude better than previous procedures. But proof techniques could not show that these promising fault-tolerance schemes tolerated any noise at all.
With an analysis based on decomposing complicated probability distributions into mixtures of simpler ones, we rigorously prove the existence of constant tolerable noise rates ("noise thresholds") for error-detection-based schemes. Numerical calculations indicate that the actual noise threshold this method yields is lower-bounded by 0.1% noise per gate.
△ Less
Submitted 30 November, 2006;
originally announced December 2006.
-
Quantum universality by state distillation
Authors:
Ben W. Reichardt
Abstract:
Quantum universality can be achieved using classically controlled stabilizer operations and repeated preparation of certain ancilla states. Which ancilla states suffice for universality? This "magic states distillation" question is closely related to quantum fault tolerance. Lower bounds on the noise tolerable on the ancilla help give lower bounds on the tolerable noise rate threshold for fault-…
▽ More
Quantum universality can be achieved using classically controlled stabilizer operations and repeated preparation of certain ancilla states. Which ancilla states suffice for universality? This "magic states distillation" question is closely related to quantum fault tolerance. Lower bounds on the noise tolerable on the ancilla help give lower bounds on the tolerable noise rate threshold for fault-tolerant computation. Upper bounds show the limits of threshold upper-bound arguments based on the Gottesman-Knill theorem.
We extend the range of single-qubit mixed states that are known to give universality, by using a simple parity-checking operation. For applications to proving threshold lower bounds, certain practical stability characteristics are often required, and we also show a stable distillation procedure.
No distillation upper bounds are known beyond those given by the Gottesman-Knill theorem. One might ask whether distillation upper bounds reduce to upper bounds for single-qubit ancilla states. For multi-qubit pure states and previously considered two-qubit ancilla states, the answer is yes. However, we exhibit two-qubit mixed states that are not mixtures of stabilizer states, but for which every postselected stabilizer reduction from two qubits to one outputs a mixture of stabilizer states. Distilling such states would require true multi-qubit state distillation methods.
△ Less
Submitted 13 July, 2009; v1 submitted 9 August, 2006;
originally announced August 2006.
-
Postselection threshold against biased noise
Authors:
Ben W. Reichardt
Abstract:
The highest current estimates for the amount of noise a quantum computer can tolerate are based on fault-tolerance schemes relying heavily on postselecting on no detected errors. However, there has been no proof that these schemes give even a positive tolerable noise threshold. A technique to prove a positive threshold, for probabilistic noise models, is presented. The main idea is to maintain s…
▽ More
The highest current estimates for the amount of noise a quantum computer can tolerate are based on fault-tolerance schemes relying heavily on postselecting on no detected errors. However, there has been no proof that these schemes give even a positive tolerable noise threshold. A technique to prove a positive threshold, for probabilistic noise models, is presented. The main idea is to maintain strong control over the distribution of errors in the quantum state at all times. This distribution has correlations which conceivably could grow out of control with postselection. But in fact, the error distribution can be written as a mixture of nearby distributions each satisfying strong independence properties, so there are no correlations for postselection to amplify.
△ Less
Submitted 14 August, 2006; v1 submitted 1 August, 2006;
originally announced August 2006.
-
On parallel composition of zero-knowledge proofs with black-box quantum simulators
Authors:
Rahul Jain,
Alexandra Kolla,
Gatis Midrijanis,
Ben W. Reichardt
Abstract:
Let L be a language decided by a constant-round quantum Arthur-Merlin (QAM) protocol with negligible soundness error and all but possibly the last message being classical. We prove that if this protocol is zero knowledge with a black-box, quantum simulator S, then L in BQP. Our result also applies to any language having a three-round quantum interactive proof (QIP), with all but possibly the las…
▽ More
Let L be a language decided by a constant-round quantum Arthur-Merlin (QAM) protocol with negligible soundness error and all but possibly the last message being classical. We prove that if this protocol is zero knowledge with a black-box, quantum simulator S, then L in BQP. Our result also applies to any language having a three-round quantum interactive proof (QIP), with all but possibly the last message being classical, with negligible soundness error and a black-box quantum simulator.
These results in particular make it unlikely that certain protocols can be composed in parallel in order to reduce soundness error, while maintaining zero knowledge with a black-box quantum simulator. They generalize analogous classical results of Goldreich and Krawczyk (1990).
Our proof goes via a reduction to quantum black-box search. We show that the existence of a black-box quantum simulator for such protocols when L notin BQP would imply an impossibly-good quantum search algorithm.
△ Less
Submitted 28 February, 2009; v1 submitted 28 July, 2006;
originally announced July 2006.
-
Fault-tolerance threshold for a distance-three quantum code
Authors:
Ben W. Reichardt
Abstract:
The quantum error threshold is the highest (model-dependent) noise rate which we can tolerate and still quantum-compute to arbitrary accuracy. Although noise thresholds are frequently estimated for the Steane seven-qubit, distance-three quantum code, there has been no proof that a constant threshold even exists for distance-three codes. We prove the existence of a constant threshold. The proven…
▽ More
The quantum error threshold is the highest (model-dependent) noise rate which we can tolerate and still quantum-compute to arbitrary accuracy. Although noise thresholds are frequently estimated for the Steane seven-qubit, distance-three quantum code, there has been no proof that a constant threshold even exists for distance-three codes. We prove the existence of a constant threshold. The proven threshold is well below estimates, based on simulations and analytic models, of the true threshold, but at least it is now known to be positive.
△ Less
Submitted 11 November, 2005; v1 submitted 28 September, 2005;
originally announced September 2005.
-
Quantum error correction of systematic errors using a quantum search framework
Authors:
Ben W. Reichardt,
Lov K. Grover
Abstract:
Composite pulses are a quantum control technique for canceling out systematic control errors. We present a new composite pulse sequence inspired by quantum search. Our technique can correct a wider variety of systematic errors -- including, for example, nonlinear over-rotational errors -- than previous techniques. Concatenation of the pulse sequence can reduce a systematic error to an arbitraril…
▽ More
Composite pulses are a quantum control technique for canceling out systematic control errors. We present a new composite pulse sequence inspired by quantum search. Our technique can correct a wider variety of systematic errors -- including, for example, nonlinear over-rotational errors -- than previous techniques. Concatenation of the pulse sequence can reduce a systematic error to an arbitrarily small level.
△ Less
Submitted 28 June, 2005;
originally announced June 2005.
-
Bond-Bending and Bond-Stretching Phonons in Ferromagnetic La_0.7Sr_0.3MnO_3
Authors:
D. Reznik,
W. Reichardt
Abstract:
Longitudinal optical phonons with oxygen character were measured in La_0.7Sr_0.3MnO_3 by inelastic neutron scattering in the (1 0 0) cubic direction and results were compared with shell model predictions. Measurements were performed in several Brillouin zones, which enabled us to identify the eigenvectors independent of the shell model. All major disagreements between model predictions and exper…
▽ More
Longitudinal optical phonons with oxygen character were measured in La_0.7Sr_0.3MnO_3 by inelastic neutron scattering in the (1 0 0) cubic direction and results were compared with shell model predictions. Measurements were performed in several Brillouin zones, which enabled us to identify the eigenvectors independent of the shell model. All major disagreements between model predictions and experimental results are primarily due to the anomalous downward dispersion of the bond-stretching vibration. The main new result is that the rhombohedral distortion of the cubic lattice makes the bond-stretching vibrations interact strongly with bond-bending modes folded into the cubic Brillouin zone.
△ Less
Submitted 23 March, 2005;
originally announced March 2005.
-
Improved magic states distillation for quantum universality
Authors:
Ben W. Reichardt
Abstract:
Given stabilizer operations and the ability to repeatedly prepare a single-qubit mixed state rho, can we do universal quantum computation? As motivation for this question, "magic state" distillation procedures can reduce the general fault-tolerance problem to that of performing fault-tolerant stabilizer circuits.
We improve the procedures of Bravyi and Kitaev in the Hadamard "magic" direction…
▽ More
Given stabilizer operations and the ability to repeatedly prepare a single-qubit mixed state rho, can we do universal quantum computation? As motivation for this question, "magic state" distillation procedures can reduce the general fault-tolerance problem to that of performing fault-tolerant stabilizer circuits.
We improve the procedures of Bravyi and Kitaev in the Hadamard "magic" direction of the Bloch sphere to achieve a sharp threshold between those rho allowing universal quantum computation, and those for which any calculation can be efficiently classically simulated. As a corollary, the ability to repeatedly prepare any pure state which is not a stabilizer state (e.g., any single-qubit pure state which is not a Pauli eigenstate), together with stabilizer operations, gives quantum universality. It remains open whether there is also a tight separation in the so-called T direction.
△ Less
Submitted 4 November, 2004;
originally announced November 2004.
-
Improved ancilla preparation scheme increases fault-tolerant threshold
Authors:
Ben W. Reichardt
Abstract:
We demonstrate an improved concatenated encoded ancilla preparation procedure. Simulations show that this procedure significantly increases the error threshold beneath which arbitrarily long quantum computations are possible.
We demonstrate an improved concatenated encoded ancilla preparation procedure. Simulations show that this procedure significantly increases the error threshold beneath which arbitrarily long quantum computations are possible.
△ Less
Submitted 3 June, 2004;
originally announced June 2004.
-
Phonon Mechanism of the Ferromagnetic Transition in La1-xSrxMnO3
Authors:
D. Reznik,
W. Reichardt
Abstract:
Temperature dependence of longitudinal optical phonons with oxygen character was measured in La1-xSrxMnO3 (x=0.2, 0.3) by inelastic neutron scattering in the (1 0 0) cubic direction. The zone center mode intensity is consistent with the Debye-Waller factor. However the intensity of the bond-stretching phonons half way to the zone boundary and near the zone boundary decreases dramatically as the…
▽ More
Temperature dependence of longitudinal optical phonons with oxygen character was measured in La1-xSrxMnO3 (x=0.2, 0.3) by inelastic neutron scattering in the (1 0 0) cubic direction. The zone center mode intensity is consistent with the Debye-Waller factor. However the intensity of the bond-stretching phonons half way to the zone boundary and near the zone boundary decreases dramatically as the temperature increases through the ferromagnetic (FM) transition. We found evidence that the lost phonon spectral weight might shift into polaron scattering at the same wavevectors. The temperature evolution starts well below the onset of the FM transition suggesting that the transition is driven by phonon renormalization rather than by magnetic fluctuations.
△ Less
Submitted 15 December, 2003;
originally announced December 2003.
-
Phonon Dispersion Relations in PrBa2Cu3O6+x (x ~ 0.2)
Authors:
C. H. Gardiner,
A. T. Boothroyd,
B. H. Larsen,
W. Reichardt,
A. A. Zhokhov,
N. H. Andersen,
S. J. S. Lister,
A. R. Wildes
Abstract:
We report measurements of the phonon dispersion relations in non-superconducting, oxygen-deficient PrBa2Cu3O6+x (x ~ 0.2) by inelastic neutron scattering. The data are compared with a model of the lattice dynamics based on a common interaction potential. Good agreement is achieved for all but two phonon branches, which are significantly softer than predicted. These modes are found to arise predo…
▽ More
We report measurements of the phonon dispersion relations in non-superconducting, oxygen-deficient PrBa2Cu3O6+x (x ~ 0.2) by inelastic neutron scattering. The data are compared with a model of the lattice dynamics based on a common interaction potential. Good agreement is achieved for all but two phonon branches, which are significantly softer than predicted. These modes are found to arise predominantly from motion of the oxygen ions in the CuO2 planes. Analogous modes in YBa2Cu3O6 are well described by the common interaction potential model.
△ Less
Submitted 29 March, 2004; v1 submitted 23 October, 2003;
originally announced October 2003.
-
Oxygen Phonon Branches in YBa2Cu3O7
Authors:
L. Pintschovius,
D. Reznik,
W. Reichardt,
Y. Endoh,
H. Hiraka,
J. M. Tranquada,
H. Uchiyama,
T. Masui,
S. Tajima
Abstract:
We report results of inelastic neutron scattering measurements of phonon dispersions in optimally doped YBa2Cu3O6.95 and compare them with model calculations. The focus is on the in-plane oxygen bond-stretching phonon branches. The study of these modes is complicated by anticrossings with c-axis-polarized branches; such effects are interpreted through lattice-dynamical shell-model calculations.…
▽ More
We report results of inelastic neutron scattering measurements of phonon dispersions in optimally doped YBa2Cu3O6.95 and compare them with model calculations. The focus is on the in-plane oxygen bond-stretching phonon branches. The study of these modes is complicated by anticrossings with c-axis-polarized branches; such effects are interpreted through lattice-dynamical shell-model calculations. The in-plane anisotropy of the bond-stretching phonons was firmly ascertained from measurements on a detwinned sample. Studying the in-plane modes involving out-of-phase motion for the two Cu-O layers within a unit cell as well as those with in-phase motion was of great help for establishing a clear experimental picture. The measurements confirm that the in-plane oxygen bond-stretching phonon branches disperse steeply downwards from the zone center in both the a and the b directions indicating a strong electron-phonon coupling. For the b-axis-polarized bond-stretching phonons, there is an additional feature of considerable interest: a sharp local frequency minimum was found to develop on cooling from room temperature to T = 10 K at the wave vector q = 0.27 r.l.u..
△ Less
Submitted 8 October, 2003;
originally announced October 2003.
-
Evidence for Dynamic Charge Stripes in the Phonons of Optimally Doped YBCO
Authors:
L. Pintschovius,
Y. Endoh,
D. Reznik,
H. Hiraka,
J. M. Tranquada,
W. Reichardt,
H. Uchiyama,
T. Masui,
S. Tajima
Abstract:
Inelastic neutron scattering investigations on optimally doped YBCO revealed a very pronounced temperature dependence in the Cu-O in-plane bond-stretching vibrations along the (010) direction: a shift of spectral weight by at least 10 meV has been observed in a narrow range of wave vectors halfway to the zone boundary. The temperature evolution starts at about 200 K, well above the superconducti…
▽ More
Inelastic neutron scattering investigations on optimally doped YBCO revealed a very pronounced temperature dependence in the Cu-O in-plane bond-stretching vibrations along the (010) direction: a shift of spectral weight by at least 10 meV has been observed in a narrow range of wave vectors halfway to the zone boundary. The temperature evolution starts at about 200 K, well above the superconducting transition temperature. The displacement pattern of the anomalous phonons indicates a dynamic one-dimensional charge-density modulation within the planes, but excludes a direct contribution from the Cu-O chains.
△ Less
Submitted 18 August, 2003;
originally announced August 2003.
-
Oxygen Phonon Branches in Detwinned YBa2Cu3O7
Authors:
D. Reznik,
L. Pintschovius,
W. Reichardt,
Y. Endoh,
H. Hiraka,
J. M. Tranquada,
S. Tajima,
H. Uchiyama,
T. Masui
Abstract:
We report results of inelastic neutron scattering measurements of phonon dispersions on a detwinned sample of YBaCu3O7 and compare them with model calculations. Plane oxygen bond stretching phonon branches disperse steeply downwards from the zone center in both the a and the b direction indicating a strong electron-phonon coupling. Half way to the zone boundary, the phonon peaks become ill-defin…
▽ More
We report results of inelastic neutron scattering measurements of phonon dispersions on a detwinned sample of YBaCu3O7 and compare them with model calculations. Plane oxygen bond stretching phonon branches disperse steeply downwards from the zone center in both the a and the b direction indicating a strong electron-phonon coupling. Half way to the zone boundary, the phonon peaks become ill-defined but we see no need to invoke unit cell doubling or charge stripe formation: lattice dynamical shell model calculations predict such behavior as a result of branch anticrossings. There were no observable superconductivity-related temperature effects on selected plane oxygen bond stretching modes measured on a twinned sample.
△ Less
Submitted 18 September, 2002; v1 submitted 9 September, 2002;
originally announced September 2002.
-
Lattice dynamics of CuGeO$_3$ : inelastic neutron scattering and model calculations
Authors:
M. Braden,
W. Reichardt,
B. Hennion,
G. Dhalenne,
A. Revcoleschi
Abstract:
The lattice dynamics in CuGeO$_3$ has been analyzed by the combination of inelastic neutron scattering studies and lattice dynamical model calculations. We report an almost complete set of dispersion curves along the three orthorhombic directions and along [101]. The dispersion of branches associated with the modes directly involved in the spin-Peierls transition allows to explain the particular…
▽ More
The lattice dynamics in CuGeO$_3$ has been analyzed by the combination of inelastic neutron scattering studies and lattice dynamical model calculations. We report an almost complete set of dispersion curves along the three orthorhombic directions and along [101]. The dispersion of branches associated with the modes directly involved in the spin-Peierls transition allows to explain the particular propagation vector of the structural distortion in the dimerized phase.
△ Less
Submitted 10 May, 2002;
originally announced May 2002.
-
Giant phonon anomalies in the bond-stretching branches in Ba_0.6K_0.4BiO_3
Authors:
M. Braden,
W. Reichardt,
S. Shiryaev,
S. N. Barilo
Abstract:
The dispersion of the longitudinal bond-stretching (BS) branches in superconducting Ba0.6K0.4BiO3 (BKBO) studied by inelastic neutron scattering reveals giant phonon anomalies. In the [110] and [111] directions these branches even split close to the middle of the zone, in contradiction to any harmonic lattice dynamical model with cubic symmetry. The additional low energy branch in the [111] dire…
▽ More
The dispersion of the longitudinal bond-stretching (BS) branches in superconducting Ba0.6K0.4BiO3 (BKBO) studied by inelastic neutron scattering reveals giant phonon anomalies. In the [110] and [111] directions these branches even split close to the middle of the zone, in contradiction to any harmonic lattice dynamical model with cubic symmetry. The additional low energy branch in the [111] direction ends at the R-point with a frequency near 10.5THz representing a doping induced renormalization of a breathing type vibration by about 40%, the strongest observed so far in any superconductor.
△ Less
Submitted 24 July, 2001;
originally announced July 2001.