В статье предлагается новый подход к пониманию квантовых вычислений через аксиоматизацию и свободную модель. Эти инструменты основаны на обратимых классических вычислениях и позволяют выделить квантовое преимущество в способности брать определённые квадратные корни. Такой подход может оптимизировать квантовые вычисления и интерпретируется как программируемый язык для квантовых компьютеров с возможностью автоматической проверки и рассуждений. arXiv: 2602.16927 Обзоры | Квантовая физика
Бесплатный квантовый вычислитель
В статье предлагается новый подход к пониманию квантовых вычислений через аксиоматизацию и свободную модель. Эти инструменты основаны на обратимых классических вычислениях и позволяют выделить квантовое преимущество в способности брать определённые квадратные корни. Такой подход может оптимизировать квантовые вычисления и интерпретируется как программируемый язык для квантовых компьютеров с возможностью автоматической проверки и рассуждений.
arXiv: 2602.16927
