The necessary and sufficient condition for perfect teleportation and superdense coding and all the suitable states for teleportation and superdense coding

1. Problema Investigado

O artigo aborda questões fundamentais na teoria da informação quântica (QIT) relacionadas à teleportação perfeita (PTP) e ao codificação densa superdensa (PSDC) para transmitir 2 bits (PSDC-2) e 3 bits (PSDC-3) de informação clássica.

Os problemas centrais identificados pelo autor são:

• Invariância LU (Local Unitária): Não havia consenso ou discussão sobre se protocolos de tarefas em QIT são "invariantes LU". Ou seja, se dois estados quânticos são equivalentes sob operações unitárias locais (LU), eles devem ser igualmente adequados ou inadequados para um determinado protocolo.
• Condições de Adequação: A necessidade de estabelecer condições necessárias e suficientes para que um estado arbitrário de três qubits seja adequado para PTP, PSDC-2 e PSDC-3.
• Classes de SLOCC: A questão aberta levantada por Agrawal e Pati sobre se existem subclasses da classe de entrelaçamento W (SLOCC) que sejam adequadas para PTP, PSDC-2 e, especificamente, para PSDC-3.
• Necessidade de Entrelaçamento Genuíno: A crença anterior de que recursos de entrelaçamento não máximos levam apenas a protocolos probabilísticos, e a necessidade de verificar se estados separáveis (não entrelaçados) podem realizar teleportação perfeita.

2. Metodologia

O autor utiliza uma abordagem matemática rigorosa baseada na decomposição de Schmidt (SD) e na teoria de classes de SLOCC (Stochastic Local Operations and Classical Communication):

• Definição de Invariância LU: O autor define formalmente um protocolo como "LU invariante" se, e somente se, dois estados LU-equivalentes forem ambos adequados ou ambos inadequados para o protocolo.
• Decomposição de Schmidt (SD): Para qualquer estado de três qubits, o autor utiliza a forma canônica de Schmidt sob operações unitárias locais:
  $$|\psi_{SD}\rangle = \lambda_0|000\rangle + \lambda_1 e^{i\phi}|100\rangle + \lambda_2|101\rangle + \lambda_3|110\rangle + \lambda_4|111\rangle$$
  Isso permite reduzir a análise de qualquer estado a uma forma padrão, facilitando a verificação das condições de ortogonalidade necessárias para os protocolos.
• Análise de Ortogonalidade: Para cada protocolo (PTP, PSDC-2, PSDC-3), o autor deriva as condições matemáticas (equações lineares e quadráticas nos coeficientes $c_i$ do estado) que garantem que os estados resultantes após as operações de Alice sejam mutuamente ortogonais.
• Classificação por SLOCC: As condições derivadas são aplicadas às seis classes de SLOCC para três qubits: GHZ, W, A-BC, B-AC, C-AB e A-B-C (separável).
• Cálculo de Entropia de Von Neumann: O autor utiliza a entropia de entrelaçamento $S(\rho)$ para correlacionar a adequação do protocolo com a quantidade de entrelaçamento compartilhado (medida em ebits).

3. Principais Contribuições e Resultados

A. Invariância LU dos Protocolos

• PTP e PSDC-2 são LU Invariantes: O autor prova que se um estado é adequado para Teleportação Perfeita (PTP) ou Codificação Densa Superdensa de 2 bits (PSDC-2), então qualquer estado LU-equivalente a ele também é adequado.
• PSDC-3 e Teleportação de Nielsen & Chuang NÃO são LU Invariantes: O autor demonstra que o protocolo de PSDC-3 (transmissão de 3 bits) e um protocolo específico de teleportação proposto por Nielsen e Chuang (usando portas CNOT e Hadamard) não são invariantes LU. Isso significa que existem estados LU-equivalentes onde um funciona para o protocolo e o outro não.

B. Condições Necessárias e Suficientes

O artigo estabelece condições matemáticas exatas para a adequação dos estados:

• Para PTP: Um estado $|\psi\rangle = \sum c_i |i\rangle$ é adequado se e somente se:
  1. $\sum_{i=0}^3 |c_{2i}|^2 = \sum_{i=0}^3 |c_{2i+1}|^2 = 1/2$
  2. $\sum_{i=0}^3 c_{2i}c^*_{2i+1} = 0$
