Considerações sobre energia na computação

22

Para verificar meu entendimento, gostaria de compartilhar algumas idéias sobre os requisitos de energia da computação. Este é um seguimento da minha pergunta anterior e pode estar relacionado à pergunta de Vinay sobre leis de conservação .

Ocorreu-me que, de um ponto de vista termodinâmico, executar uma computação pode ser considerado, até certo ponto, análogo ao movimento de um peso ao longo de uma linha horizontal: a única perda de energia é devida a forças de atrito, que podem ser, em princípio , arbitrariamente pequeno.

Em um cenário ideal sem forças dissipativas (o análogo mecânico de um computador reversível), nenhum gasto de energia é necessário. Você ainda precisa fornecer energia para acelerar o peso, mas pode recuperar tudo ao desacelerar. O tempo de execução pode ser reduzido arbitrariamente investindo energia suficiente (mais precisamente, se a relatividade for levada em consideração, o tempo de execução será limitado abaixo por , onde d é a distância).d/cd

Da mesma forma, um computador reversível não requer gasto de energia, mas um investimento em energia que é recuperado no final do cálculo, e o tempo de execução pode ser reduzido arbitrariamente investindo energia suficiente, até os limites relacionísticos (como descrito em http: // arxiv. org / abs / quant-ph / 9908043 de Seth Lloyd).

No entanto, há um custo de energia associado à construção do computador. Em geral, isso dependerá dos detalhes da implementação, mas suponho que possamos declarar um limite inferior para ele:

Suponha que nosso computador tenha três registros (clássicos ou quânticos): Entrada , Saída e Ancilla .
Os registros de entrada e saída podem ser lidos e gravados pelo usuário, enquanto o registro Ancilla está inacessível.
No início de cada cálculo, o registro Ancilla começa em um estado fixo (por exemplo, todos os zeros) e, ao final do cálculo, ele retornará ao mesmo estado fixo. Assim, exceto o ruído externo, o estado Ancilla precisa ser inicializado apenas uma vez, quando o computador é construído.

Portanto, aplicando o princípio de Landauer , conjecturo que a construção de um computador reversível com bits (ou qubits) de Ancilla requer pelo menos n k B T ln 2 joules de energia, onde k B é a constante de Boltzmann e T é a temperatura do ambiente. onde o sistema está sendo construído.nnkBTln2kBT

Questões:

  1. As considerações acima estão corretas?

  2. TT<T

  3. O que acontece se considerarmos um computador irreversível? Um computador irreversível pode executar os mesmos cálculos usando, em geral, menos bits ancilla, além disso, uma vez que interage termicamente com seu ambiente, podemos organizar para que o estado inicial Ancilla faça parte do estado fundamental, portanto, podemos inicializá-lo simplesmente permitindo esfriar, sem fornecer energia. Obviamente, sendo irreversíveis, temos que pagar um custo de energia para cada cálculo.

  4. (relacionado à resposta de Kurt à pergunta de Vinay)
    Na analogia mecânica, considerei apenas o movimento ao longo de uma linha horizontal. Se o peso também fosse levantado na direção vertical, seria necessário um gasto adicional de energia (ou a energia seria recuperada se o peso fosse reduzido). Existe um análogo computacional desse movimento vertical e existe uma quantidade que é consumida ou produzida por esse processo?

ATUALIZAR:

Ocorreu-me que o custo de energia necessário para construir o computador pode ser recuperado, em princípio completamente (acho), quando você desmontar o computador.

nskBTln2+ntsnsnts é o termo de troca de energia versus velocidade por etapa de tempo, assumindo um tempo de execução total constante.

Alguma ideia?

Antonio Valério Miceli-Barone
fonte
1
Você pode olhar para o artigo de Paul Vitányi Tempo, espaço e energia na computação reversível .
Funkstar 12/04

Respostas:

4

Eu acho que talvez você esteja alcançando demais. Conforme você se mostra, a construção do próprio computador pode ser reversível e, portanto, o investimento em energia na construção não produzirá um limite inferior interessante. Considerando o registro auxiliar é uma idéia interessante, mas não acho que seja tão direto quanto você faz parecer.

5612

De fato, existe um modelo de computação em que o sistema é composto de um único bit quântico (qubit) junto com um sistema ancilla que não é polarizado (isto é, em um estado aleatório uniforme, que pode ser visto como o estado térmico de temperatura infinita) . Observe que você pode preparar esse estado em temperatura finita. Isso é conhecido como o modelo de um qubit limpo. O interessante é que esse modelo está longe de ser trivial, acreditando ser suficiente para resolver alguns problemas classicamente intratáveis, embora não seja tão poderoso quanto um computador quântico universal. Um exemplo disso é este artigo ( arXiv: 0707.2831 ) de Peter Shor e Stephen Jordan, mostrando que a estimativa dos polinômios de Jones está completa para o modelo.

Com isso em mente, em geral, o sistema ancilla parece não precisar ser inicializado para fornecer uma vantagem computacional, o que parece minar a suposição principal que você faz. Como tal, acredito que sua conjectura é falsa.

Joe Fitzsimons
fonte
Obrigado pela resposta. No entanto, não entendo bem como você pode usar construções tolerantes a falhas para executar o cálculo a partir de ancillas não inicializadas. Você pode expandir ou fornecer algumas referências, por favor? Se bem entendi, o portão da maioria é irreversível e toda a construção quântica tolerante a falhas que já vi (mas não sou realmente especialista) exige medições intermediárias ou algum outro tipo de operação irreversível. Se você simular essas operações com um circuito reversível, precisará de mais ancillas inicializadas para um estado conhecido.
Antonio Valerio Miceli-Barone
Obrigado pela referência ao modelo de um qubit limpo. Parece-me que, em vez do número total de qubits do registro ancilla, a entropia do seu estado inicial é importante.
Antonio Valerio Miceli-Barone
@ Antonio: Você pode tornar qualquer porta reversível fazendo com que ela atue em um ancilla, para que ele exija o ancilla com a saída da função. Você não precisa que essas ancilares sejam polarizadas perfeitamente, pois a polarização imperfeita é indistinguível do ruído de medição, contra o qual a maioria dos esquemas está protegida. Como um aparte, as medições não são um pré-requisito para a tolerância quântica a falhas.
Joe Fitzsimons
No que diz respeito à entropia como medida, não vejo como isso funcionaria. No modelo de um qubit limpo, você está muito próximo da entropia máxima, enquanto que no modelo de circuito regular você tem entropia zero.
Joe Fitzsimons
Você tem alguma referência a um esquema tolerante a falhas reversível?
Antonio Valerio Miceli-Barone