Replica Keldysh field theory of quantum-jump processes: General formalism and application to imbalanced and inefficient fermion counting

Resumo Técnico: Teoria de Campo de Keldysh de Réplicas para Processos de Saltos Quânticos

Definição do Problema
Transições de fase induzidas por medição (MIPTs) têm sido extensivamente estudadas em sistemas que passam por medições projetivas ou contínuas de observáveis de Hermitianos, tipicamente assumindo detecção perfeita. No entanto, um arcabouço teórico abrangente tem faltado para cenários mais gerais, especificamente:

1. Processos de saltos quânticos envolvendo operadores de salto não-Hermitianos, onde as taxas de salto dependem do estado e flutuam no tempo.
2. Detecção ineficiente, onde apenas uma fração dos saltos quânticos é registrada, levando a dinâmicas de estados mistos em vez de trajetórias de estados puros.
   Métodos analíticos existentes, como as teorias de campo de Keldysh de réplicas, têm sido limitados à difusão de estado quântico ou medições projetivas aleatórias com detecção perfeita. Não havia um formalismo geral capaz de realizar a média sobre trajetórias com taxas de salto dependentes do estado e detecção imperfeita dentro de uma abordagem de teoria de campo.

Metodologia
Os autores desenvolvem uma teoria de campo de Keldysh de réplicas para processos gerais de saltos quânticos em sistemas de muitos corpos bosônicos e fermiônicos. A metodologia procede através de etapas fundamentais:

1. Formulação de Operadores de Kraus: A dinâmica é descrita em tempo discreto usando operadores de Kraus. A evolução é dividida em evolução contínua sem salto (governada por um Hamiltoniano efetivo não-Hermitiano) e saltos quânticos descontínuos.
2. Redimensionamento e Limite de Tempo Contínuo: Para lidar com o limite de tempo contínuo ($\Delta t \to 0$) dentro do arcabouço de réplicas, os autores introduzem operadores de Kraus redimensionados. Isso permite que a média da trajetória seja expressa como uma média sobre tempos e tipos de saltos, levando a uma distribuição Poissoniana de saltos no limite contínuo.
3. Truque de Réplica: Para computar observáveis não lineares (ex: entropia de emaranhamento), os autores empregam o truque de réplica. Eles constroem uma função de partição de Keldysh de $R$-réplicas, onde a média da trajetória é realizada antes de tomar o limite de réplica $R \to 1$. Isso requer o tratamento cuidadoso dos fatores de redimensionamento para garantir um limite de tempo contínuo não trivial.
4. Construção da Teoria de Campo: A função de partição é mapeada para uma integral funcional sobre estados coerentes (variáveis de Grassmann para férmions). A ação consiste em:
   • Um termo Liouvilliano (evolução unitária e contribuições dissipativas).
   • Um termo de decaimento (proveniente da parte anti-Hermitiana do Hamiltoniano efetivo).
   • Um termo de salto codificando os saltos quânticos estocásticos.
5. Detecção Ineficiente: A ineficiência é modelada dividindo os passos temporais em um subpasso monitorado (detecção eficiente) e um subpasso não monitorado (evolução Lindbladiana determinística). Isso introduz um parâmetro de eficiência de detecção $\eta \in [0, 1]$. A teoria de campo resultante interpola entre trajetórias de estado puro ($\eta=1$) e dinâmicas determinísticas de estado misto ($\eta=0$).
6. Teoria de Campo Efetiva: Para a aplicação específica, os autores realizam uma transformação de Hubbard-Stratonovich para desacoplar bilineares fermiônicos, derivando um Modelo Sigma Não Linear (NLSM) que descreve os modos de Goldstone associados à quebra de simetria de réplica. Eles analisam as simetrias da ação (unitária, partícula-buraco) para determinar o manifold alvo do NLSM.

Aplicação: Contagem de Férmions Desbalanceada e Ineficiente
O formalismo é aplicado a um reticulado 1D de férmions livres sujeito a ganho e perda monitorados (contagem de férmions) com:

• Taxas desbalanceadas: Ganho ($\gamma_+$) e perda ($\gamma_-$) ocorrem em taxas diferentes.
• Detecção ineficiente: Apenas uma fração $\eta$ dos saltos é detectada.

