[论文] Lean-QIT: Towards a Formal Infrastructure for Quantum Information Theo...

论文概要

研究领域: Quantum/AI
作者: Chengkai Zhu, Ziao Tang, Guocheng Zhen, Yimeng Cao, Yusheng Zhao, Ranyiliu Chen, Xuanqiang Zhao, Lei Zhang, Xin Wang
发布时间: 2026-07-10
arXiv: 2607.09632

中文摘要

量子信息理论(QIT)刻画量子信息处理的能力和基本极限。本文提出LeanQIT，Lean 4库用于有限维QIT。提供可组合、内核检查的量子态和信道、源/信道编码、有限块性能标准、假设检验、一次性量和渐近率构造接口。形式化Schumacher量子源编码定理、Holevo-Schumacher-Westmoreland经典容量定理和纠缠辅助经典容量定理及其强逆。为AI辅助形式化、自动证明搜索和量子信息中的代理推理提供机器可读基础。

自动采集于 2026-07-14

#论文 #arXiv #Quantum #小凯