Timing Control In Quantum Programming And Quantum Compilation

In the noisy intermediate-scale quantum era(NISQ),in order to support quantum calibration experiment and improve the fidelity of quantum algorithms,quantum computing systems need to explicitly control the timing of quantum operations.The existing quantum control hardware and some quantum assembly languages can provide the explicit timing control capabilities at the level of quantum control micro-architecture and instruction set.However,the existing tools cannot balance the timing control of quantum operations and efficient descriptions of quantum algorithms.On the one hand,although quantum calibration software environments can modify the parameters of quantum operations signal in detail,it cannot take over the role of quantum programming language to describe the quantum algorithms efficiently? on the other hand,quantum programming languages and compilers can effectively describe and optimize quantum algorithms,but ignore the details of underlying hardware including the timing of quantum operations.The key reason of above problems is because there is a lack of systematic solutions to support explicit timing control at quantum programming language and compilers level.It also makes the gap between the quantum software and quantum hardware,and restricts quantum softwarehardware co-development.Therefore,the thesis takes the above requirements as research motivation and conducts the research with the method in the field of real-time system to propose a systematic solutions at the programming language and compilation level.In this thesis,I analyzed the characteristics of timing behavior in quantum control systems,and proposed a timing control mechanism for quantum computing based on timed automata.I also clarified the required capabilities of timing constraint description,and extended the syntax of Quingo,which is a quantum programming language,to support the timing control mechanism.After analyzing the influence of real-time feedback control with quantum measurement results on the solution process of timing constraints,we decided to focus on the application scene without real-time feedback control.Then,the thesis proposed a timing constraint solving algorithm based on linear constraint solving by transforming the timing scheduling problem into a constraint solving problem under the non-real-time feedback control scene.Afterwards,I defined an intermediate representation format for timing constraint solving in Quingoc compiler based on multilevel intermediate representation system(MLIR).So that realized Quingoc compiler can generate a quantum-classical hybrid e QASM instruction codes with timing information.Finally,the thesis verified the feasibility and correctness of the scheme by the execution of the e QASM codes on the quantum control architecture simulator CACTUS and quantum central control hardware.The contribution of this thesis is that for the first time,proposed a preliminary scheme of explicit timing control for quantum computing systems at the programming language and compilation level.It lays the foundation for the combination of quantum programming language and quantum calibration software environment,and provides a new method to improve the efficiency of quantum calibration experiment and improve the fidelity of quantum algorithms.This thesis is expected to deepen the docking of quantum computing software and hardware.