Steganographic Entanglement Sharing

Resumo Técnico: Partilha de Emaranhamento Esteganográfico

Enunciado do Problema
Trabalhos anteriores estabeleceram um quadro teórico para a esteganografia clássica em canais óticos, onde a informação é ocultada ao imitar o ruído térmico de um oscilador harmónico utilizando estados coerentes ou de Fock. No entanto, estes protocolos estavam limitados à transmissão de informação clássica. O problema central abordado neste trabalho é a extensão dos princípios esteganográficos à transmissão de informação quântica. Especificamente, os autores investigam se estados emaranhados podem ser partilhados de forma encoberta através de um canal que um espião (Eva) espera conter apenas ruído térmico, e se tarefas quânticas úteis (como a teletransportação) podem ser realizadas apesar da presença de um espião ativo.

Metodologia
Os autores propõem protocolos baseados na transmissão de um modo de um estado de Vácuo Comprimido de Dois Modos (TMSV) através de um canal ótico de modo único.

• Primitiva Esteganográfica: Um estado TMSV, quando um dos modos é traçado, produz uma matriz de densidade reduzida idêntica a um estado térmico com um número médio de fotões $\bar{n} = \sinh^2(r)$, onde $r$ é o parâmetro de compressão. Ao transmitir um modo de um estado TMSV, o remetente (Alice) e o recetor (Bob) podem partilhar emaranhamento enquanto o estado do canal parece indistinguível do ruído térmico para um observador.
• Modelos de Espião: A eficácia destes protocolos é analisada sob dois modelos adversariais distintos:
  1. O Modelo Werner: Um canal probabilístico onde, com probabilidade $p$, o emaranhamento é completamente destruído (substituído por um produto de estados térmicos), e com probabilidade $1-p$, o estado TMSV é transmitido intacto. Isto modela um espião que intercepta, mede e reenvia o estado.
  2. O Modelo de Fiação (Wiretap): Um canal de perda pura onde o modo de entrada é acoplado, através de um divisor de feixes de transmitância $\eta$, a um modo de vácuo (representando Eva). Isto assume que toda a perda do canal é interceptada por Eva.
• Tarefas Quânticas: Os autores avaliam o desempenho destes protocolos utilizando:
  • Teletransportação de Estados: Especificamente para "estados gato" não clássicos (superposições de estados coerentes) e estados Gottesman-Kitaev-Preskill (GKP).
  • Codificação Densa Superdensa: Tentativa de transmitir informação clássica a taxas que excedem a capacidade clássica utilizando emaranhamento.
• Ferramentas de Simulação: Simulações numéricas foram realizadas utilizando o pacote StrawberryFields para calcular fidelidades de teletransportação, funções de Wigner e violações de desigualdades de Bell.

Principais Contribuições e Resultados

1. Viabilidade da Partilha Encoberta de Emaranhamento: O artigo demonstra que a partilha de emaranhamento através de estados TMSV é uma primitiva esteganográfica viável. Mesmo que o estado de recurso seja preparado imperfeitamente (por exemplo, com um nível de compressão $r'$ diferente do alvo $r$), a fidelidade entre o estado real do canal e o estado térmico esperado permanece elevada (limitada por $\text{sech}(r-r')$).

2. Desempenho sob o Modelo Werner:

   • Teletransportação: Os autores mostram que estados não clássicos, como estados gato, podem ser teletransportados com uma vantagem quântica (demonstrada pela persistência da negatividade da função de Wigner) mesmo quando o canal é perturbado com probabilidade $p$ até 0,5. A fidelidade média de teletransportação é uma combinação linear da fidelidade do estado térmico e da fidelidade do TMSV.
   • Estados GKP: A teletransportação de estados GKP mostra-se robusta. As simulações indicam que o emaranhamento de qubits pode ser partilhado e verificado (através do critério de Peres-Horodecki e violações de desigualdades de Bell) mesmo com ruído significativo, desde que a taxa de ruído efetiva seja suficientemente baixa.
   • Codificação Densa Superdensa: A codificação densa superdensa encoberta é possível neste modelo. Como o Modelo Werner destrói correlações após a medição, Eva não consegue detetar a correlação entre os dois modos TMSV utilizados para a codificação densa superdensa sem quebrar a cobertura esteganográfica. Uma vantagem de comunicação quântica sobre a taxa clássica é alcançável para parâmetros de compressão $r > 1,13$ (ou $\bar{n} > 1,89$).

3. Desempenho sob o Modelo de Fiação:

   • Teletransportação: Os resultados dependem fortemente da transmitância $\eta$. Para $\eta > 0,5$, o canal é "degradável" e a vantagem quântica é perdida (não é observada negatividade de Wigner). No entanto, para $\eta < 0,5$ (especificamente $\eta = 0,1$ nas simulações), o canal é "anti-degradável" e a vantagem quântica é preservada. Os autores simularam com sucesso a teletransportação de estados GKP e a subsequente verificação de emaranhamento e violações de desigualdades de Bell em $\eta = 0,1$.
   • Codificação Densa Superdensa: Ao contrário do Modelo Werner, a codificação densa superdensa encoberta é impossível sob o modelo de fiação. Como Eva retém a porção captada do sinal, ela pode realizar medições conjuntas em modos correlacionados para detetar a correlação esteganográfica.
   • Solução Alternativa: Os autores propõem um protocolo onde Alice e Bob utilizam esteganografia clássica para coordenar um procedimento de destilação. Ao enviar múltiplos modos TMSV não correlacionados e destilá-los num estado TMSV puro, podem eliminar as correlações que Eva possa ter capturado, permitindo assim a subsequente codificação densa superdensa.

Significado e Alegações
O artigo afirma estabelecer uma base teórica para a "partilha de emaranhamento esteganográfico", demonstrando que tarefas de informação quântica podem ser realizadas de forma encoberta mesmo na presença de um espião ativo.

• Vantagem Quântica: O trabalho destaca que tarefas quânticas específicas (teletransportação de estados não clássicos) podem manter uma vantagem quântica (por exemplo, negatividade de Wigner, violações de Bell) sob níveis de ruído que tornariam a esteganografia clássica ineficaz ou detetável.
• Limitações: Os autores notam modestamente que os protocolos dependem da geração de estados TMSV, que estão tipicamente restritos a comprimentos de onda específicos determinados pelos processos óticos não lineares (por exemplo, cristais periodicamente polarizados) utilizados para os criar. Isto contrasta com a esteganografia de estados coerentes anterior, que podia emular estados térmicos de $\bar{n}$ arbitrário através de modulação.
• Direções Futuras: O artigo sugere que técnicas de conversão ascendente e descendente poderiam ser exploradas para corresponder a estados térmicos numa variedade mais ampla de comprimentos de onda, potencialmente aumentando o segredo, mas deixa explicitamente a análise de tais esquemas para trabalhos futuros.

Os autores não afirmam ter demonstrado estes efeitos experimentalmente; em vez disso, fornecem um quadro teórico e simulações numéricas (utilizando o StrawberryFields) para validar o potencial destes protocolos.