14

In chapter 9 of Scott Aaronson's book "Quantum Computing Since Democritus", he make interesting but peculiar claims relating the no-cloning theorem and the Heisenberg Uncertainty Principle (HUP). Here is his statement:

"On the one hand, if you could measure all properties of a quantum state to unlimited accuracy, then you could produce arbitrarily-accurate clones. On the other hand, if you could copy a state $|\psi\rangle$ an unlimited number of times, then you could learn all its properties to arbitrary accuracy."

In his interpretation, the first sentence proves that no-cloning theorem implies HUP, while the second sentence proves that HUP implies no-cloning theorem. So he is suggesting that the no-cloning theorem is EQUIVALENT to HUP.

However, I cannot feel comfortable about this statement. There are two questions that I have in mind:

  1. To my understanding, HUP is the claim that a quantum state cannot be a simultaneous eigenstate of momentum and position operators. Therefore, suppose I can clone two copies of a quantum state, I could collapse copy 1 to a position eigenstate, and copy 2 to a momentum eigenstate, and never collapse either copy into a simultaneous eigenstate, therefore never violating the HUP. So is Aaronson wrong on his arguments here?

  2. I am a little unsure about the assumptions that go into the proofs of no-cloning theorem and HUP. To my understanding, No-Cloning follows from Linearity and Unitarity of quantum operators, while HUP follows from unitarity and non-commutativity of quantum operators. My question, which might be stupid, is this: Is it possible to derive a generalized HUP from a nonlinear modification of quantum theory (Invent some nonlinear observables that is neither position nor momentum)? If so, I believe that no-cloning theorem would really have nothing to do with HUP whatsoever.

Any comments or insights about the connection or implication of no-cloning and HUP are also welcomed!

Zhengyan Shi
  • 3,047

4 Answers4

8

If you go through the proof of the no-cloning theorem (see e.g. wikipedia) you will notice that only the following properties are used:

  • Unitarity of the evolution operator
  • Hilbert space axioms for a composite state $|\phi \rangle | 0 \rangle$ (which imply the Cauchy-Schwartz inequality)

The no-cloning theorem than says that no unitary operator exists that does the transformation $|\phi \rangle | 0 \rangle \rightarrow |\phi \rangle | \phi \rangle$ for arbitrary $|\phi \rangle$.


The Heisenberg uncertainty principle on the other hand is a statement about how the uncertainties for two different operators on the Hilbert space are related, namely that they can not simultaneously be small for non-commuting operators.

But for the no-cloning theorem you didn't even need observables, it is a property of the Hilbert space and the unitary time evolution in Quantum Mechanics alone.


Summary: They are completely different things and not related.

Wolpertinger
  • 11,787
  • 4
  • 42
  • 94
7

Aaronson's claims are true, but your statement about what he means is not correct.

If cloning were possible, the HUP would still exist but would pose a non-absolute limit on how much you could learn about a single copy of an unknown quantum state- that is, any limit on how much you learned about a state could be attributed to not doing a very good measurement.

On the other hand, with no-cloning the HUP provides a fundamental limit on how much you can learn about a single copy of an unknown quantum state.

So they are certainly not identical. Maybe a better way to think about them is that they act in concert to limit the amount of information one may extract from a general state.

There may be a deeper way of looking at the connection between them. What Numrok says about the structural difference between the two statements is true, but it is also true that it is difficult to modify just one part of quantum mechanics. There is another nice paper by Aaronson that discusses this point (1). I think it is possible that there is a deeper reason that the structure of quantum theories fits together so neatly, which we do not fully understand as of yet.

Rococo
  • 8,027
4

Wrote this to address the 2nd question in the OP: "Is it possible to derive a generalized HUP from a nonlinear modification of quantum theory (Invent some nonlinear observables that is neither position nor momentum)?", following the discussion on the topic in comments. Although it is not a clear-cut answer, perhaps it may help.

