Journal of Applied Mathematics and Physics
Vol.03 No.07(2015), Article ID:58052,23 pages
10.4236/jamp.2015.37108
Von Neumann’s Theory, Projective Measurement, and Quantum Computation
Koji Nagata1, Tadao Nakamura2
1Department of Physics, Korea Advanced Institute of Science and Technology, Daejeon, Korea
2Department of Information and Computer Science, Keio University, Yokohama, Japan
Email: ko_mi_na@yahoo.co.jp, nakamura@pipelining.jp
Copyright © 2015 by authors and Scientific Research Publishing Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
Received 18 June 2015; accepted 14 July 2015; published 17 July 2015
ABSTRACT
We discuss the fact that there is a crucial contradiction within Von Neumann’s theory. We derive a proposition concerning a quantum expected value under an assumption of the existence of the orientation of reference frames in N spin-1/2 systems (1 ≤ N < +∞). This assumption intuitively depictures our physical world. However, the quantum predictions within the formalism of Von Neumann’s projective measurement violate the proposition with a magnitude that grows exponentially with the number of particles. We have to give up either the existence of the directions or the formalism of Von Neumann’s projective measurement. Therefore, Von Neumann’s theory cannot depicture our physical world with a violation factor that grows exponentially with the number of particles. The theoretical formalism of the implementation of the Deutsch-Jozsa algorithm relies on Von Neumann’s theory. We investigate whether Von Neumann’s theory meets the Deutsch-Jozsa algorithm. We discuss the fact that the crucial contradiction makes the quantum-theoretical formulation of Deutsch-Jozsa algorithm questionable. Further, we discuss the fact that projective measurement theory does not meet an easy detector model for a single Pauli observable. Especially, we systematically describe our assertion based on more mathematical analysis using raw data. We propose a solution of the problem. Our solution is equivalent to changing Planck’s constant (h) to a new constant. It may be said that a new type of the quantum theory early approaches Newton’s theory in the macroscopic scale than the old quantum theory does. We discuss how our solution is used in an implementation of Deutsch’s algorithm.
Keywords:
Quantum Computation, Quantum Measurement Theory, Formalism
1. Introduction
Von Neumann introduces the Hilbert space and he tries to present axiomatic system for quantum mechanics [1] . He introduces projective measurement theory. For example, the values of the result of quantum measurements are ±1 (in unit) in spin-1/2 system. An important note here, Von Neumann’s theory does not say that we can measure non-commuting observables, simultaneously. Therefore, each value of measurement depends on time even though we do not indicate any suffix concerning time. The detail argument can be seen in Ref. [2] where we indicate a suffix concerning time. Von Neumann’s theory is necessary to perform a quantum computer. It is said that there is not any quantum computer without Von Neumann’s theory.
A quantum computer is a device for computation that makes direct use of quantum mechanical phenomena, such as superposition and entanglement, to perform operations on data. Quantum computers are different from digital computers based on transistor gates. Whereas digital computers require data to be encoded into binary digits (bits), quantum computation utilizes quantum properties to represent data and perform operations on these data [3] . A theoretical model is the quantum Turing machine, also known as the universal quantum computer. Quantum computers share theoretical similarities with non-deterministic and probabilistic computers, like the ability to be in more than one state simultaneously. The field of quantum computing was first introduced by Richard Feynman in 1982 [4] [5] .
As a famous physical theory, the quantum theory (cf. [1] [6] -[10] ) gives approximate and at times remarkably accurate numerical predictions. Much experimental data approximately fit to the quantum predictions for the past some 100 years. We do not doubt the correctness of the quantum theory. The quantum theory also says new science with respect to information theory. The science is called the quantum information theory [10] . Therefore, the quantum theory gives us very useful another theory in order to create new information science and to explain the handling of raw experimental data in our physical world.
As for the foundations of the quantum theory, Leggett-type non-local variables theory [11] is experimentally investigated [12] -[14] . The experiments report that the quantum theory does not accept Leggett-type non-local variables interpretation. As for the applications of the quantum theory, implementation of a quantum algorithm to solve Deutsch’s problem [15] on a nuclear magnetic resonance quantum computer is reported firstly [16] . Implementation of the Deutsch-Jozsa algorithm on an ion-trap quantum computer is also reported [17] . There are several attempts to use single-photon two-qubit states for quantum computing. Oliveira et al. implement Deutsch’s algorithm with polarization and transverse spatial modes of the electromagnetic field as qubits [18] . Single-photon Bell states are prepared and measured [19] . Also the decoherence-free implementation of Deutsch’s algorithm is reported by using such single-photon and by using two logical qubits [20] . More recently, a one-way based experimental implementation of Deutsch’s algorithm is reported [21] .
To date, the quantum theory seems to be a successful physical theory and it looks to have no problems in order to use it experimentally. Several researches address [1] the mathematical formulation of the quantum theory. It is desirable that the quantum theory is also mathematically successful because we predict unknown physical phenomena precisely. Sometimes such predictions are effective in the field of elementary particle physics. We endure much time in order to see the fact by using, for example, a large-scale accelerator. Further, Rolf Landauer says that information is physical [10] . We cannot create any computer without physical phenomena. This fact motivates us to investigate the Hilbert space formalism of the quantum theory. Especially, Von Neumann’s theory is accepted widely. Here we ask: Does Von Neumann’s theory depicture our physical world? Unfortunately, it is not so even in both the macroscopic scale and the microscopic scale. The theoretical formalism of the implementation of the Deutsch-Jozsa algorithm [15] [22] relies on Von Neumann’s theory. Therefore, we cannot implement the Deutsch-Jozsa algorithm by using Von Neumann’s theory.
We discuss the fact that there is a crucial contradiction within Von Neumann’s theory [2] [23] -[27] . We derive a proposition concerning a quantum expected value under an assumption of the existence of the orientation of reference frames in N spin-1/2 systems (1 ≤ N < +∞). This assumption intuitively depictures our physical world. However, the quantum predictions within the formalism of Von Neumann’s projective measurement “violate” the proposition with a magnitude that grows exponentially with the number of particles. We “have to give up” either the existence of the directions or the formalism of Von Neumann’s projective measurement. Therefore, Von Neumann’s theory cannot depicture our physical world with a violation factor that grows exponentially with the number of particles. The theoretical formalism of the implementation of the Deutsch-Jozsa algorithm relies on Von Neumann’s theory [15] [22] . We reexamine the quantum-theoretical formulation of the Deutsch-Jozsa algorithm as the earliest quantum computer. We result in the fact that the formulation is questionable despite the fact that we indeed have raw experimental data.
We know that a theory means a set of propositions. Unfortunately, we have to abandon that the quantum theory satisfies consistency, which is necessary in order to have axiomatic system. This implies that there is no axiomatic system for the quantum theory. A theory K may be said to be consistent if any proposition, , belonging to the theory K and the negation of the proposition, , are not derived, simultaneously. Otherwise, the theory K may be said to be contradictory. Our discussion says that, surprisingly, the quantum theory is a contradictory physical theory in order to explain the handling of raw experimental data.
We propose the solution of the problem. Our solution is equivalent to changing Planck’s constant to a new constant. It may be said that a new type of the quantum theory early approaches Newton’s theory in the macroscopic scale than the old quantum theory does.
On the other hand, the double-slit experiment is an illustration of wave-particle duality. In it, a beam of particles (such as photons) travels through a barrier with two slits removed. If one puts a detector screen on the other side, the pattern of detected particles shows interference fringes characteristic of waves; however, the detector screen responds to particles. The system exhibits the behaviour of both waves (interference patterns) and particles (dots on the screen).
If we modify this experiment so that one slit is closed, no interference pattern is observed. Thus, the state of both slits affects the final results. We can also arrange to have a minimally invasive detector at one of the slits to detect which slit the particle went through. When we do that, the interference pattern disappears [28] . An analysis of a two-atom double-slit experiment based on environment-induced measurements is reported [29] .
We try to implement double-slit experiment. There is a detector just after each slit. Thus interference figure does not appear, and we do not consider such a pattern. The possible values of the result of measurements are ±1 (in unit). If a particle passes one side slit, then the value of the result of measurement is +1. If a particle passes through another slit, then the value of the result of measurement is −1. This model is an easy detector model for Pauli observable.
It is discussed [2] [23] [24] that the expected values of two spin observables and cannot be measured by using projective measurement theory. And it is discussed that new measurement theory covers the
problem. Let us follow the argumentations. Assume a pure spin 1/2 state. We have from the wave functional analysis of quantum mechanics. On the other hand, we have if pro-
jective measurement theory is true. Hence the expected values of two spin observables and can-
not be measured by using projective measurement theory. But, we have when the new
quantum measurement theory is true. The different point is that the values of the result of quantum measurements are.
It is also discussed [25] [27] that the expected value of a spin observables cannot be measured by using projective measurement theory. Let us follow the argumentations. Assume a pure spin 1/2 state in the z-di-
rection. We have from the wave functional analysis of quantum mechanics. On the other hand, we have if projective measurement theory is true. Hence the expected value of a spin obser-
vables cannot be measured by using projective measurement theory.
We consider whether projective measurement theory meets an easy detector model for Pauli observable. We try to implement double-slit experiment. There is a detector just after each slit. Thus interference figure does not appear, and we do not consider such a pattern. We assume that a source of spin-carrying particles emits them in a state, which can be described as an eigenvector of Pauli observable. We consider a single expected value of Pauli observable in the double-slit experiment. A wave function analysis says that the quantum expected value of it is zero. However, the quantum predictions within projective measurement theory cannot coexist with the value of the expected value of. Hence, such projective measurement theory does not meet the easy detector model. We propose a solution of the problem by considering a macroscopic system. We discuss how our solution is used in an implementation of Deutsch’s algorithm. Especially, we systematically describe our assertion based on more mathematical analysis using raw data.
At this stage we are in the following situation.
1) We cannot measure an expected value of a single spin observable by using projective measurement theory.
2) New measurement theory covers the problem mentioned above.
3) We can use new measurement theory for an implementation of Deutsch’s algorithm.
Our discussion is very important. The reason is that our discussion reveals that we need new physical theories in order to explain our physical world informationally, to create new information science, and to predict new unknown physical phenomena efficiently. What are new physical theories? We cannot answer it at this stage. However, we expect that our discussion in this paper could contribute to creating new physical theories in order to explain our physical world, to create new information science, and to predict new unknown physical phenomena efficiently.
Throughout this paper, we confine ourselves to the two-level (e.g., electron spin, photon polarizations, and so on) and the discrete eigenvalue case.
Our paper is organized as follows.
In Section 2, we provide the notations and preparation to show a contradiction within Von Neumann’s theory.
In Section 3, we discuss the fact that there is a problem within the mathematical formulation of Von Neumann’s theory.
In Section 4, we review Deutsch’s algorithm along with Ref. [10] .
In Section 5, we discuss a problem of Deutsch’s algorithm.
In Section 6, we show that Von Neumann’s theory does not meet our physical world.
In Section 7, we modify Von Neumann’s projective measurement theory.
In Section 8, we propose a new type of the Deutsch-Jozsa algorithm along with our modification of Von Neumann’s measurement theory.
In Section 9, we consider the relation between double-slit experiment and projective measurement theory. We cannot measure a single spin observable by using the projective measurement theory.
In Section 10, we consider many double-slit experiments. And we propose a solution of the problem concerning projective measurement theory.
In Section 11, we discuss how our solution is used in an implementation of Deutsch’s algorithm.
Section 12 concludes this paper.
2. Notations and Preparation to Show a Contradiction within Von Neumann’s Theory
We consider a two-dimensional space H. Let N denote a set of the numbers
(2.1)
that contains the countably infinite. Let S be. We assume that every result of measurements lies in S. We assume that every time t lies in N. Let N1 denote a set of the numbers
(2.2)
that contains the countably infinite. Here we introduce. Let N2 denote a set of the numbers
(2.3)
that contains the countably infinite. Here we introduce. Let N3 denote a set of the numbers
(2.4)
that contains the countably infinite. Here we introduce. Let N4 denote a set of the numbers
(2.5)
that contains the countably infinite. Here we introduce. Let be
(2.6)
the vector of Pauli operators. The measurements (observables) of are parameterized by a unit vector n (its direction along which the spin component is measured). Here, ∙ is the scalar product in R3. One measures an observable. We define a notation which represents one result of measurements at time t. We assume that measurement of an observable at time t for a physical system in a state yields a value .
We consider the following propositions:
Proposition: M (measurement outcome),
(2.7)
Proposition: E (quantum expected value),
(2.8)
Lemma: T
if
(2.9)
then
(2.10)
and
(2.11)
3. Whether Von Neumann’s Theory Can Be Almighty
In this section, we investigate if Von Neumann’s theory can be almighty.
3.1. The Existence of the Orientation of Reference Frames
We assume a pure spin-1/2 state lying in the x-y plane. Let be, the vector of Pauli operators. The measurements (observables) on a spin-1/2 state lying in the x-y plane of are parameterized by a unit vector n (its direction along which the spin component is measured). Here, ∙ is the scalar product in R3.
We have a quantum expected value as
(3.1)
We have, , and. They are the Cartesian axes relative to which spherical angles are measured. We write two unit vectors in the plane defined by and in the following way:
(3.2)
Here, the angle takes only two values:
(3.3)
We derive a necessary condition for the quantum expected value for the system in a pure spin-1/2 state lying in the x-y plane given in (3.1). We derive the possible values of the scalar product
(3.4)
is the quantum expected value given in (3.1). We see that
(3.5)
We use the decomposition (3.2). We introduce simplified notations as
(3.6)
and
(3.7)
Then, we have
(3.8)
where we use the orthogonality relation
(3.9)
From a proposition of the quantum theory, the Bloch sphere (the orientation of reference frames) with the value of
(3.10)
is bounded as
(3.11)
The reason of the condition (3.8) is the Bloch sphere
(3.12)
Thus we derive a proposition concerning a quantum expected value under an assumption of the existence of the orientation of reference frames (in a spin-1/2 system). The proposition is
(3.13)
This inequality is saturated and iff is a pure state lying in the x-y plane. That is,
(3.14)
Hence, we derive the following proposition concerning the existence of the orientation of reference frames when the system is in a pure state lying in the x-y plane
(3.15)
3.2. The Existence of Measurement Outcome
We assign the truth value “1” for Proposition M and Proposition E. Let Ak be. We assume four gedanken experiments in the same state ψ. The value of is independent of. We note that the measurement time is different from each other. Here, we assume and. The value of is independent of. We note that the measurement time is different from each other. Here, we assume and. The values of, , , and are independent of each other. We note that the measurement time is different from each other. We assume that the number of each of quantum measurements is the countably infinite. We know that a sum of “four” countably infinite is the countably infinite. We do not have to assign definite values to non-commuting observables in the same time.
From Proposition E and Lemma T, the quantum expected value in (3.1), which is the average of the results of measurements, is given by
(3.16)
From Proposition M, the possible values of the actually measured result are ±1.
From Lemma T, the same quantum expected value is given by
(3.17)
From Proposition M, the possible values of the actually measured result are ±1. From Lemma T, we see
(3.18)
From Proposition E and Lemma T, the quantum expected value in (3.1), which is the average of the results of measurements, is given by
(3.19)
From Proposition M, the possible values of the actually measured result are ±1.
From Lemma T, the same quantum expected value is given by
(3.20)
From Proposition M, the possible values of the actually measured result are ±1. From Lemma T, we see
(3.21)
We derive a necessary condition for the two quantum expected values for the system in a pure spin-1/2 state lying in the x-y plane given in (3.16) and (3.19). We derive the possible values of the scalar product of the two quantum expected values, given in (3.16) and (3.19). We have
(3.22)
From Proposition M, we have
(3.23)
The above inequality (3.22) is saturated when
(3.24)
This implies
(3.25)
The above condition (3.25) can be possible since, as we have said,
(3.26)
and
(3.27)
Thus we derive a proposition concerning the two quantum expected values under an assumption that we assign the truth value “1” for Proposition M and Proposition E, (in a spin-1/2 system). The proposition is. This inequality can be saturated. Hence we derive the following proposition concerning Proposition M and Proposition E:
(3.28)
We cannot assign the truth value “1” for two propositions (3.15) (concerning the existence of the orientation of reference frames) and (3.28) (concerning Proposition M and Proposition E), simultaneously, when the system is in a pure state lying in the x-y plane. We do not assign the truth value “1” for three propositions:
1) Proposition M;
2) Proposition E;
3) The existence of the orientation of reference frames simultaneously. In other words, we do not assign the truth value “1” for two propositions:
a) The existence of measurement outcome;
b) The existence of the orientation of reference frames simultaneously.
4. Quantum Computation
In this section, we review Deutsch’s algorithm along with Ref. [10] .
Quantum parallelism is a fundamental feature of many quantum algorithms. It allows quantum computers to evaluate the values of a function for many different values of x simultaneously. Suppose
(4.1)
is a function with a one-bit domain and range. A convenient way of computing this function on a quantum com- puter is to consider a two-qubit quantum computer which starts in the state
(4.2)
With an appropriate sequence of logic gates it is possible to transform this state into
(4.3)
where indicates addition modulo 2. We give the transformation defined by the map
(4.4)
a name,.
Deutsch’s algorithm combines quantum parallelism with a property of quantum mechanics known as interference. Let us use the Hadamard gate to prepare the first qubit
(4.5)
as the superposition
(4.6)
but let us prepare the second qubit as the superposition
(4.7)
using the Hadamard gate applied to the state
(4.8)
The Hadamard gate is as
(4.9)
Let us follow the states along to see what happens in this circuit. The input state
(4.10)
is sent through two Hadamard gates to give
(4.11)
A little thought shows that if we apply to the state
(4.12)
then we obtain the state
(4.13)
Applying to therefore leaves us with one of the two possibilities:
(4.14)
The final Hadamard gate on the first qubit thus gives us
(4.15)
Realizing that is 0 if and 1 otherwise, we can rewrite this result concisely as
(4.16)
so by measuring the first qubit we may determine. This is very interesting indeed: the quantum circuit gives us the ability to determine a global property of, namely, using only one evaluation of! This is faster than is possible with a classical apparatus, which would require at least two evaluations.
5. Problem of Deutsch’s Algorithm
In this section, we suggest a problem of Deutsch’s algorithm. We see that the implementation of Deutsch’s algorithm is not possible if we give up either observability of a quantum state or controllability of a quantum state.
We introduce the following quantum proposition concerning controllability:
(5.1)
We may consider the following non-quantum-theoretical proposition:
(5.2)
The proposition (5.2) implies the validity of Proposition M and Proposition E (observability and the existence of measurement outcome). The proposition (5.2) implies
(5.3)
Thus,
(5.4)
However, the validity of Proposition M and Proposition E does not imply the proposition (5.2). We see that the proposition (5.1) is not equivalent to Proposition M and Proposition E (observability and the existence of measurement outcome). From Truth Value Table 1, we can assign the truth value “1” for the proposition (5.2), Proposition M, and Proposition E (observability and the existence of measurement outcome) and we can assign the truth value “0” for the proposition (5.1) concerning controllability.
On the other hand, the proposition (5.1) implies that
(5.5)
when the system is in a pure state lying in the x-y plane. The reason is as follows: Assume a pure state lying in the x-y plane as
(5.6)
where is a phase. Let us write
(5.7)
and
(5.8)
Then we have
(5.9)
and
(5.10)
Therefore, we see
(5.11)
We thus see the proposition (5.1) implies the existence of the orientation of reference frames in the Hilbert space formalism of the quantum theory.
From the discussion presented in Section 3, we see that the quantum proposition (5.1) concerning controllability (the existence of the orientation of reference frames) cannot coexist with the validity of Proposition M and Proposition E (observability and the existence of measurement outcome), which states
(5.12)
when the system is in a pure state lying in the x-y plane.
Table 1. Truth value table: A implies a proposition (5.1) con- cerning controllability. B implies a non-quantum-theoretical proposition (5.2). A ∨ B implies a proposition (5.3) of disjunction of A and B concerning observability.
Deutsch’s algorithm shows the importance of the ability of the Hadamard gate (controllability and the existence of the orientation of reference frames) for quantum computation. The ability of the Hadamard gate is valid only when we assign the truth value “1” for the proposition (5.1) (the existence of the orientation of reference frames). We see that the quantum state
(5.13)
is a pure state lying in the x-y plane. We can assign the truth value “1” for the ability of the Hadamard gate (controllability and the existence of the orientation of reference frames)
(5.14)
only when we assign the truth value “1” for the proposition (5.1) concerning controllability (the existence of the orientation of reference frames) and we give up the validity of Proposition M and Proposition E (observability and the existence of measurement outcome). The validity of the proposition (5.1) implies that
(5.15)
Thus applying H twice to a quantum state does nothing to it if we assign the truth value “1” for the proposition (5.1). When we assign the truth value “1” for the proposition (5.1), we have
(5.16)
We conclude that the step in which transforms the state into the state, namely the step saying from (4.10) to (4.11) is possible only when we assign the truth value “1” for the proposition (5.1) (concerning controllability and the existence of the orientation of reference frames) and we give up the validity of Proposition M and Proposition E (concerning observability and the existence of measurement outcome). The step saying from (4.14) to (4.15) is also so. Therefore we question what makes observability if we assign the truth value “1” for the ability of the Hadamard gate (controllability and the existence of the orientation of reference frames). We also question what makes controllability if we assign the truth value “1” for Proposition M and Proposition E (observability and the existence of measurement outcome).
6. Von Neumann’s Theory Does Not Meet Our Physical World
Assume that we have a set of N spins. Each of them is a spin-1/2 pure state lying in the x-y plane. Let us as-
sume that one source of N uncorrelated spin-carrying particles emits them in a state, which can be described as a multi spin-1/2 pure uncorrelated state. Let us parameterize the settings of the jth observer with a unit vector (its direction along which the spin component is measured) with. One can introduce the “projective” correlation function, which is the average of the product of the results of Von Neumann’s projective measurement
(6.1)
where r is the projective result. We assume the value of r is ±1 (in unit), which is obtained if the measurement directions are set at.
Also one can introduce a quantum correlation function with the system in such a pure uncorrelated state
(6.2)
where denotes the tensor product, ∙ the scalar product in R2, is a vector of two Pauli operators, and is the pure uncorrelated state,
(6.3)
with and is a spin-1/2 pure state lying in the x-y plane.
One can write the observable (unit) vector in a plane coordinate system as follows:
(6.4)
where and are the Cartesian axes. Here, the angle takes two values (two-setting model):
(6.5)
We derive a necessary condition to be satisfied by the quantum correlation function with the system in a pure uncorrelated state given in (6.2). In more detail, we derive the value of the product of the quantum correlation function, given in (6.2), i.e.,. We use the decomposition (6.4). We introduce simplified notations as
(6.6)
and
(6.7)
Then, we have
(6.8)
where we use the orthogonality relation. The value of is bounded as . We have
(6.9)
From the convex argument, all quantum separable states must satisfy the inequality (6.8). Therefore, it is a separability inequality. It is important that the separability inequality (6.8) is saturated iff is a multi spin-1/2 pure uncorrelated state such that, for every j, is a spin-1/2 pure state lying in the x-y plane. The reason of the inequality (6.8) is due to the following quantum inequality
(6.10)
The inequality (6.10) is saturated iff and is a spin-1/2 pure state lying in the x-y plane. The inequality (6.8) is saturated iff the inequality (6.10) is saturated for every j. Thus we have the maximal possible value of the scalar product as a quantum proposition concerning our physical world
(6.11)
when the system is in such a multi spin-1/2 pure uncorrelated state.
On the other hand, a correlation function satisfies projective measurement theory if it can be written as
(6.12)
where l denotes a label and r is the result of Von Neumann’s projective measurement of the dichotomic observables parameterized by the directions of.
Assume the quantum correlation function with the system in a pure uncorrelated state given in (6.2) admits projective measurement theory. One has the following proposition concerning projective measurement theory
(6.13)
In what follows, we show that we cannot assign the truth value “1” for the proposition (6.13) concerning projective measurement theory.
Assume the proposition (80) is true. By changing the label l into and by changing the label m into, we have the same quantum expected value as follows
(6.14)
An important note here is that the value of the right-hand-side of (6.13) is equal to the value of the right-hand- side of (6.14) because we only change labels.
We abbreviate to and to.
We have
(6.15)
We use the following fact
(6.16)
The inequality (6.15) is saturated since we have
(6.17)
Hence one has the following proposition concerning projective measurement theory
(6.18)
Clearly, we cannot assign the truth value “1” for two propositions (6.11) (concerning our physical world) and (6.18) (concerning projective measurement theory), simultaneously, when the system is in a multiparticle pure uncorrelated state. Of course, each of them is a spin-1/2 pure state lying in the x-y plane. Therefore, we are in the contradiction when the system is in such a multiparticle pure uncorrelated state. Thus, we cannot accept the validity of the proposition (6.13) (concerning projective measurement theory) if we assign the truth value “1” for the proposition (6.11) (concerning our physical world). In other words, such projective measurement theory does not reveal our physical world.
7. Solution of the Problem of Von Neumann’s Theory
In this section, we solve the contradiction presented in the previous section. We have the maximal possible value of the scalar product as a quantum proposition concerning our physical world
(7.1)
when the system is in such a multi spin-1/2 pure uncorrelated state. On the other hand, one has the following proposition concerning projective measurement theory
(7.2)
We cannot assign the truth value “1” for two propositions (7.1) (concerning our physical world) and (7.3) (concerning projective measurement theory), simultaneously, when the system is in a multiparticle pure uncorrelated state. Of course, each of them is a spin-1/2 pure state lying in the x-y plane. Therefore, we are in the contradiction when the system is in such a multiparticle pure uncorrelated state.
We introduce the following hypothesis:
Hypothesis: We assume the value of r is (in unit), which is obtained if the measurement
directions are set at.
When we accept this hypothesis, the proposition (7.2) (concerning projective measurement theory) becomes the following new proposition concerning a quantum measurement theory (two-setting model)
(7.3)
We can assign the truth value “1” for both two propositions (7.1) (concerning our physical world) and (7.3) (concerning the quantum measurement theory), simultaneously, when the system is in a multiparticle pure uncorrelated state. Of course, each of them is a spin-1/2 pure state lying in the x-y plane. Therefore, we are not in the contradiction when the system is in such a multiparticle pure uncorrelated state. Hence, we solve the contradiction presented in the previous section by changing the value of the result of quantum measurements. Our solution is equivalent to changing Planck’s constant to the new constant.
8. New Type of the Deutsch-Jozsa Algorithm
The earliest quantum algorithm, the Deutsch-Jozsa algorithm, is representative to show that quantum computation is faster than classical counterpart with a magnitude that grows exponentially with the number of qubits.
Let us follow the argumentation presented in [10] .―The application, known as Deutsch’s problem, may be described as the following game. Alice, in Amsterdam, selects a number x from 0 to, and mails it in a letter to Bob, in Boston. Bob calculates the value of some function
(8.1)
and replies with the result, which is either 0 or 1. Now, Bob has promised to use a function f which is of one of two kinds; either the value of is constant for all values of x, or else the value of is balanced, that is, equal to 1 for exactly half of all the possible x, and 0 for the other half. Alice’s goal is to determine with certainty whether Bob has chosen a constant or a balanced function, corresponding with him as little as possible. How fast can she succeed?
In the classical case, Alice may only send Bob one value of x in each letter. At worst, Alice will need to query Bob at least
(8.2)
times, since she may receive 0 s before finally getting a 1, telling her that Bob’s function is balanced. The best deterministic classical algorithm she can use therefore requires queries. Note that in each letter, Alice sends Bob N bits of information. Furthermore, in this example, physical distance is being used to artificially elevate the cost of calculating, but this is not needed in the general problem, where may be inherently difficult to calculate.
If Bob and Alice were able to exchange qubits, instead of just classical bits, and if Bob agreed to calculate using a unitary transformation, then Alice could achieve her goal in just one correspondence with Bob, using the following algorithm.
Alice has an N qubit register to store her query in, and a single qubit register which she will give to Bob, to store the answer in. She begins by preparing both her query and answer registers in a superposition state. Bob will evaluate using quantum parallelism and leave the result in the answer register. Alice then interferes states in the superposition using a Hadamard transformation (a unitary transformation),
(8.3)
on the query register, and finishes by performing a suitable measurement to determine whether f was constant or balanced.
Let us follow the quantum states through this algorithm. The input state is
(8.4)
Here the query register describes the state of N qubits all prepared in the
(8.5)
state. After the Hadamard transformation on the query register and the Hadamard gate on the answer register we have
(8.6)
The query register is now a superposition of all values, and the answer register is in an evenly weighted superposition of
(8.7)
and
(8.8)
Next, the function f is evaluated (by Bob) using
(8.9)
giving
(8.10)
Here
(8.11)
is the bitwise XOR (exclusive OR) of y and. Alice now has a set of qubits in which the result of Bob’s function evaluation is stored in the amplitude of the qubit superposition state. She now interferes terms in the superposition using a Hadamard transformation on the query register. To determine the result of the Hadamard transformation it helps to first calculate the effect of the Hadamard transformation on a state
(8.12)
By checking the cases and separately we see that for a single qubit
(8.13)
Thus
(8.14)
This can be summarized more succinctly in the very useful equation
(8.15)
where
(8.16)
is the bitwise inner product of x and z, modulo 2. Using this equation and (8.10) we can now evaluate,
(8.17)
Alice now observes the query register. Note that the absolute value of the amplitude for the state
(8.18)
is
(8.19)
Let’s look at the two possible cases―f constant and f balanced―to discern what happens. In the case where f is constant the absolute value of the amplitude for
(8.20)
is +1. Because
(8.21)
is of unit length it follows that all the other amplitudes must be zero, and an observation will yield
(8.22)
times for all N qubits in the query register. Thus, global measurement outcome is
(8.23)
If f is balanced then the positive and negative contributions to the absolute value of the amplitude for
(8.24)
cancel, leaving an amplitude of zero, and a measurement must yield a result other than
(8.25)
that is,
(8.26)
on at least one qubit in the query register. Summarizing, if Alice measures all s and global measurement outcome is the function is constant; otherwise the function is balanced.
We notice that the difference between and is approximately zero when. We question if the Deutsch-Jozsa algorithm in the macroscopic scale is possible or not. This question is open problem.
9. Double-Slit Experiment and Projective Measurement Theory
In this section, we consider the relation between double-slit experiment and projective measurement theory. We try to implement double-slit experiment. There is a detector just after each slit. Thus interference figure does not appear, and we do not consider such a pattern. The possible values of the result of measurements are ±1 (in unit). If a particle passes one side slit, then the value of the result of measurement is +1. If a particle passes through another slit, then the value of the result of measurement is −1.
9.1. A Wave Function Analysis
Let be Pauli vector. We assume that a source of spin-carrying particles emits them in a state, which can be described as an eigenvector of Pauli observable. We consider a quantum expected value as
(9.1)
The above quantum expected value is zero if we consider only a wave function analysis.
We derive a necessary condition for the quantum expected value for the system in the pure spin-1/2 state given in (115). We derive the possible value of the product. is the quantum expected value given in (115). We derive the following proposition
(9.2)
Hence we have
(9.3)
Thus,
(9.4)
9.2. Projective Measurement Theory
On the other hand, a mean value E admits projective measurement theory if it can be written as
(9.5)
where l denotes a label and r is the result of projective measurement of the Pauli observable. We assume the value of r is ±1 (in unit).
Assume the quantum mean value with the system in an eigenvector of Pauli observable given in (9.1) admits projective measurement theory. One has the following proposition concerning projective measurement theory
(9.6)
We can assume as follows by Strong Law of Large Numbers,
(9.7)
In what follows, we show that we cannot assign the truth value “1” for the proposition (9.6) concerning projective measurement theory.
Assume the proposition (9.6) is true. By changing the label l into and by changing the label m into, we have the same quantum mean value as follows
(9.8)
An important note here is that the value of the right-hand-side of (9.6) is equal to the value of the right-hand-side of (9.8) because we only change labels. We have
(9.9)
We use the following fact
(9.10)
The inequality (9.9) is saturated since we have
(9.11)
Thus we derive a proposition concerning the quantum mean value under an assumption that projective measurement theory is true (in a spin-1/2 system), that is
(9.12)
From Strong Law of Large Numbers, we have
(9.13)
Hence we derive the following proposition concerning projective measurement theory
(9.14)
We do not assign the truth value “1” for two propositions (9.4) (concerning a wave function analysis) and (9.14) (concerning projective measurement theory), simultaneously. We are in the contradiction. This implies that we cannot perform the following Deutsch’s algorithm.
・ The control of quantum states relies on the wave functional analysis.
・ The observation of quantum states relies on projective measurement theory.
We cannot accept the validity of the proposition (9.6) (concerning projective measurement theory) if we assign the truth value “1” for the proposition (9.4) (concerning a wave function analysis). In other words, such projective measurement theory does not meet the detector model for spin observable. And we cannot perform Deutsch’s algorithm. Consistency between controlability and observability is necessary for an implementation of Deutsch’s algorithm. And desired consistency is not established.
10. Solution of the Problem of Projective Measurement Theory in a Macroscopic System
In this section, we consider many double-slit experiments. In a macroscopic system, we solve the contradiction presented in the previous section.
10.1. A Wave Function analysis
We consider an implementation of N double-slit experiments. We assume that N sources of spin-carrying particles emit them in a state, which can be described as an eigenvector of Pauli observable. We have the following state globally
(10.1)
Each of them can be described as an eigenvector of Pauli observable. We analyze experimental data globally. We consider a single expected value of
(10.2)
then we have the following quantum expected value from a wave function analysis
(10.3)
Thus we have the following proposition concerning a wave function analysis
(10.4)
Hence we have
(10.5)
Thus,
(10.6)
10.2. New Type of a Quantum Measurement
On the other hand, a mean value E admits a quantum measurement theory if it can be written as
(10.7)
where l denotes a label and r is the result of quantum measurement of the Pauli observable. We assume the value of r is (in unit) [23] . If a particle passes one side slit, then the value of the result of measurement is. If a particle passes through another slit, then the value of the result of measurement is.
Assume the quantum mean value with the system in an eigenvector of the Pauli observable given in (9.1) admits such a quantum measurement theory. One has the following proposition concerning the quantum measurement theory
(10.8)
In what follows, we show that we can assign the truth value “1” for the proposition (10.8) concerning the quantum measurement theory in the macroscopic system.
Assume the proposition (10.8) is true. By changing the label l into and by changing the label m into, we have the same quantum mean value as follows
(10.9)
An important note here is that the value of the right-hand-side of (10.8) is equal to the value of the right-hand- side of (10.9) because we only change labels. We have
(10.10)
We use the following fact
(10.11)
The inequality (10.10) is saturated since we have
(10.12)
Thus we derive a proposition concerning the quantum mean value under an assumption that such a quantum measurement is true (in a spin-1/2 system), that is,
(10.13)
From Strong Law of Large Numbers, we have
(10.14)
Therefore we have. Hence we derive the following proposition concerning the quantum measurement
(10.15)
Thus,
(10.16)
We can assign the truth value “1” for both two propositions (10.6) (concerning a wave function analysis) and (10.16) (concerning the quantum measurement theory), simultaneously. Hence, we solve the contradiction presented in the previous section by changing the value of the result of quantum measurements and by considering an implementation of double-slit experiments macroscopically. This implies that we can perform the following Deutsch’s algorithm.
・ The control of quantum states relies on the wave functional analysis.
・ The observation of quantum states relies on the measurement theory.
In other words, such a measurement theory meets the detector model for spin observable. And we can perform Deutsch’s algorithm. Consistency between controlability and observability is necessary for an implementation of Deutsch’s algorithm. And desired consistency is established.
11. The Relation between Our Result and Deutsch’s Algorithm
In this section, we discuss how our solution is used in an implementation of Deutsch’s algorithm. Now, we can measure Pauli observable by solving the contradiction discussed in Section 10. Consistency between controlability and observability is established. The values of the result of quantum measurements are. So the values can be used for the values of the result of the final measurement of Deutsch’s algorithm. From Section 4, we have
(11.1)
We can consider
(11.2)
Therefore if we can measure an expected value of, then we can distinguish the two states mentioned above. From a wave function analysis, we have
(11.3)
We see one measurement is enough to determine which state is realized. We can omit the final Hadamard gate on the first qubit.
12. Conclusions
In conclusion, we have discussed the fact that there is a crucial contradiction within Von Neumann’s theory. We have derived a proposition concerning a quantum expected value under an assumption of the existence of the orientation of reference frames in N spin-1/2 systems (1 ≤ N < +∞). This assumption intuitively has depictured our physical world. However, the quantum predictions within the formalism of Von Neumann’s projective measurement have violated the proposition with a magnitude that grows exponentially with the number of particles. We have had to give up either the existence of the directions or the formalism of Von Neumann’s projective measurement. Therefore, Von Neumann’s theory cannot have depictured our physical world with a violation factor that grows exponentially with the number of particles. The theoretical formalism of the implementation of the Deutsch-Jozsa algorithm has relied on Von Neumann’s theory. We have investigated whether Von Neumann’s theory meets the Deutsch-Jozsa algorithm. We have discussed the fact that the crucial contradiction makes the quantum-theoretical formulation of Deutsch-Jozsa algorithm questionable. Further, we have discussed the fact that projective measurement theory does not meet easy detector model for a single Pauli observable. Especially, we have systematically described our assertion based on more mathematical analysis using raw data. We have proposed a solution of the problem. Our solution has been equivalent to changing Planck’s constant to the new constant. It may have said that a new type of the quantum theory early approaches Newton’s theory in the macroscopic scale than the old quantum theory does. We have discussed how our solution is used in an implementation of Deutsch’s algorithm.
What are new physical theories? We cannot answer it at this stage. However, we expect that our discussion in this paper could contribute to creating new physical theories in order to explain our physical world, to create new information science, and to predict new unknown physical phenomena efficiently.
Acknowledgements
We would like to thank Professor Niizeki and Dr. Ren for valuable comments.
Cite this paper
KojiNagata,TadaoNakamura, (2015) Von Neumann’s Theory, Projective Measurement, and Quantum Computation. Journal of Applied Mathematics and Physics,03,874-897. doi: 10.4236/jamp.2015.37108
References
- 1. von Neumann, J. (1955) Mathematical Foundations of Quantum Mechanics. Princeton University Press, Princeton.
- 2. Nagata, K., Ren, C.-L. and Nakamura, T. (2011) Whether Quantum Computation Can Be Almighty. Advanced Studies in Theoretical Physics, 5, 1-14.
- 3. Gershenfeld, N. and Chuang, I.L. (1998) Quantum Computing with Molecules. Scientific American.
- 4. Deutsch, D. (1992) Quantum Computation. Physics World, 1/6/92.
- 5. Quantum Computer. Wikipedia, the Free Encyclopedia.
- 6. Feynman, R.P., Leighton, R.B. and Sands, M. (1965) Lectures on Physics, Volume III, Quantum Mechanics. Addison-Wesley Publishing Company, Reading.
- 7. Redhead, M. (1989) Incompleteness, Nonlocality, and Realism. 2nd Edition, Clarendon Press, Oxford.
- 8. Peres, A. (1993) Quantum Theory: Concepts and Methods. Kluwer Academic, Dordrecht.
- 9. Sakurai, J.J. (1995) Modern Quantum Mechanics. Revised Edition, Addison-Wesley Publishing Company, Reading.
- 10. Nielsen, M.A. and Chuang, I.L. (2000) Quantum Computation and Quantum Information. Cambridge University Press, Cambridge.
- 11. Leggett, A.J. (2003) Nonlocal Hidden-Variable Theories and Quantum Mechanics: An Incompatibility Theorem. Foundations of Physics, 33, 1469-1493. http://dx.doi.org/10.1023/A:1026096313729
- 12. Gröblacher, S., Paterek, T., Kaltenbaek, R., Brukner, C., Zukowski, M., Aspelmeyer, M. and Zeilinger, A. (2007) An Experimental Test of Non-Local Realism. Nature, 446, 871-875.
http://dx.doi.org/10.1038/nature05677 - 13. Paterek, T., Fedrizzi, A., Gröblacher, S., Jennewein, T., Zukowski, M., Aspelmeyer, M. and Zeilinger, A. (2007) Experimental Test of Nonlocal Realistic Theories without the Rotational Symmetry Assumption. Physical Review Letters, 99, Article ID: 210406. http://dx.doi.org/10.1103/PhysRevLett.99.210406
- 14. Branciard, C., Ling, A., Gisin, N., Kurtsiefer, C., Lamas-Linares, A. and Scarani, V. (2007) Experimental Falsification of Leggett’s Nonlocal Variable Model. Physical Review Letters, 99, Article ID: 210407.
http://dx.doi.org/10.1103/PhysRevLett.99.210407 - 15. Deutsch, D. (1985) Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 400, 97-117.
http://dx.doi.org/10.1098/rspa.1985.0070 - 16. Jones, J.A. and Mosca, M. (1998) Implementation of a Quantum Algorithm on a Nuclear Magnetic Resonance Quantum Computer. The Journal of Chemical Physics, 109, 1648.
http://dx.doi.org/10.1063/1.476739 - 17. Gulde, S., Riebe, M., Lancaster, G.P.T., Becher, C., Eschner, J., Häffner, H., Schmidt-Kaler, F., Chuang, I.L. and Blatt, R. (2003) Implementation of the Deutsch-Jozsa Algorithm on an Ion-Trap Quantum Computer. Nature, 421, 48-50. http://dx.doi.org/10.1038/nature01336
- 18. de Oliveira, A.N., Walborn, S.P. and Monken, C.H. (2005) Implementing the Deutsch Algorithm with Polarization and Transverse Spatial Modes. Journal of Optics B: Quantum and Semiclassical Optics, 7, 288-292. http://dx.doi.org/10.1088/1464-4266/7/9/009
- 19. Kim, Y.-H. (2003) Single-Photon Two-Qubit Entangled States: Preparation and Measurement. Physical Review A, 67, Article ID: 040301(R).
- 20. Mohseni, M., Lundeen, J.S., Resch, K.J. and Steinberg, A.M. (2003) Experimental Application of Decoherence-Free Subspaces in an Optical Quantum-Computing Algorithm. Physical Review Letters, 91, Article ID: 187903. http://dx.doi.org/10.1103/PhysRevLett.91.187903
- 21. Tame, M.S., Prevedel, R., Paternostro, M., Böhi, P., Kim, M.S. and Zeilinger, A. (2007) Experimental Realization of Deutsch’s Algorithm in a One-Way Quantum Computer. Physical Review Letters, 98, Article ID: 140501. http://dx.doi.org/10.1103/PhysRevLett.98.140501
- 22. Deutsch, D. and Jozsa, R. (1992) Rapid Solution of Problems by Quantum Computation. Proceedings of the Royal Society A, 439, 553-558. http://dx.doi.org/10.1098/rspa.1992.0167
- 23. Nagata, K. and Nakamura, T. (2010) Can von Neumann’s Theory Meet the Deutsch-Jozsa Algorithm? International Journal of Theoretical Physics, 49, 162-170. http://dx.doi.org/10.1007/s10773-009-0189-5
- 24. Nagata, K. (2009) There Is No Axiomatic System for the Quantum Theory. International Journal of Theoretical Physics, 48, 3532-3536. http://dx.doi.org/10.1007/s10773-009-0158-z
- 25. Nagata, K. and Nakamura, T. (2013) Von Neumann’s Theory Does Not Meet Deutsch’s Algorithm. Precision Instrument and Mechanology, 2, 104.
- 26. Nagata, K. and Nakamura, T. (2013) An Additional Condition for Bell Experiments for Accepting Local Realistic Theories. Quantum Information Processing, 12, 3785-3789.
http://dx.doi.org/10.1007/s11128-013-0635-4 - 27. Nagata, K. (2014) Reply to “Comments on ‘There Is No Axiomatic System for the Quantum Theory’”. Journal of Quantum Information Science, 4, 195-200. http://dx.doi.org/10.4236/jqis.2014.44018
- 28. De Broglie-Bohm Theory—Wikipedia, the Free Encyclopedia.
- 29. Schon, C. and Beige, A. (2001) Analysis of a Two-Atom Double-Slit Experiment Based on Environment-Induced Measurements. Physical Review A, 64, Article ID: 023806.
http://dx.doi.org/10.1103/PhysRevA.64.023806