The prospect of realizing highly entangled states on quantum processors with fundamentally different hardware geometries raises the question: to what extent does a state of a quantum spin system have an intrinsic geometry? In this paper, we propose that both states and dynamics of a spin system have a canonically associated coarse geometry, in the sense of Roe, on the set of sites in the thermodynamic limit. For a state $Ï$ on an (abstract) spin system with an infinite collection of sites $X$, we define a universal coarse structure $\mathcal{E}_Ï$ on the set $X$ with the property that a state has decay of correlations with respect to a coarse structure $\mathcal{E}$ on $X$ if and only if $\mathcal{E}_Ï\subseteq \mathcal{E}$. We show that under mild assumptions, the coarsely connected completion $(\mathcal{E}_Ï)_{con}$ is stable under quasi-local perturbations of the state $Ï$. We also develop in parallel a dynamical coarse structure for arbitrary quantum channels, and prove a similar stability result. We show that several order parameters of a state only depend on the coarse structure of an underlying spatial metric, and we establish a basic compatibility between the dynamical coarse structure associated to a quantum circuit $α$ and the coarse structure of the state $Ï\circ α$ where $Ï$ is any product state.
- ID del artículo: 2411.07912
- Título: Universal coarse geometry of spin systems
- Autores: Ali Elokl (North Carolina State University), Corey Jones (North Carolina State University)
- Clasificación: quant-ph math-ph math.MG math.MP
- Fecha de publicación: 30 de diciembre de 2024 (arXiv v2)
- Enlace del artículo: https://arxiv.org/abs/2411.07912
Este artículo explora la perspectiva de implementar estados altamente entrelazados en procesadores cuánticos con geometrías de hardware fundamentalmente diferentes, planteando una pregunta central: ¿en qué medida los estados de sistemas de espín cuántico poseen una estructura geométrica intrínseca? Los autores proponen que, en el límite termodinámico, tanto los estados como la dinámica de sistemas de espín poseen una estructura geométrica coarse canónicamente asociada. Para estados de sistemas de espín abstractos φ sobre conjuntos infinitos X, los autores definen una estructura coarse universal E_φ tal que un estado tiene decaimiento de correlaciones respecto a la estructura coarse E si y solo si E_φ ⊆ E. Bajo supuestos moderados, la completación coarse-conexa (E_φ)_con permanece estable bajo perturbaciones cuasilocalales del estado.
El problema central de este artículo surge de los avances recientes en experimentos de información cuántica: cuando se implementan estados topológicamente ordenados altamente entrelazados en procesadores cuánticos, la geometría del hardware del procesador puede ser incompatible con la geometría del modelo teórico. Por ejemplo, implementar el estado fundamental de un líquido de espín 3D en hardware 2D requiere esquemas de codificación no-local. Esto plantea una pregunta fundamental: ¿existe un sentido matemático preciso en el cual la "geometría correcta" utilizada para definir parámetros de orden basados en entrelazamiento en sistemas de espín es una propiedad intrínseca del estado?
- Necesidad teórica impulsada por experimentos: Los experimentos recientes en procesadores cuánticos implementando estados topológicamente ordenados indican la necesidad de un marco teórico para comprender las propiedades geométricas intrínsecas de los estados
- Fundamentos teóricos de la equivalencia de fases cuánticas: Tradicionalmente, las fases cuánticas se definen mediante caminos hamiltonianos, pero la perspectiva de información cuántica ha promovido definiciones de equivalencia basadas en estados
- Abstracción de la localidad: La localidad en sistemas físicos se manifiesta a través del decaimiento de funciones de correlación con la distancia, concepto que depende únicamente de la geometría a gran escala de la métrica
- Los métodos tradicionales dependen de estructuras geométricas espaciales predeterminadas
- Carencia de un marco sistemático para extraer información geométrica del estado mismo
- Falta de orientación teórica para problemas de compatibilidad con diferentes geometrías de hardware
- Teoría de estructura coarse universal: Define una estructura coarse universal E_f para cualquier función f: X×X → R⁺ tal que f tiene decaimiento controlado respecto a la estructura coarse E si y solo si E_f ⊆ E
- Estructura coarse de correlaciones: Define la estructura coarse de correlaciones E_φ y su versión de orden superior E_φ̃ para estados φ de sistemas de espín cuántico, caracterizando las propiedades geométricas intrínsecas del estado
- Estructura coarse dinámica: Define la estructura coarse dinámica E_α para canales cuánticos α, proporcionando una caracterización intrínseca de la localidad dinámica
- Teorema de estabilidad: Demuestra que bajo condiciones apropiadas, (E_φ)_con y (E_α)_con permanecen estables bajo perturbaciones cuasilocalales
- Dependencia coarse de parámetros de orden: Demuestra que parámetros de orden importantes como sectores de superselección e índices críticos dependen únicamente de la clase de equivalencia coarse de la métrica
- Complejidad de preparación de estados: Establece relaciones de compatibilidad de estructura coarse entre circuitos cuánticos para preparar estados y los propios estados
Definición 2.1: Una red de C*-álgebras discreta contiene:
- Un conjunto contable X (puntos de red)
- Un C*-álgebra unitaria A (álgebra cuasilocalal)
- Para cada subconjunto finito F⊆X, una subálgebra unitaria A_F⊆A (álgebra localizada)
Satisfaciendo las condiciones:
- Si F⊆G, entonces A_F⊆A_G
- Si F∩G=∅, entonces A_F, A_G=0
- ⋃_{F∈F(X)}A_F es denso en A
Definición 3.1: Una estructura coarse E en el conjunto X es una familia de subconjuntos de X×X satisfaciendo:
- Contiene la diagonal, es cerrada bajo subconjuntos y uniones finitas
- Si E∈E, entonces E⁻¹∈E
- Si E,F∈E, entonces E∘F∈E
Construcción central:
Para una función f: X×X → R⁺∪{∞}, se define:
- E_{f,ε} := {(x,y) ∈ X×X : f(x,y) ≥ ε}
- E_f := ⋃{ε>0} ⟨E{f,ε}⟩
Definición 4.13: Para un estado φ, se define la función de correlación de dos puntos:
Cφ(x,y)=supa∈(Ax)1,b∈(Ay)1‖φ(ab)−φ(a)φ(b)‖
Función de correlación de orden superior:
C~φ(F,G)=supa∈(AF)1,b∈(AG)1‖φ(ab)−φ(a)φ(b)‖
La estructura coarse de correlaciones se define como: E_φ := E_{C_φ}, E_φ̃ := E_{\tilde{C}_φ}
Definición 4.23: Para un canal cuántico α: A→A, se define la función de cola:
Qα(x,y):=supa∈(Ax)1,b∈(Ay)1‖[α(a),b]‖
Estructura coarse dinámica: E_α := E_{Q_α}
Teorema 4.2: Para cualquier función f: X×X → R⁺∪{∞}, existe una estructura coarse E_f tal que: f tiene decaimiento controlado respecto a la estructura coarse E si y solo si E_f ⊆ E.
Teorema 5.3 (Estabilidad de estructura coarse de correlaciones): Sea φ: A→B un mapa ucp, y E_φ sea genuina y monogenerada. Entonces para cualquier perturbación cuasilocalal Ψ: A→A, se tiene (E_{φ∘Ψ}) = (E_φ).
Teorema 5.7 (Estabilidad de estructura coarse dinámica): Resultados de estabilidad análogos se cumplen para la estructura coarse dinámica.
Teorema 1.5: Si φ es un estado y α es un circuito que prepara φ desde un estado producto, entonces E_φ̃ ⊆ E_α̃.
Esto significa que preparar un estado con cierta complejidad coarse requiere un circuito de al menos la misma complejidad.
Proposición 7.6: Las definiciones de longitud de correlación cero, longitud de correlación finita e infinita dependen únicamente de la clase de cuasi-equivalencia de la métrica.
Proposición 7.10: Las funciones de correlación con decaimiento algebraico y los índices críticos son independientes de la clase de cuasi-equivalencia de la métrica.
- Estados fundamentales de hamiltonianos con brecha: Poseen funciones de correlación con decaimiento exponencial
- Estados de equilibrio: Estados de Gibbs o KMS a temperaturas bajas y altas poseen decaimiento controlado
- Autómatas celulares cuánticos: La estructura coarse dinámica recupera la geometría original
- Sistemas de espín en grafos de Cayley: La estructura coarse de estados de factor invariantes por traslación está contenida en la estructura coarse del grupo
Definición 7.3: Una representación en espacio de Hilbert H satisface el criterio de superselección coarse en (X,d) si para cualquier tripleta L,C,D, existe una constante R≥0 tal que para cualquier cono coarse L,C,D f: D→X, H es localizables en f(D)+R.
Proposición 7.4:
- Si d' es cuasi-isométrica a d, entonces Sec^d_φ = Sec^{d'}_φ
- Si (X,d) = Z^n, entonces Sec^d_φ = Sec_φ
- Innovación teórica: Primera aplicación sistemática de la teoría de geometría coarse a sistemas cuánticos de muchos cuerpos, proporcionando un marco matemático riguroso para las propiedades geométricas intrínsecas de estados
- Universalidad: El marco es aplicable a sistemas clásicos y cuánticos, así como a estructuras algebraicas más complejas
- Garantías de estabilidad: Demuestra la estabilidad de estructuras coarse bajo perturbaciones físicamente relevantes, proporcionando garantías teóricas para aplicaciones prácticas
- Viabilidad computacional: Proporciona métodos para estimar estructuras coarse en sistemas finitos mediante dimensión asintótica y funciones de crecimiento
- Perspectivas profundas: Revela que muchas propiedades "universales" son en realidad propiedades de geometría coarse, proporcionando nueva perspectiva a la teoría del grupo de renormalización
- Restricciones de practicidad: El marco teórico es principalmente aplicable al límite termodinámico, requiriendo desarrollo adicional para aplicaciones a sistemas finitos
- Complejidad computacional: Determinar completamente la estructura coarse puede ser computacionalmente complejo en la práctica, requiriendo desarrollo de algoritmos eficientes
- Intuición física: El marco matemático altamente abstracto puede ser difícil de conectar directamente con la intuición física
- Verificación experimental: Los métodos para verificación experimental de predicciones teóricas aún no están completamente desarrollados
- Física teórica: Proporciona nuevas herramientas matemáticas para la clasificación de fases en física de materia condensada y fenómenos críticos
- Información cuántica: Proporciona orientación teórica para la compatibilidad geométrica en la implementación de estados en procesadores cuánticos
- Física matemática: Establece conexiones profundas entre la teoría de álgebras de operadores y la geometría coarse
- Impacto interdisciplinario: Los métodos pueden ser aplicables a teoría de redes, análisis topológico de datos y otros campos
- Simulación cuántica: Guiar la implementación de estados cuánticos objetivo en diferentes geometrías de hardware
- Clasificación de fases: Clasificación de fases cuánticas basada en geometría coarse
- Fenómenos críticos: Estudio de propiedades universales cerca de puntos críticos
- Computación cuántica topológica: Comprensión de la dependencia geométrica del orden topológico
Este artículo establece una teoría matemática rigurosa de la estructura geométrica intrínseca de estados y dinámicas de sistemas de espín cuántico. A través del marco de geometría coarse, los autores demuestran que muchas propiedades físicas importantes dependen únicamente de la estructura geométrica a gran escala, no de los detalles métricos específicos. Esta teoría no solo proporciona una nueva perspectiva para comprender sistemas cuánticos de muchos cuerpos, sino que también proporciona soluciones a problemas de compatibilidad geométrica en el procesamiento de información cuántica.
Las direcciones de investigación futura incluyen:
- Desarrollo de métodos computacionales eficientes para estructuras coarse en sistemas finitos
- Establecimiento de conexiones con herramientas de análisis topológico de datos como cohomología persistente
- Exploración de aplicaciones del marco de geometría coarse en teoría cuántica de campos
- Desarrollo de teoría de clasificación de fases cuánticas basada en geometría coarse
Este trabajo abre nuevas direcciones para investigación interdisciplinaria entre física matemática e información cuántica, poseyendo importante valor teórico e importancia práctica potencial.