A Quantum Internet Protocol Suite Beyond Layering

Título: Um Conjunto de Protocolos para a Internet Quântica: Além da Camada (Layering)

Autores: Angela Sara Cacciapuoti e Marcello Caleffi

---

1. O Problema: A Incompatibilidade da Camada (Layering) com a Internet Quântica

O artigo identifica que o princípio organizacional fundamental da Internet clássica, o modelo de camadas (layering), é inadequado para a Internet Quântica. As razões centrais são:

• Natureza do Recurso: A Internet clássica transporta informação de uma fonte a um destino. A Internet Quântica distribui emaranhamento, que é um recurso não-local, stateful (com estado) e compartilhado entre múltiplos nós.
• Quebra da Separação de Responsabilidades: No modelo clássico, as camadas são isoladas verticalmente. No entanto, o emaranhamento é inerentemente "transversal" (cross-layer). Métricas como fidelidade, tempo de coerência e identidade dos nós parceiros afetam todas as funcionalidades da pilha de protocolos, não podendo ser confinadas a uma única camada sem perda de consistência.
• Escalabilidade e Sincronização: Tentar forçar um design em camadas exigiria que cada camada mantivesse uma cópia do estado global do emaranhamento. Isso levaria a uma duplicação massiva de informações e exigiria um plano de controle clássico externo (out-of-band) para sincronização global. Em redes quânticas, onde o estado muda com cada operação local, a sobrecarga de comunicação para manter essa sincronização global seria proibitiva e inviável.
• Controle Desacoplado: O modelo de camadas separa o controle da evolução do estado quântico, o que pode levar a divergências entre a lógica do protocolo e o estado real dos recursos quânticos.

2. Metodologia: Composição Dinâmica e Kernel Dinâmico

Os autores propõem um novo princípio organizacional nativo quântico baseado em composição dinâmica de funcionalidades atômicas, substituindo a hierarquia estática por uma "tela de orquestração distribuída".

Conceitos Fundamentais:

• Micro-protocolos (MPs): Funcionalidades atômicas e indivisíveis (ex: tentativa de geração de emaranhamento, operação quântica local, sincronização).
• Meta-protocolos (MePs): Procedimentos contextuais compostos dinamicamente a partir de MPs para realizar funções complexas (ex: purificação, distribuição multi-hop).
• Kernel Dinâmico: Um componente executado em cada nó que gerencia o progresso do serviço. Ele possui três subsistemas:
  1. Planejador (Planner): Constrói um Plano de Ações (PoA) local, representado como um Grafo Acíclico Direcionado (DAG) de ações candidatas, baseado no estado interno do nó e no cabeçalho do pacote.
  2. Executor (Executor): Mapeia as ações do PoA para MPs/MePs concretos disponíveis no nó, verificando viabilidade (recursos, políticas, coerência) e agendando a execução.
  3. Motor (Engine): Invoca os MPs/MePs agendados. Ao atingir um resultado terminal (sucesso ou falha explícita), ele atualiza atômica e irreversivelmente o pacote.

Mecanismo de Controle "In-Band" (Dentro da Banda):

• Meta-Cabeçalho (Meta-Header): Os pacotes quânticos carregam um campo de controle chamado meta-header, codificado em um subespaço ortogonal à carga útil quântica (para acesso não perturbador).
• Conteúdo do Meta-Cabeçalho:
  • Intenção de Serviço (Service Intent): O que a aplicação deseja (ex: teletransporte).
  • Carimbos (Stamps): Uma lista de apenas-append (append-only) de registros de "compromisso de ação" (action-commit). Cada stamp certifica que uma ação foi concluída com sucesso (ou falhou terminantemente).
• Fluxo de Trabalho:
  1. O nó recebe o pacote com a intenção e o histórico de carimbos.
  2. O Kernel local calcula seu próprio PoA baseado no estado local e nos carimbos recebidos.
  3. O Kernel executa ações viáveis.
  4. Ao concluir uma ação, um novo stamp é adicionado ao meta-cabeçalho.
  5. O pacote é encaminhado para o próximo salto.

