中科院数学与系统科学研究院
数学研究所
量子计算前沿论坛
时间：2022年1月10日
线 下：数学院南楼219
线 上：腾讯会议172 320 073
直播地址https://www.koushare.com/lives/room/887483
1.8:40-9:25 应明生 (中国科学院软件研究所)
报告题目：Model Checking for Verification of Quantum Circuits
摘要: In this talk, I will describe a framework for assertion-based verification of quantum circuits by applying model checking techniques for quantum systems developed in our previous work, in which:
(1) noiseless and noisy quantum circuits are modelled as quantum automata and quantum Markov chains, respectively, and they are further represented by tensor networks;
(2) Quantum assertions are specified by a temporal extension of Birkhoff-von Neumann quantum logic;
(3) Algorithms for reachability analysis and model checking of quantum circuits are developed based on contraction of tensor networks.
2. 9:25-10:10 朱晓波 （中国科学技术大学）
报告题目：超导量子计算
摘要：由于量子计算在某些问题的处理能力上相比于经典计算机有着压倒性的优势，被普遍认为是下一代的计算技术，因而引起了广泛的关注。超导方案因具有良好的可扩展性就，目前备受关注，各大公司纷纷投资进入该领域。本次报告将主要讲解超导量子计算的现状及近期和中远期目标，并介绍我们在该方向上取得的一系列进展。
3. 10:20-11:05 强晓刚 （军事科学院国防科技创新研究院）
报告题目：硅基集成光学量子计算技术与进展
摘要：量子计算是建立在量子力学上的新型计算模型，在许多领域应用具有超越经典计算的巨大潜力。光量子芯片技术采用传统微纳加工工艺在单个芯片上集成大量光学器件，具有高集成度、高精确度、高稳定性等优势，是实现可实用化光量子计算的有效途径。硅基集成光学技术具有非线性效应强、集成密度高、CMOS可兼容等优点，为实现大规模集成光量子计算芯片提供了理想的技术平台。基于硅基集成光学技术，片上的纠缠光子源、高精度单光子操控、通用线性光学网络等都已得到了实验验证。我们基于硅基集成光学技术，面向规模化可编程光量子计算芯片技术开展了系统性研究，设计实现了高精度片上马赫泽德干涉仪、可编程通用两比特光量子计算芯片、图论问题专用可编程光量子计算芯片，以及哈密顿量含时演化高效模拟光量子计算芯片，并基于芯片研制实现了软硬件一体集成光学量子计算实验原型系统，进行了一系列量子算法应用与实验研究。这些结果显示了硅基集成光学技术实现未来大规模光量子计算的巨大潜力。
4. 11:05-11:50 邓东灵（清华大学）
报告题目：Some Recent Advances in Quantum Artificial Intelligence
摘要: Quantum artificial intelligence (Quantum AI) is an emergent interdisciplinary field that explores the interplay between artificial intelligence and quantum physics. On the one hand, judiciously designed quantum algorithms may exhibit exponential advantages in solving certain AI problems; on the other hand, ideas and techniques from AI can also be exploited to tackle challenging problems in the quantum domain. In this talk, I will first make a brief introduction to this field and review some recent progresses. I will talk about several concrete examples to illustrate how AI and quantum physics can promote studies in both fields. At the end of the talk, I will pose some fundamental challenges facing quantum AI that, if overcome, would give a significant boost to this fledgling field full of uncertainties and opportunities.
附件：