How many systems can be dephased before the quantum switch becomes causally definite?

Resumo Técnico: Quantos Sistemas Podem Ser Desfásados Antes que o Interruptor Quântico se Torne Causalmente Definido?

Enunciado do Problema
Processos quânticos com ordem causal indefinida (não-separabilidade causal) oferecem vantagens sobre circuitos quânticos padrão com estruturas causais fixas. Uma questão fundamental nos fundamentos da informação e processamento quânticos é determinar o limiar de "quantidade" necessário para sustentar a não-separabilidade causal. Especificamente, este trabalho investiga quanto decoerência (desfase) um processo pode tolerar antes de perder sua ordem causal indefinida e tornar-se causalmente separável. Embora resultados anteriores tenham estabelecido que processos bipartidos totalmente desfásados sem sistemas globais de passado/futuro sejam causalmente separáveis, o comportamento de processos com sistemas globais de passado ($P$) e futuro ($F$), particularmente o interruptor quântico, sob desfase parcial permanecia uma questão em aberto.

Metodologia
Os autores utilizam o formalismo de matrizes de processo, que descreve transformações quânticas de ordem superior sem pressupor uma ordem causal fixa. O estudo foca em duas classes específicas de processos:

1. Circuitos Quânticos com Controle Quântico (QC-QCs): Processos onde a ordem causal é controlada coerentemente por um sistema quântico (por exemplo, o interruptor quântico).
2. Circuitos Quânticos com Controle Clássico (QC-CCs): Processos onde a ordem causal é determinada por informação clássica, os quais são conhecidos por serem causalmente separáveis.

A metodologia central envolve a aplicação de mapas de desfase ($\Delta_S$) a subsistemas específicos (sistemas de entrada, saída, passado e futuro) de uma matriz de processo $W$. O desfase torna um sistema efetivamente clássico em uma base fixa. Os autores analisam matematicamente se a matriz de processo desfásada resultante ainda pode ser decomposta na forma de um QC-QC (mantendo a não-separabilidade) ou se colapsa em um QC-CC (tornando-se separável).

A análise é conduzida em dois regimes:

• Caso Bipartido ($N=2$): Investigando processos com duas partes ($A$ e $B$) e sistemas globais de passado/futuro.
• Caso Multipartido ($N \geq 3$): Restringindo a análise à subclasse motivada fisicamente de QC-QCs.

Principais Contribuições e Resultados

1. Processos Bipartidos com Passado e Futuro Globais
O artigo estabelece condições precisas sob as quais um processo bipartido torna-se causalmente separável:

• Suficiência de Desfase Total ou Coerência Apenas no Futuro: Se todos os sistemas forem desfásados, ou se apenas o sistema global de futuro ($F$) permanecer coerente (enquanto $P$, $A_{in}$, $A_{out}$, $B_{in}$, $B_{out}$ forem desfásados), o processo torna-se causalmente separável (especificamente, um QC-CC).
• Necessidade de Coerência Não-Futura: Por outro lado, se qualquer sistema único diferente do sistema de futuro permanecer não-desfásado (coerente), existem processos (construídos a partir do interruptor quântico) que mantêm a não-separabilidade causal.
  • Os autores fornecem construções explícitas (Fig. 2) demonstrando que a indefinição causal sobrevive mesmo quando todos os sistemas, exceto um, são totalmente desfásados, desde que o sistema coerente remanescente não seja o sistema de futuro. Exemplos incluem cenários onde apenas o sistema de controle de passado, a entrada de uma única parte, ou a saída de uma única parte permanecem coerentes.

2. QC-QCs Multipartidos
Os resultados para o caso bipartido são generalizados para QC-QCs $N$-partidos:

• Se todos os sistemas forem desfásados, ou se apenas o sistema de futuro $F$ for deixado coerente, qualquer QC-QC $N$-partido torna-se causalmente separável.
• Se todos os sistemas, exceto um (que não seja $F$), forem desfásados, a não-separabilidade causal pode persistir.
• Isso implica que é possível construir "Circuitos Clássicos com Controle Quântico" (CC-QCs) — processos atuando sobre operações clássicas (slots abertos clássicos) que, no entanto, exibem não-separabilidade causal, desde que exista um passado aberto coerente.

3. Provas Matemáticas
O núcleo técnico do artigo envolve provas rigorosas mostrando que o desfase de subsistemas específicos força a matriz de processo a satisfazer as restrições lineares e de semidefinição positiva dos QC-CCs.

• Apêndice II: Prova que qualquer processo bipartido com $P$, $A_{in}$ e $B_{in}$ desfásados é um QC-QC. Além disso, se todos os sistemas exceto $F$ forem desfásados, é um QC-CC.
• Apêndice III: Usa indução para provar que, para QC-QCs $N$-partidos, o desfase total (exceto possivelmente $F$) reduz o processo a um QC-CC.
• Apêndice IV: Fornece construções explícitas de matrizes de processo para interruptores quânticos parcialmente desfásados ($W_1, W_2, W_3$) e verifica, via programação semidefinida, que eles não são QC-CCs, confirmando assim sua não-separabilidade causal.

Significado e Alegações
O artigo alega resolver a questão em aberto sobre a robustez da não-separabilidade causal contra o desfase em processos com sistemas globais de passado e futuro. O significado principal reside em demonstrar que a não-separabilidade causal é notavelmente robusta à decoerência.

Os autores enfatizam que a ordem causal indefinida não requer que todos os sistemas sejam quânticos; ela pode persistir mesmo quando a maioria dos graus de liberdade do sistema é efetivamente clássica. Especificamente, a existência de um único sistema coerente (excluindo o futuro) é suficiente para sustentar a não-separabilidade causal no interruptor quântico. Esta descoberta refina a compreensão dos recursos necessários para a ordem causal indefinida, sugerindo que a "quantidade" do mecanismo de controle (frequentemente os sistemas de controle de passado ou internos) é o fator crítico, em vez da coerência dos próprios slots operacionais. Os resultados também esclarecem a fronteira entre QC-QCs e QC-CCs na presença de decoerência, mostrando que a distinção desaparece apenas quando o futuro é o único sistema coerente remanescente ou quando todos os sistemas são clássicos.