电子学报 ›› 2013, Vol. 41 ›› Issue (1): 91-97.DOI: 10.3969/j.issn.0372-2112.2013.01.017

• 学术论文 • 上一篇    下一篇

基于NCP门库的一维量子行走可逆逻辑电路

朱皖宁1, 陈汉武1,3, 李志钢1, 阮越1,2, 王冬1, 周刚1   

  1. 1. 东南大学计算机科学与工程学院,江苏南京 210096;
    2. 安徽工业大学计算机学院,安徽马鞍山 243005;
    3. 东南大学计算机网络和信息集成教育部重点实验室,江苏南京 210096
  • 收稿日期:2012-04-21 修回日期:2012-10-12 出版日期:2013-01-25
    • 作者简介:
    • 朱皖宁 男,1983年1月生,江苏南京人.2005年毕业于东南大学计算机科学与工程学院.2006年在东南大学计算机科学与工程学院就读硕士,方向为系统结构专业,2010年进入东南大学计算机科学与工程学院,现为博士生,从事量子计算与量子可逆逻辑方面的有关研究. E-mail:granny025@163.com 陈汉武 男,1955年11月生,江苏南京人.教授,博士生导师.现从事量子信息与量子计算方向研究. E-mail:hanwu_chen@163.com 李志钢 男,1985年8月生,山西省阳泉人.2009年7月毕业于同济大学电子与信息工程学院.2009年9月进入东南大学计算机科学与工程学院,现为硕博连读生,从事量子计算与量子可逆逻辑方面的有关研究. 阮 越 男,1972年8月生,安徽马鞍山人.东南大学在职博士生,安徽工业大学讲师,主要研究领域为量子计算和量子算法.
    • 基金资助:
    • 国家自然科学基金 (No.61170321); 高等学校博士学科点专项科研基金 (No.20110092110024); 计算机网络和信息集成教育部重点实验室基金

Reversible Logic Circuit for One-Dimensional Quantum Walk Based on NCP Quantum Gates Library

ZHU Wan-ning1, CHEN Han-wu1,3, LI Zhi-gang1, RUAN Yue1,2, WANG Dong1, ZHOU Gang1   

  1. 1. School of Computer Science and Engineering, Southeast University, Nanjing, Jiangsu 210096, China;
    2. School of Computer Science, Anhui University of Technology, Ma'anshan, Anhui 243005, China;
    3. Key Laboratory of Computer Network and Information Integration of Ministry of Education, Southeast University, Nanjing, Jiangsu 210096, China
  • Received:2012-04-21 Revised:2012-10-12 Online:2013-01-25 Published:2013-01-25
    • Supported by:
    • National Natural Science Foundation of China (No.61170321); Research Fund for the Doctoral Program of Higher Education of China (No.20110092110024); Key Laboratory of Computer Network and Information Integration of Ministry of Education

摘要: 本文提出了基于NCP门库的一维量子行走可逆逻辑电路设计方案.根据一维量子行走的特点,电路被划分为投掷硬币和S操作两个部分;文章详细分析一维量子行走,对其行为数学建模,巧妙利用可控加减电路实现了S操作.目前对于量子行走算法的研究多数局限于数学理论和数理解析层面,在量子电路理论层面对量子行走算法的研究为数不多.本文利用原始递归给出了一维量子行走中每一步在量子电路理论层面上的数学表达式;提出的可逆逻辑电路描述了一维量子行走的最基本操作,并且将其使用模块化表示,使一维量子行走算法的研究从理论到实现上前进了一步.

关键词: 一维量子行走, NCP门库, 可逆逻辑, 可控加减电路, 原始递归

Abstract: The design proposal of reversible logic circuit for one-dimensional quantum walk based on NCP quantum gates library is presented.According to the features of the one-dimensional quantum walk,this circuit is divided to two parts,one part is quantum coin tossing and the other part is S operation.Besides the work above,this paper thoroughly analyses the one-dimensional quantum walk and builds a mathematical model of the one-dimensional quantum walk and uses controlled add-sub circuit to realize the S operation.At present the researches on quantum walk often limited to the mathematical theory and analysis.Depend on the primitive recursive,Mathematical expression of every step of the one-dimensional quantum walk is given in this paper;the circuit studied in this paper describes element operation of the one-dimensional quantum walk,and make this modular which contribute to the realization for the algorithm of one-dimensional quantum walk.

Key words: one-dimensional quantum walk, NCP quantum gates library, reversible logic, controlled add-sub circuit, primitive recursive

中图分类号: