-
Fault-tolerant complexes
Authors:
Hector Bombin,
Chris Dawson,
Terry Farrelly,
Yehua Liu,
Naomi Nickerson,
Mihir Pant,
Fernando Pastawski,
Sam Roberts
Abstract:
Fault-tolerant complexes describe surface-code fault-tolerant protocols from a single geometric object. We first introduce fusion complexes that define a general family of fusion-based quantum computing (FBQC) fault-tolerant quantum protocols based on surface codes. We show that any 3-dimensional cell complex where each edge has four incident faces gives a valid fusion complex. This construction e…
▽ More
Fault-tolerant complexes describe surface-code fault-tolerant protocols from a single geometric object. We first introduce fusion complexes that define a general family of fusion-based quantum computing (FBQC) fault-tolerant quantum protocols based on surface codes. We show that any 3-dimensional cell complex where each edge has four incident faces gives a valid fusion complex. This construction enables an automated search for fault tolerance schemes, allowing us to identify 627 examples within a moderate search time. We implement this using the open-source software tool Gavrog and present threshold results for a variety of schemes, finding fusion networks with higher erasure and Pauli thresholds than those existing in the literature. We then define more general structures we call fault-tolerant complexes that provide a homological description of fault tolerance from a large family of low-level error models, which include circuit-based computation, floquet-based computation, and FBQC with multi-qubit measurements. This extends the applicability of homological descriptions of fault tolerance, and enables the generation of many new schemes which have not been previously identified. We also define families of fault-tolerant complexes for color codes and 3d single-shot subsystem codes, which enables similar constructive methods, and we present several new examples of each.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
-
Increasing error tolerance in quantum computers with dynamic bias arrangement
Authors:
Hector Bombín,
Chris Dawson,
Naomi Nickerson,
Mihir Pant,
Jordan Sullivan
Abstract:
Many quantum operations are expected to exhibit bias in the structure of their errors. Recent works have shown that a fixed bias can be exploited to improve error tolerance by statically arranging the errors in beneficial configurations. In some cases an error bias can be dynamically reconfigurable, an example being linear optical fusion where the basis of a fusion failure can be chosen before the…
▽ More
Many quantum operations are expected to exhibit bias in the structure of their errors. Recent works have shown that a fixed bias can be exploited to improve error tolerance by statically arranging the errors in beneficial configurations. In some cases an error bias can be dynamically reconfigurable, an example being linear optical fusion where the basis of a fusion failure can be chosen before the measurement is made. Here we introduce methods for increasing error tolerance in this setting by using classical decision-making to adaptively choose the bias in measurements as a fault tolerance protocol proceeds. We study this technique in the setting of linear optical fusion based quantum computing (FBQC). We provide examples demonstrating that by dynamically arranging erasures, the loss tolerance can be tripled when compared to a static arrangement of biased errors while using the same quantum resources: we show that for the best FBQC architecture of Bartolucci et al. (2023) the threshold increases from $2.7\%$ to $7.5\%$ per photon with the same resource state by using dynamic biasing. Our method does not require any specific code structure beyond having a syndrome graph representation. We have chosen to illustrate these techniques using an architecture which is otherwise identical to that in Bartolucci et al. (2023), but deployed together with other techniques, such as different fusion networks, higher loss thresholds are possible.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Unifying flavors of fault tolerance with the ZX calculus
Authors:
Hector Bombin,
Daniel Litinski,
Naomi Nickerson,
Fernando Pastawski,
Sam Roberts
Abstract:
There are several models of quantum computation which exhibit shared fundamental fault-tolerance properties. This article makes commonalities explicit by presenting these different models in a unifying framework based on the ZX calculus. We focus on models of topological fault tolerance - specifically surface codes - including circuit-based, measurement-based and fusion-based quantum computation,…
▽ More
There are several models of quantum computation which exhibit shared fundamental fault-tolerance properties. This article makes commonalities explicit by presenting these different models in a unifying framework based on the ZX calculus. We focus on models of topological fault tolerance - specifically surface codes - including circuit-based, measurement-based and fusion-based quantum computation, as well as the recently introduced model of Floquet codes. We find that all of these models can be viewed as different flavors of the same underlying stabilizer fault-tolerance structure, and sustain this through a set of local equivalence transformations which allow map** between flavors. We anticipate that this unifying perspective will pave the way to transferring progress among the different views of stabilizer fault-tolerance and help researchers familiar with one model easily understand others.
△ Less
Submitted 12 June, 2024; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Modular decoding: parallelizable real-time decoding for quantum computers
Authors:
Héctor Bombín,
Chris Dawson,
Ye-Hua Liu,
Naomi Nickerson,
Fernando Pastawski,
Sam Roberts
Abstract:
Universal fault-tolerant quantum computation will require real-time decoding algorithms capable of quickly extracting logical outcomes from the stream of data generated by noisy quantum hardware. We propose modular decoding, an approach capable of addressing this challenge with minimal additional communication and without sacrificing decoding accuracy. We introduce the edge-vertex decomposition, a…
▽ More
Universal fault-tolerant quantum computation will require real-time decoding algorithms capable of quickly extracting logical outcomes from the stream of data generated by noisy quantum hardware. We propose modular decoding, an approach capable of addressing this challenge with minimal additional communication and without sacrificing decoding accuracy. We introduce the edge-vertex decomposition, a concrete instance of modular decoding for lattice-surgery style fault-tolerant blocks which is remarkably effective. This decomposition of the global decoding problem into sub-tasks mirrors the logical-block-network structure of a fault-tolerant quantum circuit. We identify the buffering condition as a key requirement controlling decoder quality; it demands a sufficiently large separation (buffer) between a correction committed by a decoding sub-task and the data unavailable to it. We prove that the fault distance of the protocol is preserved if the buffering condition is satisfied. Finally, we implement edge-vertex modular decoding and apply it on a variety of quantum circuits, including the Clifford component of the 15-to-1 magic-state distillation protocol. Monte Carlo simulations on a range of buffer sizes provide quantitative evidence that buffers are both necessary and sufficient to guarantee decoder accuracy. Our results show that modular decoding meets all the practical requirements necessary to support real-world fault-tolerant quantum computers.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
Fault-tolerant Post-Selection for Low Overhead Magic State Preparation
Authors:
Héctor Bombín,
Mihir Pant,
Sam Roberts,
Karthik I. Seetharam
Abstract:
We introduce a framework for fault-tolerant post-selection (FTPS) of fault-tolerant codes and channels -- such as those based on surface-codes -- using soft-information metrics based on visible syndrome and erasure information. We introduce several metrics for ranking configurations of syndromes and erasures. In particular, we introduce the \emph{logical gap} (and variants thereof) as a powerful s…
▽ More
We introduce a framework for fault-tolerant post-selection (FTPS) of fault-tolerant codes and channels -- such as those based on surface-codes -- using soft-information metrics based on visible syndrome and erasure information. We introduce several metrics for ranking configurations of syndromes and erasures. In particular, we introduce the \emph{logical gap} (and variants thereof) as a powerful soft-information metric for predicting logical error rates of fault-tolerant channels based on topological error-correcting codes. The logical gap is roughly the unsigned weight difference between inequivalent logical corrections and is adaptable to any tailored noise model or decoder. We deploy this framework to prepare high-quality surface code magic states with low overhead under a model of independent and identically distributed (\emph{i.i.d.}) Pauli and erasure errors. Post-selection strategies based on the logical gap can suppress the encoding error rate of a magic state preparation channel to the level of the physical error rate with low overhead. For example, when operating at $60\%$ the bulk threshold of the corresponding surface code, an overall reduction of the encoding error rate by a factor of $15$ is achievable with a relative overhead factor of ${< 2}$ (approximately $23$ times less than that of simple syndrome-counting rules). We analyze a schematic buffer architecture for implementing post-selection rules on magic state factories in the context of magic state distillation. The FTPS framework can be utilized for mitigating errors in more general fault-tolerant logical channels.
△ Less
Submitted 1 December, 2022;
originally announced December 2022.
-
Logical blocks for fault-tolerant topological quantum computation
Authors:
Hector Bombin,
Chris Dawson,
Ryan V. Mishmash,
Naomi Nickerson,
Fernando Pastawski,
Sam Roberts
Abstract:
Logical gates constitute the building blocks of fault-tolerant quantum computation. While quantum error-corrected memories have been extensively studied in the literature, explicit constructions and detailed analyses of thresholds and resource overheads of universal logical gate sets have so far been limited. In this paper, we present a comprehensive framework for universal fault-tolerant logic mo…
▽ More
Logical gates constitute the building blocks of fault-tolerant quantum computation. While quantum error-corrected memories have been extensively studied in the literature, explicit constructions and detailed analyses of thresholds and resource overheads of universal logical gate sets have so far been limited. In this paper, we present a comprehensive framework for universal fault-tolerant logic motivated by the combined need for platform-independent logical gate definitions, flexible and scalable tools for numerical analysis, and exploration of novel schemes for universal logic that improve resource overheads. Central to our framework is the description of logical gates holistically in a way which treats space and time on a similar footing. Focusing on schemes based on surface codes, we introduce explicit, but platform-independent representations of topological logic gates -- called logical blocks -- and generate new, overhead-efficient methods for universal quantum computation. As a specific example, we propose fault-tolerant schemes based on surface codes concatenated with more general low-density parity check (LDPC) codes. The logical blocks framework enables a convenient map** from an abstract description of the logical gate to a precise set of physical instructions for both circuit-based and fusion-based quantum computation (FBQC). Using this, we numerically simulate a surface-code-based universal gate set implemented with FBQC, and verify that their thresholds are consistent with the bulk memory threshold. We find that boundaries, defects, and twists can significantly impact the logical error rate scaling, with periodic boundary conditions potentially halving the resource requirements. Motivated by the favorable logical error rates for boundaryless computation, we introduce a novel computational scheme based on the teleportation of twists that may offer further resource reductions.
△ Less
Submitted 13 April, 2023; v1 submitted 22 December, 2021;
originally announced December 2021.
-
Interleaving: Modular architectures for fault-tolerant photonic quantum computing
Authors:
Hector Bombin,
Isaac H. Kim,
Daniel Litinski,
Naomi Nickerson,
Mihir Pant,
Fernando Pastawski,
Sam Roberts,
Terry Rudolph
Abstract:
Useful fault-tolerant quantum computers require very large numbers of physical qubits. Quantum computers are often designed as arrays of static qubits executing gates and measurements. Photonic qubits require a different approach. In photonic fusion-based quantum computing (FBQC), the main hardware components are resource-state generators (RSGs) and fusion devices connected via waveguides and swit…
▽ More
Useful fault-tolerant quantum computers require very large numbers of physical qubits. Quantum computers are often designed as arrays of static qubits executing gates and measurements. Photonic qubits require a different approach. In photonic fusion-based quantum computing (FBQC), the main hardware components are resource-state generators (RSGs) and fusion devices connected via waveguides and switches. RSGs produce small entangled states of a few photonic qubits, whereas fusion devices perform entangling measurements between different resource states, thereby executing computations. In addition, low-loss photonic delays such as optical fiber can be used as fixed-time quantum memories simultaneously storing thousands of photonic qubits. Here, we present a modular architecture for FBQC in which these components are combined to form "interleaving modules" consisting of one RSG with its associated fusion devices and a few fiber delays. Exploiting the multiplicative power of delays, each module can add thousands of physical qubits to the computational Hilbert space. Networks of modules are universal fault-tolerant quantum computers, which we demonstrate using surface codes and lattice surgery as a guiding example. Our numerical analysis shows that in a network of modules containing 1-km-long fiber delays, each RSG can generate four logical distance-35 surface-code qubits while tolerating photon loss rates above 2% in addition to the fiber-delay loss. We illustrate how the combination of interleaving with further uses of non-local fiber connections can reduce the cost of logical operations and facilitate the implementation of unconventional geometries such as periodic boundaries or stellated surface codes. Interleaving applies beyond purely optical architectures, and can also turn many small disconnected matter-qubit devices with transduction to photons into a large-scale quantum computer.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
Fusion-based quantum computation
Authors:
Sara Bartolucci,
Patrick Birchall,
Hector Bombin,
Hugo Cable,
Chris Dawson,
Mercedes Gimeno-Segovia,
Eric Johnston,
Konrad Kieling,
Naomi Nickerson,
Mihir Pant,
Fernando Pastawski,
Terry Rudolph,
Chris Sparrow
Abstract:
We introduce fusion-based quantum computing (FBQC) - a model of universal quantum computation in which entangling measurements, called fusions, are performed on the qubits of small constant-sized entangled resource states. We introduce a stabilizer formalism for analyzing fault tolerance and computation in these schemes. This framework naturally captures the error structure that arises in certain…
▽ More
We introduce fusion-based quantum computing (FBQC) - a model of universal quantum computation in which entangling measurements, called fusions, are performed on the qubits of small constant-sized entangled resource states. We introduce a stabilizer formalism for analyzing fault tolerance and computation in these schemes. This framework naturally captures the error structure that arises in certain physical systems for quantum computing, such as photonics. FBQC can offer significant architectural simplifications, enabling hardware made up of many identical modules, requiring an extremely low depth of operations on each physical qubit and reducing classical processing requirements. We present two pedagogical examples of fault-tolerant schemes constructed in this framework and numerically evaluate their threshold under a hardware agnostic fusion error model including both erasure and Pauli error. We also study an error model of linear optical quantum computing with probabilistic fusion and photon loss. In FBQC the non-determinism of fusion is directly dealt with by the quantum error correction protocol, along with other errors. We find that tailoring the fault-tolerance framework to the physical system allows the scheme to have a higher threshold than schemes reported in literature. We present a ballistic scheme which can tolerate a 10.4% probability of suffering photon loss in each fusion.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Measurement based fault tolerance beyond foliation
Authors:
Naomi Nickerson,
Héctor Bombín
Abstract:
In order to build a scalable quantum computer error correction will be required to reduce the impact of errors. Implementing error correction in the framework of measurement based computation manifests itself as the construction of fault tolerant cluster states (FTCSs). While any 2-dimensional stabilizer code can be used to construct a FTCS through the process of foliation, here we find FTCSs that…
▽ More
In order to build a scalable quantum computer error correction will be required to reduce the impact of errors. Implementing error correction in the framework of measurement based computation manifests itself as the construction of fault tolerant cluster states (FTCSs). While any 2-dimensional stabilizer code can be used to construct a FTCS through the process of foliation, here we find FTCSs that cannot be constructed through foliation of a stabilizer code, and identify new examples of self-dual codes that can still be implemented in a 2-dimensional physical architecture.
△ Less
Submitted 22 October, 2018;
originally announced October 2018.
-
Transversal gates and error propagation in 3D topological codes
Authors:
Hector Bombin
Abstract:
I study the interplay of errors with transversal gates in 3D color codes, and introduce some new such gates. Two features of the transversal T gate stand out: (i) it naturally defines a set of correctable errors, and (ii) it exhibits a `linking charge' phenomenon that is of interest for a wide class of 3D topologically ordered systems.
I study the interplay of errors with transversal gates in 3D color codes, and introduce some new such gates. Two features of the transversal T gate stand out: (i) it naturally defines a set of correctable errors, and (ii) it exhibits a `linking charge' phenomenon that is of interest for a wide class of 3D topologically ordered systems.
△ Less
Submitted 22 October, 2018;
originally announced October 2018.
-
2D quantum computation with 3D topological codes
Authors:
Hector Bombin
Abstract:
I present a fault-tolerant quantum computing method for 2D architectures that is particularly appealing for photonic qubits. It relies on a crossover of techniques from topological stabilizer codes and measurement based quantum computation. In particular, it is based on 3D color codes and their transversal operations.
I present a fault-tolerant quantum computing method for 2D architectures that is particularly appealing for photonic qubits. It relies on a crossover of techniques from topological stabilizer codes and measurement based quantum computation. In particular, it is based on 3D color codes and their transversal operations.
△ Less
Submitted 22 October, 2018;
originally announced October 2018.
-
Resilience to time-correlated noise in quantum computation
Authors:
H. Bombin
Abstract:
Fault-tolerant quantum computation techniques rely on weakly correlated noise. Here I show that it is enough to assume weak spatial correlations: time correlations can take any form. In particular, single-shot error correction techniques exhibit a noise threshold for quantum memories under spatially local stochastic noise.
Fault-tolerant quantum computation techniques rely on weakly correlated noise. Here I show that it is enough to assume weak spatial correlations: time correlations can take any form. In particular, single-shot error correction techniques exhibit a noise threshold for quantum memories under spatially local stochastic noise.
△ Less
Submitted 21 December, 2016; v1 submitted 12 May, 2016;
originally announced May 2016.
-
Error tolerance of topological codes with independent bit-flip and measurement errors
Authors:
Ruben S. Andrist,
Helmut G. Katzgraber,
H. Bombin,
M. A. Martin-Delgado
Abstract:
Topological quantum error correction codes are currently among the most promising candidates for efficiently dealing with the decoherence effects inherently present in quantum devices. Numerically, their theoretical error threshold can be calculated by map** the underlying quantum problem to a related classical statistical-mechanical spin system with quenched disorder. Here, we present results f…
▽ More
Topological quantum error correction codes are currently among the most promising candidates for efficiently dealing with the decoherence effects inherently present in quantum devices. Numerically, their theoretical error threshold can be calculated by map** the underlying quantum problem to a related classical statistical-mechanical spin system with quenched disorder. Here, we present results for the general fault-tolerant regime, where we consider both qubit and measurement errors. However, unlike in previous studies, here we vary the strength of the different error sources independently. Our results highlight peculiar differences between toric and color codes. This study complements previous results published in New J. Phys. 13, 083006 (2011).
△ Less
Submitted 12 July, 2016; v1 submitted 29 March, 2016;
originally announced March 2016.
-
Dimensional Jump in Quantum Error Correction
Authors:
H. Bombin
Abstract:
Topological stabilizer codes with different spatial dimensions have complementary properties. Here I show that the spatial dimension can be switched using gauge fixing. Combining 2D and 3D gauge color codes in a 3D qubit lattice, fault-tolerant quantum computation can be achieved with constant time overhead on the number of logical gates, up to efficient global classical computation, using only lo…
▽ More
Topological stabilizer codes with different spatial dimensions have complementary properties. Here I show that the spatial dimension can be switched using gauge fixing. Combining 2D and 3D gauge color codes in a 3D qubit lattice, fault-tolerant quantum computation can be achieved with constant time overhead on the number of logical gates, up to efficient global classical computation, using only local quantum operations. Single-shot error correction plays a crucial role.
△ Less
Submitted 12 May, 2016; v1 submitted 16 December, 2014;
originally announced December 2014.
-
Single-shot fault-tolerant quantum error correction
Authors:
H. Bombin
Abstract:
Conventional quantum error correcting codes require multiple rounds of measurements to detect errors with enough confidence in fault-tolerant scenarios. Here I show that for suitable topological codes a single round of local measurements is enough. This feature is generic and is related to self-correction and confinement phenomena in the corresponding quantum Hamiltonian model. 3D gauge color code…
▽ More
Conventional quantum error correcting codes require multiple rounds of measurements to detect errors with enough confidence in fault-tolerant scenarios. Here I show that for suitable topological codes a single round of local measurements is enough. This feature is generic and is related to self-correction and confinement phenomena in the corresponding quantum Hamiltonian model. 3D gauge color codes exhibit this single-shot feature, which applies also to initialization and gauge-fixing. Assuming the time for efficient classical computations negligible, this yields a topological fault-tolerant quantum computing scheme where all elementary logical operations can be performed in constant time.
△ Less
Submitted 12 May, 2016; v1 submitted 22 April, 2014;
originally announced April 2014.
-
Gauge Color Codes: Optimal Transversal Gates and Gauge Fixing in Topological Stabilizer Codes
Authors:
H. Bombin
Abstract:
Color codes are topological stabilizer codes with unusual transversality properties. Here I show that their group of transversal gates is optimal and only depends on the spatial dimension, not the local geometry. I also introduce a generalized, subsystem version of color codes. In 3D they allow the transversal implementation of a universal set of gates by gauge fixing, while error-detecting measur…
▽ More
Color codes are topological stabilizer codes with unusual transversality properties. Here I show that their group of transversal gates is optimal and only depends on the spatial dimension, not the local geometry. I also introduce a generalized, subsystem version of color codes. In 3D they allow the transversal implementation of a universal set of gates by gauge fixing, while error-detecting measurements involve only 4 or 6 qubits.
△ Less
Submitted 6 August, 2015; v1 submitted 4 November, 2013;
originally announced November 2013.
-
An Introduction to Topological Quantum Codes
Authors:
H. Bombin
Abstract:
This is the chapter \emph{Topological Codes} of the book \emph{Quantum Error Correction}, edited by Daniel A. Lidar and Todd A. Brun, Cambridge University Press, New York, 2013.
http://www.cambridge.org/us/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/quantum-error-correction
This is the chapter \emph{Topological Codes} of the book \emph{Quantum Error Correction}, edited by Daniel A. Lidar and Todd A. Brun, Cambridge University Press, New York, 2013.
http://www.cambridge.org/us/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/quantum-error-correction
△ Less
Submitted 1 November, 2013;
originally announced November 2013.
-
Optimal error correction in topological subsystem codes
Authors:
Ruben S. Andrist,
H. Bombin,
Helmut G. Katzgraber,
M. A. Martin-Delgado
Abstract:
A promising approach to overcome decoherence in quantum computing schemes is to perform active quantum error correction using topology. Topological subsystem codes incorporate both the benefits of topological and subsystem codes, allowing for error syndrome recovery with only 2-local measurements in a two-dimensional array of qubits. We study the error threshold for topological subsystem color cod…
▽ More
A promising approach to overcome decoherence in quantum computing schemes is to perform active quantum error correction using topology. Topological subsystem codes incorporate both the benefits of topological and subsystem codes, allowing for error syndrome recovery with only 2-local measurements in a two-dimensional array of qubits. We study the error threshold for topological subsystem color codes under very general external noise conditions. By transforming the problem into a classical disordered spin model, we estimate using Monte Carlo simulations that topological subsystem codes have an optimal error tolerance of 5.5(2)%. This means there is ample space for improvement in existing error-correcting algorithms that typically find a threshold of approximately 2%.
△ Less
Submitted 14 May, 2012; v1 submitted 9 April, 2012;
originally announced April 2012.
-
Strong Resilience of Topological Codes to Depolarization
Authors:
H. Bombin,
Ruben S. Andrist,
Masayuki Ohzeki,
Helmut G. Katzgraber,
M. A. Martin-Delgado
Abstract:
The inevitable presence of decoherence effects in systems suitable for quantum computation necessitates effective error-correction schemes to protect information from noise. We compute the stability of the toric code to depolarization by map** the quantum problem onto a classical disordered eight-vertex Ising model. By studying the stability of the related ferromagnetic phase both via large-scal…
▽ More
The inevitable presence of decoherence effects in systems suitable for quantum computation necessitates effective error-correction schemes to protect information from noise. We compute the stability of the toric code to depolarization by map** the quantum problem onto a classical disordered eight-vertex Ising model. By studying the stability of the related ferromagnetic phase both via large-scale Monte Carlo simulations and via the duality method, we are able to demonstrate an increased error threshold of 18.9(3)% when noise correlations are taken into account. Remarkably, this agrees within error bars with the result for a different class of codes-topological color codes-where the map** yields interesting new types of interacting eight-vertex models.
△ Less
Submitted 30 April, 2012; v1 submitted 8 February, 2012;
originally announced February 2012.
-
Structure of 2D Topological Stabilizer Codes
Authors:
H. Bombin
Abstract:
We provide a detailed study of the general structure of two-dimensional topological stabilizer quantum error correcting codes, including subsystem codes. Under the sole assumption of translational invariance, we show that all such codes can be understood in terms of the homology of string operators that carry a certain topological charge. In the case of subspace codes, we prove that two codes are…
▽ More
We provide a detailed study of the general structure of two-dimensional topological stabilizer quantum error correcting codes, including subsystem codes. Under the sole assumption of translational invariance, we show that all such codes can be understood in terms of the homology of string operators that carry a certain topological charge. In the case of subspace codes, we prove that two codes are equivalent under a suitable set of local transformations if and only they have equivalent topological charges. Our approach emphasizes local properties of the codes over global ones.
△ Less
Submitted 18 July, 2013; v1 submitted 13 July, 2011;
originally announced July 2011.
-
Universal topological phase of 2D stabilizer codes
Authors:
H. Bombin,
Guillaume Duclos-Cianci,
David Poulin
Abstract:
Two topological phases are equivalent if they are connected by a local unitary transformation. In this sense, classifying topological phases amounts to classifying long-range entanglement patterns. We show that all 2D topological stabilizer codes are equivalent to several copies of one universal phase: Kitaev's topological code. Error correction benefits from the corresponding local map**s.
Two topological phases are equivalent if they are connected by a local unitary transformation. In this sense, classifying topological phases amounts to classifying long-range entanglement patterns. We show that all 2D topological stabilizer codes are equivalent to several copies of one universal phase: Kitaev's topological code. Error correction benefits from the corresponding local map**s.
△ Less
Submitted 23 March, 2011;
originally announced March 2011.
-
Universality in phase boundary slopes for spin glasses on self dual lattices
Authors:
Masayuki Ohzeki,
Creighton K. Thomas,
Helmut G. Katzgraber,
H. Bombin,
M. A. Martin-Delgado
Abstract:
We study the effects of disorder on the slope of the disorder--temperature phase boundary near the Onsager point (Tc = 2.269...) in spin-glass models. So far, studies have focused on marginal or irrelevant cases of disorder. Using duality arguments, as well as exact Pfaffian techniques we reproduce these analytical estimates. In addition, we obtain different estimates for spin-glass models on hier…
▽ More
We study the effects of disorder on the slope of the disorder--temperature phase boundary near the Onsager point (Tc = 2.269...) in spin-glass models. So far, studies have focused on marginal or irrelevant cases of disorder. Using duality arguments, as well as exact Pfaffian techniques we reproduce these analytical estimates. In addition, we obtain different estimates for spin-glass models on hierarchical lattices where the effects of disorder are relevant. We show that the phase-boundary slope near the Onsager point can be used to probe for the relevance of disorder effects.
△ Less
Submitted 1 February, 2011; v1 submitted 29 September, 2010;
originally announced September 2010.
-
Clifford Gates by Code Deformation
Authors:
H. Bombin
Abstract:
Topological subsystem color codes add to the advantages of topological codes an important feature: error tracking only involves measuring 2-local operators in a two dimensional setting. Unfortunately, known methods to compute with them were highly unpractical. We give a mechanism to implement all Clifford gates by code deformation in a planar setting. In particular, we use twist braiding and expre…
▽ More
Topological subsystem color codes add to the advantages of topological codes an important feature: error tracking only involves measuring 2-local operators in a two dimensional setting. Unfortunately, known methods to compute with them were highly unpractical. We give a mechanism to implement all Clifford gates by code deformation in a planar setting. In particular, we use twist braiding and express its effects in terms of certain colored Majorana operators.
△ Less
Submitted 28 October, 2010; v1 submitted 28 June, 2010;
originally announced June 2010.
-
Tricolored Lattice Gauge Theory with Randomness: Fault-Tolerance in Topological Color Codes
Authors:
Ruben S. Andrist,
Helmut G. Katzgraber,
H. Bombin,
M. A. Martin-Delgado
Abstract:
We compute the error threshold of color codes, a class of topological quantum codes that allow a direct implementation of quantum Clifford gates, when both qubit and measurement errors are present. By map** the problem onto a statistical-mechanical three-dimensional disordered Ising lattice gauge theory, we estimate via large-scale Monte Carlo simulations that color codes are stable against 4.5(…
▽ More
We compute the error threshold of color codes, a class of topological quantum codes that allow a direct implementation of quantum Clifford gates, when both qubit and measurement errors are present. By map** the problem onto a statistical-mechanical three-dimensional disordered Ising lattice gauge theory, we estimate via large-scale Monte Carlo simulations that color codes are stable against 4.5(2)% errors. Furthermore, by evaluating the skewness of the Wilson loop distributions, we introduce a very sensitive probe to locate first-order phase transitions in lattice gauge theories.
△ Less
Submitted 8 August, 2011; v1 submitted 5 May, 2010;
originally announced May 2010.
-
Topological Order with a Twist: Ising Anyons from an Abelian Model
Authors:
H. Bombin
Abstract:
Anyon models can be symmetric under some permutations of their topological charges. One can then conceive topological defects that, under monodromy, transform anyons according to a symmetry. We study the realization of such defects in the toric code model, showing that a process where defects are braided and fused has the same outcome as if they were Ising anyons. These ideas can also be applied i…
▽ More
Anyon models can be symmetric under some permutations of their topological charges. One can then conceive topological defects that, under monodromy, transform anyons according to a symmetry. We study the realization of such defects in the toric code model, showing that a process where defects are braided and fused has the same outcome as if they were Ising anyons. These ideas can also be applied in the context of topological codes.
△ Less
Submitted 28 July, 2010; v1 submitted 11 April, 2010;
originally announced April 2010.
-
Topological color codes on Union Jack lattices: A stable implementation of the whole Clifford group
Authors:
Helmut G. Katzgraber,
H. Bombin,
Ruben S. Andrist,
M. A. Martin-Delgado
Abstract:
We study the error threshold of topological color codes on Union Jack lattices that allow for the full implementation of the whole Clifford group of quantum gates. After map** the error-correction process onto a statistical mechanical random 3-body Ising model on a Union Jack lattice, we compute its phase diagram in the temperature-disorder plane using Monte Carlo simulations. Surprisingly, to…
▽ More
We study the error threshold of topological color codes on Union Jack lattices that allow for the full implementation of the whole Clifford group of quantum gates. After map** the error-correction process onto a statistical mechanical random 3-body Ising model on a Union Jack lattice, we compute its phase diagram in the temperature-disorder plane using Monte Carlo simulations. Surprisingly, topological color codes on Union Jack lattices have similar error stability than color codes on triangular lattices, as well as the Kitaev toric code. The enhanced computational capabilities of the topological color codes on Union Jack lattices with respect to triangular lattices and the toric code demonstrate the inherent robustness of this implementation.
△ Less
Submitted 25 January, 2010; v1 submitted 3 October, 2009;
originally announced October 2009.
-
Topological Subsystem Codes
Authors:
H. Bombin
Abstract:
We introduce a family of 2D topological subsystem quantum error-correcting codes. The gauge group is generated by 2-local Pauli operators, so that 2-local measurements are enough to recover the error syndrome. We study the computational power of code deformation in these codes, and show that boundaries cannot be introduced in the usual way. In addition, we give a general map** connecting suita…
▽ More
We introduce a family of 2D topological subsystem quantum error-correcting codes. The gauge group is generated by 2-local Pauli operators, so that 2-local measurements are enough to recover the error syndrome. We study the computational power of code deformation in these codes, and show that boundaries cannot be introduced in the usual way. In addition, we give a general map** connecting suitable classical statistical mechanical models to optimal error correction in subsystem stabilizer codes that suffer from depolarizing noise.
△ Less
Submitted 16 February, 2010; v1 submitted 28 August, 2009;
originally announced August 2009.
-
Self-Correcting Quantum Computers
Authors:
H. Bombin,
R. W. Chhajlany,
M. Horodecki,
M. A. Martin-Delgado
Abstract:
Is the notion of a quantum computer resilient to thermal noise unphysical? We address this question from a constructive perspective and show that local quantum Hamiltonian models provide self-correcting quantum computers. To this end, we first give a sufficient condition on the connect- edness of excitations for a stabilizer code model to be a self-correcting quantum memory. We then study the two…
▽ More
Is the notion of a quantum computer resilient to thermal noise unphysical? We address this question from a constructive perspective and show that local quantum Hamiltonian models provide self-correcting quantum computers. To this end, we first give a sufficient condition on the connect- edness of excitations for a stabilizer code model to be a self-correcting quantum memory. We then study the two main examples of topological stabilizer codes in arbitrary dimensions and establish their self-correcting capabilities. Also, we address the transversality properties of topological color codes, showing that 6D color codes provide a self-correcting model that allows the transversal and local implementation of a universal set of operations in seven spatial dimensions. Finally, we give a procedure to initialize such quantum memories at finite temperature.
△ Less
Submitted 26 September, 2012; v1 submitted 29 July, 2009;
originally announced July 2009.
-
Quantum 2-Body Hamiltonian for Topological Color Codes
Authors:
H. Bombin,
M. Kargarian,
M. A. Martin-Delgado
Abstract:
We introduce a two-body quantum Hamiltonian model with spins-$\half$ located on the vertices of a 2D spatial lattice. The model exhibits an exact topological degeneracy in all coupling regimes. This is a remarkable non-perturbative effect. The model has a $\Z_2\times \Z_2$ gauge group symmetry and string-net integrals of motion. There exists a gapped phase in which the low-energy sector reproduc…
▽ More
We introduce a two-body quantum Hamiltonian model with spins-$\half$ located on the vertices of a 2D spatial lattice. The model exhibits an exact topological degeneracy in all coupling regimes. This is a remarkable non-perturbative effect. The model has a $\Z_2\times \Z_2$ gauge group symmetry and string-net integrals of motion. There exists a gapped phase in which the low-energy sector reproduces an effective topological color code model. High energy excitations fall into three families of anyonic fermions that turn out to be strongly interacting. All these, and more, are new features not present in honeycomb lattice models like Kitaev model.
△ Less
Submitted 6 July, 2009;
originally announced July 2009.
-
Topological Color Codes and Two-Body Quantum Lattice Hamiltonians
Authors:
M. Kargarian,
H. Bombin,
M. A. Martin-Delgado
Abstract:
Topological color codes are among the stabilizer codes with remarkable properties from quantum information perspective. In this paper we construct a four-valent lattice, the so called ruby lattice, governed by a 2-body Hamiltonian. In a particular regime of coupling constants, degenerate perturbation theory implies that the low energy spectrum of the model can be described by a many-body effecti…
▽ More
Topological color codes are among the stabilizer codes with remarkable properties from quantum information perspective. In this paper we construct a four-valent lattice, the so called ruby lattice, governed by a 2-body Hamiltonian. In a particular regime of coupling constants, degenerate perturbation theory implies that the low energy spectrum of the model can be described by a many-body effective Hamiltonian, which encodes the color code as its ground state subspace. The gauge symmetry $\mathbf{Z}_{2}\times\mathbf{Z}_{2}$ of color code could already be realized by identifying three distinct plaquette operators on the lattice. Plaquettes are extended to closed strings or string-net structures. Non-contractible closed strings winding the space commute with Hamiltonian but not always with each other giving rise to exact topological degeneracy of the model. Connection to 2-colexes can be established at the non-perturbative level. The particular structure of the 2-body Hamiltonian provides a fruitful interpretation in terms of map** to bosons coupled to effective spins. We show that high energy excitations of the model have fermionic statistics. They form three families of high energy excitations each of one color. Furthermore, we show that they belong to a particular family of topological charges. Also, we use Jordan-Wigner transformation in order to test the integrability of the model via introducing of Majorana fermions. The four-valent structure of the lattice prevents to reduce the fermionized Hamiltonian into a quadratic form due to interacting gauge fields. We also propose another construction for 2-body Hamiltonian based on the connection between color codes and cluster states. We discuss this latter approach along the construction based on the ruby lattice.
△ Less
Submitted 6 March, 2010; v1 submitted 22 June, 2009;
originally announced June 2009.
-
Error Threshold for Color Codes and Random 3-Body Ising Models
Authors:
Helmut G. Katzgraber,
H. Bombin,
M. A. Martin-Delgado
Abstract:
We study the error threshold of color codes, a class of topological quantum codes that allow a direct implementation of quantum Clifford gates suitable for entanglement distillation, teleportation and fault-tolerant quantum computation. We map the error-correction process onto a statistical mechanical random 3-body Ising model and study its phase diagram via Monte Carlo simulations. The obtained…
▽ More
We study the error threshold of color codes, a class of topological quantum codes that allow a direct implementation of quantum Clifford gates suitable for entanglement distillation, teleportation and fault-tolerant quantum computation. We map the error-correction process onto a statistical mechanical random 3-body Ising model and study its phase diagram via Monte Carlo simulations. The obtained error threshold of p_c = 0.109(2) is very close to that of Kitaev's toric code, showing that enhanced computational capabilities does not necessarily imply lower resistance to noise.
△ Less
Submitted 24 August, 2009; v1 submitted 27 February, 2009;
originally announced February 2009.
-
Interacting Anyonic Fermions in a Two-Body Color Code Model
Authors:
H. Bombin,
M. Kargarian,
M. A. Martin-Delgado
Abstract:
We introduce a two-body quantum Hamiltonian model of spin-1/2 on a 2D spatial lattice with exact topological degeneracy in all coupling regimes. There exists a gapped phase in which the low-energy sector reproduces an effective color code model. High energy excitations fall into three families of anyonic fermions that turn out to be strongly interacting. The model exhibits a Z_2xZ_2 gauge group…
▽ More
We introduce a two-body quantum Hamiltonian model of spin-1/2 on a 2D spatial lattice with exact topological degeneracy in all coupling regimes. There exists a gapped phase in which the low-energy sector reproduces an effective color code model. High energy excitations fall into three families of anyonic fermions that turn out to be strongly interacting. The model exhibits a Z_2xZ_2 gauge group symmetry and string-net integrals of motion, which are related to the existence of topological charges that are invisible to moving high-energy fermions.
△ Less
Submitted 9 September, 2009; v1 submitted 6 November, 2008;
originally announced November 2008.
-
Nested Topological Order
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We introduce the concept of nested topological order in a class of exact quantum lattice Hamiltonian models with non-abelian discrete gauge symmetry. The topological order present in the models can be partially destroyed by introducing a gauge symmetry reduction mechanism. When symmetry is reduced in several islands only, this imposes boundary conditions to the rest of the system giving rise to…
▽ More
We introduce the concept of nested topological order in a class of exact quantum lattice Hamiltonian models with non-abelian discrete gauge symmetry. The topological order present in the models can be partially destroyed by introducing a gauge symmetry reduction mechanism. When symmetry is reduced in several islands only, this imposes boundary conditions to the rest of the system giving rise to topological ground state degeneracy. This degeneracy is related to the existence of topological fluxes in between islands or, alternatively, hidden charges at islands. Additionally, island deformations give rise to an extension of topological quantum computation beyond quasiparticles.
△ Less
Submitted 29 March, 2008;
originally announced March 2008.
-
A Family of Non-Abelian Kitaev Models on a Lattice: Topological Confinement and Condensation
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We study a family of non-Abelian topological models in a lattice that arise by modifying the Kitaev model through the introduction of single-qudit terms. The effect of these terms amounts to a reduction of the discrete gauge symmetry with respect to the original systems, which corresponds to a generalized mechanism of explicit symmetry breaking. The topological order is either partially lost or…
▽ More
We study a family of non-Abelian topological models in a lattice that arise by modifying the Kitaev model through the introduction of single-qudit terms. The effect of these terms amounts to a reduction of the discrete gauge symmetry with respect to the original systems, which corresponds to a generalized mechanism of explicit symmetry breaking. The topological order is either partially lost or completely destroyed throughout the various models. The new systems display condensation and confinement of the topological charges present in the standard non-Abelian Kitaev models, which we study in terms of ribbon operator algebras.
△ Less
Submitted 23 September, 2008; v1 submitted 2 December, 2007;
originally announced December 2007.
-
Statistical Mechanical Models and Topological Color Codes
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We find that the overlap** of a topological quantum color code state, representing a quantum memory, with a factorized state of qubits can be written as the partition function of a 3-body classical Ising model on triangular or Union Jack lattices. This map** allows us to test that different computational capabilities of color codes correspond to qualitatively different universality classes o…
▽ More
We find that the overlap** of a topological quantum color code state, representing a quantum memory, with a factorized state of qubits can be written as the partition function of a 3-body classical Ising model on triangular or Union Jack lattices. This map** allows us to test that different computational capabilities of color codes correspond to qualitatively different universality classes of their associated classical spin models. By generalizing these statistical mechanical models for arbitrary inhomogeneous and complex couplings, it is possible to study a measurement-based quantum computation with a color code state and we find that their classical simulatability remains an open problem. We complement the meaurement-based computation with the construction of a cluster state that yields the topological color code and this also gives the possibility to represent statistical models with external magnetic fields.
△ Less
Submitted 3 November, 2007;
originally announced November 2007.
-
An Interferometry-Free Protocol for Demonstrating Topological Order
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We propose a protocol to demonstrate the topological order of a spin-1/2 lattice model with four-body interactions. Unlike other proposals, it does not rely on the controlled movement of quasiparticles, thus eliminating the addressing, decoherence and dynamical phase problems related to them. Rather, the protocol profits from the degeneracy of the ground state. It involves the addition of Zeeman…
▽ More
We propose a protocol to demonstrate the topological order of a spin-1/2 lattice model with four-body interactions. Unlike other proposals, it does not rely on the controlled movement of quasiparticles, thus eliminating the addressing, decoherence and dynamical phase problems related to them. Rather, the protocol profits from the degeneracy of the ground state. It involves the addition of Zeeman terms to the original Hamiltonian that are used to create holes and move them around in the system.
△ Less
Submitted 6 November, 2008; v1 submitted 1 May, 2007;
originally announced May 2007.
-
Quantum Measurements and Gates by Code Deformation
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
The usual scenario in fault tolerant quantum computation involves certain amount of qubits encoded in each code block, transversal operations between them and destructive measurements of ancillary code blocks. We introduce a new approach in which a single code layer is used for the entire computation, in particular a surface code. Qubits can be created, manipulated and non-destructively measured…
▽ More
The usual scenario in fault tolerant quantum computation involves certain amount of qubits encoded in each code block, transversal operations between them and destructive measurements of ancillary code blocks. We introduce a new approach in which a single code layer is used for the entire computation, in particular a surface code. Qubits can be created, manipulated and non-destructively measured by code deformations that amount to `cut and paste' operations in the surface. All the interactions between qubits remain purely local in a two-dimensional setting.
△ Less
Submitted 25 February, 2009; v1 submitted 19 April, 2007;
originally announced April 2007.
-
Optimal Resources for Topological 2D Stabilizer Codes: Comparative Study
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We study the resources needed to construct topological 2D stabilizer codes as a way to estimate in part their efficiency and this leads us to perform a comparative study of surface codes and color codes. This study clarifies the similarities and differences between these two types of stabilizer codes. We compute the error correcting rate $C:=n/d^2$ for surface codes $C_s$ and color codes $C_c$ i…
▽ More
We study the resources needed to construct topological 2D stabilizer codes as a way to estimate in part their efficiency and this leads us to perform a comparative study of surface codes and color codes. This study clarifies the similarities and differences between these two types of stabilizer codes. We compute the error correcting rate $C:=n/d^2$ for surface codes $C_s$ and color codes $C_c$ in several instances. On the torus, typical values are $C_s=2$ and $C_c=3/2$, but we find that the optimal values are $C_s=1$ and $C_c=9/8$. For planar codes, a typical value is $C_s=2$, while we find that the optimal values are $C_s=1$ and $C_c=3/4$. In general, a color code encodes twice as much logical qubits as a surface code does.
△ Less
Submitted 29 March, 2007;
originally announced March 2007.
-
Topological Computation without Braiding
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We show that universal quantum computation can be performed within the ground state of a topologically ordered quantum system, which is a naturally protected quantum memory. In particular, we show how this can be achieved using brane-net condensates in 3-colexes. The universal set of gates is implemented without selective addressing of physical qubits and, being fully topologically protected, it…
▽ More
We show that universal quantum computation can be performed within the ground state of a topologically ordered quantum system, which is a naturally protected quantum memory. In particular, we show how this can be achieved using brane-net condensates in 3-colexes. The universal set of gates is implemented without selective addressing of physical qubits and, being fully topologically protected, it does not rely on quasiparticle excitations or their braiding.
△ Less
Submitted 29 March, 2007; v1 submitted 4 October, 2006;
originally announced October 2006.
-
Exact Topological Quantum Order in D=3 and Beyond: Branyons and Brane-Net Condensates
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We construct an exactly solvable Hamiltonian acting on a 3-dimensional lattice of spin-$\frac 1 2$ systems that exhibits topological quantum order. The ground state is a string-net and a membrane-net condensate. Excitations appear in the form of quasiparticles and fluxes, as the boundaries of strings and membranes, respectively. The degeneracy of the ground state depends upon the homology of the…
▽ More
We construct an exactly solvable Hamiltonian acting on a 3-dimensional lattice of spin-$\frac 1 2$ systems that exhibits topological quantum order. The ground state is a string-net and a membrane-net condensate. Excitations appear in the form of quasiparticles and fluxes, as the boundaries of strings and membranes, respectively. The degeneracy of the ground state depends upon the homology of the 3-manifold. We generalize the system to $D\geq 4$, were different topological phases may occur. The whole construction is based on certain special complexes that we call colexes.
△ Less
Submitted 29 July, 2006; v1 submitted 27 July, 2006;
originally announced July 2006.
-
Topological Quantum Distillation
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We construct a class of topological quantum codes to perform quantum entanglement distillation. These codes implement the whole Clifford group of unitary operations in a fully topological manner and without selective addressing of qubits. This allows us to extend their application also to quantum teleportation, dense coding and computation with magic states.
We construct a class of topological quantum codes to perform quantum entanglement distillation. These codes implement the whole Clifford group of unitary operations in a fully topological manner and without selective addressing of qubits. This allows us to extend their application also to quantum teleportation, dense coding and computation with magic states.
△ Less
Submitted 29 March, 2007; v1 submitted 16 May, 2006;
originally announced May 2006.
-
Homological Error Correction: Classical and Quantum Codes
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We prove several theorems characterizing the existence of homological error correction codes both classically and quantumly. Not every classical code is homological, but we find a family of classical homological codes saturating the Hamming bound. In the quantum case, we show that for non-orientable surfaces it is impossible to construct homological codes based on qudits of dimension $D>2$, whil…
▽ More
We prove several theorems characterizing the existence of homological error correction codes both classically and quantumly. Not every classical code is homological, but we find a family of classical homological codes saturating the Hamming bound. In the quantum case, we show that for non-orientable surfaces it is impossible to construct homological codes based on qudits of dimension $D>2$, while for orientable surfaces with boundaries it is possible to construct them for arbitrary dimension $D$. We give a method to obtain planar homological codes based on the construction of quantum codes on compact surfaces without boundaries. We show how the original Shor's 9-qubit code can be visualized as a homological quantum code. We study the problem of constructing quantum codes with optimal encoding rate. In the particular case of toric codes we construct an optimal family and give an explicit proof of its optimality. For homological quantum codes on surfaces of arbitrary genus we also construct a family of codes asymptotically attaining the maximum possible encoding rate. We provide the tools of homology group theory for graphs embedded on surfaces in a self-contained manner.
△ Less
Submitted 10 May, 2006;
originally announced May 2006.
-
Topological Quantum Error Correction with Optimal Encoding Rate
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We prove the existence of topological quantum error correcting codes with encoding rates $k/n$ asymptotically approaching the maximum possible value. Explicit constructions of these topological codes are presented using surfaces of arbitrary genus. We find a class of regular toric codes that are optimal. For physical implementations, we present planar topological codes.
We prove the existence of topological quantum error correcting codes with encoding rates $k/n$ asymptotically approaching the maximum possible value. Explicit constructions of these topological codes are presented using surfaces of arbitrary genus. We find a class of regular toric codes that are optimal. For physical implementations, we present planar topological codes.
△ Less
Submitted 22 May, 2006; v1 submitted 6 February, 2006;
originally announced February 2006.
-
Entanglement Distillation Protocols and Number Theory
Authors:
H. Bombin,
M. A. Martin-Delgado
Abstract:
We show that the analysis of entanglement distillation protocols for qudits of arbitrary dimension $D$ benefits from applying basic concepts from number theory, since the set $\zdn$ associated to Bell diagonal states is a module rather than a vector space. We find that a partition of $\zdn$ into divisor classes characterizes the invariant properties of mixed Bell diagonal states under local perm…
▽ More
We show that the analysis of entanglement distillation protocols for qudits of arbitrary dimension $D$ benefits from applying basic concepts from number theory, since the set $\zdn$ associated to Bell diagonal states is a module rather than a vector space. We find that a partition of $\zdn$ into divisor classes characterizes the invariant properties of mixed Bell diagonal states under local permutations. We construct a very general class of recursion protocols by means of unitary operations implementing these local permutations. We study these distillation protocols depending on whether we use twirling operations in the intermediate steps or not, and we study them both analitically and numerically with Monte Carlo methods. In the absence of twirling operations, we construct extensions of the quantum privacy algorithms valid for secure communications with qudits of any dimension $D$. When $D$ is a prime number, we show that distillation protocols are optimal both qualitatively and quantitatively.
△ Less
Submitted 1 March, 2005;
originally announced March 2005.