The thermodynamic meaning of negative entropy

Lidia del Rio, Johan Aberg, Renato Renner, Oscar Dahlster & Vlatko Vedral Alan Rios Fukelman
Departamento de Fsica, FCEyN, U.B.A

November 26, 2004

ndice

1 Introduccin

El demonio de Maxwell y la segunda ley. El principio de Landauer

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

2 / 16

ndice

1 Introduccin

El demonio de Maxwell y la segunda ley. El principio de Landauer

2 Caso de estudio: Bob, Alice y Quasimodo

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

2 / 16

ndice

1 Introduccin

El demonio de Maxwell y la segunda ley. El principio de Landauer

2 Caso de estudio: Bob, Alice y Quasimodo

3 Conclusiones

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

2 / 16

Introduccin

El demonio de Maxwell y la segunda ley.

El demonio de Maxwell
Para discutir las limitaciones de la segunda ley de la termodinmica Maxwell plantea el siguiente experimento pensado:

Dejando pasar las partculas ms rpidas el demonio logra hacer un ciclo en el que solo saca calor, violando la segunda ley.
Alan Rios Fukelman (FCEyN) The thermodynamic meaning of November 2004 3 / 16

Introduccin

El principio de Landauer

El principio de Landauer

Landauer nota que el procesamiento de informacin se lleva a cabo por algn sistema fsico, por lo que tiene que haber una correspondencia uno a uno entre sistemas lgicos y sistemas fsicos.

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

4 / 16

Introduccin

El principio de Landauer

El principio de Landauer

Landauer nota que el procesamiento de informacin se lleva a cabo por algn sistema fsico, por lo que tiene que haber una correspondencia uno a uno entre sistemas lgicos y sistemas fsicos. Una irreversibilidad logica implica una irreversivilidad fsica, y esta trae consigo efectos disipativos.

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

4 / 16

Introduccin

El principio de Landauer

El principio de Landauer

Landauer nota que el procesamiento de informacin se lleva a cabo por algn sistema fsico, por lo que tiene que haber una correspondencia uno a uno entre sistemas lgicos y sistemas fsicos. Una irreversibilidad logica implica una irreversivilidad fsica, y esta trae consigo efectos disipativos. Reversibilidad logica Podemos generar cmputos lgica y fsicamente reversibles. Pero el borrado de informacin es un proceso irreversible!

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

4 / 16

Introduccin

El principio de Landauer

El principio de borrado de Landauer

La deduccin de Landauer El qubit puede estar en 2 estados antes de ser borrado y despus del borrado est en uno solo, lo que introduce un cambio en la entropa de: S = kb Tln(2) Como la entropa no puede decrecer tiene que aparecer la misma cantidad de calor en el sistema. Principio de borrado de Landauer W (S ) = kB Tln(2)

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

5 / 16

Caso de estudio: Bob, Alice y Quasimodo

Borrado de memorias cunticas

El calculo energtico de un computo cualquiera, reversible o irreversible se reduce a calcular el estudio del borrado. W (S ) = H (S )kB Tln(2) El principio de Landauer solo tiene en cuenta informacin clsica. Qu pasa cuando se tiene informacin cuntica sobre el sistema que se quiere borrar?

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

6 / 16

Caso de estudio: Bob, Alice y Quasimodo

Preparando el experimento

Alice prepara n qubits en un estado puro y anota el estado preparado. = | |

Alan Rios Fukelman (FCEyN) The thermodynamic meaning of November 2004 7 / 16

Caso de estudio: Bob, Alice y Quasimodo

Preparando el experimento

Alice prepara n qubits en un estado puro y anota el estado preparado. = | |

Alan Rios Fukelman (FCEyN) The thermodynamic meaning of November 2004 7 / 16

Caso de estudio: Bob, Alice y Quasimodo

Preparando el experimento

Alice prepara n qubits en un estado puro y anota el estado preparado. = | |

Alan Rios Fukelman (FCEyN)

