两个比特长在一起：张量积与纠缠的数学长相

先备导航：你需要 014（配比表）、003（纠缠直觉）和 013（振幅）。

下一篇预告：016《平方那一下》。

两个比特长在一起：张量积与纠缠的数学长相

一副扑克牌五十二张，但你只需要记两个小清单：花色四种（黑桃红桃梅花方块），点数十三种（A 到 K）。任何一张牌都是"一个花色 × 一个点数"的搭配。整副牌，就是这两张清单所有搭配的总目录。

两个量子比特的状态清单，也是这么编的——但正是在这本"搭配总目录"里，纠缠露出了它数学上的真身。今天这一篇要完成的只有一个动作：证明有一张搭配总目录，撕不回两张原始清单。

先编目录：四个基底

一个比特的账本是两支振幅：|0⟩ 一支、|1⟩ 一支（013 篇）。两个比特，把两个清单做搭配：|0⟩配|0⟩、|0⟩配|1⟩、|1⟩配|0⟩、|1⟩配|1⟩——写成 |00⟩、|01⟩、|10⟩、|11⟩，四行基底，账本四支箭头。

（读法：|10⟩ = 第一比特为 1、第二比特为 0。顺序是约定，本专栏固定"第一比特在左"。）

独立的两比特：搭配展开

如果两个比特各自独立——第一个比特处于自己的叠加，第二个比特处于自己的叠加——那么联合账本怎么写？

把两个"小账本"做搭配展开：第一个比特的每支振幅，与第二个比特的每支振幅逐一配对相乘，填进联合目录的对应格。用一行符号写（⊗ 读作"搭配展开"，术语叫张量积）：

(a|0⟩ + b|1⟩) ⊗ (c|0⟩ + d|1⟩) = ac·|00⟩ + ad·|01⟩ + bc·|10⟩ + bd·|11⟩

看清楚了：联合账本的四个数（ac、ad、bc、bd），全部由四个原始数（a、b、c、d）搭配生成。比如一副扑克牌的目录：52 张牌的每张，都能还原回"哪个花色 × 哪个点数"——独立系统的联合态，永远能还原回"各自的态"。

可拆，是"独立"的数学签名。

纠缠态：撕不开的目录

现在端出 003 篇讲过的那对"心灵相通的骰子"的精确写法：

(1/√2)|00⟩ + (1/√2)|11⟩ —— 即联合账本为（1/√2, 0, 0, 1/√2）：只有 |00⟩ 和 |11⟩ 两支振幅，|01⟩、|10⟩ 两格是零。

白话读法：两个比特要么同为 0，要么同为 1，各半——测量时永远同步，绝无"一零一幺"的杂音。这就是贝尔对的标配。

现在请尝试把它拆回"第一个比特的态 ⊗ 第二个比特的态"——也就是找四个数 a、b、c、d，使得 ac=1/√2、ad=0、bc=0、bd=1/√2。

试着解一下：ad=0 意味着 a、b 中至少一个为零——等等，是 a、d 中至少一个为零（ad 是 a 配 d）。分开捋：ad=0 ⇒ a=0 或 d=0；bd=1/√2 ⇒ b≠0 且 d≠0，所以 d≠0，于是被迫 a=0；可 ac=1/√2 要求 a≠0——矛盾，无解。

无论你换什么数值，这本联合账就是拆不回两个独立的小账。它的四支箭头不是任何"各自倾向"的搭配组合。

"撕不回原始清单"，就是纠缠的数学定义。 003 篇说"单独看每一个毫无状态"，现在你知道精确含义了：根本不存在能被分配给单个比特的态——(a|0⟩+b|1⟩) 与 (c|0⟩+d|1⟩) 这对括号对它不成立。

为什么这个态"各自随机、合起来同步"

用这四个振幅把 003 篇的现象当场推一遍：

测量它（013 篇规则：振幅平方成概率）：|00⟩ 的概率 = (1/√2)² = 1/2，|11⟩ 同样 1/2，|01⟩、|10⟩ 为零。所以每次测量，结果必是 00 或 11，各半——两个比特永远相同，且各自完全随机。这就是"巴黎掷骰子、北京同步"的全部数学：同步不是信号，是联合账本里压根没有写杂音的位置。

顺带核对 012 篇的警告："状态球只对单比特有效"——现在能说清原因了：单比特有 (a,b) 两个振幅，画球够用；两比特纠缠态的四个振幅互相锁死（本例中 a=d、b=c=0 的强关联），不存在"第一个比特自己的球"这种东西。可拆性没了，球也没了。

计数上的一个幽灵

留意一个数字戏法：两个比特的联合账本有 4 支振幅；两个独立比特的原始参数也是 2+2=4 个。数字相同，但可拆态只占全部联合态的一小部分——因为"能拆"本身是一个强约束（四个数必须恰好长成 ac、ad、bc、bd 的形状），就像五十二张牌里只允许留下那些"能还原回花色×点数"的牌。

换句话说：纠缠态不是罕见怪物，它是两比特世界的绝大多数；"独立"才是稀有特例。 两个随机抓取的比特几乎必然纠缠——这个直觉在第七十九篇（经典模拟为什么追不上）会变成一记重拳：模拟器必须伺候这本撕不开的账本，而撕不开的账本占满了整个状态空间。

把类比拆掉

扑克目录类比借了哪里：

• 不像之一：牌的搭配是唯一标识（一张牌只有一个花色一个点数）；振幅搭配是分布（叠加态同时占多个搭配位置）。联合账本是概率云的目录，不是实体物的货架。
• 不像之二（本篇命门）：扑克目录永远可拆——任何一张牌都能还原回花色与点数；量子联合账本存在不可拆的成员（纠缠态），这正是整个类比必须被放弃的位置。扑克用来建立"搭配展开"的机械直觉，直觉建立完立刻丢弃。

带走的行李

1. 两比特联合账本四行基底 |00⟩、|01⟩、|10⟩、|11⟩；独立态 = 搭配展开（可拆回两组参数），纠缠态 = 撕不回原始清单的联合账本——这是纠缠的严格定义。 2. 贝尔态 (1/√2)(|00⟩+|11⟩) 无解可拆；它给出的测量分布"各半且永远同步"，正是 003 篇骰子故事的数学实体。 3. 独立是特例，纠缠是常态——可拆约束极强，不可拆态占满状态空间；这是量子计算潜力的藏宝点，也是经典模拟的噩梦。

下一站的钩子：振幅账本已会读——但"从振幅到概率"那临门一脚的平方，藏着一条本专栏还没明说的精确规则（为什么是长度的平方、交叉项去哪了）。016《平方那一下》。

#量子计算 #从硬币到纠错 #张量积 #纠缠