Дальнодействующая нестабилизируемость и фазы вещества

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

• ID статьи: 2502.19504
• Название: Long-range nonstabilizerness and phases of matter
• Авторы: David Aram Korbany¹, Michael J. Gullans², Lorenzo Piroli¹
• Учреждения: ¹Università di Bologna and INFN, ²University of Maryland and NIST
• Классификация: quant-ph cond-mat.stat-mech
• Дата публикации: 26 февраля 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2502.19504

Аннотация

Дальнодействующая нестабилизируемость может быть определена как количество нестабилизируемости, которое невозможно удалить с помощью неглубоких локальных квантовых цепей. Данная работа исследует дальнодействующую нестабилизируемость в контексте многотельной квантовой физики, что имеет важное значение для протоколов подготовки квантовых состояний и реализации квантовых кодов коррекции ошибок. Авторы сначала предлагают простой аргумент, демонстрирующий, что дальнодействующая нестабилизируемость является общим свойством многотельных состояний, а затем ограничивают исследование основными состояниями щелевых локальных гамильтонианов. Основное внимание уделяется одномерным системам, где получены строгие результаты в контексте трансляционно-инвариантных матричных произведений состояний (MPS). Путём анализа неподвижных точек потока ренормализационной группы (РГ) MPS предоставляются достаточные условия для дальнодействующей нестабилизируемости, которые полностью зависят от локальных MPS-тензоров. Физически эти условия отражают тот факт, что взаимная информация между дальними областями в стабилизаторных неподвижных точках квантуется и остаётся неизменной после применения неглубоких квантовых цепей.

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

Предпосылки проблемы

1. Стабилизаторные состояния и операции Клиффорда: Стабилизаторные состояния и операции Клиффорда являются фундаментальными инструментами квантовой информации, которые могут быть эффективно смоделированы на классических компьютерах, предоставляя полезные модели для квантовых вычислений и служа идеальными строительными блоками для конструирования квантовых кодов коррекции ошибок.
2. Нестабилизируемость (magic): Нестабилизируемость, также называемая «магией», грубо количественно определяет степень отклонения состояния от стабилизаторного состояния. С развитием отказоустойчивых квантовых вычислений нестабилизируемость привлекает всё большее внимание.
3. Определение дальнодействующей нестабилизируемости: По аналогии с концепцией дальнодействующей запутанности, дальнодействующая нестабилизируемость может быть определена как количество нестабилизируемости, которое невозможно удалить с помощью неглубоких локальных квантовых цепей.

Мотивация исследования

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

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

1. Доказательство универсальности дальнодействующей нестабилизируемости: Посредством подсчётного аргумента показано, что дальнодействующая нестабилизируемость является типичным свойством многотельных квантовых состояний.
2. Предложение теоремы о достаточных условиях: Предоставлены достаточные условия для дальнодействующей нестабилизируемости одномерных трансляционно-инвариантных MPS, основанные на неподвижных точках РГ (теорема 1).
3. Установление теоремы о необходимых условиях: Предоставлены необходимые условия для точной короткодействующей нестабилизируемости (теорема 2).
4. Раскрытие физического механизма: Доказано, что дальнодействующая нестабилизируемость тесно связана с квантованием свойств взаимной информации стабилизаторных состояний.
5. Предоставление классификационной схемы: Установлены отношения между короткодействующей/дальнодействующей запутанностью и короткодействующей/дальнодействующей нестабилизируемостью (таблица I).

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

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

Исследование характеристик дальнодействующей нестабилизируемости MPS-состояний в одномерных квантовых системах, где входом являются MPS-тензоры, а выходом — определение наличия дальнодействующей нестабилизируемости в состоянии.

Основные определения

Определение 1 (дальнодействующая нестабилизируемость): Семейство состояний $\{|\psi_N\rangle\}_{N\in\mathbb{N}}$ обладает короткодействующей нестабилизируемостью тогда и только тогда, когда для всех $\varepsilon_0 > 0$ и $\alpha > 0$ существуют локальная квантовая цепь $Q_{D_N}$ глубины $D_N = O(\text{polylog}(N))$ и стабилизаторное состояние $|S_N\rangle$, такие что для достаточно больших $N$:

