🔬 applied physics

A 2048-spin bulk acoustic wave Ising machine for number partitioning and Sudoku

Este artigo apresenta uma máquina de Ising de ondas acústicas volumétricas de 2.048 spins, compacta, de baixo consumo e termicamente estável, que utiliza linhas de atraso de estado sólido para alcançar conectividade todos-para-todos e resolver eficientemente problemas de otimização complexos como MAX-CUT, partição de números e Sudoku, superando tanto máquinas ópticas de última geração quanto algoritmos simulados em estabilidade e capacidades específicas de resolução de problemas.

Autores originais: Venkatesh Vadde, Roman Ovcharov, Victor H. González, Roman Khymyn, Artem Litvinenko, Johan Åkerman

Publicado 2026-07-03

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Venkatesh Vadde, Roman Ovcharov, Victor H. González, Roman Khymyn, Artem Litvinenko, Johan Åkerman

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está tentando resolver um quebra-cabeça massivo e incrivelmente difícil. Você tem milhares de peças e precisa organizá-las para que se encaixem perfeitamente, minimizando o "atrito" ou a "tensão". No mundo dos computadores, esses são chamados de problemas de otimização (como descobrir a melhor maneira de dividir um grupo de pessoas em dois times para que os times fiquem o mais equilibrados possível, ou resolver um Sudoku).

Por muito tempo, os computadores comuns lutaram contra esses quebra-cabeças porque o número de arranjos possíveis cresce tão rápido que levaria mais tempo do que a idade do universo para encontrar a melhor resposta.

Este artigo apresenta um novo tipo de "solucionador de quebra-cabeças" chamado Máquina de Ising de Onda Acústica de Volume (BAWIM). Pense nisso como uma máquina de solução de quebra-cabeças especializada, construída para resolver esses problemas usando ondas sonoras em vez de apenas eletricidade e código.

Aqui está uma divisão simples de como ela funciona e por que é especial:

1. A Ideia Central: Um Anel de Som

Imagine uma pista de corrida circular. Em vez de carros, enviamos pequenos pacotes de ondas sonoras (especificamente, som viajando através de um bloco sólido de cristal de quartzo) ao redor desta pista.

Os Spins: Cada "volta" ou pulso de som representa uma única peça do quebra-cabeça, chamada de "spin". Pode estar em um de dois estados: como uma moeda mostrando Cara (+1) ou Coroa (-1).
A Pista: A máquina usa uma linha de atraso (um tubo para o som) que tem cerca de 700 microssegundos de comprimento. Ao enviar pulsos um após o outro, a máquina pode manter 2.048 desses "spins" ao mesmo tempo.
O Ciclo: Esses pulsos de som circulam em um loop. A máquina constantemente "ouve" os pulsos, calcula como eles devem interagir entre si com base nas regras do quebra-cabeça e, então, "injeta" um pequeno empurrão para mudar seu estado, se necessário.

2. O "Treinador" (O Sistema de Feedback)

A máquina possui um treinador inteligente (um chip de computador FPGA) observando a corrida.

O treinador mede a fase (o tempo) das ondas sonoras.
Ele calcula as "regras" do quebra-cabeça específico (ex: "O Spin A e o Spin B devem ser opostos").
Ele envia um sinal de volta para o loop para dar um empurrão nas ondas sonoras em direção ao arranjo correto.
Com o tempo, as ondas sonoras naturalmente se estabilizam no estado de menor energia, o que corresponde à melhor solução para o quebra-cabeça.

3. Por que esta Máquina é um Diferencial

Os autores comparam sua nova máquina com os atuais "campeões" deste campo, que são as Máquinas de Ising Coerentes Ópticas (CIMs). Essas máquinas mais antigas usam luz (lasers) e fibras ópticas. Aqui está como a nova máquina baseada em som vence:

O Problema do "Termostato":
- O Jeito Antigo (Luz): Imagine tentar manter um cabo de fibra óptica gigante de 5 quilômetros de comprimento perfeitamente estável. Se a temperatura da sala mudar apenas um grau, a luz sai de sincronia e toda a máquina quebra. Você precisa de uma caixa enorme, cara e preenchida com água e controle de temperatura para mantê-la funcionando.
- O Novo Jeito (Som): A BAWIM é como um pequeno cristal de quartzo sólido. É incrivelmente estável. O artigo afirma que ela é 10.000 vezes mais estável contra mudanças de temperatura do que as máquinas baseadas em luz. Você pode colocá-la em uma mesa comum em uma sala normal, e ela funcionará perfeitamente sem precisar de um termostato gigante.
Tamanho e Custo:
- As máquinas de luz são enormes, caras e consomem muita energia.
- A BAWIM é um dispositivo de "mesa". Ela cabe em uma mesa, usa peças eletrônicas padrão disponíveis no mercado (como as encontradas em seu telefone ou rádio) e consome muito pouca energia (cerca de 9,5 watts, aproximadamente o mesmo que uma lâmpada brilhante).