3. Contribuições Principais

1. Princípio Organizacional Nativo Quântico: A substituição do layering estático pela composição dinâmica. A ordem de processamento não é prescrita por uma hierarquia vertical fixa, mas emerge da certificação local e do histórico de compromissos.
2. Kernel Dinâmico e Composição Contextual: A introdução de um kernel que compõe MPs em MePs adaptativos, permitindo que a rede se ajuste dinamicamente à disponibilidade de emaranhamento e orçamentos de coerência sem reconfiguração global.
3. DAG Global Emergente: A demonstração de que a sequência monótona de stamps (carimbos) transportada in-band induz, de forma distribuída, um DAG (Grafo Acíclico Direcionado) global que certifica a conclusão do serviço de ponta a ponta, sem necessidade de um controlador central ou sincronização global.
4. Ordem por Certificação, não por Prescrição: Diferente da Internet clássica (onde a encapsulação define a ordem), aqui a ordem é definida pelo que foi certificado (stamps). O planejamento futuro é local e especulativo, mas o histórico passado é autoritativo e imutável.
5. Independência de Implementação (MP-Agnostic): O design desacopla a lógica de planejamento da implementação física. A semântica dos cabeçalhos e carimbos permanece invariante mesmo que a granularidade dos protocolos mude com o avanço tecnológico.

4. Resultados e Evidências

O artigo apresenta uma análise teórica rigorosa e um estudo de caso de Teletransporte Quântico (A → B) através de um nó intermediário (Y):

• Caso de Uso (Teletransporte):
  • O nó A inicia o pacote com a intenção de teletransporte.
  • O nó A prepara o enlace A-Y, gera emaranhamento e encaminha o pacote com um stamp de sucesso.
  • O nó Y recebe o pacote, verifica que não tem emaranhamento com B, prepara o enlace Y-B, realiza o SWAP (troca de emaranhamento) e encaminha o pacote com novos stamps (incluindo o do SWAP).
  • O nó B recebe o pacote, aplica correções (Pauli) e gera o stamp final de entrega.
  • Resultado: O histórico completo de compromissos (stamps) no pacote forma um DAG que prova a execução correta do serviço, mesmo com falhas locais ou retentativas (que ficam ocultas dentro dos MePs e não incham o cabeçalho).
• Robustez: O sistema opera corretamente mesmo na ausência total de um plano de controle externo (EDC). Hints do controlador são opcionais e servem apenas para otimização (QoS), não para correção.
• Escalabilidade: O crescimento do cabeçalho é limitado apenas pelo número de ações comprometidas (sucesso/falha final), não por tentativas falhas ou estados especulativos, garantindo escalabilidade em redes grandes.

5. Significado e Impacto

• Mudança de Paradigma: O trabalho desafia o dogma de que a Internet (clássica ou quântica) deve ser baseada em camadas. Ele argumenta que a natureza não-local e stateful do emaranhamento exige uma arquitetura onde o controle e o estado evoluam juntos.
• Viabilidade da Internet Quântica: Oferece uma arquitetura que resolve o problema de escalabilidade do controle em redes quânticas, eliminando a necessidade de sincronização global proibitiva.
• Fundação para Padronização: Ao separar mecanismo (MPs), composição (MePs) e certificação (Stamps), o artigo fornece uma base estável para o desenvolvimento de padrões futuros, independentes da evolução do hardware quântico.
• Direções Futuras: O artigo aponta para a necessidade de implementação física do meta-header (usando graus de liberdade ortogonais), modelos de custo quantitativos e simulações em testbeds reais para validar a proposta.

Em resumo, o artigo propõe que a Internet Quântica nativa não pode ser construída sobre alicerces clássicos. Ela exige um protocolo onde a progressão do serviço é um processo distribuído, certificado localmente e orquestrado dinamicamente pelo estado do próprio pacote quântico.