# Error-Disturbance Uncertainty Relations in Neutron-Spin Measurements

Authors: Stephan Sponar; Georg Sulyok; Jaqueline Erhart; Yuji Hasegawa
Journal: Advances in High Energy Physics
 (2014)

---

## Abstract

In his seminal paper, which was published in 1927, Heisenberg originally introduced a relation between the precision of a measurement and the disturbance it induces onto another measurement. Here, we report a neutron-optical experiment that records the error of a spin-component measurement as well as the disturbance caused on a measurement of another spin-component to test error-disturbance uncertainty relations (EDRs). We demonstrate that Heisenberg’s original EDR is violated and the Ozawa and Branciard EDRs are valid in a wide range of experimental parameters.


---

## Body

## 1. Introduction

The uncertainty principle represents, without any doubt, one of the most important cornerstones of the Copenhagen interpretation of quantum theory. In his celebrated paper from 1927 [1], Heisenberg gives at least two distinct statements about the limitations on preparation and measurement of physical systems: (i) incompatible observables cannot be measured with arbitrary accuracy: a measurement of one of these observables disturbs the other one accordingly, and vice versa; (ii) it is impossible to prepare a system such that a pair of noncommuting (incompatible) observables are arbitrarily well defined. In [1], the observables are represented by position and momentum.In his original paper [1], Heisenberg proposed a reciprocal relation for measurementerror anddisturbance by the famous γ-ray microscope thought experiment: “At the instant when the position is determined—therefore, at the moment when the photon is scattered by the electron—the electron undergoes a discontinuous change in momentum. This change is the greater the smaller the wavelength of the light employed—that is, the more exact the determination of the position…” [1]. Heisenberg follows Einstein’s realistic view, that is, to base a new physical theory only on observable quantities (elements of reality), arguing that terms like velocity or position make no sense without defining an appropriate apparatus for a measurement. By solely considering the Compton effect, Heisenberg gives a rather heuristic estimate for the product of the inaccuracy (error) of a position measurement p
1 and the disturbance q
1 induced on the particles momentum, denoted by
(1)
p
1
q
1
~
h
.
According to (1), it can be referred to as ameasurement uncertainty (i) or as an error-disturbance uncertainty relation (EDR).Heisenberg’s original formulation [1, 2] can be read in modern treatment as ϵ
(
Q
)
η
(
P
)
≥
ħ
/
2, for error ϵ
(
Q
) of a measurement of the position observable Q and disturbance η
(
P
) of the momentum observable P induced by the position measurement. However, most modern textbooks introduce the uncertainty relation in terms of apreparation uncertainty (ii) relation denoted by
(2)
Δ
(
Q
)
Δ
(
P
)
≥
ħ
/
2
.
Equation (2) was proved by Kennard in 1927 [3] for the standard deviations Δ
(
Q
) and Δ
(
P
) of the position observable Q and the momentum observable P, given by Δ
(
X
)
=
〈
X
2
〉
-
〈
X
〉
2. But this is a different physical situation: here statistical distributions of not a joint but a single measurement of either Q or P are considered. Kennard’s relation addresses an intrinsic uncertainty which every quantum system must possess, independent of whether it is measured or not. The unavoidable recoil caused by the measuring device is ignored here. Later Robertson generalized Kennards relation between standard deviations to arbitrary pairs of observables A and B:
(3)
Δ
(
A
)
Δ
(
B
)
≥
1
2
|
〈
ψ
|
[
A
,
B
]
|
ψ
〉
|
.
Robertson’s relation (3) has been confirmed by many different experiments [4–6] and is uncontroversial.A corresponding generalized form of Heisenberg’s original error-disturbance uncertainty relation would read(4)
ϵ
(
A
)
η
(
B
)
≥
1
2
|
〈
ψ
|
[
A
,
B
]
|
ψ
〉
|
.
However, certain measurements do not obey (4) [7–9], proving (4) to be formally incorrect.In 2003, Ozawa introduced the correct form of a generalized error-disturbance uncertainty relation based on rigorous theoretical treatments of quantum measurements:(5)
ϵ
(
A
)
η
(
B
)
+
ϵ
(
A
)
Δ
(
B
)
+
Δ
(
A
)
η
(
B
)
≥
1
2
|
〈
ψ
|
[
A
,
B
]
|
ψ
〉
|
,whereϵ
(
A
) denotes the root-mean-square (r.m.s.) error of an arbitrary measurement for an observable A, η
(
B
) is the r.m.s. disturbance on another observable B induced by the measurement, and Δ
(
A
) and Δ
(
B
) are the standard deviations of A and B in the state |
ψ
〉 before the measurement. Ozawa’s inequality (5) was tested experimentally with neutronic [10, 11] and photonic [12–14] systems.Though universally valid, Ozawa’s relations (5) are not optimal. Recently, Branciard [15] has revised Ozawa’s EDR, resulting in a tight EDR, describing the now optimal trade-off relation between error ϵ
(
A
) and disturbance η
(
B
):
(6)
ϵ
(
A
)
2
Δ
(
B
)
2
+
Δ
(
A
)
2
η
(
B
)
2
+
2
Δ
(
A
)
2
Δ
(
B
)
2
-
C
A
B
2
ϵ
(
A
)
η
(
B
)
≥
C
A
B
2
,
with C
A
B
=
1
/
2
|
〈
ψ
|
[
A
,
B
]
|
ψ
〉
|. Experimental demonstrations of (6) using photons are reported in [16, 17].


