A counterexample to Fermi isospectral rigidity for two dimensional discrete periodic Schrödinger operators

Usando certificação numérica, este artigo demonstra a existência de um potencial periódico real não trivial em duas dimensões que é Fermi-isoespectral ao potencial nulo, refutando assim tanto a conjectura de rigidez de Fermi-isoespectrality quanto a conjectura de Gieseker, Knörrer e Trubowitz sobre a irredutibilidade da variedade de Fermi.

O essencial

Imagine que você está tentando entender como o som se comporta em uma sala gigante e vazia. No mundo da física matemática, os cientistas usam equações complexas (chamadas de operadores de Schrödinger) para prever como as ondas de energia se movem através de estruturas repetitivas, como um cristal ou uma grade infinita.

Neste artigo, os autores (Taylor Brysiewicz, Matthew Faust e Wencai Liu) deram um "soco" em uma teoria muito antiga e respeitada. Vamos explicar como eles fizeram isso usando analogias simples.

1. O Problema: A "Impressão Digital" da Energia

Imagine que cada potencial (uma espécie de "paisagem" de energia onde as partículas andam) tem uma impressão digital única. Essa impressão digital é chamada de Variedade de Fermi. É como se fosse a lista de todas as "frequências" ou "cores" de energia que uma partícula pode ter naquele lugar.

• A Regra Antiga (A Rigidez): Durante décadas, os matemáticos acreditavam em uma regra de ouro para o mundo bidimensional (como um plano de papel infinito): "Se duas paisagens de energia têm a mesma impressão digital (são 'isospectrais') em uma certa energia, então elas devem ser exatamente a mesma paisagem."
• A Pergunta: Se você encontrar uma paisagem que tem a mesma impressão digital que o "vazio" (onde não há nada, potencial zero), essa paisagem é realmente vazia? Ou será que existe uma paisagem complexa e cheia de "montanhas e vales" que, magicamente, parece vazia para quem olha de longe?

2. A Descoberta: O Camaleão Matemático

Os autores descobriram que a resposta é: Sim, existe um "camaleão".

Eles provaram que é possível construir uma paisagem de energia real, cheia de variações (não é zero), que tem exatamente a mesma impressão digital que o vazio absoluto em um nível de energia específico.

A Analogia do Camaleão:
Pense no potencial zero como um céu azul limpo e sem nuvens. A teoria antiga dizia que, se você vê um céu azul limpo, ele tem que ser o céu limpo.
Os autores encontraram um "camaleão" (um potencial complexo) que, quando você olha para ele através de uma lente específica (a energia zero), parece exatamente igual ao céu azul limpo. Mas, se você olhar de perto, verá que ele é cheio de texturas, cores e formas. Ele é um "fantasma" que se esconde atrás da aparência do vazio.

3. Como Eles Provaram Isso? (O Detetive Numérico)

Esse não foi um cálculo feito à mão com uma caneta. O problema é tão complexo que seria como tentar encontrar uma agulha em um palheiro que tem o tamanho de um planeta.

• O Sistema de Equações: Eles transformaram o problema em um quebra-cabeça de 15 peças (equações polinomiais).
• O Método de Homotopia (O "Rastreador"): Primeiro, eles usaram um algoritmo inteligente para "rastejar" por milhões de caminhos possíveis no universo matemático até encontrar um ponto aproximado onde o camaleão poderia existir. Foi como usar um GPS para encontrar uma cidade que ninguém sabia que existia.
• O Método de Krawczyk (O "Selo de Garantia"): Encontrar o ponto aproximado não era suficiente; poderia ser apenas um erro de arredondamento do computador. Para ter certeza absoluta, eles usaram uma técnica chamada Certificação Numérica (Método de Krawczyk).
  • Imagine isso assim: O computador diz: "Acho que a resposta está aqui". O Método de Krawczyk é como um juiz rigoroso que diz: "Eu vou cercar essa resposta com uma caixa de proteção matemática. Se eu provar que, dentro dessa caixa, a resposta é a única possível e é real, então o camaleão existe de verdade."
  • Eles rodaram esse teste duas vezes, em dois computadores diferentes (usando softwares diferentes), e ambos confirmaram: O camaleão existe!

4. Por Que Isso Importa?

Isso derruba duas crenças importantes:

