Экспериментальная демонстрация теста PBR на сверхпроводящем процессоре

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

• ID статьи: 2510.11213
• Название: Experimental Demonstration of the PBR Test on a Superconducting Processor
• Авторы: Songqinghao Yang, Haomu Yuan и Crispin H. W. Barnes (Кембриджский университет)
• Классификация: quant-ph (квантовая физика)
• Дата публикации: 14 октября 2025 г.
• Ссылка на статью: https://arxiv.org/abs/2510.11213

Аннотация

В данной работе впервые реализована экспериментальная верификация теоремы об отсутствии скрытых переменных Пьюзи-Барретта-Рудольфа (PBR) на 156-кубитном сверхпроводящем квантовом процессоре IBM Heron2 Marrakesh. Путём подготовки неортогональных квантовых состояний и их эволюции под действием тщательно скомпилированных унитарных схем исследователи проверили, может ли модель скрытых переменных квантового состояния интерпретироваться как чисто эпистемическая (отражающая незнание о некоторой потенциальной физической реальности). Для учёта дефектов реального оборудования исследователи вывели устойчивые к шуму пороги ошибок на основе моделей декогеренции, откалиброванных под производительность устройства. Результаты показывают, что подавляющее большинство соседних пар кубитов и соседних пятикубитных конфигураций дают результаты, статистически нарушающие эпистемические границы, что исключает эпистемическую интерпретацию квантовой механики.

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

Основной вопрос

Физическая интерпретация квантового состояния является центральным спором в основаниях квантовой механики. Существуют две основные точки зрения:

1. ψ-онтическая интерпретация (ψ-ontic): чистое квантовое состояние прямо соответствует физической реальности
2. ψ-эпистемическая интерпретация (ψ-epistemic): квантовое состояние представляет только знание о некоторых потенциальных физических состояниях

Значимость

Этот вопрос касается фундаментальной интерпретации квантовой механики и влияет на наше понимание природы квантовой реальности. Теорема PBR предоставляет ключевой результат об отсутствии скрытых переменных, доказывая, что при предположении независимости подготовки любая жизнеспособная модель скрытых переменных не может быть ψ-эпистемической.

Существующие ограничения

• Предыдущие эксперименты PBR проводились в основном на захваченных ионах и спиновых системах
• Отсутствуют реализации на масштабируемых коммерчески значимых квантовых платформах
• Теоретическое моделирование реального аппаратного шума недостаточно развито

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

1. Впервые реализовать тест PBR на архитектуре сверхпроводящих кубитов
2. Расширить протокол с 2-кубитных до 5-кубитных систем
3. Разработать более детальную структуру моделирования шума
4. Исследовать тест PBR как эталон квантовости для устройств NISQ

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

1. Первая реализация на сверхпроводниках: впервые реализована экспериментальная верификация теоремы PBR на 156-кубитном процессоре IBM Heron2
2. Системное расширение: расширение протокола PBR с 2-кубитных до 5-кубитных конфигураций
3. Моделирование, устойчивое к шуму: разработана комплексная структура шума, объединяющая ошибки депофляризации и модели декогеренции на основе времён T₁ и T₂
4. Анализ пространственной зависимости: систематическое исследование влияния физического расстояния между кубитами на успешность теста PBR
5. Эталонизация на уровне устройства: демонстрация того, что тест PBR может служить количественным эталоном квантовости систем NISQ

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

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

Суть теста PBR заключается в подготовке n систем, каждая из которых находится в одном из двух неортогональных состояний |ψ₀⟩ или |ψ₁⟩, с последующим проведением запутанного измерения, при котором вероятность каждого результата измерения равна нулю для определённой конфигурации входных данных.

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

Подготовка квантовых состояний

Для однокубитных состояний:

• |ψ₀⟩ = R_Y(θ)|0⟩ = cos(π/8)|0⟩ + sin(π/8)|1⟩
• |ψ₁⟩ = R_Y(-θ)|0⟩ = cos(π/8)|0⟩ - sin(π/8)|1⟩

где θ = π/4 — минимальный угол, удовлетворяющий условиям PBR.

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

Модель депофляризации:

ρ → (1-p)ρ + p/2 · I

Совокупная ошибка: ε_dep ≈ 1 - (1-p₁)^G₁(1-p₂)^G₂

Термодинамическая модель: На основе времён T₁ и T₂ для затухания амплитуды и чистой декогеренции:

