Resumo Técnico: HPC-VQPU

Declaração do Problema

O artigo aborda a incompatibilidade fundamental entre os requisitos de simulação quântica consciente do dispositivo e as restrições operacionais de sistemas de Computação de Alto Desempenho (HPC) seguros e agendados em lotes. Embora a pesquisa quântica moderna dependa cada vez mais de simuladores que modelam topologias específicas de dispositivos, conjuntos de portas nativas e parâmetros de ruído derivados de calibração, a infraestrutura HPC é projetada para execução mediada por agendadores, e não para serviços interativos orientados a dispositivos.

Três desafios principais impedem a exportação direta da simulação quântica como serviço a partir de ambientes HPC:

1. Inversão de Conectividade: Clusters HPC seguros tipicamente proíbem conexões de entrada para nós de computação. Desenvolvedores quânticos esperam enviar circuitos a um backend nomeado e recuperar resultados de forma interativa, mas os modelos de segurança HPC permitem apenas comunicação de saída a partir de nós de login. Um modelo padrão de "push", onde um serviço distribui trabalhos para trabalhadores, está estruturalmente indisponível.
2. Preservação Semântica: Uma "QPU virtual" não é meramente um executor de circuitos; é um endpoint definido por software que expõe topologia, calibração e restrições de ruído. Em um sistema em lotes, uma tarefa pode permanecer em uma fila por horas enquanto o estado de calibração do dispositivo muda. Se as semânticas de execução não estiverem vinculadas a um ponto específico no tempo, o resultado pode não corresponder mais ao dispositivo virtual solicitado, tornando a simulação cientificamente inválida para desenvolvimento de compiladores ou estudos de roteamento.
3. Complexidade Operacional: A execução mediada por lotes introduz uma superfície de falha além de erros simples de aplicação, incluindo atrasos do agendador, falhas de nós, desaparecimento de agentes e artefatos malformados. Um serviço viável deve conciliar semânticas de ciclo de vida interativo (enviar, monitorar, recuperar) com a observabilidade parcial e a natureza assíncrona do agendamento de trabalhos HPC.

Metodologia e Arquitetura

Os autores propõem o HPC-VQPU, uma arquitetura de exportação de serviço que separa a autoridade do serviço da execução governada pelo agendador. O sistema é organizado em dois planos distintos que comunicam exclusivamente por meio de mensagens iniciadas por agentes de saída, preservando a fronteira de segurança do HPC.

1. Decomposição em Dois Planos

• Plano de Controle (Voltado à Nuvem): Hospedado externamente ao cluster HPC, este plano gerencia a API, o ciclo de vida da tarefa, a identidade do dispositivo e a projeção de eventos. É autoritativo para o estado da tarefa, mas não contém funcionalidades voltadas ao agendador ou conectividade de entrada para o cluster.
• Plano de Execução (Residente no HPC): Implementado por um vqpu_agent não privilegiado executando em um nó de login HPC. Este agente inicia toda a coordenação. Ele consulta o plano de controle em busca de trabalho, reivindica tarefas, envia trabalhos ao agendador (por exemplo, Slurm) e relata resultados. Ele não possui verdade durável do serviço e é reconstruível após reinício.

2. O Contrato de Snapshot

A abstração central é o snapshot do dispositivo ($\Delta$), uma representação estruturada em grafo de um dispositivo virtual contendo topologia, portas nativas e parâmetros de calibração (tempos de coerência, taxas de erro).

• Vinculação no Momento da Reivindicação: Para resolver a tensão entre atraso na fila e frescor da calibração, o snapshot é vinculado atomicamente no momento da reivindicação, não no momento do envio. Quando um agente reivindica uma tarefa, o plano de controle transfere a propriedade e fornece o snapshot imutável ($\delta_i$) como parte do contrato de execução.
• Execução Hermética: O executor do nó de computação recebe uma carga útil local contendo o circuito e o snapshot vinculado. Ele executa a simulação (por exemplo, usando Qiskit-Aer/cuQuantum) totalmente offline, derivando modelos de ruído do snapshot sem contatar o plano de controle. Isso garante que as semânticas de execução sejam invariantes a mudanças no estado do dispositivo que ocorram após a reivindicação.

3. Ciclo de Vida da Tarefa e Protocolo

O sistema emprega um autômato de tarefa de cinco estados ($\{QUEUED, RUNNING, COMPLETED, FAILED, CANCELLED\}$) gerenciado pelo plano de controle.

