Оценка верности без моделирования через квантовую статистику порядков выходных данных

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

• ID статьи: 2510.13026
• Название: Simulation-Free Fidelity Estimation via Quantum Output Order Statistics
• Автор: Tobias Micklitz (Centro Brasileiro de Pesquisas Físicas, Рио-де-Жанейро, Бразилия)
• Классификация: quant-ph cond-mat.dis-nn
• Дата публикации: 16 октября 2025
• Ссылка на статью: https://arxiv.org/abs/2510.13026

Аннотация

В данной работе предложен метод без моделирования для оценки верности крупных квантовых схем на основе статистики порядков вероятностей измеренных выходных данных. Метод требует только битовую строку с наивысшей вероятностью (наиболее часто наблюдаемый результат измерения) и основан на точных аналитических результатах статистики порядков случайных состояний Хаара, выведенных в данной работе. Путём анализа поправок при деполяризующем шуме авторы предлагают масштабируемый оценитель верности, который был проверен на 12-кубитном экспериментальном устройстве Sycamore компании Google и подтверждён численным моделированием.

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

Основная проблема

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

Значимость проблемы

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

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

1. Квантовая томография состояния и прямая оценка верности хорошо работают на малых или структурированных системах, но не масштабируются на системы с более чем ~20 кубитами
2. Тестирование кросс-энтропии зависит от классического моделирования идеальных выходных данных, что становится вычислительно неосуществимо для схем с более чем ~30 кубитами
3. Требуется полная информация о распределении выходных данных, что сложно получить в экспериментах

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

Разработка методов оценки верности без моделирования, которые остаются практичными в диапазоне ≳O(20) кубитов, где классическое моделирование становится дорогостоящим, а прямая оценка верности обычно неосуществима.

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

1. Теоретический вклад: Выведены точные аналитические выражения для статистики порядков случайных состояний Хаара, расширяющие предыдущие результаты, полученные только для k=1
2. Методологическое новшество: Предложен метод оценки верности без моделирования на основе статистики порядков, требующий только результат измерения с наивысшей вероятностью
3. Моделирование шума: Проанализированы поправки статистики порядков при деполяризующем шуме, предоставлены простые соотношения переномировки
4. Экспериментальная верификация: Метод проверен на данных 12-кубитного эксперимента Google Sycamore
5. Масштабируемость: Разработан оценитель правдоподобия на основе подсчётов, преодолевающий ограничения конечного выборки, поддерживающий системы большего масштаба

Детальное описание метода

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

Дано N-кубитное хаотическое квантовое устройство; путём измерения наиболее часто появляющейся битовой строки оценить верность схемы f ∈ 0,1 при деполяризующем шуме.

Теоретическая основа

Статистика порядков состояний Хаара

Для полностью перемешанного квантового состояния N кубитов |ψ⟩ = ∑_^D z_k|k⟩ (D = 2^N) вероятности выходных данных равны p_k = |z_k|^2. Совместное распределение этих вероятностей равномерно на D-мерном симплексе:

$P_{CUE}(p_1, p_2, ..., p_D) = (D-1)!\delta(p_1 + p_2 + ... + p_D - 1)$

Распределение вероятностей k-й по величине вероятности, принимающей значение x:

$P_k(x,N) = \mathcal{N} \sum_{j=k}^{j_{max}} \binom{D-k}{j-k} (-1)^j (1-jx)^{D-2}$

где j_ = min(D, ⌊1/x⌋), что является основным техническим результатом данной работы.

Модель шума

При деполяризующем шуме каждая идеальная вероятность выходных данных аффинно смещается в сторону равномерного значения 1/D:

$p_k(f) = fp_k + (1-f)/D$

Влияние шума на статистику порядков захватывается простой переномировкой:

$P_k(x;N,f) = P_k(x_f, N), \quad fx_f = x - (1-f)/D$

Построение функции правдоподобия

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

Для M реализаций схемы, каждая с K максимальными вероятностями измерений {p^m_k}, функция правдоподобия:

$\ln\Lambda(f;N,\{p^m_k\}) = \sum_{m=1}^M \sum_{k \in K^*} \ln P_k(p^m_k;N,f)$

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

Для преодоления ограничений конечной выборки используется пуассоновское правдоподобие, построенное из исходных подсчётов измерений n_k:

$\ln\Lambda(f;N,\{n_k\}) = \sum_{k \in K^*} (n_k \ln p_k(f) - Sp_k(f))$

где S — общее количество измерений.

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

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

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

Наборы данных

1. Данные Google Sycamore 12 кубитов: 20 реализаций схемы, каждая с 5×10^5 измерениями
2. Численное моделирование: Хаотические схемы с N = 20-42 кубитами с известной верностью при деполяризующем шуме

