Filosofia da Fsica Clssica

Cap. XIII

Demnio de Maxwell e a Fsica da Computao

Questo: Um rob nanomtrico consegue violar a irreversibilidade?
1. O Demnio de Maxwell A Em 1871, Maxwell publicou o livro Theory of Heat, e em sua discusso sobre a 2 lei da Termodinmica, teceu a seguinte considerao (p. 328):
Mas se concebermos um ser cujas faculdades so to ntidas que ele consegue acompanhar o curso de cada molcula, tal ser, cujos atributos ainda so essencialmente finitos como os nossos, seria capaz de fazer o que para ns atualmente impossvel.

A descrio deste ser, que Kelvin (1874) chamaria de demnio inteligente de Maxwell, foi feita pela primeira vez em carta de Maxwell a Peter Guthrie Tait, em 1867, referindo-se a um gs distribudo entre dois compartimentos A e B, ligados por um buraco com uma porta deslizante, como gs em A inicialmente mais quente do que em B:
Deixe ele [o demnio] primeiro observar as molculas em A e quando ele vir uma vindo, cujo quadrado da velocidade menor do que a velocidade quadrada mdia das molculas em B, faa ele abrir o buraco e deixar ela passar para B. Em seguida, deixe ele procurar uma molcula de B, cuja velocidade quadrada maior do que a velocidade quadrada mdia em A e, quando ela chegar no buraco, deixe-o abrir a porta deslizante e deix-la entrar em A, deixando a porta fechada para todas as outras molculas. [...] Assim, o nmero de molculas em A e B o mesmo que no incio, mas a energia em A aumentou e a em B diminuiu, ou seja, o sistema quente esquentou e o mais frio esfriou, e mesmo assim nenhum trabalho foi realizado, empregando-se apenas a inteligncia de um ser muito observador e de dedos delicados.

O manuseio da portinha deslizante pode ser considerado sem atrito, e assim sua operao no realiza trabalho. O objetivo de Maxwell foi mostrar que a 2a Lei da Termodinmica tem apenas certeza estatstica (carta a Tait, posterior a 1874), ou seja, pode ser violado em flutuaes momentneas.102 Em 1912, o polons Marian von Smoluchowski mostrou que uma portinha que funcionasse como uma vlvula, deixando passar molculas apenas em uma direo, no poderia violar a 2a lei por causa das suas prprias flutuaes trmicas (movimento browniano). Em 1929, o fsico hngaro Le Szilrd fez uma anlise cuidadosa para verificar se um ser inteligente poderia de fato violar a 2a lei, constituindo assim um moto perptuo de 2 tipo. Um moto perptuo de 1o tipo seria uma mquina que violasse a lei de conservao de energia, e a de 2o tipo violaria a lei de aumento de entropia. Szilrd elaborou um modelo de molcula nica, que pode ocupar duas cmaras, que examinaremos (com detalhes adicionais) na Fig. XIII.2. Sua concluso foi a de que o processo de medio efetuado pelo demnio necessariamente dissiparia a energia necessria para salvar a 2a lei, elevando a entropia em pelo menos k ln 2 (onde k a constante de Boltzmann). Tal associao entre medio e aumento de entropia estava sendo elaborada na poca, no contexto da Fsica Quntica, por seu colega hngaro John von Neumann.
102

As citaes foram tiradas do cap. 1 do livro de LEFF, H.S. & REX, A.F. (orgs.) (1990), Maxwells Demon: Entropy, Information, Computing, Princeton U. Press, pp. 3-6, que alm da introduo dos organizadores contm uma poro de textos clssicos sobre o demnio.

82

FLF0472 Filosofia da Fsica (USP-2012)

Cap.XIII: Demnio de Maxwell e a Fsica da Computao

