Почти оптимальные геометрически локальные квантовые LDPC-коды в любой размерности

Сохраняя хрупкую квантовую информацию в порядке

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

Почему локальные связи важны

Многие из наиболее известных квантовых кодов коррекции ошибок, называемые квантовыми LDPC-кодами (low-density parity-check), на бумаге выглядят превосходно. Они могут хранить много квантовой информации и защищать её от множества ошибок, при этом требуя относительно небольшого числа взаимодействий на кубит. Однако эти коды обычно определены абстрактно, так что теоретически любой кубит может взаимодействовать с любым другим. Реальные квантовые устройства так не работают. На кристалле или в массиве атомов кубиты могут надёжно взаимодействовать только с ближайшими партнёрами. Такие схемы, как surface-коды и color-коды, уже соблюдают правило «геометрической локальности» и обеспечили недавние экспериментальные прорывы — но они не так эффективны, как лучшие абстрактные LDPC-коды. Устранение этого разрыва долгое время оставалось важной задачей.

От абстрактных сетей к структурированным плиткам

Авторы предлагают общий способ превращения любого хорошего квантового LDPC-кода в новый код, который почти не уступает по мощности, но при этом геометрически локален в любой выбранной пространственной размерности. Их ключевая идея — извлечь двумерную структуру из исходного кода, даже если код был задан сугубо алгебраически. Они начинают с обычного представления кода в виде трипартиционной сети кубитов и двух типов «контролей» (checks), которые проверяют наличие ошибок. Из-за того, как эти проверки коммуницируют, кубиты, связанные с обоими типами проверок, естественно группируются в квадратные паттерны. Систематически сопоставляя такие связи, команда строит то, что они называют квадратным комплексом: набор вершин, рёбер и квадратных граней, который захватывает ключевые свойства кода в двумерной раскладке.

Уточнение сетки для достижения локальности

Когда квадратный комплекс создан, конструкция продолжается разбиением каждой квадраты на мелкую сетку, подобно наложению миллиметровки на крупную плитку. Новые кубиты и проверки ошибок размещаются в узлах и на рёбрах сетки по тщательно подобранному повторяющемуся узору, напоминая расположение surface-кодов на решётке. Этот шаг подразделения создаёт новый код, базовые взаимодействия в котором естественно связаны с соседними позициями на сетке. Авторы затем привлекают математические результаты о том, как такие подразделённые комплексы можно вкладывать в обычное евклидово пространство — наше привычное двух- или трёхмерное пространство, а также в более высокие размерности — так, чтобы связанные элементы оставались близко друг к другу и никакая область не перегружалась. Таким образом абстрактный код систематически преобразуется в код, уважающий пространственную локальность.

Производительность близкая к теоретическим пределам

Критически важно, что такое геометрическое преобразование не влечёт за собой большой ценой. Новые коды по-прежнему хранят значительный объём квантовой информации и сохраняют высокую защиту от ошибок, приближаясь к известным теоретическим пределам, связывающим объём хранимой информации, расстояние между ошибками и степень локальности взаимодействий. При слабых технических условиях, выполненных для всех ныне известных хороших LDPC-кодов, авторы также показывают, что их геометрически локальные версии обладают большой «энергетическим барьером». В физических терминах, чтобы случайно перейти из одного логического состояния памяти в другое, пришлось бы нарушить множество проверок вдоль любого пути, что делает спонтанные логические ошибки крайне маловероятными.

Что это значит для квантовой аппаратуры

Для широкого читателя вывод таков: эта работа даёт план преобразования одних из самых мощных теоретических квантовых кодов в формы, которые можно реализовать на реальных устройствах. Вместо выбора между математически оптимальными кодами и физически реалистичными раскладками, разработчики аппаратуры теперь, по сути, могут начать с любого сильного LDPC-кода и получить почти оптимальный геометрически локальный вариант, пригодный для чипов, ионных ловушек или массивов атомов. За пределами этой конкретной задачи метод авторов по извлечению двумерного геометрического «скелета» из абстрактных алгебраических объектов может вдохновить новые подходы к упрощению кодов, снижению аппаратных затрат и изучению квантовых памятей в более высоких размерностях в последующие годы.

Цитирование: Li, X., Lin, TC., Wills, A. et al. Almost optimal geometrically local quantum LDPC codes in any dimension. Nat Commun 17, 2389 (2026). https://doi.org/10.1038/s41467-026-69031-w

Ключевые слова: коррекция квантовых ошибок, квантовые LDPC-коды, геометрически локальные коды, топологическая квантовая память, аппаратура для квантовых вычислений