Контрактивные унитарные и классическая томография теней

Предпосылки и академическая родословная

Происхождение и академическая родословная

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

Значительным прорывом в решении этой проблемы стало появление "классической томографии теней", впервые предложенной Ааронсоном в 2018 году [12]. Этот подход значительно снижает "сложность выборки" — количество необходимых измерений — для предсказания многих свойств квантового состояния без необходимости его полной реконструкции. Классическая томография теней обычно включает применение случайных унитарных операций к квантовому состоянию, его измерение и последующее использование этих "классических снимков" для вывода свойств.

Несмотря на значительный прогресс, достигнутый классической томографией теней, сохранялось одно ключевое ограничение: снижение сложности выборки ниже масштаба $2^k$ для извлечения свойств локальных операторов размера $k$. Предыдущие методы, в частности те, которые полагались на случайные клиффордовские вращения, обычно достигали сложности выборки, масштабирующейся как $2^k$ (или $k \times 2^k$ при рассмотрении неизвестных местоположений операторов). Этот масштаб $2^k$ остается существенной "болевой точкой", поскольку он по-прежнему требует значительных ресурсов для больших $k$, препятствуя эффективной характеризации сложных квантовых многочастичных состояний. Авторы данной статьи были мотивированы исследовать новые стратегии в рамках классической томографии теней для преодоления этого барьера $2^k$ и достижения более эффективного масштабирования.

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

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

• Томография квантового состояния (QST): Представьте, что у вас есть таинственный, сложный объект, и вы хотите знать о нем все — его точную форму, внутреннюю структуру и каждую мельчайшую деталь. QST подобна полному 3D-сканированию высокого разрешения этого объекта. Это дает вам идеальный чертеж, но это невероятно трудоемко и дорого для очень больших или замысловатых объектов.
• Классическая томография теней: Вместо полного 3D-сканирования представьте, что вам нужно знать только несколько конкретных вещей о вашем таинственном объекте, например, его вес, симметричен ли он или плавает ли он. Классическая томография теней подобна получению нескольких тщательно выбранных "теней" или 2D-фотографий под разными углами. По этим снимкам нельзя реконструировать весь объект, но можно точно предсказать многие его свойства с гораздо меньшими усилиями, чем при полном сканировании.
• Сложность выборки: Это относится к тому, сколько раз вам нужно повторить эксперимент или провести измерение, чтобы получить надежный ответ. Если вы пытаетесь выяснить средний рост людей в городе, сложность выборки — это количество людей, рост которых вам нужно измерить. Более низкая сложность выборки означает, что вам нужно меньше измерений для получения хорошей оценки.
• Оператор Паули-строки: Думайте об этом как об очень специфическом "вопросе", который вы можете задать квантовой системе. Например: "Вращается ли кубит 1 вверх И кубит 3 вращается вниз в определенном направлении?" Паули-строка — это последовательность таких простых вопросов, применяемых к разным частям системы. "Размер" строки указывает, сколько кубитов участвует в вопросе.
• Контрактивный унитарный оператор: Это особый вид квантовой операции, своего рода "компрессор данных" или "упроститель". Его задача — брать сложные операторы Паули-строк и делать их "меньше" или менее замысловатыми. Упрощая эти операторы, контрактивный унитарный оператор делает измерение свойств квантовой системы намного проще и быстрее, тем самым снижая общую сложность выборки.

Таблица обозначений

Обозначение	Описание
$\hat{O}$	Оператор Паули-строки (наблюдаемая величина), математическое ожидание которой подлежит оценке.
$\rho$	Квантовое состояние системы.
$k$	Размер локального оператора / количество кубитов в подсистеме, на которую действует $\hat{O}$.
$N$	Общее количество кубитов в квантовой системе.
$\hat{U}$	Общий унитарный оператор, применяемый к квантовому состоянию.
$\hat{U}_{ct}$	Полный контрактивный унитарный оператор для $k$ кубитов, построенный из двухкубитных контрактивных унитарных операторов.
$\hat{U}_{ij}$	Двухкубитный контрактивный унитарный оператор, действующий на кубиты $i$ и $j$, определяемый как $\exp(i\frac{\pi}{4} \hat{Z}_i\hat{Z}_j)$.
$\mathcal{E}_U$	Ансамбль унитарных операторов (например, случайный клиффордовский, контрактивный унитарный), из которого выбирается или строится $\hat{U}$.
$||\hat{O}||^2_{\mathcal{E}_U}$	Норма тени квадрата наблюдаемой $\hat{O}$, усредненная по ансамблю $\mathcal{E}_U$, напрямую количественно определяющая сложность выборки.
$w(\hat{O}_U)_{\mathcal{E}_U}$	Вес Паули для эволюционировавшего оператора $\hat{O}_U = \hat{U}\hat{O}\hat{U}^\dagger$, усредненный по ансамблю $\mathcal{E}_U$.
$\pi(m)_{\mathcal{E}_U}$	Распределение размера эволюционировавшего оператора $\hat{O}_U$, представляющее вероятность того, что $\hat{O}_U$ имеет размер $m$.
$m$	Размер оператора, определяемый как количество неединичных операторов Паули в Паули-строке.
$N_{xy}$	Общее количество операторов $\hat{X}$ и $\hat{Y}$ в Паули-строке $\hat{O}$.
$\sigma_U(z)$	Классический снимок матрицы плотности, реконструированный по одному результату измерения $z$.
$M$	Количество классических снимков (измерений), собранных для оценки математического ожидания.
$D[\langle \hat{O} \rangle]$	Дисперсия математического ожидания $\hat{O}$.

Определение проблемы и ограничения

Основная постановка задачи и дилемма

Вход / Текущее состояние: Текущий ландшафт характеризации квантовых состояний доминируется проблемой эффективного описания сложных квантовых многочастичных состояний. В то время как полная томография квантового состояния требует экспоненциально растущего количества измерений с размером системы, что делает ее непрактичной для крупномасштабных квантовых устройств, классическая томография теней предлагает значительное улучшение. Этот метод снижает сложность выборки — количество измерений, необходимых для оценки свойств состояния — путем применения случайных клиффордовских вращений перед измерениями. Однако, несмотря на эти достижения, остается постоянная проблема: снижение сложности выборки ниже $2^k$ для извлечения свойств любых непоследовательных локальных операторов размера $k$. Этот масштаб $2^k$ все еще слишком высок для практических приложений, включающих большее количество кубитов.