4. Que Quebra-Cabeças Eles Resolveram?

Os pesquisadores testaram sua máquina em três tipos de desafios:

MAX-CUT: Um problema matemático clássico sobre dividir uma rede em dois grupos. A máquina encontrou uma solução muito boa em cerca de 341 milissegundos (menos de meio segundo).
Particionamento de Números: Dividir uma lista de números aleatórios em dois grupos com som igual. A máquina resolveu isso melhor e mais rápido do que um algoritmo de software de alto nível chamado "Bifurcação Simulada".
Sudoku: Eles até resolveram um quebra-cabeça de Sudoku. Isso é complicado porque o Sudoku exige respostas exatas (não há espaço para "quase certo"). A máquina encontrou com sucesso a solução correta, enquanto o algoritmo de software falhou em encontrar uma solução válida.

5. Potencial Futuro

O artigo sugere que, se eles trocarem sua frequência de som atual de 20 MHz por uma muito mais rápida de 16 GHz (o que é possível com a tecnologia existente), a máquina poderia resolver esses problemas em menos de um milissegundo.

Resumo

Em suma, os autores construíram um computador de mesa, pequeno, estável e de baixa potência que usa ondas sonoras para resolver quebra-cabeças matemáticos complexos. Ao contrário das máquinas de laser gigantes e sensíveis à temperatura, este novo dispositivo é robusto, barato de construir e funciona de forma confiável em uma sala normal. Eles provam que podemos resolver problemas de otimização difíceis usando física de estado sólido simples, em vez de configurações ópticas massivas e frágeis.

Resumo Técnico: Uma Máquina de Ising de Ondas Acústicas de Volume com 2048 Spins

Definição do Problema
O avanço da computação moderna é cada vez mais limitado pelas restrições das arquiteturas tradicionais baseadas em silício, particularmente ao abordar problemas de tempo polinomial não determinístico difícil (NP-difícil) e NP-completo. Tarefas de otimização combinatória, como MAX-CUT, partição de números e Sudoku, exigem tempos de solução que escalam exponencialmente com o tamanho do problema. Embora várias máquinas de Ising analógicas tenham sido desenvolvidas utilizando plataformas como qubits supercondutores, sistemas nanomecânicos e máquinas de Ising coerentes (CIM) fotônicas, barreiras significativas permanecem. Especificamente, as CIMs ópticas, apesar de demonstrarem alta escalabilidade de spins (até 100.000 spins), sofrem com grandes pegadas físicas, alto consumo de energia, baixa estabilidade térmica e altos custos, muitas vezes confinando-as a ambientes de laboratório. Além disso, abordagens anteriores baseadas em ondas acústicas (por exemplo, Máquinas de Ising de Ondas Acústicas de Superfície) foram limitadas a pequenos números de spins (por exemplo, 50 spins) e baixa resolução de acoplamento (1-bit).

Metodologia
Os autores apresentam uma máquina de Ising multiplexada no tempo baseada em Ondas Acústicas de Volume (BAW) que se propagam através de linhas de atraso de estado sólido. A arquitetura central utiliza duas linhas de atraso de quartzo conectadas em série, cada uma com um atraso de 707 µs e uma largura de banda de 3-dB centrada em 20,5 MHz. Esta configuração suporta 2.124 pulsos de RF, dos quais 2.048 são utilizados como spins de Ising.

Principais características do design:

