Qurator: Scheduling Hybrid Quantum-Classical Workflows Across Heterogeneous Cloud Providers

O artigo apresenta o Qurator, um agendador de tarefas quântico-clássico que otimiza conjuntamente o tempo de espera em filas e a fidelidade de execução em provedores de nuvem heterogêneos, modelando cargas de trabalho híbridas como DAGs dinâmicos com semântica quântica explícita e unificando dados de calibração de múltiplos fornecedores para reduzir significativamente a latência sem comprometer a precisão.

O essencial

Imagine que você está tentando enviar uma carta muito importante e frágil (um cálculo quântico) para um destino específico. O problema é que o sistema de correios (a "nuvem quântica") está superlotado.

Às vezes, sua carta leva apenas 3 segundos para ser entregue, mas pode ficar presa na fila por horas ou até dias esperando para ser processada. Se você esperar demais, a carta pode se estragar (perder a "fidelidade" ou precisão) antes mesmo de chegar ao destino.

O artigo "Qurator" apresenta uma solução inteligente para esse caos. Vamos explicar como funciona usando analogias do dia a dia.

1. O Problema: A Fila do Supermercado vs. O Frágil Ovo

Hoje, os provedores de computação quântica (como IBM, IonQ, etc.) funcionam como um supermercado com um único caixa. Todos os clientes entram na mesma fila.

• O Dilema: Se você escolher o caixa mais rápido (menos gente na fila), ele pode ser um caixa velho e descalibrado, e sua carta (o cálculo) chega quebrada. Se você escolher o caixa mais preciso (melhor fidelidade), ele pode estar com uma fila de 10.000 pessoas, e você espera dias.
• A Regra de Ouro: Na computação quântica, você não pode "copiar" sua carta para enviar para vários caixas ao mesmo tempo (devido ao Teorema da Não-Clonagem). Você só tem uma chance.

2. A Solução: O "Qurator" (O Gerente de Tráfego Inteligente)

O Qurator é um novo sistema de agendamento que age como um gerente de tráfego superinteligente. Ele não escolhe apenas o caixa mais rápido ou o mais preciso; ele encontra o equilíbrio perfeito entre os dois.

Aqui estão as três "superpoderes" do Qurator:

A. O Tradutor Universal (Estimativa de Fidelidade)

Cada provedor de nuvem fala uma "língua" diferente sobre a qualidade de seus computadores (IBM diz "erro de porta", IonQ diz "fidelidade média"). É como se um falasse em metros e outro em pés.

• O que o Qurator faz: Ele cria um "dicionário universal". Ele traduz todas essas informações diferentes para uma única nota de sucesso (uma pontuação logarítmica). Assim, ele sabe exatamente qual máquina tem a melhor chance de entregar sua carta intacta, independentemente de quem a fabricou.

B. O Mestre da "Corte e Cola" (Circuit Cutting e Merging)

Imagine que você tem um quebra-cabeça gigante de 1.000 peças, mas nenhuma mesa na sala é grande o suficiente para você montar tudo de uma vez.

• Corte (Cutting): O Qurator pode cortar esse quebra-cabeça em pedaços menores, montar cada parte em mesas diferentes (computadores menores) e depois usar a inteligência artificial para "colar" as peças de volta no final. Isso permite usar máquinas menores e mais rápidas, embora exija um pouco mais de trabalho de "cola" (processamento clássico) no final.
• Colagem (Merging): Se você tem várias cartas pequenas para enviar, em vez de enviá-las uma por uma (o que aumenta o risco de erro e tempo), o Qurator pode "colar" várias cartas pequenas em um único envelope grande e enviá-las juntas. Isso economiza tempo de fila.

C. O Coreógrafo de Dança (Sincronização de Embranglement)

Às vezes, dois cálculos precisam estar "em sintonia" (emaranhados) para funcionar, como dois dançarinos que precisam dar as mãos ao mesmo tempo. Se um começar a dançar 5 segundos antes do outro, a magia acaba.

• O Desafio: Na nuvem pública, é difícil fazer dois computadores diferentes começarem exatamente no mesmo milissegundo porque as filas são imprevisíveis.
• O que o Qurator faz: Ele calcula o tempo de espera de cada computador e tenta sincronizar o início da dança. Se a fila for muito longa e o risco de "atraso" for alto, ele sugere não tentar a dança em duas máquinas diferentes, mas sim fazer tudo em uma só (usando a técnica de colagem mencionada acima), garantindo que a "dança" não seja estragada.

3. Os Resultados: O Que Acontece na Prática?

