QANTIS: квантовый процессор IBM Heron ускоряет байесовское обновление в POMDP

Квантовый процессор IBM Heron может служить калиброванным сервисом для обновления байесовских убеждений в системах с частичной наблюдаемостью. Это открытие представлено в новой научной работе arXiv:2607.06760, где описан подход QANTIS. Алгоритм получает априорное распределение и модель наблюдений, оценивает редкое событие (свидетельство) и возвращает апостериорное распределение классическому планировщику. Исследователи провели аппаратный case study на задаче Tiger POMDP, сравнив три варианта усиления: без усиления, с охраняемым усилением Гровера и с усилением с фиксированной точкой на всех шагах (FPAA).

Что такое QANTIS и как он работает

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

Почему это важно для автономных систем

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

Какие эксперименты были проведены

В экспериментах использовался процессор IBM Heron. Основные прогоны включали 8 и 12 шагов, контрольные — 20 и 32 шага. All-step FPAA (усиление с фиксированной точкой на всех шагах) сохранял апостериорное распределение задачи Tiger на всех проверенных шагах. На каждом решающем шаге квантовый апостериор и точный байесовский апостериор приводили к одному и тому же действию. Boundary-aware BIQAE стабилизирует оценку амплитуды вблизи нуля и единицы. Также был проведён sweep редких событий для оценки сложности выборки при свидетельстве с вероятностью один на миллион.

Какие преимущества показал QANTIS

Главное преимущество QANTIS — способность корректно обновлять убеждения даже при крайне редких наблюдениях. В задаче Tiger, где агенту нужно угадать, за какой дверью находится тигр, а за какой — приз, квантовый подход показал стабильность на всех проверенных шагах. Это означает, что квантовый процессор может быть надёжным компонентом в цикле принятия решений. Однако авторы отмечают, что для практического применения необходимо оценить реальную производительность в сквозной автономной системе (wall-clock speedup).

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

Работа имеет несколько ограничений. Во-первых, реальная производительность в сквозной автономной системе пока не измерена — неизвестно, насколько быстрее будет работать система в целом. Во-вторых, масштабируемость на задачи с большим пространством состояний остаётся под вопросом. В-третьих, поведение на других типах POMDP, отличных от Tiger, ещё не изучено. Кроме того, текущие квантовые процессоры подвержены шуму, что может влиять на точность оценок.

Кого затронет эта технология

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

Что пока неизвестно

Несмотря на обнадёживающие результаты, остаётся много открытых вопросов. Реальная производительность в сквозной автономной системе (wall-clock speedup) не измерена. Масштабируемость на задачи с большим пространством состояний не проверена. Поведение на других типах POMDP, отличных от Tiger, неизвестно. Также требуется дальнейшее исследование влияния шума квантового процессора на точность обновления убеждений.

Какие перспективы у QANTIS

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