用 $\pi$-演算建模量子计算
Modeling Quantum Computing with $π$-calculus
浏览论文内容
中文总结 AI 辅助
本文提出PiQuant框架，通过扩展$\pi$-演算将量子程序建模为并发程序，变量通过通道公布状态，以提供更直观的量子计算理论模型。
中文摘要 AI 辅助
量子计算对计算机科学家来说是一个难以掌握的概念，因为它充满了与代码所解决的问题没有直观联系的数学公式。虽然这些公式定义了系统的行为方式，但其操作语义与常规编程语言（通过变量、赋值和按值传递计算结果进行推理）相去甚远。本文退一步定义了一个理论框架，在该框架中，量子程序不被视为顺序程序，而是被视为并发程序，其中变量通过自己的通道公布其状态，使用这些变量的代码读取该状态（并可能使其坍缩）。PiQuant框架是$\pi$-演算的一个简单扩展，包含用于处理量子变量的额外语法和语义。
英文摘要
Quantum computing is a difficult concept to grasp for computer scientists because it is full of mathematical formulas that have no intuitive meaning related to the problem that the code solves. While these formulae define the way the system behaves, the operational semantics is very far from regular programming languages that reason with variables, assignments, and passing by value the results of computation. This article takes a step back to define a theoretical framework where quantum programs are not treated as sequential programs, but rather as concurrent programs where variables advertise their states through their own channels and code that uses them is reading that state (and possibly collapsing it). The PiQuant framework is a simple extension of the $π$-calculus that contains additional syntax and semantics for the handling of quantum variables.
发表机构
- Constructor University Bremen Germany（不来梅_constructor大学）
- REDS, School of Engineering and Management Vaud, HES-SO Yverdon-les-Bains Switzerland（沃州工程与管理学院，HES-SO）
机构由 AI 辅助整理，请以论文原文为准。