Multiplexação no Tempo: Os estados de spin (+1 e -1) são codificados na fase relativa dos pulsos de RF em propagação. Um período de pulso de 665 ns (correspondente a 6–7 ciclos da portadora) é imposto via um interruptor de RF de alta velocidade.
Binarização de Fase: Um Amplificador Sensível à Fase (PSA) atua como um portão temporal, impondo fases bistáveis (0° ou 180°) em relação ao sinal de bombeio, efetivamente binarizando os pacotes de ondas analógicas.
Conectividade Todos-para-Todos: Um Bloco de Medição-e-Feedback (MFB) extrai uma parte dos pulsos circulantes, mede sua fase usando um detector de fase e processa os dados via FPGA. O FPGA calcula os termos de acoplamento ( $c_i = \sum J_{ij}s_j$ ) com resolução de 15 bits e reinjeta os sinais de acoplamento ponderados de volta no loop.
Mecanismo de Estabilidade: O sistema satisfaz os critérios de estabilidade de Barkhausen através de amplificadores lineares compensando a atenuação de 36 dB da linha de atraso e um sinal de referência garantindo deslocamentos de fase de múltiplos inteiros de $2\pi$ . O meio BAW oferece superior estabilidade térmica em comparação com fibras ópticas.

Principais Contribuições:

Escalabilidade e Resolução: A máquina hospeda com sucesso 2.048 spins com resolução de acoplamento de 15 bits, uma melhoria significativa sobre implementações de ondas acústicas anteriores que eram limitadas a ~50 spins e resolução de 1-bit.
Estabilidade Térmica: O design alcança um coeficiente de temperatura de acumulação de fase de 780 deg/°C, que é aproximadamente quatro ordens de magnitude inferior às CIMs ópticas de última geração (1,73 × 10⁷ deg/°C). Isso elimina a necessidade de sistemas complexos de controle térmico ativo, permitindo a operação em uma bancada padrão à temperatura ambiente.
Eficiência de Hardware: O sistema opera com um alto ciclo de trabalho de spin (50%) e requer apenas 6 períodos de portadora por spin, contrastando com as CIMs ópticas que podem exigir milhares de períodos e menores ciclos de trabalho.
Versatilidade de Problemas: A máquina é demonstrada para resolver não apenas problemas de grafos padrão (MAX-CUT), mas também problemas complexos de satisfação de restrições, como Partição de Números e Sudoku, que requerem soluções exatas em vez de estados fundamentais aproximados.

Resultados

Desempenho em MAX-CUT: Em um grafo de 2.048 nós com densidade de aresta de 10%, a BAWIM atingiu 90% da melhor energia de Ising encontrada pelo algoritmo de Bifurcação de Sincronização Aquecida (Heated-Ballistic Simulated Bifurcation - HbSB) em 341 ms. Embora a HbSB tenha atingido o mesmo nível de energia em 102 ms em uma CPU de alto desempenho, a BAWIM demonstrou desempenho robusto através de várias densidades de aresta (25% a 100%), alcançando até 99,99% da pontuação ótima de MAX-CUT.
Partição de Números: Para tamanhos de problema variando de 32 a 2.048 inteiros, a BAWIM alcançou uma taxa de sucesso de 100% para soluções aproximadas de 99,9% na maioria das instâncias, superando o algoritmo HbSB.
Sudoku: A máquina resolveu com sucesso um quebra-cabeça de Sudoku 9×9, atingindo o estado fundamental e produzindo uma solução válida. Em contraste, o algoritmo HbSB falhou em produzir soluções corretas para a mesma instância.
Consumo de Energia: O consumo total de energia é de aproximadamente 9,57 W, dominado pelo FPGA e amplificadores. Os autores observam que substituir os amplificadores padrão por componentes especializados de baixo consumo poderia reduzir o consumo para cerca de 5,9 W.
Potencial de Escalabilidade: Os autores projetam que a utilização de linhas de atraso de frequência mais alta (por exemplo, 16,455 GHz) poderia reduzir o tempo de solução para aproximadamente 0,46 ms, representando uma aceleração de ~750 vezes sobre a implementação atual de 20,5 MHz.

Significância e Alegações
O artigo afirma que a Máquina de Ising de Ondas Acústicas de Volume (BAWIM) representa um passo significativo em direção a resolvedores combinatórios práticos e comercialmente viáveis. Ao alavancar linhas de atraso de estado sólido, o sistema supera a instabilidade térmica e as restrições ambientais que assolam as CIMs ópticas, oferecendo uma solução robusta, de baixo consumo e de bancada. Os autores afirmam que seu design fornece quatro ordens de magnitude de maior estabilidade térmica do que as máquinas de Ising coerentes existentes e demonstra desempenho superior ao algoritmo de bifurcação simulada em problemas de restrição complexos e não nativos, como o Sudoku. O trabalho destaca o potencial das BAWIMs para servirem como uma arquitetura confiável e eficiente em energia para resolver problemas NP-difíceis sem a necessidade de resfriamento criogênico ou infraestrutura de estabilização complexa.