Cálculo natural baseado em forças fundamentais

9

Exemplos bem conhecidos de computação inspirados em fenômenos naturais são computadores quânticos e computadores de DNA.

O que se sabe sobre o potencial e / ou limitações da computação com as leis ou a gravidade de Maxwell?

Ou seja, incorporar as soluções "rápidas" da natureza às equações de Maxwell ou ao problema do corpo n diretamente em um algoritmo de uso geral?

Kaveh
fonte
2
Eu acho que eles têm computadores realmente construídas que o uso de gravidade: en.wikipedia.org/wiki/MONIAC_Computer :)
Jukka Suomela
A lógica
11
Aliás, eu seria um pouco cauteloso com os extremos. Por exemplo, parece que, isolada, a relatividade geral pode permitir cálculos além daqueles que podemos fazer com os modelos clássicos. No entanto, para uma solução "natural", não podemos ignorar o restante do que sabemos sobre física: o computador do buraco negro que descrevi abaixo entra em conflito com a termodinâmica e a mecânica quântica. Qualquer boa solução para computação com forças fundamentais provavelmente deve estar na interseção de nossas teorias físicas. (Eu diria que quantum qualifica de computação, aqui.)
Funkstar

Respostas:

11

Não está claro o que implica um "algoritmo" baseado em forças naturais. Indiscutivelmente, um computador quântico já opera com base em "princípios naturais" (excluindo a gravidade, mas incluindo as equações de Maxwell). Quais são as etapas atômicas do seu 'algoritmo natural'? Se você está falando sobre pegar um sistema corpo e deixá-lo "evoluir" para executar um cálculo, como você mede seu tempo de execução?n

Nesse sentido, Roger Brockett fez um trabalho interessante nos anos 80, vendo a classificação e a programação linear como a solução para um sistema dinâmico.

Suresh Venkat
fonte
Obrigado, seus comentários me ajudam a entender algumas das questões conceituais. E o jornal Brockett parece muito interessante.
Claro, a computação quântica adiabática não se encaixa facilmente no paradigma de "uma sequência de operações elementares" ou ...
Niel de Beaudrap
13

Atualmente, a computação quântica é o modelo computacional mais poderoso baseado na física conhecida que foi realizado experimentalmente e pode simular eficientemente as equações de Maxwell e praticamente todos os outros fenômenos físicos que você encontra no dia-a-dia. Como os outros mencionaram, uma exceção é o espaço-tempo geral permitido como soluções na relatividade geral.

Tem havido muito interesse no poder computacional de computadores com acesso ao tempo fechado como curvas, por exemplo. No entanto, não há absolutamente nenhuma evidência de que elas existam na natureza ou que possam ser criadas artificialmente. Portanto, embora existam modelos computacionais potencialmente interessantes que incorporam a relatividade geral de alguma forma, há uma dúvida significativa sobre se esses modelos podem ser realizados e, antes que possamos ter o modelo mais geral de computação física, precisamos de uma sólida teoria da gravidade quântica.

Além disso, as características interessantes da relatividade geral tendem a aparecer apenas em regiões de alta curvatura, o que é muito diferente da região quase plana do espaço-tempo em que habitamos e os efeitos da relatividade em um espaço tão plano (ish) não oferecem vantagem computacional.

Joe Fitzsimons
fonte
2
mas é claro que vamos estar plantando nossos supercomputadores em um buraco negro;)
Suresh Venkat
10

Para a gravidade, houve algum interesse na "computação relativística", que usa a estrutura do espaço-tempo para acelerar os cálculos de alguma maneira. Algumas idéias incluem o espaço-tempo de Malament-Hogarth e a computação via buracos negros: inicie o computador com um cálculo para, por exemplo, decidir a conjectura de Goldbach (procurando um contraexemplo) e depois se jogue em um buraco negro. Pode passar um tempo infinito para o computador fora do orifício procurar um contra-exemplo, mas isso é experimentado apenas como um tempo finito para você, portanto, se você não receber um sinal com um contra-exemplo em algum prazo, "saberá" que não existe .

Você também pode estar interessado no Workshop de Física e Computação .

funkstar
fonte
A computação quântica topológica gravitacional de Velez e Ospina é outra tentativa de modelar idéias de computação gravitacional.
Aaron Sterling
2

Aqui está uma interpretação da sua pergunta, que você pode ou não ter pretendido, mas para a qual eu tenho uma resposta.

