Email Gateway (Aug 22 2022 at 18:44): Email Gateway (Aug 22 2022 at 18:44):From: José Manuel Rodriguez Caballero <josephcmac@gmail.com>
Just a little remark about the importance of abstraction (with respect to
the mathematical structure).
The main lesson of quantum physics is that nature is finite at its most
elementary level, with the only exception of the complex numbers in the
superpositions... Nevertheless, Felix Lev thinks that this is not an
exception, but just an approximation. According to Lev, the complex numbers
may be substituted in the future by a finite field F_q, where q is some
huge prime power, which will be determined in an experimental way, i.e.,
the prime power q will be a fundamental constant of the universe in the
same sense than the speed of light c or the universal gravitational
constant. Reference: Lev, Felix M. "Quantum theory and Galois fields."
*International
Journal of Modern Physics B* 20.11n13 (2006): 1761-1777.
https://www.worldscientific.com/doi/abs/10.1142/S0217979206034273?journalCode=ijmpb
So, a way to be prepared for a possible change in the formulation of
quantum mechanics is to develop a theory in Isabelle which contains both,
the quantum mechanics formulated with complex numbers (the traditional
quantum mechanics) and this new proposal of quantum mechanics over a finite
field, as particular cases, i.e., making abstraction with respect to the
field as it is done in Abstract Algebra. The following preprint contains a
description of the quantum computation over finite fields: James, Roshan
P., Gerardo Ortiz, and Amr Sabry. "Quantum computing over finite
fields." *arXiv
preprint arXiv:1101.3764*(2011). https://arxiv.org/abs/1101.3764
Maybe, when trying to build the first practical quantum computer, the
theory of quantum mechanics over F_q will begin to play a significative
role. Of course, the use of complex vector spaces is fine according to the
state of the art in quantum mechanics, but quantum physics is continuously
developing...
Kind Regards,
José Manuel Rodriguez Caballero
Last updated: Apr 20 2024 at 01:05 UTC