$\Delta(Q_{D_N}|\psi_N\rangle, |S_N\rangle) \leq \frac{\varepsilon_0}{N^\alpha} = \varepsilon_N$

где $\Delta(|\psi\rangle, |\phi\rangle) = \sqrt{1-|\langle\psi|\phi\rangle|^2}$ — расстояние следа.

Архитектура модели

Метод ренормализационной группы MPS

1. Каноническая форма MPS: Любое трансляционно-инвариантное MPS может быть представлено как: $|\phi_N\rangle = \frac{1}{c_N}\sum_{j=1}^b \beta_j^{(N)}|v^{(N)}(A_j)\rangle$
2. Неподвижные точки РГ: Посредством итеративного процесса блокировки и полярного разложения MPS стремится к неподвижным точкам следующего вида: $|\tilde{\phi}_N\rangle = \sum_{j=1}^b \alpha_j^{(N)}|\Omega_j\rangle$

Метод анализа взаимной информации

Для трёхраздельного разбиения $\Lambda = A \cup C \cup B$ определяется взаимная информация: $I_{A,B}[\psi] = S(\rho_A) + S(\rho_B) - S(\rho_{AB})$

Технические инновации

1. Использование квантованного свойства стабилизаторных состояний: Ключевое понимание состоит в том, что взаимная информация стабилизаторных состояний всегда целочисленна, и это свойство сохраняется под действием неглубоких квантовых цепей.
2. Анализ неподвижных точек РГ: Путём анализа структуры неподвижных точек РГ MPS сложная задача MPS упрощается до более управляемой формы.
3. Использование локальной ортогональности: Использование локальной ортогональности различных компонент неподвижных точек РГ делает вычисление взаимной информации осуществимым.

Экспериментальная установка

Теоретическая аналитическая схема

Данная работа является в основном теоретической и не содержит численных экспериментов в традиционном смысле, а вместо этого использует строгие математические доказательства для проверки теоретических результатов.

Анализ конкретных примеров

1. GHZ-подобные состояния: Рассмотрение состояния $|\tilde{\phi}_N[\alpha,\beta]\rangle = \alpha|0\rangle^{\otimes N} + \beta|1\rangle^{\otimes N}$
2. Четырёхкомпонентные состояния: Анализ состояний вида $|\tilde{\phi}_N(t)\rangle = \alpha_1(t)|00\rangle^{\otimes N/2} + \alpha_2(t)|01\rangle^{\otimes N/2} + \alpha_3(t)|10\rangle^{\otimes N/2} + \alpha_4(t)|11\rangle^{\otimes N/2}$

Экспериментальные результаты

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

Теорема 1 (достаточные условия): Достаточным условием для того, чтобы MPS обладало дальнодействующей нестабилизируемостью, является то, что его неподвижные точки РГ удовлетворяют: $\lim_{N\to\infty} H(\{|\alpha_j^{(N)}|^2\}) \notin \mathbb{N}$ где $H(\{p_j\}) = -\sum_j p_j \log_2(p_j)$ — энтропия Шеннона.

Теорема 2 (необходимые условия): Необходимым условием для того, чтобы неподвижные точки РГ обладали точной короткодействующей нестабилизируемостью, является то, что для всех $i \neq j$: $|\alpha_i|^4/|\alpha_j|^4 \in \mathbb{Q}$

Результаты универсальности

Посредством подсчётного аргумента доказано, что: $\lim_{N\to\infty} \frac{n_C n_S}{n_B} \to 0$ где $n_B$, $n_S$, $n_C$ — количество различимых состояний в пространстве Гильберта, количество стабилизаторных состояний и количество неглубоких квантовых цепей соответственно.

Результаты классификации

Установлены отношения между короткодействующей/дальнодействующей запутанностью и короткодействующей/дальнодействующей нестабилизируемостью:

