Abstract
Unconventional properties of nonHermitian systems, such as the existence of exceptional points, have recently been suggested as a resource for sensing. The impact of noise and utility in quantum regimes however remains unclear. In this work, we analyze the parametricsensing properties of linear coupledmode systems that are described by effective nonHermitian Hamiltonians. Our analysis fully accounts for noise effects in both classical and quantum regimes, and also fully treats a realistic and optimal measurement protocol based on coherent driving and homodyne detection. Focusing on twomode devices, we derive fundamental bounds on the signal power and signaltonoise ratio for any such sensor. We use these to demonstrate that enhanced signal power requires gain, but not necessarily any proximity to an exceptional point. Further, when noise is included, we show that nonreciprocity is a powerful resource for sensing: it allows one to exceed the fundamental bounds constraining any conventional, reciprocal sensor.
Similar content being viewed by others
Introduction
Among the most powerful and ubiquitous measurement techniques is dispersive measurement, where a parameter of interest shifts the frequency of a resonant electromagnetic mode. Dispersive measurement is used in a myriad of tasks, including in settings where quantum noise and quantum limits are relevant. Examples range from the sensing of biomolecules and nanoparticles^{1,2,3}, to the measurement of superconducting qubits^{4,5}, quantum optomechanical measurements of mechanical motion^{6}, and gravitational wave detection^{7,8,9}.
Given its widespread utility, methods for improving dispersive measurements are of immense practical and fundamental interest. In this regard, there has been considerable recent interest in exploiting nonHermitian dynamics in linear coupledmode systems to enhance dispersivestyle measurements^{10,11,12,13,14,15,16}. Such systems are described by an effective nonHermitian Hamiltonian matrix, and can exhibit exceptional points (EPs), where as a function of parameters two eigenvalues of the Hamiltonian coalesce and the matrix becomes defective. Near such EPs, the system eigenvalues have an extremely strong dependence on small changes in parameters. In the simplest twomode realization^{17,18}, a parameter \(\epsilon\), which enters the Hamiltonian linearly is able to shift eigenmode frequencies by an amount \(\sqrt \epsilon\). For small \(\epsilon\), this suggests an extremely strong response, and the possibility of enhanced sensing. The first experiments probing this extreme sensitivity of mode frequencies to parametric changes have recently been reported^{19,20}.
To date, almost all work on EPbased sensing implicitly assumes frequency shifts whose magnitude is at least comparable to mode linewidths. It is, however, also interesting to ask whether nonHermitian sensing methods are effective in the common weak dispersive regime, where frequency shifts are small; this is the goal of our work. Analyzing this regime involves addressing several general questions about nonHermitian sensing. First, most studies focus exclusively on characterizing parametric shifts of mode frequencies; the process of how such shifts are measured is not fully analyzed. This is problematic, as a realistic sensing protocol may be sensitive to the parametric dependence of both the eigenvalues and eigenvectors of the system Hamiltonian; this latter dependence could conceivably counteract the parameter dependence of the eigenvalues^{21}. Second, the impact of fluctuations has not been discussed. In the coupledmode settings of interest, nonHermitian effective dynamics always corresponds to dissipative dynamics which will generically be accompanied by noise. This noise can limit the ability to resolve parameter changes. This is especially crucial in quantum settings, where one can never ignore the effects of vacuum noise, especially if the dissipative dynamics involves amplification processes.
In this paper, we address both these sets of issues. We analyze a generic linear nonHermitian sensing setup by mapping it to a probabilityconserving open quantum system (see Fig. 1a). This allows us to fully account for fluctuation effects in both classical and quantum regimes of operation. We analyze an optimal homodynebased measurement scheme, and derive fundamental bounds on signal power and signaltonoise ratio (SNR) that constrain sensing protocols based on nonHermitian Hamiltonians. Focusing on twomode sensors, we find that the apparent improvement of signal power in a system with an EP can be accomplished by simply adding gain to a more conventional setup without any EP. Further, when fluctuation effects are included, we find that the SNR of any reciprocal system (whether or not it exploits an EP) is constrained by a fundamental bound involving the average intramode photon number. Surprisingly, sensors involving nonreciprocal interactions can surpass this bound; we analyze this in detail. We thus identify nonreciprocity, which is accessible in a variety of experimental platforms, as a novel resource for enhanced sensing.
Results
General setup
We consider a generalized version of the nonHermitian sensing system studied in previous works^{10,13,14,15,19,20,22}: M resonant modes interact as described by the linear and Markovian coupledmode equations:
α_{j}(t) denotes the amplitude of mode j, and the M × M matrix \(\tilde H\) is`an effective nonHermitian Hamiltonian describing both coherent and dissipative linear dynamics. The Hamiltonian depends on a parameter \(\epsilon\), and the goal is to sense an infinitesimal change in \(\epsilon\). We assume that this parameter only changes nondissipative terms in \(\tilde H\), and thus write
where the Hermitian matrix V describes the coupling of the parameter to the dynamics. We take \(\epsilon\) to have units of frequency, and hence V is dimensionless.
Unlike many works, we explicitly analyze the protocol used to measure the parametric dependence of \(\tilde H\). A general strategy is to couple mode 1 to an input–output waveguide or transmission line, and then use this port to drive this system with a coherent tone at a frequency \(\omega _{{\mathrm{dr}}}\). The reflected signal is then measured, and used to infer \(\epsilon\). Coupling to the waveguide introduces extra damping of mode 1, and hence \(\tilde H_{ij} \to \tilde H_{ij}  i(\kappa {\mathrm{/}}2)\delta _{i1}\delta _{j1}\), where κ is the coupling rate to the waveguide. Working in a rotating frame at the drive frequency, the coupledmode equations now become:
where β is the amplitude of the coherent drive. Without loss of generality, we take β to be real and positive, and choose a frequency reference such that \({\mathrm{Re}}\,\tilde H_{11}[0] = 0\). This implies that Δ represents the detuning of the drive frequency from the mode1 resonance frequency.
In addition to fully treating the measurement, we also want to consistently describe noise effects associated with the dissipative dynamics encoded in \(\tilde H\). Dissipative dynamics correspond to the antiHermitian part of \(\tilde H\), which can always be written in terms of the difference of two positivedefinite matrices. We thus write
where \(\tilde \kappa _{ij} = \kappa \,\delta _{i1}\delta _{j1}\). The matrix YY^{†} represents gain processes, i.e., processes that tend to cause exponential growth in time; correspondingly, ZZ^{†} represents loss processes (beyond the loss associated with the input–output waveguide). For definiteness, we take Y to be a M × N_{Y} matrix, and Z to be a M × N_{Z} matrix. We also define \(H = \left( {\tilde H + \tilde H^\dagger } \right){\mathrm{/}}2\) (i.e., the Hermitian part of \(\tilde H\), which describes nondissipative dynamics).
We can now view the coupledmode equation in Eq. (3) as the noiseaveraged version of a fully probabilityconserving linear Markovian open quantum system. This description is useful even in the classical regime if one wants to account for the effect of thermal noise. The nonHermitian dynamics in \(\tilde H\) are generated by coupling to N_{Y} + N_{Z} distinct dissipative environments, with specific modebath coupling constants given by the matrices Y, Z. Letting \(\hat a_i\) denote the canonical bosonic annihilation operator of the ith mode, the full system is described by the Heisenberg–Langevin equations:
The first line here has the same structure as in Eq. (3), and describes the linear dynamics of our system and its coherent driving. The terms on the second line instead describe zeromean noise driving our system. \(\hat B^{{\mathrm{in}}}\) is noise entering from the input–output waveguide, whereas \(\hat C_j^{{\mathrm{in}}}\) \(\left( {\hat D_j^{{\mathrm{in}}}} \right)\) are noises entering from the dissipative baths used to realize the gain (loss) parts of the dissipative dynamics encoded in \(\tilde H\). Consistent with the linear, Markovian nature of our system, these noise operators represent (operatorvalued) Gaussian white noise. Quantum mechanically, they cannot be zero: at best, they describe vacuum fluctuations. In this case, we have:
where Q ∈ {B, C_{j}, Z_{j}}, and there are no correlations between different noise operators. The averages above represent averages over different realizations of the noise process, or equivalently, over the state of the bath degrees of freedom. \(\bar n_Q^{{\mathrm{th}}}\) represents the thermal occupancy of bath Q; we focus on the case where there is only vacuum noise, and these occupancies vanish (though our formalism can also easily treat the classical case \(\bar n_Q^{{\mathrm{th}}} \gg 1\)).
Note that Eq. (5) describes the same average dynamics as our starting coupledmode equations: taking the average of Eq. (5) and defining \(\alpha _i \equiv \left\langle {\hat a_i} \right\rangle\) recovers Eq. (3). The additional noise effects encoded in Eq. (5) will, however, be important in determining our ability to make a measurement. We stress that these Markovian Heisenberg–Langevin equations are standard in the study of open quantum systems; a derivation is provided in Methods, and pedagogical treatments are given in^{5,23}.
A crucial observation here is that the systembath coupling matrices Y, Z in Eq. (4) are not uniquely determined by \(\tilde H\). This ambiguity corresponds to a simple physical fact: there are many different ways to couple to dissipative baths to realize a given nonHermitian dynamics. As is perhaps obvious, noise will play a crucial role in determining the measurement sensitivity of \(\epsilon\); hence, the sensitivity will depend on the particular choice of baths and bath couplings used to realize \(\tilde H\). This leads to two important conclusions: first, \(\tilde H\) on its own does not completely specify the performance of our detector, and second, for a given nonHermitian Hamiltonian, an optimal measurement will require using an optimized choice of dissipative baths and bath couplings.
Homodyne measurement and measurement rate
We now discuss how the information on \(\epsilon\) in the reflected field leaving mode 1 can be extracted. We will characterize the measurement sensitivity using standard metrics that are well established in describing a weak, continuous linear measurement; see, e.g.^{5}, for a pedagogical discussion. This will allow us to directly compare the nonHermitian sensing protocols to more established methods.
The amplitude of the reflected field in the waveguide is described by an operator \(\hat B^{{\mathrm{out}}}\). Using standard input–output theory^{23}, we have
The first term describes the incident field on mode 1 that is promptly reflected, whereas the second term describes the field emitted from mode 1. Note that the reflected field in our geometry is completely equivalent to the transmitted field in standard setups where an optical fiber is coupled to a whisperinggallery mode resonator^{1,2,3}.
For small \(\epsilon\), the average value of the output field will have a linear dependence on \(\epsilon\). We will be interested throughout this paper on long measurement times, and hence will focus on the steady state (timeindependent) value of this average. We thus write
where λ is a (possibly complex) linear response coefficient. We throughout use \(\left\langle {..} \right\rangle _z\) to denote an average calculated using Eq. (5) with \(\epsilon = z\).
Letting ϕ = −arg λ, it is clear that all the information on \(\epsilon\) in the output field is contained in the real part of \(e^{i\phi }\hat B^{{\mathrm{out}}}\). An optimal measurement strategy is thus to measure this quantity directly. This corresponds to one quadrature of the output field, and the necessary measurement is known as homodyne detection. The timedependent measurement signal (i.e., the homodyne current) is described by the operator \(\hat I(t)\):
Note the factor of \(\sqrt \kappa\) is included in the homodyne current for convenience, as it makes \(\hat I\) have the units of a rate.
The homodyne current will be subject to shot noise fluctuations which will obscure our ability to extract \(\epsilon\). This noise is described by a spectral density^{5}:
where \(\delta \hat I \equiv \hat I  \left\langle {\hat I} \right\rangle\). As we are considering the effects of an infinitesimal perturbation \(\epsilon\), we can characterize our measurement sensitivity using the noise spectral density calculated to zeroth order in \(\epsilon\).
To estimate \(\epsilon\), the homodyne current is integrated from t = 0 to t = τ to average away the effects of noise. The timeintegrated measurement is thus described by the operator:
Considering the longτ limit, the power associated with the signal induced by the perturbation is:
We have assumed a measurement time τ that is long enough that we can ignore any transient effects in the behavior of \(\left\langle {\hat I(t)} \right\rangle\). Note also that with our definitions, \({\cal S}\) is dimensionless.
Similarly, the noise power associated with the integrated homodyne current in the longtime limit is:
where \(\delta \hat m \equiv \hat m  \left\langle {\hat m} \right\rangle _0\).
Combing these results, we see that the SNR of signal power associated with the homodyne measurement grows linearly with time:
We have defined the longtime linear growth of the SNR in terms of a measurement rate Γ_{meas}. This is a standard metric for quantifying the resolving power of weak continuous measurements; \(\left( {\kappa {\mathrm{/}}\epsilon _0} \right)^2{\mathrm{\Gamma }}_{{\mathrm{meas}}}^{  1}\) represents the minimum time required to distinguish \(\epsilon = \epsilon _0\) from \(\epsilon = 0\). The measurement rate defined here is also directly related to the another standard metric for sensitivity, the imprecision noise spectral density^{5}.
More fundamentally, one could ask whether homodyne measurement is truly the optimal way to use the output field to estimate \(\epsilon\). While heuristically this seems clear from Eq. (10), one can ask the question more formally. The maximum amount of information available in the output field considering all possible measurements is quantified by the quantum Fisher information^{24}. This quantity can be calculted exactly for our linear, Gaussian system^{25}. In Methods, we show that this metric coincides with the SNR given above in the limit where the driving field β is sufficiently large. As such, the homodyne measurement strategy here is indeed the optimal strategy.
We stress that our measurement scheme involves driving the system at a single frequency only. This is in contrast to most works on EP sensing^{10,13,19,20}, which involve probing the system over a wide range of frequencies to measure a full output field spectrum. This approach requires driving the system with multiple tones, with each drive tone contributing to the total photon number (circulating power) in the coupled modes. To make a meaningful comparison between different schemes, we imagine a situation where the total photon number (in all modes and over all frequencies) is constrained. The question is then whether in this setting, it is better to have a multitone drive, or a drive at just a single frequency. We find that there is no advantage for such multitone driving, as the information generated at each frequency is independent. It is thus optimal to probe the system with a single coherent tone whose frequency is chosen to optimize \({\mathrm{\Gamma }}_{{\mathrm{meas}}}\), see Fig. 1. We provide a rigorous proof of this statement (in terms of the quantum Fisher information) in Methods.
General expressions and constraints for a linear system
While the definition of the SNR and measurement rate in Eq. (16) is generally applicable, things simplify enormously for our system given the linearity of the dynamics. For a stable system, the Langevin equations in Eq. (5) can be solved in the Fourier domain in terms of the dimensionless system susceptibility matrix \(\tilde \chi\) defined as
where \({\Bbb I}\) is the M × M identity matrix. Using the input–output relation in Eq. (9) and taking average values, we immediately find that the steadystate average homodyne current is given by
Note that the homodyne current depends on \(\epsilon\) through \(\tilde \chi\), which in turn depends on both the eigenvalues and eigenvectors of \(\tilde H\). The zerofrequency susceptibility matrix can in general be written in terms of the eigenvalues Ω_{j} of \(\tilde H\) as
where adj(⋅) is the adjugate matrix. The basis of many sensing techniques is that the eigenvalues Ω_{j} generally have a dependence on \(\epsilon\), which directly influences the susceptibility and hence output field. However, to get a complete description of the measurement, one must also worry about the numerator in this expression: the adjugate matrix (e.g., right and left eigenvectors of \(\tilde H\)) will also in general depend on \(\epsilon\), which can serve to suppress the overall sensitivity to \(\epsilon\). In what follows, we thus focus on the entire susceptibility matrix, and not just on the eigenfrequencies of \(\tilde H\).
Returning to Eq. (18) and considering small \(\epsilon\), one readily finds a direct expression for the linear response coefficient λ in Eq. (10). Defining \(\chi ({\mathrm{\Delta }}) \equiv \tilde \chi [0;{\mathrm{\Delta }};0]\) as the zerofrequency, unperturbed susceptibility matrix, we have
We will implicitly assume χ is evaluated at Δ unless specified.
Using this expression, it is straightforward to calculate the signal power associated with the timeintegrated homodyne current (c.f. Eq. (14)):
In the second equality, we have expressed \({\cal S}\) in terms of the total average photon number in all modes induced by the coherent drive:
Our motivation here is that \({\cal S}\) can always be increased indefinitely by simply increasing the drive power. For a meaningful metric, one thus needs to ask how much signal is generated given a fixed number of photons used for the measurement. In many situations, the photons to worry about are the intracavity photons described by \(\bar n_{{\mathrm{tot}}}\): if this photon number becomes too large, a variety of problems typically ensue (e.g., unwanted heating effects and breakdown of linearity). Note that we have neglected the incoherent photons injected by the gain bath. Unlike the driveinduced photon number that scales linearly as the driving power, the incoherent photon number is independent of coherent drive. For a sufficiently large driving power, the driveinduced photon thus dominates the total photon number.
Turning to the fluctuations in the homodyne current, a straightforward calculation using Eqs. (5) and (15) yields:
The first term here represents the unavoidable shot noise in the homodyne current. The second term describes additional noise emanating from the dissipative baths that generate the gain processes in \(\tilde H\). This extra noise corresponds to the amplification of zeropoint fluctuations, and is connected to the fact that quantum mechanically, phaseinsensitive linear amplification cannot be noiseless^{26}. We stress that for a fixed \(\tilde H[0]\), the choice of Y is not unique; thus, the noise properties of our setup is not directly determined by \(\tilde H[0]\), but will depend crucially on how the dissipative dynamics is realized using external baths.
For a fixed \(\tilde H[0]\) (and hence fixed χ), we can find the optimal choice of baths and bath couplings that minimizes the noise in the homodyne current (see Methods). We find:
where Θ[z] is the Heaviside step function. Again, this result reflects the well known quantum limits on added noise of linear amplifiers^{26}. Here, if our system has reflection gain (i.e., \(\left {1  \chi _{11}} \right > 1\)), the output noise must be bigger than simple shot noise. We stress that for any given \(\tilde H[0]\) and corresponding susceptibility matrix χ, it is always possible to construct a realization of the dissipative dynamics (in terms of bath couplings Y, Z) that attains this minimum possible noise level (see Methods).
Combining these results gives us a general bound on the measurement rate of any linear system:
This fundamental bound on the measurement rate (i.e., longtime SNR) of our linear sensor will now allow us to compare the best possible performance of sensors with different Hamiltonians. More precisely, we want to quantitatively ask whether systems exploiting nonHermitian physics (such as EPbased sensing schemes) can ever offer advantages over more conventional sensing schemes, including simple sensing schemes based on a linear amplifier.
Note that while our focus is on sensing a parameter which modifies the Hermitian part of the Hamiltonian, Eqs. (21) and (25) can also be used directly in the more general case where V is nonHermitian. The only additional assumption required is extremely mild: we just need that any extra noise associated with the nonHermitian parameter change is not pathologically large, i.e., it vanishes in the limit \(\epsilon \to 0\), where the parametric dependence of the Hamiltonian vanishes. As long as this is satisfied, the extra noise would not change the form of the bound on the SNR in Eq. (25).
Twomode nonHermitian sensors for coupling perturbation
The results above are extremely general, applying to any nonHermitian sensing setup described by Eq. (5). In Methods, we consider the simple case where the parameter of interest simply shifts the resonant frequency of mode 1. Here, however, we apply our results to the specific kind of system that has been extensively studied in the literature on EP sensing^{10,13,14,15,19,20}: a twomode system described by a nonHermitian Hamiltonian \(\tilde H[\epsilon ]\), where the parameter to be determined is a Hermitian coupling between the modes. This corresponds to a coupling matrix
in Eq. (2).
The signal power in the homodyne current follows directly from Eq. (21) and is given by
where
is the signal power associated with a standard, singlemode dispersive measurement (see Methods).
Reciprocal twomode sensors
Consider first a reciprocal system, where the magnitude of the coupling between the two modes does not have any directionality, i.e., \(\left {\tilde H_{12}} \right = \left {\tilde H_{21}} \right\). Note that this definition of reciprocity here is consistent with the standard usage of a scattering matrix being invariant under exchange of source and receiver^{27}. If we attached a weak coupling waveguide to mode 2, the condition \(\left {\tilde H_{12}} \right = \left {\tilde H_{21}} \right\) would ensure that the amplitudes for 1 → 2 transmission and 2 → 1 transmission have the same magnitude.
This immediately implies that \(\left {\chi _{12}} \right = \left {\chi _{21}} \right\), and allows us to bound the maximum value of \({\cal S}\):
Thus, for a reciprocal system, the only way to parametrically increase the signal power (at fixed measurement time τ and intracavity photon number \(\bar n_{{\mathrm{tot}}}\)) is to make \(\left {\chi _{11}} \right\) large. This implies that the system is an amplifier: signals incident in the coupling waveguide will be reflected with gain.
Including now the effects of measurement noise, the above bound on signal power for a reciprocal twomode system, when combined with Eq. (46), immediately yields a bound on the measurement rate:
We see that \({\mathrm{\Gamma }}_{{\mathrm{meas}}}\) for a reciprocal sensor is fundamentally bounded by the intracavity photon number and the coupling rate κ to the waveguide; unlike signal power, it cannot be made arbitrarily large by increasing \(\left {\chi _{11}} \right\). As discussed in Methods, achieving this bound requires χ_{11} = 2, implying the absence of reflection gain. If one instead increases \(\left {\chi _{11}} \right \gg 1\) to achieve a large signal power, the optimal measurement rate instead approaches \(2\kappa \bar n_{{\mathrm{tot}}}\).
These results apply directly to the kind of nonHermitian twomode sensors that have been studied extensively in the literature^{14,15,16,19}. These systems generically involve a sensing parameter that couples as per Eq. (26), and a reciprocal twomode effective Hamiltonian of the form
Here, J is the Hermitian coupling between the modes, whereas γ_{1}, γ_{2} describe possible gain/loss processes (depending on the sign) acting locally on each mode. As always, κ represents the coupling rate between the input–output waveguide and mode 1; note that this coupling has mostly been neglected in previous work.
The eigenvalues of \(\tilde H[0]\) in this case are:
It thus exhibits a stable EP when J = (κ + γ_{1} − γ_{2})/4 and κ + γ_{1} + γ_{2} > 0. For this tuning of J, the mode eigenvalues behave as \({\mathrm{\Omega }}_ \pm [\epsilon ]\) = \(\pm \sqrt {2J\epsilon }  i\left( {\kappa + \gamma _1 + \gamma _2} \right){\mathrm{/}}2\), and have a strong squareroot dependence on \(\epsilon\).
Despite the large sensitivity of mode frequencies to \(\epsilon\) at the EP, the signal power and measurement rate for this setup remain bounded by Eqs. (29) and (30). This is shown explicitly in Fig. 2, where the signal power and measurement rate for this system is plotted as a function of the drive frequency. These quantities never exceed the fundamental bounds.
Note that in many applications, it is only the signal power that is relevant, as the measurement noise will be limited by nonintrinsic effects (e.g., following amplifiers and detector inefficiency). It is thus interesting to note that the signalpower performance of the twomode EP system in Eq. (31) can be matched with a simple twomode amplifier setup, where the first mode is subject locally to gain, and the total damping rate of mode 2 is made to match that of mode 1. While this system never possesses an EP, its performance matches the EP system, see Fig. 3. Thus, in terms of signal power at fixed photon number, there is no fundamental utility here to using a EP system.
Nonreciprocal twomode sensors
The above discussion shows that for a reciprocal system, tuning to an EP does not provide special advantages for measurement. We now consider another means of exploiting nonHermitian physics: a sensor whose effective Hamiltonian breaks reciprocity, i.e., \(\left {\tilde {H}_{12}} \right \ne \left {\tilde H_{21}} \right\). Breaking reciprocity allows one to parametrically exceed the bounds in Eqs. (29) and (30) that constrain any reciprocal twomode sensing system. Synthetic nonreciprocity in driven photonic systems is an active area of current research (see ref. 28 and references therein), with experimental demosntrations in photonic platforms as well as superconducting quantum circuits and optomechanical systems. While most work in this area has focused on achieving nonreciprocal scattering to build devices such as isolators and circulators, we show here that nonreciprocity can also be a powerful resource for enhanced sensing.
To see how nonreciprocity changes our sensing problem, consider again Eq. (27) for the signal power, in the extreme directional limit where χ_{21} = 0, but χ_{12} ≠ 0. This describes a situation where mode 2 influences mode 1 but not viceversa. The signal power for this fully directional setup becomes independent of χ_{11}:
The signal power could now in principle be increased indefinitely by increasing χ_{12} while keeping the intracavity photon number and reflection gain fixed. We illustrate the intuition behind this effect in Fig. 4.
The benefits of nonreciprocity are more apparent when we consider noise and the full expression for the measurement rate. In a nonreciprocal system we can increase the signal power indefinitely (by making χ_{12} large) without having to have a large χ_{11} and hence reflection gain. This implies that the output noise can stay at the shot noise level. For a nonreciprocal system, we thus have:
For \(\left {\chi _{12}} \right > 4\), this exceeds the fundamental bound on the measurement rate of a reciprocal system given in Eq. (30). We thus see that nonreciprocity is a resource for enhanced sensing; moreover, it does not require a system that is tuned to an EP.
It is helpful to consider a concrete example of a fully nonreciprocal setup. Consider a nonHermitian Hamiltonian
where γ_{1} and γ_{2} describe local damping or antidamping of the two modes, ν_{2} is the frequency detuning of the two modes, and J describes a (complex) nonreciprocal modemode coupling. Such directional couplings can be realized in many different ways. For example, one could start with a threemode system in a ring geometry with purely Hermitian couplings that have nontrivial complex phases. As discussed extensively in ref. 29, if one then adds strong damping to the third mode and adiabatically eliminates it, one can realize an effective twomode Hamiltonian identical to that in Eq. (35).
The susceptiblity matrix is readily found. One has χ_{21} = 0. For a drive that is resonant with mode 1 (i.e., Δ = 0), the remaining elements are
As desired, one can make χ_{12} arbitrarily large by increasing J without requiring that χ_{11} also become large. As a result, one can reach the upper bound on the measurement rate given in Eq. (34) for γ_{1} ≥ 0. The performance of this nonreciprocal sensor is shown in Fig. 2, where its performance is compared against reciprocal nonHermitian systems. One clearly sees the violation of the reciprocalsystem bound on the measurement rate.
Note that at an EP, the Jordan normal form of a 2 × 2 matrix has the nonreciprocal form of Eq. (35), but is also constrained to have identical diagonal entires; this was pointed out in ref. 13. We stress however that the benefits of our nonreciprocal setup have nothing to do with tuning our system to an EP or having eigenvalues coalesce. To see this explicitly, note that the unperturbed eigenvalues of \(\tilde H_{{\mathrm{dir}}}[0]\) are
The system has an EP only when the parameters are precisely tuned to ν_{2} = 0 and κ_{1} + γ_{1} = γ_{2}. In contrast, the large enhancement of the measurement rate we obtain only requires \(\left J \right \gg \sqrt {\nu _2^2 + \gamma _2^2{\mathrm{/}}4}\). This condition is clearly unrelated to the presence of an EP.
While the simple nonreciprocal sensing setup in Eq. (35) is capable of reaching the fundamental bound in Eq. (34), whether or not this occurs depends on exactly how the dissipative dynamics encoded in \(\tilde H_{{\mathrm{dir}}}\) is realized through couplings to external baths. Here, it is possible to achieve the needed nonHermitian Hamiltonian using only passive dissipation (i.e., no coupling to gain baths, Y = 0 in Eq. (4)). The simplest realization would involve coupling both modes to an effective chiral waveguide, as depicted in Fig. 5; the (positive) coupling rate between mode j and the waveguide is denoted γ_{j}. Focusing on the case of two modes with identical frequencies (i.e., ν_{2} = 0), and using standard cascaded quantum systems theory^{23} to describe this setup, we realize the nonHermitian Hamiltonian in Eq. (35) with \(J =  i\sqrt {\gamma _1\gamma _2}\). Further, as there are no couplings to gain baths, the homodyne current noise is always given by its minimal shot noise value. This setup then realizes the optimal value for the measurement rate for a nonreciprocal setup as given in Eq. (34). Setting γ_{1} = κ, we have:
Comparing against Eq. (30), we see that this system beats the reciprocalsystem measurement rate bound whenever γ_{2} < (1/4)γ_{1}.
We note that there are a variety ways of implementing a coupling to an effective chiral waveguide. These range from conventional approaches based on the use of circulators, to realizations of chiral waveguides using topological photonic systems^{30}, to methods that mimic chiral propagation by using dynamic modulation and engineered dissipation^{28,29,31,32}. We stress that such engineered nonreciprocal interactions have been experimentally realized in photonic setups^{33,34,35}, classical microwave circuits^{36,37}, optomechanical systems^{38,39}, and superconducting circuits^{40,41}. While the motivation for these experiments was largely to build circulators and isolators, our work shows that such systems could also be exploited for enhanced sensing.
Nonreciprocal sensors and the modesplitting technique
Up to this point, our work has focused exclusively on sensing parametric changes in \(\epsilon\) that are small enough to allow the use of a perturbative, linear response approach; this typically requires \(\epsilon\) to be smaller than relevant mode linewidths. Nonreciprocity enhanced sensing is however also highly effective for larger, nonperturbative changes in \(\epsilon\). We consider the same general setting as recent works on EP sensing^{10,13,19,20} that aim to detect a relatively large change in \(\epsilon\) by directly measuring the frequency splitting of two normal modes^{42,43,44}. This involves first measuring the output field intensity as a function of drive frequency, and then fitting this curve to extract a mode splitting.
For a sufficiently strong classical drive the contribution of amplified vacuum fluctuations can be ignored, and the intensity of the waveguide output field \(\hat B^{{\mathrm{out}}}\) (c.f., Eq. (9)) is
where Δ is as always the detuning of the drive frequency from the cavity 1 resonance frequency, and β the (real) amplitude of incident driving field.
As discussed before, the magnitude of χ is large when Δ is close to an eigenfrequency of \(\tilde H\), hence \({\cal P}[{\mathrm{\Delta }}]\) will generically exhibit a resonance feature (peak or dip) near these values. If a nonzero \(\epsilon\) lifts the degeneracy of eigenvalues, it will thus manifest itself by the appearance of new resonances in the intensity spectrum. We note again that the transmitted field in standard setups where a nearby readout object (e.g., prism or fiber) is coupled to an optical resonator^{20,42,44,45} is completely equivalent to the reflected field in our geometry.
As we now show, nonreciprocity has two distinct benefits to frequencysplitting detection. First, a perturbation to a nonreciprocal system can induce new resonances in \({\cal P}[{\mathrm{\Delta }}]\) even if there is no degeneracy in the unperturbed system. This allows the frequencysplitting technique to be implemented in a wider range of systems. Second, nonreciprocity can dramatically increase the parametric, \(\epsilon\)dependent splitting of resonances: one can obtain the same \(\sqrt \epsilon\) type splitting as a system tuned to an EP, without actually needing to be at an EP. Again, this greatly reduces the fine tuning needed to achieve such strong parametric mode splittings (and also demonstrates that EP is not a necessary ingredient for such behavior).
Consider the first point above: with nonreciprocity, the modesplitting technique can be used even if the unperturbed system has nondegenerate eigenvalues. The reason is simple: because of nonreciprocity, a given eigenmode of the system may fail to be excited by the incident measurement drive when \(\epsilon = 0\), irrespective of Δ. If however a nonzero \(\epsilon\) breaks the system’s nonreciprocity, these dark modes may become visible in the output intensity spectrum. Further, breaking nonreciprocity can lead to parametrically large mode splittings, much larger than would be possible without nonreciprocity.
To illustrate both the above points, we again consider the simple twomode nonreciprocal sensor described by Eq. (35). As usual, the parameter to be sensed corresponds to a Hermitian coupling between the two modes (c.f., Eq. (26)). For \(\epsilon = 0\), we have a purely nonreciprocal coupling between the modes: mode 2 can influence mode 1, but not viceversa. One finds that the eigenvalues of \(\tilde H_{{\mathrm{dir}}}[0]\), as given in Eq. (37), are in general nondegenerate in both real and imaginary parts. Note also that the eigenvalues are completely independent of the coupling J, reflecting the lack of any coherent oscillations between mode 1 and 2.
When perturbation \(\epsilon\) is nonzero, reciprocity is lost, as mode 1 can now influence mode 2. The eigenvalues of \(\tilde H_{{\mathrm{dir}}}[\epsilon ]\) are
For \(\epsilon > 0\) and sufficiently large positive J, the frequency splitting demonstrates a square root dependence on \(\epsilon\), i.e., \({\mathrm{\Omega }}_ + [\epsilon ]  {\mathrm{\Omega }}_  [\epsilon ] \approx \sqrt {2J\epsilon }\). We see that the nonreciprocal coupling J amplifies the effect of \(\epsilon\), even though it has no impact on the unperturbed eigenvalues. The \(\sqrt \epsilon\) splitting dependence resembles that of EP sensing schemes; here, however, the unperturbed modes are not required to be tuned to a degeneracy, and the unperturbed system is not at an EP. The enhanced splitting obtained here can be much larger than mode linewidths, and directly manifests itself in the output intensity spectrum \({\cal P}[{\mathrm{\Delta }}]\). An example is shown in Fig. 6.
Discussion
We have provided a comprehensive analysis of weak dispersivestyle measurements made using coupledmode systems described by effective nonHermitian Hamiltonians. Our work goes beyond previous analyses of nonHermitian sensing techniques, in that we fully treat fluctuation effects, and fully treat the entire measurement process. We derive fundamental bounds on any reciprocal twomode nonHermitian sensor, and show that they also constrain systems that are tuned to an exceptional point. Generically, we find that amplification is the necessary ingredient for generating large signal powers, and this can be achieved without any proximity to an exceptional point. However, amplification process must incorporate extra noise that will fundamentally limit the quantum measurement rate of any reciprocal sensor. Our results highlight the fact that the efficacy of a nonHermitian sensing scheme is not completely described by the parametric dependence of mode eigenvalues. Considering fluctuation effects, the particular dissipative implementation of the dynamics is crucial as this will set noise levels.
We also discussed a new method for enhancing dispersive measurement using effective nonHermitian physics, namely the use of nonreciprocity to enhance sensing. We show that nonreciprocity allows one to arbitrarily exceed the fundamental bound on the measurement rate of a reciprocal sensor, and discussed a simple implementation that does not require any amplification processes. We also show that nonreciprocity can enhance the sensitivity of modesplitting type sensor.
Finally, we note that the general theory developed in this work could be easily applied to more general kinds of sensing problems. For example, the same formalism could be used to understand the performance of nonHermitian sensors when thermal noise dominates (as would be the case for systems deep in the classical limit). The formalism could also be extended to study the sensing of timedependent perturbations.
Note added: During the completion of this work, we became aware of work by Zhang et al.^{49} and Chen et al.^{50} on a related topic.
Methods
Full Hamiltonian for effective nonHermitian system
Our measurement setup consists of a readout waveguide that interacts with only one cavity mode. This coupled cavity mode can interact with other modes as well as arbitrary gain and loss baths. The interaction between cavities is limited to be photon number conserving, i.e., only hopping. The total Hamiltonian of the system + bath is
\(\hat b_k\), \(\hat c_{j,k}\), and \(\hat d_{j,k}\) are the annihilation operator of the mode with wave number k in the readout waveguide, gain bath, and loss bath, respectively. Mode operators of different bath commute, and that of the same bath follows \(\left[ {\hat O_k,\hat O_{k\prime }^\dagger } \right] = \delta \left( {k  k\prime } \right)\), where O ∈ {b_{k}, c_{j,k}, d_{j,k}}. We have chosen a unit that ħ = 1, and k has a unit of frequency. For simplicity, we assume all baths have linear dispersion relation, i.e., ω_{b,k} = ω_{c,j,k} = ω_{d,j,k} = k, and homogeneous modebath coupling, i.e., \(g(k) = \sqrt \kappa\), Y_{ij}(k) = Y_{ij}, and Z_{ij}(k) = Z_{ij}.
With the full Hamiltonian in Eq. (41), the Heisenberg equations of motion (HEOM) of any operator \(\hat A\) can be computed as \(\dot{\hat A}= i\left[ {\hat {\Bbb H},\hat A} \right]\). By integrating the HEOM of bath mode operators, and substituting them into the HEOM of cavity mode operators, the Langevin equation in Eq. (5) can be arrived at. In our convention, the input field operators are defined as
where t_{0} → −∞. Interested readers can refer to refs.^{5,23}. for detailed derivations.
Minimum noise
For a given \(\tilde H\), the measurement noise depends on the choice of gain and loss baths. We can optimize the choice to obtain a minimum measurement noise. We first recognize in Eq. (23) that \(\left( {\chi YY^\dagger \chi ^\dagger } \right)_{11} \ge 0\), because YY^{†} is positive semidefinite. By using Eq. (4), we can obtain another relation
where we employ the fact that ZZ^{†} is positive semidefinite in the last relation. After rearrangement, we get the minimum noise in Eq. (46).
Singletone quantum Fisher information
We want to characterize the maximum amount of information available on \(\epsilon\) in the reflected output mode in our waveguide. As we are interested in the limit of long integration times τ, the relevant temporal mode of the output field is described by an annihilation operator
This is a standard bosonic annihilation operator satisfying \(\left[ {\hat {\cal B}(\tau ),\hat {\cal B}^\dagger (\tau )} \right] = 1\).
Changing the parameter \(\epsilon\) will change both our nonHermitian Hamiltonian \(\tilde H\) as well as the state of the temporal mode \(\hat {\cal B}\). To sense this change, one would measure some property of \(\hat {\cal B}\), described by an observable \(\hat {\cal M}\). The possible outcomes z of the measurement would be described by a probability distribution \(P_\epsilon [z]\), which depends parametrically on \(\epsilon\). Our goal is to maximize the the statistical distance between \(P_\epsilon [z]\) and P_{0}[z]. For small \(\epsilon\), standard definitions and arguments yield that this distance ds^{2} is given by \(\epsilon ^2{\cal F}\), where \({\cal F}\) is the Fisher information^{46}. Optimizing \({\cal F}\) over all possible choices of measurement observables \(\hat {\cal M}\) yields the quantum Fisher information (QFI), \({\cal F}_{{\mathrm{QFI}}}\)^{24,47}.
In our case, because of the linear nature of our system and the Gaussian nature of the relevant noise, \(\hat {\cal B}\) is always in a Gaussian state, and \({\cal F}_{{\mathrm{QFI}}}\) can be computed exactly^{25}. For infinitesimal \(\epsilon\), one finds:
where \(\vec u_\epsilon \equiv \left( {\left\langle {\hat q_1} \right\rangle _\epsilon ,\left\langle {\hat q_2} \right\rangle _\epsilon } \right)\) and \(\left( {W_\epsilon } \right)_{jl} \equiv \frac{1}{2}\left\langle {\left\{ {\delta \hat q_j,\delta \hat q_l} \right\}} \right\rangle _\epsilon\) are, respectively the first and second moments of the Gaussian state; \(\hat q_1 \equiv \left( {\hat {\cal B} + \hat {\cal B}^\dagger } \right){\mathrm{/}}\sqrt 2\) and \(\hat q_2 \equiv i\left( {  \hat {\cal B} + \hat {\cal B}^\dagger } \right){\mathrm{/}}\sqrt 2\) are the \({\cal B}\) mode quadratures; \(\delta \hat q_j \equiv \hat q_j  \left\langle {\hat q_j} \right\rangle _\epsilon\)^{48}. Ξ is a scalar that depends on only the \(\epsilon\)dependence of the second moment. The first (second) term in Eq. (48) can be viewed as the information associated with the \(\epsilon\)induced change in the first (second) moment of the temporal mode \({\cal B}\).
After solving the Langevin equation in Eq. (5), the first and second moment for our linear sensor can be evaluated in the longτ limit of interest:
Due to the linearity of Eqs. (5) and (9), the classical drive affects only the first but not the second moment of the output field. This can be seen from the fact that the first moment in Eq. (49) scales as β, while the second moment in Eq. (50) is independent of β. For sufficiently strong drive, the QFI will be dominated by the first, drivedependent term in Eq. (48), and the contribution from Ξ can be neglected.
One can now confirm that the SNR for an optimal homodyne measurement (as given in in Eq. (16)) coincides with the quantum Fisher information, i.e., \({\mathrm{SNR}} = \epsilon ^2{\cal F}_{{\mathrm{QFI}}}\). This implies that homodyne detection is the optimal measurement for dispersive sensing because it extracts the maximum information about \(\epsilon\) from \({\cal B}\) mode.
Multipletone quantum Fisher information
In the main text and previous sections, we considered the case where the system is driven at a single frequency. One might naturally ask if the measurement rate can be increased by driving and measuring the system using multiple drive tones, each at a different frequency. For sufficiently many frequencies, this method is equivalent to probing the full spectral response of the system.
As mentioned in the main text, this multitone approach is no better that simply probing the system with a single tone with an optimally chosen driving frequency. We make this statement rigorous here. We here show that if the total intracavity photon number is restricted, then probing the entire spectral response (via multitone driving) does not provide more information (as quantified by the quantum Fisher information) than an optimal singletone measurement.
We first consider a generalized coherent driving field on mode 1 that consists of N_{B} distinct frequencies:
In the longtime limit, the output field state becomes a dynamic steady state that consists of components in each tone Δ_{j}. Each component can be viewed as the state of a temporal mode:
It is easy to check that temporal modes are independent bosonic modes at τ → ∞, i.e., \(\left[ {\hat {\cal B}_j,\hat {\cal B}_l} \right] = 0\) and \(\left[ {\hat {\cal B}_j,\hat {\cal B}_l^\dagger } \right] = \delta _{jl}\).
Because the system is linear, the multimode output state is Gaussian. We again assume each drive is sufficiently strong that QFI is dominated by the first term in Eq. (48). The multimode first moment is \(\vec u_\epsilon = \left( {\left\langle {\hat q_{1,1}} \right\rangle _\epsilon ,\left\langle {\hat q_{2,1}} \right\rangle _\epsilon ,\left\langle {\hat q_{1,2}} \right\rangle _\epsilon , \left\langle {\hat q_{2,2}} \right\rangle _\epsilon , \ldots } \right)\), where the quadrature operators of each mode are \(\hat q_{1,j} \equiv \left( {\hat {\cal B}_j + \hat {\cal B}_j^\dagger } \right){\mathrm{/}}\sqrt 2\) and \(\hat q_{2,j} \equiv i\left( {  \hat {\cal B}_j + \hat {\cal B}_j^\dagger } \right){\mathrm{/}}\sqrt 2\). The first moment of each mode can be evaluated by
In the longtime limit, we find that the second moment is block diagonal, i.e., \(W_0 = \oplus _{j = 1}^{N_B}W_0^{(j)}\), and each block corresponds to the second moment of each temporal mode:
where
and \(\chi \left( {{\mathrm{\Delta }}_j} \right) \equiv \tilde \chi \left[ {0;{\mathrm{\Delta }}_j;0} \right]\). Note that \(\tilde S_{II}[{\mathrm{\Delta }}] \equiv S_{II}[0]\) in Eq. (23) because all dynamics in the main text is evaluated at the rotating frame of the single drive frequency.
To fairly compare this multitone approach with other schemes, we again constrain the problem to have a fixed total photon number. Here the timeaveraged total photon number is
The multitone Fisher information can be evaluated as
where \({\tilde{\mathrm \Gamma }}\left( {{\mathrm{\Delta }}_j} \right)\) is the measurement rate per coherent photon for a singletone measurement at detuning Δ_{j}:
By using Eq. (46), it is easy to show that each S_{II}[Δ_{j}] is lower bounded by
and so the maximum perphoton measurement rate is
We note that there might not be a single set of bath that could optimize all \(\tilde S_{II}[ {{\mathrm{\Delta }}_j} ]\) to saturate the bound in Eq. (59). In general the bath can only be optimized with respect to a specific detuning Δ_{j}.
We can then see that the multitone QFI is upperbounded by the maximum singletone QFI at the optimal detuning:
Recall again that the QFI is the maximum information obtainable from any detection scheme. Our result thus shows that probing the entire spectral response of the system (via multitone driving) does not provide more information about the parameter \(\epsilon\) than simply driving with a single (optimally chosen) tone and performing a homodyne measurement.
Bound on the measurement rate of a reciprocal twomode system
We focus here on a twomode system where the parameter to be sensed corresponds to the Hermitian coupling between the modes (as given in Eq. (26) in the main text). For any such twomode system, the maximum measurement rate obtainable by using an optimized bath is
where f(χ_{11}) is a positivevalued function of a complex χ_{11}:
Due to reciprocity, i.e., \(\left {\chi _{12}} \right = \left {\chi _{21}} \right\), the sum of antidiagonal susceptibility entries is bounded by \(\left {\chi _{12} + \chi _{21}} \right^2 \le 4\left {\chi _{21}} \right^2\). This condition bounds the optimal measurement rate as
The first inequality is exploited when \(\left {\chi _{21}} \right^2 \gg \left {\chi _{11}} \right^2\). The second inequality is imposed by the maximum value of f(χ_{11}). As illustrated in Fig. 7, the maximum is max{f(χ_{11})} = 4, which is attainable when χ_{11} = 2. These inequalities complete the reciprocalsystem bound in Eq. (30).
Bounds on sensing a change in the frequency of mode 1
Consider a general M mode setup where the parameter of interest is a simple shift in the resonance frequency of mode 1, i.e., V_{ij} = δ_{i1}δ_{j1}. In this case, one finds from Eq. (21) that the signal power \({\cal S}\) is given by
where \({\cal S}_\epsilon\) is defined in Eq. (28). The last relation becomes an equality in the special case where χ_{j1} = 0 for j ≠ 1. In this case, the coherent drive only induces a coherent photon population in mode 1 (and not in modes 2 through M).
If we further specialize to a system with just one mode (M = 1), the Hamiltonian and susceptibility are simple scalars,
If we further assume a resonant drive (Δ = 0) and no extra gain or loss (γ_{1} = 0), we have the usual setup for an ideal dispersive measurement (see, e.g., Ref.5). One has χ_{11} = 2, implying that the signal power is just \({\cal S} = {\cal S}_\epsilon\).
If one now allows for gain (i.e., γ_{1} < 0), the signal power can be enhanced arbitrarily above \({\cal S}_\epsilon\) without increasing the intracavity photon number \(\bar n_{{\mathrm{tot}}}\): one simply increases \(\left {\chi _{11}} \right\) above 2. We stress that this enhancement does not require EP, but simply the introduction of gain, and also applies to the case of a multimode system M > 1.
Consider next the behavior of the measurement rate \({\mathrm{\Gamma }}_{{\mathrm{meas}}}\) associated with detecting a mode1 frequency shift; as discussed, \({\mathrm{\Gamma }}_{{\mathrm{meas}}}\) considers both the signal power and the impact of intrinsic noise in the homodyne current. For a general M mode sensor, we find that \({\mathrm{\Gamma }}_{{\mathrm{meas}}}\) is upperbounded by
where f(χ_{11}) is defined in Eq. (63). As shown in Fig. 7, the measurement rate is maximum when χ_{11} = 2. This optimal value is achieved by the simple one mode sensor in Eq. (66) in the case where the dissipation of mode 1 is solely due to the waveguide coupling, i.e., γ_{1} = 0. It is interesting to note that this bound is identical to the bound on a reciprocal twomode sensor, c.f., Eq. (30). In contrast, a nonreciprocal twomode sensor could have Γ_{meas} arbitrarily larger than this bound, c.f., Eq. (34).
Because a simple onemode system achieves the optimal value of \({\mathrm{\Gamma }}_{{\mathrm{meas}}}\) for sensing a parametric change in the frequency of mode 1, using a multimode system is unnecessary for this problem. This is true even if one uses a multimode system tuned to an EP where eigenvalues exhibit a \(\sqrt \epsilon\) scaling. As a concrete example, consider the reciprocal twomode system given in Eq. (31). When J = (κ + γ_{1} − γ_{2})/4, the system exhibits EP. The unscaled Jordan normal form can be obtained in an appropriate basis:
where the unperturbed degenerate eigenvalue is Ω[0] ≡ −i(κ + γ_{1} + γ_{2})/4. In this basis, the perturbation matrix has nonvanishing offdiagonal entry, i.e.,
and so the eigenvalue of \(\tilde H[\epsilon ]\) has \(\sqrt \epsilon\) dependence at small \(\epsilon\), i.e.,
As usual, one might be tempted to conclude from this strong dependence of eigenvalues on \(\epsilon\) that this system should out perform the simple onemode system in Eq. (66). This is, however, not true: the twomode EP system still has a measurement rate fundamentally bounded by Eq. (67). It is interesting to note that this bound is achieved by the twomode EP system only when mode 2 has nonzero loss, i.e., γ_{2} > 0, and when the gain of mode 1 is tuned to \(\gamma _1 =  \left( {\sqrt \kappa  \sqrt {\gamma _2} } \right)^2\).
Systematic construction of minimum noise bath
In Eq. (46), we show the lower bound of measurement noise for a given \(\tilde H\). Here, we outline a systematic construction of baths that attains the minimum measurement noise. We first recall that the coupling to gain and loss bath is specified by the positive semidefinite M × M matrices YY^{†} and ZZ^{†}. For a given \(\tilde H\), those matrices are not unique because Eq. (4) is unchanged if we change the baths as \(YY^\dagger \to YY^\dagger + K\) and \(ZZ^\dagger \to ZZ^\dagger + K\), for any positive semidefinite K. Our aim is to find a YY^{†} such that the gain noise term is
For convenience, we define the Hermitian matrix
Then Eq. (71) becomes a conditional equation of h_{11} only. In the following, we separately consider the cases of h_{11} < 0 and h_{11} > 0.
For negative h_{11}, our aim is to construct YY^{†} such that
We first construct a positive semidefinite Hermitian matrix X_{−1}:
It is easy to see that h + X_{−1} has vanishing entries in first row and first column, i.e., (h + X_{−1})_{1i} = (h + X_{−1})_{i1} = 0.
Because h + X_{−1} is Hermitian, it can always be diagonalized by a unitary matrix U:
where the eigenvalues Λ_{i} are real. Due to the vanishing first row and first column in h + X_{−1}, we can require U_{1i} = U_{i1} = δ_{i1} and Λ_{1} = 0.
Next we decompose h + X_{−1} = X_{+2} − X_{−2} as the difference of two positive semidefinite Hermitian matrices X_{+2} and X_{−2}, which are constructed as
Combining the matrices and Eq. (72), we have
where the first (second) term in R.H.S. is positive (negative) semidefinite and thus corresponds to gain (loss) bath. By using Eqs. (4) and (17), we can construct the gain and loss baths as
It is easy to verify that Eq. (73) is satisfied.
Similarly for positive h_{11}, our aim is to construct YY^{†} such that
We first construct a positive semidefinite Hermitian matrix X_{+1}:
It is easy to see that h − X_{+1} has vanishing entries in first row and first column, i.e., (h − X_{+1})_{1i} = (h − X_{+1})_{i1} = 0.
Because h − X_{+1} is Hermitian, it can always be diagonalized by a unitary matrix U:
where the eigenvalues Λ_{i} are real. Due to the vanishing first row and first column in h−X_{+1}, we can require U_{1i} = U_{i1} = δ_{i1} and Λ_{1} = 0.
Next we decompose h − X_{+1} = X_{+2} − X_{−2} as the difference of two positive semidefinite Hermitian matrices X_{+2} and X_{−2}, which are constructed as
Combining the matrices and Eq. (72), we have
where the first (second) term in R.H.S. is positive (negative) semidefinite and thus corresponds to gain (loss) bath. By using Eqs. (4) and (17), we can construct the gain and loss baths as
It is easy to verify that Eq. (82) is satisfied.
We note that if \(\left( {\chi \left( {\frac{{\tilde H  \tilde H^\dagger + i\tilde \kappa }}{{2i}}} \right)\chi ^\dagger } \right)_{11} = 0\), we modify the matrix in Eq. (72) as h → h + ρδ_{i1}δ_{j1}. The baths can be constructed by the above procedure with a small ρ → 0.
Data availability
The numerical data generated in this work is available from the authors upon reasonable request.
References
Vollmer, F. et al. Protein detection by optical shift of a resonant microcavity. Appl. Phys. Lett. 80, 4057 (2002).
Vollmer, F., Arnold, S. & Keng, D. Single virus detection from the reactive shift of a whisperinggallery mode. PNAS 105, 20701–20704 (2008).
Armani, A. M., Kulkarni, R. P., Fraser, S. E., Flagan, R. C. & Vahala, K. J. Labelfree, singlemolecule detection with optical microcavities. Science 317, 783 (2007).
Blais, A., Huang, R.S., Wallraff, A., Girvin, S. M. & Schoelkopf, R. J. Cavity quantum electrodynamics for superconducting electrical circuits: An architecture for quantum computation. Phys. Rev. A 69, 062320 (2004).
Clerk, A. A., Devoret, M. H., Girvin, S. M., Marquardt, F. & Schoelkopf, R. J. Introduction to quantum noise, measurement, and amplification. Rev. Mod. Phys. 82, 1155–1208 (2010).
Aspelmeyer, M., Kippenberg, T. J. & Marquardt, F. Cavity optomechanics. Rev. Mod. Phys. 86, 1391 (2014).
Caves, C. M. Microwave cavity gravitational radiation detectors. Phys. Lett. B 80, 323–326 (1979).
Ballantini, R. et al. A detector of high frequency gravitational waves based on coupled microwave cavities. Class. Quantum Grav. 20, 3505 (2003).
Brodin, G. & Marklund, M. Gravitational wave detection using electromagnetic modes in a resonance cavity. Class. Quantum Grav. 20, L45 (2003).
Wiersig, J. Enhancing the sensitivity of frequency and energy splitting detection by using exceptional points: application to microcavity sensors for singleparticle detection. Phys. Rev. Lett. 112, 203901 (2014).
Hassan, A., Christodoulides, D., Hodaei, H., Khajavikhan, M. & Hayenga, W. Enhanced sensitivity in paritytimesymmetric microcavity sensors. Advanced Photonics 2015, OSA Technical Digest Paper SeT4C.3 (2015).
Liu, Z.P. et al. Metrology with PTsymmetric cavities: enhanced sensitivity near the PTphase transition. Phys. Rev. Lett. 117, 110802 (2016).
Wiersig, J. Sensors operating at exceptional points: general theory. Phys. Rev. A 93, 033809 (2016).
Sunada, S. Large Sagnac frequency splitting in a ring resonator operating at an exceptional point. Phys. Rev. A. 96, 033842 (2017).
Ren, J. et al. Ultrasensitive microscale paritytimesymmetric ring laser gyroscope. Opt. Lett. 42, 1556–1559 (2017).
ElGanainy, R. et al. NonHermitian physics and PT symmetry. Nat. Phys. 14, 11–19 (2018).
Seyranian, A. P., Kirillov, O. N. & Mailybaev, A. A. Coupling of eigenvalues of complex matrices at diabolic and exceptional points. J. Phys. A Math. Theor. 38, 1723–1740 (2005).
Demange, G. & Graefe, E.M. Signatures of three coalescing eigenfunctions. J. Phys. A Math. Theor. 45, 025303 (2012).
Hodaei, H. et al. Enhanced sensitivity at higherorder exceptional points. Nature 548, 187–191 (2017).
Chen, W., Kaya Özdemir, S., Zhao, G., Wiersig, J. & Yang, L. Exceptional points enhance sensing in an optical microcavity. Nature 548, 192–196 (2017).
Langbein, W. No exceptional precision of exceptional point sensors. Phys. Rev. A 98, 023805 (2018).
Hassan, A. U., et al. Ultrasensitive PTsymmetric coupled cavities. Conference on Lasers and ElectroOptics. Paper FTh1A.3 FTh1A.3 (2016).
Gardiner, C. W. & Zoller, P. Quantum Noise: A Handbook of Markovian and NonMarkovian Quantum Stochastic Methods with Applications to Quantum Optics, 2nd edn (SpringerVerlag Berlin Heidelberg New York, 2000).
Braunstein, S. & Caves, C. Statistical distance and the geometry of quantum states. Phys. Rev. Lett. 72, 3439 (1994).
Banchi, L., Braunstein, S. L. & Pirandola, S. Quantum fidelity for arbitrary Gaussian states. Phys. Rev. Lett. 115, 260501 (2015).
Caves, C. M. Quantum limits on noise in linear amplifiers. Phys. Rev. D 26, 1817–1839 (1982).
Deák, L. & Fülöp, T. Reciprocity in quantum, electromagnetic and other wave scattering. Ann. Phys. 327, 1050–1077 (2012).
Sounas, D. L. & Alù, A. Nonreciprocal photonics based on time modulation. Nat. Photonics 11, 774–783 (2017).
Metelmann, A. & Clerk, A. A. Nonreciprocal photon transmission and amplification via reservoir engineering. Phys. Rev. X 5, 021025 (2015).
Ozawa, T., et al. Topological photonics. Preprint at https://arxiv.org/abs/1802.04173 (2018).
Yu, Z. & Fan, S. Complete optical isolation created by indirect interband photonic transitions. Nat. Photonics 3, 91–94 (2009).
Ranzani, L. & Aumentado, J. Graphbased analysis of nonreciprocity in coupledmode systems. New J. Phys. 17, 1–14 (2015).
Lira, H., Yu, Z., Fan, S. & Lipson, M. Electrically driven nonreciprocity induced by interband photonic transition on a silicon chip. Phys. Rev. Lett. 109, 033901 (2012).
Tzuang, L. D., Fang, K., Nussenzveig, P., Fan, S. & Lipson, M. Nonreciprocal phase shift induced by an effective magnetic flux for light. Nat. Photonics 8, 701–705 (2014).
Eggleton, B. J., Fang, K., Fan, S. & Li, E. Photonic Aharonov–Bohm effect in photon–phonon interactions. Nat. Commun. 5, 1–5 (2014).
Fang, K., Yu, Z. & Fan, S. Experimental demonstration of a photonic Aharonov–Bohm effect at radio frequencies. Phys. Rev. B 87, 060301 (2013).
Estep, N. A., Sounas, D. L., Soric, J. & Alù, A. Magneticfree nonreciprocity and isolation based on parametrically modulated coupledresonator loops. Nat. Phys. 10, 923–927 (2014).
Fang, K. et al. Generalized nonreciprocity in an optomechanical circuit via synthetic magnetism and reservoir engineering. Nat. Phys. 13, 465–471 (2017).
Bernier, N. R. et al. Nonreciprocal reconfigurable microwave optomechanical circuit. Nat. Commun. 8, 604 (2017).
Abdo, B., Sliwa, K., Frunzio, L. & Devoret, M. Directional amplification with a Josephson circuit. Phys. Rev. X 3, 031001 (2013).
Sliwa, K. M. et al. Reconfigurable Josephson circulator/directional amplifier. Phys. Rev. X 5, 041020 (2015).
Weiss, D. S. et al. Splitting of highQ Mie modes induced by light backscattering in silica microspheres. Opt. Lett. 20, 1835–1837 (1995).
Mazzei, A. et al. Controlled coupling of counterpropagating whisperinggallery modes by a single Rayleigh Scatterer: a classical problem in a quantum optical light. Phys. Rev. Lett. 99, 173603 (2007).
Zhu, J. et al. Onchip single nanoparticle detection and sizing by mode splitting in an ultrahighQ microresonator. Nat. Photonics 4, 46–49 (2010).
He, L., Özdemir, S. K., Zhu, J., Kim, W. & Yang, L. Detecting single viruses and nanoparticles using whisperinggallery microlasers. Nat. Nanotechnol. 6, 428–432 (2011).
Wootters, W. K. Statistical distance and Hilbert space. Phys. Rev. D 23, 357–362 (1981).
Wiseman, H. M. & Milburn, G. J. Quantum Measurement and Control (Cambridge University Press, U.K., 2010).
Weedbrook, C. et al. Gaussian quantum information. Rev. Mod. Phys. 84, 621–669 (2012).
M. Zhang, et al. Quantum Noise Theory of Exceptional Point Sensors. Preprint at https://arxiv.org/abs/1805.12001 (2018).
Chong Chen, Liang Jin, RenBao Liu. Sensitivity of parameter estimation near the exceptional point of a nonHermitian system. Preprint at https://arxiv.org/abs/1809.05719 (2018).
Acknowledgments
We thank Liang Jiang, Douglas Stone, and Mengzhen Zhang for useful conversations. This work was supported by a grant from the Simons Foundation (Award number 505450, A.C.), and by the AFOSR MURI FA95501510029.
Author information
Authors and Affiliations
Contributions
H.K. L. and A. A. C. contributed equally in the development of idea, derivation of results, and writing of manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Electronic supplementary material
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lau, HK., Clerk, A.A. Fundamental limits and nonreciprocal approaches in nonHermitian quantum sensing. Nat Commun 9, 4320 (2018). https://doi.org/10.1038/s41467018064777
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467018064777
This article is cited by

Exceptional points enhance sensing in silicon micromechanical resonators
Microsystems & Nanoengineering (2024)

Dynamically crossing diabolic points while encircling exceptional curves: A programmable symmetricasymmetric multimode switch
Nature Communications (2023)

Theoretical investigation of dynamics and concurrence of entangled \({{\mathcal {P}}}{{\mathcal {T}}}\) and anti\({{\mathcal {P}}}{{\mathcal {T}}}\) symmetric polarized photons
Scientific Reports (2023)

Terminalcoupling induced critical eigenspectrum transition in closed nonHermitian loops
Scientific Reports (2023)

Spectral sensitivity near exceptional points as a resource for hardware encryption
Nature Communications (2023)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.