On the characterization of partially entanglement breaking and annihilating channels

=== RASCUNHO ===
Resumo Técnico: Sobre a Caracterização de Canais Parcialmente Quebradores de Emaranhamento e Aniquiladores de Emaranhamento

Problema
O emaranhamento quântico é um recurso fundamental para tarefas de processamento de informação quântica, tais como teletransporte, criptografia e discriminação de canais. Embora a presença de emaranhamento seja frequentemente binária (separável vs. emaranhado), a dimensionalidade do emaranhamento, quantificada pelo número de Schmidt (SN), é crucial para protocolos de alta dimensão. Estados com números de Schmidt mais elevados oferecem vantagens distintas em tarefas como discriminação de canais e distribuição de chaves quânticas. No entanto, canais quânticos (ruído) podem degradar esses recursos ao reduzir o número de Schmidt dos estados transmitidos.

Embora os canais "quebradores de emaranhamento" (EB - entanglement breaking) sejam bem caracterizados como aqueles que desintegram completamente um subsistema, existe uma classe mais ampla de canais que reduzem o número de Schmidt sem necessariamente destruir todo o emaranhamento. Estes são denominados canais "parcialmente quebradores de emaranhamento" (PEBT). Além disso, existe uma distinção entre canais que reduzem o emaranhamento através de uma bipartição (A|B) e aqueles que destroem o emaranhamento dentro de um subsistema (B) de um sistema composto maior. Estes últimos são conhecidos como canais "aniquiladores de emaranhamento" (EA). O artigo aborda a necessidade de caracterizar estas classes intermediárias — especificamente canais $r$-parcialmente quebradores de emaranhamento ($r$-PEBT) e $r$-parcialmente aniquiladores de emaranhamento ($r$-PEAT) — e de desenvolver métodos para identificar canais que preservam o emaranhamento de alta dimensão (canais não quebradores de recursos).

Metodologia
Os autores empregam um arcabouço de teoria de recursos combinado com ferramentas de teoria de operadores para analisar canais quânticos atuando em espaços de Hilbert de dimensão $d$ ($C^d$).

1. Definições e Caracterização:

   • $r$-PEBT: Um canal $S$ é $r$-PEBT se reduz o número de Schmidt de qualquer estado de entrada $\rho$ tal que $SN[(id_A \otimes S)\rho] \leq r$.
   • $r$-PEAT: Um canal $E$ atuando em um subsistema $B$ é $r$-parcialmente aniquilador de emaranhamento se $SN[E(\rho_B)] \leq r$ para todo $\rho_B$. Os autores distinguem entre canais $r$-PEAT locais (produto tensorial de canais individuais) e não locais.
   • Isomorfismo de Choi-Jamiołkowski: Os autores utilizam a matriz de Choi ($C_S$) para caracterizar estes canais. Um resultado chave da literatura prévia (Chruściński et al.) é utilizado: $S \in r\text{-PEBT}$ se, e somente se, $SN(C_S) \leq r$.

2. Análise Topológica:

   • O artigo estabelece que o conjunto de canais $r$-PEBT é tanto convexo quanto compacto. Isto é provado mostrando que combinações convexas de canais $r$-PEBT permanecem no conjunto e que o conjunto contém todos os seus pontos de limite.
   • Propriedades topológicas semelhantes (convexidade e compacidade) são estabelecidas para o conjunto de canais $r$-PEAT não locais.

3. Critérios de Detecção:

   • Operadores Testemunha (Witness Operators): Para detectar canais que não são $r$-PEBT (ou seja, aqueles que preservam $SN > r$), os autores propõem uma abordagem baseada em testemunhas. Eles definem um funcional escalar baseado na distância da norma de diamante para o conjunto de canais $r$-PEBT.
   • Condições Espectrais: Uma condição suficiente é derivada usando mapas $\Lambda$ que são $r$-positivos, mas não $(r+1)$-positivos. Se um canal $S$ satisfaz $\text{Tr}[(id_A \otimes \Lambda)(C_S)]^2 \leq \frac{1}{d^2-1}$, então $S \in r\text{-PEBT}$.
   • Número de Schmidt Absoluto: Para $r$-PEAT, o artigo introduz o conceito de "canais de número de Schmidt absoluto" (canais onde o SN de saída permanece $\leq r$ sob qualquer unitária não local). Uma condição suficiente baseada no espectro de autovalores do estado de saída é fornecida para canais covariantes.

