Failure of the Quench Action Formalism for Mott Insulator Initial States

Este artigo demonstra, por meio de contraexemplos explícitos envolvendo estados iniciais de isolante de Mott e o gás de Lieb-Liniger, que a suposição central do formalismo da ação de quench — de que as sobreposições com autoestados dependem suavemente da densidade de quase-partículas via um funcional exponencial — é fundamentalmente inválida devido ao comportamento altamente singular dessas sobreposições.

O essencial

Imagine que você está tentando prever o futuro de uma multidão caótica de pessoas (um sistema quântico) após uma mudança súbita nas regras do jogo. Durante anos, os físicos usaram um "livro de regras" específico chamado Formalismo Quench Action para fazer essas previsões.

Aqui está a divisão simples do que este artigo afirma, usando analogias do cotidiano:

O Velho Livro de Regras (A Suposição da "Suavidade")

O velho livro de regras assumia que, se você tem uma multidão de pessoas, a única coisa que importa para prever o futuro delas é a densidade média da multidão.

• A Analogia: Imagine que você está olhando através de uma janela embaçada. Você não consegue ver as pessoas individualmente, apenas uma nuvem de névoa suave e borrada. A velha teoria dizia: "Contanto que saibamos o quão espessa é a névoa em diferentes pontos, podemos prever perfeitamente como a multidão se moverá".
• A Matemática: Ela assumia que a conexão (sobreposição) entre o estado inicial e qualquer estado futuro poderia ser descrita por uma curva única, suave e gentil. Não importava exatamente quais pessoas específicas estavam onde, desde que a "densidade da névoa" geral fosse a mesma.

A Nova Descoberta (A Realidade "Singular")

Garry Goldstein, o autor deste artigo, diz: "Este livro de regras está errado."

Ele encontrou um cenário específico (um "Isolante de Mott" transformando-se em um "gás de Lieb-Liniger") onde a analogia da névoa suave falha completamente.

• A Analogia: Imagine que a multidão não é uma névoa, mas sim um grupo de dançarinos que devem estar sobre uma grade muito específica e rígida.
  • Se um dançarino estiver no lugar certo, a música toca e a dança continua.
  • Se um dançarino estiver apenas um centímetro fora dessa grade específica, a música para instantaneamente e a dança torna-se impossível.
• A Realidade: Goldstein mostra que, para este sistema específico, a conexão entre o início e o fim não é uma curva suave. É altamente irregular e "singular".
  • Não se trata da densidade média.
  • Trata-se de posições exatas e discretas. O sistema só "funciona" (tem uma sobreposição não nula) se as partículas ocuparem números quânticos específicos (como assentos específicos em um teatro). Se estiverem minimamente fora do lugar, a conexão cai para zero.

O Contraexemplo

Goldstein não apenas supôs; ele construiu uma "prova de conceito" matemática usando uma configuração específica:

1. A Configuração: Ele pegou um estado onde as partículas estão presas em um padrão de cristal rígido (o Isolante de Mott).
2. A Mudança: Ele mudou subitamente as regras para permitir que elas se movessem livremente (o gás de Lieb-Liniger).
3. O Resultado: Quando ele calculou a conexão entre o início e o fim, descobriu que não era uma função suave. Era uma função de "escolha e seleção".
   • Cenário A: As partículas estão no padrão exato? Conexão = 100%.
   • Cenário B: As partículas têm a mesma densidade média, mas estão em um padrão ligeiramente diferente? Conexão = 0%.

Por Que Isso Importa

A velha teoria (Quench Action) tentava simplificar o universo dizendo: "Não se preocupe com os pequenos detalhes; apenas olhe para o panorama geral (densidade)".

O artigo de Goldstein diz: "Os pequenos detalhes são tudo."

• A Metáfora: É como tentar prever o resultado de uma fechadura e uma chave. A velha teoria dizia: "Se a chave tiver aproximadamente o tamanho certo, ela abrirá a fechadura". Goldstein diz: "Não, se os dentes da chave não estiverem no lugar exato, a fechadura não girará, não importa o quão próxima seja a medida".

A Conclusão

O artigo conclui que o "Formalismo Quench Action" falha para esses tipos específicos de estados iniciais porque assume uma suavidade que simplesmente não existe. A realidade é muito mais complexa, "rica" e cheia de possibilidades "singulares", onde o sistema se comporta de uma maneira binária (tudo ou nada) em vez de uma maneira suave e gradual.

Em resumo: O universo é mais exigente e específico do que o antigo livro de regras lhe dava crédito. Você não pode apenas olhar para a média; você tem que olhar para o arranjo exato.

Resumo técnico

Resumo Técnico: Falha do Formalismo da Ação de Quench para Estados Iniciais de Isolante de Mott

