Bringing Quantum Systems under Control: A Tutorial Invitation to Quantum Computing and Its Relation to Bilinear Control Systems

Julian Berberich,Robert L. Kosut,Thomas Schulte-Herbrüggen

2024-12-01

Abstract:Quantum computing comes with the potential to push computational boundaries in various domains including, e.g., cryptography, simulation, optimization, and machine learning. Exploiting the principles of quantum mechanics, new algorithms can be developed with capabilities that are unprecedented by classical computers. However, the experimental realization of quantum devices is an active field of research with enormous open challenges, including robustness against noise and scalability. While systems and control theory plays a crucial role in tackling these challenges, the principles of quantum physics lead to a (perceived) high entry barrier for entering the field of quantum computing. This tutorial paper aims at lowering the barrier by introducing basic concepts required to understand and solve research problems in quantum systems. First, we introduce fundamentals of quantum algorithms, ranging from basic ingredients such as qubits and quantum logic gates to prominent examples and more advanced concepts, e.g., variational quantum algorithms. Next, we formalize some engineering questions for building quantum devices in the real world, which requires the careful manipulation of microscopic quantities obeying quantum effects. To this end for N-level systems, we introduce basic concepts of (bilinear) quantum systems and control theory including controllability, observability, and optimal control in a unified frame. Finally, we address the problem of noise in real-world quantum systems via robust quantum control, which relies on a set-membership uncertainty description frequently employed in control.

Systems and Control,Optimization and Control

What problem does this paper attempt to address?

The core problem that this paper attempts to solve is to lower the entry threshold in the field of quantum computing. By introducing the basic concepts of quantum systems and control theory, it helps engineers and researchers understand how to deal with the challenges faced when implementing quantum devices. Specifically, the article focuses on the following aspects:

1. **Introduction to the basics of quantum algorithms**:
- From basic units (such as qubits and quantum logic gates) to more complex concepts (such as variational quantum algorithms), the article elaborates on the mathematical framework of quantum algorithms, which rely on complex linear algebra.

2. **Engineering problems in constructing actual quantum devices**:
- The article discusses the microscopic quantity operations required to construct quantum devices in the real world, and these quantities follow quantum effects. Especially for N - level systems, the article introduces the basic concepts of (bilinear) quantum systems and control theory, including controllability, observability, and optimal control.

3. **Dealing with the noise problem**:
- In practical applications, noise is one of the main challenges faced by quantum systems. The article solves this problem through the method of robust quantum control, using set - member uncertainty description, which is a commonly used means in the control field.

4. **Emphasizing the importance of mathematical tools**:
- The paper emphasizes that understanding quantum computing mainly involves linear algebra (for quantum algorithms) and dealing with bilinear control systems (for quantum systems and control theory), and does not require too much knowledge of quantum physics.

5. **Providing a unified framework**:
- The article provides a unified Lie group framework for quantum system theory and control engineering, simplifies symmetry analysis, and makes the complex problem of controlling quantum systems more intuitive and easier to handle.

In summary, this paper aims to lower the technical barriers in this field by elaborating on the basic principles of quantum computing and related control theories, and help more researchers and engineers enter and contribute to the research and development of quantum computing.

### Formula display

- **Representation of quantum bits**:
\[
|ψ⟩ = α|0⟩ + β|1⟩
\]
where \(α\) and \(β\) are probability amplitudes, satisfying \(|\alpha|^2+|\beta|^2 = 1\).

- **Probability of measurement results**:
\[
P(λ_i)=\langle ψ|P_i|ψ⟩ = ψ^†P_iψ
\]

- **State after quantum state collapse**:
\[
\frac{P_i|ψ⟩}{\sqrt{\langle ψ|P_i|ψ⟩}}
\]

- **Tensor product representation of multi - qubit states**:
\[
|ψ⟩ = |ψ_1⟩\otimes|ψ_2⟩
\]

- **Representation of Bell states**:
\[
|Φ^+⟩=\frac{1}{\sqrt{2}}(|00⟩ + |11⟩)
\]

- **Pauli rotation gate**:
\[
R_y(θ)=e^{-iθY/2}
\]

- **Matrix form of CNOT gate**:
\[
CNOT=\begin{bmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & 0 & 1 \\
0 & 0 & 1 & 0
\end{bmatrix}
\]

- **Quantum Fourier transform**:
\[
QFT: |k⟩\mapsto\frac{1}{\sqrt{2^n}}\sum_{j = 0}^{2^n-1}e^{2πijk/2^n}|j⟩
\]

- **Density matrix representation**:
\[
ρ=\sum_{i = 1}^q p_i|ψ_i⟩⟨ψ_i|
\]

These formulas show the key mathematical expressions involved in the paper, which are helpful for a deeper understanding of the concepts and methods mentioned in the article.