Precision bounds for noisy nonlinear quantum metrology

We derive the ultimate bounds on the performance of nonlinear measurement schemes in the presence of noise. In particular, we investigate the precision of the second-order estimation scheme in the presence of the two most detrimental types of noise, photon loss and phase diffusion. We find that the second-order estimation scheme is affected by both types of noise in an analogous way as the linear one. Moreover, we observe that for both types of noise the gain in the phase sensitivity with respect to the linear estimation scheme is given by a multiplicative term $\mathcal{O}(1/N)$. Interestingly, we also find that under certain circumstances, a careful engineering of the environment can, in principle, improve the performance of measurement schemes affected by phase diffusion.Comment: 9 pages, 2 figures, 1 table, 1 appendix; v3 contains an improved analysis and a stronger precision bound for the case of photon loss; published versio

Optomechanical tailoring of quantum fluctuations

We propose the use of feedback mechanism to control the level of quantum noise in a radiation field emerging from a pendular Fabry-Perot cavity. It is based on the possibility to perform quantum nondemolition measurements by means of optomechanical coupling.Comment: ReVTeX file, 8 pages, 1 Postscript figure. to appear in J. Opt. B: Quant. Semiclass. Op

Adaptive Quantum Measurements of a Continuously Varying Phase

We analyze the problem of quantum-limited estimation of a stochastically varying phase of a continuous beam (rather than a pulse) of the electromagnetic field. We consider both non-adaptive and adaptive measurements, and both dyne detection (using a local oscillator) and interferometric detection. We take the phase variation to be \dot\phi = \sqrt{\kappa}\xi(t), where \xi(t) is \delta-correlated Gaussian noise. For a beam of power P, the important dimensionless parameter is N=P/\hbar\omega\kappa, the number of photons per coherence time. For the case of dyne detection, both continuous-wave (cw) coherent beams and cw (broadband) squeezed beams are considered. For a coherent beam a simple feedback scheme gives good results, with a phase variance \simeq N^{-1/2}/2. This is \sqrt{2} times smaller than that achievable by nonadaptive (heterodyne) detection. For a squeezed beam a more accurate feedback scheme gives a variance scaling as N^{-2/3}, compared to N^{-1/2} for heterodyne detection. For the case of interferometry only a coherent input into one port is considered. The locally optimal feedback scheme is identified, and it is shown to give a variance scaling as N^{-1/2}. It offers a significant improvement over nonadaptive interferometry only for N of order unity.Comment: 11 pages, 6 figures, journal versio

Open quantum systems are harder to track than open classical systems

For a Markovian open quantum system it is possible, by continuously monitoring the environment, to know the stochastically evolving pure state of the system without altering the master equation. In general, even for a system with a finite Hilbert space dimension $D$, the pure state trajectory will explore an infinite number of points in Hilbert space, meaning that the dimension $K$ of the classical memory required for the tracking is infinite. However, Karasik and Wiseman [Phys. Rev. Lett., 106(2):020406, 2011] showed that tracking of a qubit ($D=2$) is always possible with a bit ($K=2$), and gave a heuristic argument implying that a finite $K$ should be sufficient for any $D$, although beyond $D=2$ it would be necessary to have $K>D$. Our paper is concerned with rigorously investigating the relationship between $D$ and $K_{\rm min}$, the smallest feasible $K$. We confirm the long-standing conjecture of Karasik and Wiseman that, for generic systems with $D>2$, $K_{\rm min}>D$, by a computational proof (via Hilbert Nullstellensatz certificates of infeasibility). That is, beyond $D=2$, $D$-dimensional open quantum systems are provably harder to track than $D$-dimensional open classical systems. Moreover, we develop, and better justify, a new heuristic to guide our expectation of $K_{\rm min}$ as a function of $D$, taking into account the number $L$ of Lindblad operators as well as symmetries in the problem. The use of invariant subspace and Wigner symmetries makes it tractable to conduct a numerical search, using the method of polynomial homotopy continuation, to find finite physically realizable ensembles (as they are known) in $D=3$. The results of this search support our heuristic. We thus have confidence in the most interesting feature of our heuristic: in the absence of symmetries, $K_{\rm min} \sim D^2$, implying a quadratic gap between the classical and quantum tracking problems.Comment: 35 pages, 3 figures, Accepted in Quantum Journal, minor change

Symmetries and physically realizable ensembles for open quantum systems

A $D$-dimensional Markovian open quantum system will undergo stochastic evolution which preserves pure states, if one monitors without loss of information the bath to which it is coupled. If a finite ensemble of pure states satisfies a particular set of constraint equations then it is possible to perform the monitoring in such a way that the (discontinuous) trajectory of the conditioned system state is, at all long times, restricted to those pure states. Finding these physically realizable ensembles (PREs) is typically very difficult, even numerically, when the system dimension is larger than 2. In this paper, we develop symmetry-based techniques that potentially greatly reduce the difficulty of finding a subset of all possible PREs. The two dynamical symmetries considered are an invariant subspace and a Wigner symmetry. An analysis of previously known PREs using the developed techniques provides us with new insights and lays the foundation for future studies of higher dimensional systems.Comment: 30 pages, 4 figures, comments welcome. Published versio