Quantum Circuit Synthesis
- 講者顏玓德 博士 (University of Liverpool, UK)
邀請人：陳郁方 - 時間2024-12-18 (Wed.) 11:00 ~ 12:00
- 地點資訊所新館101演講廳
摘要
The synthesis problem asks whether there exists an implementation that satisfies given specifications and, if so, automatically generates it. The study of synthesis began in the 1950s, with the basic case of circuit synthesis for S1S specifications solved in the 1960s using game-theoretic methods. Today, the field remains active due to its wide-ranging applications, including robotics, autonomous driving, hardware design, communication protocols, and embedded systems.
In this talk, we discuss a potential approach to quantum circuit synthesis—the process of automatically generating quantum circuits that meet given specifications. Specifically, we explore stochastic games for quantum finite automata, the fundamental models of quantum computation. We present evidence demonstrating that the problem is challenging in general and identify sub-problems that could potentially be solved effectively.
In this talk, we discuss a potential approach to quantum circuit synthesis—the process of automatically generating quantum circuits that meet given specifications. Specifically, we explore stochastic games for quantum finite automata, the fundamental models of quantum computation. We present evidence demonstrating that the problem is challenging in general and identify sub-problems that could potentially be solved effectively.