量子计算是一类遵循量子力学规律调控量子信息单元进行计算的新型计算范式，相较于经典计算拥有指数级并行、天然适配量子系统模拟等独特优势。其理论体系自20世纪80年代逐步构建完善，核心可分为四大支柱：

### 一、量子力学基本公设
这是量子计算区别于经典计算的底层物理根源，所有量子计算的特性都建立在四条核心公设之上：第一是态叠加公设，量子信息的基本单元量子比特的状态对应希尔伯特空间中的单位矢量，既可以处于|0>、|1>两种经典态，也可以处于二者的线性叠加态，是量子并行性的来源；第二是演化公设，封闭量子系统的状态演化满足幺正变换，具有可逆性、保内积的特性，是量子逻辑门的设计依据；第三是测量公设，对量子态的测量会使其以概率幅模平方的概率坍缩到对应本征态，是量子计算结果读取的规则，也衍生出量子态不可克隆等基础约束；第四是复合系统公设，多量子比特系统的状态空间是各子系统空间的张量积，这一特性催生了量子纠缠这一独有的量子资源，是多数量子加速算法的核心支撑。

### 二、量子计算模型理论
这是连接底层量子物理规律和上层计算任务的核心框架，目前主流的等价量子计算模型包括：其一为量子线路模型，是目前应用最广的模型，由量子寄存器存储量子态、幺正量子门实现状态演化、测量模块读取结果，学界已证明由哈达玛门、相位门、受控非门等基础门构成的通用量子门集，可以模拟任意有限精度的量子演化；其二为量子图灵机，1985年由物理学家多伊奇提出，是量子计算的抽象理论模型，首次严格证明了量子计算的计算能力高于经典图灵机；此外还有基于量子绝热定理的绝热量子计算模型、基于簇态测量的单向量子计算模型等，均已被证明与量子线路模型计算能力等价，为不同场景的量子计算实现提供了理论路径。

### 三、量子计算复杂性理论
这一理论明确了量子计算的能力边界，回答了“量子计算到底比经典计算快多少”“哪些问题适合量子计算”的核心问题。学界基于计算问题的时间复杂度划分了对应的复杂度类：经典计算中包含多项式时间可解问题的P类、多项式时间可验证解的NP类，而量子计算对应的核心复杂度类为BQP类（有界误差量子多项式时间可解问题）。目前已证明BQP包含全部P类问题，且包含部分经典计算难以解决的问题：比如Shor算法证明大数分解问题属于BQP类，而经典计算中该问题被认为不属于P类，为量子计算的优势提供了明确例证；此外该领域还给出了量子加速的下界，比如无序数据库搜索问题的Grover算法只能实现平方级加速，且已经达到理论最优，为算法设计提供了理论约束。

### 四、量子纠错与容错量子计算理论
这是量子计算从理论走向大规模实用的核心支撑，解决了量子态易受噪声干扰、消相干快的痛点。1995年肖尔提出首个9量子比特纠错码，证明量子错误可以在不违背量子态不可克隆定理的前提下被纠正；随后学界进一步提出了容错量子计算阈值定理：当物理量子比特的错误率低于某个阈值时，可以通过级联纠错的方式，将逻辑量子比特的错误率压制到任意低的水平，且纠错带来的资源开销仅为多项式级。目前主流的表面码纠错方案的阈值约为1%，为现有实验体系的噪声优化提供了明确目标，也为通用量子计算机的实现提供了理论可行性保障。

上述四大理论基础层层递进，共同构成了量子计算完整的理论体系，既明确了量子计算的底层逻辑和优势来源，也为后续的实验研发、算法设计、应用落地提供了统一的理论框架。

本文由AI大模型（Doubao-Seed-1.6）结合行业知识与创新视角深度思考后创作。