张量积：复合系统与指数态空间
一句话定义
复合量子系统的态空间是各子系统态空间的张量积：两个量子比特的态空间是 ℂ²⊗ℂ² = ℂ⁴，n 个量子比特是 2n 维——维数随比特数指数增长，且由此得到纠缠的严格判据。
为什么重要
张量积回答三个根本问题：多比特态如何书写、纠缠到底怎么定义、态空间为何指数膨胀。它是连接单比特世界与算法世界（n≥10 比特）的唯一桥梁——Shor、Grover 的推导无一例外发生在大张量空间里。同时它也是"指数神话"的案发地：弄清"空间指数大"与"计算指数快"的区别，必须从这里下手。
前置知识
kp-006–kp-008（向量、内积、矩阵运算）。本节首次出现"分块"式矩阵，写法会逐步展开。
核心概念
- 张量积运算：对分量逐个相乘——(a,b)ᵀ ⊗ (c,d)ᵀ = (ac, ad, bc, bd)ᵀ。
- 记号缩写：|a⟩⊗|b⟩ 写作 |a⟩|b⟩ 或 |ab⟩；两比特计算基即 |00⟩ |01⟩ |10⟩ |11⟩。
- 可分离态：能写成 |φ⟩⊗|χ⟩ 的态；纠缠态：不能这样分解的态——这是 kp-004 的严格判据。
- 算符的张量积：(A⊗B)|φ⟩⊗|χ⟩ = A|φ⟩ ⊗ B|χ⟩；单比特门按位作用。
- 指数膨胀：每加一个比特，维数翻倍；50 比特约 10¹⁵ 维，300 比特约 10⁹⁰ 维。
直观类比
经典比特的复合是"并列"：n 个比特的状态就是 n 个 0/1 排成一串，信息量线性增长。量子复合是"编织"：态空间不是各部分拼起来的清单，而是一个维度相乘的大空间——好比两种各 2 色的线，经典给出 2+2 种搭配方式，量子给出 2×2 维的织面。纠缠就是无法剪开成两股独立线的织物。
原理与机制
为什么用张量积而非笛卡尔积组合量子系统？物理要求复合系统能表达"各自任意叠加"的所有组合，包括"部分不确定、部分确定"的混合情形；张量积恰好使 (α|0⟩+β|1⟩)⊗(γ|0⟩+δ|1⟩) 展开后按幅度守恒（归一化保持：范数乘积=1）。纠缠判据由此而来：Bell 态 (|00⟩+|11⟩)/√2 若可分解为 (a|0⟩+b|1⟩)⊗(c|0⟩+d|1⟩)，展开要求 ac=1/√2、bd=1/√2、ad=0、bc=0——前两条要求 a,b,c,d 全非零，后两条要求某两个为零，矛盾，故不可分离，即纠缠。指数膨胀的直接后果：经典计算机存储 n 比特一般态需要 2n 个复数，这正是经典模拟量子计算的困难所在（kp-031、kp-032 中"经典追赶"的背景）。
公式或模型
展开规则：(α|0⟩+β|1⟩) ⊗ (γ|0⟩+δ|1⟩) = αγ|00⟩ + αδ|01⟩ + βγ|10⟩ + βδ|11⟩。
纠缠判据的反证：设 |00⟩+|11⟩ = (a|0⟩+b|1⟩)⊗(c|0⟩+d|1⟩)，比较系数得 ac=bd=1 且 ad=bc=0（略去公因子），无解——纠缠成立。
维数表：n=1 → 2；n=2 → 4；n=10 → 1024；n=50 → 约 1.1×10¹⁵；n=300 → 约 2×10⁹⁰。
图示
实例或案例
把 kp-011 将要用的 Bell 态电路翻译到张量空间：初始态 |0⟩⊗|0⟩ = |00⟩；H⊗I 作用得 |00⟩+|10⟩√2；CNOT 作用得 |00⟩+|11⟩√2。全程可手算——张量记号让三步推导各占一行，这正是它作为"工程语言"的价值。
与其他知识点的关系
kp-004 的纠缠直觉在此获得严格判据；kp-011 的受控门是"不能写成 A⊗B"的算符典型；kp-020 的混合态描述要扩展张量积到密度矩阵；kp-031 中"经典模拟的极限"直接由维数表解释。
常见误区
- "n 量子比特能存 2n 个经典数"：空间能表示，读出不能——一次测量只回收 n 比特经典信息（kp-005、kp-033）。
- "张量积就是乘法交换的乘积"：A⊗B ≠ B⊗A（维数相同但作用对象不同）；态亦然，|01⟩ ≠ |10⟩。
- "纠缠态测起来有关联就够了"：经典关联态（如掷硬币同步）也可分离；判据是能否写成张量积，不是统计关联。
自测题
- 写出 |+⟩⊗|+⟩ 按计算基的展开。
- 证明 (|01⟩+|10⟩)/√2 是纠缠态。
- A⊗B 作用在可分离态上与作用在纠缠态上有何不同？
答案要点：(|00⟩+|01⟩+|10⟩+|11⟩)/2——四项等幅，可分离。
答案要点：设可分解，系数方程 ac=0、bd=0、ad=1、bc=1 无解，矛盾。
答案要点：前者按位分解 (A|φ⟩)⊗(B|χ⟩)；后者无法逐位处理，两比特必须整体演化——这正是 CNOT 需要特殊硬件实现的原因。
延伸阅读
M. A. Nielsen、I. L. Chuang《Quantum Computation and Quantum Information》2.1.7 节；N. D. Mermin《Quantum Computer Science》第 1 章（对"指数态空间"的克制讨论尤其值得读）。