But first a couple of remarks adding to the other answers:

  1. It is no simple historical coincidence that the HUP was discovered first as essential to the initial development of quantum theory, but not the no-cloning theorem.
  2. There may be many corollaries to the no-cloning theorem, but the main one, which brought it to light in the first place, is that it forbids a faster-than-light communication loophole through an exploitation of entanglement. So regardless of whether the existence of cloning would allow or not some sort of by-pass on the limits set by the HUP, it would definitely raise the much more troubling issue of open conflict with relativity. HUP does nothing of the sort, to the contrary. Hence again, no, HUP cannot be equivalent to the no-cloning theorem.

On the issue of nonlinear observables:

We already know of some useful nonlinear observables, see the entropy $-k_B \text{Tr}(\rho \ln\rho)$ and related entropic UPs, hence the question is appropriate. The real problem is that the issue is quite complex. Even if the Hilbert space structure is left in place, true nonlinear observables would modify the theory drastically and the usual HUP definitely does not apply in all nonlinear cases.

This is because in general nonlinear operators can no longer be characterized in terms of action on bases or even in terms of matrix elements. The simplest example is one that appears precisely in the algebraic proof of the HUP. If $A$ is an arbitrary linear and hermitic operator, define a nonlinear application ${\mathcal \not A}$ through $$ {\mathcal \not A}|\psi\rangle = A|\psi\rangle - \frac{\langle \psi |A|\psi\rangle}{\langle \psi |\psi\rangle} |\psi\rangle $$ Application ${\mathcal \not A}$ is homogeneous, $$ {\mathcal \not A}|a\psi\rangle = a {\mathcal \not A} |\psi\rangle $$ but not linear, $$ {\mathcal \not A}|(a\psi + b\phi)\rangle \neq a {\mathcal \not A} |\psi\rangle + b {\mathcal \not A} |\phi\rangle $$ and therefore has some unusual properties:

  • Its action on any eigenvector $|\lambda\rangle$ of $A$ vanishes identically: $$ A|\lambda\rangle = \lambda |\lambda\rangle \;\;\;\Rightarrow \;\;\; {\mathcal \not A}|\lambda\rangle = A|\lambda\rangle - \frac{\langle \lambda |A|\lambda\rangle}{\langle \lambda|\lambda\rangle} |\lambda\rangle = 0 $$ An entire basis set is in its kernel, but ${\mathcal \not A}$ is not a null application!

  • Moreover, its average also vanishes on any $|\psi\rangle$, $$ \langle \psi | {\mathcal \not A}|\psi\rangle = \langle \psi |A|\psi\rangle - \frac{\langle \psi |A|\psi\rangle}{\langle \psi |\psi\rangle} \langle \psi |\psi\rangle = 0 $$

In other words, many of the tools used liberally with linear observables fly out the window even for this modest example.

In particular, the action of observables, and operators at large, can no longer be defined in terms of action on a basis set, but has to be defined for each state vector individually. Unfortunately when basis sets become insufficient for characterization, so do matrix representations. And once this happens, the concepts of hermitian conjugate, self-adjoint observable, and eigenbasis, all loose their celebrated significance.

