Parrondo paradox in quantum image encryption

技术摘要：量子图像加密中的帕伦多悖论（Parrondo Paradox）

问题陈述
数字图像的安全传输与存储正面临来自新兴量子计算能力的严峻挑战，这些能力威胁着传统的经典密码学方法。虽然量子图像处理（QIP）通过叠加和纠缠提供了优势，但现有的量子图像加密方案通常依赖于基于测量的方案。这些方法通过坍缩量子态来生成经典随机掩码，从而有效地丢弃了内在的量子信息与可逆性，使量子行走退化为经典的随机数生成器。此外，帕伦多悖论（即交替使用两个失败策略可以产生获胜结果的现象）在量子密码安全性中的作用仍未得到充分探索，人们担心在较简单的方案中，悖论动力学可能会引入可被利用的偏差。

方法论
本文提出了一种全相干、幺正（unitary）的量子图像加密协议，该协议在整个加密过程中避免了状态坍缩。该方案利用**增强型新型量子表示（NEQR）**来编码灰度图像，其中像素强度存储在 8 比特量子寄存器中。

加密过程集成了三个可逆量子层：

1. 空间扩散（Spatial Diffusion）： 一个利用依赖于坐标的位反转（bit-reversal）和交换操作的置换层，旨在将局部像素相关性在全球图像晶格上进行散射。
2. 混淆（Confusion）： 一种利用 Toffoli 门实现非线性操作的过程，用于将位置寄存器与颜色寄存器纠缠，从而破坏像素坐标与强度值之间的线性相关性。
3. 通过离散时间量子行走（DTQW）进行的替换（Substitution）： 在一个 $N=2^n$ 个位置的循环上应用幺正帕伦多量子行走。硬币算子序列根据二进制消息密钥进行动态选择，在三个由角度 $\theta_1, \theta_2, \theta_3$ 参数化的不同硬币配置（$C_0, C_1, C_2$）之间交替切换。

量子电路实现
为了确保在当前量子硬件上的效率，作者采用了一种基于 QFT 对角化优化的 DTQW 电路。该电路并非在每一步都重复进行量子傅里叶变换（QFT），而是通过单次 QFT 及其逆变换对条件移位算子进行对角化。时间演化通过根据硬币状态条件性作用的单比特和受控相位门层来实现。这种方法将电路深度和多比特门计数降低至 $O(n^2 + nt)$（对于 $N=2^n$ 循环的 $t$ 步），相比之前的 $O(n^2t)$ 缩放具有显著改进。

核心贡献

• 幺正协议： 本文引入了一种全可逆的加密方案，能够保持叠加和纠缠，这与以往丢弃量子相干性的基于测量的协议形成了对比。
• 帕伦多悖论研究： 本研究明确探讨了帕伦多悖论对加密质量的影响。研究表明，虽然在较简单的基于测量的方案中，悖论机制（即交替失败策略产生获胜结果）可能会引入偏差，但所提出的多层幺正架构有效地缓解了这些风险。
• 集成架构： 通过结合空间扩散、位置-颜色纠缠以及帕伦多行走的复杂干涉模式，该协议利用悖论来增强替换过程，而非削弱安全性。

结果
该协议在 $64 \times 64$ 基准图像（如 Lena, Frog, Triceratops）下，在两种条件下进行了评估：标准参数（非悖论）和悖论参数。

• 相关性抑制： 在两种情况下，加密均将相邻像素的相关性（水平、垂直和对角线）降低至接近于零的值（约 $10^{-2}$），表明实现了有效的扰乱。
• 直方图均匀性： 加密图像表现出近乎均匀的直方图，这与原始图像的非均匀分布形成鲜明对比。
• 熵： 加密像素值的熵接近理想的 8 位极限（数值 $\approx 7.95$），意味着极高的不确定性和均匀分布。
• 扩散与混淆敏感性：
  • NPCR（像素变化率）： 在所有测试中均超过 99%，表明改变单个明文像素会改变几乎整个密文。
  • UACI（统一平均变化强度）： 保持在 30% 左右，符合对微小明文变化的强健敏感性。
• 悖论鲁棒性： 至关重要的是，结果证实即使当量子行走运行在悖论机制下时，该协议仍保持安全且有效。额外的扩散和混淆层防止了悖论引入可被利用的偏差，保持了与非悖论情况相当的高熵和低相关性。

意义
论文得出结论，所提出的全幺正协议是一种高性能的量子图像密码，适用于安全的量子图像处理。它证实了悖论动力学在集成到多层幺正流水线中时，并不会降低安全性，反而可以被用来增强加密的复杂度。这项工作提供了一种可逆、确定且高度敏感的机制，充分利用了量子叠加和纠缠的全部力量。作者认为，这些发现支持了此类方法在未来硬件实现及向更高维行走扩展方面的适用性。