Abstract
In quantum mechanics, predictions are made by way of calculating expectation values of observables, which take the form of Hermitian operators. Non-Hermitian operators, however, are not necessarily devoid of physical significance, and they can play a crucial role in the characterization of quantum states. Here we show that the expectation values of a particular set of non-Hermitian matrices, which we call column operators, directly yield the complex coefficients of a quantum state vector. We provide a definition of the state vector in terms of measurable quantities by decomposing these column operators into observables. The technique we propose renders very-large-scale quantum states significantly more accessible in the laboratory, as we demonstrate by experimentally characterizing a 100,000-dimensional entangled state. This represents an improvement of two orders of magnitude with respect to previous phase-and-amplitude characterizations of discrete entangled states.
Similar content being viewed by others
Introduction
One of the current challenges in the field of computing is harnessing the potential processing power provided by quantum devices that exploit entanglement. Experimental research aimed at overcoming this challenge is driven by the production, control and detection of larger and larger entangled quantum states1,2,3,4. However, the task of characterizing these entangled states quickly become intractable as the number of parameters that define a many-body system scales exponentially with the system size. To keep up with the ever-growing quantum state dimensionality, much effort is put into developing efficient characterization methods5,6,7,8,9,10,11,12,13,14,15,16,17,18,19.
Quantum state tomography is the process of retrieving the values that define a quantum system. The process typically involves two steps: (i) gathering an informationally complete set of data and (ii) finding the quantum state most consistent with the data set using post-measurement processing such as the algorithm for maximum-likelihood estimation20. Many efficient tomographic methods capitalize on the first step by making simplifying assumptions about the state11,12,13,14,15,16,17,18,19, thus reducing the number of measurements required to uniquely identify it. In particular, tomography via compressed sensing allows one to efficiently reconstruct quantum states based on the fact that low-rank density matrices, that is, quasi-pure states are sparse in a particular basis15,16,17,21. Compared with assumption-free tomography, compressive sensing provides a square-root improvement on the required number of measurements10. This improvement enabled the reconstruction of the density matrices of a six-qubit state16 and a (17 × 17)-dimensional state17, the largest phase-and-amplitude measurement of an entangled state reported to date. Although compressed sensing does not make use of maximum-likelihood estimation, it does require non-trivial post-measurement processing.
Recently, Lundeen et al.19 reported on the direct measurement of a wavefunction using a method that, for the first time, required no complicated post-measurement processing. Their method is based on weak measurements, whereby one weakly couples a quantum system to a pointer state and subsequently performs a few standard strong measurements on the pointer state. The outcome of a weak measurement is known as the ‘weak value’, and in the conditions exposed in ref. 19, the weak value is proportional to a given state vector coefficient. The method of Lundeen et al. can be used in combination with the assumption that the quantum state at hand is pure, providing the same square-root improvement as compressed sensing. Variations on the original scheme allow measurements of mixed states and increased detection efficiency22,23,24.
An important contribution of the work by Lundeen et al. was to link the state vector elements to the expectation value of weak measurements. We take a different approach, and point out that the enabling feature that allows access to the complex state vector is not weak measurement but the use of particular non-Hermitian operators. Although weak measurements provide a way to decompose these non-Hermitian operators, it is not the only suitable approach. Moreover, the introduction of weak values in the measurement procedure adds complexity to the experiment and the formalism that links weak values to measurement outcomes involves an approximation that breaks down in a variety of circumstances24,25,26.
In this paper, we propose an alternative approach to the direct measurement of quantum states that is exact in the case of pure states, proves to be reliable in the presence of noise, and is consistent with results obtained with well-established tomographic techniques. The key principle of our formalism is to decompose the particular non-Hermitian matrices that yield the complex state vector coefficients using only observables. Our method therefore only requires strong measurements, as in standard tomography, while maintaining the directness of weak-value-assisted tomography. The simplicity in both the experimental procedure and post-measurement processing renders our method ideally suited for the characterization of large-scale systems, which can be high-dimensional, many-body or both. We begin by developing the theory on which our method is based and then demonstrate the potential of this scheme by experimentally retrieving the complex coefficients of a (341 × 341)-dimensional entangled state.
Results
Theory
Consider a quantum system in a d-dimensional Hilbert space, whose state vector
is expanded in the basis {|j〉} and where cj are unknown complex expansion coefficients. To retrieve these coefficients, we introduce the column operators , where |a〉 is an arbitrary reference vector. Each column operator has an expectation value
which is proportional to a complex state vector expansion coefficient. Since the value of is independent of j, we can express the state vector in terms of the column operators up to a phase factor:
where is a normalization constant. We can ignore the phase factor eiφ since it bears no physical significance.
Most column operators are not Hermitian matrices and are thus not observables. To overcome this apparent constraint, we recognize that any non-Hermitian matrix can be constructed from a complex-weighted sum of Hermitian matrices. Hence, the crucial step to our method is to construct the column operators in terms of measurable quantities: , where wjq are complex weights and are observables. As a result, this allows us to retrieve any state vector element with a complex-weighted sum of measurement outcomes:
Equation 4 is an exact definition of the pure state vector that is provided in terms of measurable quantities. The above formalism readily applies to a general class of quantum states, including high-dimensional and many-body systems.
As an example, consider the case of a qubit with |a〉=|0〉 as the reference vector. The first column operator is Hermitian and given by the projector |0〉〈0|. The second column operator is not Hermitian but can be constructed a number of ways. The first construction—which, as pointed out earlier, is a key part of the weak value formalism—is the complex-weighted sum of Pauli matrices: , a decomposition that requires two observables, each of which is made of two projectors or eigenvectors. A second decomposition requiring only three projectors is given by
where are the states onto which the observables project. In both cases, the qubit state vector is exactly given by .
Experiment
To demonstrate the power and scalability of our scheme, we apply it to the measurement of a state entangled in greater than 100,000 dimensions. We provide a complete characterization of the spatially entangled two-photon field produced through spontaneous parametric downconversion (SPDC). In general, SPDC can give rise to spatial and frequency correlations between two photons4,27,28,29,30,31,32,33,34,35,36. The purity of the spatial part of the full state can only be guaranteed if the two types of correlations are completely decoupled, which can be achieved in the collinear regime27—see Supplementary Note 1 for a theoretical estimation of our system purity. The consequences of applying our scheme to a quantum state with non-unit purity, which is always the case in the presence of noise, will be discussed below.
We express the spatial part of the entangled state in a discrete cylindrical basis of transverse spatial modes. The azimuthal part of the modes is given by , where is an integer between −∞ and ∞ and φ is the azimuthal angle. This type of phase profile is known to carry units of orbital angular momentum (OAM). We decompose the radial part of the field with the recently introduced Walsh modes, labelled by the integer k ranging from 0 to ∞ (ref. 34). The Walsh modes all have the same Gaussian amplitude envelope, but different π-steps radial phase profiles. Combining the OAM modes with the Walsh modes yields a complete basis for coherent two-dimensional images. To perform the characterization of the two-photon spatial field, we consider 31 OAM modes and 11 Walsh modes for each photon. The state vector thus takes the form
Using the column-operator decomposition described in the Methods section, we sequentially measure all 116,281 coefficients , which are shown in Fig. 1a,b. The total Hilbert space dimensionality of this measured state is more than two orders of magnitude larger than any previously reported amplitude-and-phase-characterized discrete entangled state17. As a simple verification of the accuracy of our method, we calculate the probabilities associated with each joint mode via the Born rule, , as shown in Fig. 1c. This result is consistent with the directly measured correlation matrix shown in Fig. 1e, showing that we retrieve the correct magnitude of the amplitudes.
To rigorously assess the validity of the directly measured complex quantum state , that is, both the amplitudes and the phases, we compare it to the results obtained through full tomography (that is, assumption-free tomography); see Supplementary Note 2 for details of the algorithm used to retrieve the density matrix. As full tomography cannot be performed on a (341 × 341)-dimensional entangled state in a reasonable time, we characterize a (5 × 5)-dimensional subset of the SPDC two-photon state. We perform the comparison in a basis of various OAM modes (, ) and a fixed radial Walsh mode (k1=k2=0). The total number of unknown parameters in the corresponding density matrix is equal to 624. After performing the direct measurement procedure in this basis, we record 8,000 random projective measurements that we break into eight sets of 1,000. For each set, we recover a density matrix ρexp and calculate its purity and the fidelity with the directly measured state ; fidelity is defined as. On average, the purity calculation yields (0.96±0.02), and the fidelity gives (0.985±0.004), where the uncertainties correspond to one standard deviation. After reconstruction of a density matrix, we find that the average error between the measured count rates and the count rates predicted by the density matrix is 5.5%. This can be explained by shot noise, the pixelated nature of the spatial light modulator (SLM), and the finite aperture of the optical elements. While we expect unit purity, the 5% noise level accounts for the discrepancy with the measured value.
Simulation with mixed states
The extremely high fidelity between the tomography results ρexp and the directly measured state indicates the validity of our approach for quantum state measurements applied to near pure states. To evaluate our method in the context of mixed states, we perform a series of numerical simulations where we vary the rank, purity and dimension of an unknown state ρsim, where no sources of noise are added to the simulated measurement outcomes. We apply our direct measurement procedure to these states and calculate the fidelity , where is the eigenvector of ρsim with the largest eigenvalue. For initial states ρsim with purity >0.81, we measure a fidelity >0.99 in at least 99% of the cases. The dependency of this result on the dimensionality of the state is negligible. This result indicates that our direct method enables the extraction of the density matrix primary eigenvector, even for a partially mixed state. Full details of this analysis and the density matrix reconstruction are presented in the Supplementary Note 1.
Discussion
Knowledge of the amplitude and phase of the state vector elements allows us to perform otherwise inaccessible calculations. As an example, we perform a calculation of the Schmidt decomposition37. This is equivalent to the singular value decomposition for the case of optical transfer matrices. The Schmidt decomposition yields a new joint basis, in which the photons are perfectly correlated and where the joint modes have equal phases, as shown in Fig. 1d. When the Schmidt decomposition is applied to the entire state, we calculate a number of Schmidt modes equal to 142; this represents the effective number of independent joint modes contained within the state (the maximum for a (341 × 341)-dimensional state being 341). The Schmidt decomposed two-photon field is a good candidate for the violation of very high-dimensional Bell inequalities29. Further details on the Schmidt decomposition can be found in the Supplementary Note 3.
There are a number of approaches to reducing the necessary cost and effort for measuring large-scale quantum states. These include, but are not limited to, developing technologies for mode sorting38 and arbitrary unitary transformations39,40, reducing the required number of measurement settings, and circumventing the requirement for reconstruction procedures. It is clear that there is significant interplay between each of these approaches. The theoretical implementation of an approach that combines the principles of our work with generalized measurements, such as positive operator value measures, is considered in the Supplementary Note 4. The ability to use positive operator value measures in the laboratory relies on the aforementioned technologies. Access to these types of technologies would reduce the overall number of measurement settings to uniquely recover a quantum state. However, such a system requires arbitrary unitary transformations for spatial states, which is in itself an active area of research38,39,40. Given the limitations of mode sorters for very large dimensions, and the practical nature of projective measurements, our scheme provides a simple and elegant method for the characterization of large-scale quantum states.
Our scheme allows direct access to the complex coefficients that define large-scale quantum states. The main result of our work is a novel method for retrieving a state vector coefficient with a complex-weighted sum of strong measurement outcomes. One challenge in reconstructing a quantum state from measurement outcomes lies in data processing; our scheme trades the difficulty of data processing for theoretical analysis before the experiment, that is, finding the measurements one has to perform. We anticipate that our work will have an impact on a number of disciplines, for example, quantum parameter estimation, measurement in quantum computing, quantum information and metrology.
Methods
Experiment
The two-photon field is generated via SPDC with a 405-nm laser diode pumping a 1-mm-long periodically poled KTP (PPKTP) crystal with 50 mW of power. The experimental set-up is shown in Fig. 2. We separate the two photons with a right-angle prism and image the plane of the crystal to a Holoeye SLM with a magnification of −10. We simultaneously display two holograms, one on each side of the SLM, to control the amplitude and phase profiles of the two photons independently. To make projective measurements of superposition modes, we make use of intensity masking41. We image the plane of the SLM with a magnification of −1/2,500 to two single-mode fibres. The combination of the SLM and singles mode fibres allows us to make arbitrary projective measurements. All measurements are performed in coincidence with two single-photon avalanche detectors, with a timing window of 25 ns, an integration time of 1 s for modes outside the diagonal and 20 s for the diagonal elements ( and k1=k2). We start an automatic alignment procedure with the SLM every 4 hours to compensate for drift. Including the time it takes to calculate and display a hologram (about 1 s), the entire experiment takes 2 weeks; assumption-free tomography would take more than four centuries at the same acquisition rate. We perform no background subtraction and use the fundamental mode as the reference vector |a〉. The count rate of the fundamental mode is approximately 900 coincidences per second and varies by 10% over 24-h periods. To correct for long-term drift, we normalize each outcome to the count rate of the fundamental mode, which we measure before the measurement of each column operator. In standard tomography, the calculation of error bounds on the measured state is not a straightforward task42. Here, we can calculate the error bound on a given coefficient with a weighted sum of the detector counts used to retrieve it. For a given state vector coefficient, the errors on the amplitude |cj| and phase arg(cj) are both inversely proportional to the overlap ν of the reference vector with the quantum state. To minimize the errors, it is important to choose a reference vector that has a high probability of occurrence within the state—the fundamental mode is the most probable one in our case.
Two-body column-operator decomposition
To decompose a given state vector coefficient into a set of measurement outcomes, we need to find a projector decomposition of the corresponding column operator , as in equation 4. We numerically find this column-operator decomposition, that is, the complex weights wq and the observables , using the differential evolution algorithm (see Supplementary Note 5). By inspection, we find that the corresponding analytical form of the state vector coefficients is given by
where with m={1, 2}, and is a normalization constant. This decomposition is only valid when the state of any photon is different from the reference vector, that is, . Each coefficient measured with the above column-operator decomposition requires five projective measurements, thus explaining the 5D2 scaling, where D is the Hilbert space dimensionality of a single particle. The protocol scales much more favourably than assumption-free tomography, which requires D4 projections.
Here, we briefly explain our protocol for measuring the entire SPDC state vector. We measure more than 99% of the coefficients using the decomposition of equation 7. The remaining column operators are the special cases and , which respectively correspond to a row and a column of the result shown in Fig. 1a. These column operators can be decomposed into only three joint local measurements using the projector |0, 0〉〈0, 0| on one system and a column-operator decomposition similar to that of equation 5 on the other system. Finally, the column operator |0, 0〉〈0, 0|⊗|0, 0〉〈0, 0| is a projector, and its expectation value can be measured in a single experimental configuration.
Full quantum tomography
We perform full tomography with high count rates in order to achieve high accuracy. We set the magnification between the plane of the SLM and that of the single-mode fibres to 1/400. In this condition, we obtain a count rate of approximately 18,000 counts per second for the fundamental mode and integrate over 1 s for each individual projective measurement. The increase in the count rate of the fundamental mode comes at the price of lower count rates for high order modes. Regarding the full tomography measurements, we take an overcomplete set of 1,000 random projective measurements in a (5 × 5)-dimensional space. To minimize high-frequency components on the SLM, we limit the random superpositions to two-dimensional subsets of the state space.
Additional information
How to cite this article: Bolduc, E. et al. Direct measurement of large-scale quantum states via expectation values of non-Hermitian matrices. Nat. Commun. 7:10439 doi: 10.1038/ncomms10439 (2016).
References
Monz, T. et al. 14-Qubit entanglement: creation and coherence. Phys. Rev. Lett. 106, 130506 (2011).
Yao, X. C. et al. Observation of eight-photon entanglement. Nat. Photon. 6, 225–228 (2012).
Yokoyama, S. et al. Ultra-large-scale continuous-variable cluster states multiplexed in the time domain. Nat. Photon. 7, 982–986 (2013).
Krenn, M. et al. Generation and confirmation of a (100 × 100)-dimensional entangled quantum system. Proc. Natl Acad. Sci. USA 111, 6243–6247 (2014).
Smith, B. J., Killett, B., Raymer, M. G., Walmsley, I. A. & Banaszek, K. Measurement of the transverse spatial quantum state of light at the single-photon level. Opt. Lett. 30, 3365–3367 (2005).
Bogdanov, Y. I. et al. Statistical estimation of the efficiency of quantum state tomography protocols. Phys. Rev. Lett. 105, 010404 (2010).
Mahler, D. H. et al. Adaptive quantum state tomography improves accuracy quadratically. Phys. Rev. Lett. 111, 183601 (2013).
Teo, Y. S., Řeháček, J. & Hradil, Z. Informationally incomplete quantum tomography. Quant. Meas. Quant. Metrol 1, 57–83 (2013).
Ferrie, C. Self-guided quantum tomography. Phys. Rev. Lett. 113, 190404 (2014).
Banaszek, K., Cramer, M. & Gross, D. Focus on quantum tomography. New J. Phys. 15, 125020 (2013).
Shabani, A. et al. Efficient measurement of quantum dynamics via compressive sensing. Phys. Rev. Lett. 106, 100401 (2011).
Flammia, S. T., Silberfarb, A. & Caves, C. M. Minimal informationally complete measurements for pure states. Found. Phys. 35, 1985–2006 (2005).
Cramer, M. et al. Efficient quantum state tomography. Nat. Commun. 1, 149 (2010).
Tóth, G. et al. Permutationally invariant quantum tomography. Phys. Rev. Lett. 105, 250403 (2010).
Gross, D., Liu, Y.-K., Flammia, S. T., Becker, S. & Eisert, J. Quantum state tomography via compressed sensing. Phys. Rev. Lett. 105, 150401 (2010).
Schwemmer, C. et al. Experimental comparison of efficient tomography schemes for a six-qubit state. Phys. Rev. Lett. 113, 040503 (2014).
Tonolini, F., Chan, S., Agnew, M., Lindsay, A. & Leach, J. Reconstructing high-dimensional two-photon entangled states via compressive sensing. Sci. Rep. 4, 6542 (2014).
Lloyd, S., Mohseni, M. & Rebentrost, P. Quantum principal component analysis. Nat. Phys. 10, 631–633 (2014).
Lundeen, J. S., Sutherland, B., Patel, A., Stewart, C. & Bamber, C. Direct measurement of the quantum wavefunction. Nature 474, 188–191 (2012).
Banaszek, K., D’Ariano, G. M., Paris, M. G. A. & Sacchi, M. F. Maximum-likelihood estimation of the density matrix. Phys. Rev. A 61, 10304 (2000).
Liu, W.-T., Zhang, T., Liu, J.-Y., Chen, P.-X. & Yuan, J.-M. Experimental quantum state tomography via compressed sampling. Phys. Rev. Lett. 108, 170403 (2012).
Bamber, C. & Lundeen, J. S. Observing Dirac’s classical phase space analog to the quantum state. Phys. Rev. Lett. 112, 070405 (2014).
Wu, S. State tomography via weak measurements. Sci. Rep. 3, 1193 (2013).
Salvail, J. Z. et al. Full characterization of polarization states of light via direct measurement. Nat. Photon. 7, 1–6 (2013).
Duck, I. M., Stevenson, P. M. & Sudarshan, E. C. G. The sense in which a ‘weak measurement’ of a spin 1/2 particle’s spin component yields a value 100. Phys. Rev. A 40, 2112–2117 (1989).
Malik, M. et al. Direct measurement of a 27-dimensional orbital-angular-momentum state vector. Nat. Commun. 5, 3115 (2014).
Osorio, C. I., Valencia, A. & Torres, J. P. Spatiotemporal correlations in entangled photons generated by spontaneous parametric down conversion. New J. Phys. 10, 113012 (2008).
Miatto, F. M., Yao, A. M. & Barnett, S. M. Full characterization of the quantum spiral bandwidth of entangled biphotons. Phys. Rev. A 83, 033816 (2011).
Dada, A. C., Leach, J., Buller, G. S., Padgett, M. J. & Andersson, E. Experimental high-dimensional two-photon entanglement and violations of generalized Bell inequalities. Nat. Phys. 7, 1–4 (2011).
Agnew, M., Leach, J., McLaren, M., Roux, F. S. & Boyd, R. W. Tomography of the quantum state of photons entangled in high dimensions. Phys. Rev. A 84, 062101 (2011).
Leach, J., Bolduc, E., Gauthier, D. J. & Boyd, R. W. Secure information capacity of photons entangled in many dimensions. Phys. Rev. A 85, 060304 (2012).
Salakhutdinov, V. D., Eliel, E. R. & Löffler, W. Full-field quantum correlations of spatially entangled photons. Phys. Rev. Lett. 108, 173604 (2012).
Tasca, D. S. et al. Imaging high-dimensional spatial entanglement with a camera. Nat. Commun. 3, 3:984 (2012).
Geelen, D. & Löffler, W. Walsh modes and radial quantum correlations of spatially entangled photons. Opt. Lett. 38, 4108–4111 (2013).
Mosley, P. J., Lundeen, J. S., Smith, B. J. & Walmsley, I. A. Conditional preparation of single photons using parametric downconversion: a recipe for purity. New J. Phys. 10, 093011 (2008).
Osorio, C. I., Sangouard, N. & Thew, R. T. On the purity and indistinguishability of down-converted photons. J. Phys. B: At. Mol. Opt. Phys. 46, 055501 (2013).
Ekert, A. & Knight, P. L. Entangled quantum systems and the Schmidt decomposition. Am. J. Phys. 63, 415–423 (1995).
Berkhout, G. C. G. et al. Efficient sorting of orbital angular momentum states of light. Phys. Rev. Lett. 105, 153601 (2010).
Morizur, J.-F. et al. Programmable unitary spatial mode manipulation. J. Opt. Soc. Am. A Opt. Image Sci. Vis. 27, 2524–2531 (2010).
Miller, D. Reconfigurable add-drop multiplexer for spatial modes. Opt. Express 21, 20220–20229 (2013).
Bolduc, E., Bent, N., Santamato, E., Karimi, E. & Boyd, R. W. Exact solution to simultaneous intensity and phase encryption with a single phase-only hologram. Opt. Lett. 38, 3546–3549 (2013).
Christandl, M. & Renner, R. Reliable Quantum State Tomography. Phys. Rev. Lett. 109, 120403 (2012).
Boyd, R. W. Intuitive explanation of the phase anomaly of focused light beams. J. Opt. Soc. Am. 70, 877–880 (1980).
Acknowledgements
E.B. and G.G. acknowledge the financial support of the FQRNT, grants #176729 and #173779. J.L. acknowledges the financial support of the Engineering and Physical Sciences Research Council (EPSRC, UK, Grants EP/M006514/1 and EP/M01326X/1). We thank Erik Gauger and George Knee for helpful discussions and feedback.
Author information
Authors and Affiliations
Contributions
E.B. conceived the method. E.B. and G.G. developed the theory. E.B. and J.L. designed and performed the experiment and analysed the data. J.L. provided guidance throughout the project. All authors contributed to the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Supplementary information
Supplementary Information
Supplementary Figures 1-6, Supplementary Notes 1- 5 and Supplementary References. (PDF 620 kb)
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Cite this article
Bolduc, E., Gariepy, G. & Leach, J. Direct measurement of large-scale quantum states via expectation values of non-Hermitian matrices. Nat Commun 7, 10439 (2016). https://doi.org/10.1038/ncomms10439
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/ncomms10439
- Springer Nature Limited
This article is cited by
-
Demonstration of the quantum principle of least action with single photons
Nature Photonics (2023)
-
Time-dependent exchange creates the time-frustrated state of matter
Scientific Reports (2022)
-
Direct state measurements under state-preparation-and-measurement errors
Quantum Information Processing (2021)
-
Quantifying entanglement in a 68-billion-dimensional quantum state space
Nature Communications (2019)
-
Scalable on-chip quantum state tomography
npj Quantum Information (2018)