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 статьи: 2511.01039
- Название: Improved contraction of finite projected entangled pair states
- Автор: Markus Scheb (Ludwig-Maximilians-University Munich)
- Классификация: cond-mat.str-el (сильнокоррелированные электронные системы)
- Дата публикации: 4 ноября 2025
- Ссылка на статью: https://arxiv.org/abs/2511.01039
В статье предложены улучшенные алгоритмы контракции и оптимизации конечных проецируемых спутанных парных состояний (fPEPS) и проецируемых спутанных парных операторов (PEPO). Работа содержит два основных компонента: (1) подробное объяснение характерных паттернов контракции, возникающих в вычислениях fPEPS, и способы их разбиения для минимизации пиковой памяти и обеспечения эффективных параллельных вычислений; (2) объединение управляемого расширения связей (CBE) со случайным разложением по сингулярным значениям (RSVD), применённое ко всему алгоритму fPEPS. Статья демонстрирует результаты тестирования на модели Хаббарда для систем размером до 8×8, с размерностью связей SU(2) D=6 (связи PEPS) и χ=500 (связи окружения).
Численное моделирование двумерных квантовых многотельных систем является центральной задачей физики конденсированного состояния. Хотя одномерные системы могут быть эффективно обработаны с помощью группы переормализации матрицы плотности (DMRG) и матричных произведений состояний (MPS), естественное обобщение на двумерные системы — проецируемые спутанные парные состояния (PEPS) — сталкивается с серьёзными вычислительными трудностями.
- Фундаментальные физические исследования: Понимание высокотемпературной сверхпроводимости, квантовых спиновых жидкостей и других явлений сильной корреляции требует точного моделирования двумерных квантовых систем
- Методологические вызовы: PEPS из-за своей циклической структуры приводит к экспоненциальному росту стоимости тензорной контракции, ожидаемые значения не могут быть вычислены точно, вариационная оптимизация имеет плохую сходимость
- Практические требования: Необходимы несмещённые алгоритмы, способные обрабатывать большие размеры, неоднородные системы и открытые граничные условия
- Бесконечные PEPS (iPEPS): Ограничены малыми элементарными ячейками, не могут обрабатывать большие неоднородные системы
- Изометрические тензорные сети: Хотя легко обрабатываются, ограничены специальными фазами (например, струнные сетевые жидкости)
- Предыдущие реализации fPEPS: Низкая размерность связей окружения χ (250-350), приводящая к численной нестабильности и плохой сходимости, большие ошибки энергии
На основе предыдущей работы Ref. 31 авторы решают две основные узкие места алгоритма fPEPS:
- Узкое место памяти: Промежуточные результаты тензорной контракции достигают размера O(χ²(DwD)²), значительно превышая другие сохраняемые тензоры
- Вычислительная эффективность: Алгоритм 2s оптимизации связей имеет слишком высокую стоимость, требуется более эффективный метод стоимости 1s
- Проектирование оптимальной последовательности контракции: Подробное описание оптимальной обработки двух доминирующих паттернов контракции в fPEPS, снижение пиковой памяти до минимума через отображение квантовых чисел и технику разбиения, одновременно обеспечивая эффективность параллельных вычислений
- Объединённая структура CBE-RSVD: Первое объединение управляемого расширения связей (CBE) со случайным разложением по сингулярным значениям (RSVD), применённое к аппроксимации окружения и минимизации энергии, снижающее вычислительную стоимость с 2s до 1s
- Моделирование с более высокой точностью: Повышение размерности связей окружения с χ=250-350 до χ=500, достижение на модели Хаббарда:
- Решётка 4×4: относительная ошибка энергии <1% (один цикл сверхсканирования)
- Решётка 6×6: ошибка снижена с 6,8% до 4,7%
- Решётка 8×8: ошибка снижена с 16% до 11%, время выполнения сокращено с 21 дня до 8 дней
- Проверка практичности: Демонстрация структур полос и антиферромагнитного порядка в модели Хаббарда 8×8 с заполнением 1/8, подтверждающая физическую надёжность алгоритма
Входные данные:
- Двумерный гамильтониан решётки H (представленный через PEPO, размерность связей w)
- Начальная волновая функция PEPS |ψ⟩ (размерность связей D)
- Размерность связей окружения χ
Выходные данные:
- Оптимизированная волновая функция основного состояния PEPS
- Энергия основного состояния E = ⟨ψ|H|ψ⟩
Ограничения:
- Открытые граничные условия
- Сохранение симметрии U(1) или SU(2)
- Контроль вычислительной стоимости и использования памяти
Как показано на рис. 1, функционал энергии представлен трёхслойной структурой:
- Слой PEPS: Чёрные связи соединяют соседние тензоры, размерность D
- Слой PEPO: Синие связи представляют гамильтониан, размерность w
- Слой сопряжённого PEPS: Зелёные связи соединяют физическое гильбертово пространство, размерность d
Из-за циклов, приводящих к экспоненциальному росту стоимости точного вычисления, используется аппроксимация окружения: постепенная компрессия трёх пучков связей (общая размерность DwD) до накопленной размерности связей χ. В практическом моделировании χ ≫ D,w,d.
- Локальное обновление: Сканирование решётки для оптимизации отдельных тензоров и соседних связей
- Обновление градиента: Одновременная оптимизация всех тензоров PEPS с сохранением базиса связей
- Сверхсканирование: Чередование 3 локальных сканирований и 100 сканирований градиента
Проблема: Два доминирующих паттерна контракции (рис. 2) при прямом вычислении создают огромные промежуточные результаты размером O(χ²(DwD)²)
Решение: Стратегия разбиения по квантовым числам
- Этап предварительной обработки:
- Вычисление и сохранение сэндвич-тензора C (PEPS-PEPO-PEPS)
- Сканирование C, построение отображения квантовых чисел: {(q_t, q_l)}_i → {(q_b, q_r)}_i
- Построение отображения квантовых чисел на плотные блоки для тензоров окружения T, L, B, R
- Выполнение контракции:
- Вложенные циклы по (i, q_tr, q_bl)
- Вычисление ((T·L)·C)·B (аппроксимация окружения) или ((T·L)·C)·(B·R) (действие эффективного гамильтониана)
- Контракции для разных (i, q_tr, q_bl) не перекрываются, естественно параллелизуются
Преимущества:
- Избегание создания огромных промежуточных тензоров
- Минимизация пиковой памяти
- Идеальная параллелизация без потери скорости
Контекст: Оптимизация связей появляется на двух этапах:
- Аппроксимация окружения (аналогично сжатию MPS)
- Минимизация энергии (аналогично DMRG)
Проблема традиционного CBE:
- Требует контракции и разложения целого кластера (рис. 3), стоимость эквивалентна оптимизации 2s
- Стратегия "умного выбора" хотя и снижает стоимость, но недостаточно эффективна
Ускорение RSVD:
Для матрицы низкого ранга A размером (χDwD)×(χDwD):
- Генерирование гауссовой случайной матрицы Ω размером (χDwD)×χ̃ (χ̃ ≪ χ)
- Извлечение доминирующего подпространства через повторное применение A и A^T к Ω
- В fPEPS одного применения AΩ достаточно
Операция AΩ для аппроксимации окружения (рис. 5):
- Наиболее дорогостоящая стоимость контракции: O(χ̃χ²(DwD)²)
- Ключевой приём: разложение ортогонального проектора на единичный оператор и касательный проектор
- Избегание явного вычисления тензорной ноги размерности χ̄
Операция AΩ для минимизации энергии (рис. 7):
- Тензор PEPS, обработанный взвешенной нормой следа
- χ ≫ D позволяет прямое вычисление ортогонального проектора PEPS
- Контракция Heff|ψ⟩ по структуре рис. 2(b)
Практические результаты:
- Решётка 4×4, SU(2) D=6: снижение с 4 дней 150GB (χ=300) до 5 дней 26GB (χ=500)
- Снижение использования памяти на 83%, одновременное повышение точности
Соотношение полноты (рис. 4):
1=Pkept+Pdiscarded
где χ и χ̄ — размерности сохранённого и отброшенного пространств соответственно.
Цель CBE: При размерности связей χ максимизировать перекрытие нового окружения со старым окружением и сэндвич-тензором PEPS-PEPO-PEPS, выводя усечённое дополнительное пространство (наиболее важные состояния в отброшенном пространстве).
Гамильтониан:
H=−t∑⟨i,j⟩,σ(ciσ†cjσ+h.c.)+U∑ini↑ni↓
- Сила взаимодействия: U = 8
- Прыжок: только ближайшие соседи
- Граничные условия: открытые границы
- Заполнение:
- 4×4 и 6×6: половинное заполнение (16 и 36 электронов)
- 8×8: 1/8 заполнение (56 электронов, индуцирующее структуру полос)
- U(1)_spin ⊗ U(1)_charge: D = 4-8
- SU(2)_spin ⊗ U(1)_charge: D = 4-6
- Сверхсканирование: 3 локальных сканирования + 100 сканирований градиента
- Размерность связей окружения: χ = 500 (в предыдущих работах 250-400)
- Эталон: Энергия, вычисленная DMRG (D=4000)
- 4×4: точная энергия основного состояния
- 6×6 и 8×8: верхняя граница энергии
- Время выполнения: несколько дней до двух недель
- Память: 26GB-150GB
- Параллелизация: использование естественной параллелизации разбиения по квантовым числам
Вариационное поведение:
- Энергия снижается с увеличением размерности связей
- Кривые выравниваются при увеличении числа сверхсканирований
Ключевые улучшения (в сравнении с рис. 38 Ref. 31):
- (SU(2), D=4): Теперь находится между (U(1), D=6) и (U(1), D=7), а не сходится к (U(1), D=5)
- Крутой спад в начале второго сверхсканирования: Указывает на необходимость оптимизации виртуального базиса локальным сканированием после первых сканирований градиента
- (SU(2), D=6): Преодолевает ошибку 1% после одного сверхсканирования (в предыдущей работе требовалось два сверхсканирования)
Влияние χ:
- χ=500 vs 250-350: значительное улучшение сходимости
- Слишком низкое χ не только вызывает численную нестабильность, но и искажает сходимость трудноуловимым образом
Производительность:
- (SU(2), D=6): 5 дней, 26GB (χ=500, 1,5 сверхсканирования)
- Предыдущая работа: 4 дня, 150GB (χ=300, 2 сверхсканирования)
Вариационное поведение: Из-за большего размера системы меньше сверхсканирований, но всё ещё наблюдается чёткое вариационное свойство
Численная стабильность:
- Моделирование с большой размерностью связей прерывается раньше (численная нестабильность)
- Даже с вычислительными улучшениями повторное выполнение с более высоким χ невозможно
- (U(1), D=7) в конце показывает временный рост: временная нестабильность, но затем восстанавливается
Прорывной прогресс:
- Первое успешное завершение моделирования (U(1), D=8)
- Первоначально близко к (U(1), D=7), второе сверхсканирование показывает значительно более низкую энергию
Лучший результат:
- Предыдущая работа: 6,8% (SU(2), D=6)
- Данная работа: 4,7%, более высокая точность (χ=500), время выполнения сокращено вдвое
Вызовы:
- Редкие точки данных моделирования SU(2) (численная нестабильность или время выполнения >2 недель)
- В отличие от 4×4 и 6×6, наименьшая энергия получена из моделирования U(1)
Лучшая производительность:
- (U(1), D=8): Достижение 11% относительной ошибки после одного полного сверхсканирования за 8 дней
- Предыдущая работа: 16% ошибка, половина сверхсканирования, 21 день
- Улучшение: Ошибка снижена на 31%, скорость повышена на 62%
Структура полос (заполнение 1/8):
- Классический паттерн осциллирующей плотности заряда в виде полос
- Несоизмеримый антиферромагнитный порядок
- Верх/низ: полосы в центре края
- Середина: похоже на полосы в центре решётки
Ограничения: Алгоритм далёк от сходимости, невозможно определить, является ли это физической реальностью или численным артефактом
- Компонента S_z конструктивно равна нулю, антиферромагнитный порядок подавлен
- Показывает компоненту полного спина
- Плотность заряда показывает подобную структуру полос
- По сравнению с Ref. 31, распределение более симметрично (качественное улучшение)
- Требуется больше сверхсканирований для получения надёжного физического образа
Хотя статья не содержит явно обозначенных абляционных исследований, косвенная проверка различных конфигураций подтверждает вклад каждого компонента:
- Влияние значения χ (χ=500 vs 250-350):
- 4×4: путь сходимости значительно изменяется, ошибка энергии улучшается
- Доказывает, что размерность связей окружения является критическим параметром
- Схемы симметрии (U(1) vs SU(2)):
- Малые системы: SU(2) более эффективна (одинаковая точность при более низком D)
- Большие системы: U(1) более стабильна (8×8)
- Раскрывает компромисс между симметрией и численной стабильностью
- Соотношение локальных/градиентных сканирований:
- Крутой спад в начале второго сверхсканирования предполагает, что соотношение 3:100 может быть неоптимальным
- Рекомендуется пересмотр этого соотношения в будущих работах
- DMRG White 1992-1993: Группа переормализации матрицы плотности, золотой стандарт для одномерных систем
- MPS Rommer & Östlund 1997: Представление DMRG в виде тензорной сети, существует канонический калибр
- iPEPS Jordan et al. 2008:
- Бесконечные PEPS, успешно применены к различным двумерным моделям
- Ограничения: малые элементарные ячейки
- Репрезентативные работы: вариационная оптимизация Corboz, экстраполяция энергии модели Хаббарда
- Изометрические тензорные сети Zaletel & Pollmann 2020:
- Наложение унитарности на виртуальные связи
- Легко обрабатываются, но ограничены специальными фазами (струнные сетевые жидкости)
- Гауссовы PEPS Emonts & Zohar 2023:
- Применение к решёточным калибровочным теориям, d-волновой сверхпроводимости, U(1) жидкостям Дирака со спином
- Гибрид PEPS-Monte Carlo Vieijra et al. 2021:
- Прямое выборочное представление PEPS, более эффективная контракция, но введение статистической ошибки
- Liu et al. 2025: точное моделирование модели Хаббарда
- Распространение убеждений Tindall & Fishman 2023:
- Попытка нормализации циклической тензорной сети
- Разложение по циклам Evenbly et al. 2024: переввод пренебрегаемых вкладов
- Возврат к исходной идее fPEPS: открытые граничные условия без ограничений калибра
- Теоретически способна описывать полное физическое поведение больших, неоднородных двумерных квантовых систем
- Дополняет iPEPS (малые элементарные ячейки) и изометрические сети (специальные калибры)
- Управляемое расширение связей (CBE) Gleis et al. 2023: оптимизация связей стоимости 1s
- Случайное SVD Rokhlin et al. 2009; Halko et al. 2011: быстрое разложение матриц низкого ранга
- Взвешенная норма следа Evenbly 2018: построение ортогонального проектора PEPS
- Технические прорывы:
- Стратегия разбиения по квантовым числам обеспечивает оптимальную по памяти, идеально параллелизуемую контракцию
- Объединение CBE-RSVD снижает стоимость оптимизации связей с 2s до 1s
- Размерность связей окружения повышена с 350 до 500
- Улучшение производительности (в сравнении с Ref. 31):
- 4×4: ошибка энергии <1%, снижение памяти на 83%
- 6×6: ошибка снижена с 6,8% до 4,7%, скорость удвоена
- 8×8: ошибка снижена с 16% до 11%, скорость повышена на 62%
- Физическая проверка:
- Успешное воспроизведение структуры полос модели Хаббарда при заполнении 1/8
- Наблюдение сосуществования полос в центре края и центре решётки
Ключевая оценка (признание автора):
"Даже с этими улучшениями энергия остаётся далеко от верхней границы, предоставляемой DMRG, что означает, что схема fPEPS-PEPO в её нынешней форме всё ещё не является конкурентным инструментом для вычисления двумерных квантовых систем"
Конкретные проявления:
- Решётка 6×6: лучшая ошибка 4,7% (vs верхняя граница DMRG)
- Решётка 8×8: ошибка 11%, далеко не сходится
- Моделирование с большой размерностью связей часто численно нестабильно
- Моделирование 6×6 и 8×8 с большим D часто прерывается раньше времени
- SU(2) особенно нестабильна на 8×8
- Даже χ=500 недостаточна для гарантирования стабильности
- 8×8 требует недель для получения ограниченного числа точек данных
- Соотношение локальных/градиентных сканирований может быть неоптимальным
- Крутой спад в начале второго сверхсканирования указывает на необходимость корректировки стратегии оптимизации
- Структура полос на 8×8 может быть численным артефактом
- Требуется больше сверхсканирований для получения надёжных физических выводов
Гибрид Monte Carlo Vieijra et al. 2021; Liu et al. 2025:
- Более эффективная тензорная контракция
- Цена: введение статистической ошибки
- Потенциал: успех Liu и др. на модели Хаббарда
Распространение убеждений Tindall & Fishman 2023:
- Попытка нормализации циклической сети
- Не гарантирует сходимость к оптимальной волновой функции
- Разложение по циклам Evenbly et al. 2024 может компенсировать пренебрегаемые вклады
- Пересмотр соотношения локальных/градиентных сканирований
- Исследование стратегий адаптивной корректировки χ
- Улучшение численной стабильности (лучшая регуляризация, предобусловливание)
Авторы выдвигают фундаментальный вопрос:
"Приведут ли эти или другие потенциальные новые улучшения к прорыву, и обладает ли fPEPS практической способностью описывать произвольно большие, неоднородные двумерные квантовые системы, остаётся открытым вопросом"
- Разбиение по квантовым числам: Элегантное решение узкого места памяти, ясный теоретический анализ (рис. 5, 7)
- Объединение CBE-RSVD: Органичное объединение двух зрелых методов, значительные практические результаты
- Полнота деталей реализации: Предоставляет достаточно информации для воспроизведения другими
- Ясное указание на то, что метод в настоящее время не конкурентоспособен
- Объективный анализ численной нестабильности
- Осторожное отношение к надёжности физических результатов
- Редкий пример научной честности
- Три размера (4×4, 6×6, 8×8)
- Две схемы симметрии (U(1), SU(2))
- Несколько размерностей связей
- Подробное сравнение с предыдущей работой, выделение улучшений
- Множество диаграмм тензорной сети (рис. 1-7) наглядно показывают алгоритм
- Кривые сходимости (рис. 8-10) ясно представляют производительность
- Визуализация физических результатов (рис. 11-12)
- Огромный разрыв с DMRG (ошибка 4,7% на 6×6, 11% на 8×8)
- Высокая вычислительная стоимость (8 дней на 8×8 для 11% ошибки)
- Не доказана практическая ценность fPEPS
- Частые сбои моделирования с большим D
- χ=500 всё ещё недостаточна
- Отсутствует глубокий анализ источников нестабильности
- Отсутствие систематической абляции: Не проведены отдельные тесты вклада стратегии разбиения и RSVD
- Единственная модель: Тестирование только на модели Хаббарда, неизвестна обобщаемость
- Недостаточное исследование гиперпараметров: Соотношение локальных/градиентных сканирований не оптимизировано
- Почему χ=500 качественно лучше, чем 350? Отсутствует теоретическое объяснение
- Когда произойдёт численная нестабильность? Нет предсказывающих индикаторов
- Является ли оптимальная последовательность контракции действительно оптимальной? Отсутствует доказательство анализа сложности
- Как работает PEPS-MC Liu et al. 2025 на модели Хаббарда?
- Каковы практические результаты метода распространения убеждений?
- Отсутствует прямое сравнение с этими новыми методами
Краткосрочное влияние (среднее):
- Предоставляет две практически полезные технические улучшения для сообщества fPEPS
- Стратегия разбиения по квантовым числам может быть заимствована другими методами тензорной сети
- Объединённая структура CBE-RSVD имеет общую применимость
Долгосрочное влияние (неопределённо):
- Зависит от того, сможет ли метод fPEPS в конечном итоге добиться прорыва
- Сами авторы скептичны по этому поводу
- Может служить больше как урок "как не делать"
В настоящее время (ограниченная):
- Полезна для небольших исследований, требующих открытых граничных условий и неоднородных систем
- 4×4 может достичь <1% ошибки, подходит для методологической проверки
- Практичность 6×6 и выше сомнительна
Потенциальная (требует проверки):
- Может улучшиться при объединении с MC или BP
- Может служить компонентом более сложных гибридных методов
Преимущества:
- Подробное описание алгоритма, ясные диаграммы
- Предоставлены конкретные гиперпараметры
- Предыдущая работа Ref. 31 содержит больше деталей реализации
Недостатки:
- Код не открыт
- Недостаточно деталей реализации симметрии
- Обработка численной стабильности не полностью описана
- Методологические исследования:
- Тестирование новых методов тензорной сети
- Служит эталоном для более сложных методов
- Точная проверка на малых размерах (≤4×4)
- Специфические физические задачи:
- Требуются открытые граничные условия (iPEPS неприменима)
- Неоднородные системы (например, примеси, граничные состояния)
- Качественная физическая картина (допустима ошибка в несколько процентов)
- Образовательные цели:
- Понимание сложности контракции PEPS
- Изучение использования симметрии квантовых чисел
- Примеры проектирования алгоритмов тензорной сети
- Требования высокой точности: DMRG или QMC более подходящи
- Большие периодические системы: iPEPS более эффективна
- Производственные вычисления: Текущая версия недостаточно стабильна и эффективна
- Разделение и завоевание: Разбиение большой задачи на управляемые подзадачи (разбиение по квантовым числам)
- Объединение методов: Комбинирование существующих методов для создания синергетического эффекта (CBE+RSVD)
- Постепенное улучшение: Систематическое повышение на основе предыдущей работы
- Фундаментальные узкие места не преодолены: Технические улучшения не касаются основных трудностей PEPS (циклы, неканоничность)
- Численная стабильность недооценена: Важность χ выявлена только при сравнении
- Запоздалая оценка производительности: Проектирование алгоритма не полностью учитывало практические требования приложений
- 31 Scheb & Noack, PRB 2023: Непосредственный предшественник, подробное описание структуры fPEPS-PEPO
- 32 Gleis et al., PRL 2023: Исходное предложение управляемого расширения связей (CBE)
- 33-34 Rokhlin et al. 2009; Halko et al. 2011: Теоретические основы случайного разложения по сингулярным значениям (RSVD)
- 36 McCulloch & Osborne 2024: Комментарий к CBE, возможно упоминание применения RSVD
- 40 Liu et al., PRL 2025: Последние достижения гибридного метода PEPS-MC на модели Хаббарда
- 41-42 Tindall & Fishman 2023; Evenbly et al. 2024: Распространение убеждений и разложение по циклам
Это статья технически твёрдая, но жестоко честная. Авторы достигли существенных улучшений на уровне инженерии алгоритмов (снижение памяти на 83%, повышение скорости на 62%), но честно признают, что этих улучшений недостаточно для превращения fPEPS в практический инструмент. Такая научная честность достойна похвалы, но также раскрывает глубокие трудности двумерной квантовой многотельной задачи.
Ценность статьи заключается больше в методологических вкладах (разбиение по квантовым числам, объединение CBE-RSVD) и трезвом понимании состояния области, чем в решении практических физических задач. Она предоставляет полезные технические инструменты и реалистичные ожидания для будущих исследователей, но также намекает, что fPEPS может потребовать глубокого объединения с другими методами (MC, BP) для достижения прорыва.
Для исследователей теории конденсированного состояния эта статья — отличное учебное пособие по пониманию вызовов метода PEPS; для разработчиков алгоритмов она демонстрирует систематическое улучшение сложных алгоритмов; но для физиков, нуждающихся в надёжных численных результатах, она честно рекомендует: в настоящее время используйте DMRG или QMC.