2025-11-22T01:07:16.112219

Trotterization is substantially efficient for low-energy states

Mizuta, Kuwahara
Trotterization is one of the central approaches for simulating quantum many-body dynamics on quantum computers or tensor networks. In addition to its simple implementation, recent studies have revealed that its error and cost can be reduced if the initial state is closed in the low-energy subspace. However, the improvement by the low-energy property rapidly vanishes as the Trotter order grows in the previous studies, and thus, it is mysterious whether there exists genuine advantage of low-energy initial states. In this Letter, we resolve this problem by proving the optimal error bound and cost of Trotterization for low-energy initial states. For generic local Hamiltonians composed of positive-semidefinite terms, we show that the Trotter error is at most linear in the initial state energy $Δ$ and polylogarithmic in the system size $N$. As a result, the computational cost becomes substantially small for low-energy states with $Δ\in o(Ng)$ compared to the one for arbitrary initial states, where $g$ denotes the energy per site and $Ng$ means the whole-system energy. Our error bound and cost of Trotterization achieve the theoretically-best scaling in the initial state energy $Δ$. In addition, they can be partially extended to weakly-correlated initial states having low-energy expectation values, which are not necessarily closed in the low-energy subspace. Our results will pave the way for fast and accurate simulation of low-energy states, which are one central targets in condensed matter physics and quantum chemistry.
academic

Троттеризация существенно эффективна для низкоэнергетических состояний

Основная информация

  • ID статьи: 2504.20746
  • Название: Trotterization is substantially efficient for low-energy states
  • Авторы: Kaoru Mizuta, Tomotaka Kuwahara
  • Классификация: quant-ph cond-mat.other math-ph math.MP
  • Дата публикации: 30 апреля 2025 г.
  • Ссылка на статью: https://arxiv.org/abs/2504.20746

Аннотация

Троттеризация является одним из основных методов моделирования квантовой многотельной динамики на квантовых компьютерах или тензорных сетях. Помимо простоты реализации, недавние исследования показали, что если начальное состояние находится в подпространстве низких энергий, его ошибка и стоимость могут быть снижены. Однако в предыдущих исследованиях улучшение, обусловленное низкоэнергетическими свойствами, быстро исчезает с увеличением порядка Троттера, поэтому остаётся неясным, обладают ли низкоэнергетические начальные состояния истинным преимуществом. В данной статье авторы решают эту проблему, доказывая оптимальные границы ошибок и стоимость для троттеризации низкоэнергетических начальных состояний. Для общих локальных гамильтонианов, состоящих из положительно полуопределённых членов, авторы доказывают, что ошибка Троттера линейна по энергии начального состояния Δ и полилогарифмична по размеру системы N. Следовательно, для низкоэнергетических состояний с Δ ∈ o(Ng) вычислительная стоимость становится существенно меньше по сравнению с произвольными начальными состояниями, где g обозначает энергию на один узел решётки, а Ng — полную энергию системы.

Исследовательский контекст и мотивация

Проблемный контекст

  1. Важность моделирования гамильтониана: Моделирование временной эволюции квантовых многотельных систем является центральной областью квантовых вычислений с приложениями от физики конденсированного состояния до квантовой химии.
  2. Метод троттеризации: Как один из наиболее известных квантовых алгоритмов, троттеризация осуществима на современных квантовых компьютерах благодаря простой структуре схемы и обладает лучшей сложностью вентилей на крупномасштабных квантовых компьютерах.

Центральная проблема

Ключевой открытый вопрос существующих исследований: может ли троттеризация обеспечить доказуемое фундаментальное преимущество, когда динамика начинается с определённых интересующих классов начальных состояний?

Ограничения существующих методов

  1. Переоценка: В общем случае сложность вентилей определяется наихудшей ошибкой среди всех возможных начальных состояний, что обычно приводит к переоценке ошибки и стоимости.
  2. Ограниченное низкоэнергетическое преимущество: Предыдущие исследования показали, что преимущество низкоэнергетических состояний существует только в очень ограниченном диапазоне энергий Δ ∈ o(N^(1/(p+1))g) и сужается с увеличением порядка Троттера p.
  3. Теоретический пробел: Остаётся неясным, существует ли доказуемое преимущество для общих низкоэнергетических начальных состояний Δ ∈ o(Ng).

