一个类别的量子计算电路的符号演算
摘要：使用控制否定和控制Q门引入了一种符号微积分，用于评估量子计算子电路目标线上的输出信号，其中Q表示[0 1；1 0]的k次方根，是NOT的酉矩阵，k是2的幂。控制信号是可能包含布尔表达式的GF(2)表达式。该方法不需要使用复数矩阵进行操作。该方法可以用于验证功能并检查使用目标线的给定量子计算电路可能的最小化。如果目标线之间存在相互作用，则该方法不适用于整个电路。在这种情况下，该方法适用于独立的子电路。
作者：Fatima Hadjam, Claudio Moraga
论文ID：1504.06983
分类：Emerging Technologies
分类简称：cs.ET
提交时间：2015-04-28