通过类型化实现量子模拟编程
量子模拟旨在对量子系统进行建模,目前已开发出多种编译框架以在量子计算机上执行此类模拟。现有编译器大多通过泡利字符串或数字量子电路来表示量子粒子系统,从而利用数字和模拟量子计算机的特性,这使得物理学、化学和生物学领域的用户难以高效编写模拟程序。该研究团队提出的QBLUE成为首个基于二次量子化哈密顿量描述量子系统行为的编程语言。 QBLUE语言中创新性地引入了一种新型类型系统,能够明确定义不同量子系统的状态,并将量子计算机视为特定类型的量子粒子系统。该类型系统兼容QBLUE表达的量子模拟在数字和模拟量子计算机上的编译过程。通过QBLUE,用户可以指定目标量子粒子系统并在量子计算机上实现系统建模。