Основные вклады

  1. Оптимальные границы ошибок: Впервые доказаны оптимальные границы ошибок Троттера для низкоэнергетических начальных состояний, причём ошибка линейна по энергии начального состояния Δ и полилогарифмична по размеру системы N.
  2. Теоретическая оптимальность: Границы ошибок и стоимость достигают теоретически оптимального масштабирования по энергии начального состояния Δ, позволяя воспроизвести оптимальные результаты для произвольных начальных состояний при Δ = Ng.
  3. Широкое низкоэнергетическое преимущество: Доказано, что снижение стоимости происходит в самом широком диапазоне низких энергий Δ ∈ o(Ng), независимо от порядка Троттера p.
  4. Экспоненциальное ускорение: Для крайне низкоэнергетических начальных состояний Δ ∈ polylog(N)g при фиксированном времени t и ошибке ε требуется только polylog(N) сложность вентилей.
  5. Расширение на слабо коррелированные состояния: Результаты частично расширены на слабо коррелированные начальные состояния с низким ожиданием энергии.

Подробное описание методов

Определение задачи

Рассмотрим моделирование временной эволюции N-кубитного гамильтониана H на решётке Λ = {1, 2, ···, N}:

  • Входные данные: k-локальный гамильтониан H, низкоэнергетическое начальное состояние |ψ⟩, время эволюции t, допустимая ошибка ε
  • Выходные данные: Квантовый алгоритм, реализующий e^(-iHt)|ψ⟩ с ошибкой ε
  • Ограничение: Минимизация количества квантовых вентилей (число Троттера r)

Установка гамильтониана

Гамильтониан H записывается как: H=∑X⊂Λ;∣X∣≤khX,hX≥0H = \sum_{X⊂Λ;|X|≤k} h_X, \quad h_X ≥ 0

где каждый h_X нетривиально действует на область X, а положительная полуопределённость обеспечивается сдвигом h_X → h_X + ∥h_X∥.

Проекция на подпространство низких энергий

Определим проекцию подпространства с энергией меньше Δ: Π≤Δ=∑n;En≤Δ∣En⟩⟨En∣\Pi_{≤Δ} = \sum_{n;E_n≤Δ} |E_n⟩⟨E_n|

Рассмотрим начальные состояния, полностью находящиеся в этом подпространстве: Π_{≤Δ}|ψ⟩ = |ψ⟩.

Основные теоретические результаты

Теорема 1 (основной результат): Для произвольного ϵ ∈ (0, 1) существует: Δ′=Δ+O(glog⁡(N/ϵ))Δ' = Δ + O(g\log(N/ϵ))

такой, что граница ошибки Троттера для низкоэнергетического начального состояния имеет вид:

