Abstract
Measurements with variable system–detector interaction strength, ranging from weak to strong, have been recently reported in a number of electronic nanosystems. In several such instances many-body effects play a significant role. Here we consider the weak-to-strong crossover for a setup consisting of an electronic Mach–Zehnder interferometer, where a second interferometer is employed as a detector. In the context of a conditional which-path protocol, we define a generalized conditional value (GCV), and determine its full crossover between the regimes of weak and strong (projective) measurement. We find that the GCV has an oscillatory dependence on the system–detector interaction strength. These oscillations are a genuine many-body effect, and can be experimentally observed through the voltage dependence of cross current correlations.
Export citation and abstract BibTeX RIS
Original content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.
1. Introduction
Measurement in quantum mechanics is inseparable from the dynamics of the system involved. The formal framework to describe quantum measurement, introduced by von Neumann [1], allows to consider two limits: in the limit of strong system (S)–detector (D) coupling, the detector's final states are orthogonal. This is associated with the evasive notion of quantum collapse. In the other limit, that of weak (continuous) measurement of an observable (reflecting weak coupling between S and D [2]), the system is disturbed in a minimal way, and only partial information on the state of the latter is provided [3]. We note that this hindrance can be overcome, by resorting to a large number of repeated measurement (or a large ensemble of replica on which the same weak measurement is carried out).
Weak measurements, due to their vanishing back-action, can be exploited for quantum feedback schemes [4, 5] and conditional measurements. The latter is especially interesting for a two-step measurement protocol (whose outcome is called weak value (WV) [6]), which consists of a weak measurement (of the observable ), followed by a strong one (of ), The outcome of the first is conditional on the result of the second (postselection). WVs have been observed in experiments [7–12]. Their unusual expectation values [6, 13–15] may be utilized for various purposes, including weak signal amplification [16–23], quantum state discrimination [24–26], and non-collapsing observation of virtual states [27]. The particular features of WVs rely on weak measurement, and are washed out in projective measurements. Understanding the relation and the crossover between these two tenets of quantum mechanics is therefore an important issue on the conceptual level.
The WV protocol perfectly highlights the difference between weak and strong (projective) measurements, thus providing a platform to study the crossover between the two. Indeed, within the two-step measurement protocol, it is possible to control the strength of the first measurement. This allows to define a generalized conditional value (GCV), interpolating between WV and (strong value) (SV). The latter, in similitude to WV, refers to a two-step measurement protocol. Unlike WV, in a SV protocol both steps consist of a strong measurement. The mathematical expression for GCV is depicted below in equation (1). It amounts to the average of the first measurement's reading (whatever its strength is), conditional on the outcome of the second measurement. This has been studied in the context of single-degree-of-freedom systems [28–31], where the WV-to-SV crossover is quite straightforward and is a smooth function of the interaction strength. We note that in experiments with electron nanostructures, interactions between electrons play a crucial role. A many-body theory of variable strength quantum measurement is called for. In many cases, the interaction strength can be controlled experimentally [10, 32].
In this letter, we demonstrate theoretically that interactions can modify this weak-to-strong crossover in a qualitative way, in particular, making it an oscillating function of the interaction strength. Conversely, these oscillations serve as a smoking gun manifestation of the many-body nature of the system at hand, and present guidelines for observing them as function of experimentally more accessible variables (e.g. the voltage bias). Our analysis sheds light on the relation between two seemingly very different descriptions of quantum measurement, with emphasis on the context of many-body physics.
Motivated by the two step WV protocol, we define the (GCV) of the operator as an average shift of the detector, during the measurement process, projected onto a postselected subspace by the projection operator, and normalized by the bare S–D interaction strength, g. The GCV is given by
where ρ0 is the total density matrix which describes the initial state of S and D, and the time ordered operator describes the evolution in time of the whole setup during the measurement. Here, the system–detector coupling, with w(t)—the time window of the measurement; and are the 'position' and 'momentum' operators of the detector (). We note that equation (1) provides the correct WV [6] and SV [33] in the respective limits ( ). Our approach here is in full agreement with earlier analyses of quantum measurement in the context of single particle systems [28–31].
Our specific setup is depicted in figure 1. It consists of two Mach–Zehnder interferometers (MZIs), the 'system' and the 'detector' respectively, that are electrostatically coupled [32, 34]. It is possible to tune the respective Aharonov–Bohm fluxes, and independently [32].
Download figure:
Standard image High-resolution image2. A two-particle analysis
As a prelude to our analysis of a truly interacting many-body system, we briefly present an analysis of the same system on the level of a single particle in the system, interacting with a single particle in the detector. According to this (over)simplified picture, particles going simultaneously through the interacting arms 2 and 3 (see figure 1), gain an extra phase [35, 36], where γ takes values in the range First, we consider the intra-MZI operators, defined in a two-state single particle space, with m = 1, 2 for the 'system' (an electron propagating in arm 1 or 2) and similarly m = 3, 4 for the 'detector'. The dimensionless charge operator (measuring the charge between the corresponding quantum point contacts (QPCs)), in this basis has a form The transition through the pth QPC is described by the scattering matrix [37]. The entries rp and tp encompass information about the respective Aharonov–Bohm flux and for about the orbital phase gained between the two QPCs. The dimensionless current operators at the source and the drain terminals of the system-MZI are given by and respectively, with and similarly for the detector with m = 3, 4 and employing the matrices and
In view of equation (1), the initial state of the setup, which is described by the injection of two particles into terminals S1 and S4 respectively, can be written as the density matrix operating in the two-particle product space, (n = 3, 4). The corresponding dynamics is that of two particles propagating simultaneously through arms m and n. The interaction between the particles is described by the operator A positive reading of the projective measurement consists of the detection of a particle at D2, and is described by the projection operator The detector reads the current at D3 ( of equation (1) corresponds to ). Plugging these quantities into equation (1) yields an expression for the two-particle GCV (see appendix
The averages are calculated with respect to the total density matrix after the measurement, We have defined and is the irreducible current–current correlator. A straightforward calculation (see appendix
where is an average with respect to the non-interacting setup, and This result shows a smooth and trivial crossover between the weak () and strong () limits. The specific form depends on the parameters of S and D (the magnitude of the inter-edge tunneling; the value of the Aharonov–Bohm flux). For some range of values (e.g., ) the function is non-monotonic (but non-oscillatory), while for other values it is monotonic.
3. A full many-body analysis
The Hamiltonian describes the system, the detector, and their interaction. The system's Hamiltonian consists of with
Here Γp is the tunneling amplitude at QPC p and xmp is the coordinate at QPC p on arm m. A similar expression holds for the 'detector' MZI, with a summation over the chiral arms We next assume that the lengths of the interacting arms are equal, The S–D interaction Hamiltonian is
where the normal ordering with respect to the equilibrium (no voltage bias) state is defined as .
We are now at the position to construct the GCV for the actual many-body setup. We employ equation (2) to define the many-body GCV of Q2
where the current operator is given by, We average over time The problem is now reduced to the calculation of average currents and a current–current correlator. This is done perturbatively in the tunneling strength, but at arbitrary interaction parameter, employing the Keldysh formalism. In this limit expectation values are taken with respect to tunneling decoupled edge states. The current is,
and the irreducible current–current correlator (see appendix
Here reproduces the first part of the rhs, with replaced by the summation is over and repeating indices; and are the Keldysh matrices. Gm is the fermionic propagator on the mth arm (see equation (10)), and
Here is the collision matrix of two electrons in arms 2 and 3 (see appendix
The expressions for the expectation values of equations (7) and (8) can be represented diagrammatically in terms of the contributing processes. In these Feynman–Keldysh diagrams, each line corresponds to a propagator G (see equation (10)), and the vertices represent tunneling. The diagrams (to leading order in tunneling matrix elements) are depicted in figure 2. There are 16 diagrams contributing to the irreducible current–current correlator. The leading diagrams (figure 2(b)) correspond to an electron in the system (going through arm 2) that maximally interacts with an electron in the detector (going through arm 3)5 .
Explicit evaluation of GCV requires the calculation of the single electron Gm and the collision matrix6 . We first compute the propagators on arms 2 (G2) and 3 (G3), where both the inter- and the intra-channel interaction is present. This yields
where are the Keldysh indices (in forward/backward basis), x and ω are the distance traveled by and the energy of the particle, and T is the temperature. We define the renormalized interaction is the Heaviside function, and
The propagators in channels 1 (G1) and 4 (G4) are obtained by substituting in equation (10). This result recovers the simple non-interacting Green function with a renormalized velocity due to intra-channel interaction. The maximal interaction between channel 2 and 3 is at (instability point). Similarly to the two-particle analysis, here too the SV limit is reached at a finite value of the inter-channel interaction.
4. Results
Plugging equations (10) and equation (D.14) to equations (7) and (8), we obtain the final expression for the GCV in equation (6). The result is depicted in figure 3. We identify a high temperature regime, ( is the time of flight through the interacting arm of MZI, ), where the GCV is exponentially suppressed by the factor due to averaging over an energy window In the opposite, low temperature limit, the phase diagram shows novel oscillatory behavior. We plot the phase diagram of GCV in a parameter space spanned by the applied voltage normalized by the temperature and the renormalized interaction strength (λ) (see figure 3). In the low voltage limit () the size of the injected wave function is large compared with L. In this limit interaction effects should be less significant. The weak-to-strong crossover is smooth in similitude to the two particle result (see equation (3)). For multiple particle interaction effects become important, and three different regimes are obtained as function of λ. Here, as function of increasing oscillatory behavior ( where J0 is the 0th order Bessel function) of the crossover from WV to SV is predicted. The behavior of the GCV in the different regimes is summarized in a phase diagram in figure 3(a), along with the dependence of the GCV on the interaction strength (figures 3(b)–(d)) and voltage bias (figure 3(e)).
Download figure:
Standard image High-resolution image5. Discussion
The oscillations found here and the physics of visibility lobes that was found experimentally [38] and studied theoretically [39–41] in the context of coherent transport through a MZI, are both related to interaction effects in an interferometry setup. To understand this similarity we employ a caricature semi-classical picture: a single particle wave-packet, whose energy components are in the interval is injected into the system MZI (arm 1 of figure 1). During its propagation through the interacting arm, its dynamics is affected by Coulomb interaction with the entire out-of-equilibrium Fermi sea of electrons inside the interaction region of the detector MZI (arm 3 of figure 1), producing a phase shift of the systems wave-packet. When this single particle wave-packet interacts with a single electron in the detector (see the discussion preceding equation (2)), its phase shift is If the detector 's arm consists of N electrons, a phase shift of is produced, giving rise to oscillations as function of the interaction strength or N. More qualitatively: the number of background non-equilibrium electrons inside the detector MZI, [39–41], splits into n and in arms 3 and 4 respectively, with probability
Neglecting, for the sake of this caricature, time dependent quantum fluctuations in the number of particles (we have treated those in full), the incremental addition to the (system) wave packet action due to an electron in arm 2 interacting with n background electrons in arm 3 is Here is the injection time of an electron wave packet. The added phase to the single particle wave-function is: It follows that the current at D2 per a specific n is The mean current is a weighted average over all and t0, leading to a lobe structure. For example, when then and the total current is where which is periodic in with a period of We can repeat the same argument for the detector MZI and obtain the same lobe structure dependence there.
Measurements on setups consisting of two electrostatically coupled MZI have been reported [32], albeit not in the context of the present work. By means of external gates one may control the magnitude of the coupling More accessible experimentally would be to fix the distance between the MZIs and observe oscillations with V at moderately low values of
The present analysis interpolates between two conceptually distinct views of measurement in quantum mechanics: the von Neumann projection postulate, and the continuous time evolution in the weak system–detector coupling limit. Admittedly these two views could be obtained as limiting cases of the same formalism. The analysis presented here demonstrates that the interpolation between the two is non-trivial. Oscillatory crossover is a unique feature of our many-body analysis. The setup chosen to demonstrate this SV-to-WV crossover consists of two coupled MZIs (the 'system' and the 'detector'). Measurements on such a setup have been reported in the literature (see e.g., [32]), with a considerable latitude of controlling the system–detector coupling. We conclude that our predictions are, then, within the realm of experimental verification.
Acknowledgments
We gratefully acknowledge discussion with Yakir Aharonov, Moty Heiblum, Itamar Sivan, Lev Vaidman and Emil Weisz. YG acknowledges the hospitality of the Dahlem Center for Complex Quantum Systems. This work is supported by the GIF, ISF and DFG (Deutsche Forschungsgemeinschaft) grant RO 2247/8-1.
Appendix A.: Derivation of the formula for two-particle GCV in terms of the irreducible correlation function
Here we present an extended derivation of equation (2). The two-particle GCV of Q2 is defined by,
This can be rewritten as,
which yields equation (2)
Appendix B.: Strong-to-weak crossover of GCV for two particle system
Here we present the derivation of GCV for two particle system (i.e. equation (3)). In accordance with equation (A.1) we compute the current–current correlator and the average current defined with respect to the density matrix
where in the last step we employed because the eigenvalues of Qi are only 0 or 1. Then
where denotes average with respect to the noninteracting setup (). Similar calculation for yields
Plugging equations (B.2) and (B.3) in equation (A.1) yields an expression for a two particle GCV
In the weak limit () this expression simplifies to
and in the strong limit ()
Appendix C.: Perturbative calculation of expectation values
In this section we derive the expression for expectation values of the current and the current–current correlator. Employing a path integral formalism, a general formula for the expectation value of an operator is
where is the full action over the Schwinger–Keldysh contour with
and
where are the Keldysh indices in forward/backward basis, m, n are the wire indices, r denotes the spacial two-vector (r = (x, t)), is the density of the particles, is the Keldysh matrix (see table C2)
and and is the inverse of the fermionic Green function for particles whose dynamics is described by which in representation is given by [42]
Here we assume the setup was in thermal equilibrium with a temperature T (described by the fermionic population function at the time , when the tunneling and the interaction g were adiabatically turned on. By assuming small tunneling the action can be expanded in power series to desired order in then equation (C.1) gets a form
where denotes averaging with respect to the action
The current in a chiral system with linear dispersion is linearly proportional to the density (). The expectation value of the density is obtained by weakly perturbing the system by a quantum potential probe Vq, which should be taken to zero at the end to restore causality [42]. Therefore, we obtain an expression for the current measured at Dm () (see figure 1)
where is the fermionic Green function of the system (averaged with respect to the full action, S) at point (x,t) of the mth arm. The trace is over the Keldysh indices, where is the Keldysh matrix (see table C1 ). For the sake of simplicity we compute first by expanding it to second (leading) order in We then employ the current conservation to find where To this order, particle tunnels twice. We employ equation (C.8) to expand in SΓ. This yields
Here
is the fermionic Green function averaged with respect to the interacting action, We perform Fourier transform over the time variable to obtain
Table C1. A list of Keldysh matrices (for fermions) in different bases of bosonic (χ) indices and fermionic indices ().
χ | (cl/q) | |
---|---|---|
+ | ||
− | ||
cl | ||
q |
Table C2. A list of Keldysh matrices (for bosons) in different bases of bosonic and indices.
χ | (cl/q) | |
---|---|---|
+ | ||
− | ||
cl | ||
q |
To find the current–current correlator, we generalize the last procedure, employing to obtain
where And
is the collision matrix. We perform Fourier transform over the time differences, such that ω2 corresponds to ω3 to and to Finally, it yields
In order to find a simpler expression for the time integral over we denote the current–current correlator by and its Fourier transform Equation (C.14) can be written in these terms as
It is easy to find an expression for by comparing equations (C.14) and (C.15). First, we write From the other hand we approximate the average by,
where we have assumed that F(t) grows much slower than and the antisymmetric part of F(t) is cancelled by the averaging. By comparing the exponentials in the two equations we obtain Then
Appendix D.: Calculation of the fermionic correlators
Here we derive the expressions for the fermionic propagator (see equation (C.10)) and the collision matrix (see equation (C.13)) averaged with respect to the action within an interacting arms (2, 3) of MZI (the propagator in arms 1 and 4 can be found by taking ). In this calculation we employ the functional bosonization approach for system out of equilibrium [43, 44]. We apply the Hubbard–Stratonovich transformation, and introduce the bosonic auxiliary field writing an action as [45]
with the notation
where
and
where we implicitely sum over the Keldysh indices (in forward/backward basis) and is the inverse of the m, n = 2, 3 submatrix of gmn (see equation (C.5)). Following the functional bosonization procedure [45], we obtain a general expression for an n-fermion correlator
where denote the Keldysh and the wire indices, is the fermionic correlator with respect to the free action
and is the Φ-field correlator with respect to the action
respectively. Here
with the polarization matrix
where the trace is taken over the Keldysh fermionic indices [42]. The θ field is defined by
where GB is the bosonic free Green function with linearized spectrum,
The action for the Φ field (see equation (D.4)) is quadratic due to Larkin–Dzyaloshinskii [46] theorem, therefore an exact expression for the Φ-field correlator is
We reduce the problem of finding an inverse of an infinite-dimensions matrix, inverting it to the finite (4) dimensions by Fourier-transforming it to a diagonal basis. Employing equation (D.6) we obtain the θ-field correlator
where we implicitly sum over the Keldysh and the wire indices. This yields,
where
and
Here, with We plug this result in equation (D.2) to compute the Green function (equation (C.10)) and the collision matrix of the particles in arms 2 and 3 (equation (C.13)). The calculation requires transformation of equations (D.10) and (D.11) to real (x , t) space. Here we present the final result,
Fourier-transforming the time coordinate yields,
with the definitions and For the sake of consistency check, And the collision matrix reads
where, and Fourier-transforming the time coordinates yields,
where we have used the short notation G is the single particle propagator given by equation (D.13), and where is given by
where is the Bose function and Equation (D.14) has a pictorial interpretation, presented in figure D1 , according to which, the particles are the dressed bosons that carry the interaction between the electrons.
Download figure:
Standard image High-resolution imageAppendix E.: Passage of the electron through the MZI: a semiclassical picture
Here we present the propagation of a localized wave packet (according to a semiclassical picture) through an interacting arm of MZI, and derive the condition to be in the semiclassical regime. We assume semiclassically a propagating rectangular shaped wave packet with a width in time domain (see figure E1 ). The propagation of the single particle wave function can be derived by convolving the initial state with the retarded Green function,
An expression for the zero temperature retarded Green function is (this is simply derived from equation (10))
where is a rectangle function. The wave packet at four different points is shown in figure E1. We observe, the wave packet has been broadened as a result of the interaction, its width in time at different space points is given by The center of mass of the wave packet then propagates with velocity Consistent with the semiclassical picture, we require the width of the wave packet to be much smaller compared with the propagation time through the MZI, From this condition we deduce, and
Download figure:
Standard image High-resolution imageAppendix F.: General GCV for an N-state system
Here we present a derivation of GCV for a general system with N-states being measured by a Gaussian detector. We show that the weak-to-strong crossover in such a case may be oscillatory with a bounded number of periods of the order of The initial state of the system is a mixed state, which is represented by the density matrix The detector is initialized in the zeroth coherent state (we denote the coherent state by ) such that its density matrix is We neglect the dynamics of the system and the detector assuming the measurement process was short in time compared to the typical timescales of the system and the detector. The coupling Hamiltonian is with are the ladder operators of the detector, and w(t) is a window function around the time of the measurement. The post-selection is represented by the projection operator, Plugging into equation (1) and considering, and yields
The numerator and the denominator consist of sums of Gaussian (in g) functions, with different coefficients and prefactors. Each Gaussian is a monotonic function (for ), thus the maximal number of extremas in the weak-to-strong crossover () is of the order of where N is the number of system's states.
Appendix G.: A full list of diagrams
Figure G1 depicts a full list of irreducible diagrams to fourth (leading) order in tunneling which should be taken in account for the current–current correlator. It is divided to diagrams with no flux dependence (see figure G1(a)), diagrams which are dependent on either or (see figures G1(b) and (c)), and diagrams which are depend on both and see figure G1(d).
Download figure:
Standard image High-resolution imageFootnotes
- 5
For these diagrams the time of the two particles being inside the interaction region is maximal; the other diagrams are almost reducible (i.e., decoupled from each other), and are thus neglected.
- 6
As each channel is only slightly perturbed out of equilibrium, methods of equilibrium bosonization may be employed.