A discrete Smorodinsky--Winternitz II superintegrable system

Resumo Técnico: Um Sistema Superintegrável de Smorodinsky–Winternitz II Discreto

Enunciado do Problema
O sistema Smorodinsky–Winternitz II é um conhecido potencial superintegrável bidimensional caracterizado por um oscilador anisotrópico 2:1 com uma barreira centrífuga. Ele admite dois integrais de movimento independentes de segunda ordem correspondentes à separação de variáveis em coordenadas cartesianas e parabólicas, fechando em uma álgebra polinomial. Embora o sistema contínuo seja bem compreendido, este artigo aborda a construção de um análogo discreto finito deste sistema. O objetivo é definir um modelo em uma rede quadrada bidimensional que preserve as características algébricas e espectrais essosas do sistema contínuo, especificamente sua superintegrabilidade máxima e sua solvabilidade exata, sem servir meramente como uma aproximação de diferenças finitas das equações de movimento.

Metodologia
Os autores constroem o modelo em uma região triangular $R(N)$ da rede quadrada bidimensional, definida por $0 \le x_1 + x_2 \le N$. A metodologia procede através dos seguintes passos:

1. Construção de Operadores: O Hamiltoniano é definido como a soma de dois operadores de número de diferenças finitas, $N_1$ e $N_2$, mais uma constante. Esses operadores são explicitamente construídos para serem autoadjuntos em relação a uma função de peso positiva específica $w(x_1, x_2)$ e para preservar o espaço de funções no domínio triangular.
2. Operadores de Escada: Um par de operadores de aniquilação e criação ($a_i, a_i^\dagger$) é derivado para cada operador de número. Eles são expressos como combinações lineares de operadores de diferenças finitas. Seus coeficientes são determinados pela resolução de um sistema linear não homogêneo derivado das relações de comutação $[N_i, a_j] = -\delta_{ij}a_j$.
3. Análise de Simetria: Os autores identificam operadores de simetria algebricamente independentes, $C_1$ e $C_2$, construídos a partir dos operadores de número e dos anticomutadores dos operadores de escada. Eles verificam que esses operadores comutam com o Hamiltoniano e analisam a estrutura algébrica formada pelo conjunto $\{H, C_1, C_2, C_3\}$, onde $C_3 = [C_1, C_2]$.
4. Solução Espectral: O problema espectral é resolvido identificando os autofunções dos operadores de número. Os autores utilizam a teoria conhecida de polinômios ortogonais multivariados, especificamente ligando o modelo ao par de Leonard $A_2$ fatorizado.
5. Limite Contínuo: Um limite contínuo rigoroso é realizado escalonando o tamanho da rede $N \to \infty$ e reescalonando as coordenadas. Isso envolve analisar o comportamento assintótico dos operadores, da função de peso e da estrutura das constantes de estrutura da álgebra.

Principais Contribções e Resultados

• Solvabilidade Exata: O problema espectral é resolvido exatamente. As autofunções são identificadas como polinômios ortogonais bivariados do tipo Tratnik, que fatorizam em um polinômio de Krawtchouk (associado a $N_1$) e um polinômio de Hahn dual (associado a $N_2$). O espectro é finito e não degenerado dentro do domínio triangular.
• Superintegrabilidade Máxima: O modelo é provado ser maximamente superintegrável, possuindo três integrais de movimento independentes em duas dimensões ($H, C_1, C_2$).
• Álgebra de Simetria (Discreta): A álgebra de simetria é mostrada como uma álgebra cúbica. Crucialmente, os autores demonstram que esta álgebra admite uma apresentação de Hahn. Esta estrutura algébrica explica o aparecimento dos polinômios de Hahn dual na solução espectral.
• Limite Contínuo dos Operadores: Sob o escalonamento apropriado, o Hamiltoniano discreto, os operadores de escada e as autofunções convergem para seus equivalentes contínuos. As autofunções tornam-se produtos de polinômios de Hermite e Laguerre, recuperando a representação de Schrödinger padrão do sistema Smorodinsky–Winternitz II contínuo.
• Degeneração Algébrica: Uma descoberta significativa é o comportamento da álgebra de simetria no limite contínuo. Enquanto a álgebra discreta admite uma apresentação de Hahn, esta apresentação torna-se singular quando $N \to \infty$. As constantes de estrutura associadas à forma de Hahn divergem ou desaparecem de uma maneira que destrói a estrutura de Hahn. Em vez disso, os operadores de simetria limites fecham na álgebra de Laguerre–Heun, que é naturalmente associada à separação de variáveis cartesiana e parabólica do sistema contínuo.

Significância
O artigo afirma que esta construção fornece uma "realização finita genuína" do sistema Smorodinsky–Winternitz II, em vez de uma mera discretização de suas equações diferenciais. A principal significância reside na visão algébrica fornecida pelo limite contínuo:

1. Origem Discreta de Álgebras Contínuas: O trabalho estabelece uma ligação direta entre modelos superintegráveis finitos e álgebras de simetria contínuas. Demonstra como a álgebra de Laguerre–Heun, que governa o sistema contínuo, emerge naturalmente como o limite de uma álgebra de Hahn discreta.
2. Estabilidade de Estrutura vs. Apresentação: O artigo destaca que, embora os operadores físicos e a estrutura superintegrável sejam estáveis sob o limite contínuo, a apresentação algébrica específica (Hahn vs. Laguerre–Heun) não o é. A apresentação de Hahn está ligada à normalização da rede finita e não sobrevive à transição para o contínuo.
3. Extensão da Teoria da Superintegrabilidade: Juntamente com um artigo complementar sobre o sistema Smorodinsky–Winternitz I, este trabalho reforça a noção de que modelos discretos finitos podem preservar as características principais da superintegrabilidade, incluindo a solvabilidade exata, estruturas de escada e álgebras de simetria específicas, oferecendo uma origem discreta para álgebras anteriormente estudadas apenas no cenário contínuo.

Os autores concluem que estes resultados fornecem um arcabouço para investigar outros sistemas superintegráveis finitos associados a polinômios ortogonais multivariados e suas estruturas algébicas subjacentes.