-
Protein folding with an all-to-all trapped-ion quantum computer
Authors:
Sebastián V. Romero,
Alejandro Gomez Cadavid,
Pavle Nikačević,
Enrique Solano,
Narendra N. Hegade,
Miguel Angel Lopez-Ruiz,
Claudio Girotto,
Masako Yamada,
Panagiotis Kl. Barkoutsos,
Ananth Kaushik,
Martin Roetteler
Abstract:
We experimentally demonstrate that the bias-field digitized counterdiabatic quantum optimization (BF-DCQO) algorithm, implemented on IonQ's fully connected trapped-ion quantum processors, offers an efficient approach to solving dense higher-order unconstrained binary optimization (HUBO) problems. Specifically, we tackle protein folding on a tetrahedral lattice for up to 12 amino acids, representin…
▽ More
We experimentally demonstrate that the bias-field digitized counterdiabatic quantum optimization (BF-DCQO) algorithm, implemented on IonQ's fully connected trapped-ion quantum processors, offers an efficient approach to solving dense higher-order unconstrained binary optimization (HUBO) problems. Specifically, we tackle protein folding on a tetrahedral lattice for up to 12 amino acids, representing the largest quantum hardware implementations of protein folding problems reported to date. Additionally, we address MAX 4-SAT instances at the computational phase transition and fully connected spin-glass problems using all 36 available qubits. Across all considered cases, our method consistently achieves optimal solutions, highlighting the powerful synergy between non-variational quantum optimization approaches and the intrinsic all-to-all connectivity of trapped-ion architectures. Given the expected scalability of trapped-ion quantum systems, BF-DCQO represents a promising pathway toward practical quantum advantage for dense HUBO problems with significant industrial and scientific relevance.
△ Less
Submitted 10 June, 2025; v1 submitted 9 June, 2025;
originally announced June 2025.
-
Pathfinding Quantum Simulations of Neutrinoless Double-$β$ Decay
Authors:
Ivan A. Chernyshev,
Roland C. Farrell,
Marc Illa,
Martin J. Savage,
Andrii Maksymov,
Felix Tripier,
Miguel Angel Lopez-Ruiz,
Andrew Arrasmith,
Yvette de Sereville,
Aharon Brodutch,
Claudio Girotto,
Ananth Kaushik,
Martin Roetteler
Abstract:
We present results from co-designed quantum simulations of the neutrinoless double-$β$ decay of a simple nucleus in 1+1D quantum chromodynamics using IonQ's Forte-generation trapped-ion quantum computers. Electrons, neutrinos, and up and down quarks are distributed across two lattice sites and mapped to 32 qubits, with an additional 4 qubits used for flag-based error mitigation. A four-fermion int…
▽ More
We present results from co-designed quantum simulations of the neutrinoless double-$β$ decay of a simple nucleus in 1+1D quantum chromodynamics using IonQ's Forte-generation trapped-ion quantum computers. Electrons, neutrinos, and up and down quarks are distributed across two lattice sites and mapped to 32 qubits, with an additional 4 qubits used for flag-based error mitigation. A four-fermion interaction is used to implement weak interactions, and lepton-number violation is induced by a neutrino Majorana mass. Quantum circuits that prepare the initial nucleus and time evolve with the Hamiltonian containing the strong and weak interactions are executed on IonQ Forte Enterprise. A clear signal of neutrinoless double-$β$ decay is measured, making this the first quantum simulation to observe lepton-number violation in real time. This was made possible by co-designing the simulation to maximally utilize the all-to-all connectivity and native gate-set available on IonQ's quantum computers. Quantum circuit compilation techniques and co-designed error-mitigation methods, informed from executing benchmarking circuits with up to 2,356 two-qubit gates, enabled observables to be extracted with high precision. We discuss the potential of future quantum simulations to provide yocto-second resolution of the reaction pathways in these, and other, nuclear processes.
△ Less
Submitted 6 June, 2025;
originally announced June 2025.
-
Quantum Computing for Optimizing Aircraft Loading
Authors:
Ananth Kaushik,
Sang Hyub Kim,
Willie Aboumrad,
Martin Roetteler,
Albana Topi,
Richard Ashworth
Abstract:
The aircraft loading optimization problem is a computationally hard problem with the best known classical algorithm scaling exponentially with the number of objects. We propose a quantum approach based on a multi-angle variant of the QAOA algorithm (Multi-Angle Layered Variational Quantum Algorithm (MAL-VQA)) designed to utilize a smaller number of two qubit gates in the quantum circuit as compare…
▽ More
The aircraft loading optimization problem is a computationally hard problem with the best known classical algorithm scaling exponentially with the number of objects. We propose a quantum approach based on a multi-angle variant of the QAOA algorithm (Multi-Angle Layered Variational Quantum Algorithm (MAL-VQA)) designed to utilize a smaller number of two qubit gates in the quantum circuit as compared to the standard QAOA algorithm so that the quantum optimization algorithm can be run on near-term ion-trap quantum processing units (QPU). We also describe a novel cost function implementation that can handle many different types of inequality constraints without the overhead of introducing slack variables in the quantum circuit so that larger problems with complex constraints may be represented on near-term QPUs which have low qubit counts. We demonstrate the performance of the algorithm on different instances of the aircraft loading problem by execution on IonQ QPUs Aria and Forte. Our experiments obtain the optimal solutions for all the problem instances studied ranging from 12 qubits to 28 qubits. This shows the potential scalability of the method to significantly larger problem sizes with the improvement of quantum hardware in the near future as well as the robustness of the quantum algorithm against varying initial guesses and varying constraints of different problem instances.
△ Less
Submitted 2 April, 2025;
originally announced April 2025.
-
Accelerating large-scale linear algebra using variational quantum imaginary time evolution
Authors:
Willie Aboumrad,
Daiwei Zhu,
Claudio Girotto,
François-Henry Rouet,
Jezer Jojo,
Robert Lucas,
Jay Pathak,
Ananth Kaushik,
Martin Roetteler
Abstract:
The solution of large sparse linear systems via factorization methods such as LU or Cholesky decomposition, can be computationally expensive due to the introduction of non-zero elements, or ``fill-in.'' Graph partitioning can be used to reduce the ``fill-in,'' thereby speeding up the solution of the linear system. We introduce a quantum approach to the graph partitioning problem based on variation…
▽ More
The solution of large sparse linear systems via factorization methods such as LU or Cholesky decomposition, can be computationally expensive due to the introduction of non-zero elements, or ``fill-in.'' Graph partitioning can be used to reduce the ``fill-in,'' thereby speeding up the solution of the linear system. We introduce a quantum approach to the graph partitioning problem based on variational quantum imaginary time evolution (VarQITE). We develop a hybrid quantum/classical method to accelerate Finite Element Analysis (FEA) by using VarQITE in Ansys's LS-DYNA multiphysics simulation software. This allows us to study different types of FEA problems, from mechanical engineering to computational fluid dynamics in simulations and on quantum hardware (IonQ Aria and IonQ Forte).
We demonstrate that VarQITE has the potential to impact LS-DYNA workflows by measuring the wall-clock time to solution of FEA problems. We report performance results for our hybrid quantum/classical workflow on selected FEA problem instances, including simulation of blood pumps, automotive roof crush, and vibration analysis of car bodies on meshes of up to six million elements. We find that the LS-DYNA wall clock time can be improved by up to 12\% for some problems. Finally, we introduce a classical heuristic inspired by Fiduccia-Mattheyses to improve the quality of VarQITE solutions obtained from hardware runs. Our results highlight the potential impact of quantum computing on large-scale FEA problems in the NISQ era.
△ Less
Submitted 14 April, 2025; v1 submitted 17 March, 2025;
originally announced March 2025.
-
Performant near-term quantum combinatorial optimization
Authors:
Titus D. Morris,
Ananth Kaushik,
Martin Roetteler,
Phillip C. Lotshaw
Abstract:
Combinatorial optimization is a promising application for near-term quantum computers, however, identifying performant algorithms suited to noisy quantum hardware remains as an important goal to potentially realizing quantum computational advantages. To address this we present a variational quantum algorithm for solving combinatorial optimization problems with linear-depth circuits. Our algorithm…
▽ More
Combinatorial optimization is a promising application for near-term quantum computers, however, identifying performant algorithms suited to noisy quantum hardware remains as an important goal to potentially realizing quantum computational advantages. To address this we present a variational quantum algorithm for solving combinatorial optimization problems with linear-depth circuits. Our algorithm uses an ansatz composed of Hamiltonian generators designed to control each term in the target combinatorial function, along with parameter updates following a modified version of quantum imaginary time evolution. We evaluate this ansatz in numerical simulations that target solutions to the MAXCUT problem. The state evolution is shown to closely mimic imaginary time evolution, and its optimal-solution convergence is further improved using adaptive transformations of the classical Hamiltonian spectrum. With these innovations, the algorithm consistently converges to optimal solutions, with interesting highly-entangled dynamics along the way. We further demonstrate the success of this approach by performing optimization of a truncated version of our ansatz with up to 32 qubits in a trapped-ion quantum computer, using measurements from the quantum computer to train the ansatz and prepare optimal solutions with high fidelity in the majority of cases we consider. The success of these large-scale quantum circuit optimizations, in the presence of realistic hardware constraints and without error mitigation, mark significant progress on the path towards solving combinatorial problems using quantum computers. We conclude our performant and resource-minimal approach is a promising candidate for potential quantum computational advantages.
△ Less
Submitted 22 October, 2024; v1 submitted 24 April, 2024;
originally announced April 2024.
-
Simulating the flight gate assignment problem on a trapped ion quantum computer
Authors:
Yahui Chai,
Evgeny Epifanovsky,
Karl Jansen,
Ananth Kaushik,
Stefan Kühn
Abstract:
We study the flight gate assignment problem on IonQ's Aria trapped ion quantum computer using the variational quantum eigensolver. Utilizing the conditional value at risk as an aggregation function, we demonstrate that current trapped ion quantum hardware is able to obtain good solutions for this combinatorial optimization problem with high probability. In particular, we run the full variational q…
▽ More
We study the flight gate assignment problem on IonQ's Aria trapped ion quantum computer using the variational quantum eigensolver. Utilizing the conditional value at risk as an aggregation function, we demonstrate that current trapped ion quantum hardware is able to obtain good solutions for this combinatorial optimization problem with high probability. In particular, we run the full variational quantum eigensolver for small instances and we perform inference runs for larger systems, demonstrating that current and near-future quantum hardware is suitable for addressing combinatorial optimization problems.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Quantum and Classical Combinatorial Optimizations Applied to Lattice-Based Factorization
Authors:
Willie Aboumrad,
Dominic Widdows,
Ananth Kaushik
Abstract:
The availability of working quantum computers has led to several proposals and claims of quantum advantage. In 2023, this has included claims that quantum computers can successfully factor large integers, by optimizing the search for nearby integers whose prime factors are all small.
This paper demonstrates that the hope of factoring numbers of commercial significance using these methods is unfo…
▽ More
The availability of working quantum computers has led to several proposals and claims of quantum advantage. In 2023, this has included claims that quantum computers can successfully factor large integers, by optimizing the search for nearby integers whose prime factors are all small.
This paper demonstrates that the hope of factoring numbers of commercial significance using these methods is unfounded. Mathematically, this is because the density of smooth numbers (numbers all of whose prime factors are small) decays exponentially as n grows. Our experimental reproductions and analysis show that lattice-based factoring does not scale successfully to larger numbers, that the proposed quantum enhancements do not alter this conclusion, and that other simpler classical optimization heuristics perform much better for lattice-based factoring.
However, many topics in this area have interesting applications and mathematical challenges, independently of factoring itself. We consider particular cases of the CVP, and opportunities for applying quantum techniques to other parts of the factorization pipeline, including the solution of linear equations modulo 2. Though the goal of factoring 1000-bit numbers is still out-of-reach, the combinatoric landscape is promising, and warrants further research with more circumspect objectives.
△ Less
Submitted 15 August, 2023;
originally announced August 2023.
