张量积：多个量子比特如何"合体"

前情提要：我们已经知道，一个量子比特的状态是一支复矢量，可以写成本征基 |0> 和 |1> 的线性组合 a|0> + b|1>，两个系数 a、b 模平方之和（即概率）加起来为 1；量子门则是一个作用于这支矢量的矩阵。本文要再往前走一步：当我们有好几个量子比特时，怎么把它们"合"成一个整体、一起描述。

一、一个比特两个数，两个比特为什么是四个？

先抛个让人愣神的问题。

一个量子比特，用两个数就能说清：它"有多像 0"、又"有多像 1"，也就是系数 a、b。那要是有两个量子比特呢？你可能会想：两个嘛，2 加 2，四个数也够了吧？

不对。两个量子比特，需要四个数——但这里的"四"不是"2 加 2"，而是"2 乘 2"。三个量子比特，需要八个，是"2 乘 2 乘 2"。再往下，n 个量子比特，需要 2^n 个数。

这个"翻倍再翻倍"的规律特别反直觉，但它不是物理学家拍脑袋定的，而是从一种叫"张量积"的运算里自然长出来的。下面我们就把它拆开看。

二、张量积：把两个小空间，拼成一个大空间

张量积（tensor product，符号是 ⊗）干的事很朴素：把两个独立的"小房间"合并成一个"大房间"。

想象两个并排的小格子间，每个里面只能放一支箭头（一个量子比特的态）。张量积做的，就是给这两个小间"加个封套"，变成一个更大的空间，让两支箭头能一起被描述。

它的招牌性质只有一句话：维度相乘。一个 2 维的空间（一个比特）拼上另一个 2 维的空间（另一个比特），得到的是 2 × 2 = 4 维的大空间。这就是为什么两个比特需要四个数——大房间有四面"墙"，每一面都要一个坐标去填。

三、拼起来之后，长什么样？

具体来看，每个比特的"地基"是两支基：|0> 和 |1>。把两个比特用张量积拼起来，新的地基就由两比特的所有组合构成：

|00>、|01>、|10>、|11>

这四个就是两比特空间的四个基。任意两比特的态，都是它们的线性组合：

a·|00> + b·|01> + c·|10> + d·|11>

需要 a、b、c、d 四个系数——正好回答了开头的问题。

三个比特呢？就是 2 × 2 × 2 = 8 个基，从 |000> 到 |111>，所以需要八个系数。推而广之，n 个比特的态空间有 2^n 个基、要 2^n 个系数。那个"翻倍再翻倍"的规律，根源就在这行乘法里。

四、算符也能拼：只动一个比特，怎么做？

空间能拼，作用在上面的"门"（矩阵）也能拼。

假如你只想拨弄第一个比特、完全不碰第二个，数学上怎么写？答案是：用第一个比特自己的算符，去"张量积"上一个"什么都不做"的单位矩阵 I。比如一个作用在单比特上的门 U，拼到两比特空间里就是 U ⊗ I——也就是"左边照 U 动，右边按兵不动"。

这种写法叫"局部操作"：你精准指定"动哪一根、留哪一根"。像 CNOT（控制非门）这种需要"看第一个比特、决定翻不翻第二个"的门，本质上也是先在两个比特的合并空间里，才讲得通——如果比特各自分开，门根本没地方落脚。

五、可分离，还是纠缠？

拼好空间后，最要紧的一件事出现了：一个两比特的态，能不能"拆回"两个单比特的态？

• 如果它能写成"第一个比特的态 ⊗ 第二个比特的态"，比如 (a|0>+b|1>) ⊗ (c|0>+d|1>)，那两个比特其实是"各过各的、互不牵连"，这叫可分离态。
• 如果它怎么也拆不成这种乘积形式，两个比特就纠缠在了一起：测了一个，另一个的状态瞬间被牵动，但你没法单独描述其中任何一个。

所以，纠缠最干脆的定义只有一句：它写不成张量积。 张量积能拼出空间，但也恰恰用"能不能再拆成张量积"这条线，把"普通组合"和"真正的量子纠缠"一刀切开。这正是量子计算比经典算得猛的根源——纠缠让比特之间产生了经典世界里不存在的关联。

六、为什么这一切重要

把今天的拼图收个尾。

n 个量子比特合起来，态空间有 2^n 个维度。这就是量子"并行"的来由：一个态同时"住"在 2^n 个基里，一次操作等于在一大片可能性上同时下手。反过来，经典计算机想模拟 n 个比特，得老老实实存下 2^n 个数——比特一多（比如四五十个），这个数就超过了地球上原子的数量，根本存不下。

从纠错码到门的分解，再到纠缠的度量，几乎所有量子信息的技术，都立在这块"张量积"的地基上。理解了它，你就拿到了看懂后面每一篇的钥匙。

读后小测

3 句话复述

1. 张量积把两个小空间"相乘"成一个大空间，维度相乘：2 维拼 2 维得 4 维，n 个比特就有 2^n 维。 2. 两比特的态是四个基 |00>、|01>、|10>、|11> 的线性组合，所以才需要四个系数——这就是"翻倍再翻倍"的来源。 3. 纠缠就是"写不成张量积"的态：能拆成两个单比特乘积的是可分离态，拆不开的就是纠缠态。

1 件动手小事

在纸上写出两比特的四个基：|00>、|01>、|10>、|11>。再试着把一个"乘积态"展开，比如 (|0>+|1>) ⊗ (|0>+|1>)，把它乘开，看能不能正好得到这四个基各带一个系数的组合——你亲手做一次，就明白"可分离态"是怎么由单比特拼出来的；再想想哪类系数一旦设为 0，就拼不回单个比特了。

---

张量积是量子世界最朴素也最厉害的一招"合并术"：它让我们用"乘"而非"加"来给空间扩容，也正是这份乘法，撑起了量子计算的全部想象。