Professional Documents
Culture Documents
1808 05986 PDF
1808 05986 PDF
sharpness of qubit measurements, a relation which refers directly to the form of the measurement
operators, rather than to errors in estimates. We perform the first optical implementation of the
simplest possible optimal joint measurement, requiring less quantum resources than have previously
often been employed. Using a heralded single-photon source, we demonstrate quantum-limited
performance of the scheme on single quanta.
(1 − α2 )(1 − β 2 )
∆2α ∆2β ≡ ≥ sin2 (2θ), (3)
α2 β 2 FIG. 1. Joint measurement of incompatible observ-
ables  = a · σ̂ and B̂ = b · σ̂. The joint measurement is
where 2θ is the angle between a and b, and θ would be
implemented by doing a projective measurement either of c· σ̂
the angle between the equivalent polarization- or qubit- or of d · σ̂, with probabilities p and 1 − p respectively, where
state vectors. The bound in (2) and (3) is tight, in the c and d will lie in the plane defined by a and b. The mea-
sense that a joint quantum measurement with marginal surements correspond to projective measurements of photon
measurement operators given by (1), for any α and β polarization in appropriate bases. Here a, b, c, d are Bloch
saturating the bound, can always be realised. vectors, denoted in the figure using ket representations of the
Note that the bound does not depend on the measured corrrepsonding polarization states |ai, |bi, |ci, |di; each Bloch
vector of unit length corresponds to a pure state.
state, nor on what values we assign to the measurement
outcomes. In this sense, the bound in (2) and (3) can
be said to be more “fundamental” than relations which noted ∆Aj and ∆Bj , arise from two sources: the “intrin-
depend on what values are assigned for measurement out- sic uncertainties” ∆A and ∆B in the quantum observ-
comes, which is the case for typical error-disturbance re- ables when they are measured sharply (measured sep-
lations. In return, we assume that a·σ̂ and b·σ̂ are jointly arately, not jointly) on some quantum state, and “ex-
measured using measurement operators of the form in tra” uncertainty coming the fact that they are measured
(1). More generally, however, measurement operators for jointly. If we assume that the measurement results both
a joint measurement of a · σ and b · σ do not have to be for the sharp and the joint measurements are said to be
of the form in (1) [7, 12], in which case the bound in (2) ±1, then the variance in the joint measurement of a · σ̂,
and (3) also retains its relevance. In fact, any dichotomic scaled with α−2 , can be written
spin-1/2 observable will have measurement operators of
the form ∆2 Aj /α2 = (1 − α2 hÂi2 )/α2 = (1 − α2 )/α2 + 1 − hÂi2 ,
(5)
γ± γk
Π± = 1̂ ± k · σ̂, (4) and similarly for ∆2 Bj [25]. Here 1 − hÂi2 = ∆2 A is the
2 2
variance of Â, when measured separately and sharply,
where γ+ , γ− ≥ γk (since measurement operators must and similarly for B̂. The quantities (1 − α2 )/α2 ≡ ∆2α
be positive) and γ+ + γ− = 1 (since Π+ + Π− = 1̂ must and (1 − β 2 )/β 2 ≡ ∆2β are seen to be contributions com-
hold). Thus, the marginal measurement operators of a ing from the fact that the measurement is a joint mea-
joint measurement must more generally be of this form. surement. A lower bound on their product is given by
It turns out that if we choose γ+ = γ− = 1/2, then the (3), which can now be interpreted as an uncertainty rela-
measurement can be made sharper, in the sense that γk tion giving a lower bound on the uncertainty associated
in the joint measurement is as large as possible, while purely with the fact that quantum observables  and B̂
keeping the direction k the same. Therefore, no matter are measured jointly.
what the measurement results are used to estimate, mea- Optimal joint-measurement scheme. It turns out
surement operators of the form in (1) can be said to be that an optimal joint measurement along spin directions
optimal. In this sense, (2) and (3) retain their relevance a and b can be realized by doing a projective measure-
even more generally. For example, in [12], one essentially ment either along c or along d with probability p or 1−p
ends up with measurement operators of the form (1), but respectively, as illustrated in Fig. 1 [22]. The results of
for two “new” spin directions other than a and b, and the joint measurement are assigned as follows. If mea-
hence one obtains a relation of the form in (2) and (3), surement along c is chosen, and the outcome is C = +1,
just for these two “new” spin directions. then the result of the joint measurement is Aj = +1 and
We can also connect (3) with uncertainty relations. Bj = +1. If the outcome is C = −1, the result of the
The total uncertainties in the joint measurement, de- joint measurement is Aj = −1 and Bj = −1. However, if
3
The schematic of the experimental measurement setup the relative sharpnesses of the measurements of a · σ̂ and
realizing the strategy is shown in Fig. 2. We prepare b · σ̂ in the joint measurement.
the input state using a combination of waveplates (not To determine the optimal measurement directions c
shown) on the input arm before the beam splitter, and and d, we solve the equations (8) for α, β satisfying equal-
implement the random selection between measurement ity in (3) for each combination of a, b. For each a, b, we
directions c, d using a fixed, non-polarizing beam split- then use these solutions αopt , βopt , i.e., (9), in (7) to
ter with a splitting ratio corresponding to p ∼ 0.7. The get the c, d that are subsequently used as the measure-
reason for choosing p ∼ 0.7 is that this choice allows us ment settings. Of course, due to experimental imper-
to investigate a range of angles between the directions fections, the actual experimental values αexp , βexp deter-
a and b, by varying the directions c and d. In return, mined from the measurements of c, d chosen in this way
the maximum possible angle between a and b we can may not necessarily saturate the bound in (3). However,
achieve is about 2θ = 50◦ . If one would want to per- we are able to saturate this bound within experimen-
form a joint measurement of maximally complementary tal error bars from Poissonian photon counting statistics.
observables, this can only be achieved with p = 1/2. Con- Note that for this scheme it would suffice to use a clas-
versely, p = 1/2 would always result in a measurement of sical random selection of the measurement, and this is
two maximally complementary spin-1/2 observables; by equivalent to the toss of an unbalanced classical coin.
varying the directions c and d, one can in that case vary We perform three sets of experiments using pairs a, b,
4
(b)
(c) (d)
FIG. 3. Experimental results: (a) Input state tomog- FIG. 4. Experimental values of (a) α and (b) β as func-
raphy. Tomography has been performed in the the “C mea- tions of θ, plotted with the corresponding theoretical values.
surement” arm of the apparatus as well as the “D measure- (c) Product of experimental variances for the sharp measure-
ment” arm resulting in state reconstructions having fidelity ments. (d) Product of experimental variances for the joint
F = 99.9993(2)% confirming that the measurement bases measurements and their comparison with theory.
are well calibrated to each other. (b) Sharpness of the
joint measurement. RHS of (3) as a function of θ, where
θ = arccos(|a · b|)/2, with error bars determined only by Pois- METHODS
son statistics of raw count rates for three sets of experiments
each corresponding to a, b defining a distinct plane on the
Bloch sphere (see Fig. 5). Each data point is an average of We ensure a true single-photon implementation by ex-
100 runs, each of which involved the detection of ∼ 1.5 × 104 ploiting a heralded source of single photons consisting of
heralded single photons. The solid black line represents the a microstructured photonic crystal fibre (PCF) exploiting
quantum limit. Data below this line are forbidden by quan- birefringent phase-matching [26, 27] to produce photon
tum theory.
pairs via spontaneous four-wave mixing (SFWM). This
source is pumped by a pulsed Ti-Sapphire laser with a
repetition rate of 80 MHz. The fiber is highly birefringent
(∆n = 4 × 10−4 ) with phase-matching conditions lead-
ing to generation of signal-idler pairs with polarization
orthogonal to that of the pump. In addition to this bire-
with a kept constant as the z direction, and varying b fringence, the waveguide contributions to the dispersion
to traverse θ = 1, . . . , 25°, along a different plane on the can be used to tailor the SFWM for generation of natu-
Bloch sphere for each experiment corresponding to az- rally narrowband, spectrally uncorrelated photons when
imuthal angles φ1 = −160.7°, φ2 = −51.6°, φ3 = 83.7°, pumped with Ti-Sapphire laser pulses at the flat region of
for experiments 1, 2 and 3, respectively. For our exper- the phase-matching curves (λpump ' 726 nm) where the
iments, we chose as input state the eigenstate of a · σ̂, idler photons (λi = 871 nm) are group-velocity matched
denoted |ai, which coincides with the “|0i” state. We to the pump pulse so that they become spectrally broad
carry out the measurements of c · σ̂ and d · σ̂, by measur- (∆λi = 2.2 nm) while the signal photons (λs = 623 nm)
ing in the correpondng polarization bases using appro- are intrinsically narrow-band (∆λs = 0.3 nm). This nar-
priate settings of the half-wave plates and quarter-wave rowband phase-matching results in a highly separable
plates and subsequent measurement in the {|Hi, |V i} joint-spectral amplitude for a wide range of pump band-
polarization basis using a polarizing beam splitter and widths, thereby enabling the generation of single pho-
fiber-coupled single-photon detectors. Using coincidence tons of high state purity. Although the fibre source is
detection with idler photons as heralds, we are able to in a Sagnac-loop configuration allowing for generation of
register any of the four possible outcomes for each her- entangled states when the pump pulse is set to diago-
alded photon going through the measurement circuit (see nal polarization and split at the polarising beam-splitter
Fig. 2). (Fig. 2), we use horizontally polarised pump pulses so
5
FIG. 5. Examples of pairs of incompatible observables used in the experiments. Spin directions a,b (states
|ai,|bi) defining the incompatible observables, along with c, d (states |ci,|di) for implementing their joint measurements with
(a) θ = 13° in experiment 1 (b) θ = 25° in experiment 1 (c) θ = 13° in experiment 2 (d) θ = 25° in experiment 2 (e)
θ = 13° in experiment 3 (f) θ = 25° in experiment 3. For the experiments, a is kept constant and b is varied such that
θ ≡ arccos(|a · b|)/2 = 1, 4, 7, . . . , 25°, for each of the three sets of experiments, corresponding to azimuthal angles φ1 = −160.7°,
φ2 = −51.6°, φ3 = 83.7°, for experiments 1, 2 and 3, respectively.
that the PCF is pumped in only one direction for use as This allows us to obtain experimental values of α, β
a heralded single-photon source. which directly indicates by how much the sharpnesses
are worsened solely by the fact that the measurement is
joint, and to evaluate the LHS of relation (3), which we
RESULTS plot as a function of θ in Fig. 3(b) as our main result.
Fig. 4 shows α, β and the product of total variances for
Let the heralded detector count rates corresponding to separate (sharp) and joint measurements. The ideal the-
C = ±1 and D = ±1 be C± and D± , respectively. From oretical product of total “intrinsic” variances for sharp
these, we determine the experimental expectation values measurements is zero, as indicated by the solid black line
as in Fig. 4(c), since the measured state is an eigenstate of
a · σ̂, while that for the joint measurements (determined
C+ − C − D+ − D−
hĈi = , hD̂i = . (10) by the incompatibility of the jointly measured observ-
C+ + C− D+ + D− ables, and parametrised by θ) is plotted with the black
filled circles in Fig. 4(d). Fig. 5 shows examples of pairs
Using this in (6), and using the value of p = 0.670(1)
of spin directions a, b, c, d used in the sets of experi-
obtained from total count rates in the C, and D channels,
ments. Also, shown in Fig. 6 are the expectation values
the experimental joint-measurement expectations values
for the individual “sharp” measurements of a · σ̂, b · σ̂,
are then obtained directly according to (6).
and expectation values resulting from the implemented
To benchmark the performance of the implemented
joint-measurement strategy.
joint measurements, we also perform separate sharp mea-
surements of the incompatible observables a · σ̂, b · σ̂.
Again, if we denote the detector count rates correspond-
DISCUSSION
ing to A = ±1 and B = ±1 as A± and B± , respectively,
the expectations values for the sharp measurements are
The non-ideal experimental values of ∆2 A∆2 B, rather
A+ − A− B+ − B− than the joint measurement strategy, is accountable for
ha · σ̂i = , hb · σ̂i = . (11)
A+ + A− B+ + B− the deviation of the ∆2 Aj ∆2 Bj from the ideal value be-
6
FIG. 6. Expectation values for the individual “sharp” and joint measurements. For the three experiments, the
plots show expectation values for sharp measurements of (a) a · σ̂ and (b) b · σ̂, (c) c · σ̂ and (d) d · σ̂, and expectation values
for the joint measurements (e) Aj and (f) Bj . Also plotted for comparison are the ideal theoretical predictions, which do not
include the effects of experimental imperfections.
cause, as seen in Fig. 3, the contribution purely due to work demonstrates how to fully implement joint measure-
the jointedness of the measurement is at the quantum ments of non-commuting spin-1/2 (or qubit) observables
limit. in an optimal way, and with less quantum resources than
We see that, even without making any other correc- often employed previously.
tions for experimental imperfections, our results verge
on the quantum mechanical limit of how much vari- Acknowledgements: This work was funded by
ances must increase due to performing the quantum mea- the Future Emerging Technologies (FET)-Open FP7-
surements jointly. This is thanks to the simplicity of 284743 project Spin Photon Angular Momentum Trans-
the scheme, the brightness of the heralded single-photon fer for Quantum Enabled Technologies (SPANGL4Q)
source which reduced the effect of Poissonian noise, and and the Engineering and Physical Sciences Research
the precise calibration of the two measurement setups Council (EPSRC) (EP/L024020/1, EP/M024156/1,
with each other with a fidelity of 99.9993(2)%. We em- EP/N003381/1 and EP/M024458/1).
phasise that the quantity ∆2α ∆2β is extremely sensitive to
experimental error and has no upper bound.
In conclusion, we have demonstrated an optimal joint
measurement scheme that does not use filtering or post- ∗
adetunmise.dada@bristol.ac.uk
selection, nor does it need entangling interactions with [1] W. Heisenberg. “Über den anschaulichen Inhalt der
an ancilla. A true joint measurement of two observ- quantentheoretischen Kinematik und Mechanik”,
ables performed on a single qubit or spin- 21 system should Zeitschrift für Physik, Zeitschrift für Physik A Hadrons
have four possible outcomes for each qubit measured, as and Nuclei 43, 172 (1927).
[2] H. P. Robertson. “The Uncertainty Principle”, Physical
is now demonstrated here. The non-requirement for 2- Review 34, 163 (1929).
dimensional arrays of (single)-photon detectors, as often [3] E. Schrödinger. “About Heisenberg Uncertainty Rela-
used in weak-measurement-based setups, also makes our tion”, Sitzungsber. Preuss. Akad. Wiss. Berlin (Math.
scheme easier to implement. The implemented scheme Phys.) 19, 296 (1930).
can easily be applied to other qubit degrees of freedom [4] E. Arthurs and J. Kelly Jr. “On the simultaneous mea-
and other two-level quantum systems, since standard pro- surement of a pair of conjugate observables”, Bell System
Technical Journal 44, 725 (1965).
jective measurements and flips of unbalanced classical
[5] E. Arthurs and M. Goodman. “Quantum correlations:
“coins’”are generally easy to implement. It would be of A generalized Heisenberg uncertainty relation”, Physical
interest to extend this scheme to joint measurement of Review Letters 60, 2447 (1988).
incompatible observables of higher-dimensional systems [6] S. Stenholm. “Simultaneous measurement of conjugate
(qudits), or of multiple incompatible observables. This variables”, Annals of Physics 218, 233 (1992).
7
[7] M. J. Hall. “Prior information: How to circumvent the tainty”, Physical Review Letters 112, 020401 (2014).
standard joint-measurement uncertainty relation”, Phys- [18] F. Kaneda, S.-Y. Baek, M. Ozawa, and K. Edamatsu.
ical Review A 69, 052113 (2004). “Experimental Test of Error-Disturbance Uncertainty
[8] M. Ozawa. “Universally valid reformulation of the Relations by Weak Measurement”, Physical Review Let-
Heisenberg uncertainty principle on noise and distur- ters 112, 020402 (2014).
bance in measurement”, Physical Review A 67, 042105 [19] T. Xiong, L. Yan, Z. Ma, F. Zhou, L. Chen, W. Yang,
(2003). M. Feng, and P. Busch. “Optimal joint measurements
[9] P. Busch, P. Lahti, and R. F. Werner. “Proof of Heisen- of complementary observables by a single trapped ion”,
berg’s error-disturbance relation”, Physical Review Let- New Journal of Physics 19, 063032 (2017).
ters 111, 160405 (2013). [20] T. Brougham, E. Andersson, and S. M. Barnett.
[10] P. Busch. “Unsharp reality and joint measurements for “Cloning and joint measurements of incompatible com-
spin observables”, Physical Review D 33, 2253 (1986). ponents of spin”, Physical Review A 73, 062319 (2006).
[11] P. Busch, M. Grabowski, and P. J. Lahti, Operational [21] G. Thekkadath, R. Saaltink, L. Giner, and J. Lundeen.
Quantum Physics (Springer, 2001). “Determining Complementary Properties with Quantum
[12] P. Busch, P. Lahti, and R. F. Werner. “Heisenberg un- Clones”, Physical Review Letters 119, 050405 (2017).
certainty for qubit measurements”, Physical Review A [22] E. Andersson, S. M. Barnett, and A. Aspect. “Joint mea-
89, 012129 (2014). surements of spin, operational locality, and uncertainty”,
[13] J. Erhart, S. Sponar, G. Sulyok, G. Badurek, M. Ozawa, Physical Review A 72, 042104 (2005).
and Y. Hasegawa. “Experimental demonstration of a uni- [23] P. Busch. “Some realizable joint measurements of com-
versally valid error–disturbance uncertainty relation in plementary observables”, Foundations of Physics 17, 905
spin measurements”, Nature Physics 8, 185 (2012). (1987).
[14] M. M. Weston, M. J. Hall, M. S. Palsson, H. M. Wise- [24] S. M. Barnett. “Quantum information via novel measure-
man, and G. J. Pryde. “Experimental test of univer- ments”, Philosophical Transactions of the Royal Society
sal complementarity relations”, Physical Review Letters of London A: Mathematical, Physical and Engineering
110, 220402 (2013). Sciences 355, 2279 (1997).
[15] G. Sulyok, S. Sponar, J. Erhart, G. Badurek, M. Ozawa, [25] Equivalently, we can assume that the measurement re-
and Y. Hasegawa. “Violation of Heisenberg’s error- sults are ±1/α.
disturbance uncertainty relation in neutron-spin mea- [26] M. Halder, J. Fulconis, B. Cemlyn, A. Clark, C. Xiong,
surements”, Physical Review A 88, 022110 (2013). W. J. Wadsworth, and J. G. Rarity. “Nonclassical 2-
[16] L. A. Rozema, A. Darabi, D. H. Mahler, A. Hayat, photon interference with separate intrinsically narrow-
Y. Soudagar, and A. M. Steinberg. “Violation of Heisen- band fibre sources”, Optics Express 17, 4670 (2009).
berg’s measurement-disturbance relationship by weak [27] A. Clark, B. Bell, J. Fulconis, M. M. Halder, B. Cemlyn,
measurements”, Physical Review Letters 109, 100404 O. Alibart, C. Xiong, W. J. Wadsworth, and J. G. Rarity.
(2012). “Intrinsically narrowband pair photon generation in mi-
[17] M. Ringbauer, D. N. Biggerstaff, M. A. Broome, crostructured fibres”, New Journal of Physics 13, 065009
A. Fedrizzi, C. Branciard, and A. G. White. “Experimen- (2011).
tal Joint Quantum Measurements with Minimum Uncer-