Abstract:The celebrated quantum no-cloning theorem establishes the impossibility of making a perfect copy of an unknown quantum state. The discovery of this important theorem for the field of quantum information is currently dated 1982. I show here that an article published in 1970 [J. L. Park, Foundations of Physics, 1, 23-33 (1970)] contained an explicit mathematical proof of the impossibility of cloning quantum states. I analyze Park's demonstration in the light of published explanations concerning the genesis of the better-known papers on no-cloning.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the discovery time of the quantum no - cloning theorem and its historical background. Specifically, the author Juan Ortigoso points out that although it is currently generally believed that the quantum no - cloning theorem was independently proposed by Wootters and Zurek and Dieks in 1982, in fact, as early as 1970, an article published by James Park in the first issue of "Foundations of Physics" already contained an explicit mathematical proof, showing that quantum states cannot be perfectly copied. Ortigoso's paper aims to reveal this overlooked historical fact and analyze why Park's proof did not attract enough attention at that time.
### Main content of the paper:
1. **Introduction**:
- Introduces the basic concept of the quantum no - cloning theorem, that is, it is impossible to perfectly copy an unknown quantum state.
- Mentions the importance of this theorem and its applications in the field of quantum information.
2. **Historical background**:
- Describes two independent papers published by Wootters and Zurek and Dieks in 1982, which are considered to be the first formal proposals of the quantum no - cloning theorem.
- Mentions the review process of Asher Peres on Herbert's FLASH paper and how this event promoted the discovery of the quantum no - cloning theorem.
3. **Park's proof**:
- Analyzes in detail the proof of the quantum no - cloning theorem given by James Park in his 1970 paper.
- Explains Park's proof method and its similarities and differences with the proofs of Wootters and Zurek and Dieks later.
4. **Controversial views**:
- Discusses some unorthodox views in Park's paper, such as his view on the non - interference of quantum measurement.
- Points out that these views of Park may be because he tried to explore a theoretical framework different from the mainstream quantum mechanics.
5. **Conclusion**:
- Emphasizes that Park's paper already proposed the quantum no - cloning theorem in 1970, but for various reasons, this achievement was ignored.
- Calls on the academic community to re - evaluate Park's contribution and give him due recognition.
### Formula display:
- **Proof of linear transformation**:
\[
T(a|\psi\rangle + b|\phi\rangle)|0\rangle = aT|\psi\rangle|0\rangle + bT|\phi\rangle|0\rangle = a|\psi\rangle|\psi\rangle + b|\phi\rangle|\phi\rangle
\]
\[
T(a|\psi\rangle + b|\phi\rangle)|0\rangle = (a|\psi\rangle + b|\phi\rangle)(a|\psi\rangle + b|\phi\rangle) = a^2|\psi\rangle|\psi\rangle + b^2|\phi\rangle|\phi\rangle + ab|\psi\rangle|\phi\rangle + ab|\phi\rangle|\psi\rangle
\]
- **Park's proof**:
\[
T|\varphi\rangle|\alpha\rangle = |\varphi\rangle|\varphi\rangle
\]
\[
T(a|\alpha\rangle + b|\beta\rangle)|\alpha\rangle = (a|\alpha\rangle + b|\beta\rangle)(a|\alpha\rangle + b|\beta\rangle)
\]
\[
aT|\alpha\rangle|\alpha\rangle