Definição do Problema
O artigo aborda uma suposição fundamental dentro do formalismo da ação de quench, um arcabouço teórico usado para descrever a dinâmica fora do equilíbrio e o relaxamento de sistemas quânticos isolados para um Ensemble de Gibbs Generalizado (GGE) após um quench quântico. O formalismo postula que o overlap entre um estado inicial genérico $|\Psi_0\rangle$ e um autoestado de um Hamiltoniano final integrável (caracterizado por rapididades $|k_1, \dots, k_N\rangle$) pode ser expresso como um funcional suave da densidade de quase-partículas $\rho(k)$:
$$\langle k_1, \dots, k_N | \Psi_0 \rangle = \exp(-S_{\Psi_0}(\rho(k)))$$
Esta suposição implica que o overlap depende apenas da densidade macroscópica de estados, de modo que quaisquer dois autoestados que compartilhem o mesmo $\rho(k)$ produzem overlaps idênticos (salvo correções de ordem $O(1/N)$). O autor argumenta que essa suposição é incorreta para estados iniciais específicos, nomeadamente estados fundamentais de isoladores de Mott, onde o overlap exibe um comportamento altamente singular que não pode ser capturado por uma função suave de $\rho(k)$.

Metodologia
O autor utiliza contraexemplos explícitos para testar a validade da suposição da ação de quench. A análise primária foca em um quench quântico onde um isolador de Mott de bósons unidimensional é subitamente evoluído sob o Hamiltoniano de Lieb-Liniger. O estudo é conduzido em dois regimes:

1. Limite Tonks-Girardeau ($c \to \infty$): O overlap é calculado exatamente para o limite de acoplamento infinito do gás de Lieb-Liniger.
2. Expansão de Ordem Principal em $1/c$: O overlap é calculado para acoplamento finito $c$, expandindo até a ordem principal em $1/c$.

Em ambos os casos, o estado inicial $|\Psi_0\rangle$ é definido como um produto de funções de onda localizadas (isolador de Mott) com largura $W \ll l$ (onde $l$ é o espaçamento da rede), e os autoestados finais são os autoestados da análise de Bethe do modelo de Lieb-Liniger. O cálculo envolve a integração da função de onda inicial contra as funções de onda de Bethe, utilizando contrações de Wick e reconhecendo a estrutura resultante como um determinante de Vandermonde.

Contribuições Principais e Resultados
O artigo demonstra que o overlap entre o estado fundamental do isolador de Mott e os autoestados de Lieb-Liniger possui uma estrutura muito mais complexa do que a forma funcional suave assumida pelo formalismo da ação de quench.

• Estrutura de Overlap Singular: No limite Tonks-Girardeau, o quadrado do overlap é encontrado como proporcional a um produto de termos de seno dependentes dos números quânticos $I_j$ que rotulam os autoestados:
  $$|\langle k_1, \dots, k_N | \Psi_0 \rangle|^2 \propto \prod_{j>i} 4 \sin^2\left[ \frac{\pi(I_j - I_i)}{N} \right]$$
  Esta expressão anula-se a menos que o conjunto de números quânticos $\{I_j\}$ ocupe cada inteiro módulo $N$ exatamente uma vez. Consequentemente, o overlap é zero para a vasta maioria dos estados que compartilham a mesma densidade macroscópica $\rho(k)$, mas diferem na configuração microscópica dos números quânticos.

• Falha de Suavidade: Os resultados mostram que o overlap não é uma função suave da densidade de quase-partículas $\rho(k)$. Em vez disso, é altamente sensível ao arranjo específico das rapididades (ou números quânticos). Isso contradiz diretamente a suposição central do formalismo da ação de quench (Eq. 6 no texto), que exige que o overlap seja determinado unicamente por $\rho(k)$.

• Extensão para Acoplamento Finito: Resultados semelhantes são derivados para a ordem principal na expansão $1/c$. O overlap permanece não nulo apenas para configurações específicas de números quânticos que satisfazem condições rigorosas de espaçamento, reforçando a conclusão de que a estrutura do overlap é singular e não é capturada por um funcional de ação suave.

• Apêndice A (Modelo XXZ): O autor observa que estados "cristalinos" similares no modelo XXZ (no limite de grande anisotropia $|\Delta| \gg 1$) exibem a mesma rica e singular estrutura de overlap, sugerindo que a falha do formalismo não é exclusiva do gás de Lieb-Liniger.

Significância e Alegações
O artigo alega que o formalismo da ação de quench é fundamentalmente incorreto para uma classe de estados fisicamente relevantes, especificamente isoladores de Mott. O autor argumenta que o formalismo "simplificou grandemente a situação", retratando incorretamente os quenches como sendo universalmente controlados pela entropia de Yang-Yang e pequenas flutuações em torno de um ponto de sela.

Ao demonstrar que os overlaps possuem "significativamente mais estrutura" do que se pensava anteriormente — especificamente, que não são funções suaves de $\rho(k)$ — o artigo sugere que o equilíbrio de sistemas integráveis pode ser muito mais complexo. O autor postula que essas possibilidades singulares podem necessitar de "novos formalismos e novas abordagens teóricas" para entender como, e se, tais sistemas se equilibram para um GGE. O trabalho não propõe um novo formalismo, mas sim identifica uma lacuna crítica na compreensão teórica atual da dinâmica fora do equilíbrio de sistemas integráveis.