[论文解读] The quantum conditional statement

Alessandro Bisio, Michele Dall’Arno+1 more|arXiv (Cornell University)|Sep 3, 2015

Quantum Computing Algorithms and Architecture被引用 1

一句话总结

本文確立了通過量子控制量子位元控制一組量子閘的必要且充分條件，顯示此類條件執行僅可能出現在特定的酉算符集合上。在兩能級（量子位元）情況下，本文完整描述了這些可控制集合，揭示了閘可控制性與在使用未知量子操作時提取資訊能力之間的深刻連結。

ABSTRACT

An essential element of classical computation is the if-then construct, that accepts a control bit and an arbitrary gate, and provides conditional execution of the gate depending on the value of the controlling bit. On the other hand, quantum theory prevents the existence of an analogous universal construct accepting a control qubit and an arbitrary quantum gate as its input. Nevertheless, there are controllable sets of quantum gates for which such a construct exists. Here we provide a necessary and sufficient condition for a set of unitary transformations to be controllable, and we give a complete characterization of controllable sets in the two dimensional case. This result reveals an interesting connection between the problem of controllability and the problem of extracting information from an unknown quantum gate while using it.

研究动机与目标

• 確定何時可透過控制量子位元來條件式執行一組量子閘，類比於古典的 if-then 構造。
• 識別出即使在一般情況下量子力學禁止其存在，仍可存在通用量子條件閘的數學條件。
• 在二維度（量子位元）情況下，完整描述可控制的酉運算集合。
• 探討可控制性與在執行期間從未知量子閘中提取資訊問題之間的關聯。

提出的方法

• 作者分析酉變換的結構，推導出一組閘可透過控制量子位元控制的必要且充分條件。
• 他們運用群論與代數技術，描述閘集合在受控操作下的封閉性特性。
• 分析聚焦於二維希爾伯特空間（量子位元），作者分類所有可能的可控制酉集合。
• 該方法顯示，可控制性等價於閘集合在特定運算下的一種特定代數條件，與其生成封閉代數的能力相關。
• 該框架將量子條件的存在與在使用時學習未知閘資訊的可能性連結起來。
• 該方法運用量子操作理論與酉群結構，推導出可行受控閘建構的約束條件。

实验结果

研究问题

• RQ1 在何種條件下，量子控制量子位元可條件式執行任意量子閘？
• RQ2 一組酉運算必須滿足何種數學結構，才能允許受控實作？
• RQ3 控制量子閘的問題如何與從未知量子操作中提取資訊的問題相關？
• RQ4 在量子位元（兩能級）情況下，哪些酉變換集合是可控制的？
• RQ5 是否存在根本限制阻止通用量子條件語句的實現？若存在，其影響為何？

主要发现

• 推導出一組酉運算可透過控制量子位元控制的必要且充分條件，顯示此類控制僅在閘集合上存在特定代數約束時才可能。
• 在二維情況下，本文完整分類了所有可實現受控實作的酉集合。
• 本文顯示，量子條件語句的存在等價於在以受控方式使用時，能提取關於未知閘的資訊。
• 結果揭示了可控制性與量子操作中資訊提取之間的深刻結構關聯。
• 該框架顯示，由於量子不可克隆與線性約束，通用量子條件執行是不可能的，但受限的閘集合仍可被控制。