Suppose though that observable averages would still be given by real diagonal matrix elements $\langle \psi |{\mathcal O}|\psi\rangle \in {\mathbb R}$, a condition that already sets boundaries on the set of acceptable nonlinear applications $\mathcal O$. Then here is a simple example of nonlinear "observables" $A$, $B$ that break the HUP as applied in the usual form $$ \langle \psi |(\Delta A)^2|\psi\rangle \langle \psi |(\Delta B)^2|\psi\rangle \ge |\langle \psi |\frac{1}{2i}[A,B]|\psi\rangle|^2 $$ Let $A$, $B$ be such that $\langle \psi |A|\psi\rangle \in {\mathbb R}$, $\langle \psi |B|\psi\rangle \in {\mathbb R}$ for any $|\psi\rangle$, and in addition such that for some given $|\psi_0\rangle$ $$ A|\psi_0\rangle = 0 \;\;\; \Rightarrow \;\;\; \langle \psi_0 |A|\psi_0 \rangle = 0 $$ $$ B|\psi_0\rangle = a |\psi_0\rangle \neq 0 \;\;\; \Rightarrow \;\;\; \langle \psi_0 |B|\psi_0 \rangle = a = a^* \neq 0 $$ and for any $|\psi_\bot\rangle$, $\langle\psi_\bot|\psi_0\rangle = 0$, $$ A|\psi_\bot \rangle = |\psi_0\rangle \;\;\; \Rightarrow \;\;\; \langle \psi_\bot |A|\psi_\bot \rangle = 0 \\ B|\psi_\bot \rangle = b |\psi_\bot \rangle + c |\psi_0\rangle \;\;\; \Rightarrow \;\;\; \langle \psi_\bot |B|\psi_\bot \rangle = b = b^* \neq 0 \\ A|b\psi_\bot + c\psi_0\rangle = |\psi_\bot\rangle \;\;\; \Rightarrow \;\;\; \langle b\psi_\bot + c \psi_0 |A| b\psi_\bot + c\psi_0 \rangle = b \langle \psi_\bot | \psi_\bot \rangle $$ Then we have that for any $|\psi_\bot\rangle$, $\langle\psi_\bot|\psi_\bot\rangle = 1$, $\langle\psi_\bot|\psi_0\rangle = 0$, $$ \langle \psi_\bot |(\Delta A)^2|\psi_\bot \rangle = \langle\psi_\bot |A^2|\psi_\bot \rangle - \langle\psi_\bot |A|\psi_\bot \rangle^2 = 0 $$ but $$ |\langle \psi |[A,B]|\psi\rangle|^2 = |\langle\psi_\bot |AB|\psi_\bot \rangle - \langle\psi_\bot |BA|\psi_\bot \rangle|^2 = |\langle\psi_\bot |A(b\psi_\bot + c\psi_0)\rangle - \langle\psi_\bot |B|\psi_0 \rangle|^2 = $$ $$ = |\langle\psi_\bot |A(b\psi_\bot + c\psi_0)\rangle - a \langle\psi_\bot |\psi_0 \rangle|^2 = |\langle\psi_\bot |A(b\psi_\bot + c\psi_0)\rangle|^2 = |\langle \psi_\bot |\psi_\bot \rangle|^2 =1 $$ and so $$ \langle \psi |(\Delta A)^2|\psi\rangle \langle \psi |(\Delta B)^2|\psi\rangle 0 \le |\langle \psi |\frac{1}{2i}[A,B]|\psi\rangle|^2 = \frac{1}{4} \;\;\;!! $$

udrv
  • 10,551
  • 1
  • 26
  • 35
1

My two cents.

In a sense both the uncertainty principle and no-cloning theorem (and the more general no-broadcast theorem) are related as argued. Violation of no-cloning theorem can lead to making sufficient number of identical copies of some state which can be used to measure position and momentum or other non-commuting properties at arbitrary accuracy of that same state (through its identical copies of course), thus violating uncertainty principle (of the same state). Similarly violation of uncertainty principle (of the same state) can lead to violation of no-cloning theorem via accurate knowledge of all properties of that state thus possibly enabling its cloning.

If a photon of definite polarization encounters an excited atom, there is typically some nonvanishing probability that the atom will emit a second photon by stimulated emission. Such a photon is guaranteed to have the same polarization as the original photon. But is it possible by this or any other process to amplify a quantum state, that is, to produce several copies of a quantum system (the polarized photon in the present case) each having the same state as the original? If it were, the amplifying process could be used to ascertain the exact state of a quantum system: in the case of a photon, one could determine its polarization by first producing a beam of identically polarized copies and then measuring the Stokes parameters. We show here that the linearity of quantum mechanics forbids such replication and that this conclusion holds for all quantum systems.

A single quantum cannot be cloned, W. K. Wootters & W. H. Zurek (emphasis mine)

However the above does not mean the two theorems state the same thing in different words. Although strongly related, their purpose and range of validity and application is not identical. It rather means that both theorems stem from the non-commuting, linear, and unitary nature of the theory of quantum mechanics.

Nikos M.
  • 5,302