1. Rigidez Quebrada: A ideia de que "somos únicos" (que a impressão digital define a paisagem) não é verdadeira em 2 dimensões. Existem "gêmeos" falsos.
2. Conjectura Errada: Nos anos 90, grandes matemáticos (Gieseker, Knörrer e Trubowitz) conjecturaram que, para potenciais reais em 2D, a impressão digital nunca poderia ser "quebrada" ou ter partes separadas, a menos que a paisagem fosse constante (vazia). Os autores provaram que essa conjectura está errada. A impressão digital pode se dividir, mesmo com uma paisagem real e complexa.

Resumo Final

Em linguagem simples: Os autores usaram computadores superpoderosos e técnicas matemáticas de "certificação" para encontrar um fantasma matemático. É uma estrutura de energia complexa e real que se disfarça perfeitamente como o "nada" (potencial zero) quando observada de uma certa maneira. Isso prova que, no mundo das equações de ondas em duas dimensões, as aparências podem enganar, e a rigidez que os matemáticos acreditavam existir não é real.

Eles não apenas encontraram o fantasma; eles provaram matematicamente que ele não é um erro de cálculo, mas uma realidade inegável.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "A COUNTEREXAMPLE TO FERMI ISOSPECTRAL RIGIDITY FOR TWO DIMENSIONAL DISCRETE PERIODIC SCHRÖDINGER OPERATORS", apresentado em português.

Título: Um Contraexemplo à Rigidez Isospectral de Fermi para Operadores de Schrödinger Periódicos Discretos Bidimensionais

Autores: Taylor Brysiewicz, Matthew Faust e Wencai Liu.

---

1. O Problema

O artigo aborda um problema fundamental na teoria espectral de operadores de Schrödinger discretos periódicos. O foco central é a rigidez da isospectralidade de Fermi.

• Definição de Isospectralidade de Fermi: Dois potenciais periódicos $X$ e $Y$ são ditos "isospectrais de Fermi" no nível de energia $\lambda_0$ se suas variedades de Fermi (o conjunto de quasimomentos $k$ para os quais existe uma solução não nula da equação de Schrödinger com energia $\lambda_0$) forem idênticas, ou seja, $F_{\lambda_0}(X) = F_{\lambda_0}(Y)$.
• O Contexto: Em dimensões $d \ge 3$, sabe-se (Teorema 1.1) que o único potencial real que é isospectral de Fermi ao potencial nulo ($V=0$) é o próprio potencial nulo. Isso é conhecido como um teorema de rigidez.
• A Questão Aberta (Pergunta 1): Em dimensão $d=2$, essa rigidez também se mantém? Ou seja, se um potencial real periódico $V$ em 2D é isospectral de Fermi ao potencial zero, é obrigatório que $V = 0$?
• A Conjectura de Gieseker, Knörrer e Trubowitz (1990s): Baseada na crença de que, para potenciais reais não constantes em 2D, a variedade de Fermi é irredutível em todos os níveis de energia (exceto possivelmente no nível médio), essa conjectura implicava que a rigidez deveria valer em 2D.

O objetivo do artigo é responder negativamente a essa pergunta e refutar a conjectura mencionada.

---

2. Metodologia

Os autores utilizam uma abordagem combinada de álgebra computacional e certificação numérica rigorosa para provar a existência de um contraexemplo.

A. Formulação Algébrica

1. Matrizes de Floquet: O problema é reformulado utilizando matrizes de Floquet. Para um potencial periódico com período $3\mathbb{Z} \times 5\mathbb{Z}$, o operador de Schrödinger discreto$\Delta + V$é restrito a um domínio fundamental, gerando uma matriz$D_V(z)$de tamanho$15 \times 15$(onde$z_1, z_2$ são variáveis relacionadas às condições de contorno de Floquet).
2. Condição de Isospectralidade: Pelo Lema 2.1, $V$ é isospectral de Fermi a $0$em$\lambda=0$se e somente se$\det(D_V(z)) = \det(D_0(z))$.
3. Sistema Polinomial: A igualdade dos determinantes é expandida. Como o determinante é um polinômio em $z_1, z_2$, a igualdade implica que os coeficientes de todos os monômios devem ser iguais. Isso gera um sistema de equações polinomiais $F = \{f_1, \dots, f_{14}\} = 0$ em 15 variáveis (os valores do potencial $v_{i,j}$).
   • O sistema original tem 14 equações e 15 variáveis.
   • Para aplicar métodos de certificação, os autores adicionam uma equação linear extra (fixando uma variável próxima a um valor candidato) para tornar o sistema quadrado (15 equações, 15 variáveis).

