Недавно я заметил, что отдел компьютерных наук Оксфорда начал предлагать курсы по категориальной квантовой механике . Очевидно, они говорят, что это актуально для изучения квантовых основ и квантовой информации, и что оно использует парадигмы из теории категорий.
Вопросов:
Как именно это помогает в изучении квантовой информации?
Дала ли эта формулировка какие-то новые результаты или предсказания, помимо того, что наша общая формулировка квантовой механики уже сделала? Если так, то что это?
quantum-information
foundations
Санчайан Датта
источник
источник
Ответы:
Этот ответ - мнение кого-то, кто по сути является аутсайдером для «CQM» (= категорическая квантовая механика), но в целом симпатизирующим аутсайдером. Это должно быть истолковано как таковое.
Мотивации CQM
Мотивация Категориальной квантовой механики - это не вычисления как таковые, а логика ; и не квантовая динамика как таковая, а основы физики . Симптомы этого можно увидеть в том, что он описывает как свои достижения и ориентиры, например:
Его результаты о «полноте» следует интерпретировать в том же смысле, что и в теореме Гёделя о полноте [sic]: набор аксиом может идеально охватить модель, которая в данном случае является моделью преобразований на множестве кубитов, выраженных в терминах преобразований степеней свободы, выраженных в терминах собственных баз Z и X.
Случайные сравнения с такими вещами, как « Rel » (то есть категория отношений, которые с вычислительной точки зрения более тесно связаны с недетерминированными машинами Тьюринга, чем с квантовыми компьютерами), иллюстрируют тот факт, что они осведомлены о квантовой теории информации как будучи частью более широкого ландшафта вычислительных теорий, где различия между этими теориями могут привести к здравой интуиции сверху вниз о том, что отличает квантовую теорию от других возможных динамических теорий информации.
Таким образом, CQM намного больше относится к традициям основ физики и теории Теории B. Информатика . Поэтому, если кажется, что он не разработал много «приложений» как таковых, вы не должны удивляться, потому что разработка приложений не является его основной мотивацией. (И, конечно, до сих пор только очень небольшая группа людей в этой области действительно подвержена этому.)
Почему CQM может показаться немного неясным
CQM пытается поместить интуитивное значение в центр математически строго. Это заставляет их говорить о таких, по-видимому, неясных вещах, как «коммутативные кинжалы Фробениуса». Конечно, такая терминология практически ничего не значит для кого-либо еще в этой области - но тогда это мало чем отличается от того, как теоретики квантовой информации сталкиваются с другими учеными-программистами.
Это только отправная точка потенциальной путаницы для постороннего - поскольку те, кто занимается CQM, в действительности являются математиками / логиками с нисходящей мотивацией, в CQM нет ни единого потока исследований, и между работой нет четкой границы. на CQM и работа в теории высшей категории. Это аналогично отсутствию четкой границы между вычислительной сложностью, выраженной в терминах квантовых цепей, квантовой сложности связи, сложности запросов и классической версией этих тем, наряду с анализом Фурье и другими соответствующими математическими инструментами. Без четкой системы отсчета иногда может быть немного непонятно, где начинается и заканчивается CQM, но в принципе у него есть такое же четкое понятие области, как и у любой другой темы в квантовой теории информации.
Если вы удивляетесь, почему люди предпочитают исследовать CQM, а не более распространенный вопрос в квантовой теории информации, мы должны сначала признать, что существуют другие направления исследований в квантовой теории информации, которые точно не направлены на существенное влияние на кого-либо еще. Если мы рады, что люди проводят исследования таких вещей, как подходы к квантовым вычислениям с участием физических явлений, которые еще никто не демонстрировал в лаборатории [ arXiv: 1701.05052 ], или подходы к исправлению ошибок на замкнутых d- мерных многообразиях для d > 2 [ arXiv: 1503.02065], мы должны быть одинаково счастливы допустить и другие направления исследований, которые несколько оторваны от основного направления. Обоснование в каждом случае одно и то же: несмотря на то, что теоретическая дуга длинна, она стремится к применению, а вещи, которые исследуются по чисто теоретическим соображениям, приносят практические плоды.
Использование CQM
На этом примечании: одна точка зрения на то, чтобы обратить внимание на фонды, состоит в том, чтобы получить представление, необходимое для более легкого решения проблем. Предоставляет ли CQM такое понимание?
Я думаю, что только совсем недавно сторонники CQM всерьез рассмотрели вопрос о том, позволяют ли полученные им знания получить новые результаты по темам, которые в большей степени относятся к квантовой теории информации. Это опять же потому, что основной мотивацией являются фонды, но в последнее время началась работа по теме выплат в более широкой области.
Я могу указать, по крайней мере, два результата, которые представляют способы, которыми сообщество CQM разработало результаты, которые я бы оценил как имеющие широкое отношение к интересам сообщества квантовой информации, и в которых результаты являются совершенно новыми:
Как и следует ожидать от абстрактных математических методов с основополагающими мотивациями, существуют также выгоды для областей информатики, которые примыкают к квантовой теории информации:
Наконец, что-то, что еще не является результатом, но кажется перспективным направлением исследований и которое в принципе не требует теории категорий:
Должны ли все начать использовать CQM немедленно?
Возможно нет.
Как и во многих вещах, которые были разработаны по неортодоксальным академическим причинам, это не обязательно лучший инструмент для каждого вопроса, который можно задать. Если вы хотите запустить численное моделирование, скорее всего, вы используете C или Python в качестве языка программирования, а не SML. Тем не менее, на этой же ноте, так же, как языки программирования, разработанные всерьез крупными компаниями-разработчиками программного обеспечения, могут со временем основываться на идеях, которые были впервые разработаны в таком неортодоксальном академическом контексте, так же, как и некоторые идеи и приоритеты CQM в конечном итоге могут отфильтроваться для более широкого сообщества, что делает его менее изолированным направлением расследования, чем может показаться сегодня.
Есть также темы, по которым CQM (пока), кажется, не обеспечивает полезного способа сближения, такие как измерение расстояния между различными состояниями или операциями. Но у каждого математического инструмента есть свои ограничения: я ожидаю, что в ближайшее время я не буду использовать квантовую теорию каналов, чтобы рассмотреть, как упростить унитарные схемы.
Будут проблемы, для которых CQM проливает некоторую информацию и может предоставить удобные средства для анализа. Несколько примеров таких тем приведены выше, и разумно предположить, что со временем станут очевидными дополнительные области применения. Для тех тем, где CQM полезен, можно выбрать, стоит ли уделить время изучению того, как использовать полезный инструмент; кроме этого, вам решать, достаточно ли вам любопытно. В этом отношении он похож на любой другой потенциальный математический метод в квантовой теории информации.
Резюме
источник