Os computadores são obviamente dispositivos físicos reais e, portanto, podem ser modelados pelas leis da física. Mas não usamos as leis da física que seriam necessárias para descrever um computador real como um modelo de computação porque é muito complexo. Para fazer um modelo de computação, definimos algo como uma máquina de Turing que é simples o suficiente para ser matematicamente tratável. No entanto, agora desamarramos o modelo do mundo físico, porque não dizemos como a máquina de Turing é construída ou que forças o levam a funcionar.

Então, podemos conceber alguns modelos simples que capturam "computação", mas cujas regras fundamentais são de natureza física? Minha resposta para isso seria verificar as palestras de Feynman sobre computação: http://www.amazon.com/Feynman-Lectures-Computation-Richard-P/dp/0738202967

Ele fala sobre vários sistemas físicos simples diferentes que realizam um cálculo. Por exemplo, existe o modelo de bola de bilhar de Fredkin e Toffoli (http://en.wikipedia.org/wiki/Billiard-ball_computer), em que o objetivo era explicar explicitamente os requisitos de energia e projetar um computador que possa rodar. arbitrariamente muitos passos para arbitrariamente pouca energia. Em particular, o capítulo sobre computação reversível tem muitos desses tipos de exemplos.

Pensamos muito sobre esse assunto no meu laboratório. Por exemplo, fizemos alguns trabalhos sobre o que significa para as redes de reação química fazer o cálculo: http://www.dna.caltech.edu/DNAresearch_publications.html#DeterministicCRNs e http://www.dna.caltech.edu /DNAresearch_publications.html#ComputationalCRNs

Também pensamos em como a formação de cristais semeados pode realizar cálculos: http://www.dna.caltech.edu/DNAresearch_publications.html#Simulations , além de realmente tentar fazer isso acontecer experimentalmente: http: //www.dna.caltech .edu / DNAresearch_publications.html # OrigamiSeed , e alguns outros trabalhos baseados na computação usando um fenômeno físico chamado deslocamento de fita de DNA: http://www.dna.caltech.edu/DNAresearch_publications.html#DNALogicCircuits

Dave Doty
fonte
0

A teoria quântica captura muito bem o conceito de objetos discretos . Outras teorias da física não.

Tegiri Nenashi
fonte
3
Não tenho muita certeza de quão preciso isso seja. Certamente, a teoria quântica permite um certo nível de discretização natural, mas isso também pode estar presente na física clássica (ou seja, um pedaço de corda está conectado ou quebrado, um potencial pode ter um número finito de mínimos etc.). Se alguma coisa, a física quântica torna as coisas mais contínuas, permitindo a evolução contínua entre estados ortogonais.
Joe Fitzsimons
A evolução é idêntica nas teorias quânticas e clássicas - dinâmica hamiltoniana. É o estado que difere. Certamente existem campos de física [aplicados] onde se pode modelar portões binários. A questão é se algo dentro da estrutura de teorias clássicas fundamentais (como gravidade, eletromagnetismo) pode dar origem a estados discretos.
Tegiri Nenashi
O fato de a mecânica quântica também ter um Hamiltoniano não significa que a dinâmica seja idêntica. Os hamiltonianos simplesmente não são os mesmos (é preciso quantificar o hamiltoniano clássico). Isso dá origem a diferentes dinâmicas. A física clássica pode igualmente dar origem a esses conjuntos discretos: a presença ou ausência de uma partícula (digamos, um elétron) em um modo espacial específico. Os potenciais de poço duplo são um exemplo realmente simples disso. À temperatura zero, a partícula no poço está em um dos 2 estados. Além disso, a relatividade faz um trabalho maravilhoso ao particionar o espaço-tempo.
Joe Fitzsimons
Não argumentarei contra mínimos locais de função contínua interpretados como estados discretos. Tudo o que é necessário para fabricar um transistor / tubo de vácuo (e, portanto, porta lógica) é colocar algum potencial de controle sobre o fluxo de elétrons; inteiramente dentro do domínio da física clássica. Eu sugeriria que, se você deseja modelar alguns artefatos de CS - o mais notável conjunto infinito de números naturais - a mecânica quântica prontamente fornece isso.
Tegiri Nenashi
2
O número de modos estacionários de uma onda em uma cavidade também é um infinito contável. Isso realmente não é o benefício da computação quântica.
Joe Fitzsimons