• Короткодействующие запутанные состояния могут обладать короткодействующей или дальнодействующей нестабилизируемостью
• Дальнодействующая нестабилизируемость влечёт дальнодействующую запутанность
• Существуют состояния с дальнодействующей запутанностью, но без дальнодействующей нестабилизируемости

Связанные работы

Исследования нестабилизируемости

1. Фундаментальная теория: Пионерская работа Bravyi-Kitaev и других установила основные концепции нестабилизируемости
2. Методы вычисления: В последние годы достигнут значительный прогресс в поиске вычислимых мер нестабилизируемости
3. Применение в многотельной физике: Нестабилизируемость привлекает внимание как инструмент для характеризации многотельных состояний и фаз вещества

Теория дальнодействующей запутанности

1. Топологическая энтропия запутанности: Работы Kitaev-Preskill и Levin-Wen установили характеристики дальнодействующих запутанных состояний
2. Теория MPS: Обзор Cirac и других заложил теоретические основы MPS в многотельной физике

Квантовая коррекция ошибок

1. Стабилизаторные коды: Работа Gottesman установила теоретическую схему стабилизаторных кодов
2. Отказоустойчивые квантовые вычисления: Результаты, такие как теорема Eastin-Knill, раскрывают важность нестабилизируемости в отказоустойчивых квантовых вычислениях

Заключение и обсуждение

Основные выводы

1. Универсальность: Дальнодействующая нестабилизируемость является типичным свойством многотельных квантовых состояний
2. Обнаруживаемость: Дальнодействующая нестабилизируемость может быть обнаружена через энтропию Шеннона неподвижных точек РГ
3. Физический механизм: Дальнодействующая нестабилизируемость тесно связана с нецелочисленным характером взаимной информации

Ограничения

1. Достаточность: Теорема 1 предоставляет только достаточные условия, а не необходимые
2. Ограничение размерности: Результаты в основном относятся к одномерным системам, высшие размерности более сложны
3. Приближённость: Допускаемые в определении члены ошибок делают некоторые граничные случаи трудно поддающимися обработке

Будущие направления

1. Обобщение на высшие размерности: Распространение результатов на высшие размерности, особенно на модели с неабелевым топологическим порядком
2. Симметрийная защита: Исследование симметрийно-защищённой дальнодействующей нестабилизируемости
3. Динамика: Исследование дальнодействующей нестабилизируемости унитарных операторов
4. Экспериментальная проверка: Поиск экспериментально измеримых характеристик дальнодействующей нестабилизируемости

Глубокая оценка

Преимущества

1. Теоретическая строгость: Предоставляются строгие математические доказательства, устанавливающие прочную теоретическую основу
2. Концептуальная новизна: Первое систематическое исследование дальнодействующей нестабилизируемости в MPS
3. Методологическая оригинальность: Искусное использование квантованного свойства стабилизаторных состояний и методов РГ
4. Физические инсайты: Раскрытие глубокой связи между нестабилизируемостью и квантовой информационной геометрией

Недостатки

1. Полнота условий: Достаточные условия могут быть не необходимыми, требуется дальнейшее исследование контрпримеров
2. Вычислительная сложность: Практическое вычисление неподвижных точек РГ может быть затруднительным в некоторых случаях
3. Связь с экспериментом: Связь теоретических результатов с экспериментально наблюдаемыми величинами требует дальнейшего развития

Влияние

1. Теоретический вклад: Предоставляет новые аналитические инструменты для квантовой многотельной теории
2. Перспективы применения: Имеет потенциальное применение в квантовой коррекции ошибок и квантовом моделировании
3. Междисциплинарность: Связывает квантовую информацию, многотельную физику и топологические фазовые переходы

Области применения

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

Библиография

1. Gottesman, D. Stabilizer codes and quantum error correction. (1997)
2. Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information (2011)
3. Cirac, J. I., Perez-Garcia, D., Schuch, N. & Verstraete, F. Matrix product states and projected entangled pair states (2021)
4. White, C. D., Cao, C. & Swingle, B. Phys. Rev. B 103, 075145 (2021)
5. Ellison, T. D., Kato, K., Liu, Z.-W. & Hsieh, T. H. Quantum 5, 612 (2021)

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