4. Estudos de Caso:

   • Os autores aplicam estes critérios aos canais de depolarização de qutrit e de desfocagem (dephasing) para determinar regimes de parâmetros precisos onde estes canais falham em ser 2-PEBT ou 2-localmente $r$-PEAT.

Principais Contribuições e Resultados

1. Caracterização de $r$-PEBT:

   • Provou que o conjunto de canais $r$-PEBT é convexo e compacto, permitindo o uso de operadores testemunha para detecção.
   • Demonstrou que a concatenação em série de dois canais $r$-PEBT permanece sendo $r$-PEBT.
   • Mostrou que o conjunto não é fechado sob produtos tensoriais para $r > 1$ (ao contrário dos canais EB padrão onde $r=1$). Especificamente, se $S_1, S_2 \in r\text{-PEBT}$, então $S_1 \otimes S_2$ pode não ser $r\text{-PEBT}$ (embora seja $r^2\text{-PEBT}$).

2. Introdução de $r$-PEAT:

   • Definiu e caracterizou canais $r$-PEAT não locais.
   • Provou que a concatenação em série de canais $r$-PEAT não locais permanece sendo $r$-PEAT não local.
   • Demonstrou que a ordem da concatenação importa: se $E$ é $r$-PEAT não local e $F_B$ é um canal arbitrário, $E \circ F_B$ é $r$-PEAT não local, mas $F_B \circ E$ pode não ser (pois $F_B$ pode aumentar o número de Schmidt).

3. Detecção de Canais Não Quebradores de Recursos:

   • Forneceu intervalos de parâmetros explícitos para canais de depolarização e desfocagem de qutrit onde eles atuam como não-parcialmente quebradores de emaranhamento (preservando $SN=3$).
   • Para o canal de depolarização de qutrit $S_3(\rho) = p\rho + \frac{1-p}{3}I$, ele é 2-PEBT se $0 \leq p \leq 5/8$ e não-2-PEBT (preservando $SN=3$) se $5/8 < p \leq 1$.
   • Para o canal de desfocagem de qutrit, ele é 2-PEBT se $0 \leq v \leq 1/2$ e não-2-PEBT se $1/2 < v \leq 1$.

4. Relações de Conjuntos:

   • Estabeleceu a hierarquia: $EB \subset 1\text{-PEBT} \subseteq 2\text{-PEBT} \subseteq \dots \subseteq r\text{-PEBT}$.
   • Mostrou que $r\text{-PEBT} \subset 2\text{-local } r\text{-PEAT}$ (todo canal $r$-PEBT é um canal $2\text{-local } r\text{-PEAT}$).
   • Demonstrou que o inverso é falso: $2\text{-local } r\text{-PEAT} \not\subset r\text{-PEBT}$.
   • Provou que $r\text{-PEBT}$ e $r\text{-PEAT}$ não locais possuem uma interseção não vazia, mas nenhum é um subconjunto do outro.

Significância e Alegações
O artigo afirma fornecer um arcabouço teórico abrangente para compreender como os canais quânticos degradam a dimensionalidade do emaranhamento, indo além da visão binária de quebra de emaranhamento. Ao caracterizar as propriedades topológicas (convexidade e compacidade) destes conjuntos de canais, os autores permitem o desenvolvimento de métodos de detecção eficientes (testemunhas) para identificar canais que preservam recursos de emaranhamento de alta dimensão.

A introdução de "canais parcialmente aniquiladores de emaranhamento" estende a teoria de recursos para cenários onde o emaranhamento é destruído dentro de um subsistema, mas não necessariamente através do sistema. Os autores enfatizam que identificar canais "não quebradores de recursos" é imperativo para o processamento de informação quântica confiável. O trabalho estabelece prescrições para identificar tais canais, especificamente através das condições suficientes derivadas e dos regimes de parâmetros para modelos de ruído padrão.

Os autores concluem de forma modesta, observando que, embora tenham fornecido uma caracterização topológica, obter uma representação do tipo Choi-Kraus para canais $r$-PEAT permanece um problema em aberto. Eles também destacam que a falta de fechamento sob produtos tensoriais para $r\text{-PEBT}$ ($r>1$) motiva investigações adicionais sobre se propriedades semelhantes se aplicam a $r\text{-PEAT}$. O artigo não propõe novos arranjos experimentais, mas sim oferece as ferramentas teóricas necessárias para analisar as capacidades de canais e a preservação de recursos em sistemas de alta dimensão.