We report on ongoing work for providing software support for quantum computing, ranging from a high-level quantum programming language and its formal semantics down to the level of the actual quantum hardware based on semiconductor spin qubits and electron shuttling. Here, modularity is achieved by introducing quantum circuits as intermediate representations of quantum programs, thus splitting the compilation process into a frontend and a backend part. We describe both the results that have been achieved so far and the next steps that we are planning to take. Moreover, we identify critical problems in both the frontend and the backend components such as the implementation of mid-circuit measurements and scalability issues arising from qubit mapping and routing, respectively.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Quantum Computing: From Weakest Preconditions to Voltage Pulses

  • Thomas Noll,
  • Christina Gehnen,
  • Roy Hermanns

摘要

We report on ongoing work for providing software support for quantum computing, ranging from a high-level quantum programming language and its formal semantics down to the level of the actual quantum hardware based on semiconductor spin qubits and electron shuttling. Here, modularity is achieved by introducing quantum circuits as intermediate representations of quantum programs, thus splitting the compilation process into a frontend and a backend part. We describe both the results that have been achieved so far and the next steps that we are planning to take. Moreover, we identify critical problems in both the frontend and the backend components such as the implementation of mid-circuit measurements and scalability issues arising from qubit mapping and routing, respectively.