Resultados Principais

1. Contagem Eficiente mas Desbalanceada ($\eta=1, \gamma_+ \neq \gamma_-$):

   • O sistema exibe nenhuma transição de fase induzida por medição.
   • O emaranhamento obedece a uma lei de área para qualquer taxa de salto não nula em escalas suficientemente grandes.
   • No entanto, existe um regime crítico estendido entre duas escalas de comprimento parametricamente separadas: $l_0 \sim \gamma^{-1}$ e $l_c \sim \gamma^{-2}$.
   • Dentro deste regime, o sistema exibe assinaturas de invariância conforme emergente, incluindo o decaimento algébrico de correlações de densidade ($C_l \sim l^{-2}$) e crescimento de entropia aproximadamente logarítmico ($S_\ell \sim \ln \ell$).
   • Este comportamento é capturado por um NLSM com um manifold alvo $SU(R)$ (ou $SU(2R)/Sp(R)$ com simetria partícula-buraco). O fluxo de RG do acoplamento do NLSM conduz o sistema ao acoplamento forte na escala $l^* \sim l_0 e^{4\pi \beta g_0}$, levando ao eventual crossover para o escalonamento de lei de área.

2. Detecção Ineficiente ($\eta < 1$):

   • A ineficiência introduz um termo de massa no NLSM proporcional à ineficiência de detecção $\delta\eta = 1 - \eta$.
   • Esta massa gera um comprimento de correlação finito $\xi \sim \delta\eta^{-1/2}$.
   • Entropia de Subsistema: A entropia de von Neumann exibe escalonamento de lei de volume em grandes escalas devido ao caráter misto das trajetórias (entropia estatística).
   • Emaranhamento Genuíno: A negatividade logarítmica fermiônica, uma medida de emaranhamento genuíno, obedece a uma lei de área para tamanhos de subsistema maiores que $\xi$.
   • No limite $\eta \to 0$, o sistema reduz-se a uma evolução Lindbladiana determinística com um estado estacionário trivial e separável.

3. Validação Numérica:

   • Simulações numéricas diretas de trajetórias de saltos quânticos (até $L=1000$) confirmam as previsões analíticas.
   • As simulações verificam o escalonamento do momento de crossover $q_c \sim \gamma^2$ e do comprimento $l_c \sim \gamma^{-2}$.
   • Confirmam o escalonamento do comprimento de correlação $\xi \sim \delta\eta^{-1/2}$ e a transição do escalonamento logarítmico para a lei de área na negatividade logarítmica.

Significância e Alegações
O artigo afirma fornecer uma fundação teórica geral e versátil para o estudo de fenômenos induzidos por medição em uma ampla classe de sistemas quânticos monitorados e abertos. Suas principais contribuições são:

• Unificação: Estabelece uma conexão direta entre a dinâmica induzida por medição (trajetórias de estado puro) e os estados estacionários fora do equilíbrio de matéria quântica aberta dirigida (dinâmicas de estado misto) ao incorporar a detecção ineficiente.
• Generalidade: Estende a teoria de campo de Keldysh de réplicas para processos gerais de saltos quânticos com operadores não-Hermitianos e taxas dependentes do estado, um cenário anteriormente inacessível ao tratamento analítico.
• Insight Físico: Demonstra que a criticidade induzida por medição (o regime crítico estendido) é robusta contra taxas desbalanceadas, mas frágil contra a ineficiência de detecção, que introduz uma massa que destrói o emaranhamento de longo alcance.
• Ponte para Sistemas Abertos: O arcabouço liga as MIPTs ao estudo de sistemas fermiônicos quadráticos dirigidos, oferecendo uma ferramenta para analisar o desmembramento de trajetórias de modelos com dissipação de ganho-perda, fases topológicas e efeitos de pele não-Hermitianos.

Os autores mantêm uma postura modesta, observando que, embora seu formalismo permita o estudo da quebra de simetria em trajetórias versus o estado estacionário misto, a aplicação específica apresentada foca em férmions livres. Eles sugerem que o arcabouço abre portas para investigar sistemas interagentes mais complexos e questões mais amplas sobre topologia e classificações de simetria em sistemas continuamente monitorados.