A pedagogical derivation of the first-order effective Hamiltonian for the two-mode Jaynes-Cummings model

Resumo Técnico: Uma Derivação Pedagógica do Hamiltoniano Efetivo de Primeira Ordem para o Modelo de Jaynes–Cummings de Dois Modos

Enunciado do Problema
O modelo de Jaynes–Cummings (JCM) é um sistema fundamental para o estudo da interação luz-matéria quantizada, tipicamente formulado para uma única transição atômica acoplada a um único modo de campo. Embora o caso de modo único seja bem compreendido, plataformas experimentais modernas (como QED de circuito, íons aprisionados e QED de cavidade) frequentemente envolvem um sistema atômico único acoplado a múltiplos modos bosônicos. O JCM de dois modos, onde um átomo de dois níveis interage com dois modos de campo distintos, introduz uma complexidade matemática significativa. A diagonalização exata torna-se convoluta devido à competição entre os acoplamentos e à hibridização dos setores de excitação. A literatura existente frequentemente introduz métodos de Hamiltoniano efetivo (como a transformação de Schrieffer–Wolff) de uma maneira tecnicamente eficiente, mas pedagogicamente opaca, omitindo frequentemente etapas intermediárias e falhando em elucidar explicitamente a origem física das interações emergentes entre modos, como o acoplamento tipo divisor de feixe (beam-splitter) induzido pelo átomo.

Metodologia
O artigo apresenta uma derivação autossuficiente, passo a passo, do Hamiltoniano efetivo de primeira ordem para o JCM de dois modos no regime dispersivo. A metodologia procede da seguinte forma:

1. Transformação Unitária Perturbativa: Os autores empregam uma transformação unitária de "pequena rotação", intimamente relacionada ao método de Schrieffer–Wolff. Um operador unitário $\hat{S} = \exp(\hat{G})$ é construído, onde $\hat{G}$ é um gerador anti-hermitiano linear nos pequenos parâmetros $\epsilon_a$ e $\epsilon_b$.
2. Eliminação de Termos Não Ressonantes: A transformação é aplicada ao Hamiltoniano completo $\hat{H}$ para gerar um novo Hamiltoniano $\hat{H}' = \hat{S}^\dagger \hat{H} \hat{S}$. Ao expandir até primeira ordem nos pequenos parâmetros, os autores escolhem explicitamente $\epsilon_k = g_k / \Delta_k$ (onde $g_k$ é o acoplamento e $\Delta_k$ o detuning para o modo $k$) para cancelar todos os termos de troca de excitação átomo-campo não ressonantes ($\hat{a}\hat{\sigma}_+, \hat{a}^\dagger\hat{\sigma}_-$, etc.) em primeira ordem.
3. Derivação do Hamiltoniano Efetivo: Os termos restantes, mantidos até segunda ordem na razão acoplamento-detuning, resultam em um Hamiltoniano efetivo $\hat{H}_{\text{eff}}$. Este Hamiltoniano contém deslocamentos dispersivos diagonais (deslocamentos AC Stark) e um termo off-diagonal crucial que representa uma interação efetiva entre os dois modos de campo.
4. Diagonalização Geométrica: Reconhecendo que o termo off-diagonal forma um gerador de álgebra $su(2)$ (especificamente uma interação de divisor de feixe), os autores diagonalizam o Hamiltoniano efetivo usando um operador de rotação geométrica $\hat{R}(\theta)$ no espaço bosônico de dois modos. Esta rotação é dependente do estado, com o ângulo de rotação $\theta$ determinado pelo estado atômico ($|+\rangle$ ou $|-\rangle$) e pelos parâmetros do sistema.
5. Análise Dinâmica: A evolução temporal é analisada no referencial rotacionado (modos normais) para estados de Fock e estados coerentes. Os autores derivam expressões explícitas para os números de fótons dependentes do tempo e demonstram como a dinâmica é governada pelo desdobramento dos modos normais em vez das frequências de Rabi puras.

Principais Contribuições e Resultados

• Derivação Explícita da Interação de Divisor de Feixe: O artigo deriva o Hamiltoniano efetivo de primeira ordem, revelando um termo da forma $\frac{2g_a g_b}{\Delta_{ab}}(\hat{a}^\dagger\hat{b} + \hat{a}\hat{b}^\dagger)\hat{\sigma}_z$. Este termo representa uma interação de divisor de feixe induzida pelo átomo entre os dois modos de campo, mediada inteiramente por excitações atômicas virtuais. Os autores enfatizam que esta interação não possui correspondente no JCM de modo único e surge exclusivamente da natureza multimodo do sistema.
• Modos Normais Dependentes do Estado: A diagonalização revela que os modos normais do sistema e suas frequências dependem explicitamente do estado atômico. O ângulo de rotação $\theta$ necessário para diagonalizar o Hamiltoniano exibe ramos distintos para os estados atômicos de solo e excitado, com variações agudas (cruzamentos evitados) ocorrendo quando o detuning efetivo entre os modos dispersivamente deslocados se aproxima de zero.
• Separação de Escalas Temporais: A análise demonstra que a dinâmica efetiva ocorre em uma escala de tempo $\tau_{\text{eff}} \sim 1/|\Omega_A - \Omega_B|$, que é parametricamente mais longa que o período de Rabi microscópico $1/g$. Isso confirma que o Hamiltoniano efetivo filtra com sucesso as oscilações rápidas átomo-campo, deixando apenas a mistura de modos lenta e condicionada pelo átomo.
• Clareza Pedagógica: Ao manter as etapas intermediárias e fornecer interpretações geométricas explícitas, o trabalho esclarece como processos virtuais remodelam a dinâmica do sistema. Os autores ilustram como o átomo atua como um elemento óptico linear sintonizável e dependente do estado que controla a mistura dos modos de campo.

Significância e Alegações
O artigo posiciona-se primariamente como um recurso pedagógico, em vez de um relatório de novas descobertas experimentais ou uma proposta de novas aplicações. Sua significância reside em:

• Acessibilidade: Fornece um caminho transparente do JCM básico de modo único para suas extensões multimodo, tornando a técnica de Hamiltonianos efetivos acessível a estudantes e instrutores.
• Insight Físico: Conecta explicitamente o formalismo matemático das transformações perturbativas à intuição física, mostrando especificamente como processos virtuais geram acoplamentos efetivos e como rotações geométricas no espaço de Hilbert simplificam dinâmicas complexas.
• Ferramenta Fundamental: Os autores alegam que o JCM dispersivo de dois modos serve como um "laboratório" ideal para introduzir métodos de Hamiltoniano efetivo, transformações $su(2)$ e o conceito de escalas de tempo emergentes. Eles afirmam que esta abordagem se generaliza diretamente para configurações multimodo mais complexas encontradas na óptica quântica moderna e na ciência da informação quântica, oferecendo uma base robusta para a compreensão de interações mediadas por átomos em sistemas de QED de circuito e íons aprisionados.

O trabalho não alega descobrir novos fenômenos físicos, mas sim desmistificar a derivação e a interpretação de interações efetivas conhecidas, garantindo que o significado físico de termos como o acoplamento de divisor de feixe induzido pelo átomo seja tornado explícito para fins educacionais.