2025-11-17T01:52:13.567677

Quantum circuit synthesis with SQiSW

Tang, Zhang, Sun
The primary objective of quantum circuit synthesis is to efficiently and accurately realize specific quantum algorithms or operations utilizing a predefined set of quantum gates, while also optimizing the circuit size. It holds a pivotal position in Noisy Intermediate-Scale Quantum (NISQ) computation. Historically, most synthesis efforts have predominantly utilized CNOT or CZ gates as the 2-qubit gates. However, the SQiSW gate, also known as the square root of iSWAP gate, has garnered considerable attention due to its outstanding experimental performance with low error rates and high efficiency in 2-qubit gate synthesis. In this paper, we investigate the potential of the SQiSW gate in various synthesis problems by utilizing only the SQiSW gate along with arbitrary single-qubit gates, while optimizing the overall circuit size. For exact synthesis, the upper bound of SQiSW gates to synthesize arbitrary 3-qubit and $n$-qubit gates are 24 and $\frac{139}{192}4^n(1+o(1))$ respectively, which relies on the properties of SQiSW gate in Lie theory and Quantum Shannon Decomposition. We also introduce an exact synthesis scheme for Toffoli gate using only 8 SQiSW gates, which is grounded in numerical observation. More generally, with respect to numerical approximations, we provide a theoretical analysis of a pruning algorithm to reduce the size of the searching space in numerical experiment to $\frac{1}{12}+o(1)$ of previous size, helping us reach the result that 11 SQiSW gates are enough in arbitrary 3-qubit gates synthesis up to an acceptable numerical error.
academic

Синтез квантовых схем с использованием SQiSW

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

  • ID статьи: 2412.14828
  • Название: Quantum circuit synthesis with SQiSW
  • Авторы: Jialiang Tang, Jialin Zhang, Xiaoming Sun (Институт вычислительной техники Китайской академии наук)
  • Классификация: quant-ph
  • Журнал публикации: Quantum (2025)
  • Ссылка на статью: https://arxiv.org/abs/2412.14828

Аннотация

Основная цель синтеза квантовых схем заключается в эффективной и точной реализации конкретных квантовых алгоритмов или операций с использованием предопределённого набора квантовых вентилей при одновременной оптимизации размера схемы. Это занимает ключевое место в квантовых вычислениях среднего масштаба в условиях шума (NISQ). Исторически большинство работ по синтезу использовали вентили CNOT или CZ в качестве двухкубитных вентилей. Однако вентиль SQiSW (квадратный корень из вентиля iSWAP) привлекает внимание благодаря превосходным экспериментальным характеристикам, низкому уровню ошибок и высокой эффективности при синтезе двухкубитных вентилей. В данной работе исследуется потенциал вентиля SQiSW в различных задачах синтеза, используя только вентили SQiSW и произвольные однокубитные вентили, при этом оптимизируя общий размер схемы. Для точного синтеза верхние границы вентилей SQiSW для синтеза произвольных трёхкубитных и n-кубитных вентилей составляют соответственно 24 и 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1)), что зависит от свойств вентиля SQiSW в теории Ли и квантовом разложении Шеннона. Статья также представляет схему точного синтеза вентиля Тоффоли, использующую всего 8 вентилей SQiSW, на основе численных наблюдений.

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

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

  1. Важность синтеза квантовых схем: Синтез квантовых схем является ключевой технологией для реализации квантовых алгоритмов на физических устройствах, требуя построения целевого унитарного оператора как квантовой схемы при одновременной оптимизации размера или глубины схемы.
  2. Ограничения традиционных методов:
    • Исторически основное внимание уделялось использованию вентилей CNOT в качестве двухкубитных вентилей
    • Экспериментальный уровень ошибок вентилей CNOT относительно высок, что ограничивает производительность квантовых вычислений
    • Существующие методы синтеза в основном оптимизированы для вентилей CNOT, при этом исследованиям других типов двухкубитных вентилей уделяется недостаточно внимания
  3. Преимущества вентиля SQiSW:
    • Демонстрирует более короткое время работы вентиля и более низкий уровень ошибок на сверхпроводящих квантовых процессорах
    • Верность отдельного вентиля SQiSW может достигать 99,72%, в среднем 99,31%
    • Средняя верность при синтезе произвольных двухкубитных вентилей достигает 96,38%
    • По сравнению с вентилем CNOT, примерно 79% двухкубитных вентилей могут быть синтезированы с использованием максимум 2 вентилей SQiSW

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

Исследование потенциала вентиля SQiSW при синтезе квантовых схем для предоставления более эффективных решений реализации квантовых схем для сверхпроводящих квантовых компьютеров.

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

  1. Теоретические верхние границы: Доказано, что произвольный трёхкубитный вентиль может быть синтезирован максимум с 24 вентилями SQiSW, а произвольный n-кубитный вентиль может быть синтезирован с 1391924n(1+o(1))\frac{139}{192}4^n(1+o(1)) вентилями SQiSW
  2. Точный синтез вентиля Тоффоли: Предложена схема точного синтеза вентиля Тоффоли, использующая всего 8 вентилей SQiSW
  3. Алгоритм обрезки: Предоставлен теоретический анализ алгоритма обрезки пространства поиска при численной оптимизации, сокращающий пространство поиска до 112+o(1)\frac{1}{12}+o(1) от исходного
  4. Результаты численной оптимизации: Доказано, что 11 вентилей SQiSW достаточно для синтеза произвольного трёхкубитного вентиля с приемлемой численной ошибкой

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

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

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

