Near-optimal entanglement-communication tradeoffs for remote state preparation

Resumo Técnico: Tradeoffs quase ótimos entre emaranhamento e comunicação para preparação remota de estados

Declaração do Problema
O artigo investiga os custos de recursos da Preparação Remota de Estados (RSP), uma tarefa onde um remetente (Alice) possui uma descrição clássica de um estado quântico e deseja preparar esse estado no lado do receptor (Bob) usando emaranhamento compartilhado e comunicação clássica. Diferentemente da teletransporte quântica, onde o estado é desconhecido para Alice, a RSP aproveita o conhecimento de Alice sobre o estado para potencialmente reduzir os custos de comunicação.

Os autores focam especificamente na preparação de estados planos, definidos como estados mistos da forma $P/k$, onde $P$ é um projetor de posto-$k$ em um espaço de Hilbert de dimensão $d$, $\mathbb{C}^d$. Este conjunto, denotado $\mathcal{G}(d, k)$, é significativo porque os estados planos são "completos" para RSP; tarefas arbitrárias de RSP podem ser reduzidas à RSP de estados planos via o método "Extensão dos Irmãos". A questão central é determinar o tradeoff ótimo entre a quantidade de emaranhamento compartilhado (medida em ebits) e comunicação clássica (medida em bits) necessária para preparar esses estados com uma tolerância a erro dada.

Metodologia
Os autores empregam uma combinação de limites inferiores teóricos da informação e protocolos construtivos de limites superiores.

• Técnica de Limite Inferior:
  Os autores introduzem uma abordagem inovadora para limitar inferiormente os custos de emaranhamento usando a entropia mínima de emaranhamento suavizada ($H^{\varepsilon}_{\min}$), uma medida mais forte que o posto de Schmidt anteriormente utilizado na literatura de RSP.

  1. Majorização: Eles utilizam o fato de que qualquer protocolo de RSP usando Operações Locais e Comunicação Clássica (LOCC) deve satisfazer uma condição de majorização: o espectro de Schmidt do estado compartilhado inicial deve ser majorizado pela média do conjunto dos espectros de Schmidt dos estados finais.
  2. Argumento de Superposição: Para analisar o espectro dos estados finais, eles executam o protocolo em superposição sobre as entradas de Alice (projetores retirados da medida de Haar em $\mathcal{G}(d, k)$). Isso permite relacionar o espectro do estado inicial ao espectro médio do conjunto de saída.
  3. Análise Espectral: Ao condicionar na mensagem clássica $c$ enviada por Alice, eles mostram que o estado reduzido no lado de Bob está próximo do estado maximamente misturado, com desvios limitados pelo custo de comunicação $m$. Usando desigualdades de concentração e propriedades da função de fidelidade truncada, eles derivam um limite inferior para a entropia mínima suavizada do estado inicial em termos de $\log d$ e do custo de comunicação.

• Técnicas de Limite Superior:
  Os autores propõem dois protocolos para RSP $(d, k)$:

  1. Protocolo de Operador de Kraus: Uma generalização de um protocolo de [Ben+05] para estados puros. Ele usa uma coleção de unitárias para definir uma medição generalizada (POVM). Este protocolo alcança um custo de emaranhamento quase ótimo, mas incorre em um custo de comunicação subótimo de $\log(d/k) + \log \log d$. Ele apresenta erro unilateral: se o protocolo falhar, a falha é conhecida; se tiver sucesso, o estado é preparado perfeitamente.
  2. Amostragem por Rejeição Amortecida: Um protocolo inovador que refina o método padrão de amostragem por rejeição. Em vez de medir um projetor fixo, Alice mede uma sequência de projetores aleatórios $Q_i = U_i P U_i^\dagger$ usando um POVM "amortecido" $\{\sqrt{\eta}Q_i, \sqrt{I-\eta Q_i}\}$. Este amortecimento impede que o estado emaranhado compartilhado seja significativamente perturbado durante iterações falhas (análogo ao teste de bomba de Elitzur-Vaidman). Este protocolo alcança um custo de comunicação de $\log(d/k) + O(\log(1/\varepsilon))$ com erro no pior caso $\varepsilon$.
  3. Redução de Caso Médio para Pior Caso: Os autores fornecem uma redução geral mostrando que qualquer protocolo de RSP $(d, k)$ com erro de caso médio pode ser convertido em um com erro no pior caso com apenas um aumento modesto na comunicação, mesmo sem aleatoriedade compartilhada.

