Two Simple Proofs of Müller's Theorem
Abstract: Due to M\"{u}ller's theorem, the Kolmogorov complexity of a string was shown to be equal to its quantum Kolmogorov complexity. Thus there are no benefits to using quantum mechanics to compress classical information. The quantitative amount of information in classical sources is invariant to the physical model used. These consequences make this theorem arguably the most important result in the intersection of algorithmic information theory and physics. The original proof is quite extensive. This paper contains two simple proofs of this theorem. This paper also contains new bounds for quantum Kolmogorov complexity with error.
- E. Bernstein and U. Vazirani. Quantum complexity theory. In Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, page 11–20, New York, NY, USA, 1993. Association for Computing Machinery.
- Quantum Kolmogorov Complexity. Journal of Computer and System Sciences, 63(2), 2001.
- P. Gács. Quantum Algorithmic Entropy. Journal of Physics A Mathematical General, 34(35), 2001.
- M. Mueller. Quantum kolmogorov complexity and the quantum turing machine. CoRR, abs/0712.4377, 2007.
- M. Muller. Strongly Universal Quantum Turing Machines and Invariance of Kolmogorov Complexity. IEEE Transactions on Information Theory, 54(2), 2008.
- M. Muller. On the quantum kolmogorov complexity og classical strings. International Journal of Quantum Information, 07(04):701–711, 2009.
- T. Tao. What’s new: A cheap version of the kabatjanskii-levenstein bound for almost orthogonal vectors. https://terrytao.wordpress.com/2013/07/18/a-cheap-version-of-the-kabatjanskii-levenstein-bound-for-almost-orthogonal-vectors/. Accessed: 2024-01-11.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.