2. Dissipao de Energia na Observao Szilrd, no entanto, no ps o dedo na etapa exata que levaria dissipao de energia. Uma ideia para resolver isso foi proposta por Pierre Demers (1944), que salientou que s possvel distinguir um sinal luminoso emitido em um fundo radiativo, a uma certa temperatura T de corpo negro, se este sinal tiver uma energia maior do que kT. Esta ideia foi utilizada por Lon Brillouin (1949), e de maneira independente por Dennis Gabor (1951). Seguindo Brillouin, considere que o demnio de Maxwell consegue observar as molculas usando uma pequena lanterna. Para que a luz da lanterna fosse visvel para o demnio, os ftons teriam que ter uma energia h > kT. Para que a observao se concretizasse, a retina do demnio teria que absorver cada fton, e esta absoro acarretaria necessariamente uma dissipao de energia, correspondendo a um aumento de entropia maior do que h/T, o que compensaria a diminuio de entropia no gs.

3. Limites Fsicos da Computao Em 1982, Charles Bennett mostrou que a limitao imposta por Brillouin e Gabor para a observao de ftons podia ser contornada em sistemas mecnicos que no envolvem absoro de luz. Para entendermos seu resultado, mencionemos alguns princpios da rea de limites fsicos da computao, explorados especialmente por Rolf Landauer e pelo prprio Bennett. A questo geral : quais so os limites fsicos ltimos para a realizao de uma computao mecnica? Quais os limites mnimos de gasto de energia, de tempo e de tamanho? Alguns princpios gerais podem ser invocados. 1) Em primeiro lugar, uma computao nunca gera informao. Geralmente a sada de uma computao carrega menos informao do que a entrada. Por exemplo, a entrada 2 + 2 contm a informao obtida na sada, 4, mas contm tambm informao adicional, pois sabemos quais so os dois nmeros sendo somados. Apenas com a sada, no h informao se a entrada foi 2 + 2 ou 3 + 1. Neste caso, perdeu-se informao na computao, e a porta lgica correspondente irreversvel. 2) Princpio de Landauer (1961): Em sistemas fsicos reais, a destruio de informao sempre dissipa energia. Para ilustrar este princpio, considere a memria magntica de um computador, que armazena 1 bit de informao em um poo de potencial duplo, como o da Fig. XIII.1. De incio, todos os registros esto com o dgito 0, o que pode ser ilustrado por uma bolinha no fundo do poo da esquerda. Aps a realizao da computao, a bolinha pode estar marcando 0 ou 1. Nosso objetivo restaurar a memria para o estado inicial sem dissipar energia, ou seja, realizando um processo sem atrito. Suponha que o estado final do registro seja 1 (parte de cima da figura). Podemos definir uma funo F(t) que leva a bolinha do lado direito para o esquerdo, primeiro dando energia para a bolinha, e depois retirando o mesmo valor de energia. O apagamento de memria sem atrito funciona quando o estado final 1. Porm, o estado final poderia ter sido 0 (parte de baixo da figura). Neste caso, se aplicarmos a mesma funo F(t), a bolinha termina com um movimento oscilatrio, que no corresponde a um valor bem definido para o registro! Assim, nossa tentativa de apagar a memria sem atrito fracassa. Com atrito, porm, a tarefa factvel. Podemos usar a mesma funo F(t), junto com a dissipao de uma parte da energia da bolinha. J vimos que a funo funciona bem para o caso em que a bolinha se encontra em 1. Para o caso em que se encontra em 0, a perda de energia impedir que a bolinha fique oscilando a esmo, pois ela no ter energia para sair do 83

FLF0472 Filosofia da Fsica (USP-2012)

Cap.XIII: Demnio de Maxwell e a Fsica da Computao

poo 0, e com a dissipao contnua de energia, acabar parada no fundo do poo 0. Desta maneira, possvel restaurar o estado 0 em todos os registros, sem precisar saber qual foi o estado ao final da computao.103

Figura XIII.1. Ilustrao do princpio de Landauer.

3) Computao reversvel. O terceiro princpio da fsica da computao que portas lgicas irreversveis e apagamento de memria no so necessrios para a computao. Em outras palavras, possvel haver computao reversvel. Este resultado foi provado por Bennett em 1973, que mostrou como, ao invs de apagar memria, pode-se acumular um lixo de informao que guarda a histria dos passos da computao. Aps escrever a sada em uma folha de papel, o computador simplesmente reverte todos os seus passos, terminando no seu estado inicial.