• Protocolo Assimétrico: O agente inicia as operações CLAIM (Reivindicar), HEARTBEAT (Batimento Cardíaco) e REPORT (Relatar). O plano de controle nunca empurra estado para dentro.
• Propriedade Atômica: A operação CLAIM é o ponto de linearização para a propriedade. Ela transita atomicamente uma tarefa de QUEUED para RUNNING e atribui um proprietário único, prevenindo execução duplicada por agentes concorrentes.
• Recuperação: Se um agente falhar, a tarefa permanece em RUNNING com um proprietário desatualizado. A recuperação requer uma ação administrativa explícita (por exemplo, REQUEUE), garantindo que a ambiguidade não seja resolvida silenciosamente e que a linhagem de execução seja preservada.

Principais Contribuições

O artigo apresenta quatro contribuições principais:

1. Arquitetura de Exportação de Serviço: Uma decomposição plano de controle/plano de execução que resolve a inversão de conectividade via coordenação apenas de saída, permitindo que sistemas HPC seguros exportem simulação consciente do dispositivo sem enfraquecer posturas de segurança.
2. Abstração de Snapshot de Dispositivo: Um contrato de execução portátil e estruturado em grafo que vincula topologia e semânticas de calibração atomicamente no momento da reivindicação, garantindo que trabalhos agendados permaneçam fiéis ao estado do dispositivo virtual solicitado.
3. Ciclo de Vida Consciente do Agendador: Um autômato de tarefa de cinco estados com um protocolo assimétrico de reivindicação/relato/batimento cardíaco que concilia semânticas de serviço interativo com execução mediada por lotes e observabilidade parcial.
4. Implementação de Referência e Validação: Uma implantação de produção no Centro de Pesquisa de Supercomputação Pawsey usando GPUs Setonix, Qiskit-Aer e dados de calibração IBM Fez, demonstrando a viabilidade da arquitetura.

Resultados Experimentais

Os autores validam a arquitetura por meio de testes de regressão e experimentos de produção ponta a ponta, produzindo os seguintes resultados:

• Sobrecarga Limitada: A sobrecarga de exportação de serviço é aditiva e limitada. A latência visível na interface (admissão e consulta) permanece constante (~0,4s de admissão, ~22-27s de fila para reivindicação) independentemente do tamanho do circuito (28–32 qubits). A escala exponencial da simulação permanece confinada ao substrato de computação.
• Fidelidade de Calibração: Experimentos usando dados reais de calibração IBM Fez versus snapshots ideais (nulos) demonstram que o conteúdo do snapshot altera diretamente as distribuições de saída. O sistema propaga corretamente parâmetros de ruído derivados de calibração para o simulador.
• Vinculação no Momento da Reivindicação: Quando a calibração de um dispositivo é mutada administrativamente após o envio mas antes da reivindicação, o sistema executa corretamente a tarefa usando o estado pós-mutação (ideal). Isso confirma que o snapshot é vinculado no momento da reivindicação, prevenindo execução desatualizada.
• Concorrência e Integridade: Em um teste multiagente com 50 tarefas e dois agentes concorrentes, todas as tarefas foram concluídas exatamente uma vez com uma divisão quase par (24:26). Não ocorreram reivindicações duplicadas ou propriedade ambígua.
• Recuperação: Após uma falha de agente, três tarefas RUNNING foram recuperadas com sucesso via reenvio explícito, completando sem execução duplicada ou reinterpretação silenciosa de estado.

Significado e Alegações

O artigo alega que o HPC-VQPU demonstra que supercomputadores seguros e agendados em lotes podem exportar serviços interativos semanticamente ricos sem deixar de operar como sistemas HPC. O significado reside na capacidade de preservar a fidelidade do dispositivo (topologia, portas nativas, calibração) através da fronteira do agendador.

Os autores posicionam este trabalho não como uma otimização de desempenho para kernels de simulação, mas como uma solução de sistemas para a fronteira de serviço. Ao tratar o snapshot do dispositivo como um contrato de primeira classe e indexado no tempo, a arquitetura permite que fluxos de trabalho de software quântico (avaliação de compiladores, roteamento, estudos de ruído) interajam com recursos HPC como se fossem QPUs virtuais interativos. Os invariantes de design (conectividade apenas de saída, reivindicação atômica, execução hermética) são apresentados como condições necessárias para tornar os resultados cientificamente interpretáveis como execução em um dispositivo virtual específico, mesmo diante de atrasos na fila e falhas de infraestrutura.

O artigo conclui modestamente, reconhecendo que a avaliação centra-se em um único local de produção e caminho de simulação, e que a arquitetura fornece semânticas de ciclo de vida autoritativas em vez de uma prova de execução "exatamente uma vez" no sentido completo de sistemas distribuídos. No entanto, afirma que a separação proposta de autoridade e realização oferece um caminho viável para integrar simulação em escala HPC ao ecossistema de software quântico interativo.