3. 量子网络中的路由问题定义
在经典互联网中,路由的核心任务可以概括为一句话:为数据包找到一条从源到目的地的转发路径,并让这条路径尽量满足时延、带宽、代价等指标。路由器维护转发表,依据目的地址做最长前缀匹配,数据包沿着路径逐跳转发。路径一旦确定,数据包本身在传输过程中基本不会被"消耗",也不会因为被观察而改变。这个直觉非常重要,因为量子路由恰恰在这两点上完全不同。
量子网络传输的不是可以随意复制的比特串,而是量子态,或者更准确地说,是用于支撑量子态传输的纠缠资源。端到端要完成一次量子信息传递,通常需要沿途各段链路先建立纠缠,再通过纠缠交换(entanglement swapping)把分段纠缠"缝合"成端到端纠缠,最后借助量子隐形传态或直接传输完成信息交付。因此,量子路由的输出不再只是一条路径,而是路径 + 沿途各段纠缠资源的分配方案。这是理解量子路由问题的第一个关键差异。
输入与输出:量子路由要"算"什么
把量子路由问题形式化,可以先明确它的输入三元组:
- 拓扑:网络中有哪些量子节点(端节点、中继节点、交换节点),哪些节点对之间存在可用的量子链路,链路的物理长度、损耗、保真度基线等。拓扑不是静态的,因为链路可能因退相干或设备故障而暂时不可用。
- 需求:哪些源—目的节点对需要建立纠缠,需要多少条纠缠对(纠缠对数量直接决定可支持的传态次数),对保真度、建立时延、存活时间有什么要求。
- 资源状态:每条链路上当前可用的纠缠对数量、各自的保真度、剩余存储寿命,以及各节点的量子存储容量和测量/交换能力。
对应的输出包括两部分:一条(或多条)选定的路径,以及在路径每一段上"用哪几条纠缠对、何时使用"的分配方案。注意,路径选择和资源分配是耦合的——选了一条路径,就锁定了这条路径上各段链路的资源消耗;反过来,某段链路资源紧张,也会迫使路由改选其他路径。
量子路由特有的三类约束
上图中右侧的红色约束区,是量子路由区别于经典路由的本质所在,值得逐条展开。
第一,纠缠消耗。经典路由中,一条链路可以被无数数据包反复使用,转发行为不改变链路本身。量子链路则不同:每一对纠缠只能支撑一次纠缠交换或一次隐形传态,用掉就没了。这意味着路由决策具有"资源占用"性质——为某个需求分配了某段链路上的纠缠对,其他需求就不能再用。于是量子路由天然带有资源调度色彩,需要回答"先满足谁、用哪几条、是否值得为高优先级需求预留"等问题。
第二,测量坍缩。纠缠交换需要对中间节点的纠缠对做贝尔基测量,测量结果决定后续的修正操作。这个过程是不可逆的:一旦测量,原有的纠缠态就坍缩,无法"撤销"或"重试同一条纠缠"。这带来两个后果:其一,路由方案必须在执行前就规划好测量顺序和修正信息传递路径;其二,失败重试只能消耗新的纠缠对,不能回滚。因此量子路由往往需要预留冗余资源,或者设计带重试预算的分配策略。
第三,存储寿命。纠缠对不能无限期保存,量子存储的保真度会随等待时间衰减。假设某条链路上的纠缠对保真度为 F₀,存储寿命特征时间为 T,等待 t 时间后近似按指数衰减。若端到端路径较长、逐段建立纠缠耗时不一,先建立的纠缠可能在等待后续段时已经退化到不可用。这直接约束了路径长度和调度顺序:路由算法不能只看"路径最短",还要看"各段建立时间是否匹配、端到端总时延是否在寿命窗口内"。
一个具体的教学示例
假设一个 5 节点线性—分支混合拓扑:A—B—C—D 为主干,C—E 为支路。需求是 A 与 D 之间建立 2 条端到端纠缠对,要求端到端保真度不低于 0.80。当前资源状态(示例假设值)为:A—B 有 4 对、保真度 0.95;B—C 有 3 对、保真度 0.93;C—D 有 2 对、保真度 0.90;C—E 与 E—D 各 3 对、保真度 0.88。存储寿命特征时间统一设为 1 秒量级。
若走 A—B—C—D,需要 2 条路径实例,每段消耗 2 对,C—D 恰好只剩 2 对,资源刚好够但无冗余;逐段保真度经交换后大致按乘积量级估算,0.95×0.93×0.90 约 0.795,略低于 0.80 的门槛,说明这条路径在保真度上处于临界甚至不达标。若改走 A—B—C—E—D,跳数增加到 4 段,但各段资源更充裕,且可以挑选保真度更高的纠缠对组合;不过多一段交换会进一步拉低保真度,同时总建立时延变长,需要检查是否超出寿命窗口。这个例子说明:量子路由的决策必须同时权衡资源余量、保真度累积和时延,单看某一项都会误判。
把上述内容收拢,量子路由问题的定义可以表述为:在给定拓扑、需求和动态资源状态下,选择一条端到端路径,并为路径上每一段分配具体的纠缠对及使用时序,使得在纠缠消耗、测量坍缩不可逆、存储寿命有限这三类约束下,端到端保真度、建立时延和资源利用率满足需求。与经典路由相比,它多了一个"资源分配"维度,多了一组"不可逆、会衰减"的物理约束,也因此更接近一个带资源约束的优化与调度问题,而不仅仅是寻路问题。