Выход / Целевое состояние: Основная цель данной статьи — достичь существенно меньшей сложности выборки для оценки свойств квантовых состояний, в частности, локальных операторов размера $k$. Авторы стремятся снизить эту сложность с текущего масштаба $2^k$ до улучшенного масштаба $\sim 1.8^k$. Это снижение достигается за счет нового протокола, который стратегически сочетает локально случайные и глобально детерминированные унитарные операции.

Точное недостающее звено / Математический пробел: Основным математическим пробелом, который устраняется данной статьей, является отсутствие оптимального глобального унитарного оператора $\hat{U}$, который мог бы более эффективно "сжимать" распределение размеров эволюционировавших операторов Паули-строк $\hat{O}_U = \hat{U}\hat{O}\hat{U}^\dagger$. Существующие протоколы классической томографии теней часто полагаются на максимально перемешивающие случайные унитарные операторы (такие как случайные клиффордовские вентили), которые приводят к масштабированию нормы тени $2^k$. Статья определяет недостающее звено как открытие детерминированного глобального унитарного оператора, названного "контрактивным унитарным оператором", способного более эффективно уменьшать размер оператора, чем эти чисто случайные ансамбли. Математически задача состоит в том, чтобы найти $\hat{U}$, минимизирующий норму тени $||\hat{O}||_{\mathcal{E}_U}^2$, которая напрямую связана с распределением размеров оператора $\pi(m)$ эволюционировавшего оператора $\hat{O}_U$, как сформулировано в Уравнении (1):
$$||\hat{O}||_{\mathcal{E}_U}^2 = w(\hat{O}_U)_{\mathcal{E}_U}, \quad w(\hat{O}_U)_{\mathcal{E}_U} = \sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m}$$
Вклад статьи заключается в нахождении $\hat{U}$, которое дает распределение размеров $\pi(m)$, предпочтительно сосредоточенное в меньших значениях $m$, тем самым снижая норму тени и, следовательно, требуемую сложность выборки.

Болезненный компромисс / Дилемма: Центральная дилемма, которая исторически ограничивала исследователей в классической томографии теней, — это присущий компромисс между достижением общей, несмещенной схемы измерения и минимизацией сложности выборки. Максимально перемешивающие случайные унитарные операторы используются для обеспечения того, чтобы все операторы могли измеряться на равных условиях, эффективно устраняя зависимость от локального базиса. Хотя этот подход обеспечивает общность и надежность, он приводит к биномиальному распределению размеров операторов и норме тени $2^k$. Болезненный компромисс заключается в том, что это "максимальное перемешивание", обеспечивая широкую применимость, может быть не самой эффективной стратегией для снижения сложности выборки для всех типов операторов, особенно для локальных Паули-строк. Ключевое понимание авторов заключается в том, что гибридный случайный-детерминированный протокол, включающий "контрактивный унитарный оператор", может обойти этот компромисс. Этот подход избирательно сжимает размеры операторов более эффективно, чем чисто случайные методы, тем самым достигая лучшего баланса между общностью и эффективностью измерения.

Ограничения и режимы отказа

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

Физические ограничения:
* Экспоненциальное масштабирование ресурсов: Фундаментальным физическим ограничением является то, что полная томография квантового состояния требует экспоненциально растущего количества измерений с размером системы. Это делает ее непрактичной для квантовых устройств с более чем несколькими сотнями кубитов, что требует альтернативных методов, таких как классическая томография теней.
* Реализуемость на оборудовании: Предлагаемый контрактивный унитарный оператор должен быть практически реализуем на текущих и будущих платформах квантовых вычислений. Авторы подчеркивают, что их контрактивный унитарный оператор "идеально соответствует преимуществам платформы квантовых вычислений на атомных массивах и легко реализуется в квантовом процессоре на атомных массивах". Это подразумевает строгое ограничение на типы вентилей и операций, которые могут быть эффективно выполнены существующим оборудованием.
* Сложность и глубина схемы: Для практического развертывания контрактивный унитарный оператор $\hat{U}_{ct}$ должен иметь низкую сложность схемы. Хотя может показаться, что он включает $\sim k^2$ вентилей для $k$-кубитной системы, статья отмечает, что он "опирается только на детерминированные и взаимно коммутирующие двухкубитные вентили" и может быть реализован максимум за $k-1$ шагов физических операций" на платформах атомных массивов благодаря их возможностям параллельного выполнения вентилей. Для платформ с ограниченной связностью, таких как сверхпроводящие кубиты, авторы показывают, что добавление одного вспомогательного кубита позволяет разложить схему на $k$ шагов локальных вентилей, обеспечивая линейную зависимость глубины схемы от $k$. Это критические ограничения для осуществимости протокола.

Вычислительные ограничения:
* Целевая сложность выборки: Основным вычислительным ограничением является императив снижения сложности выборки с $2^k$ до более управляемого масштаба, в частности $\sim 1.8^k$. Большая норма тени напрямую требует большего количества классических снимков для снижения дисперсии предсказаний, тем самым увеличивая вычислительные затраты, связанные с приобретением и обработкой данных.
* Пределы классического моделирования: Для квантовых систем с $k \sim 100$ кубитами, которые теперь достижимы на современных квантовых платформах, классическое моделирование становится "непрактичным для обычного моделирования". Это означает, что любое предлагаемое квантовое решение должно быть достаточно эффективным, чтобы быть полезным на реальном квантовом оборудовании, поскольку классическая проверка или полное моделирование не являются жизнеспособным вариантом.

Ограничения, основанные на данных, и режимы отказа:
* Предварительное знание местоположения оператора: Первоначальная формулировка протокола контрактивного унитарного оператора предполагает предварительное знание точного местоположения, где действуют операторы. Это значительное ограничение, основанное на данных, поскольку во многих реальных приложениях (например, оценка энергии) эта информация часто неизвестна.
* Отказ наивного расширения: Наивное расширение контрактивного унитарного оператора на сценарии без предварительного знания местоположений операторов (путем его применения ко всей системе) парадоксально приведет к еще большей норме тени, чем протокол случайных клиффордовских операторов ($\sim 2^N$ для $N$ общих кубитов). Это представляет собой критический режим отказа, который авторы устраняют с помощью "скользящего трюка" для поддержания эффективности, когда местоположения операторов неизвестны. Без этого трюка преимущества контрактивного унитарного оператора были бы утеряны для широкого класса задач.
* Непоследовательные локальные операторы: Проблема специально нацелена на характеризацию "непоследовательных локальных операторов размера $k$". Это подразумевает, что решение должно быть надежным и эффективным даже для операторов, которые не являются смежными или простыми по своей структуре.