Pero Bob que no tiene acceso al registro de Alice, el estado esta completamente mezclado. =
n i =1 pi

|i

i|
7 / 16

The thermodynamic meaning of

November 2004

Caso de estudio: Bob, Alice y Quasimodo

Preparando el experimento

Diferentes observadores tienen distinto conocimiento del mismo sistema. Hay que reformular el principio de Landauer. W (S |C ) = H (S |C )kB Tln(2) Donde W (S |C ) es el costo de borrado del sistema S para un observador C que tiene una incerteza H (S |C ) sobre S. Un observador cuntico Qu pasa si tenemos un tercer observador, Quasimodo, que tiene n qubits entrelazados con los qubits de Alice y el resto de su memoria entrelazados con un entorno?

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

8 / 16

Caso de estudio: Bob, Alice y Quasimodo

= | |

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

9 / 16

Caso de estudio: Bob, Alice y Quasimodo

= | |

n i =1 pi

|i

i|

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

9 / 16

Caso de estudio: Bob, Alice y Quasimodo

= | |

n i =1 pi

|i

i|

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

9 / 16

Caso de estudio: Bob, Alice y Quasimodo

= | |

n i =1 pi

|i

i| |SQ1 SQ1 |

= |Q2 R

Q2 R |

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

9 / 16

Caso de estudio: Bob, Alice y Quasimodo

Borrando las distintas memorias

Alice Tiene un registro clsico del estado que arm, no tiene ninguna incerteza sobre el sistema: H (S |A) = 0 W (S |A) = 0 No necesita realizar trabajo para borrar S.

Alice conoce el estado del sistema y aplica una operacin unitaria U para llevarlo al estado |0
Alan Rios Fukelman (FCEyN) The thermodynamic meaning of November 2004 10 / 16

Caso de estudio: Bob, Alice y Quasimodo

Borrando las distintas memorias

Bob No tiene acceso al registro de Alice, por lo que tiene incerteza mxima: H (S |B ) = n W (S |B ) = nkB Tln(2)

Comienza con el estado mixto, lo acopla con un bao trmico dejando un nivel de energa quieto. Desacopla el bao trmico y baja todos los niveles.
Alan Rios Fukelman (FCEyN) The thermodynamic meaning of November 2004 11 / 16

Caso de estudio: Bob, Alice y Quasimodo

Borrando las distintas memorias

Conservacin de la informacin Necesitamos que la informacin almacenada en Q sea preservada en el proceso de borrar. Esta condicin es de particular importancia si consideramos el proceso de borrado como parte de un procedimiento ms largo.

En el trabajo se caracteriza el trabajo que tiene que hacer un observador con acceso a una memoria cuntica y se presenta el lmite termodinmico: W (S |Q ) = H (S |Q )kB Tln(2) Donde H (S |Q ) es la entropa condicional de Von Neumann: H (S |Q ) = H (SQ ) H (Q )
Alan Rios Fukelman (FCEyN) The thermodynamic meaning of November 2004 12 / 16

Caso de estudio: Bob, Alice y Quasimodo

Borrando las distintas memorias

Quasimodo Quasimodo tiene n-qubits entrelazados con S. Sabemos que: H (SQ ) = 0 Por que no tenemos incerteza alguna sobre el estado de todo el sistema en conjunto. En cambio para cada parte por separado tenemos: H (S ) = H (Q ) = n Usando el lmite termodinmico obtenemos un costo energtico negativo, es decir que ganamos W = nkB Tln(2) del proceso de borrado.
Alan Rios Fukelman (FCEyN) The thermodynamic meaning of November 2004 13 / 16

Caso de estudio: Bob, Alice y Quasimodo

Quasimodo viola la segunda ley?

Vimos que podemos extraer energa del borrado de un sistema con una memoria cuntica que esta entrelazada con el mismo. Podramos en principio dejar que el sistema se termalice y volver a realizar el procedimiento.

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

14 / 16

Caso de estudio: Bob, Alice y Quasimodo

Quasimodo viola la segunda ley?

