Ученые придумали новый язык программирования для квантовых компьютеров

26.01.2022 13:30

Ученые Массачусетского технологического института разработали новый язык программирования — Twist. С его помощью можно будет описывать текущее состояние вычислений квантовых компьютеров и выявлять возможные ошибки, передает FaceNews.ua. сообщает MIT News.

"Наш язык Twist позволяет разработчику писать более безопасные квантовые программы, явно указывая, когда один кубит не должен быть запутан с другим", — говорит Чарльз Юань, аспирант Массачусетского технологического института в области электротехники и компьютерных наук.

Первая демонстрация возможностей нового языка программирования состоялась в середине января 2022 года на конференции "Симпозиум по принципам программирования 2022 года" в Филадельфии, сообщает MIT News.

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

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

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

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

Специалисты МТИ создали собственный язык программирования для квантовых вычислений, не сложнее тех языков, что используются сейчас программистами. Он описывает и проверяет, какие фрагменты данных в квантовой программе запутаны.

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