Почему этот подход

Неизбежность выбора

Авторы данной статьи столкнулись с фундаментальным препятствием в квантовой информации: полная характеризация сложных квантовых состояний, процесс, известный как полная томография квантового состояния, требует экспоненциального количества измерений относительно размера системы. Этот экспоненциальный масштаб делает его непрактичным для более крупных квантовых устройств, которые мы строим сегодня. Классическая томография теней (CST) стала значительным прорывом, резко сократив сложность выборки за счет применения случайных клиффордовских вращений перед измерениями. Однако даже с этим достижением оставалась критическая проблема: снижение сложности выборки ниже $2^k$ для оценки свойств непоследовательных локальных операторов размера $k$.

В тот момент, когда авторы осознали, что традиционные методы "передового уровня" (SOTA), такие как стандартные протоколы случайных клиффордовских операторов, недостаточны, они выявили этот постоянный масштаб $2^k$. Несмотря на эффект перемешивания случайных клиффордовских унитарных операторов, который распределяет вес оператора по многим Паули-строкам, результирующая норма тени (мера сложности выборки) все еще масштабировалась как $2^k$. Это означало, что для больших $k$ требуемое количество измерений оставалось непомерно высоким. Авторы явно поставили вопрос: "Сложный вопрос заключается в том, существуют ли другие выборы глобальных унитарных операторов, которые могут превзойти максимально перемешивающий случайный унитарный оператор и привести к меньшей норме тени по сравнению с $\sim 2^k$." Сам этот вопрос подчеркивает недостаточность существующих методов и необходимость нового подхода. "Контрактивный унитарный оператор" был задуман как прямой ответ на это, специально разработанный для более эффективного уменьшения размера оператора и, следовательно, достижения более низкой нормы тени.

Сравнительное превосходство

Подход с контрактивным унитарным оператором предлагает качественное превосходство над предыдущими золотыми стандартами в классической томографии теней, выходящее за рамки простого численного улучшения. Его основное структурное преимущество заключается в способности детерминированно сжимать размер оператора. В отличие от случайных клиффордовских унитарных операторов, которые максимально перемешивают операторы, приводя к широкому биномиальному распределению размеров, пик которого приходится на $3k/4$, и норме тени $2^k$, контрактивный унитарный оператор сконструирован для активного уменьшения размера определенных операторов Паули-строк. Например, он может преобразовать четыре оператора Паули размера 2 в операторы размера 1. Это целенаправленное сжатие приводит к распределению размеров, пик которого приходится на меньшие размеры операторов (например, $m/k \approx 2/3$ для нечетных $N_{XY}$ и пик в виде дельта-функции при $k$ для четных $N_{XY}$), что, согласно теории норм теней, напрямую транслируется в меньшую сложность выборки.

Это структурное преимущество является глубоким: оно снижает сложность выборки с $\sim 2^k$ (для случайного клиффордовского оператора) до $\sim 1.8^k$ (или $k \times 1.8^k$ при неизвестных местоположениях операторов). Для системы с $k \sim 100$ кубитами это означает замечательное "более чем 10-кратное улучшение" требуемых ресурсов выборки. Кроме того, статья подчеркивает, что этот метод демонстрирует "устойчивость к квантовому шуму", сохраняя свое преимущество в масштабировании даже в шумных средах, что является критическим качественным преимуществом для реальных квантовых устройств. Еще одним значительным структурным преимуществом является его низкая сложность схемы; он опирается исключительно на детерминированные и взаимно коммутирующие двухкубитные вентили, что делает его весьма подходящим для текущего квантового оборудования.

Соответствие ограничениям

Выбранный метод контрактивного унитарного оператора идеально соответствует строгим требованиям эффективной характеризации квантовых состояний. Основным ограничением проблемы является экспоненциальная стоимость измерений полной томографии квантового состояния и необходимость снижения сложности выборки для оценки свойств многочастичных квантовых состояний. Контрактивный унитарный оператор напрямую решает эту проблему, достигая масштабирования сложности выборки $\sim 1.8^k$ (или $k \times 1.8^k$ с "скользящим трюком"), что является существенным улучшением по сравнению с масштабированием $\sim 2^k$ предыдущих методов. Этот "брак" между жесткими требованиями проблемы и уникальными свойствами решения очевиден в его целевой задаче: быть "более эффективным в уменьшении размера оператора для повышения эффективности томографии".

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

Отклонение альтернатив

Статья неявно, но убедительно отвергает другие популярные подходы в рамках классической томографии теней из-за их количественной неполноценности в достижении желаемой сложности выборки. Основной обсуждаемой альтернативой является протокол полностью случайных клиффордовских операторов, который был предыдущим SOTA. Хотя случайные клиффордовские унитарные операторы стали прорывом в снижении затрат на томографию, они все же привели к норме тени, масштабирующейся как $2^k$. Вся мотивация авторов проистекает из того факта, что этот масштаб $2^k$ был "недостаточным" для задачи извлечения непоследовательных локальных операторов размера $k$ ниже этого предела. Контрактивный унитарный оператор был специально разработан для того, чтобы превзойти этот масштаб $2^k$, оптимизируя детерминированную компоненту унитарного оператора для более эффективного сжатия размера оператора.

Аналогично, в статье упоминаются "протоколы с мелкой схемой" как еще одна альтернатива. Однако Таблица I четко показывает, что протокол с мелкой схемой дает сложность выборки $> 2^k$ для известных местоположений операторов и $k \times 2^k$ для неизвестных местоположений. Это делает его менее эффективным, чем как случайный клиффордовский, так и, критически, протокол контрактивного унитарного оператора. Следовательно, эти альтернативы не были выбраны, потому что они не соответствовали критическому требованию достижения масштабирования ниже $2^k$ для сложности выборки, которое успешно обеспечивает контрактивный унитарный оператор. Статья не обсуждает другие парадигмы машинного обучения, такие как GAN или диффузионные модели, поскольку они не применимы напрямую к задаче томографии квантового состояния в том же контексте, что и классические тени.

FIG. 1.

Математический и логический механизм

Основное уравнение

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

$$ ||\hat{O}||^2_{\mathcal{E}_U} = w(\hat{O}_U)_{\mathcal{E}_U} = \sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m} $$

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

$$ \hat{U}_{12} = \exp\left(i\frac{\pi}{4} \hat{Z}_1\hat{Z}_2\right) $$

И его влияние на размер оператора для $k$-кубитной Паули-строки $\hat{O}$ под действием полного контрактивного унитарного оператора $\hat{U}_{ct}$ описывается как:

$$ m = \text{Size}(\hat{U}_{ct} \hat{O} \hat{U}_{ct}^\dagger) = \begin{cases} N_{xy} & \text{if } N_{xy} \in \text{odd}, \\ k & \text{if } N_{xy} \in \text{even}. \end{cases} $$

Наконец, результирующий вес Паули для контрактивного унитарного оператора, который напрямую связан с нормой тени, задается как:

$$ w(\hat{O})_{ct} = \frac{1}{2 \cdot 3^k} \left[ \frac{(-1)^k + 1}{9^k} + \left(\frac{5}{9}\right)^k \right] $$

Потермный разбор

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

Для основного уравнения (Норма тени):
$$ ||\hat{O}||^2_{\mathcal{E}_U} = w(\hat{O}_U)_{\mathcal{E}_U} = \sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m} $$

• $||\hat{O}||^2_{\mathcal{E}_U}$: Этот член представляет собой норму тени в квадрате наблюдаемой $\hat{O}$, усредненную по ансамблю унитарных операторов $\mathcal{E}_U$.

  • Математическое определение: По сути, это дисперсия оценщика, используемого для предсказания математического ожидания $\hat{O}$. Меньшая норма тени подразумевает меньшую дисперсию в предсказаниях.
  • Физическая/логическая роль: Это показатель эффективности протокола классической томографии теней. Он напрямую характеризует сложность выборки — сколько снимков измерений необходимо для оценки $\hat{O}$ с определенной точностью. Основная цель данной статьи — уменьшить это значение.
  • Почему в квадрате? Дисперсия по своей природе является величиной в квадрате, отражающей разброс возможных исходов.

• $w(\hat{O}_U)_{\mathcal{E}_U}$: Это вес Паули эволюционировавшего оператора $\hat{O}_U$, усредненный по ансамблю унитарных операторов $\mathcal{E}_U$.

  • Математическое определение: Это средняя мера того, насколько "разбросанным" или "перемешанным" становится оператор $\hat{O}$ после преобразования унитарным оператором из ансамбля $\mathcal{E}_U$.
  • Физическая/логическая роль: Этот член прямо пропорционален норме тени. Уменьшение веса Паули — это механизм, посредством которого снижается сложность выборки. Авторы нашли способ сделать этот вес меньше, чем в предыдущих методах.

• $\sum_m$: Это суммирование по всем возможным размерам операторов $m$.

  • Математическое определение: Дискретная сумма.
  • Физическая/логическая роль: Когда начальный оператор Паули-строки $\hat{O}$ эволюционирует под действием унитарного оператора $\hat{U}$, он может трансформироваться в суперпозицию Паули-строк различных размеров. Это суммирование учитывает вклады от всех этих возможных эволюционировавших размеров.
  • Почему суммирование вместо интеграла? Размер оператора $m$ (количество неединичных операторов Паули) является дискретной целой величиной, поэтому сумма является естественной математической операцией.

• $\pi(m)_{\mathcal{E}_U}$: Это распределение размеров эволюционировавшего оператора $\hat{O}_U$, усредненное по ансамблю унитарных операторов $\mathcal{E}_U$.

  • Математическое определение: Оно представляет вероятность того, что эволюционировавший оператор $\hat{O}_U$ имеет размер $m$. Для оператора $\hat{O}_U = \sum_P c_P P$ (где $P$ — Паули-строки), $\pi(m) = \sum_{\text{Size}(P)=m} |c_P|^2$.
  • Физическая/логическая роль: Это распределение показывает, как унитарное преобразование влияет на "сложность" оператора. Если унитарный оператор может сместить это распределение в сторону меньших значений $m$, он напрямую уменьшает норму тени. Это центральная идея "контрактивного унитарного оператора".

• $3^m$: Этот член появляется в знаменателе.

  • Математическое определение: Экспоненциальный множитель.
  • Физическая/логическая роль: Этот член возникает из свойств измерений Паули. Для Паули-строки размера $m$ существует $3^m$ возможных неединичных операторов Паули (X, Y, Z), которые могут действовать на эти $m$ кубитов. Этот член эффективно наказывает большие размеры операторов: больший $m$ делает $1/3^m$ меньше, но если $\pi(m)$ значителен для больших $m$, общий вклад в норму тени все равно может быть большим. Цель — сделать $\pi(m)$ сконцентрированным в малых значениях $m$.

Для контрактивного унитарного оператора $\hat{U}_{12}$ (Уравнение 2):
$$ \hat{U}_{12} = \exp\left(i\frac{\pi}{4} \hat{Z}_1\hat{Z}_2\right) $$

• $\hat{U}_{12}$: Это двухкубитный контрактивный унитарный оператор.

  • Математическое определение: Унитарный оператор, действующий на кубиты 1 и 2.
  • Физическая/логическая роль: Этот конкретный вентиль является фундаментальным строительным блоком детерминированного унитарного оператора авторов. Он выбран из-за его особых коммутационных соотношений с операторами Паули, которые позволяют ему "сжимать" размеры операторов. Он эквивалентен вентилю контролируемого Z (CZ) с точностью до локальных вращений.

• $\exp(\dots)$: Матричная экспонента.

  • Математическое определение: Определяет унитарный оператор из эрмитова генератора. Для эрмитова оператора $H$, $U = \exp(iH)$ является унитарным.
  • Физическая/логическая роль: Это стандартный способ построения квантовых вентилей из гамильтонианов взаимодействия или генераторов в квантовой механике.

• $i$: Мнимая единица.

  • Математическое определение: $\sqrt{-1}$.
  • Физическая/логическая роль: Необходима для обеспечения унитарности квантовых операций и комплексной природы квантовых состояний.

• $\frac{\pi}{4}$: Постоянный фазовый множитель.

  • Математическое определение: Определенный угол.
  • Физическая/логическая роль: Это конкретное значение определяет силу и тип двухкубитного взаимодействия. Для $\hat{Z}_1\hat{Z}_2$, $\pi/4$ является распространенным выбором для запутывающих вентилей.

• $\hat{Z}_1$: Оператор Паули Z, действующий на кубит 1.

  • Математическое определение: Матрица $2 \times 2$, обычно $\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}$ в вычислительном базисе.
  • Физическая/логическая роль: Фундаментальный однокубитный оператор Паули, представляющий измерение в базисе Z.

• $\hat{Z}_2$: Оператор Паули Z, действующий на кубит 2.

  • Математическое определение: Аналогично $\hat{Z}_1$, но действует на второй кубит.
  • Физическая/логическая роль: Аналогично $\hat{Z}_1$, но на другом кубите.