• p_ad = 1 - exp(-t_g/T₁)
• p_φ = 1 - exp(-t_g/T₂)
• ε_dec ≈ n(p_ad + p_φ)

Пороги устойчивости к ошибкам

В идеальном случае вероятность запрещённого результата должна быть нулевой. В шумной среде, если вероятность каждого запрещённого результата ограничена ε_tol, то:

D(μ₀, μ₁) ≥ 1 - 2ε_tol^(1/n)

Реализация схемы

• Случай n=2 использует запутанную схему с параметрами (α=π, β=0)
• Случай n=5 расширяется на пятикубитные конфигурации
• Использован транспилятор Qiskit для оптимизации до ближайшего соседства

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

Аппаратная платформа

• Устройство: IBM Heron2 Marrakesh 156-кубитный сверхпроводящий процессор
• Встроенные вентили: CZ, SX, X, RZ, RX, ID, RZZ
• Калибровка: ежедневное получение коэффициентов ошибок вентилей, ошибок считывания и значений T₁, T₂

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

1. Соседние пары кубитов (n=2): 20 непосредственно соединённых пар кубитов
2. Соседние пятикубитные группы (n=5): 5 различных топологических конфигураций пятикубитных систем
3. Удалённые пары кубитов: систематическое увеличение физического разделения между кубитами

Параметры измерения

• 100 000 повторений для каждой схемы
• Выбор углов: θ = π/4 (минимум) и θ = 1.2π/4 (расширенный тест)

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

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

Соседние пары кубитов (n=2)

• Процент успеха: примерно 97,5% конфигураций нарушают ψ-эпистемические границы
• Коэффициент ошибок: лучший случай 0,17±0,02%, худший случай 0,56±0,03%
• Теоретическое предсказание: вероятность запрещённого результата ~10⁻²-10⁻³

Пятикубитные конфигурации (n=5)

• Успешные конфигурации имеют тенденцию к более высоким средним значениям T₁, T₂ и меньшему числу двухкубитных вентилей
• Лучший случай: 0,32±0,10%, худший случай: 0,48±0,18%

Анализ пространственной зависимости

Значительное открытие: вероятность прохождения теста PBR неуклонно снижается с увеличением физического разделения между кубитами

• Минимальное разделение: 100% успеха
• Максимальное расстояние тестирования (7 промежуточных кубитов): примерно 25% успеха
• Коэффициент ошибок возрастает с ~0,14% до более чем 6%

Пороги устойчивости к шуму

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

Пара кубитов 0 и 155 (охватывающая всё устройство) не прошла тест PBR, с результатами, статистически значительно превышающими аналитические пороги устойчивости.

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

Историческое развитие

• Теорема PBR (2012): фундаментальная теорема об отсутствии скрытых переменных, предложенная Пьюзи, Барреттом и Рудольфом
• Ранние эксперименты: в основном проводились на системах захваченных ионов и спиновых системах
• Теоретические улучшения: множество работ, улучшивших экспериментальную и теоретическую основу

Инновации данной работы

1. Первая реализация на архитектуре сверхпроводящих кубитов
2. Расширение до более крупных масштабов систем
3. Комплексное моделирование шума с учётом реального оборудования
4. Систематическое исследование влияния пространственной связности

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

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

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

Физическая интерпретация

С эпистемической точки зрения декогеренция — это процесс информации, приводящий к постепенному перекрытию распределений скрытых переменных μ₀(λ) и μ₁(λ). С онтической точки зрения волновая функция — это реальная физическая сущность, унитарная эволюция перераспределяет когерентность без индуцирования перекрытия.

Ограничения

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

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

1. Расширение на большие n или различные углы состояний
2. Применение для эталонизации новых устройств
3. Более точная характеризация коррелированных и немарковских процессов шума
4. Сравнительные исследования с квантовым объёмом и эталонами перекрёстной энтропии

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

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

1. Пионерская работа: первая реализация теста PBR на коммерчески значимой сверхпроводящей платформе
2. Комплексный анализ шума: объединение нескольких моделей шума с реалистичными границами ошибок
3. Систематическое исследование: полный спектр тестирования от соседних до удалённых кубитов
4. Практическая ценность: новый метод эталонизации для устройств NISQ

Недостатки

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

Влияние

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

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

1. Эталонизация квантовых процессоров на уровне устройства
2. Оценка квантовой когерентности и точности вентилей
3. Экспериментальная платформа для исследования основ квантовой механики
4. Справочный стандарт для предсказания производительности алгоритмов NISQ

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

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

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