Resumo Técnico: QuPort - Compilação Consciente de Topologia, Portas e Congestionamento para Sistemas Quânticos Modulares Multi-QPU

1. Declaração do Problema

Arquiteturas quânticas modulares, que conectam múltiplas Unidades de Processamento Quântico (QPUs) por meio de interconexões, apresentam um desafio de compilação único, distinto de dispositivos monolíticos. Na compilação de dispositivo único, a restrição primária é o mapa de acoplamento local; interações não locais são resolvidas via inserção de SWAP. No entanto, em sistemas modulares, as interações entre qubits em diferentes QPUs não são meramente portas locais "mais longas", mas dependem de recursos de comunicação escassos: topologia de interconexão, portas de comunicação e capacidade do enlace.

Compiladores existentes frequentemente tratam a comunicação entre QPUs como uma preocupação secundária ou a ocultam dentro do roteamento padrão. Essa abordagem é insuficiente para sistemas modulares porque um mapeamento aceitável em um único grafo de acoplamento pode falhar em um cenário modular se:

1. Criar tráfego excessivo entre QPUs.
2. Concentrar tráfego em um pequeno número de enlaces de interconexão (causando congestionamento).
3. Atribuir muitos qubits de fronteira (qubits que interagem com outras QPUs) a uma QPU com portas de comunicação insuficientes.

O artigo aborda a necessidade de um framework de compilador que raciocine explicitamente sobre conectividade local do dispositivo e comunicação entre QPUs simultaneamente, antes da seleção de um protocolo específico de porta remota física (por exemplo, enlaces fotônicos, geração de emaranhamento).

2. Metodologia

O QuPort é um framework de compilação baseado em Python construído sobre o Qiskit. Ele introduz um modelo de sistema de três níveis e um algoritmo de particionamento específico para otimizar o uso de recursos.

2.1 Modelo de Sistema

O framework abstrai o problema de compilação em três grafos distintos:

1. Grafo de Interação Lógica ($G_L$): Um grafo não direcionado ponderado onde os nós são qubits lógicos e os pesos das arestas representam a frequência ou importância temporal de interações de dois qubits.
2. Mapa de Acoplamento Físico: Um grafo direcionado representando a conectividade dentro de cada QPU individual (por exemplo, grade, anel, clique).
3. Grafo de Interconexão de QPUs ($G_Q$): Um grafo não direcionado representando a topologia que conecta as QPUs (por exemplo, malha, anel, Clos, fat-tree). Este grafo é usado para calcular distâncias de salto e cargas de enlace.

O sistema assume $N$ QPUs, cada uma com $C$ qubits de computação e $P$ qubits de comunicação. Um particionamento lógico-para-QPU ($\pi$) deve respeitar a restrição de capacidade ($C+P$) por QPU.

2.2 O Objetivo TPCCAP

O núcleo do QuPort é a função objetivo TPCCAP (Particionamento Consciente de Topologia, Portas e Congestionamento), $J(\pi)$, que minimiza uma soma ponderada de três termos de custo:

1. Distância de Corte Ponderada: $\sum w_{ij} \cdot d(\pi(i), \pi(j))$. Isso penaliza interações entre qubits atribuídos a QPUs que estão distantes no grafo de interconexão, onde $d$ é a distância do caminho mais curto.
2. Estouro de Portas de Comunicação: $\sum \max(0, b_q - P)^2$. Isso penaliza QPUs onde o número de qubits de fronteira ($b_q$) excede as portas de comunicação disponíveis ($P$).
3. Congestionamento de Carga de Enlace Roteado: $\sum L_e^2$. Isso penaliza a carga ao quadrado nas arestas de interconexão ($e$), desencorajando a concentração de tráfego em enlaces específicos.

2.3 Algoritmos

O QuPort implementa um pipeline de heurísticas para resolver o problema de particionamento e layout:

• Agrupamento de Arestas Pesadas: Funde pares lógicos de alto peso em clusters enquanto o tamanho do cluster não exceder a capacidade da QPU.
• Particionamento Ganancioso Balanceado: Atribui qubits lógicos um por um com base no grau ponderado, equilibrando a carga entre as QPUs enquanto recompensa a colocação próxima a vizinhos já atribuídos.
• Busca Local TPCCAP: Refina o particionamento inicial movendo qubits para reduzir o objetivo $J(\pi)$ enquanto mantém as restrições de capacidade.
• TPCCAP-SA (Recozimento Simulado): Adiciona uma etapa de refinamento estocástica para escapar de mínimos locais, aceitando ocasionalmente movimentos que aumentam a função objetivo.
• Layout Consciente de Portas de Comunicação: Após o particionamento, seleciona qubits lógicos específicos para ocupar portas de comunicação com base em sua "pontuação externa" (peso total de interações com outras QPUs).
• Construção de Programa Distribuído: No modo distribuído, o framework extrai operações de dois qubits entre QPUs como eventos remotos explícitos e insere barreiras de sincronização, enquanto roteia operações locais apenas dentro de seus respectivos mapas de acoplamento de QPU.