• Para PSDC-2: Um estado é adequado se e somente se:
  1. $\sum_{i=0}^3 |c_i|^2 = \sum_{i=4}^7 |c_i|^2 = 1/2$
  2. $\sum_{i=0}^3 c^*_i c_{i+4} = 0$
• Para PSDC-3: O autor deriva um sistema complexo de 8 equações (Eq. 63-70) que devem ser satisfeitas simultaneamente.

C. Descoberta de Estados Separáveis Adequados

Uma das descobertas mais surpreendentes é que nem PTP nem PSDC-2 requerem entrelaçamento genuíno.

• O autor identifica e lista todos os estados separáveis (produto) que satisfazem as condições acima.
• Exemplos incluem estados da classe A-BC, B-AC e C-AB que são separáveis, mas ainda assim permitem teleportação perfeita e codificação densa de 2 bits.
• Conclusão Chave: Embora o entrelaçamento genuíno não seja necessário, o protocolo consome exatamente 1 ebit de entrelaçamento compartilhado entre Alice e Bob (medido pela entropia de Von Neumann do qubit de Bob, $S(\rho_3) = \ln 2$).

D. Classificação das Classes SLOCC

• Classe W:
  • Para PTP: Existe uma única subclass (até LU) adequada: $|W^{SD}_{pt}\rangle = \lambda_0|000\rangle + \frac{\sqrt{2}}{2}|101\rangle + \lambda_3|110\rangle$. O estado W padrão não é adequado.
  • Para PSDC-2: Existe uma única subclass adequada: $|W^{SD}_{sdc}\rangle = \frac{1}{\sqrt{2}}|000\rangle + \lambda_2|101\rangle + \lambda_3|110\rangle$.
  • Para PSDC-3: O autor prova que nenhum estado da classe SLOCC W é adequado para PSDC-3. Isso resolve uma questão em aberto proposta por Agrawal e Pati.
• Classe GHZ:
  • Adequada para PTP e PSDC-2 se e somente se tiver 1 ebit de entrelaçamento compartilhado.
  • Para PSDC-3, apenas o estado GHZ padrão (e estados LU-equivalentes a ele, como certas combinações de dois termos) são adequados.
• Outras Classes: Estados das classes A-BC, B-AC, C-AB e A-B-C (separáveis) são geralmente inadequados para PSDC-3, mas alguns estados específicos dentro dessas classes (que são separáveis) são adequados para PTP e PSDC-2.

E. Comparação com Protocolos Anteriores

O autor destaca diferenças cruciais entre seu protocolo e o de Li e Qiu:

• A alocação de qubits (quem tem qual qubit) e o tipo de operação unitária (local vs. não local) determinam a adequação. Por exemplo, o estado $|W_n\rangle$ é adequado para o protocolo de Li e Qiu (que usa operações não-locais em dois qubits), mas não para o PSDC-3 padrão (que usa apenas operações unitárias locais).

4. Significado e Impacto

1. Redefinição de Recursos: O trabalho desafia a intuição de que o entrelaçamento genuíno é um pré-requisito absoluto para a teleportação perfeita e codificação densa. Mostra que a quantidade de entrelaçamento compartilhado (1 ebit) é o fator determinante, não a natureza (genuína vs. separável) do estado global.
2. Resolução de Questões Abertas: Resolve definitivamente a questão sobre a adequação da classe W para PSDC-3, provando que é impossível, e classifica completamente as subclasses adequadas para PTP e PSDC-2.
3. Conceito de Invariância LU: Introduz e formaliza o conceito de invariância LU para protocolos de tarefas quânticas, distinguindo protocolos robustos (PTP, PSDC-2) de protocolos sensíveis à base local (PSDC-3, certos protocolos de teleportação).
4. Aplicabilidade Prática: Ao fornecer condições algébricas simples (somas e produtos de coeficientes), o artigo oferece uma ferramenta prática para verificar se um estado experimentalmente gerado é adequado para esses protocolos sem necessidade de simulações complexas.

Em suma, o artigo fornece uma caracterização completa e rigorosa dos recursos de estados quânticos necessários para teleportação e codificação densa, esclarecendo o papel do entrelaçamento e a importância da invariância local unitária na teoria da informação quântica.