No Arabic abstract
In a previous paper [M. Tsang, Phys. Rev. A 99, 012305 (2019)], I proposed a quantum limit to the estimation of object moments in subdiffraction incoherent optical imaging. In this sequel, I prove the quantum limit rigorously by infinite-dimensional analysis. A key to the proof is the choice of an unfavorable parametric submodel to give a bound for the semiparametric problem. By generalizing the quantum limit for a larger class of moments, I also prove that the measurement method of spatial-mode demultiplexing (SPADE) with just one or two modes is able to achieve the quantum limit. For comparison, I derive a classical bound for direct imaging using the parametric-submodel approach, which suggests that direct imaging is substantially inferior.
The theory of semiparametric estimation offers an elegant way of computing the Cramer-Rao bound for a parameter of interest in the midst of infinitely many nuisance parameters. Here I apply the theory to the problem of moment estimation for incoherent imaging under the effects of diffraction and photon shot noise. Using a Hilbert-space formalism designed for Poisson processes, I derive exact semiparametric Cramer-Rao bounds and efficient estimators for both direct imaging and a quantum-inspired measurement method called spatial-mode demultiplexing (SPADE). The results establish the superiority of SPADE even when little prior information about the object is available.
We study the process of seeded, or stimulated, third-order parametric down-conversion, as an extension of our previous work on spontaneous parametric downconversion (TOSPDC). We present general expressions for the spectra and throughputs expected for the cases where the seed field or fields overlap either only one or two of the TOSPDC modes, and also allow for both pump and seed to be either monochromatic or pulsed. We present a numerical study for a particular source design, showing that doubly-overlapped seeding can lead to a considerably greater generated flux as compared with singly-overlapped seeding. We furthermore show that doubly-overlapped seeding permits stimulated emission tomography for the reconstruction of the three-photon TOSPDC joint spectral intensity. We hope that our work will guide future experimental efforts based on the process of third-order parametric downconversion.
The study of optical parametric amplifiers (OPAs) has been successful in describing and creating nonclassical light for use in fields such as quantum metrology and quantum lithography [Agarwal, et al., J. Opt. Soc. Am. B, 24, 2 (2007)]. In this paper we present the theory of an OPA scheme utilizing an entangled state input. The scheme involves two identical OPAs seeded with the maximally path-entangled N00N state (|2,0>+|0,2>)/sqrt{2}. The stimulated amplification results in output state probability amplitudes that have a dependence on the number of photons in each mode, which differs greatly from two-mode squeezed vacuum. The output contains a family of entangled states directly applicable to quantum key distribution. Specific output states allow for the heralded creation of N=4 N00N states, which may be used for quantum lithography, to write sub-Rayleigh fringe patterns, and for quantum interferometry, to achieve Heisenberg-limited phase measurement sensitivity.
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 $epsilon$ or by two $epsilon/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 by quantum mechanics. We then show that recently proposed linear-optic schemes approach the quantum Chernoff bound---the method of binary spatial-mode demultiplexing (B-SPADE) is quantum-optimal for all values of separation, while a method using image-inversion interferometry (SLIVER) is near-optimal for sub-Rayleigh separations. We then simplify our model using a low-brightness approximation that is very accurate for optical microscopy and astronomy, derive quantum Chernoff bounds conditional on the number of photons detected, and show the optimality of our schemes in this conditional detection paradigm. For comparison, we analytically demonstrate the superior scaling of the Chernoff bound for our schemes with source separation relative to that of spatially-resolved direct imaging. Our schemes have the advantages over the quantum-optimal (Helstrom) measurement in that they do not involve joint measurements over multiple modes, and that they do not require the angular separation for the two-source hypothesis to be given emph{a priori} and can offer that information as a bonus in the event of a successful detection.
We theoretically and numerically study the quantum dynamics of two degenerate optical parametric oscillators with mutual injections. The cavity mode in the optical coupling path between the two oscillator facets is explicitly considered. Stochastic equations for the oscillators and mutual injection path based on the positive $P$ representation are derived. The system of two gradually pumped oscillators with out-of-phase mutual injections is simulated, and its quantum state is investigated. When the incoherent loss of the oscillators other than the mutual injections is small, the squeezed quadratic amplitudes $hat{p}$ in the oscillators are positively correlated near the oscillation threshold. It indicates finite quantum correlation, estimated via Gaussian quantum discord, and the entanglement between the intracavity subharmonic fields. When the loss in the injection path is low, each oscillator around the phase transition point forms macroscopic superposition even under a small pump noise. It suggests that the squeezed field stored in the low-loss injection path weakens the decoherence in the oscillators.