2.4 Agendamento e Estimativa de Custo

O QuPort inclui um estimador consciente de topologia que aproxima o tempo de execução (makespan) usando parâmetros de custo abstratos:

• Custos Locais: Tempos de execução de portas para operações de um qubit, dois qubits e SWAP.
• Custos Remotos: Um modelo combinando custo de geração de emaranhamento ($\tau_E$), custo de ida e volta clássica ($\tau_C$) e sobrecarga remota ($\tau_R$).
• Agendamento: Operações remotas são agrupadas em "rodadas" com base nas portas de comunicação disponíveis e capacidades de enlace, respeitando a topologia de interconexão.

3. Contribuições Principais

1. Abstração Explícita de Três Níveis: O artigo propõe uma abstração no nível do compilador que separa o grafo de interação lógica, o mapa de acoplamento físico e o grafo de interconexão de QPUs. Essa separação permite a otimização de custos específicos de modularidade (distância, portas, congestionamento) que são invisíveis para compiladores monolíticos padrão.
2. O Objetivo TPCCAP: Uma função objetivo novel que otimiza conjuntamente para distância de QPU, escassez de portas de comunicação e congestionamento de enlace, em vez de tratar esses fatores como preocupações separadas ou secundárias.
3. Caminho de Compilação Distribuída: Um mecanismo que produz uma representação intermediária onde circuitos locais e eventos remotos são explicitamente separados. Isso permite que o compilador gere agendamentos conscientes de modularidade sem comprometer-se com uma implementação específica de hardware de portas remotas.
4. Framework de Código Aberto: A implementação desses algoritmos em Python/Qiskit, fornecendo um ambiente reproduzível para estudar estratégias de compilação modular.

4. Resultados e Validação

O artigo foca na estrutura algorítmica e na correção do framework, em vez de relatar resultados de tempo de execução de hardware calibrados.

• Correção: Os autores fornecem provas formais (Proposições 1 e 2) demonstrando que seus algoritmos de particionamento (arestas pesadas, ganancioso, TPCCAP, TPCCAP-SA) satisfazem estritamente as restrições de capacidade por QPU e que suas rotinas de roteamento de múltiplos caminhos conservam o peso do tráfego.
• Validação: O framework impõe verificações de validação em entradas de particionamento, construção de layout e matrizes de tráfego para garantir valores finitos, não negativos e simétricos.
• Escopo dos Resultados: O artigo não afirma superar protocolos específicos de hardware ou fornecer taxas de erro calibradas. Em vez disso, demonstra que o framework gera com sucesso partições válidas e programas distribuídos que respeitam as restrições abstratas definidas.

5. Significado e Alegações

O artigo posiciona o QuPort como uma abstração no nível do compilador e não como uma implementação de hardware. Seu significado reside em:

• Desacoplamento da Compilação dos Protocolos de Hardware: Ao separar o particionamento lógico e a extração de eventos remotos da realização física de portas remotas, o QuPort permite que pesquisadores estudem a estrutura algorítmica da compilação modular antes que uma tecnologia específica de interconexão (por exemplo, fotônica versus micro-ondas) seja finalizada.
• Mapeamento Consciente de Recursos: Destaca que a compilação modular requer uma mudança de minimizar SWAPs para minimizar "distância de corte", "estouro de portas" e "congestionamento de enlace".
• Modéstia nas Alegações: Os autores afirmam explicitamente que o framework não reivindica tempo de execução de hardware calibrado, nem implementa um protocolo físico de porta remota. Os "eventos remotos" são representações intermediárias indicando onde um backend deve fornecer um protocolo. O estimador de agendamento é descrito como um "modelo ganancioso baseado em camadas", e não como um agendador de controle de rede verificado.

Em resumo, o QuPort fornece uma abordagem estruturada e guiada por heurísticas para o complexo problema de alocação de recursos inerente à computação quântica modular, oferecendo uma ferramenta para explorar as compensações entre topologia, disponibilidade de portas e congestionamento de maneira agnóstica à plataforma.