4. Demnio e Apagamento de Memria Com esses princpios, podemos apresentar a soluo de Bennett para a questo do demnio de Maxwell. A dissipao de energia no demnio no ocorre na observao, que pode em princpio ocorrer de maneira mecnica (sem usar ftons), mas sim no apagamento da memria. Consideremos o demnio de Maxwell conforme a Fig. XIII.2. Ele possui um sensor muito acurado, para observar a posio das molculas, um locomotor, para se mover, e um efetor, para mover objetos sem atrito. Ele possui uma memria, cujo estado inicial 0; na figura, ela aparece como armazenando 1 bit de informao, mas pode ser maior. A energia da bateria usada para apagar a memria, ao final do processo. Em sua memria, o demnio tambm precisa ter armazenado um programa (que no aparece na figura), que indica como ele deve agir. Na Fig. XIII.3, apresentam-se os passos de operao do demnio, em sua tentativa de violar a 2a lei da Termodinmica. Ele atuar em um gs de uma nica molcula, colocado em um recipiente com pisto mvel e retirvel, envolto por um banho trmico. Sua finalidade realizar trabalho, por meio da elevao de tijolos em um campo gravitacional, sem dissipar

A discusso nesta seo extrada de: LANDAUER, R. (1961), Irreversibility and Heat Generation in the Computing Process, IBM Journal of Research and Development 3, 183-91. BENNETT, C.H. (1987), Demons, Engines and the Second Law, Scientific American 257(5), 88-96.

103

84

FLF0472 Filosofia da Fsica (USP-2012)

Cap.XIII: Demnio de Maxwell e a Fsica da Computao

energia. Ele tentar extrair energia trmica do banho que envolve o recipiente de gs, e convert-la integralmente em trabalho mecnico (sem perdas). Os passos indicados na figura so os seguintes. (a) O demnio se prepara para agir. (b) Ele olha para a molcula, esperando o momento em que ela esteja no lado direito da caixa. Para poder agir, deve registrar 1 em sua memria. (c) Levanta a parede e liga as correntes. (d) A molcula obtm energia em seus choques com o banho trmico, fechando o pisto. (e) O demnio retira a parede. (f) Agora ele est pronto para recomear, como na situao (a).

Figura XIII.2: O demnio de Maxwell.

Figura XIII.3: Ciclo de atividade do demnio de Maxwell.

85

FLF0472 Filosofia da Fsica (USP-2012)

Cap.XIII: Demnio de Maxwell e a Fsica da Computao

O demnio claramente realizou trabalho sem dissipar energia. Se ele retornar ao seu estado inicial, ele poder repetir o ciclo indefinidamente, constituindo um moto perptuo de 2o tipo. Porm, h uma diferena entre o estado inicial (a) e o final (f): o registro em sua memria. Para retornar ao estado inicial, ele ter que apagar 1 bit em sua memria, mas para conseguir isso, ter que dissipar energia, pelo princpio de Landauer. Assim, o demnio de Maxwell no consegue violar a 2 lei da Termodinmica em um ciclo fechado. No entanto, enquanto ele no tiver que apagar a memria, ele pode continuar realizando trabalho sem dissipar energia! Por exemplo, se ele tiver 100 bits de memria, pode repetir o ciclo 100 vezes, elevando o peso a uma altura 100 vezes maior, convertendo toda energia em trabalho. No entanto, pode-se dizer que esse ganho compensado pela dissipao que ocorreu na fabricao do seu chip de memria.

5. Motores Nanomtricos Nos ltimos anos, muito se aprendeu sobre o mecanismo dos motores moleculares nos seres vivos. Como era de se esperar, nenhum deles viola a 2 lei da Termodinmica. No tivemos tempo de rever esta literatura, mas indicaremos uma bibliografia bsica.104

104

ASTUMIAN, R.D. (2001), Making Molecules into Motors, Scientific American 285(1), 56-64.

86