2. 量子芯片物理架构与拓扑表示

量子芯片的物理架构决定了量子比特之间“谁能和谁直接交互”。拓扑映射、路由与调度之所以复杂，根本原因在于：量子程序通常假设任意两个逻辑比特都能直接做双比特门，而真实硬件只允许部分比特对直接耦合。因此，理解物理架构与拓扑表示，是把逻辑电路落到硬件上的第一步。

一、两类主流平台的物理连接方式

超导量子芯片以固定耦合为主。典型结构是二维网格或重六边形（heavy-hex）晶格，每个比特通过耦合器（电容耦合、可调耦合器）与相邻比特相连。耦合关系在芯片制造时基本确定，运行时只能通过微波脉冲或磁通调制改变耦合强度，不能随意“改线”。例如 IBM 的重六边形布局中，每个比特最多连接 2～3 个邻居，形成稀疏图；Google 的方格布局中，内部比特连接度更高，但仍有边界比特连接度较低。

离子阱平台则不同。以线性 Pauli 阱为例，多个离子共享同一条势阱链，任意两个离子都可以通过集体振动模式（声子）实现有效耦合，理论上形成全连接图。但全连接并不等于“随便用”：串扰、模式拥挤和门时间会随比特数增加而恶化，实际编译时仍会限制同时并行的门数量。因此离子阱的拓扑图更接近“带权全连接”，权重反映门保真度与耗时。

二、从耦合图到有向图

物理耦合关系最自然的表示是无向图 G=(V,E)，顶点 V 是物理比特，边 E 表示可直接执行双比特门的比特对。但真实硬件中，双比特门往往不是对称的：CNOT 的控制位与目标位可能对应不同的脉冲序列，保真度、门时间甚至可用性都不同。例如某些超导芯片上，CNOT(q0,q1) 保真度 99.2%，而 CNOT(q1,q0) 只有 98.5%。这时应把无向边升级为两条有向边，分别标注方向相关的参数，得到有向图 D=(V,A)。

有向图更贴近编译器的实际视角：路由时不仅要找“哪两个比特相邻”，还要找“沿哪个方向执行 CNOT 代价更低”。如果忽略方向差异，映射结果可能看起来合法，实际保真度却明显下降。

三、邻接矩阵与距离矩阵建模

图结构在程序中通常用邻接矩阵 A 表示。对 n 个物理比特，A 是 n×n 矩阵：A[i][j]=1 表示存在从 i 到 j 的直接耦合，否则为 0。若边带权（如门耗时或错误率），则把 1 换成权重 w[i][j]。无向图对应 A 对称；有向图对应 A 一般不对称。

仅有邻接矩阵还不够。路由需要知道任意两比特之间的最短路径长度，因此常同时维护距离矩阵 D。D[i][j] 表示从 i 到 j 的最少边数（或最小代价）。D 可由 A 通过 BFS 或 Floyd–Warshall 计算。下面给出一个 5 比特示例，物理连接为：0–1、1–2、2–3、3–4、1–3，方向按“小编号→大编号”可执行 CNOT。

物理比特: 0 1 2 3 4
邻接矩阵 A (有向, 1 表示 i→j 可直接 CNOT):
     0 1 2 3 4
0 [  0 1 0 0 0 ]
1 [  0 0 1 0 0 ]
2 [  0 0 0 1 0 ]
3 [  0 0 0 0 1 ]
4 [  0 0 0 0 0 ]
注: 若 1→3 也可执行, 则 A[1][3]=1

距离矩阵 D (最少边数):
     0 1 2 3 4
0 [  0 1 2 3 4 ]
1 [  ∞ 0 1 2 3 ]
2 [  ∞ ∞ 0 1 2 ]
3 [  ∞ ∞ ∞ 0 1 ]
4 [  ∞ ∞ ∞ ∞ 0 ]

这个例子刻意做成单向链，是为了说明：如果只按无向图理解，会误以为 3→1 也能直接走；但按有向图，3 到 1 必须经过 4 或绕行，实际不可达。编译器在映射时必须识别这种方向约束，否则会生成无法执行的电路。

四、拓扑表示如何影响映射与路由

把物理架构表示成图之后，映射问题就变成：给逻辑比特找一个物理比特的分配，使电路中所有双比特门要么直接满足邻接关系，要么通过插入 SWAP 后满足。路由则是在不改变逻辑语义的前提下，用 SWAP 把逻辑比特“搬”到相邻位置。邻接矩阵和距离矩阵在这里直接参与代价计算：距离越远，需要的 SWAP 越多，电路深度和错误率越高。

实际工程中，还会在图上附加更多属性：每个物理比特的 T1、T2、读出保真度、单比特门错误率，每条有向边的 CNOT 错误率与时长。这些属性构成“带权有向图”，是调度器做优先级排序和并行门分组的依据。例如两个 CNOT 若共享同一个物理比特，就不能同时执行；若它们在有向图上互不冲突，则可以并行，从而压缩电路深度。

五、建模时的常见误区

第一，把无向图直接当有向图用。很多教学示例默认 CNOT 双向等价，但真实芯片上方向差异不可忽略。第二，只存邻接矩阵不存距离矩阵，导致每次路由都重新搜索，编译时间随比特数上升。第三，忽略物理比特的可用性差异，把错误率高的比特和边当作正常资源，映射结果虽然合法但保真度低。第四，把离子阱的全连接图当作“零代价全连接”，忽视全连接背后的串扰与门时间约束。

更稳妥的做法是：以带权有向图作为统一模型，邻接矩阵描述直接耦合，距离矩阵描述可达代价，顶点和边附加保真度、时长、可用状态等属性。这样，后续的拓扑映射、SWAP 路由和并行调度都能在同一套图数据上完成，避免表示不一致带来的编译错误。