[论文解读] Conjugate Codes and Applications to Cryptography

Mitsuru Hamada|arXiv (Cornell University)|Oct 23, 2006

Quantum Computing Algorithms and Architecture参考文献 32被引用 9

一句话总结

本文引入共轭码对——有限域上满足 C₂⊥ ≤ C₁ 的线性码对 (C₁, C₂)——作为量子纠错码与密码学的经典编码理论框架。它表明此类码对构成了 Calderbank-Shor-Steane (CSS) 量子码的基础，并通过利用对偶结构实现直接的量子密码加密，为编码理论与量子信息之间架起桥梁，在安全密钥分发与数据加密中具有应用价值。

ABSTRACT

A conjugate code pair is defined as a pair of linear codes such that one contains the dual of the other. The conjugate code pair represents the essential structure of the corresponding Calderbank-Shor-Steane (CSS) quantum code. It is argued that conjugate code pairs are applicable to quantum cryptography in order to motivate studies on conjugate code pairs.

研究动机与目标

• 通过共轭码对以纯代数方式重构量子纠错码，特别是 CSS 码，使其对编码理论研究者更易理解。
• 通过展示共轭码对在量子密码学中的应用（超越量子密钥分发 QKD），激发对共轭码对的研究兴趣。
• 通过利用对偶结构 C₂⊥ ≤ C₁，证明共轭码对可直接用于数据加密，而不仅限于密钥分发。
• 将先前关于对称共轭码（其中 C₁ = C₂）的结果推广至非对称对，拓展适用码的范围。
• 为未来构造具有优良纠错与密码学特性的高性能共轭码对奠定基础。

提出的方法

• 在有限域 F_q 上定义共轭码对 (C₁, C₂) 为满足 C₂⊥ ≤ C₁ 的两个线性码，该条件蕴含 C₁⊥ ≤ C₂，且商码的维数满足 k₁ + k₂ - n = k。
• 利用 Weyl 仿射表示 N: F_q^{2n} → U(H^⊗n) 将经典码结构映射为量子算符，建立经典码与量子码之间的联系。
• 通过商码 C₁/C₂⊥ 构建量子编码映射，利用稳定子态将逻辑态编码至希尔伯特空间。
• 应用 CSS 构造：准备量子态 |ψ⟩ = 1/|C₂⊥|^{1/2} ∑_{w∈C₂⊥} |x + v + w⟩，其中 v 为陪集代表元，并利用对偶码结构确保纠错能力。
• 通过编码态的保真度与窃听者（Eve）的信息获取量分析安全性，表明 Eve 的测量结果 E 受码的最小距离与对偶结构的限制。
• 利用对偶基将结果从素数域 F_p 推广至扩张域 F_q（q = p^m），从而可从 F_q 上的共轭码对构造出等价的 F_p 上的共轭码对。

实验结果

研究问题

• RQ1 如何利用满足 C₂⊥ ≤ C₁ 的共轭码对 (C₁, C₂) 构建量子纠错码？其与 CSS 码的结构关系为何？
• RQ2 共轭码对在何种方式下可作为直接数据加密在量子密码学中的基础，且独立于密钥分发？
• RQ3 商码 C₁/C₂⊥ 与 C₂/C₁⊥ 在决定所构建密码系统的性能与安全性方面起何作用？
• RQ4 共轭码对的参数 (n, k₁, k₂) 如何影响量子加密方案的保真度与安全性？
• RQ5 能否将扩张域 F_q（q = p^m）上的共轭码对约化为等价的 F_p 上的共轭码对？这一过程如何影响其密码学与纠错性能？

主要发现

• 满足 C₂⊥ ≤ C₁ 的共轭码对 (C₁, C₂) 与 CSS 量子码的结构等价，为量子纠错提供了经典代数表述。
• 商码 C₁/C₂⊥ 与 C₂/C₁⊥ 继承了 C₁ 与 C₂ 的纠错能力，其最小距离决定了编码保真度与安全性。
• 基于共轭码的加密方案的安全性受码的最小距离限制：距离越大，窃听者获得的信息越少。
• 本文证明了编码态在码作用下的保真度得以保持，确保当错误在码的纠错能力范围内时可实现可靠恢复。
• 通过在 F_q（q = p^m）上使用对偶基，可将 F_q 上的共轭码对转换为等价的 F_p 上的共轭码对，从而使得标准有限域码可应用于量子密码学。
• 该方法允许直接使用共轭码对对秘密数据进行加密：发送方将消息编码为 C₁ 中 C₂⊥ 的一个陪集，接收方利用对偶结构进行解码，安全性源于码的对偶性与最小距离。