Обратимые вычисления - это вычислительная модель, которая допускает только термодинамически обратимые операции. В соответствии с принципом Ландауэра, который гласит, что стирание небольшого количества информации высвобождает джоулей тепла, это исключает переходные функции, которые не являются взаимно-однозначными (например, булевы операторы AND и OR). Хорошо известно, что квантовые вычисления по своей природе обратимы, поскольку разрешенные операции в квантовых вычислениях представлены унитарными матрицами.
Этот вопрос о криптографии. Неформально понятие «обратимость» кажется анафемой для фундаментальных целей криптографии, что наводит на вопрос: «Имеет ли криптография присущие термодинамические издержки?»
Я считаю, что это другой вопрос, чем "Можно ли все сделать в квантовой?"
В своих примечаниях к лекции доктор Прескилл заявляет: «Существует общая стратегия для моделирования необратимых вычислений на обратимом компьютере. Каждый необратимый вентиль может быть симулирован вентилем Тофоли путем фиксации входных данных и игнорирования выходных данных. Мы накапливаем и сохраняем весь« мусор ». 'выходные биты, которые необходимы, чтобы полностью изменить этапы вычисления. "
Это говорит о том, что эти обратимые квантовые симуляции необратимых операций требуют ввода, а также некоторого «нуля» пространства. Затем операция генерирует вывод вместе с некоторыми «грязными» царапинами. Все операции обратимы по отношению к выводу плюс биты мусора, но в какой-то момент биты мусора «выбрасываются» и больше не рассматриваются.
Поскольку криптография зависит от существования односторонних функций с люком, альтернативное утверждение вопроса может быть следующим: «Существуют ли какие-либо односторонние функции с люком, которые могут быть реализованы с использованием только обратимых логических операций, без дополнительного пространства для царапин?» Если это так, возможно ли также ВЫЧИСЛИТЬ произвольную одностороннюю функцию с люком, используя только обратимые операции (и не выбрасывая пространство)?