Hamad Bin Khalifa University team sets bounds on quantum prediction

Salman Sajad Wani and colleagues at the Qatar Center for Quantum Computing, Hamad Bin Khalifa University, have detailed inherent limits to predicting outcomes in quantum control, a field typically focused on precise manipulation of quantum states. Published August 13, 2026, in Quantum Science and Technology, the research, identified by DOI 10. 1088/2058-9565/ae94a3, proposes working within these unavoidable constraints.

The work demonstrates resource bounds for quantum prediction and acknowledges that, like Gödel’s incompleteness theorems in mathematics, complete self-reference is impossible even in quantum systems. The publishers of Quantum Science and Technology state that “science is our only shareholder”.

Kleene’s Recursion Theorem Constructs Self-Referential Quantum Protocols

Researchers detailed a laboratory obstruction to universal self-prediction, stemming from Wolpert’s formalization of prediction impossibility, and demonstrated how this limitation manifests with finite resources in programmable quantum control. The team employed Kleene’s recursion theorem to construct a reversible protocol that encodes its own specification, effectively creating a self-referential system. This construction allows for a deterministic contradiction of any predictor’s forecast; the protocol invokes the predictor on its own specification and generates a classical pointer record that disproves the initial prediction.

Importantly, the compilation of this process introduces only polynomial overhead for efficient predictors, suggesting concrete physical realizations are within reach. The researchers demonstrated this with both a fault-tolerant quantum circuit and a minimal Mach-Zehnder interferometer, linking abstract computability theory to tangible quantum hardware. This work moves beyond theoretical limits and establishes explicit engineering constraints for autonomous quantum technologies as control loops gain complexity.

Beyond identifying these limits, the team also proposed designs to circumvent the problematic causal path from protocol description to actuator. These architectures block the ability of the protocol to influence the pointer record during the same experimental run, offering a potential pathway to reliable operation despite the inherent prediction barriers.

Analysis of these architectures reveals trade-offs in expressiveness, suggesting that increased computational power in quantum error correction may come at the cost of complete self-predictability. The researchers write, “As quantum control loops grow in computational expressiveness, the limits of self-reference cease to be mere mathematical abstractions and become explicit engineering constraints for the reliable operation of autonomous quantum technologies.” The publication of this research, identified by DOI 10. 1088/2058-9565/ae94a3, appears in Quantum Science and Technology, a journal co-published by AIP Publishing, the American Physical Society and IOP Publishing.

These publishers have publicly stated, “science is our only shareholder,” reflecting a commitment to purpose-led publishing and ethical scholarly communications. The study itself utilized existing data and did not require the creation or analysis of new data sets, focusing instead on theoretical construction and analysis of existing quantum control principles.