• $\hat{Z}_1\hat{Z}_2$: Тензорное произведение операторов Паули Z на кубитах 1 и 2.

  • Математическое определение: $\hat{Z}_1 \otimes \hat{Z}_2$.
  • Физическая/логическая роль: Представляет двухкубитное взаимодействие или корреляцию. Это конкретное взаимодействие позволяет "сжимать" размеры операторов при эволюции других операторов Паули через него.

Для сжатия размера оператора (Уравнение 3):
$$ m = \text{Size}(\hat{U}_{ct} \hat{O} \hat{U}_{ct}^\dagger) = \begin{cases} N_{xy} & \text{if } N_{xy} \in \text{odd}, \\ k & \text{if } N_{xy} \in \text{even}. \end{cases} $$

• $m$: Новый размер эволюционировавшего оператора.

  • Математическое определение: Целочисленное количество неединичных операторов Паули.
  • Физическая/логическая роль: Это прямой результат применения контрактивного унитарного оператора. Цель — сделать этот $m$ как можно меньше.

• $\text{Size}(\dots)$: Функция размера оператора.

  • Математическое определение: Функция, подсчитывающая количество неединичных операторов Паули в Паули-строке.
  • Физическая/логическая роль: Это метрика, используемая для количественной оценки "разброса" или "сложности" оператора.