B. Busca de Solução Aproximada

• Devido à alta complexidade do sistema (graus polinomiais altos, com o máximo sendo 15), o número de soluções complexas (teorema de Bézout) é da ordem de $4,5$ bilhões. Resolver o sistema completo numericamente levaria décadas.
• Os autores utilizam uma abordagem de avaliação preguiçosa (lazy-evaluation) com iteradores de homotopia (implementados no pacote HomotopyContinuation.jl em Julia).
• Em vez de encontrar todas as soluções, o algoritmo rastreia caminhos de homotopia um por um até encontrar uma solução real não trivial. Isso foi alcançado após rastrear cerca de 142.000 caminhos (levando ~400 minutos).

C. Certificação Numérica (Método de Krawczyk)

• Uma solução numérica aproximada ($V^*$) não constitui uma prova matemática devido a erros de arredondamento.
• Para provar a existência de uma solução exata, os autores aplicam o Método de Krawczyk.
• Este método utiliza aritmética intervalar para construir uma caixa (intervalo) em torno da solução aproximada $V^*$.
• O algoritmo verifica se o operador de Newton associado ao sistema contrai essa caixa em seu interior. Se confirmado, o Teorema do Ponto Fixo de Banach garante a existência de uma única solução real não singular dentro dessa caixa.
• A certificação foi realizada de forma independente em duas plataformas:
  1. Macaulay2 (com o pacote NumericalCertification).
  2. Julia (com o pacote HomotopyContinuation.jl).
• Ambas as implementações confirmaram a existência de uma solução real não trivial.

---

3. Principais Contribuições e Resultados

O artigo estabelece os seguintes teoremas principais:

1. Teorema 1.2 (Contraexemplo à Rigidez): Existe um potencial real não trivial, periódico em $3\mathbb{Z} \times 5\mathbb{Z}$, que é isospectral de Fermi ao potencial zero no nível de energia$\lambda = 0$.

   • Isso responde negativamente à Pergunta 1 de Liu (2020), provando que a rigidez falha em dimensão 2.

2. Teorema 1.4 (Refutação da Conjectura): Existe um potencial real periódico não constante em $\mathbb{Z}^2$ tal que a variedade de Fermi $F_\lambda(V)/\mathbb{Z}^2$ é redutível para algum nível de energia $\lambda$.

   • Isso refuta a Conjectura 1 de Gieseker, Knörrer e Trubowitz (1990s), que afirmava que a variedade de Fermi seria irredutível para potenciais reais não constantes (sob certas condições de período).

3. Construção Explícita: Os autores fornecem uma matriz de valores numéricos para o potencial $V^*$ (aproximado) e provam rigorosamente a existência de uma solução exata $\tilde{V}$ próxima a ela.

   • O potencial encontrado tem média zero ($[V]=0$), o que é consistente com a condição de isospectralidade ao potencial zero.

---

4. Significado e Impacto

• Quebra de Paradigma em 2D: O resultado demonstra que o comportamento espectral em dimensão 2 é fundamentalmente diferente e menos rígido do que em dimensões superiores ($d \ge 3$). A isospectralidade de Fermi não é suficiente para determinar unicamente o potencial zero em 2D.
• Implicações para a Teoria de Bandas: A descoberta de que a variedade de Fermi pode ser redutível para potenciais reais não constantes tem implicações diretas na teoria de bandas de energia, na existência de autovalores embutidos e nas propriedades de transporte em materiais cristalinos.
• Avanço em Métodos Computacionais: O trabalho serve como um marco na aplicação de certificação numérica (especificamente o método de Krawczyk combinado com homotopia) para problemas de física matemática onde soluções analíticas fechadas são impossíveis de obter. Ele demonstra como provar a existência de objetos matemáticos complexos usando computadores com garantias de precisão rigorosa.
• Relevância para a Conjectura de Gieseker-Knörrer-Trubowitz: Ao fornecer um contraexemplo explícito, o artigo encerra um debate de décadas sobre a irredutibilidade das variedades de Fermi para potenciais reais em 2D, mostrando que a conjectura é falsa em geral, embora possa valer para subclasses específicas (como potenciais separáveis).

Em resumo, o artigo utiliza técnicas de álgebra computacional de ponta para provar que a rigidez espectral, válida em dimensões altas, falha em duas dimensões, desafiando intuições estabelecidas na física matemática e na teoria espectral.