We present an improved version of the algorithm contracting and optimizing finite projected entangled pair states (fPEPS) in conjunction with projected entangled pair operators (PEPOs). Our work has two components to it. First, we explain in detail the characteristic contraction patterns that occur in fPEPS calculations and how to slice them such that peak memory occupation remains minimal while ensuring efficient parallel computation. Second, we combine controlled bond expansion [A. Gleis, J.-W. Li, and J. von Delft, Phys. Rev. Lett. 130, 246402 (2023)] with randomized singular value decomposition [V. Rokhlin, A. Szlam, and M. Tygert, SIAM J. Matrix Anal. Appl. (2009)] and apply it throughout the fPEPS algorithm. We present benchmark results for the Hubbard model for system sizes up to 8x8 and SU(2) symmetric bond dimension of up to D = 6 for PEPS bonds and $Ï$ = 500 for the environment bonds. Finally, we comment on the state and future of the fPEPS-PEPO framework.
- ID del Artículo: 2511.01039
- Título: Improved contraction of finite projected entangled pair states
- Autor: Markus Scheb (Ludwig-Maximilians-University Munich)
- Clasificación: cond-mat.str-el (Sistemas electrónicos fuertemente correlacionados)
- Fecha de Publicación: 4 de noviembre de 2025
- Enlace del Artículo: https://arxiv.org/abs/2511.01039
Este artículo propone algoritmos mejorados de contracción y optimización para estados de pares entrelazados proyectados finitos (fPEPS) y operadores de pares entrelazados proyectados (PEPO). El trabajo comprende dos componentes principales: (1) explicación detallada de los patrones de contracción característicos que aparecen en cálculos de fPEPS, y cómo segmentarlos para minimizar el consumo máximo de memoria y garantizar computación paralela eficiente; (2) combinación de expansión de enlace controlado (CBE) con descomposición de valores singulares aleatoria (RSVD), aplicada al algoritmo completo de fPEPS. El artículo presenta resultados de evaluación comparativa para el modelo de Hubbard con tamaños de sistema de hasta 8×8, dimensión de enlace SU(2) D=6 (enlace PEPS) y χ=500 (enlace ambiental).
La simulación numérica de sistemas cuánticos de muchos cuerpos bidimensionales es un desafío fundamental en la física de la materia condensada. Aunque los sistemas unidimensionales pueden tratarse eficientemente mediante el grupo de renormalización de matriz de densidad (DMRG) y estados de productos matriciales (MPS), la generalización natural a dos dimensiones —estados de pares entrelazados proyectados (PEPS)— enfrenta dificultades computacionales severas.
- Investigación de física fundamental: Comprender fenómenos de correlación fuerte como la superconductividad de alta temperatura y líquidos de espín cuántico requiere simulación precisa de sistemas cuánticos bidimensionales
- Desafíos metodológicos: PEPS, debido a su estructura cíclica, sufre crecimiento exponencial en el costo de contracción tensorial, las expectativas de valor no pueden calcularse exactamente, y la optimización variacional tiene convergencia deficiente
- Necesidad práctica: Se requieren algoritmos imparciales capaces de manejar sistemas cuánticos bidimensionales de gran tamaño, no uniformes, con condiciones de frontera abierta
- PEPS infinito (iPEPS): Limitado a celdas unitarias pequeñas, incapaz de manejar sistemas grandes no uniformes
- Redes tensoriales isométricas: Aunque fáciles de manejar, limitadas a fases especiales (como líquidos de red de cuerdas)
- Implementaciones previas de fPEPS: Dimensión de enlace ambiental χ baja (250-350), resultando en inestabilidad numérica y convergencia deficiente, con errores de energía grandes
Basándose en trabajo anterior Ref. 31, el autor aborda dos cuellos de botella principales del algoritmo fPEPS:
- Cuello de botella de memoria: Los resultados intermedios de contracción tensorial alcanzan tamaño O(χ²(DwD)²), muy superior al de otros tensores almacenados
- Eficiencia computacional: El algoritmo 2s de optimización de enlace tiene costo excesivo, requiriendo métodos de costo 1s más eficientes
- Diseño de secuencia de contracción óptima: Explicación detallada del manejo óptimo de dos patrones de contracción dominantes en fPEPS, reduciendo memoria máxima mediante técnicas de mapeo de números cuánticos y segmentación, mientras se garantiza eficiencia de computación paralela
- Marco de fusión CBE-RSVD: Primera combinación de expansión de enlace controlado (CBE) con descomposición de valores singulares aleatoria (RSVD), aplicada a aproximación ambiental y minimización de energía, reduciendo costo computacional de 2s a 1s
- Simulación de mayor fidelidad: Elevación de dimensión de enlace ambiental de χ=250-350 a χ=500, logrando en el modelo de Hubbard:
- Red 4×4: error de energía relativa <1% (un período de barrido completo)
- Red 6×6: error reducido de 6.8% a 4.7%
- Red 8×8: error reducido de 16% a 11%, tiempo de ejecución de 21 días a 8 días
- Verificación de practicidad: Demostración de estructura de franjas y orden antiferromagnético en modelo de Hubbard 8×8 con llenado 1/8, verificando confiabilidad física del algoritmo
Entrada:
- Hamiltoniano de red bidimensional H (representado mediante PEPO, dimensión de enlace w)
- Función de onda PEPS inicial |ψ⟩ (dimensión de enlace D)
- Dimensión de enlace ambiental χ
Salida:
- Función de onda PEPS de estado base optimizada
- Energía de estado base E = ⟨ψ|H|ψ⟩
Restricciones:
- Condiciones de frontera abierta
- Mantener simetría U(1) o SU(2)
- Control de costo computacional y consumo de memoria
Como se muestra en la Figura 1, el funcional de energía se representa como estructura de sándwich de tres capas:
- Capa PEPS: Enlaces negros conectando tensores adyacentes, dimensión D
- Capa PEPO: Enlaces azules representando Hamiltoniano, dimensión w
- Capa PEPS conjugada: Enlaces verdes conectando espacio de Hilbert físico, dimensión d
Debido a que los bucles causan crecimiento exponencial en costo de cálculo exacto, se adopta aproximación ambiental: compresión progresiva de tres enlaces de haz (dimensión total DwD) a dimensión de enlace acumulativo χ. En simulación práctica χ ≫ D,w,d.
- Actualización local: Barrido de red optimizando tensor individual y enlaces adyacentes
- Actualización de gradiente: Optimización simultánea de todos tensores PEPS, manteniendo base de enlace fija
- Barrido completo: Alternancia de 3 barridos locales y 100 barridos de gradiente
Problema: Dos patrones de contracción dominantes (Figura 2) producen directamente resultados intermedios gigantescos de O(χ²(DwD)²)
Solución: Estrategia de segmentación por números cuánticos
- Fase de preprocesamiento:
- Cálculo y almacenamiento de tensor sándwich C (PEPS-PEPO-PEPS)
- Barrido de C, establecimiento de mapeo de números cuánticos: {(q_t, q_l)}_i → {(q_b, q_r)}_i
- Establecimiento de mapeo de números cuánticos a bloques densos para tensores ambientales T,L,B,R
- Ejecución de contracción:
- Bucles anidados iterando sobre (i, q_tr, q_bl)
- Cálculo de ((T·L)·C)·B (aproximación ambiental) o ((T·L)·C)·(B·R) (acción de Hamiltoniano efectivo)
- Contracciones para diferentes (i, q_tr, q_bl) no se superponen, paralelización natural
Ventajas:
- Evita generación de tensores intermedios gigantescos
- Minimización de memoria máxima
- Paralelización perfecta sin pérdida de velocidad
Antecedentes: Optimización de enlace aparece en dos etapas:
- Aproximación ambiental (similar a compresión MPS)
- Minimización de energía (similar a DMRG)
Problema de CBE tradicional:
- Requiere contracción y descomposición de cúmulo completo (Figura 3), costo equivalente a optimización 2s
- Estrategia de "selección inteligente" aunque reduce costo, aún insuficientemente eficiente
Aceleración RSVD:
Para matriz de bajo rango A de dimensión (χDwD)×(χDwD):
- Generación de matriz aleatoria gaussiana Ω de dimensión (χDwD)×χ̃ (χ̃ ≪ χ)
- Extracción de subespacio dominante mediante aplicaciones repetidas de A y A^T sobre Ω
- En fPEPS, operación única AΩ es suficiente
Operación AΩ en aproximación ambiental (Figura 5):
- Costo de contracción más costoso: O(χ̃χ²(DwD)²)
- Técnica clave: descomposición de proyector ortogonal en operador identidad y proyector tangencial
- Evita cálculo explícito de pata tensorial de dimensión χ̄
Operación AΩ en minimización de energía (Figura 7):
- Tensor PEPS mediante norma de traza ponderada
- χ ≫ D permite cálculo directo de proyector ortogonal PEPS
- Contracción según estructura Figura 2(b) de Heff|ψ⟩
Efecto medido:
- Red 4×4, SU(2) D=6: reducción de 4 días 150GB (χ=300) a 5 días 26GB (χ=500)
- Consumo de memoria reducido 83%, simultáneamente mejorando fidelidad
Relación de completitud (Figura 4):
1=Pkept+Pdiscarded
donde χ y χ̄ son respectivamente dimensiones de espacio retenido y espacio descartado.
Objetivo CBE: Bajo dimensión de enlace χ, maximizar superposición de nuevo ambiente con ambiente anterior y sándwich PEPS-PEPO-PEPS, produciendo espacio complementario truncado (estados más importantes en espacio descartado).
Hamiltoniano:
H=−t∑⟨i,j⟩,σ(ciσ†cjσ+h.c.)+U∑ini↑ni↓
- Intensidad de interacción: U = 8
- Salto: Solo vecinos más cercanos
- Condiciones de frontera: Frontera abierta
- Llenado:
- 4×4 y 6×6: Llenado medio (16 y 36 electrones)
- 8×8: Llenado 1/8 (56 electrones, induciendo estructura de franjas)
- U(1)_spin ⊗ U(1)_charge: D = 4-8
- SU(2)_spin ⊗ U(1)_charge: D = 4-6
- Barrido completo: 3 barridos locales + 100 barridos de gradiente
- Dimensión de enlace ambiental: χ = 500 (trabajo anterior 250-400)
- Referencia: Cálculo DMRG (D=4000) de energía E_0
- 4×4: energía de estado base exacta
- 6×6 y 8×8: cota superior de energía
- Tiempo de ejecución: varios días a dos semanas
- Memoria: 26GB-150GB
- Paralelización: aprovechamiento de paralelismo natural de segmentación por números cuánticos
Comportamiento variacional:
- Energía disminuye con aumento de dimensión de enlace
- Curva tiende a aplanarse con aumento de barridos completos
Mejoras clave (comparación con Ref. 31 Figura 38):
- (SU(2), D=4): Ahora entre (U(1), D=6) y (U(1), D=7), no convergiendo a (U(1), D=5)
- Caída pronunciada inicial en segundo barrido completo: Indica que optimización de base virtual mediante barridos locales es necesaria después de barridos de gradiente iniciales
- (SU(2), D=6): Rompe barrera 1% después de un barrido completo (trabajo anterior >1% incluso con dos barridos completos)
Impacto de χ:
- χ=500 vs 250-350: mejora significativa en convergencia
- χ bajo no solo causa inestabilidad numérica sino distorsiona convergencia de manera difícil de detectar
Rendimiento:
- (SU(2), D=6): 5 días, 26GB (χ=500, 1.5 barridos completos)
- Trabajo anterior: 4 días, 150GB (χ=300, 2 barridos completos)
Comportamiento variacional: Debido a sistema más grande, menos barridos completos pero aún mostrando características variacionales claras
Estabilidad numérica:
- Simulaciones de dimensión de enlace grande terminan prematuramente (inestabilidad numérica)
- Incluso con mejoras computacionales, reejecutar con χ más alto aún no es viable
- (U(1), D=7) final muestra crecimiento temporal: inestabilidad temporal pero recuperación posterior
Avance revolucionario:
- Primera finalización exitosa de simulación (U(1), D=8)
- Inicialmente similar a (U(1), D=7), segundo barrido completo significativamente más bajo
Mejor resultado:
- Trabajo anterior: 6.8% (SU(2), D=6)
- Este trabajo: 4.7%, mayor fidelidad (χ=500), tiempo de ejecución reducido a la mitad
Desafíos:
- Datos de simulación SU(2) escasos (inestabilidad numérica o tiempo de ejecución >2 semanas)
- A diferencia de 4×4 y 6×6, energía más baja proviene de simulación U(1)
Mejor rendimiento:
- (U(1), D=8): Alcanza error relativo 11% después de un barrido completo, 8 días
- Trabajo anterior: error 16%, medio barrido completo, 21 días
- Mejora: Error reducido 31%, velocidad aumentada 62%
Estructura de franjas (llenado 1/8):
- Patrón clásico de franjas de densidad de carga oscilatoria
- Orden antiferromagnético inconmensurable
- Superior/inferior: franjas centrales de borde
- Centro: aparentemente franjas centrales de sitio de red
Limitación: Algoritmo lejos de convergencia, imposible determinar si es física real o artefacto numérico
- Componente S_z constructivamente cero, orden antiferromagnético suprimido
- Muestra componente de espín total
- Densidad de carga presenta estructura de franjas similar
- Comparado con Ref. 31, distribución más simétrica (mejora cualitativa)
- Requiere más barridos completos para imagen física confiable
Aunque el artículo no etiqueta explícitamente experimentos de ablación, la verificación de contribuciones de cada componente se realiza implícitamente mediante comparación de diferentes configuraciones:
- Impacto de valor χ (χ=500 vs 250-350):
- Red 4×4: trayectoria de convergencia cambia significativamente, error de energía mejora
- Prueba que dimensión de enlace ambiental es parámetro crítico
- Esquema de simetría (U(1) vs SU(2)):
- Sistemas pequeños: SU(2) más eficiente (D más bajo para precisión igual)
- Sistemas grandes: U(1) más estable (8×8)
- Revela compensación entre simetría y estabilidad numérica
- Proporción de barridos locales/gradiente:
- Caída pronunciada inicial en segundo barrido completo sugiere proporción 3:100 posiblemente no óptima
- Recomienda trabajo futuro reexaminar esta proporción
- DMRG White 1992-1993: Grupo de renormalización de matriz de densidad, estándar de oro para sistemas unidimensionales
- MPS Rommer & Östlund 1997: Expresión de red tensorial de DMRG, existe norma canónica
- iPEPS Jordan et al. 2008:
- PEPS infinito, aplicaciones exitosas a múltiples modelos bidimensionales
- Limitación: celdas unitarias pequeñas
- Trabajo representativo: optimización variacional de Corboz, extrapolación de energía modelo Hubbard
- Red tensorial isométrica Zaletel & Pollmann 2020:
- Imposición de unitariedad en enlaces virtuales
- Fácil de manejar pero limitado a fases especiales (líquidos de red de cuerdas)
- PEPS Gaussiano Emonts & Zohar 2023:
- Aplicación a teorías de calibre de red, superconductividad d-onda, líquido de espín Dirac U(1)
- Híbrido PEPS-Monte Carlo Vieijra et al. 2021:
- Muestreo directo de PEPS, contracción más eficiente pero introduciendo error estadístico
- Liu et al. 2025: simulación exacta modelo Hubbard
- Propagación de creencias Tindall & Fishman 2023:
- Intento de normalización de red tensorial cíclica
- Expansión en serie de bucles Evenbly et al. 2024: reintroducción de contribuciones ignoradas
- Retorno a idea original de fPEPS: condiciones de frontera abierta sin restricciones de calibre
- Teóricamente capaz de describir comportamiento físico completo de sistemas cuánticos bidimensionales grandes y no uniformes
- Complementario a iPEPS (celdas unitarias pequeñas) y redes isométricas (calibre especial)
- Expansión de enlace controlado (CBE) Gleis et al. 2023: optimización de enlace costo 1s
- SVD aleatoria Rokhlin et al. 2009; Halko et al. 2011: descomposición rápida de matriz de bajo rango
- Norma de traza ponderada Evenbly 2018: construcción de proyector ortogonal PEPS
- Avance técnico:
- Estrategia de segmentación por números cuánticos logra contracción óptima en memoria, paralelización perfecta
- Fusión CBE-RSVD reduce costo de optimización de enlace de 2s a 1s
- Dimensión de enlace ambiental elevada de 350 a 500
- Mejora de rendimiento (comparado con Ref. 31):
- 4×4: error de energía <1%, memoria reducida 83%
- 6×6: error reducido de 6.8% a 4.7%, velocidad duplicada
- 8×8: error reducido de 16% a 11%, velocidad aumentada 62%
- Verificación física:
- Reproducción exitosa de estructura de franjas modelo Hubbard llenado 1/8
- Observación de coexistencia de franjas centrales de borde y centrales de sitio de red
Evaluación clave (autoría):
"Incluso con estas mejoras, la energía permanece lejos de la cota superior proporcionada por DMRG, significando que el esquema fPEPS-PEPO en su forma actual aún no es herramienta competitiva para computar sistemas cuánticos bidimensionales"
Manifestación específica:
- Red 6×6: mejor error 4.7% (vs cota superior DMRG)
- Red 8×8: error 11%, lejos de convergencia
- Simulaciones dimensión de enlace grande numéricamente inestables
- Simulaciones 6×6 y 8×8 con D grande frecuentemente terminan prematuramente
- SU(2) particularmente inestable en 8×8
- Incluso χ=500 insuficiente para garantizar estabilidad
- 8×8 requiere semanas para obtener puntos de datos limitados
- Proporción barridos locales/gradiente posiblemente no óptima
- Caída pronunciada inicial en segundo barrido completo sugiere estrategia de optimización necesita ajuste
- Estructura de franjas 8×8 posiblemente artefacto numérico
- Requiere más barridos completos para conclusión física confiable
Híbrido Monte Carlo Vieijra et al. 2021; Liu et al. 2025:
- Contracción tensorial más eficiente
- Costo: introducción de error estadístico
- Potencial: éxito de Liu et al. en modelo Hubbard
Propagación de creencias Tindall & Fishman 2023:
- Intento de normalización de red cíclica
- No garantiza convergencia a función de onda óptima
- Expansión en serie de bucles Evenbly et al. 2024 puede compensar contribuciones ignoradas
- Reexamen de proporción barridos locales/gradiente
- Exploración de estrategia ajuste χ adaptativo
- Mejora de estabilidad numérica (regularización mejor, precondicionamiento)
Autor plantea cuestiones fundamentales:
"Si estas u otras mejoras potenciales traerán avance, y si fPEPS posee capacidad práctica de describir sistemas cuánticos bidimensionales arbitrariamente grandes y no uniformes, permanece como pregunta sin respuesta"
- Segmentación por números cuánticos: Solución elegante a cuello de botella de memoria, análisis teórico claro (Figuras 5, 7)
- Fusión CBE-RSVD: Combinación orgánica de dos técnicas maduras, efecto medido significativo
- Detalles de implementación completos: Información suficiente para que otros repliquen
- Señalamiento explícito de falta actual de competitividad del método
- Análisis objetivo de inestabilidad numérica
- Actitud cautelosa hacia confiabilidad de resultados físicos
- Ejemplo raro de integridad académica
- Tres tamaños (4×4, 6×6, 8×8)
- Dos esquemas de simetría (U(1), SU(2))
- Múltiples dimensiones de enlace
- Comparación detallada con trabajo anterior, destacando mejoras
- Numerosas figuras de red tensorial (Figuras 1-7) mostrando algoritmo intuitivamente
- Curvas de convergencia (Figuras 8-10) presentando rendimiento claramente
- Visualización de resultados físicos (Figuras 11-12)
- Diferencia enorme con DMRG (error 6×6 4.7%, error 8×8 11%)
- Costo computacional alto (8×8 requiere 8 días solo para error 11%)
- Falla en demostrar valor práctico de fPEPS
- Simulaciones D grande frecuentemente fallan
- χ=500 aún insuficiente
- Falta análisis profundo de raíz de inestabilidad
- Falta ablación sistemática: No prueba contribuciones separadas de estrategia segmentación y RSVD
- Modelo único: Solo prueba modelo Hubbard, generalización desconocida
- Exploración hiperparámetros insuficiente: Proporción barridos locales/gradiente no optimizada
- ¿Por qué χ=500 vs 350 mejora cualitativamente? Falta explicación teórica
- ¿Cuándo ocurre inestabilidad numérica? Sin indicador predictivo
- ¿Es secuencia contracción óptima realmente óptima? Sin prueba análisis complejidad
- ¿Cómo se desempeña PEPS-MC de Liu et al. 2025 en modelo Hubbard?
- ¿Efecto real de método propagación de creencias?
- Falta comparación directa con estos métodos nuevos
Impacto corto plazo (Moderado):
- Proporciona dos mejoras técnicas prácticas a comunidad fPEPS
- Estrategia segmentación por números cuánticos posiblemente adoptada por otros métodos red tensorial
- Marco fusión CBE-RSVD tiene generalidad
Impacto largo plazo (Incierto):
- Depende si método fPEPS finalmente logra avance
- Autor mismo escéptico al respecto
- Posiblemente más como lección de "cómo no hacer"
Actual (Limitado):
- Útil para investigación pequeña escala requiriendo frontera abierta, sistemas no uniformes
- 4×4 alcanza <1% error, adecuado para verificación metodología
- Practicidad cuestionable para 6×6 en adelante
Potencial (Por verificar):
- Posible mejora si se combina con MC o BP
- Como componente de método híbrido más complejo
Ventajas:
- Descripción algoritmo detallada, figuras claras
- Proporciona hiperparámetros específicos
- Trabajo anterior Ref. 31 proporciona más detalles implementación
Desventajas:
- Código no abierto
- Detalles implementación simetría insuficientes
- Manejo estabilidad numérica no suficientemente explicado
- Investigación metodología:
- Prueba técnicas red tensorial nuevas
- Como referencia para métodos más complejos
- Verificación exacta pequeña escala (≤4×4)
- Problemas físicos específicos:
- Requiriendo condiciones frontera abierta (iPEPS inapropiado)
- Sistemas no uniformes (como impurezas, estados de borde)
- Imagen física cualitativa (tolerando error varios %)
- Propósito educativo:
- Comprensión complejidad contracción PEPS
- Aprendizaje utilización simetría números cuánticos
- Caso estudio diseño algoritmo red tensorial
- Requisito precisión alta: DMRG o QMC más apropiados
- Sistemas periódicos gran tamaño: iPEPS más eficiente
- Computación nivel producción: Versión actual insuficientemente estable y eficiente
- Divide y conquista: Descomposición problema grande en subproblemas manejables (segmentación números cuánticos)
- Fusión técnicas: Combinación métodos existentes creando efecto sinérgico (CBE+RSVD)
- Mejora progresiva: Mejora sistemática sobre trabajo anterior
- Cuello de botella fundamental no superado: Mejora técnica no toca dificultades centrales PEPS (bucles, no-canonicidad)
- Estabilidad numérica subestimada: Importancia χ solo evidente mediante comparación
- Evaluación rendimiento retrasada: Diseño algoritmo no consideró suficientemente necesidades aplicación real
- 31 Scheb & Noack, PRB 2023: Trabajo anterior directo, descripción detallada marco fPEPS-PEPO
- 32 Gleis et al., PRL 2023: Propuesta original expansión enlace controlado (CBE)
- 33-34 Rokhlin et al. 2009; Halko et al. 2011: Fundamento teórico descomposición valores singulares aleatoria (RSVD)
- 36 McCulloch & Osborne 2024: Comentario sobre CBE, posiblemente menciona aplicación RSVD
- 40 Liu et al., PRL 2025: Progreso reciente método híbrido PEPS-MC en modelo Hubbard
- 41-42 Tindall & Fishman 2023; Evenbly et al. 2024: Propagación creencias y expansión serie bucles
Este es un artículo técnicamente sólido pero con realidad despiadada. El autor logra mejoras sustanciales a nivel ingeniería de algoritmo (reducción memoria 83%, aumento velocidad 62%), pero honestamente admite estas mejoras aún insuficientes para hacer fPEPS herramienta práctica. Esta integridad científica merece elogio, pero también revela dificultades profundas del problema cuántico de muchos cuerpos bidimensional.
El valor del artículo reside más en contribuciones metodológicas (segmentación números cuánticos, fusión CBE-RSVD) y comprensión clara estado actual del campo, que en resolución problemas físicos reales. Proporciona herramientas técnicas útiles y expectativas realistas para investigadores posteriores, pero también sugiere fPEPS posiblemente requiera fusión profunda con otros métodos (MC, BP) para lograr avance.
Para investigadores teoría materia condensada, este artículo es material educativo excelente para comprender desafíos método PEPS; para desarrolladores algoritmo, demuestra cómo mejorar sistemáticamente algoritmo complejo; pero para físicos necesitando resultados numéricos confiables, honestamente recomienda: por ahora use DMRG o QMC.