Hardness-Dependent Adiabatic Schedules for Analog Quantum Computing

Sébastien Perseguers

2024-10-29

Abstract:We propose a numerical approach to design highly efficient adiabatic schedules for analog quantum computing, focusing on the maximum independent set problem and neutral atom platforms. Based on a representative dataset of small graphs, we present numerical evidences that the optimum schedules depend principally on the hardness of the problem rather than on its size. These schedules perform better than the benchmark protocols and admit a straightforward implementation in the hardware. This allows us to extrapolate the results to larger graphs and to successfully solve moderately hard problems using QuEra's 256-qubit Aquila computer. We believe that extending our approach to hybrid algorithms could be the key to solve the hardest instances with the current technology, making yet another step toward real-world applications.

Quantum Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to design efficient adiabatic scheduling schemes in analog quantum computing to solve the maximum independent set (MIS) problem. Specifically, the paper focuses on how to optimize these scheduling schemes according to the difficulty (rather than the size) of the problem, so as to achieve more efficient problem - solving on the neutral - atom platform. Through numerical simulation and experimental verification, the paper shows that the optimization scheduling scheme based on problem difficulty is not only superior to the existing benchmark protocols, but also can be effectively extended to larger graph problems. In addition, the paper also explores how to extend this method to hybrid algorithms to solve the most difficult problem instances under the current technical conditions, thereby further promoting the development of practical applications.

### Core Problems of the Paper
1. **Optimizing Adiabatic Scheduling Schemes**: The paper proposes a numerical method for designing efficient adiabatic scheduling schemes, especially for the maximum independent set problem and the neutral - atom platform.
2. **Dependence on Problem Difficulty**: Research shows that the optimal scheduling scheme mainly depends on the difficulty of the problem, rather than the size of the problem.
3. **Performance Improvement**: The optimized scheduling scheme is significantly superior to the existing benchmark protocols in performance and can be directly implemented on hardware.
4. **Extension to Larger - scale Problems**: Through numerical simulation, the paper shows how to apply these optimization schemes to larger graph problems and successfully solves medium - difficulty problems.
5. **Application of Hybrid Algorithms**: The paper believes that extending this method to hybrid algorithms may be the key to solving the most difficult problem instances.

### Main Contributions
- **Optimizing Scheduling Schemes**: An optimization scheduling scheme based on problem difficulty is proposed, which significantly improves the efficiency of solving the maximum independent set problem.
- **Numerical Evidence**: A large amount of data for small graphs is provided through numerical simulation, proving that the optimal scheduling scheme mainly depends on the difficulty of the problem.
- **Experimental Verification**: Experiments were carried out on QuEra's 256 - qubit Aquila computer to verify the effectiveness of the optimized scheduling scheme.
- **Combination of Theory and Practice**: Not only a new method is proposed theoretically, but also verified on actual hardware, showing its potential in practical applications.

### Key Formulas
- **Rydberg Hamiltonian**:
\[
H = H_{\text{drive}}+H_{\text{cost}}
\]
where
\[
H_{\text{drive}}(t)=\frac{\Omega(t)}{2}\sum_{i}e^{i\phi(t)}|0\rangle_{i}\langle1|+\text{h.c.}
\]
\[
H_{\text{cost}}(t)=-\Delta(t)\sum_{i}\hat{n}_{i}+\sum_{i < j}V_{ij}\hat{n}_{i}\hat{n}_{j}
\]
Here, \(\Omega\) is the Rabi driving amplitude, \(\phi\) is the phase, \(\Delta\) is the detuning, \(\hat{n}_{i}=|1\rangle_{i}\langle1|\) detects the Rydberg excitation state of the \(i\)-th atom, and \(V_{ij}=\frac{C_{6}}{|r_{i}-r_{j}|^{6}}\) is the van der Waals interaction potential between two Rydberg states.

- **Hardness Parameter**:
\[
HP=\frac{D_{|MIS|}-1}{|MIS|\cdot D_{|MIS|}}
\]
where \(|MIS|\) is the size of the maximum independent set of the graph, and \(D_{k}\) is the degeneracy of the independent set with \(k\) vertices.

- **Optimization Objective Function**:
\[
P_{MIS}(\Theta)=\sum_{i = 1}^{|MIS|}|\langle\psi(\Theta,t_{f})|MIS_{i}\rangle|^{2}
\]
where \(|\psi(\Theta,t_{f})\rangle\) is the final state.