报告人简介：

Sanjiang Li is a full professor at the Centre for Quantum Software & Information (QSI) at the University of Technology Sydney (UTS), Australia. He received his B.Sc. and PhD in mathematics from Shaanxi Normal University and Sichuan University in 1996 and 2001, respectively. Before joining UTS, he worked at Tsinghua University from 2001 to 2008. He was an Alexander von Humboldt research fellow at Freiburg University and held prestigious positions such as a Microsoft Research Asia Young Professorship and an ARC Future Fellowship.

His early research focused on knowledge representation and artificial intelligence, particularly in spatial knowledge representation and reasoning. Recently, his work has expanded into quantum circuit compilation and verification, as well as quantum AI.

Professor Li's research has been published in leading journals and conferences, including Artificial Intelligence, IEEE TC, IEEE TCAD, ACM TODAES, and AAAI, IJCAI, DAC, ICCAD.

报告简介：

Neutral atom (NA) quantum systems are emerging as a leading platform for quantum computation, offering superior or competitive qubit count and gate fidelity compared to superconducting circuits and ion traps. However, the unique features of NA devices, such as long-range interactions, long qubit coherence time, and the ability to physically move qubits, present distinct challenges for quantum circuit compilation. In this paper, we introduce DasAtom, a novel divide-and-shuttle atom approach designed to optimise quantum circuit transformation for NA devices by leveraging these capabilities. DasAtom partitions circuits into subcircuits, each associated with a qubit mapping that allows all gates within the subcircuit to be directly executed. The algorithm then shuttles atoms to transition seamlessly from one mapping to the next, enhancing both execution efficiency and overall fidelity. For a 30-qubit Quantum Fourier Transform (QFT), DasAtom achieves a 414x improvement in fidelity over the move-based algorithm Enola and a 10.6x improvement over the SWAP-based algorithm Tetris. Notably, this improvement is expected to increase exponentially with the number of qubits, positioning DasAtom as a highly promising solution for scaling quantum computation on NA platforms. See https://arxiv.org/abs/2409.03185