• $\hat{U}_{ct}$: Полный контрактивный унитарный оператор для $k$ кубитов.

  • Математическое определение: Определяется как $\prod_{i
  • Физическая/логическая роль: Это полная детерминированная унитарная операция, применяемая к $k$-кубитной подсистеме. Его конкретная конструкция из коммутирующих двухкубитных вентилей является ключом к его эффективности.

• $\hat{O}$: Начальный оператор Паули-строки.

  • Математическое определение: Тензорное произведение $k$ операторов Паули (X, Y, Z, I).
  • Физическая/логическая роль: Это наблюдаемая величина, математическое ожидание которой мы хотим оценить. Это входные данные для унитарной эволюции.

• $\hat{U}_{ct}^\dagger$: Эрмитово сопряжение $\hat{U}_{ct}$.

  • Математическое определение: Обратный унитарный оператор.
  • Физическая/логическая роль: Унитарная эволюция оператора $\hat{O}$ дается как $\hat{U}\hat{O}\hat{U}^\dagger$.

• $N_{xy}$: Общее количество операторов X и Y в начальной Паули-строке $\hat{O}$.

  • Математическое определение: Целочисленный счетчик.
  • Физическая/логическая роль: Это критическое свойство начального оператора, которое определяет, как действует контрактивный унитарный оператор. Четность (нечетная или четная) $N_{xy}$ определяет, сжимается ли размер оператора или остается неизменным.

• $k$: Количество кубитов в подсистеме.

  • Математическое определение: Целое число.
  • Физическая/логическая роль: Это начальный размер оператора, предполагая, что это Паули-строка размера $k$ (т.е. изначально нет единичных операторов).

• if $N_{xy} \in \text{odd}$: Это условное выражение описывает сжатие.

  • Физическая/логическая роль: Если начальный оператор имеет нечетное количество компонентов X или Y, контрактивный унитарный оператор эффективно преобразует все операторы Z в единичные операторы, уменьшая размер оператора с $k$ до $N_{xy}$. Это основной механизм уменьшения нормы тени.

• if $N_{xy} \in \text{even}$: Это условное выражение описывает отсутствие сжатия для операторов Z.

  • Физическая/логическая роль: Если начальный оператор имеет четное количество компонентов X или Y, операторы Z остаются Z, и размер оператора остается $k$. Контрактивный унитарный оператор в этом конкретном случае для операторов Z не помогает, но и не увеличивает размер.

Для веса Паули контрактивного унитарного оператора (Уравнение 4):
$$ w(\hat{O})_{ct} = \frac{1}{2 \cdot 3^k} \left[ \frac{(-1)^k + 1}{9^k} + \left(\frac{5}{9}\right)^k \right] $$

• $w(\hat{O})_{ct}$: Вес Паули эволюционировавшего оператора $\hat{O}_{ct}$, усредненный по ансамблю Паули-операторов размера $k$.

  • Математическое определение: Это рассчитанный средний вес Паули при использовании контрактивного унитарного оператора. Это частный случай $w(\hat{O}_U)_{\mathcal{E}_U}$ из основного уравнения.
  • Физическая/логическая роль: Это значение напрямую определяет масштабирование нормы тени. Авторы показывают, что это значение масштабируется как $\sim 1.8^k$, что лучше, чем масштаб $\sim 2^k$ случайных клиффордовских унитарных операторов.

• $\frac{1}{2 \cdot 3^k}$: Общий множитель масштабирования.

  • Математическое определение: Обратная экспонента.
  • Физическая/логическая роль: Это нормализующий множитель, связанный с общим количеством Паули-строк на $k$ кубитах.

• $\frac{(-1)^k + 1}{9^k}$: Этот член вносит вклад, когда $N_{xy}$ четное.

  • Математическое определение: Член, зависящий от $k$.
  • Физическая/логическая роль: Эта часть выражения учитывает вклад в вес Паули от начальных операторов, где количество компонентов X и Y ($N_{xy}$) четное. В этом сценарии операторы Z не сжимаются, и размер оператора остается $k$.

• $\left(\frac{5}{9}\right)^k$: Этот член вносит вклад, когда $N_{xy}$ нечетное.

  • Математическое определение: Член, зависящий от $k$.
  • Физическая/логическая роль: Это ключевой член, обеспечивающий улучшенное масштабирование. Он учитывает вклад от начальных операторов, где $N_{xy}$ нечетное, что приводит к сжатию операторов Z и меньшему эффективному размеру оператора. Основание экспоненты этого члена $5/9 \approx 0.55$ является причиной масштабирования $1.8^k$, в отличие от масштабирования $2^k$ от случайных клиффордовских унитарных операторов.
  • Почему сложение? Эти два члена представляют вклады от двух непересекающихся множеств начальных операторов Паули (тех, у которых $N_{xy}$ четное, и тех, у которых нечетное), поэтому их средние веса складываются.

Пошаговый поток

Представьте себе одну абстрактную точку данных, которая в данном контексте является квантовым состоянием $\rho$ на $N$ кубитах, и мы хотим оценить математическое ожидание конкретной наблюдаемой Паули-строки $\hat{O}$, действующей на $k$-кубитную подсистему. Вот как "математический движок" обрабатывает это:

1. Начальное состояние и наблюдаемая величина: Мы начинаем с квантового состояния $\rho$ и целевой наблюдаемой Паули-строки $\hat{O}$ (например, $\hat{X}_1\hat{Z}_3\hat{Y}_5$) на $k$-кубитной подсистеме. Цель — оценить $\text{Tr}(\hat{O}\rho)$.

2. Случайные однокубитные вращения: Перед применением основного унитарного оператора $k$-кубитная подсистема проходит слой случайных однокубитных вращений $\prod_i \hat{u}_{1,i}$. Эти вращения выбираются из клиффордовской группы и служат для устранения зависимости от локального базиса, гарантируя, что все операторы измеряются на равных условиях.

3. Применение контрактивного унитарного оператора: Здесь вступает в игру инновация статьи. Глобальный детерминированный унитарный оператор $\hat{U}_{ct}$ применяется к $k$-кубитной подсистеме. Этот $\hat{U}_{ct}$ сконструирован как произведение двухкубитных контрактивных унитарных операторов $\hat{U}_{ij} = \exp(i\frac{\pi}{4} \hat{Z}_i\hat{Z}_j)$ для всех пар кубитов $i, j$ в подсистеме. Цель этого шага — преобразовать наблюдаемую $\hat{O}$ в "эволюционировавший" оператор $\hat{O}_{ct} = \hat{U}_{ct} \hat{O} \hat{U}_{ct}^\dagger$. Магия здесь в том, что $\hat{U}_{ct}$ разработан для сжатия размера $\hat{O}$ для значительной части операторов. В частности, если начальный $\hat{O}$ имеет нечетное количество компонентов $\hat{X}$ или $\hat{Y}$ ($N_{xy}$ нечетное), то $\hat{U}_{ct}$ преобразует все операторы $\hat{Z}$ в $\hat{O}$ в единичные операторы, эффективно уменьшая размер оператора с $k$ до $N_{xy}$. Если $N_{xy}$ четное, размер остается $k$. Общая архитектура этого протокола, включая случайные однокубитные вращения и глобальный унитарный оператор, схематически представлена на Рисунке 1a. Рисунок 1b далее иллюстрирует, как этот контрактивный унитарный оператор изменяет распределение размеров оператора по сравнению со случайными клиффордовскими операторами.

4. Еще один слой случайных однокубитных вращений: После контрактивного унитарного оператора применяется еще один слой случайных однокубитных вращений $\prod_i \hat{u}_{2,i}$. Это завершает полную составную унитарную операцию $\hat{U}_{\text{eff}} = (\prod_i \hat{u}_{2,i}) \hat{U}_{ct} (\prod_j \hat{u}_{1,j})$.

5. Измерение в вычислительном базисе: После применения составного унитарного оператора $\hat{U}_{\text{eff}}$ к состоянию $\rho$, $k$-кубитная подсистема измеряется в вычислительном базисе. Это дает классический результат измерения, скажем $|z\rangle = |z_1, \dots, z_k\rangle$.

6. Реконструкция классического снимка: Из каждого результата измерения $|z\rangle$ реконструируется "классический снимок" матрицы плотности. Этот снимок задается как $\sigma_U(z) = \hat{U}_{\text{eff}}^\dagger |z\rangle\langle z| \hat{U}_{\text{eff}}$. Это "обратная эволюция" результата измерения.

7. Предсказание для наблюдаемой величины: Для каждого реконструированного снимка $\sigma_U(z)$ делается предсказание математического ожидания $\hat{O}$. Оно рассчитывается как $\text{Tr}(\hat{O} \sigma_U(z))$. Ключевым моментом здесь является то, что эффективный оператор $\hat{O}_{\text{eff}} = \hat{U}_{\text{eff}}^\dagger \hat{O} \hat{U}_{\text{eff}}$ имеет распределение размеров $\pi(m)$, смещенное в сторону меньших значений $m$ благодаря контрактивному унитарному оператору. Это делает расчет $\text{Tr}(\hat{O} \sigma_U(z))$ более эффективным.

8. Усреднение снимков: Шаги 2-7 повторяются много раз (скажем, $M$ раз) для сбора достаточного количества классических снимков. Окончательная оценка $\text{Tr}(\hat{O}\rho)$ получается путем усреднения этих индивидуальных предсказаний: $\frac{1}{M} \sum_{\alpha=1}^M \text{Tr}(\hat{O} \sigma_U(z^\alpha))$.

9. Снижение сложности выборки: Весь процесс разработан таким образом, что дисперсия этого оценщика, которая является нормой тени $||\hat{O}||^2_{\mathcal{E}_U}$, значительно снижается. Делая распределение размеров оператора $\pi(m)$ пиковым в меньших значениях $m$ (благодаря контрактивному унитарному оператору), член $\sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m}$ становится меньше, что приводит к меньшей норме тени и, следовательно, к меньшему количеству измерений (меньшему $M$), требуемых для заданной точности. Статья демонстрирует это снижение с масштабирования $2^k$ (случайный клиффордовский оператор) до масштабирования $1.8^k$ (контрактивный унитарный оператор).

Динамика оптимизации

"Оптимизация" в данной статье — это не итеративный процесс обучения в типичном смысле машинного обучения, а скорее сознательный выбор дизайна, основанный на теоретических прозрениях в структуру квантовых операторов и унитарных операторов. Градиенты не вычисляются, и функции потерь не минимизируются итеративно алгоритмом. Вместо этого авторы разработали превосходный механизм.

1. "Ландшафт потерь": Концептуально можно представить "ландшафт потерь", где "потери" — это норма тени $||\hat{O}||^2_{\mathcal{E}_U}$, а "параметры" — это выбор ансамбля унитарных операторов $\mathcal{E}_U$. Предыдущие работы, использующие случайные клиффордовские унитарные операторы, нашли определенную точку в этом ландшафте, дающую сложность выборки, масштабирующуюся как $2^k$.

2. "Обучение" через дизайн: Авторы "учатся", анализируя, как различные унитарные операции влияют на распределение размеров оператора $\pi(m)$. Они обнаружили, что специфический детерминированный унитарный оператор, "контрактивный унитарный оператор" ($\hat{U}_{ct}$), обладает уникальным свойством избирательного уменьшения размера операторов Паули-строк. Это теоретический прорыв, а не алгоритмический.

