How Real is Incomputability in Physics?

José Manuel Agüero Trejo,Cristian S. Calude,Michael J. Dinneen,Arkady Fedorov,Anatoly Kulikov,Rohit Navarathna,Karl Svozil
DOI: https://doi.org/10.1016/j.tcs.2024.114632
2024-06-21
Abstract:A physical system is determined by a finite set of initial conditions and "laws" represented by equations. The system is computable if we can solve the equations in all instances using a "finite body of mathematical knowledge". In this case, if the laws of the system can be coded into a computer program, then given the initial conditions of the system, one can compute the system's evolution. Are there incomputable physical systems? This question has been theoretically studied in the last 30-40 years. In this paper, we experimentally show for the first time the strong incomputability of a quantum experiment, namely the outputs of a quantum random number generator. Moreover, the experimental results are robust and statistically significant.
Quantum Physics,Computational Complexity
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to verify whether there is strong incomputability in quantum experiments, especially whether the output of the quantum random number generator (QRNG) has strong incomputability. Specifically, the paper shows through experimental methods that the output of the 3D - quantum random number generator (3D - QRNG) is strongly incomputable, and these results are statistically significant. ### Background of the Paper - **Incomputability**: A physical system is said to be computable if its equations can be solved with limited mathematical knowledge. If the laws of a system can be encoded into a computer program, given the initial conditions, the evolution process of the system can be calculated. - **Quantum Random Number Generator**: It has been theoretically proven that the output of some quantum random number generators is strongly incomputable, that is, its output cannot be predicted by any algorithm. ### Goals of the Paper - **Experimental Verification**: The paper shows for the first time through experiments the strong incomputability of quantum experiments, especially the output of the 3D - quantum random number generator. - **Statistical Significance**: The experimental results are statistically significant, indicating that these results are not accidental. ### Main Contributions 1. **Experimental Demonstration**: Through experimental methods, it is shown that the output of the 3D - quantum random number generator is strongly incomputable, which is an important supplement to the theoretical results. 2. **Statistical Significance**: The robustness and statistical significance of the experimental results are proven, enhancing the credibility of the results. ### Experimental Methods - **Theoretical Framework**: Use the localized Kochen - Specker theorem to construct observables with indefinite values. - **Physical Realization**: Use the standard superconducting transmon system to realize logical states as qutrits and realize the theoretical quantum protocol. - **Testing Method**: Verify the incomputability of the generated random numbers through experimental methods, especially the statistical significance. ### Results and Discussion - **Experimental Results**: The experimental results show that the output of the 3D - quantum random number generator is strongly incomputable and the results are statistically significant. - **Combination of Theory and Experiment**: The experimental results support the theoretical incomputability and unpredictability, further verifying the rationality of the physical hypothesis. ### Conclusion The paper verifies through experiments that the output of the 3D - quantum random number generator is strongly incomputable, and these results are statistically significant. This not only provides experimental evidence for the theoretical results but also provides important support for the practical applications of the quantum random number generator.