## 2. Materials and Methods

In our experiment the error-disturbance uncertainty relations, as defined in (5) and (6), are tested via a successive measurement for spin observables A and B. The experimental scheme is depicted in Figure 1. The observables A and B are set as the x and y components of the neutron 1/2 spin. (For simplicity, ħ
/
2 is omitted for each spin component.) The error ϵ
(
A
) and the disturbance η
(
B
) are defined for a joint measurement apparatus, so that apparatus A
1 measures the observable A
=
σ
x with error ϵ
(
A
) and disturbs the observable B
=
σ
y thereby with disturbance η
(
B
) during the measurement (here σ
x and σ
y denote the Pauli matrices). Finally apparatus A
2 measures B
=
σ
y. To control the error ϵ
(
A
) and the disturbance η
(
B
), apparatus A
1 is designed to actually carry out not the maximally disturbing projective measurement A
=
σ
x, but the projective measurement along a distinct axis o
→
a
(
θ
,
ϕ
) denoted by O
A
=
o
→
a
(
θ
,
ϕ
)
·
σ
→, where σ
→
=
(
σ
x
,
σ
y
,
σ
z
)
T. Here θ
,
ϕ denote polar and azimuthal angle of the measurement direction o
→
a and are experimentally controlled detuning parameters, so that ϵ
(
A
) and η
(
B
) are determined as a function of ϕ and θ. A schematic illustration of the experimental apparatus for successive neutron-spin measurements is given in Figure 2.Figure 1
A successive measurement scheme of observablesA and B exploited for the demonstration of the error-disturbance uncertainty relation. After state preparation (blue) apparatus A
1 carries out a projective measurement of O
A instead of A (light red), thereby disturbing observable B which is detected by apparatus A
2 (green), error ϵ
(
A
) and disturbance η
(
B
) are quantitatively determined by the four possible outcomes denoted by (+
+), (+
-), (-
+), and (-
-).Figure 2
Neutron polarimetric setup for demonstration of the universally valid uncertainty relation for error and disturbance in neutron-spin measurements. The setup is divided into three stages: state preparation (blue region), apparatusA
1 carrying out the measurement of observable O
A
=
o
→
a
(
θ
,
ϕ
)
·
σ
→ (red region), and apparatus A
2 performing the measurement of observable B
=
σ
y (green region). All required terms of (5), that is, error ϵ
(
A
) and disturbance η
(
B
) as well as the standard deviations Δ
(
A
) and Δ
(
B
), are determined from the expectation values of the successive measurement.For (5) and (6), error ϵ
(
A
) and disturbance η
(
B
) are defined via an indirect measurement model for an apparatus A measuring an observable A of an object system S as(7a)
ϵ
(
A
)
=
∥
(
U
†
(
1
⊗
M
)
U
-
A
⊗
1
)
|
ψ
〉
|
ξ
〉
∥
,
(7b)
η
(
B
)
=
∥
(
U
†
(
B
⊗
1
)
U
-
B
⊗
1
)
|
ψ
〉
|
ξ
〉
∥
,where |
ψ
〉 is the state before the measurement of system S, which is described by a Hilbert space H
obj, and |
ξ
〉 and M are the initial state of the probe system P (in Hilbert space H
pro) and an observable M, referred to asmeter observable, of P which accounts for the meter of the apparatus. A unitary operator U on H
obj
⊗
H
pro describes the time evolution of the composite system S
+
P during the measurement interaction. Here the Euclidean norm is used where the norm of a state vector in Hilbert space X
|
ψ
〉 is given by the square root of its inner product: ∥
X
|
ψ
〉
∥
=
〈
ψ
|
X
†
X
|
ψ
〉
1
/
2. A schematic illustration of a measurement apparatus A is given in Figure 3.Figure 3
An indirect measurement model for apparatusA measuring an object system S, defined on Hilbert space H
obj, is specified by a quadruple (
H
pro
,
|
ξ
〉
,
U
(
t
)
,
M
).A nondegenerate meter observableM has a spectral decomposition M
=
∑
m
‍
m
|
m
〉
〈
m
|, where m varies over eigenvalues of M, and then the apparatus A has a family {
M
m
} of operators, called themeasurement operators, acting on H
obj and defined as M
m
=
〈
m
|
U
|
ξ
〉. Hence, the error is given by ϵ
(
A
)
2
=
∑
m
‍
∥
M
m
(
m
-
A
)
|
ψ
〉
∥
2. If M
m are mutually orthogonal, projection operators sum and norm can be exchanged and the error can be written in compact form as ϵ
(
A
)
2
=
∑
m
∥
(
O
A
-
A
)
|
ψ
〉
∥
‍
2, where O
A is theoutput operator given as O
A
=
∑
m
‍
m
M
m. The disturbance can be written as η
(
B
)
2
=
∑
m
∥
[
M
m
,
B
]
|
ψ
〉
∥
‍
2. All these calculations are elaborated in detail in [18].In our experiment, the measuring apparatusA
1 is considered to carry out a projective spin measurement along a distinct axis o
→
a
(
θ
,
ϕ
) denoted by O
A
=
o
→
a
(
θ
,
ϕ
)
·
σ
→
=
M
+
1
-
M
-
1 (where M
±
1
=
1
/
2
(
1
±
o
→
a
(
θ
,
ϕ
)
·
σ
→
)) instead of precisely A
=
σ
x. In order to detect the disturbance η
(
B
) on the observable B, induced by measuring O
A, apparatus A
2 carries out the projective measurement of B
=
σ
y in the state just after the first measurement. Though claimed to be experimentally inaccessible [19, 20], in the case of projection operators error ϵ
(
A
) and disturbance η
(
B
) can be expressed as a sum of expectation values in three different states, applying the method proposed in [21]. Using themodified output operators of the apparatus A
2 defined as X
B
=
M
+
1
B
M
+
1
+
M
-
1
B
M
-
1 and X
B
(
2
)
=
M
+
1
B
2
M
+
1
+
M
-
1
B
2
M
-
1, measurement error and disturbance are given by(8a)
ϵ
(
A
)
2
=
2
+
〈
ψ
|
O
A
|
ψ
〉
+
〈
ψ
|
A
O
A
A
|
ψ
〉
-
〈
ψ
|
(
A
+
1
)
O
A
(
A
+
1
)
|
ψ
〉
,
(8b)
η
(
B
)
2
=
2
+
〈
ψ
|
X
B
|
ψ
〉
+
〈
ψ
|
B
X
B
B
|
ψ
〉
-
〈
ψ
|
(
B
+
1
)
X
B
(
B
+
1
)
|
ψ
〉
.The expectation values ofO
A in a state |
ψ
〉 (see (8a) and (8b)), necessary for the determination of error ϵ
(
A
), are derived from the intensities at the four possible output ports, depicted in Figure 4, denoted by I
+
+, I
+
-, I
-
+, and I
-
-. The expectation value is obtained from the following combination of count rates: 〈
ψ
|
O
A
|
ψ
〉
=
(
I
+
+
+
I
+
-
-
I
-
+
-
I
-
-
)
/
(
I
+
+
+
I
+
-
+
I
-
+
+
I
-
-
), using intensities at the four possible output ports, indicating which projections have been carried out. As already discussed due to the prior measurement of O
A, the operator of apparatus A
2 is modified from B to X
B, with the corresponding expectation value expressed as 〈
ψ
|
X
B
|
ψ
〉
=
(
I
+
+
+
I
-
+
-
I
+
-
-
I
-
-
)
/
(
I
+
+
+
I
+
-
+
I
-
+
+
I
-
-
), required to determine the disturbance η
(
B
). Consequently all expectation values necessary to determine error ϵ
(
A
) and disturbance η
(
B
) can be derived from the intensities in the three input states |
ψ
〉, A
|
ψ
〉, (
A
+
1
)
|
ψ
〉 and |
ψ
〉, B
|
ψ
〉, (
B
+
1
)
|
ψ
〉, respectively.Figure 4
Normalized intensity of the successive measurements carried out by apparatusesA
1 and A
2. The combined projective measurements of O
A and B have four outcomes, denoted by (+
+), (+
-), (-
+), and (-
-), and have to be recorded for each initial state, that is, |
ψ
〉, |
A
ψ
〉, |
B
ψ
〉, |
(
A
+
1
)
ψ
〉, and |
(
B
+
1
)
ψ
〉. Here O
A is varied within the x
y-plane with azimuthal angle given by ϕ
=
0
,
π
/
4. Error bars represent ± one standard deviation of the normalized intensities. Some error bars are at the size of the markers.These states are generated by spinor rotations within DC-1 and induced by the guide field, due to an appropriate coil position within the preparation section (blue) of the neutron-optical setup depicted in Figure2. The projective measurement of O
A (apparatus A
1, light red in Figure 2) consists of two sequential steps: first the initially prepared state is projected onto the eigenstates of O
A by DC-2, which rotates the respective spin component of σ
→
a belonging to O
A in +
z direction. Then, in order to complete the projective measurement the spin, which is pointing in +
z after the analyzer, has to be prepared in an eigenstate of O
A. This is achieved by proper positioning and magnetic field of DC-3 (thereby applying the same procedure as that for DC-1 in the initial state preparation). Finally the B measurement is performed (apparatus A
2, green in Figure 2) utilizing DC-4 and the second analyzer. Unlike the O
A-measurement, subsequent preparation of the eigenstates of B is not necessary since the detector is insensitive to the spin state. For the measurement of the standard deviations of the observables A and B, which are also required to test Ozawa’s relation (see (5)), the two measurement apparatuses are used individually.


