Resumo Técnico: EFaaS

Declaração do Problema

À medida que a computação quântica entra na "Era da Utilidade", a realização de vantagens de curto prazo depende fortemente de Algoritmos Quânticos Variacionais Híbridos (VQAs), como o Eigensolver Quântico Variacional (VQE) e o Algoritmo Quântico Aproximado de Otimização (QAOA). Esses algoritmos operam por meio de um laço iterativo fortemente acoplado, onde um otimizador de CPU clássica atualiza parâmetros com base em avaliações de função de custo realizadas por uma Unidade de Processamento Quântico (QPU).

Os modelos atuais de acesso à nuvem quântica, que dependem de sistemas de fila de lote desacoplados, criam um gargalo crítico para esses fluxos de trabalho. Os principais problemas identificados são:

1. Latência Tempo para Próxima Disparo (TTNS): O laço iterativo é interrompido pelos tempos de espera na fila ($t_{queue}$), que podem variar de segundos a minutos. Para algoritmos que exigem milhares de iterações, isso infla o tempo de convergência de minutos para dias.
2. Deriva de Hardware Quântico: Atrasos prolongados entre iterações ("inícios a frio") permitem que os dados de calibração da QPU se tornem desatualizados. Essa deriva degrada a fidelidade de medição e destrói a coerência da paisagem de otimização, forçando recalibrações custosas ou causando falha algorítmica.
3. Ineficiência de Recursos: As soluções existentes são binárias e ineficientes. Reservas estáticas de QPU eliminam a latência da fila, mas desperdiçam recursos escassos de QPU durante as fases de computação clássica. Por outro lado, modelos de Funções como Serviço (FaaS) sem estado falham em manter o contexto de sessão necessário para evitar inícios a frio e deriva.

Metodologia

Os autores propõem o EFaaS (Função Entrelaçada como Serviço), um middleware sem servidor inovador projetado para agendar conjuntamente a otimização de parâmetros clássica e a execução de circuitos quânticos como "eventos entrelaçados e conscientes de sessão". A arquitetura situa-se entre o orquestrador de nuvem clássica e o Plano de Controle Quântico, redefinindo fundamentalmente a relação entre os dois domínios.

O sistema baseia-se em três inovações técnicas centrais:

1. Consciência de Sessão e Cache de Calibração

O EFaaS introduz um Motor de Consciência de Sessão que trata os disparos de QPU e as funções de CPU como uma sessão contínua, em vez de trabalhos isolados.

• Mecanismo: Quando um algoritmo híbrido é submetido, o middleware negocia uma janela de alta prioridade com o Plano de Controle Quântico. Ele afirma uma flag de sessão ($E_s = 1$) para instruir o plano de controle a manter os dados de calibração ($C_q$) em um cache localizado.
• Lógica: O agendador garante que o tempo entre iterações ($\Delta t$) permaneça dentro do limiar de coerência/drift quântico ($\tau_{drift}$). Enquanto a CPU clássica retornar o próximo circuito dentro dessa janela, a QPU executa imediatamente sem recalibração, levando a $t_{queue} \to 0$ e $\delta \to 0$ (onde $\delta$ indica um início a frio).

2. Estratégia de Posicionamento Consciente de Calibração

Ao contrário das políticas de afinidade padrão baseadas em invariantes de software (por exemplo, atividade do contêiner), o EFaaS emprega uma estratégia de posicionamento baseada em limiares de tempo de coerência física.

• O agendador rastreia o estado de calibração do hardware físico.
• Para "Iteradores Quentes" ativos (sessões onde a CPU está computando os próximos parâmetros), o mecanismo de posicionamento roteia o circuito para a QPU específica que possui os dados de calibração válidos e "quentes".
• Se o limiar de deriva for excedido, uma recalibração localizada e parcial é acionada antes de retomar a sessão, evitando a recalibração completa do sistema.

3. Filas Justas de Duplo Recurso (DRFQ) e EF-QuantumFuture

Para maximizar o Ciclo de Trabalho Quântico (QDC) sem esgotar outras cargas de trabalho, o EFaaS implementa um agendador de Filas Justas de Duplo Recurso.