3. Механизм сжатия: Суть этой "оптимизации" заключается в специфических алгебраических свойствах взаимодействия $\hat{Z}_i\hat{Z}_j$. Когда оператор Паули, такой как $\hat{X}_i$ или $\hat{Y}_i$, эволюционирует под действием $\hat{U}_{ij} = \exp(i\frac{\pi}{4} \hat{Z}_i\hat{Z}_j)$, он может трансформировать другие операторы $\hat{Z}$. Например, если оператор $\hat{O}$ имеет нечетное количество компонентов $\hat{X}$ или $\hat{Y}$ ($N_{xy}$ нечетное), $\hat{U}_{ct}$ эффективно преобразует операторы $\hat{Z}$ в $\hat{O}$ в единичные операторы ($\hat{I}$). Это прямое следствие коммутационных соотношений: $\hat{U}_{ij} \hat{Z}_i \hat{U}_{ij}^\dagger = \hat{Z}_i$ и $\hat{U}_{ij} \hat{X}_i \hat{U}_{ij}^\dagger = \hat{X}_i \hat{Z}_j$. Ключевой частью является то, как эти взаимодействия распространяются по нескольким кубитам. Когда $N_{xy}$ нечетное, операторы $\hat{Z}$ эффективно "сокращаются" или становятся $\hat{I}$ из-за коллективного действия вентилей $\hat{Z}_i\hat{Z}_j$. Это уменьшает размер оператора с $k$ до $N_{xy}$.

4. Формирование распределения: Сжимая размер оператора для значительной части начальных Паули-строк, контрактивный унитарный оператор изменяет распределение размеров $\pi(m)$. Вместо того чтобы быть широко распределенным вокруг $m \approx 3k/4$ (как в случае случайных клиффордовских унитарных операторов), $\pi(m)$ теперь имеет значительный пик в меньших значениях $m$ (в частности, $N_{xy}$ для нечетных $N_{xy}$). Это смещение в сторону меньших значений $m$ напрямую уменьшает сумму $\sum_m \frac{\pi(m)_{\mathcal{E}_U}}{3^m}$, тем самым снижая норму тени.

5. Сходимость к лучшему масштабированию: "Сходимость" не является итеративной, а представляет собой демонстрацию превосходного закона масштабирования. Авторы теоретически выводят (и численно проверяют), что этот тщательно сконструированный контрактивный унитарный оператор приводит к масштабированию нормы тени $\sim 1.8^k$ (или $k \times 1.8^k$ с "скользящим трюком"), что является существенным улучшением по сравнению с масштабированием $2^k$ предыдущих методов. Это представляет собой "прыжок" в лучшую область концептуального ландшафта потерь, достигнутый благодаря разумному дизайну, а не итеративной оптимизации. Механизм по своей сути детерминирован после выбора унитарного оператора; случайность возникает только из однокубитных вращений и результатов измерений, а не из самого основного унитарного оператора.

Figure 3. The sliding trick for situations in which the location of the Pauli string operator is un- known. a, Schematics of the sliding trick. Each box represents an independent composite unitary applied to a subsystem with k qubits, as shown in Fig. 1a

Результаты, ограничения и заключение

Дизайн эксперимента и базовые линии

Для строгой проверки своих математических утверждений авторы разработали серию численных экспериментов, в основном сосредоточенных на двух типах длиннозапутанных N-кубитных состояний: состояние Гринбергера-Хорна-Зейлингера (GHZ) и одномерное кластерное (ZXZ) состояние с периодическими граничными условиями. Для этих экспериментов была выбрана подсистема из $k$ последовательных кубитов, и были сделаны предсказания для конкретных операторов Паули-строк. Для состояния GHZ целевым оператором был $\hat{O} = Z_1Z_2...Z_{k-1}Z_k$, а для состояния ZXZ — $\hat{O} = Z_1Y_2X_3X_4...X_{k-2}Y_{k-1}Z_k$. Критически важно, что эти состояния допускают эффективные представления в рамках формализма стабилизаторов, позволяя аналитически выводить точные математические ожидания, такие как $\langle \hat{O} \rangle = ((-1)^{k+1})/2$ для состояний GHZ и $\langle \hat{O} \rangle = (-1)^k$ для состояний ZXZ. Эти аналитические значения служили "строгими эталонами", с которыми сравнивались экспериментальные предсказания.

Процедура эксперимента включала несколько шагов для каждого процесса выборки. Во-первых, однокубитные вращения независимо генерировались из набора из 24 однокубитных клиффордовских вентилей. Затем применялся составной унитарный оператор, как показано на рис. 1a, после чего производилась выборка результата измерения $z^\alpha$ в вычислительном базисе. Предсказание для каждого снимка вычислялось с использованием точной нормы тени из Уравнения (1) как $O^\alpha = ||\hat{O}||^{-2} \text{Tr}(\hat{O}\sigma_U(z^\alpha))$. После сбора значительного количества снимков, в частности $N = 10^5$, окончательное предсказание математического ожидания получалось путем усреднения этих снимков: $E[\langle \hat{O} \rangle] = \sum_{\alpha=1}^N O^\alpha / N$. Стандартное отклонение этого ожидания затем оценивалось из дисперсии $D[\langle \hat{O} \rangle] = \sum_{\alpha=1}^N (O^\alpha - E[\langle \hat{O} \rangle])^2 / N$.

"Жертвами" (базовыми моделями) в этом сравнении были протоколы, использующие случайные клиффордовские операторы, которые представляют собой передовой уровень в классической томографии теней. Основные результаты были представлены для размера системы $N = 20$, с дополнительной информацией, распространяющейся на большие системы, где $k \sim 20$.

Дальнейший набор экспериментов рассматривал сценарии, где точное местоположение оператора Паули-строки неизвестно. Для этого был введен "скользящий трюк". Система из $N = n_0 k$ кубитов была разделена на $n_0$ подсистем, каждая из которых содержала $k$ кубитов. Затем унитарные операторы сдвигались вдоль одного направления на один кубит, генерируя 24 различных набора унитарных операторов. Случайным образом выбиралась структура схемы с вероятностью $1/k$. Например, оператор $\hat{O} = Z_{n_r+1}Y_{n_r+2}X_{n_r+3}X_{n_r+4}...X_{n_r+k-2}Y_{n_r+k-1}Z_{n_r+k}$ для состояния ZXZ использовался, где $n_r \in [0, N)$ было случайным целым числом. Размер системы для этих тестов составлял $N = 3k$. Базовой линией для этого сценария был протокол случайных клиффордовских операторов, также дополненный "скользящим трюком". Схемы этого "скользящего трюка" проиллюстрированы на Рисунке 3a.

