Quasi-perfect codes for the classical-quantum channel

Abstract

(English) Quantum computers use the laws of quantum mechanics to do complex operations that classical computers can't solve. Quantum computers and other physical quantum systems require quantum information to be completely isolated from the environment in order to be perfectly functional. Quantum systems that are not completely isolated suffer from decoherence noise and may suffer from errors. Implementing these systems is a huge challenge and development of suboptimal systems with a low error rate seems to be the best way forward to building these systems.

In quantum communications, designing codes that are able to reduce or protect against errors is a necessity. This work focuses on perfect and quasi-perfect quantum codes, which are a family of codes that exists in the classical setting and are optimum in terms of minimizing the error probability for a given number of channel uses. In the first part of the work we generalize the definition of quasi-perfect codes to include both classical codes and quantum codes. We also provide an example of a quantum quasi-perfect code for 2-qubits classical-quantum channels that make use of quantum entanglement and that can be extrapolated to an N-dimensional classical-quantum channel.

The second part of this work focuses on quasi-perfect codes in optical communications, where coherent states are used to convey information through an optical channel, known as the Bosonic channel. The Bosonic channel has infinite dimension, so instead we consider a finite-dimensional approximation of the Bosonic channel with a negligible approximation error for a sufficiently large channel dimension. We show that phase-modulated coherent states constitute a codebook that is quasi-perfect for the approximated channel, and thus are close to optimal for the Bosonic channel.

The last part of the work focuses on stabilizer error correction codes, which are practical codes that use redundancy to protect against errors. Error correction is not specifically used to transmit classical information, but to protect quantum information instead. However, it is possible that we require to obtain classical information from a quantum state after performing error correction. For these particular cases we may be able to prove that an error correction code is quasi-perfect and thus optimum.

(Català) Els ordinadors quàntics fan servir les lleis de la mecànica quàntica per a realitzar operacions complexes que els ordinadors clàssics no poden resoldre. Els ordinadors quàntics i els altres sistemes quàntics requereixen que la informació quàntica estigui completament aïllada de l'entorn per tal de ser perfectament funcionals. Els sistemes quàntics que no estan completament aïllats són afectats per soroll de decoherència i poden patir errors. Implementar aquests sistemes és un gran repte i l'única manera de construir sistemes quàntics és desenvolupar sistemes subòptims amb una taxa d'error baixa.

En comunicacions quàntiques, dissenyar codis capaços de reduir o protegir contra errors és una necessitat. Aquest treball es centra en codis quàntics perfectes i quasi-perfectes que ja existeixen en sistemes clàssics i que són òptims en termes de minimitzar la probabilitat d'error per un determinat nombre d'usos del canal. A la primera part del treball generalitzem la definició de codis quasi-perfectes per incloure codis clàssics i codis quàntics. També proveïm un exemple de codi quàntic quasi-perfecte per a canals clàssic-quàntics de 2-qubits que fa servir entrellaçat quàntic i que pot extrapolar-se a un canal de dimensió N.

La segona part d'aquest treball es centra en codis quasi-perfectes en comunicacions òptiques, on estats coherents es fan servir per a transmetre informació a través d'un canal òptic, conegut com a canal Bosònic. El canal Bosònic té dimensió infinita, per això considerem en canvi una aproximació del canal Bosònic de dimensió finita, amb un error d'aproximació negligible amb una dimensió de canal suficientment gran. Demostrem que una modulació de fase dels estats coherents constitueix un codi quasi-perfecte pel canal aproximat, i per tant és pràcticament òptim per al canal Bosònic.

L'última part del treball es centra en codis estabilitzadors de correcció d'errors, que són codis pràctics que fan servir redundància per a protegir contra errors. La correcció d'errors no es fa servir específicament per a transmetre informació clàssica, sinó per a protegir la informació quàntica. Tot i això, és possible que requerim obtenir informació clàssica d'un estat quàntic després de fer servir correcció d'errors. Per a aquests casos, pot ser possible demostrar que un codi de correcció d'errors és quasi-perfecte i per tant òptim.

(Español) Los ordenadores cuánticos hacen uso de las leyes de la mecánica cuántica para realizar operaciones complejas que los ordenadores clásicos no pueden resolver. Los ordenadores cuánticos y otros sistemas cuánticos requieren que la información cuántica esté completamente aislada del entorno para poder ser perfectamente funcionales. Los sistemas cuánticos que no están completamente aislados son afectados por ruido de decoherencia y pueden sufrir errores. Implementar estos sistemas es un gran reto y la única manera de construir sistemas cuánticos es desarrollar sistemas subóptimos con una tasa de error baja.

En comunicaciones cuánticas, diseñar códigos capaces de reducir o proteger contra errores es una necesidad. Este trabajo se centra en códigos cuánticos perfectos y quasi-perfectos que ya existen en sistemas clásicos y que son óptimos en términos de minimizar la probabilidad de error para un determinado número de usos del canal. En la primera parte del trabajo generalizamos la definición de códigos quasi-perfectos para incluir códigos clásicos y códigos cuánticos. También proveemos un ejemplo de código cuántico quasi-perfecto para canales clásico-cuánticos de 2-qubits que usa entrelazado cuántico y que puede extrapolarse a un canal de dimensión N.

La segunda parte de este trabajo se centra en códigos quasi-perfectos en comunicaciones ópticas, donde se usan estados coherentes para transmitir información a través de un canal óptico, conocido como canal Bosónico. El canal Bosónico tiene dimensión infinita, por eso consideramos en cambio una aproximación del canal Bosónico de dimensión finita, con un error de aproximación negligible con una dimensión del canal suficientemente grande. Demostramos que una modulación de fase de los estados coherentes constituye un código quasi-perfecto para el canal aproximado y, por lo tanto es prácticamente óptimo para el canal Bosónico.

La última parte del trabajo se centra en códigos estabilizadores de corrección de errores, que son códigos prácticos que usan redundancia para proteger contra errores. La corrección de errores no se usa específicamente para transmitir información clásica, sino para proteger la información cuántica. Aún así, es posible que requiramos obtener información clásica de un estado cuántico después de usar corrección de errores. Para estos casos, puede ser posible demostrar que un código de corrección de errores es quasi-perfecto y, por lo tanto, óptimo.