Основные технические методы

1. Анализ на основе теории Ли

  • KAK-разложение: Использование KAK-разложения для представления произвольного двухкубитного вентиля как класса локальной эквивалентности
  • Камера Вейля: Использование камеры Вейля для описания коэффициентов взаимодействия двухкубитных вентилей
  • Математические свойства вентиля SQiSW:
    • Коммутирует с Z⊗Z
    • Симметрия кубитов
    • SQiSW† и SQiSW локально эквивалентны

2. Квантовое разложение Шеннона

Использование рекурсивного квантового разложения Шеннона для разложения n-кубитного вентиля на меньшие вентили:

Любой n-кубитный вентиль = Мультиплексор-Rz + Мультиплексор-Ry + Мультиплексор-Rz

3. Методы оптимизации схемы

  • Поглощение диагональных вентилей: Перемещение и поглощение диагональных вентилей в соседние мультиплексоры
  • Оптимизация замены вентилей: Замена вентилей CNOT на вентили CZ для сокращения количества вентилей

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

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

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

Структура численной оптимизации

  • Целевая функция: Использование стандартной метрики расстояния E(U,V)=1−∣tr(U†V)∣2nE(U,V) = 1 - \frac{|tr(U^\dagger V)|}{2^n}
  • Пороговое значение остановки: 10−610^{-6}
  • Инструменты оптимизации: Использование пакета qfactor на Python для обучения параметрам
  • Стратегия поиска: Применение двухуровневого поиска в пространстве (пространство структуры схемы + пространство параметров)

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

  • Точный синтез: Теоретическая верхняя граница требуемого количества вентилей SQiSW
  • Численный синтез: Минимальное количество вентилей SQiSW, необходимое для достижения целевой ошибки
  • Эффективность обрезки: Кратность сокращения пространства поиска

Базовые сравнения

  • Результаты синтеза вентилей CNOT
  • Теоретическая нижняя граница
  • Существующие оптимальные методы

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

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

Содержание теорем 1-4:

Теорема 1: Произвольный трёхкубитный вентиль может быть синтезирован максимум с 24 вентилями SQiSW

  • По сравнению с 20 вентилями CNOT, увеличение составляет всего 4 вентиля
  • Экономия 40% по сравнению с простой схемой замены (40 вентилей)

Теорема 2: Произвольный n-кубитный вентиль может быть синтезирован максимум с 1391924n−3⋅2n+53\frac{139}{192}4^n - 3 \cdot 2^n + \frac{5}{3} вентилями SQiSW

  • По сравнению с 23484n(1+o(1))\frac{23}{48}4^n(1+o(1)) для вентилей CNOT, экономия составляет 24%

Теорема 3: Алгоритм обрезки сокращает пространство поиска до 1123N(1+o(1))\frac{1}{12}3^N(1+o(1))

Теорема 4: Вентиль Тоффоли может быть точно синтезирован с использованием 8 вентилей SQiSW

Результаты численной оптимизации

![Описание графиков результатов экспериментов]

  • Вентиль Тоффоли: 8 вентилей SQiSW достигают ошибки уровня 10−1210^{-12}
  • Произвольный трёхкубитный вентиль: 11 вентилей SQiSW достигают средней ошибки уровня 10−610^{-6}

Сравнение с вентилями CNOT

  • Синтез трёхкубитных вентилей: SQiSW требует 11 вентилей, CNOT требует 14 вентилей
  • Синтез вентиля Тоффоли: SQiSW требует 8 вентилей, CNOT требует 6 вентилей, но экспериментальный уровень ошибок SQiSW значительно ниже

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

Традиционный синтез вентилей CNOT

  • Barenco и др. (1995): Первый алгоритм синтеза с использованием вентилей CNOT и произвольных однокубитных вентилей
  • Квантовое разложение Шеннона: Текущая оптимальная верхняя граница 23484n\frac{23}{48}4^n
  • Вентиль Тоффоли: Стоимость CNOT составляет 6, что уже является точным результатом

Исследования других квантовых вентилей

  • Вентиль MS: Специальная структура, используемая при численном синтезе
  • Универсальная структура синтеза: Инструменты Synthetiq, BQSKit и др.

Развитие вентиля SQiSW

  • Экспериментальная реализация: Превосходные характеристики на сверхпроводящих квантовых процессорах
  • Теоретическая основа: Анализ на основе KAK-разложения и камеры Вейля

Выводы и обсуждение

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

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

Ограничения

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

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

  1. Исследование точных нижних границ синтеза вентилей SQiSW
  2. Расширение методов с численной поддержкой на более сложные задачи синтеза
  3. Обнаружение схем разложения для более специальных структур с использованием камеры Вейля
  4. Верификация предложенных схем синтеза на реальных квантовых устройствах

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

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

  1. Значительный теоретический вклад: Первое систематическое исследование способности синтеза вентиля SQiSW с полной теоретической структурой
  2. Методологические инновации: Умелое сочетание теории Ли, квантового разложения Шеннона и численной оптимизации
  3. Высокая практическая ценность: Предоставление практических схем синтеза схем для сверхпроводящих квантовых вычислений
  4. Строгий анализ: Строгий теоретический анализ алгоритма обрезки

Недостатки

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

Влияние

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

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

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

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

Статья ссылается на 17 основных источников, охватывающих классические работы по синтезу квантовых схем, теорию KAK-разложения и последние экспериментальные результаты по вентилям SQiSW, обеспечивая прочную теоретическую основу для исследования.

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