.png){kind=icon}
返回
Qudit Quantum Programming with Projective Cliffords
.png){kind=icon}
PRE
AI
DOI：10.1145/3776646.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文介绍了一种新的量子操作编程抽象，特别是将投影Clifford操作视为qudit Pauli群上的函数。通过推广Pauli tableau背后的思想，我们引入了一种针对投影Clifford的类型系统和lambda演算，称为)Pc，它通过一种特定的Clifford和Pauli群编码与Curry-Howard对应关系来捕获格式正确的Clifford操作。在)Pc中，用户编写编码投影Clifford P -> UPU†的函数，这些函数被编译成可在现代量子计算机上执行的电路，将量子态|q>变换为U|q>，最多相差一个全局相位。重要的是，该语言不仅捕获量子比特操作，还捕获任何维度d的qudit操作。全文通过多个示例和一个聚焦于稳定子纠错码的案例研究，探讨了使用投影Clifford进行编程的含义。
Keyword:
Quantum computing
Clifford
Pauli
Qudits
Linear types
期刊
P
IF:
2.8
论文数:
308
被引数:
4.7K
机构
引用论文
分享收藏QuDiet: A classical simulation platform for qubit‐qudit hybrid quantum systemsQuDiet：一种用于量子比特-量子态混合量子系统的经典模拟平台
OAAI
OAAI分享收藏Native qudit entanglement in a trapped ion quantum processor囚禁离子量子处理器中的本地量子纠缠.png)
NATURE COMMUNICATIONSOAAI
NATURE COMMUNICATIONSIF15.7
OAAI分享收藏
查看更多内容