Indescibilidad de la brecha espectral

Área de la Ciencia:

• Física cuántica de muchos cuerpos
• Teoría de la complejidad computacional

Sus antecedentes:

• La brecha espectral, la diferencia de energía entre los estados básicos y excitados, es crucial para comprender los sistemas cuánticos.
• Muchos problemas significativos en física, incluida la conjetura de Haldane y las fases topológicas, giran en torno a las brechas espectrales.

Objetivo del estudio:

• Determinar la determinabilidad del problema de la brecha espectral para sistemas cuánticos de muchos cuerpos.
• Investigar las implicaciones de la indecidibilidad para otras propiedades de baja energía.

Principales métodos:

• Construcción de sistemas de espín cuántico en una red 2D con tipos específicos de interacción.
• Utilizando la complejidad hamiltoniana y las baldosas aperiódicas.
• Codificación de un algoritmo de estimación de fase cuántica y una máquina de Turing universal dentro del estado fundamental del sistema.

Principales resultados:

• Se ha demostrado que el problema de la brecha espectral para los sistemas de espín cuántico con interacciones de vecino más cercano y traduccionalmente invariantes es indecidible.
• Esta indecidibilidad se extiende a otras propiedades de baja energía como el decaimiento de correlación de estado fundamental.
• La determinación de la brecha espectral está vinculada al resultado del problema de detención.

Conclusiones:

• No existe un algoritmo universal para determinar si un modelo cuántico arbitrario tiene o no brechas.
• Ciertos modelos cuánticos exhiben propiedades de brecha espectral independientes de los axiomas matemáticos.