• Pontuação de Prioridade: O agendador atribui uma pontuação de prioridade dinâmica ($\rho_i$) aos trabalhos, ponderando fortemente sessões ativas ($\alpha$) e a urgência da janela de calibração ($\beta$). Isso garante que circuitos retornando de laços ativos preemptem trabalhos de lote padrão.
• Abstração EF-QuantumFuture: Para mascarar a latência de computação clássica, o sistema introduz uma primitiva de execução especulativa. O middleware retorna imediatamente um objeto "Future" assíncrono ao submeter o circuito. Isso permite que o otimizador clássico execute especulativamente tarefas não dependentes (por exemplo, atualizações de hiperparâmetros) enquanto a QPU executa o disparo atual.
• Redução de Latência: A latência efetiva de iteração é reduzida para $L_{ent} = \max(t_{cpu} - t_{async}, 0) + t_{qpu} + t_{net}$, sobrepondo efetivamente a execução clássica e quântica.

Contribuições Principais

O artigo afirma as seguintes contribuições específicas:

1. Modelo de Execução EFaaS: Um modelo híbrido sem servidor que agenda conjuntamente circuitos quânticos e otimização clássica como eventos acoplados por sessão, reduzindo drasticamente o TTNS.
2. Posicionamento Consciente de Calibração: Uma estratégia de roteamento que previne inícios a frio ao direcionar circuitos para QPUs com dados de calibração válidos e específicos da iteração, reformulando a validade da afinidade de invariantes de software para dinâmicas de deriva física.
3. Filas Justas de Duplo Recurso (DRFQ): Uma política de agendamento que estende a Equidade de Recurso Dominante para um cenário onde um recurso (disparos de QPU) está sujeito a restrições de desatualização física, maximizando o QDC enquanto preserva a equidade para cargas de trabalho clássicas.
4. EF-QuantumFuture: Uma primitiva de execução especulativa que permite despacho não bloqueante e um contrato definido de especulação/comprometimento/aborto sobre o estado do otimizador clássico, um recurso não presente em frameworks híbridos anteriores.

Resultados Experimentais

Os autores avaliaram o EFaaS contra quatro baselines: Fila de Lote Padrão (SBQ), FaaS Puro (PF), Reserva Estática (SR) e Pilot-Quantum (PQ). A avaliação utilizou um simulador de eventos discretos com 31 circuitos de referência (2–16 qubits) executando cargas de trabalho no estilo VQE.

• Redução de TTNS: O EFaaS alcançou um TTNS médio de 3,6 s, representando uma redução de 92,5% em comparação com o SBQ (48,4 s) e 93,4% em comparação com o PF (54,5 s). Em comparação com SR e PQ, o EFaaS mostrou melhorias modestas, mas consistentes (11,4%–14,9%), ao aproveitar a execução especulativa para reduzir os tempos de espera bloqueados pela CPU.
• Ciclo de Trabalho Quântico (QDC): O EFaaS alcançou um QDC médio de 23,4%, superando o SBQ e o PF em mais de 14 pontos percentuais. Também superou o SR em 2,2 pontos percentuais, pois o bloqueio exclusivo do SR força a QPU a ficar ociosa durante as etapas de otimização clássica, enquanto o EFaaS sobrepõe essas fases.
• Aceleração de Convergência: O tempo de convergência de ponta a ponta foi reduzido em 83,2%–98,3% em toda a suíte de referência. O EFaaS convergiu em média em 22,9 s, comparado a 213 s para o SBQ e 320 s para o PF.
• Penalidades de Deriva: O EFaaS acumulou zero eventos de deriva em toda a suíte de referência (com um valor atípico estatístico em um circuito complexo no tempo de simulação máximo). Em contraste, SBQ, PF e PQ acumularam 95, 69 e 89 eventos de deriva, respectivamente, forçando recalibrações custosas. O SR alcançou zero deriva, mas ao custo da eficiência de recursos.
• Escalabilidade: As vantagens de desempenho permaneceram duráveis à medida que a complexidade do circuito aumentou de 2 para 16 qubits, com o TTNS permanecendo constante e o QDC mantendo-se acima de 22%.

Significado e Afirmações

O artigo argumenta que a camada de agendamento é atualmente o gargalo dominante para cargas de trabalho quânticas híbridas. O significado do EFaaS reside em sua capacidade de alcançar simultaneamente baixa latência e integridade de calibração sem exigir a prática economicamente não escalável de reserva exclusiva de QPU.

Ao tratar recursos clássicos e quânticos como entidades entrelaçadas e conscientes de sessão, o EFaaS resolve o "atrito em nível de sistema" que atualmente impede que os VQAs escalem efetivamente. Os autores afirmam que sua abordagem torna as penalidades de deriva "mecanicamente impossíveis sob condições normais de operação" por meio de renovação proativa de cache consciente de TTL, mantendo ao mesmo tempo a elasticidade sem servidor e a equidade multi-tenant. Os resultados sugerem que o agendamento sem servidor consciente de calibração é uma evolução necessária para a "Era da Utilidade" da computação quântica.