Advances in Photonic Quantum Sensing Stefano Pirandola,1, 2 Bhaskar Roy Bardhan,3 Tobias Gehring,4 Christian Weedbrook,5 and Seth Lloyd2, 6 1Computer Science and York Centre for Quantum Technologies, University of York, York YO10 5GH, UK 2Research Laboratory of Electronics, MIT, Cambridge MA 02139, USA 3Department of Physics and Astronomy, State University of New York at Geneseo, Geneseo NY 14454, USA 4Department of Physics, Technical University of Denmark, Fysikvej, 2800 Kongens, Lyngby, Denmark 5Xanadu, 372 Richmond St W, Toronto, M5V 2L7, Canada 6Department of Mechanical Engineering, MIT, Cambridge MA 02139, USA Quantum sensing has become a mature and broad field. It is generally related with the idea of using quantum resources to boost the performance of a number of practical tasks, including the radar-like detection of faint objects, the readout of information from optical memories or fragile physical systems, and the optical resolution of extremely close point-like sources. Here we first focus on the basic tools behind quantum sensing, discussing the most recent and general formulations for the problems of quantum parameter estimation and hypothesis testing. With this basic background in our hands, we then review emerging applications of quantum sensing in the photonic regime both from a theoretical and experimental point of view. Besides the state-of-the-art, we also discuss open problems and potential next steps. Quantum technologies are today developing at un- cuss both theoretically and experimentally. precedented pace. As a matter of fact, the technologi- Quantum hypothesis testing is at the very basis of cal applications of the field of quantum information1–5 quantum reading35–49, where the information stored in are many and promising. One of the most advanced ar- an optical memory (or an equivalent physical system) eas is certainly quantum sensing. This is a broad term is retrieved by using extremely low energetic quantum which encompasses all those quantum protocols of esti- states of light. It is also at the basis of quantum mation and discrimination of physical parameters which illumination50–67, where the radar-like detection of re- are able to exceed the performance of any classical strat- mote and very faint targets is boosted by the use of quan- egy. Quantum sensing improves a number of tasks, in- tum correlations. Quantum parameter estimation is the cluding gravitational wave detection, astronomical ob- core idea for the most recent advances in quantum imag- servations, microscopes, target detection, data readout, ing and optical resolution69–83, where “Rayleigh’s curse” atomic clocks, biological probing and so on. may be dispelled by using quantum metrological detec- As with most technologies, quantum physics offers im- tion schemes69–71 whose accuracy and sensitivity do not provements that in some cases far exceed anything that depend on the separation of two point-like sources. can be done classically. The quantum version of sensing is Estimation and discrimination protocols no exception. By exploiting fundamental laws of physics Quantum sensing takes its roots in two problems which one can leverage important quantum characteristics such are central in quantum information theory, known as as entanglement, single photons and squeezed states5–7 quantum parameter estimation (or quantum metrology) in order to achieve orders-of-magnitude improvements in and quantum hypothesis testing (or quantum discrimi- precision. In this scenario, the photonic regime is cer- nation). A modern formulation of these problems is re- tainly the best setting thanks to the relative simplicity spectively in terms of quantum channel estimation and in the generation, manipulation and detection of such quantum channel discrimination, where the task is to es- exotic quantum features. timate or discriminate the values of a classical parameter arXiv:1811.01969v1 [quant-ph] 5 Nov 2018 This review aims to provide a survey of recent advances encoded in a quantum channel, i.e., a transformation be- in photonic quantum sensing. We refer the reader to De- tween quantum states. Mathematically, both the prob- gen et al.8 for an overview of quantum sensing in non- lems can be described by using an input-output formal- photonic areas, related to spin qubits, trapped ions, and ism where two parties, say Alice and Bob, probe a black flux qubits. Here we start by providing mathematical box containing the unknown quantum channel. background in quantum parameter estimation9–15 and Therefore, consider a parameter θ encoded in a quan- 16–25 quantum hypothesis testing , presenting the most tum channel θ and stored in a black box, of which Alice general formulation of these problems. In fact, we de- may prepareE the input and Bob may detect the output. scribe the most powerful (adaptive) protocols allowed by In the estimation problem, θ is a continuous parameter, quantum mechanics and how they can be reduced to sim- while in the discrimination problem, θ may only take a pler schemes by employing methods of channel simula- discrete and finite number of values with some prior prob- tion26,27. This is an approach based on tools of quantum abilities. For the latter case, we consider here the most programmability28–31 and teleportation stretching33,34. basic scenario: binary symmetric discrimination, where θ This general background will allow us to identify the may only take two values, θ0 (null hypothesis) or θ1 (al- goals, the structure, and the classical benchmarks for the ternative hypothesis), with the same Bayesian cost and following protocols of quantum sensing that we will dis- prior probability. This is then equivalent to retrieving 2 the classical bit u which is encoded in the parameter θu. We are interested in the “scaling” of the QCRB, i.e., Let us analyze the estimation/discrimination problem on how δθ2 behaves for large number of uses n. Here with an increasing level of complexity. In a basic “block there are two main behaviors to consider. The first one unassisted” protocol, Alice prepares an input state ρ is known as the standard quantum limit (SQL) which 2 −1 which is transmitted through the unknown channel θ is the typical scaling δθ & n achievable in classical E 2 −2 and transformed into the unknown output state θ(ρ) for strategies. The other is the Heisenberg limit δθ & n Bob. Consider this process to be performed n times,E so which can only be achieved in a purely quantum setting. ⊗n ⊗n that Alice sends n copies ρ and Bob receives θ(ρ) These have energy analogues when we consider contin- assuming that the channel is memoryless. To retrieveE θ, uous variable systems5 and parameter estimation with Bob applies an optimal generally-joint measurement to bosonic channels. Assuming a single-use (n = 1) of the his n-copy output state. The type of measurement is dif- comb and an energy-constrained input state with N mean ferent depending on the problem. In channel estimation, number of photons, then δθ2 & N −1 corresponds to the the measurement has a continuous outcome from which SQL, while δθ2 & N −2 is the Heisenberg limit. Bob constructs an unbiased estimator θ˜ of θ, affected by For instance, the Heisenberg limit is achievable for some error variance δθ2 := (θ˜ θ)2 . In channel dis- large n when we estimate the phase factor ϕ of a uni- h − i iϕH crimination, Bob uses a dichotomic measurement which tary Uϕ = e with H being the free Hamiltonian. In provides the bit u with some mean error probability perr. fact, it is sufficient to use the sequential protocol with The most general estimation/discrimination protocol an input pure state 0, 1 sr + 1, 0 sr so that we have the inϕ| i | i is based on unlimited entanglement and adaptive quan- output 0, 1 sr + e 1, 0 sr where the phase coherently tum operations (QOs), which are applied jointly by Alice accumulates.| i The same| limiti is achievable in the number 12,27,31,32 and Bob . As also discussed in ref. 26, this pro- of photons N by using the N00N state N, 0 sr + 0,N sr tocol can be represented as a quantum comb86. This in a single use of the block-assisted protocol.| i | i is a quantum circuit board whose slots are filled with We know a simple criterion to establish if channel es- the unknown quantum channel θ. The comb is based timation is limited to the SQL. In particular, Pirandola on a register with an arbitrary numberE of systems, pre- and Lupo27 shed light on the role of teleportation87–89 in pared in some fundamental state ρ. The entire register quantum metrology finding that the property of telepor- 33 undergoes arbitrary QOs before and after channel θ is tation covariance implies the SQL. Recall that a chan- probed, as depicted in Fig. 1. The QOs can alwaysE be nel is tele-covariant if, for any teleportation unitary U assumed to be trace-preserving by adding extra systems (PauliE 1 or displacement operator5), we may write33 and adopting the principle of deferred measurement1. At the output of the comb, the state ρn is detected by an (UρU †)= V (ρ)V †, (3) θ E E optimal quantum measurement whose outcome is classi- cally processed. for a generally different unitary V . Because of this prop- It is clear that the quantum comb encompasses the erty, a quantum channel is teleportation-simulable or n ⊗n Choi-stretchable, i.e., we may write the simulation33,34 previous block protocol with output ρθ = θ(ρ) . It also includes the “block-assisted” protocol whereE the in- (ρ)= (ρ ρE ), (4) put state is bipartite and comprises a signal system s, E T ⊗ sent to probe the channel, and an idler or reference sys- where is the QO of teleportation and ρ is the chan- tem r, which only assists the output measurement.