We analyze the fundamental resolution of incoherent optical point sources from the perspective of a quantum detection problem: deciding whether the optical field on the image plane is generated by one source or two weaker sources with arbitrary separation. We investigate the detection performances of two measurement methods recently proposed by us to enhance the estimation of the separation. For the detection problem, we show that the method of binary spatial-mode demultiplexing is quantum-optimal for all values of separations, while the method of image-inversion interferometry is near-optimal for sub-Rayleigh separations. Unlike the proposal by Helstrom, our schemes do not require the separation to be given and can offer that information as a bonus in the event of a successful detection. For comparison, we also demonstrate the supremacy of our schemes over direct imaging for sub-Rayleigh separations. These results demonstrate that simple linear optical measurements can offer supremal performances for both detection and estimation.
Particles traveling in aligned crystals at small angles w.r.t. crystallographic axes or planes are principally steered by the continuous Lindhard potential. This interaction conserves the energy E, the longitudinal momentum p_parallel, the transverse energy of the particle E_perp and is elastic concerning the crystal quantum state. At high enough energy the particle motion is quasi-classical. The time-dependent fluctuations of the positions of the atoms or of the electrons of the crystal create a residual potential, on which the particle can scatter. This interaction does not conserve the prev…
The error in estimating the separation of a pair of incoherent sources from radiation emitted by them and subsequently captured by an imager is fundamentally bounded below by the inverse of the corresponding quantum Fisher information (QFI) matrix. We calculate the QFI for estimating the full three-dimensional (3D) pair separation vector, extending previous work on pair separation in one and two dimensions. We also show that the pair-separation QFI is, in fact, identical to source localization QFI, which underscores the fundamental importance of photon-state localization in determining the ult…
The optimal quantum measurements for estimating individual parameters might be incompatible with each other so that they cannot be jointly performed. The tradeoff between the estimation precision for different parameters can be characterized by information regret -- the difference between the Fisher information and its quantum limit. We show that the information-regret-tradeoff relation can give us not only an intuitive picture of the potential in improving the joint scheme of estimating the centroid and the separation, but also some clues to the optimal measurements for the sequential scheme.…
We analyze the light scattered by a single InAs quantum dot interacting with a resonant continuous-wave laser. High resolution spectra reveal clear distinctions between coherent and incoherent scattering, with the laser intensity spanning over four orders of magnitude. We find that the fraction of coherently scattered photons can approach unity under sufficiently weak or detuned excitation, ruling out pure dephasing as a relevant decoherence mechanism. We show how spectral diffusion shapes spectra, correlation functions, and phase-coherence, concealing the ideal radiatively-broadened two-level…
We establish the multiparameter quantum Cramér-Rao bound for simultaneously estimating the centroid, the separation, and the relative intensities of two incoherent optical point sources using alinear imaging system. For equally bright sources, the Cramér-Rao bound is independent of the source separation, which confirms that the Rayleigh resolution limit is just an artifact of the conventional direct imaging and can be overcome with an adequate strategy. For the general case of unequally bright sources, the amount of information one can gain about the separation falls to zero, but we show that …
We consider the problem of energy transport in a chain of coupled quantum systems with the goal of shedding light on how nonclassical resources can affect transport. We study the cases for which either coherent or incoherent energy hopping takes place in the chain. Here, incoherent energy hopping is referred to as the "classical" scenario in allusion to its fully diagonal dynamics in the basis formed by the eigenstates of the decoupled sites. We focus on the case of a linear chain of two-level sites and find a hopping rate threshold above which the coherent quantum case is more efficient than …
Spatially resolving two incoherent point sources whose separation is well below the diffraction limit dictated by classical optics has recently been shown possible using techniques that decompose the incoming radiation into orthogonal transverse modes. Such a demultiplexing procedure, however, must be perfectly calibrated to the transverse profile of the incoming light as any misalignment of the modes effectively restores the diffraction limit for small source separations. We study by how much can one mitigate such an effect at the level of measurement which, after being imperfectly demultiple…
We study the impact of dephasing on the excitation dynamics of a cloud of ultracold two-level Rydberg atoms for both resonant and off-resonant laser excitation, using the wave function Monte Carlo (MCWF) technique. We find that while for resonant laser driving, dephasing mainly leads to an increase of the Rydberg population and a decrease of the Mandel Q parameter, at off-resonant driving strong dephasing toggles between direct excitation of pairs of atoms and subsequent excitation of single atoms, respectively. These two excitation mechanisms can be directly quantified via the pair correlatio…
Improving axial resolution is crucial for three-dimensional optical imaging systems. Here we present a scheme of axial superresolution for two incoherent point sources based on spatial mode demultiplexing. A radial mode sorter is used to losslessly decompose the optical fields into a radial mode basis set to extract the phase information associated with the axial positions of the point sources. We show theoretically and experimentally that, in the limit of a zero axial separation, our scheme allows for reaching the quantum Cramér-Rao lower bound and thus can be considered as one of the optimal…
We analyze the fundamental quantum limit of the resolution of an optical imaging system from the perspective of the detection problem of deciding whether the optical field in the image plane is generated by one incoherent on-axis source with brightness $ε$ or by two $ε/2$-brightness incoherent sources that are symmetrically disposed about the optical axis. Using the exact thermal-state model of the field, we derive the quantum Chernoff bound for the detection problem, which specifies the optimum rate of decay of the error probability with increasing number of collected photons that is allowed …
We obtain the multiple-parameter quantum Cramér-Rao bound for estimating the transverse Cartesian components of the centroid and separation of two incoherent optical point sources using an imaging system with finite spatial bandwidth. Under quite general and realistic assumptions on the point-spread function of the imaging system, and for weak source strengths, we show that the Cramér-Rao bounds for the $x$ and $y$ components of the separation are independent of the values of those components, which may be well below the conventional Rayleigh resolution limit. We also propose two linear optics…
High-order coherence effects between two first-order incoherent sources with fully independent phases have been well studied in the literature, which shows interference fringes with respect to the position separations among different space points. Here we show that this is not the whole story, and find that the high-order coherence effects depend on the mode of the phase random walk of the first-order incoherent sources, which can be controlled artificially and represented geometrically by vectorial polygons. Interestingly, by scanning the detectors along the same direction with the position s…
A recent paper [Z. Yu and S. Prasad, "Quantum limited superresolution of an incoherent source pair in three dimensions," arXiv:1805.09227v2 [quant-ph] (2018)] considered the problem of quantum limited estimation of the separation vector for a pair of incoherent point sources in all three dimensions. Here we extend our analysis to treat the problem of simultaneously estimating the location of the centroid and the separation of the source pair, which is equivalent to localizing both sources simultaneously. We first calculate the quantum Fisher information for simultaneous pair centroid-separatio…
A novel interferometric method - SLIVER (Super Localization by Image inVERsion interferometry) - is proposed for estimating the separation of two incoherent point sources with a mean squared error that does not deteriorate as the sources are brought closer. The essential component of the interferometer is an image inversion device that inverts the field in the transverse plane about the optical axis, assumed to pass through the centroid of the sources. The performance of the device is analyzed using the Cramér-Rao bound applied to the statistics of spatially-unresolved photon counting using ph…
Rayleigh's criterion for resolving two incoherent point sources has been the most influential measure of optical imaging resolution for over a century. In the context of statistical image processing, violation of the criterion is especially detrimental to the estimation of the separation between the sources, and modern farfield superresolution techniques rely on suppressing the emission of close sources to enhance the localization precision. Using quantum optics, quantum metrology, and statistical analysis, here we show that, even if two close incoherent sources emit simultaneously, measuremen…
When the 4-state or the 6-state protocol of quantum cryptography is carried out on a noisy (i.e. realistic) quantum channel, then the raw key has to be processed to reduce the information of an adversary Eve down to an arbitrarily low value, providing Alice and Bob with a secret key. In principle, quantum algorithms as well as classical algorithms can be used for this processing. A natural question is: up to which error rate on the raw key is a secret-key agreement at all possible? Under the assumption of incoherent eavesdropping, we find that the quantum and classical limits are precisely the…
This paper extends our previous quantum Fisher information (QFI) based analysis of the problem of separating a pair of equal-brightness incoherent point sources in three dimensions to the case of a pair of sources that are unequally bright. When the pair's geometric center is perfectly known in advance, QFI with respect to the estimation of the three separation coordinates remains independent of the degree of brightness asymmetry. For the experimentally more relevant case of perfect prior knowledge of the pair's brightness centroid, however, such QFI becomes dependent on the pair separation ve…
Noise-robust discrimination of incoherent point sources with spatial-mode demultiplexing
School of Sciences and Zhejiang Key Laboratory of Quantum State Control and Optical Field Manipulation, Hangzhou Dianzi University（杭州电子科技大学理学院与浙江省量子态调控与光场操纵重点实验室）
Using a semiclassical model of photodetection with Poissonian noise and insights from quantum metrology, we prove that linear optics and photon counting can optimally estimate the separation between two incoherent point sources without regard to Rayleigh's criterion. The model is applicable to weak thermal or fluorescent sources as well as lasers.
We consider the extraction of shared secret key from correlations that are generated by either a classical or quantum source. In the classical setting, two honest parties (Alice and Bob) use public discussion and local randomness to distill secret key from some distribution $p_{XYZ}$ that is shared with an unwanted eavesdropper (Eve). In the quantum settings, the correlations $p_{XYZ}$ are delivered to the parties as either an \textit{incoherent} mixture of orthogonal quantum states or as \textit{coherent} superposition of such states; in both cases, Alice and Bob use public discussion and loc…
We study the interplay between collective and incoherent single-particle motion in a model of two chains of particles whose interaction comprises a non-integrable part. In the perturbative regime, but for a general form of the interaction, we calculate the spectral density for collective excitations. We obtain the remarkable result that it always has a unique semiclassical interpretation. We show this by a proper renormalization procedure which allows us to map our system to a Caldeira-Leggett--type of model in which the bath is part of the system.
We prove that for every decision tree, the absolute values of the Fourier coefficients of a given order $\ell\geq1$ sum to at most $c^{\ell}\sqrt{\binom{d}{\ell}(1+\log n)^{\ell-1}},$ where $n$ is the number of variables, $d$ is the tree depth, and $c>0$ is an absolute constant. This bound is essentially tight and settles a conjecture due to Tal (arxiv 2019; FOCS 2020). The bounds prior to our work degraded rapidly with $\ell,$ becoming trivial already at $\ell=\sqrt{d}.$ As an application, we obtain, for every integer $k\geq1,$ a partial Boolean function on $n$ bits that has bounded-error qua…
In practical quantum cryptography, the source sometimes produces multi-photon pulses, thus enabling the eavesdropper Eve to perform the powerful photon-number-splitting (PNS) attack. Recently, it was shown by Curty and Lutkenhaus [Phys. Rev. A 69, 042321 (2004)] that the PNS attack is not always the optimal attack when two photons are present: if errors are present in the correlations Alice-Bob and if Eve cannot modify Bob's detection efficiency, Eve gains a larger amount of information using another attack based on a 2->3 cloning machine. In this work, we extend this analysis to all distances…
We study a new type of separation between quantum and classical communication complexity which is obtained using quantum protocols where all parties are efficient, in the sense that they can be implemented by small quantum circuits with oracle access to their inputs. More precisely, we give an explicit partial Boolean function that can be computed in the quantum-simultaneous-with-entanglement model of communication, however, every interactive randomized protocol is of exponentially larger cost. Furthermore, all the parties in the quantum protocol can be implemented by quantum circuits of small…
A theoretical comparison of the electronic excitation and ionisation behaviour of molecular hydrogen oriented either parallel or perpendicular to a linear polarised laser pulse is performed. The investigation is based on a non-perturbative treatment that solves the full time-dependent Schrödinger equation of both correlated electrons within the fixed-nuclei approximation and the dipole. Results are shown for two different laser pulse lengths and intensities as well as for a large variety of photon frequencies starting in the 1- and reaching into the 6-photon regime. In order to investigate the…
We construct optimal measurements, achieving the ultimate precision predicted by quantum theory, for the simultaneous estimation of centroid, separation, and relative intensities of two incoherent point sources using a linear optical system. We discuss the physical feasibility of the scheme, which could pave the way for future practical implementations of quantum inspired imaging.
Given an orthonormal basis in a $d$-dimensional Hilbert space and a unital quantum operation $\cal E$ acting on it one can define a non-linear mapping that associates to $\cal E$ a $d\times d$ real-valued matrix that we call the Coherence Matrix of $\cal E$ with respect to $B$. We show that one can use this coherence matrix to define vast families of measures of the coherence generating power (CGP) of the operation. These measures have a natural geometrical interpretation as separation of $\cal E$ from the set of incoherent unital operations. The probabilistic approach to CGP discussed in P. Z…
We design fast protocols to separate or recombine two ions in a segmented Paul trap. By inverse engineering the time evolution of the trapping potential composed of a harmonic and a quartic term, it is possible to perform these processes in a few microseconds without final excitation. These times are much shorter than the ones reported so far experimentally. The design is based on dynamical invariants and dynamical normal modes. Anharmonicities beyond the harmonic approximation at potential minima are taken into account perturbatively. The stability versus an unknown potential bias is also stu…
We implement an estimator for determining the separation between two incoherent point sources. This estimator relies on image inversion interferometry and when used with the appropriate data analytics, it yields an estimate of the separation with finite-error, even when the sources come arbitrarily close together. The experimental results show that the technique has a good tolerance to noise and misalignment, making it an interesting consideration for high resolution instruments.
We consider quantum versions of two well-studied classical learning models: Angluin's model of exact learning from membership queries and Valiant's Probably Approximately Correct (PAC) model of learning from random examples. We give positive and negative results for quantum versus classical learnability. For each of the two learning models described above, we show that any concept class is information-theoretically learnable from polynomially many quantum examples if and only if it is information-theoretically learnable from polynomially many classical examples. In contrast to this information…
This paper studies whether quantum proofs are more powerful than classical proofs, or in complexity terms, whether QMA=QCMA. We prove three results about this question. First, we give a "quantum oracle separation" between QMA and QCMA. More concretely, we show that any quantum algorithm needs $Ω(\sqrt{2^n/(m+1)})$ queries to find an $n$-qubit "marked state" $\lvertψ\rangle$, even if given an $m$-bit classical description of $\lvertψ\rangle$ together with a quantum black box that recognizes $\lvertψ\rangle$. Second, we give an explicit QCMA protocol that nearly achieves this lower bound. Third,…
We consider the problem of estimating the spatial separation between two mutually incoherent point light sources using the super-resolution imaging technique based on spatial mode demultiplexing with noisy detectors. We show that in the presence of noise the resolution of the measurement is limited by the signal-to-noise ratio (SNR) and the minimum resolvable spatial separation has a characteristic dependence of $\sim$SNR$^{-1/2}$. Several detection techniques, including direct photon counting, as well as homodyne and heterodyne detection are considered.
We investigate the localization of two incoherent point sources with arbitrary angular and axial separations in the paraxial approximation. By using quantum metrology techniques, we show that a simultaneous estimation of the two separations is achievable by a single quantum measurement, with a precision saturating the ultimate limit stemming from the quantum Cramér-Rao bound. Such a precision is not degraded in the sub-wavelength regime, thus overcoming the traditional limitations of classical direct imaging derived from Rayleigh's criterion. Our results are qualitatively independent of the po…
Simon's problem is one of the most important problems demonstrating the power of quantum computers, which achieves a large separation between quantum and classical query complexities. However, Simon's discussion on his problem was limited to bounded-error setting, which means his algorithm can not always get the correct answer. Exact quantum algorithms for Simon's problem have also been proposed, which deterministically solve the problem with O(n) queries. Also the quantum lower bound Ω(n) for Simon's problem is known. Although these algorithms are either complicated or specialized, their resu…
We study an interacting one-dimensional gas of spin-1/2 fermions with two-body losses. The dynamical phase diagram that characterises the approach to the stationary state displays a wide quantum-Zeno region, identified by a peculiar behaviour of the lowest eigenvalues of the associated non-Hermitian Hamiltonian. We characterise the universal dynamics of this Zeno regime using an approximation scheme based on a effective decoupling of charge and spin degrees of freedom, where the latter effectively evolve in a non-Markovian way according to a non-Hermitian Heisenberg Hamiltonian. We present det…
By projecting onto complex optical mode profiles, it is possible to estimate arbitrarily small separations between objects with quantum-limited precision, free of uncertainty arising from overlapping intensity profiles. Here we extend these techniques to the time-frequency domain using mode-selective sum-frequency generation with shaped ultrafast pulses. We experimentally resolve temporal and spectral separations between incoherent mixtures of single-photon level signals ten times smaller than their optical bandwidths with a ten-fold improvement in precision over the intensity-only Cramér-Rao …
Astronomical imaging can be broadly classified into two types. The first type is amplitude interferometry, which includes conventional optical telescopes and Very Large Baseline Interferometry (VLBI). The second type is intensity interferometry, which relies on Hanbury Brown and Twiss-type measurements. At optical frequencies, where direct phase measurements are impossible, amplitude interferometry has an effective numerical aperture that is limited by the distance from which photons can coherently interfere. Intensity interferometry, on the other hand, correlates only photon fluxes and can th…
We achieve essentially the largest possible separation between quantum and classical query complexities. We do so using a property-testing problem called Forrelation, where one needs to decide whether one Boolean function is highly correlated with the Fourier transform of a second function. This problem can be solved using 1 quantum query, yet we show that any randomized algorithm needs ~sqrt(N)/log(N) queries (improving an ~N^{1/4} lower bound of Aaronson). Conversely, we show that this 1 versus ~sqrt(N) separation is optimal: indeed, any t-query quantum algorithm whatsoever can be simulated …