Os autores testaram o Qurator com dados reais de quatro meses de filas quânticas:

• Quando está tranquilo (pouca gente na fila): O Qurator escolhe a máquina mais precisa, garantindo que o resultado seja perfeito (quase 100% de sucesso).
• Quando está lotado (muita gente na fila): O Qurator fica esperto. Ele aceita uma pequena chance de erro (digamos, 10% a menos de precisão) em troca de reduzir o tempo de espera em 30% a 75%. É como aceitar pegar um ônibus um pouco mais velho para não ficar preso no trânsito por 3 horas.
• Para tarefas gigantes: Para problemas enormes que cabem em poucas máquinas, ele usa o "corte" para dividir o trabalho, ganhando até 60% de precisão extra, mesmo que isso signifique um pouco mais de tempo de fila.

Resumo Final

O Qurator é como um agente de viagens quântico.
Em vez de você ficar olhando para dezenas de voos (computadores), com horários incertos e preços diferentes, o Qurator analisa tudo, traduz as informações, corta ou junta seus pacotes de viagem e escolhe a rota que garante que você chegue ao destino no tempo certo e com a bagagem intacta.

Ele resolve o maior problema da computação quântica hoje: a espera na fila. Sem ele, esperaríamos dias por resultados que chegam quebrados. Com ele, podemos usar a tecnologia quântica de forma prática e eficiente, mesmo com as limitações atuais dos computadores.

Resumo técnico

Título: Qurator: Agendamento de Fluxos de Trabalho Híbridos Quântico-Clássicos em Provedores de Nuvem Heterogêneos

1. O Problema

A integração de dispositivos quânticos em sistemas de computação de alto desempenho (HPC) enfrenta um desafio central: a disparidade entre o tempo de execução do circuito e o tempo de espera na fila.

• Latência de Fila: Provedores de nuvem quântica (como IBM, IonQ, Rigetti) operam sob um modelo "primeiro a chegar, primeiro a ser atendido". Um circuito que executa em 3 segundos pode esperar de minutos a um dia inteiro (um overhead de 15 a 60 vezes).
• Limitações das Técnicas Clássicas: As técnicas de agendamento clássicas falham no contexto quântico devido a restrições fundamentais:
  • Teorema da Não-Clonagem: Impede a duplicação de tarefas (work stealing) ou cópia de estados quânticos.
  • Não Preempção: Uma vez iniciada, uma tarefa não pode ser interrompida ou migrada.
  • Dependências de Emaranhamento: Tarefas que compartilham pares EPR (emaranhados) exigem sincronização temporal precisa, pois o emaranhamento decai rapidamente (segundos).
  • Heterogeneidade: Provedores diferentes possuem conjuntos de portas nativas incompatíveis, métricas de calibração distintas e topologias de hardware variadas.
• O Dilema: Agendadores existentes tratam o tempo de fila e a fidelidade (probabilidade de sucesso) como objetivos separados, otimizando um em detrimento do outro.

2. Metodologia e Arquitetura (Qurator)

O Qurator é um agendador de tarefas quântico-clássico, agnóstico à arquitetura, projetado para otimizar conjuntamente o tempo de fila e a fidelidade.

• Modelo de Carga de Trabalho:

  • Os fluxos de trabalho híbridos são modelados como DAGs (Grafos Acíclicos Direcionados) Dinâmicos. Diferente de DAGs estáticos, a estrutura completa não é conhecida antecipadamente em algoritmos variacionais (como VQE e QAOA), onde camadas quânticas são geradas iterativamente com base em resultados clássicos.
  • O modelo inclui barreiras de sincronização explícitas para tarefas emaranhadas.

• Estimativa de Fidelidade Unificada:

  • O sistema reconcilia dados de calibração incompatíveis de seis provedores (IBM, IonQ, IQM, Rigetti, AQT, QuEra) em um conjunto canônico de variáveis: erro de porta de 1 e 2 qubits, erro de leitura, durações de porta e tempos de coerência ($T_1, T_2$).
  • A fidelidade é calculada como uma pontuação de sucesso logarítmica, combinando a probabilidade de sucesso operacional (baseada em erros de porta e leitura) e uma penalidade de decoerência (baseada no tempo total de execução vs. tempo de coerência).
  • O modelo é validado empiricamente contra resultados de hardware real.

