The Need for New Computing Capabilities
Over the past five decades, the integrated circuit computing paradigm has powered many technological breakthroughs. However, the computing power we’re able to fit into computer chips is beginning to reach a limit, and the hardest problems in fields like software verification and validation (VV), or machine learning and artificial intelligence (ML and AI), can’t be solved by existing technology.
The challenging software engineering problems these fields face are combinatorial optimization problems. For many combinatorial optimization problems, finding the exact optimal solution is non-deterministic polynomial hard (NP-hard), which means that each of these problems could take billions of years to solve using classical computing paradigms.
Some examples of these problems involve complicated software components of aircraft flight controls. For example, Lockheed Martin recently published code that is used to control an aircraft safety mechanism. The purpose of the code is to automate evasive maneuvers if the aircraft is in danger. However, because of the complexity of the code and the maneuvers it controls, classical computers are unable to verify and validate that the code is safe. To solve these problems in mission-critical time for the sake of safety and mission success, we need a new paradigm in optimization algorithms and computational capabilities.
Achieving Quantum Advantage2
At the SEI, we are investigating whether quantum algorithms and computers can serve as this next paradigm for optimization in applications like software VV. To do so, we are working toward quantum advantage: a clear demonstration of a quantum computer solving a problem of practical interest faster than a classical computer.
We are investigating near-term optimization algorithms that can run effectively on NISQ QPUs, like Variational Quantum Eigensolver (VQE) and Quantum Approximation Optimization Algorithm (QAOA). Currently, we are focusing on:
- benchmarking Variational Quantum Optimization techniques, such as QAOA, and their ability to tolerate NISQ-era QPUs
- improving circuit generation for NISQ-era QPUs
- analyzing the hierarchy of the problems of interest and identifying which parts can be mapped effectively to QPUs
- addressing the challenges of scaling up to O(102-103) qubits as well as predicting and projecting quantum advantage
- developing software tools to help data scientists and engineers use quantum computers
- We use JupyterHub to work with our collaborators. To get credentials for JupiterHub and connect with our work, contact us.