O((gt)^p Δ't + ϵ) & \text{если } Γ ∈ O(1) \\ O(\{gt\log(N/ϵ)\}^p Δ't + ϵ) & \text{в противном случае} \end{cases}$$ ### Технические инновации 1. **Отражение масштабирования коммутаторов**: Впервые точно захвачены характеристики масштабирования коммутаторов в низкоэнергетическом пространстве, избегая переоценки масштабирования 1-нормы O((Δ't)^(p+1)) из предыдущих исследований. 2. **Улучшенная оценка утечки**: Точно оценена утечка из подпространства низких энергий, улучшена утечка Δ' - Δ с пропорциональности N до O(g log(N/ϵ)). 3. **Локальность вложенных коммутаторов**: Использована локальность вложенных коммутаторов локальных гамильтонианов для доказательства ключевого неравенства: $$∥Π_{≤Δ'}[H_γ_q, ···, [H_γ_1, H_γ_0]]Π_{≤Δ'}∥ ≤ q!(2kg)^q Δ'$$ ## Экспериментальная установка ### Численная верификация Авторы провели численную верификацию на двух фрустрационно-свободных гамильтонианах: 1. **Гамильтониан AKLT**: $$H_{AKLT} = \sum_{i=1}^{N-1} P[(S_i + S_{i+1})^2 = 2(2+1)]$$ 2. **Гамильтониан Маджумдара-Гоша**: $$H_{MG} = \sum_{i=1}^{N-2} P[(S_i + S_{i+1} + S_{i+2})^2 = \frac{3}{2}(\frac{3}{2}+1)]$$ ### Параметры эксперимента - Порядок Троттера: p = 1, 2 - Время эволюции: t = 0,1 - Граница энергии: Δ = 0,5, 1,0 - Размер системы: переменные значения N ## Экспериментальные результаты ### Основные результаты **Зависимость от размера системы**: - Без ограничения энергии ошибка Троттера приблизительно пропорциональна размеру системы (согласуется с масштабированием коммутаторов) - Ошибка для низкоэнергетических начальных состояний растёт значительно медленнее, что соответствует логарифмической зависимости, предсказанной теоремой 1 **Зависимость от границы энергии**: - В области Δ ≪ ∥H∥ наблюдается приблизительно линейная зависимость ошибки от границы энергии Δ - Наклон практически не зависит от размера системы N, что подтверждает теоретические предсказания ### Улучшение числа Троттера Для случая Γ ∈ O(1) число Троттера составляет: $$r \sim gt\left(\frac{Δt + gt\log(N/ε)}{ε}\right)^{1/p}$$ По сравнению с r ∈ O(gt(Ngt/ε)^(1/p)) для произвольных начальных состояний, это значительно снижается при Δ ∈ o(Ng). ## Связанные работы ### Алгоритмы моделирования гамильтониана - **Троттеризация**: Классический метод с простой структурой схемы - **Линейная комбинация унитарных операторов (LCU)**: Более эффективна в некоторых случаях - **Квантовое сингулярное преобразование значений (QSVT)**: Новейшая унифицированная схема ### Улучшения, зависящие от начального состояния - **Состояния Хаара**: Известны лучшие масштабирования - **Высокозапутанные состояния**: Недавно доказано ускорение моделирования гамильтониана - **Низкоэнергетические состояния**: Впервые в данной работе даны оптимальные теоретические границы ## Заключение и обсуждение ### Основные выводы 1. Впервые доказаны оптимальные границы ошибок и стоимость для троттеризации низкоэнергетических начальных состояний 2. Достигнуто снижение стоимости в самом широком диапазоне низких энергий Δ ∈ o(Ng) 3. Для крайне низкоэнергетических состояний достижимо экспоненциальное ускорение ### Ограничения 1. **Требование положительной полуопределённости**: Необходимо обеспечить положительную полуопределённость всех локальных членов путём сдвига 2. **Предположение полной низкоэнергетичности**: Основные результаты требуют, чтобы начальное состояние полностью находилось в подпространстве низких энергий 3. **Ограниченная численная верификация**: Верификация проведена только на специфических фрустрационно-свободных моделях ### Направления будущих исследований 1. **Расширение на другие варианты Троттера**: Такие как случайно скомпилированная троттеризация (qDRIFT) и многопроизведённые формулы 2. **Зависящая от времени троттеризация**: Приложения к адиабатической подготовке состояний 3. **Низкоэнергетические состояния на основе энергии основного состояния**: Поиск преимуществ на основе энергии основного состояния, а не сдвинутой энергии ## Глубокая оценка ### Преимущества 1. **Теоретический прорыв**: Впервые даны оптимальные теоретические границы для троттеризации низкоэнергетических состояний, решена важная открытая проблема в этой области 2. **Технические инновации**: Точное захватывание масштабирования коммутаторов в низкоэнергетическом подпространстве представляет важный технический прорыв 3. **Практическая ценность**: Результаты применимы к центральным целям физики конденсированного состояния и квантовой химии — моделированию низкоэнергетических состояний 4. **Строгость**: Математические доказательства строги, результаты имеют гарантии оптимальности ### Недостатки 1. **Область применения**: Применимо в основном к приблизительно фрустрационно-свободным системам, применимость к сильно коррелированным системам ограничена 2. **Экспериментальная верификация**: Численная верификация проведена в основном на малых системах и специальных моделях, отсутствует верификация на крупномасштабных реальных системах 3. **Сложность реализации**: Хотя теоретически оптимально, практическая реализация того, как эффективно проверить условие низкой энергии, требует дальнейшего изучения ### Влияние 1. **Теоретическое значение**: Устанавливает теоретическую схему для моделирования гамильтониана, зависящего от начального состояния 2. **Практическая ценность**: Обеспечивает теоретическое руководство для квантового моделирования в квантовой химии и физике конденсированного состояния 3. **Методологический вклад**: Разработанная техника масштабирования коммутаторов может быть расширена на другие семейства начальных состояний ### Применимые сценарии 1. **Квантовая химия**: Моделирование динамики молекулярного основного состояния и низких возбуждённых состояний 2. **Физика конденсированного состояния**: Квантовое моделирование низкотемпературных явлений и фазовых переходов 3. **Квантовые алгоритмы**: Проектирование квантовых алгоритмов, требующих высокоточной эволюции низкоэнергетических состояний ## Библиография Данная статья ссылается на 37 важных работ, охватывающих передовые исследования в ключевых областях теории троттеризации, алгоритмов квантового моделирования и теории масштабирования коммутаторов, обеспечивая прочную теоретическую основу для исследования. --- **Резюме**: Данная статья вносит важный теоретический вклад в область квантового моделирования гамильтониана, впервые предоставляя оптимальные теоретические границы для троттеризации низкоэнергетических начальных состояний. Хотя дальнейшая верификация требуется для практического применения, её теоретическое значение и руководящая ценность для будущих исследований являются значительными.