Что доказывают доказательства

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

Для ситуаций, где местоположение оператора известно, Рисунки 2a и 2b предоставляют неоспоримые доказательства того, что как протокол контрактивного унитарного оператора, так и протокол случайных клиффордовских операторов дают несмещенные предсказания для математических ожиданий операторов Паули-строк. Сплошные линии, представляющие численные результаты, удивительно хорошо согласуются с черными пунктирными линиями, которые обозначают аналитически выведенные точные математические ожидания для состояний GHZ и ZXZ. Это подтверждает валидность обоих подходов с точки зрения точности.

Однако окончательное преимущество контрактивного унитарного оператора становится поразительно очевидным на Рисунках 2c и 2d, которые отображают дисперсию $D[\langle \hat{O} \rangle]$ математического ожидания оператора. Здесь протокол контрактивного унитарного оператора последовательно демонстрирует меньшее стандартное отклонение (и, следовательно, меньшую дисперсию) по сравнению с протоколом случайных клиффордовских операторов, особенно при увеличении $k$. Пунктирные линии на этих рисунках напрямую подтверждают теоретические законы масштабирования: контрактивный унитарный оператор достигает масштабирования сложности выборки примерно $2 \times 1.8^k$, в то время как протокол случайных клиффордовских операторов масштабируется как $2^k$. Это жесткое доказательство того, что их основной механизм работает на практике. Снижение с $2^k$ до $1.8^k$ является существенным; для $k \sim 100$, размера, достижимого на современных платформах квантовых вычислений, это означает более чем 10-кратное улучшение требуемых ресурсов выборки. В статье также отмечается, что протокол контрактивного унитарного оператора демонстрирует устойчивость к квантовому шуму, как показано в дополнительных материалах (Рис. S4).

Основная причина этого улучшенного масштабирования наглядно подтверждается Рисунком 1b, который иллюстрирует распределение размеров оператора $\pi(m)$. Случайный клиффордовский унитарный оператор (красная линия) максимально перемешивает оператор, приводя к широкому биномиальному распределению с пиком около $m/k \approx 3/4$. В резком контрасте, контрактивный унитарный оператор (синяя линия) приводит к распределению, пик которого приходится на меньший размер оператора, в частности, около $m/k \approx 2/3$, с дополнительным пиком в виде дельта-функции при $k$. Это более концентрированное распределение в сторону меньших размеров операторов является прямым следствием способности контрактивного унитарного оператора уменьшать размер оператора, что приводит к меньшей норме тени и, как следствие, к меньшей сложности выборки.

Даже когда точное местоположение оператора неизвестно, "скользящий трюк" в сочетании с контрактивным унитарным оператором сохраняет свое преимущество. Рисунки 3b и 3c показывают, что оба протокола, оснащенные "скользящим трюком", дают несмещенные предсказания. Критически важно, что дисперсия для контрактивного унитарного оператора со "скользящим трюком" масштабируется как $(32/19)k \times 1.8^k$, превосходя масштабирование $k \times 2^k$ протокола случайных клиффордовских операторов. Таблица I представляет собой краткое резюме, подчеркивающее превосходную сложность выборки контрактивного унитарного оператора как в сценариях с известными ($1.8^k$), так и с неизвестными ($k \times 1.8^k$) местоположениями операторов, по сравнению с протоколами случайных клиффордовских операторов ($2^k$ и $k \times 2^k$) и протоколами с мелкой схемой ($>2^k$).

Ограничения и будущие направления

Хотя протокол контрактивного унитарного оператора представляет собой значительное достижение, важно признать его текущие ограничения и рассмотреть направления для будущего развития.

Одна из заметных проблем возникает при расширении подхода на ситуации без предварительного знания местоположений операторов. "Скользящий трюк" введен для решения этой проблемы, но он добавляет множитель $k$ к сложности выборки, приводя к масштабированию $k \times 1.8^k$. Хотя это все еще превосходит $k \times 2^k$ протокола случайных клиффордовских операторов, это предполагает, что дальнейшая оптимизация может быть возможна для смягчения этого множителя $k$. Наивное применение контрактивного унитарного оператора ко всей системе (а не к подсистеме) может даже привести к увеличению нормы тени для протокола случайных клиффордовских операторов, а для контрактивного унитарного оператора — к преобразованию единичных операторов обратно в Z, что, как правило, нежелательно. Это подчеркивает необходимость тщательного проектирования при масштабировании. Кроме того, в статье отмечается, что протокол случайных клиффордовских операторов со "скользящим трюком" "все еще с трудом превосходит протокол с мелкой схемой" для достаточно больших $k$, что означает, что хотя контрактивный унитарный оператор со "скользящим трюком" лучше, случайный клиффордовский не является сильным претендентом в этом конкретном сценарии.

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

1. Оптимизация и реализация с учетом специфики оборудования: Статья подчеркивает, что контрактивный унитарный оператор идеально соответствует преимуществам платформ квантовых вычислений на атомных массивах благодаря их реконфигурируемой природе, полной связности и способности выполнять параллельные операции вентилей. Недавние экспериментальные успехи в высокоточных вентилях CZ и глобальных вентилях CZ на этих платформах делают контрактивный унитарный оператор легко реализуемым. Более того, авторы показывают, что, добавив один вспомогательный кубит, контрактивный унитарный оператор может быть разложен на $k$ шагов локальных вентилей, что делает его совместимым с платформами, такими как сверхпроводящие кубиты, имеющие ограниченную связность. Это предполагает богатое будущее для исследования дизайнов и оптимизаций контрактивных унитарных операторов, учитывающих особенности оборудования, что потенциально может привести к еще более эффективным реализациям, адаптированным к конкретным квантовым архитектурам.

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

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

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

5. Надежность и смягчение ошибок: В статье кратко упоминается устойчивость протокола к квантовому шуму. Учитывая присущую шумность современных квантовых устройств, более глубокое исследование устойчивости контрактивных унитарных операторов к различным реалистичным моделям шума (например, деполяризующий шум, дефазировка, ошибки вентилей) было бы бесценным. Разработка стратегий смягчения ошибок, специально адаптированных к этим гибридным протоколам, могла бы еще больше повысить их практическую полезность.

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

Table 1. A comparison of the sample complexity for 34 the contractive unitary protocol, the random Clifford 35 protocol, and the shallow circuits protocol for situations 36 with or without the information of the precise location 37 of the Pauli string operators ˆO. 38 Table 2. Two-qubit Pauli operators with size-2. 39