## 3. Results and Discussion

The experiment was carried out at the polarimeter beam line of the tangential beam port of the research reactor facility TRIGA Mark II at the Atominstitut, Vienna University of Technology, where mainly fundamental aspects of quantum mechanics are investigated [22–25]. The experimental settings for initial state |
ψ
〉
=
|
⇑
〉
z
≡
|
+
z
〉 and observables A
=
σ
x and B
=
σ
y require the auxiliary input states |
A
ψ
〉
=
|
B
ψ
〉
=
|
⇓
〉
z
≡
|
-
z
〉, |
(
A
+
1
)
ψ
〉
=
|
⇑
〉
z
+
|
⇓
〉
z
≡
|
+
x
〉, and finally |
(
B
+
1
)
ψ
〉
=
|
⇑
〉
z
+
i
|
⇓
〉
≡
|
+
y
〉 to be prepared. In Figure 4, explicit examples of related intensity sets for different values of ϕ are depicted. Standard deviations yield Δ
(
A
)
=
Δ
(
B
)
=
1 and the right-hand side of the uncertainty relations gives a lower bound of (
1
/
2
)
〈
ψ
|
[
A
,
B
]
|
ψ
〉
=
1.In a first experimental run,O
A is varied along the equator (θ
=
π
/
2) parameterized by its azimuthal angle ϕ. The theory curves for ϵ
(
A
) and η
(
B
) are then given by
(9)
ϵ
(
A
)
=
2
sin
⁡
ϕ
2
,
η
(
B
)
=
2
|
cos
⁡
⁡
ϕ
|
.
For ϕ
=
0, the error ϵ
(
A
) vanishes and the disturbance η
(
B
) is maximal. The disturbance η
(
B
) vanishes for O
A
=
B (ϕ
=
π
/
2
) and reaches a second maximum for O
A
=
-
A. Note that at this point also the error ϵ
(
A
) has its (only) maximum. The famoustrade-off relation, that is, the reciprocal relation for error and disturbance, only holds for -
π
/
2
≤
ϕ
≤
π
/
2, which can be seen in Figure 5(a). The product of error and disturbance ϵ
(
A
)
η
(
B
)—left-hand side of (4) orHeisenberg term—is below the limit given by (
1
/
2
)
〈
ψ
|
[
A
,
B
]
|
ψ
〉 in a wide range of ϕ-values, thereby revealing a violation of the generalized Heisenberg relation (see (4)). On the contrary, the left-hand side of Ozawa’s relation ϵ
(
A
)
η
(
B
)
+
ϵ
(
A
)
Δ
(
B
)
+
Δ
(
A
)
η
(
B
) (see (5)) is always above the lower bound defined by the expectation value of the commutator demonstrating the validity of Ozawa’s new relation.Experimentally determined values ofϵ
(
A
)
Δ
(
B
), Δ
(
A
)
η
(
B
), and ϵ
(
A
)
η
(
B
). This last term corresponds to the left-hand side of the Heisenberg relation (4), and the sum of the three terms corresponds to the left-hand side of Ozawa’s relation (5), including Bloch sphere representation of observables and initial state.
(a)
(b)In the following experimental setting,O
A is rotated out of the equatorial plane, when the evolution is on circles of latitude on the Bloch sphere (fixed polar angle θ), which yields ϵ
(
A
)
=
2
-
2
cos
⁡
⁡
ϕ
sin
⁡
θ and η
(
B
)
=
2
-
2
sin
2
⁡
ϕ
sin
2
⁡
θ.The observed values are depicted in Figure5(b). Now neither the error ϵ
(
A
) nor the disturbance η
(
B
) vanishes, since they never coincide with A, B, or -
B. This behaviour affects the curves in such a way that they are now shrunken from below. The smaller θ is, the less regions the polar angle of O
A gets where the Heisenberg term ϵ
(
A
)
η
(
B
) remains below the limit. Ozawa’s inequality is again fulfilled over the entire range of ϕ. The relations shown in Figure 5 are verified for all directions of O
A.A modification of the measurement apparatus allows for reducing the disturbance and saturating Branciard’s EDR given in (6). If we apply an arbitrary unitary rotation after the first measurement, the error remains unchained but the disturbance is altered. By investigating all possible rotation axes and angles, one finds out that U
R
=
e
-
i
(
(
ϕ
A
B
-
ϕ
)
/
2
)
σ
z minimises the disturbance yielding
(10)
ϵ
(
A
)
=
2
sin
⁡
ϕ
2
,
η
(
B
)
=
2
sin
⁡
ϕ
A
B
-
ϕ
2
,
where ϕ
A
B is the relative angle between the A and B measurement direction in the equatorial plane. Note that this particular rotation just generates the eigenstates of observable B, that is, |
±
y
〉, making the result of the optimisation procedure more intuitive. For a detailed calculation see [15].This is experimentally achieved by an appropriate displacement of DC-3, such that the required rotation is induced, and by additional Larmor precision in the guide field. The results, both for modified and for original apparatuses, are plotted in Figure6, demonstrating the tightness of Branciard’s inequality, defined in (6).Figure 6
Results of error and disturbance plotted asϵ
A versus η
(
B
). Blue curve: the Branciard bound as defined in (6). Blue marker: experimental results using the modified apparatus for ϵ
(
A
) and η
(
B
), as defined in (10). Orange curve error and disturbance as in (9). Green curve: bound imposed by Heisenberg’s original error-disturbance relation ϵ
(
A
)
η
(
B
)
≥
|
C
A
B
|, which is violated by our experimental results. Red curve: Ozawa’s relation (5), which is indeed satisfied but is not saturated.


## 4. Conclusions

To summarize, we have experimentally tested the Ozawa and Branciard error-disturbance uncertainty relations in successive neutron-spin measurements. Our experimental results clearly demonstrated the validity of Ozawa and Branciard EDRs and that the original Heisenberg EDR is violated throughout a wide range of experimental parameters.



---

*Source: 735398-2014-09-08.xml*