Метрики оценки

• Относительная ошибка: |f_ - f_|/f_
• Положение пика правдоподобия: Значение верности оценки максимального правдоподобия
• Требуемое количество выборок: Минимальное количество измерений для достижения заданного порога точности

Методы сравнения

• Тестирование кросс-энтропии (в качестве эталонного стандарта)
• Сравнение различных стратегий выбора рангов

Детали реализации

• Использование K = 500 упорядоченных результатов для поддержания приемлемых вычислительных затрат
• Аппроксимация низкого ранга при большом D для избежания численной нестабильности
• Ограниченная скалярная оптимизация для решения f ∈ 0,1

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

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

Верификация на Sycamore 12 кубитов

• Диапазон оценки верности: f ≃ 0.45-0.50, согласуется с тестированием кросс-энтропии
• Усреднение между схемами: Оценка верности при фиксированном ранге находится в узком диапазоне f ≈ 0.47-0.49
• Анализ отдельных схем: Вариация верности отдельных схем f ≈ 0.44-0.52, отражающая различия в шуме между схемами

Верификация масштабируемости

• Масштабирование ошибок: Ошибка оценки масштабируется как 1/N с размером системы, соответствуя теоретическим предсказаниям
• Ширина правдоподобия: Масштабируется как ~f²/(√kM), становясь более острой с увеличением размера системы
• Робастность рангов: Разреженная выборка рангов отличается менее чем на 0.01 от полного набора рангов

Производительность при конечной выборке

Требования к выборке

Традиционные методы требуют масштабирования количества выборок как: $S \gtrsim \frac{2^N}{\varepsilon_{rel}^2 N}$

Данный метод надёжно оценивает верность при значительно меньших объёмах выборки.

Коэффициент улучшения

Оценитель на основе подсчётов улучшает требования к выборке на коэффициент f/K, где K — количество сохранённых рангов.

Абляционные исследования

• Сравнение наборов рангов: k = {1,2,3,5,6} vs k = {3,4,5,6}, без значительных различий в точности оценки
• Влияние количества рангов: Удвоение количества рангов снижает требуемое количество выборок примерно вдвое
• Зависимость от уровня шума: Верификация производительности при различных уровнях верности f = 0.1, 0.3, 0.5

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

Оценка квантовой верности

• Квантовая томография состояния: Полная реконструкция, но не масштабируемая
• Прямая оценка верности: Эффективная, но ограничена малыми системами
• Тестирование кросс-энтропии: Требует классического моделирования, вычислительно дорогостоящее

Статистика квантовой случайности

• Распределение Портера-Томаса: Универсальная характеристика хаотических квантовых систем
• Квантовые пятна: Уникальные отпечатки интерференционных структур
• Статистика экстремальных значений: Применение в квантовых системах

Моделирование шума

• Деполяризующий канал: Основной источник ошибок в крупномасштабных схемах
• Случайная компиляция: Усреднённое поведение ошибок при поворотах Паули
• Когерентные vs некогерентные ошибки: Влияние различных типов шума

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

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

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

Ограничения

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

Направления будущих исследований

1. Статистика высшего порядка: Исследование статистики высшего порядка для повышения точности оценки
2. Байесовский вывод: Более продвинутые методы вывода
3. Оптимизация рангов: Оптимизация стратегии выбора рангов
4. Расширенные модели шума: Обработка более сложных структур шума
5. Другие диагностические приложения: Применение статистики порядков к другим задачам квантовой диагностики

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

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

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

Недостатки

1. Ограничения области применения: Применим в основном к хаотическим квантовым схемам; применимость к структурированным схемам неизвестна
2. Упрощение модели шума: Предположение о деполяризующем шуме может быть чрезмерно упрощённым
3. Грубая обработка корреляций: Обработка корреляций между рангами относительно грубая
4. Ограничение масштаба экспериментов: Верификация на Sycamore ограничена 12 кубитами; отсутствуют экспериментальные верификации на большем масштабе

Влияние

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

Сценарии применения

1. Верификация квантового преимущества: Верификация производительности крупномасштабных квантовых схем
2. Тестирование NISQ-устройств: Оценка верности среднемасштабных шумящих квантовых устройств
3. Разработка квантовых алгоритмов: Мониторинг производительности хаотических квантовых алгоритмов
4. Оптимизация квантового оборудования: Направление улучшений оборудования через обратную связь по верности

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

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

• Оригинальные статьи экспериментов квантового преимущества Google
• Классическую литературу по распределению Портера-Томаса и квантовому хаосу
• Передовые методы оценки квантовой верности
• Математические основы теории экстремальных значений

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