Principais Contribuições e Resultados

1. Tradeoffs Apertados entre Emaranhamento e Comunicação:
   O artigo estabelece limites inferiores e superiores quase correspondentes para os recursos necessários para preparar estados planos.

   • Limite Inferior: Para qualquer protocolo de RSP $(d, k)$ com comunicação $m$ e erro médio relaxado $\varepsilon_r$, a entropia mínima de emaranhamento suavizada do estado compartilhado satisfaz:
     $$H^{\delta+\gamma}_{\min}(A)_\sigma \geq \log d - 3\log(1/\gamma) - O(1)$$
     onde $\delta$ depende de $k/d$ e $m/d$. Crucialmente, isso implica que qualquer estado emaranhado puro capaz de realizar RSP com comunicação $o(d)$ deve conter quase $\log d$ ebits distiláveis.
   • Limite Superior: Os autores apresentam protocolos que alcançam custos de comunicação de $\log(d/k) + O(\log(1/\varepsilon))$ e custos de emaranhamento de $\lceil \log d \rceil$ ebits (um estado maximamente emaranhado de dimensão local $d$).

2. Melhoria sobre Limites Anteriores:

   • Para estados puros ($k=1$), o limite inferior sobre o custo de emaranhamento supera o melhor limite previamente conhecido de [Ben+05] porque usa a medida mais forte de entropia mínima suavizada em vez do posto de Schmidt.
   • Para estados mistos, estes são os primeiros limites superiores e inferiores quase correspondentes para RSP. Trabalhos anteriores (e.g., [BN20]) forneciam limites sobre a soma de comunicação e emaranhamento, mas não isolavam um limite inferior não trivial sobre o emaranhamento sozinho para protocolos com comunicação $\log d$.

3. Aplicações:

   • Incomprimibilidade de Estados Planos: O limite inferior de emaranhamento é usado para rederivar e fortalecer o resultado de que conjuntos de estados planos não podem ser comprimidos (compressão visível) por mais do que um número constante de qubits, mesmo com tolerância a erro não trivial.
   • Protocolo da Função Igualdade: Os autores constroem um protocolo assistido por emaranhamento para a função Igualdade ($EQ_n$) em $n$ bits. Mapeando entradas para estados planos e usando seu protocolo eficiente de RSP, eles alcançam um protocolo usando $O(1)$ comunicação clássica e apenas $\frac{1}{2}\log n + O(\log(1/\varepsilon))$ pares EPR compartilhados. Isso reduz pela metade o custo de emaranhamento de protocolos anteriores (que usavam $\log n$ ebits) enquanto mantém comunicação constante.

Significado
O artigo afirma resolver a questão fundamental da relação entre eficiência de comunicação e destilabilidade de emaranhamento no contexto de RSP. Ele demonstra que, para estados emaranhados puros, a capacidade de realizar RSP eficiente em comunicação de estados planos é essencialmente equivalente à capacidade de destilar $\log d$ ebits. Isso estabelece um vínculo direto entre a utilidade de um estado emaranhado para uma tarefa de comunicação e seu emaranhamento destilável.

Além disso, o trabalho fornece os primeiros limites rigorosos e quase correspondentes para RSP de estados mistos, um cenário que havia sido amplamente inexplorado em comparação com a RSP de estados puros. A técnica de "amostragem por rejeição amortecida" oferece uma nova ferramenta para reduzir custos de emaranhamento em tarefas de comunicação quântica, potencialmente aplicável à divisão e redistribuição de estados. Os resultados sugerem que o "custo" da RSP está fundamentalmente ligado à dimensão do espaço de estados, e que reduções significativas no custo de emaranhamento (abaixo de $\log d$) são impossíveis sem um aumento linear correspondente na comunicação.