IBM has introduced three new approaches to verify quantum computing results that fall outside the reach of classical simulation. While previous claims of quantum advantage have often been challenged by more efficient classical algorithms, these new efforts focus on rigorous error mitigation and verification techniques.
One collaboration between IBM, RIKEN, and Qedma modeled a Floquet process using an Ising model, demonstrating consistent results across different quantum processors that diverged from classical simulations. By using different hardware to confirm these outputs, the researchers addressed concerns regarding systemic hardware errors.
Another approach involved a joint effort with the University of Chicago, which utilized specific T gates to increase the complexity of the calculation. These gates ensure the task remains exponentially hard for classical machines to simulate, while the researchers implemented peripheral qubit measurements to detect and discard erroneous data during operations.
Finally, Algorithmiq explored noise suppression by analyzing the behavior of quantum echoes. By injecting and tracking known noise levels, the team established a verifiable error rate for their calculation. This rigorous documentation allows researchers to trust the quantum output even when a classical baseline is impossible to calculate.
Although these models currently lack direct commercial application, the techniques developed for error suppression and fidelity certification are vital steps for the industry. These results represent a shift toward verifying quantum accuracy rather than simply chasing raw output numbers. This work provides a foundation for future algorithms that aim to solve practical problems in material science and complex physics.