IBM and Algorithmiq Develop Framework for Verifying Quantum Computations Beyond Classical Simulation

IBM Quantum Heron.
Hub Hub

Insider Brief

  • IBM and Algorithmiq have demonstrated a quantum computation framework for studying heterogeneous quantum materials while validating results when classical verification methods are unavailable.
  • The team used an IBM Quantum Heron processor to simulate a programmable quantum material and developed a validation approach based on noise modeling, error mitigation, and cross-platform testing.
  • Algorithmiq released its monoprop classical simulation package to allow researchers to independently evaluate future quantum advantage claims.

Press release – Today, Algorithmiq and IBM (NYSE: IBM) announced a major milestone in the development of quantum computing: a joint demonstration of quantum advantage with the simulation of a heterogeneous quantum material, achieved with a new framework that establishes trust in quantum computations when classical verification is unavailable.

Eight months after this problem and results were first released through the launch of the Quantum Advantage Tracker, no classical method has been able to reliably produce results across the full problem regime studied in this work. It demonstrates that quantum computers can provide trusted solutions more efficiently, more cheaply, or more accurately than leading classical compute methods – which has long been considered a key milestone in the field.

Studying Information Flow in Heterogenous Quantum Matter

Real materials, including catalysts and battery electrolytes, are defined not by perfect crystalline order but by irregular structures, interfaces, and local variations that strongly influence how information, energy, and particles move through the system. To study these effects, a team led by senior scientist Sergey Filippov in Algorithmiq‘s R&D division, which is headed by co-founder & Chief Scientific Officer Guillermo García-Pérez, developed a model of heterogeneous quantum matter in which information propagates through regions with different local properties. The resulting dynamics were deliberately positioned in a regime that is experimentally accessible on today’s quantum hardware but demanding for leading classical simulation techniques.

The model, when executed on an IBM Quantum Heron processor, effectively captured a programmable quantum material whose microscopic couplings could be tuned and reconfigured at will, so that researchers can control where information flows, localizes, or interferes, as it would in a real material.

Solving Quantum Computing’s Trust Problem

Quantum results have traditionally earned trust the same way: by checking them against a classical simulation. To do so, Algorithmiq‘s software engineering team collaborated with world-leading classical simulation researchers to explore different simulation approaches. The various classical methods produced conflicting predictions among themselves for the same quantities. In the absence of an exact solution, the challenge was not only to outperform classical computation, but also to determine which result could be trusted.

To address this challenge, the team developed a new framework for trusted quantum computation in the beyond-classical era, laying down a blueprint for scientific discovery. A central part of this strategy was noise manipulation and building a representative model of the underlying noise in the device. Researchers deliberately changed the noise affecting the quantum circuits, including through controlled noise injection, modified gate calibrations, and execution on multiple IBM Quantum processors. This showed that the quantum results remained stable — providing evidence that the quantum computers were producing consistent solutions. With extensively tested noise models, they also demonstrated a path to stand-alone validation using unbiased error mitigation techniques with quantified uncertainty.

Open Sourcing the Benchmark

Algorithmiq is also today releasing monoprop, which makes its best classical method for simulating molecular ground states available to the wider research community — the same techniques it has used to test and challenge quantum advantage claims, including its own. The package is designed to let any research group, quantum or classical, stress-test future advantage claims rather than take them on faith.

Supporting Commentary

Sabrina Maniscalco, co-founder and CEO, Algorithmiq“For an exponential technology like quantum computing, a verified, openly contested instance of advantage is the inflection point: proof the curve is real, not projected. Demonstrating quantum advantage is an ongoing process, not a single moment, but we believe these results represent our strongest claim published to date and will come to be seen as a major milestone in the evolution of quantum computing.”

Matteo Rossi, co-founder and CTO, Algorithmiq: “This collaboration with IBM has realized an idea first proposed by Richard Feynman in 1982. By simulating quantum matter using a digital quantum processor built from the same physics, we’re able to give researchers a tunable, physically interesting model open to anyone who wants to try to disprove it classically. It is a demanding test case, and it has withstood open challenge for eight months and counting.”

Jay Gambetta, Director of IBM Research and IBM Fellow: “Quantum computers have reached the point at which they can show evidence of the fundamental criteria for advantage: they can outperform leading classical methods, and they can simultaneously produce results that we can trust. I look forward to continued benchmarking of these results by the community on the Quantum Advantage Tracker, and progress towards rigorous error bars for quantum methods. This is a pivotal milestone in the future of quantum computers as we look towards scaling well beyond what could ever be possible with classical computers alone — and further explore new realms of physics, materials, life sciences, and much more.”

More Demonstrations of Quantum Advantage Emerge

Today, alongside this milestone from IBM and Algorithmiq, partners from across IBM’s ecosystem are announcing more demonstrations of quantum advantage with trusted computations. To learn more, visit https://www.ibm.com/quantum/blog/quantum-advantage.

Keep track of everything going on in the Quantum Technology Market. In one place.

Share

Stay Ahead of Quantum

Get the latest research, company news, and market intelligence every week.

More in Research

Related Articles