IBM and researchers from the University of Chicago announced July 30 a demonstration in quantum computing that meets the fundamental criteria for “quantum advantage”—the point where quantum computers can be confirmed to have outperformed classical computers on trusted computations. The collaboration said their system had performed computations beyond the reach of leading classical simulation methods, while providing trust that the computation returned accurate results. In their new paper, the researchers showed that these two goals could be achieved by a novel construction of encoded quantum circuits—one of the largest demonstrations of logical quantum computing to date. Building trust into quantum results For years, researchers have used a benchmark known as random circuit sampling, or RCS, to test whether quantum computers could outperform classical systems. In simple terms, RCS asks a quantum computer to generate patterns so complex that a classical computer cannot efficiently reproduce them. The challenge has been verification: as the problem becomes harder, it becomes increasingly difficult and then infeasible to prove the quantum computer’s answer is correct, without making strong assumptions about the inner workings of the quantum computer. In their experiment, researchers addressed this obstacle with a structured alternative to RCS. The team was able to prove that this alternative retains the same hardness criteria as RCS, but crucially, the new structure can be used to detect errors during the computation. “Verification remains one of the biggest challenges in firmly establishing experimental quantum advantage,” said Bill Fefferman, associate professor of computer science at UChicago and co-author on the paper. “This experiment develops techniques to better characterize the fidelity of hard quantum states under noise, increasing confidence that the quantum computer is solving a computationally hard problem.” Co-author Soumik Ghosh, a graduate student in Fefferman’s group at UChicago, added: “Beyond strengthening experimental validation, advances in verification have