概率性错误抵消(PEC)#
1. 依赖的噪声假设#
概率性错误抵消(Probabilistic Error Cancellation,PEC)是一种利用已知噪声模型来抵消量子噪声影响的错误缓解方法。PEC 方法依赖以下噪声假设(参考噪声的基本假设):
马尔可夫性(Markovianity):假设噪声过程是马尔可夫的,即系统的演化仅与当前状态有关,忽略历史影响。
局域性(Locality):假设噪声是局域的,即当前操作只影响与其相关的量子比特,不会影响其他不相关的量子比特。
已知噪声模型(Known Noise Model):假设噪声模型是已知的,并且可以被准确地表征。
这些假设使我们可以建立一个可处理的噪声模型,用于分析和抵消噪声对量子计算的影响。
2. 理想算符的分解#
备注
这里要用到算符的 Pauli 转移矩阵表示
在 PEC 方法中,我们的目标是将理想的量子算符 \(\mathcal{U}\) 分解为已知的含噪算符 \(\{\tilde{\mathcal{U}}_i\}\) 的线性组合。具体地,我们希望找到一组权重 \(w_i\),使得:
其中,\(\tilde{\mathcal{U}}_i^{\#}\) 是在含噪量子设备上可以实现的算符 (这里是PTM(超算符) 形式)。
由于噪声模型已知,我们可以表征含噪算符 \(\tilde{\mathcal{U}}_i^{\#}\),并计算对应的权重 \(w_i\)。
注意
...至于如何得到含噪算符的具体形式,参见门集层析技术
3. 噪声的分类#
为了更全面地抵消量子噪声,需要考虑以下几种类型的噪声:
制备噪声(Preparation Noise):在量子态制备阶段引入的噪声,导致初始态偏离预期的状态。
算符噪声(Operation Noise):在量子门操作过程中引入的噪声,使得实际执行的算符与理想算符不一致。
测量噪声(Measurement Noise):在测量过程中引入的噪声,导致测量结果偏离真实的量子态信息。
通过对这些噪声类型的表征,可以构建更加准确的噪声模型,为错误抵消提供基础。
4. 通过蒙特卡洛方法获得结果#
由于权重 \(w_i\) 可能为负值或大于 1,直接实现对应的量子操作在物理上不可行。为了解决这一问题,PEC 采用了基于准概率分布(Quasi-probability Distribution) 的蒙特卡洛采样方法。
具体步骤如下:
构建准概率分布:将权重 \(w_i\) 转换为准概率分布 \(p_i\),使得:
\[ w_i = \eta q_i = \eta \mathrm{sgn}(w_i) p_i \]其中,\(\eta\) 是归一化因子,定义为所有权重绝对值之和:
\[ \eta = \sum_i |w_i| \]准概率分布 \(p_i\) 满足:
\[ \sum_i p_i = 1 \]由于 \(w_i\) 可能为负值,因此 \(q_i\) 可以为负值,即准概率分布允许负概率。
基于准概率的采样:由于不能直接根据负概率进行采样,我们通过引入辅助概率分布 \(p_i\),满足归一化条件。
蒙特卡洛采样:根据概率分布 \(p_i\),随机采样含噪算符序列 \(\{\tilde{\mathcal{B}}_i\}\)。
执行含噪量子电路:在量子设备上执行采样得到的含噪算符序列,对每个序列进行独立实验。
结果加权与求平均:对于每次实验的测量结果的期望值 \(m_i\),乘以对应的符号 \(\text{sgn}(w_i)\),得到加权结果 \(\tilde{m}_i\):
然后,对所有实验的加权结果求平均,得到错误抵消后的期望值:
其中,\(N\) 是实验次数。
通过增加采样次数 \(N\),可以提高结果的精度。由于归一化因子 \(\eta\) 可能较大,实现 PEC 需要的实验次数也会相应增加。同时,由于准概率分布的存在,测量结果的方差也会增大,需要更多的采样来达到所需的精度。
5. 总结#
噪声模型依赖:PEC 的效果高度依赖于噪声模型的准确性,需要高精度的噪声表征。
基集规模大:对于 \(n\) 个量子比特的系统,算符空间的维度为 \(4^n\),因此基集的规模会随比特数指数增长,增加了计算和实现的复杂度。