• Estratégias de Agendamento:

  • Corte de Circuito (Circuit Cutting): Quando nenhum dispositivo possui qubits suficientes ou fidelidade para executar o circuito inteiro, o Qurator divide o circuito em subcircuitos menores. Isso aumenta o número de tarefas (e potencialmente o tempo de fila), mas melhora drasticamente a fidelidade ao evitar erros de portas profundas.
  • Mesclagem de Circuitos (Merging): Tarefas independentes podem ser mescladas em uma única submissão para reduzir a sobrecarga de sincronização e o tempo de fila, desde que o dispositivo suporte a largura total e a profundidade seja compatível.
  • Agendamento Adaptativo à Carga: O Qurator utiliza um coeficiente de agendamento ($c_d$) que pondera dinamicamente a fidelidade e o tempo de fila com base na carga do dispositivo (leve, média, pesada).
    • Carga Leve: Prioriza a fidelidade máxima.
    • Carga Pesada: Prioriza o menor tempo de fila, mantendo-se acima de um limite de fidelidade definido pelo usuário.
  • Barreira de Emaranhamento: Para tarefas distribuídas, o agendador calcula o tempo de conclusão estimado das cadeias de dependência para garantir que as tarefas emaranhadas comecem quase simultaneamente, minimizando a perda de emaranhamento.

3. Principais Contribuições

1. Estimativa de Fidelidade Unificada: Primeiro modelo a normalizar dados de calibração de múltiplos provedores heterogêneos em uma métrica de sucesso comparável.
2. Semântica de Agendamento Consciente de Quântica: Formalização de restrições quânticas (não-clonagem, barreiras de emaranhamento) como decisões de agendamento de primeira classe, incluindo corte e mesclagem de circuitos.
3. Otimização Conjunta Adaptativa: Mecanismo que ajusta o trade-off entre fidelidade e tempo de fila em tempo real, sem acesso aos dados internos das filas dos provedores (usando apenas dados históricos e métricas de calibração).
4. Primeiro Benchmark para Tarefas Emaranhadas Distribuídas: Introdução de métricas específicas (viés de início/fim, penalidade de orçamento, proxy de sobrevivência) para avaliar a viabilidade da computação quântica distribuída em nuvens públicas atuais.

4. Resultados da Avaliação

O Qurator foi avaliado em um simulador alimentado por 4 meses de dados reais de filas de 11 dispositivos quânticos, utilizando o conjunto de benchmarks do Munich Quantum Toolkit (MQT) com cargas de 5 a 35.000 tarefas.

• Desempenho em Baixa Carga: O Qurator opera dentro de 1% da fidelidade máxima da linha de base "maior fidelidade", ignorando aumentos modestos no tempo de fila.
• Desempenho em Alta Carga (5.000–35.000 tarefas):
  • Redução de 30% a 75% no tempo de fila em comparação com a estratégia de "maior fidelidade".
  • A perda de fidelidade é mantida abaixo de um limite especificado pelo usuário (ex: 10% de perda para ganhos massivos de tempo).
  • Para circuitos de alto número de qubits, o uso de corte de circuito resultou em um ganho de fidelidade de até 60% em comparação com a estratégia "menos ocupada" (que falharia em executar circuitos grandes devido à falta de qubits ou baixa fidelidade).
• Tarefas Sincronizadas (Emaranhadas):
  • Em condições de fila realistas (milhares de tarefas), a computação quântica distribuída é atualmente inviável (probabilidade de sobrevivência do emaranhamento próxima a zero, $10^{-15}$ a $10^{-239}$).
  • A estratégia de mesclagem (executar tarefas emaranhadas no mesmo dispositivo) é a única estratégia viável atualmente, eliminando a necessidade de sincronização de rede e melhorando drasticamente a sobrevivência do emaranhamento.

5. Significância e Conclusão

O Qurator representa um avanço fundamental ao tratar as restrições quânticas não como obstáculos a serem contornados, mas como variáveis primárias de otimização.

• Viabilidade Prática: Demonstra que é possível integrar dispositivos quânticos heterogêneos em fluxos de trabalho HPC sem sacrificar a utilidade dos resultados devido a tempos de espera excessivos ou falhas de fidelidade.
• Preparação para o Futuro: O modelo de barreira de emaranhamento e as métricas de benchmark estabelecem uma base para avaliar o progresso das redes quânticas. Enquanto a computação distribuída ainda não é viável na nuvem pública atual devido à latência e decoerência, o Qurator está pronto para adaptar-se à medida que a infraestrutura de repetidores quânticos e redes evoluem.
• Impacto: Oferece uma solução agnóstica à arquitetura que pode ser implantada imediatamente em ambientes de nuvem híbrida, permitindo que pesquisadores e empresas maximizem o uso de hardware quântico NISQ (Near-Intermediate-Scale Quantum) limitado e ruidoso.