Vimos que podemos extraer energa del borrado de un sistema con una memoria cuntica que esta entrelazada con el mismo. Podramos en principio dejar que el sistema se termalice y volver a realizar el procedimiento. El estado luego de la medicin = 2n IQ 1 |Q2 R Q2 R |

Se conserva la informacin como habamos pedido.

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

14 / 16

Caso de estudio: Bob, Alice y Quasimodo

Quasimodo viola la segunda ley?

Vimos que podemos extraer energa del borrado de un sistema con una memoria cuntica que esta entrelazada con el mismo. Podramos en principio dejar que el sistema se termalice y volver a realizar el procedimiento. El estado luego de la medicin = 2n IQ 1 |Q2 R Q2 R |

Se conserva la informacin como habamos pedido.

Cuando borramos el sistema usamos el entrelazamiento y no se vuelve a generar, entonces no podemos realizarlo de manera cclica.
Alan Rios Fukelman (FCEyN) The thermodynamic meaning of November 2004 14 / 16

Conclusiones

Conclusiones

Vimos el signicado termodinmico de la entropa condicional

negativa.

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

15 / 16

Conclusiones

Conclusiones

Vimos el signicado termodinmico de la entropa condicional

negativa.
Podemos pensar al entrelazamiento como un recurso termodinmico,

consumir una unidad de entrelazamiento puede simultaneamente borrar un qubit y convertir kB Tln(2) de calor en trabajo. Tareas que clsicamente requieren la utilizacin de 2 bits.

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

15 / 16

Conclusiones

Conclusiones

Vimos el signicado termodinmico de la entropa condicional

negativa.
Podemos pensar al entrelazamiento como un recurso termodinmico,

consumir una unidad de entrelazamiento puede simultaneamente borrar un qubit y convertir kB Tln(2) de calor en trabajo. Tareas que clsicamente requieren la utilizacin de 2 bits.
Como la ganancia de energa en el borrado depende el

entrelazamiento, un proceso de borrado con trabajo negativo se puede usar para detectar entrelazamiento.

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

15 / 16

Conclusiones

Conclusiones

Vimos el signicado termodinmico de la entropa condicional

negativa.
Podemos pensar al entrelazamiento como un recurso termodinmico,

consumir una unidad de entrelazamiento puede simultaneamente borrar un qubit y convertir kB Tln(2) de calor en trabajo. Tareas que clsicamente requieren la utilizacin de 2 bits.
Como la ganancia de energa en el borrado depende el

entrelazamiento, un proceso de borrado con trabajo negativo se puede usar para detectar entrelazamiento.
Los resultados sugieren que la discordia puede cuanticar la diferencia

entre el costo de borrar una memoria clsica y cuntica.

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

15 / 16

Conclusiones

Conclusiones

Vimos el signicado termodinmico de la entropa condicional

negativa.
Podemos pensar al entrelazamiento como un recurso termodinmico,

consumir una unidad de entrelazamiento puede simultaneamente borrar un qubit y convertir kB Tln(2) de calor en trabajo. Tareas que clsicamente requieren la utilizacin de 2 bits.
Como la ganancia de energa en el borrado depende el

entrelazamiento, un proceso de borrado con trabajo negativo se puede usar para detectar entrelazamiento.
Los resultados sugieren que la discordia puede cuanticar la diferencia

entre el costo de borrar una memoria clsica y cuntica.

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

15 / 16

Conclusiones

Caracterizacin de W (S |Q )

El resultado principal encontrado en el paper caracteriza una sola instancia de borrado. Como W (S |Q ) es una variable aleatoria y puede uctuar, se encontr una cota superior para W (S |Q ) que es violada con una probabilidad muy baja. W (S |Q ) [Hmax (S |Q ) + ]kTln(2) Salvo con una probabilidad ms chica que = 0 y para todo 0 e
2

+ 12 para todo

Alan Rios Fukelman (FCEyN)

The thermodynamic meaning of

November 2004

16 / 16