One-Particle Density Matrix Framework for Mode-Shell Correspondence: Characterizing Topology in Amorphous Higher-Order Topological Insulators

Resumo Técnico: Uma Estrutura de Matriz de Densidade de Uma Partícula para a Correspondência Modo-Casca em Isolantes Topológicos de Ordem Superior Amorfos

Definição do Problema
A caracterização de fases topológicas, particularmente isolantes topológicos de ordem superior (HOTIs), baseia-se tradicionalmente em Hamiltonianos e invariantes no espaço de momentos (ex: números de Chern, loops de Wilson). No entanto, a topologia é fundamentalmente uma propriedade do próprio estado quântico, não meramente do Hamiltoniano que o gera. Isso impõe desafios para sistemas que carecem de invariância de translação, como matéria amorfa ou desordenada, onde as definições no espaço de momentos falham. Além disso, distinguir entre HOTIs "intrínsecos" (onde a topologia do bulk impõe modos de borda independentemente da terminação) e HOTIs "extrínsecos" (onde os modos dependem de terminações de borda específicas) permanece difícil em configurações desordenadas. Métodos existentes frequentemente requerem um Hamiltoniano subjacente, limitando sua aplicabilidade a estados interagentes ou geometrias desordenadas complexas onde uma descrição simples por Hamiltoniano pode estar obscurecida ou indisponível.

Metodologia
Os autores propõem uma estrutura baseada inteiramente na matriz de densidade de uma partícula ($\rho$), que codifica todas as correlações de uma partícula única de um estado Gaussiano de muitos corpos. O núcleo de sua abordagem é uma reformulação da correspondência modo-casca, originalmente definida para Hamiltonianos de partícula única, diretamente em termos de $\rho$.

1. Formalismo da Matriz de Densidade: O estudo utiliza a matriz de densidade de uma partícula de Bogoliubov–de Gennes (BdG), $\rho$, que é um projetor sobre bandas ocupadas para estados Gaussianos com gap. A estrutura assume que $\rho$ é exponencialmente localizada no espaço real.
2. Índice de Modo ($I_{\text{mode}}$): Definido ao restringir $\rho$ a uma região espacial $A$ que contém uma borda (ex: uma extremidade de cadeia ou canto). O índice conta modos zero quirais somando as contribuições de autovalores $\lambda$ da matriz restrita $\rho_A$ que são maximamente emaranhados ($\lambda \approx 1/2$) através da borda de $A$.
   $$I_{\text{mode}} = 4\text{Tr}((\rho_A - \rho_A^2)\theta C)$$
   onde $C$ é o operador de simetria quiral e $\theta$ é uma função de corte suave.
3. Índice de Casca ($I_{\text{shell}}$): Para isolar a topologia do bulk das correlações de borda triviais, os autores introduzem uma região de "casca" $A_{\text{shell}} \subset A$ que envolve os modos de borda, mas é separada da borda física por uma distância maior que o comprimento de correlação. O índice da casca é derivado ao reescrever o índice de modo como um comutador localizado nesta casca:
   $$I_{\text{shell}} = -2\text{Tr}(C\rho_A[\rho_A, \theta])$$
   Em uma dimensão, isso reduz-se ao marcador quiral local, recuperando o número de enrolamento (winding number) no limite de invariância de translação.
4. Aplicação a Sistemas Desordenados: Os autores aplicam este formalismo ao modelo Benalcazar-Bernevig-Hughes (BBH), um HOTI com simetria $C_4$. Eles geram estruturas amorfas perturbando uma rede quadrada com ruído Gaussiano, enquanto impõem a simetria de rotação $C_4$ através de um esquema de replicação e rotação de quatro dobras. Os índices são computados diretamente no espaço real sem referência ao espaço de momentos.

Principais Contribções e Resultados

• Caracterização Independente de Hamiltoniano: O artigo estabelece que a correspondência modo-casca pode ser derivada unicamente da matriz de densidade de uma partícula. Isso permite a caracterização de fases topológicas diretamente a partir do estado quântico, aplicável tanto a sistemas não interagentes quanto interagentes (desde que o espectro de ocupação permaneça com gap).
• Diagnóstico de Intrínseco vs. Extrínseco: Ao aplicar a estrutura ao modelo BBH 2D, os autores demonstram que o índice de casca fornece um diagnóstico da natureza do HOTI. Eles mostram que um índice de modo ímpar leva a contribuições de meio-inteiro para o índice de casca em cada interseção de borda relacionada por simetria (ex: cantos). Essa quantização fracionária implica que a fase é intrínseca, pois não pode ser trivializada alterando as terminações de borda. Inversamente, um índice de modo par produz contribuições inteiras, que podem corresponder a fases extrínsecas.
• Robustez em Matéria Amorfa: A estrutura é aplicada com sucesso a estruturas amorfas com simetria $C_4$. Embora o desordem estrutural aumente o comprimento de localização dos modos de borda e introduza contribuições locais de bulk para a densidade do índice de casca, o índice de casca total permanece quantizado (aproximando-se de 1.0 em seus exemplos numéricos). Os autores mostram que as contribuições do bulk se cancelam ao realizar a média sobre grandes distâncias, confirmando que a correspondência modo-casca permanece um diagnóstico válido na ausência de invariância de translação.
• Generalização para Estados Interagentes: Os autores observam que, se um estado interagente possui uma matriz de densidade de uma partícula com gap, ele pode ser adiabaticamente achatado em um projetor. A correspondência modo-casca aplicada a esta matriz achatada define a topologia do estado interagente, estendendo a utilidade do método além de estados Gaussianos.

Significância e Alegações
O artigo alega fornecer uma "rota prática e diversa" para caracterizar a topologia de ordem superior diretamente do estado quântico, contornando a necessidade de um Hamiltoniano subjacente. Sua principal significância reside na:

1. Universalidade: A capacidade de definir invariantes topológicos para sistemas sem simetria de translação (amorfo/desordenado) e para sistemas interagentes com espectros com gap.
2. Visão Centrada no Estado: Reforçar que a topologia é uma propriedade do próprio estado, codificada na matriz de densidade de uma partícula.
3. Poder Diagnóstico: Oferecer um método concreto para distinguir fases de ordem superior intrínsecas de extrínsecas através da quantização fracionária do índice de casca, uma distinção difícil de fazer em sistemas desordenados usando indicadores tradicionais.

Os autores concluem que, embora o índice de casca não seja um invariante de bulk em dimensões superiores (ao contrário do caso em 1D, onde equivale ao número de enrolamento), ele serve como um diagnóstico de borda robusto que generaliza a correspondência modo-casca para fases topológicas complexas, desordenadas e interagentes.