Abstract
Entanglement of photons is a fundamental feature of quantum mechanics, which stands at the core of quantum technologies such as photonic quantum computing, communication, and sensing. An ongoing challenge in all these is finding an efficient and controllable mechanism to entangle photons. Recent experimental developments in electron microscopy enable to control the quantum interaction between free electrons and light. Here, we show that free electrons can create entanglement and bunching of light. Free electrons can control the second-order coherence of initially independent photonic states, even in spatially separated cavities that cannot directly interact. Free electrons thus provide a type of optical nonlinearity that acts in a nonlocal manner, offering a way of heralding the creation of entanglement. Intriguingly, pre-shaping the electron’s wavefunction provides the knob for tuning the photonic quantum correlations. The concept can be generalized to entangle not only photons but also photonic quasiparticles such as plasmon-polaritons and phonons.
Similar content being viewed by others
Explore related subjects
Find the latest articles, discoveries, and news in related topics.Introduction
Developed at the beginning of the twentieth century, quantum mechanics had by now changed the way we see the world. At the second half of the century, it gave birth to the fields of quantum optics and quantum information. One of the fundamental elements of quantum mechanics is the idea of entanglement, which is a nonlocal quantum correlation between different particles. This fundamental feature gave rise to numerous ideas in quantum technologies such as quantum teleportation1, quantum communication2, quantum cryptography3,4, and quantum computation5,6,7,8. Photons are the fastest information carriers, have a very weak coupling to the environment, and thus are central to many areas of quantum technologies. Entanglement between two photonic states is at the core of photonics-based quantum technologies, such as quantum teleportation9,10, communication11,12,13,14,15,16, sensing17, imagining18, metrology19, cryptology20, and photon-based quantum computers21,22. Therefore, ways to induce entanglement between photons or create entangled light sources have numerous applications in modern quantum technologies.
The conventional approach for creating entangled light uses linear optical operations such as beam splitters, or optical nonlinearities such as spontaneous parametric down-conversion. Linear optical operations23,24,25 cannot effectively entangle multi-photon states, and techniques based on nonlinearities26,27,28,29,30 are limited to specific wavelengths and typically suffer from low efficiencies. Thus, methods to create multiple-photon entangled states with non-trivial statistics have practical and fundamental importance. Our work proposes a way to entangle and bunch photonic states using free electrons.
The interaction of coherent free electrons with light can be described using the theory of photon-induced nearfield electron microscopy31,32,33,34,35,36,37. This interaction provides the ability to coherently shape a free electron’s wavefunction38,39,40 using femtosecond-pulsed lasers, as was shown experimentally in ultrafast transmission electron microscopes (UTEMs)41,42,43. This phenomenon was initially observed and described only for classical coherent-state light. However, recent works brought the electron–light interaction into the field of quantum optics44,45,46, predicting theoretically47,48,49 and demonstrating experimentally50 electron–light interactions with different quantum states of light.
The interaction of a quantum light state and a free electron exchanges quantum information between the light and the electron. This idea has opened possibilities for using electrons to create quantum states of light48, and a proposal to induce quantum correlations between different electrons interacting with the same photonic cavity45. Moreover, electrons with wavefunctions that are coherently shaped by light can also create entanglement of electrons with optical excitations51,52 or directly between separated qubits53,54. These ideas show how free-electron interactions open research directions in quantum optics and quantum information.
However, from a fundamental perspective, all free-electron-based light-matter interactions so far were proposed to create entanglement in matter (qubits53, free electrons45) rather than in light. This has left free-electron approaches outside an entire area of quantum optics: the creation of entangled light. We propose the use of free electrons as an approach to address this fundamental challenge—creating desired states of multiple-photon entangled light.
Here we show that free electrons can entangle different photonic states (Fig. 1), even when they are spatially separated as with two different photonic cavities. Specifically, we find that post-selection of specific electron energies after the interaction enables creating even stronger entanglement. Importantly, the electron measurement enables heralding the successful creation of entanglement, as well as the bunching and anti-bunching of light. We find the underlying condition to enable the exchange of quantum information: the electron’s coherent energy uncertainty must be smaller than the energy of an individual photon. Using this condition, we propose a way by which free electrons can generate second-order correlations in light, making spatially separated light states bunched or anti-bunched. We propose a practical scheme—similar to the Hanbury Brown and Twiss (HBT) experiment55—that can be implemented in current setups (e.g., in UTEMs). There, we theoretically show how initially independent (i.e., uncorrelated) light sources can be correlated or anti-correlated using free electrons.
The general concept (a) can be implemented for electron interactions with different systems: photonic crystal cavities (b), silicon-photonic waveguides (c), and even other types of photonic quasiparticles57 such as phonons (d), which may entangle the temperatures of spatially separated objects. e One specific experimental setup that can demonstrate the general concept is the ultrafast transmission electron microscope (UTEM), where electrons can interact with evanescent fields and induce quantum correlations between these fields. Here, the two photonic states are created by having a light pulse split into two parts that undergo total internal reflection in two locations inside a prism (similar to59). Another relevant scheme was shown feasible in36 using classical light.
Our approach has several attractive features connected with the nature of free electrons: electrons are ultrafast and thus enable the creation of quantum correlations between short pulses of light. Free electrons can also interact with any light frequency, are easy to detect56 for post-selection and heralding of quantum light, and their wavefunction can be shaped49,57,58 to provide additional degrees-of-freedom for controlling quantum correlations. In this manner, free electrons could be envisioned as carriers of quantum information, acting as a type of nonlinear optical medium—one with a nonlocal optical response—with prospects to create phenomena such as quantum teleportation.
Looking at the bigger picture, our concept is directly applicable to the interaction of any quantum particle with any bosonic/photonic quasiparticle (e.g., plasmons, excitons, magnons, and phonons57). It is exciting to contemplate the broad range of systems that adhere to the general schemes we propose in Fig. 1; for example, electron-phonon interactions can be induced with the exact same formalism (Fig. 1d), creating correlations between the entropy of phonons even in spatially separated solids, practically entangling their temperatures too.
Results
Interactions of free electrons with two photonic states
To model quantum electron–light interactions and their quantum correlations, we define our Hilbert space as the tensor product of He ⊗ Hph and more generally \(H_{{{\mathrm{e}}}} \otimes H_{{{{\mathrm{ph}}}}_1} \otimes H_{{{{\mathrm{ph}}}}_2} \otimes \ldots\), with He being the Hilbert space of the electron, and \(H_{{{{\mathrm{ph}}}}_i},i = 1,2, \ldots\) the Hilbert spaces of each photonic state. To account for the possibility of multiple electron interactions, we use the density-matrix formalism that includes mixed photonic states that cannot be described by a wavefunction. In the case of two photonic cavities, we describe the initial state using the following density matrix:
with the final equality based on the (realistic) assumption that the initial electron and photon states are separable before any interaction occurs. The basis of the photonic states consists of the Fock states |n1〉, |n2〉. The basis of the electron state consists of |k〉, being the state of the electron with energy E0 + ℏωk. The integer k represents the displacement of the electron energy in units of the light energy quanta ℏω, relative to the central energy E0 (known as the zero-loss peak).
We assume that the electron’s central energy is much larger than the photon energy E0 ≫ ℏω and that the electron energy uncertainty is smaller than the light quanta. These assumptions enable defining the electron states |k〉 as discrete. The assumptions are all satisfied in current electron microscopy experiments36,41,50,59 that have interactions with photonic excitations that are typically in the optical range. This is exactly the case in all theoretical and experimental papers in the field31,32,37. In the rest of the paper, we use this assumption to model all electrons as having discrete energies. This way, we can consider as initial conditions both conventional monoenergetic electron states |0〉 (“unshaped”, the spectrum contains only a single energy peak), or “shaped” electron states that appear as coherent superpositions of multiple electron energy states.
The state of the system after one interaction with an electron is
where Uφ is the free space propagation (FSP) operator which affects the electron state in the manner of \(U_\varphi \left| {E_k} \right\rangle = {{{\mathrm{e}}}}^{ - {{{\mathrm{i}}}}\varphi k^2}\left| {E_k} \right\rangle\). φ is defined by \(\varphi = 2\pi \frac{z}{{z_D}},\) with z being the propagation distance and \(z_D = 4\pi \gamma _0^3m_ev^3/\hbar \omega ^2\). me is the electron mass, v its velocity, and γ0 its Lorentz factor. During FSP, each electron energy component accumulates phase at a different rate, as was demonstrated inside electron microscopes and other systems36,60,61. S1 and S2 are the scattering matrices describing the quantum electron–photon interaction of swift electrons interacting with phase-matched bosonic modes45:
gQ is the coupling strength, which can be defined as an integral on the electric field along the electron trajectory (considering the second quantized field that corresponds to a single photon excitation)35,45. \(a_i^{\dagger}\),ai are the photonic creation/annihilation operators of the bosonic modes with quantized energy ℏω; b†,b describe the translation in momentum (or equivalently energy) of the electron, which can be defined as b†|k〉 = |k + 1〉, b|k〉 = |k − 1〉, where the state |0〉 is the state of a monoenergetic electron with initial energy E0 and |n〉 is a monoenergetic electron with energy |E0 + nℏω〉. Equivalently, one can write b = exp(iωz/v) where z is the position operator of the electron in the first quantization and v is the average velocity of the electron beam57. We note that the b,b† operators are not fermionic creation and annihilation operators. Due to the standard approximation used to derive Eq. (3), these operators commute ([b,b†] = 0), which is opposite from the case of fermion operators that anticommute.
The required assumptions to derive Eq. (3) is that the initial electron energy E0 is much larger than ℏω, and that the electron is paraxial, i.e., the momentum in the transverse direction is negligible compared to the momentum along the z axis. These assumptions allow us to: (1) perform the paraxial approximation and reduce the dynamics of the electron to a 1D problem and (2) linearize the dispersion relation of the electron around its initial energy E0, which allows us to relate the momentum translation operator b to an energy ladder operator with equal energy spacings. Those assumptions are well justified under the typical condition inside transmission electron microscopes35,50, and recently also scanning electron microscopes62. A detailed derivation and discussion of the assumptions can be found in section 1 of the Supplementary Material of 45.
Because the operators of the light and the electron commute, [a, b] = 0, we can represent the scattering matrices as a sum of the multiplication of two commuting operators—one for the light and one for the electron. Consequently, we develop an efficient representation of the interaction with multiple cavities:
The \(A_k^\varphi\) operators contain only the photonic creation/annihilation operators \(a_i^{\dagger}\),ai. The complete derivation can be found in Supplementary Note 1.1.
This approach allows us to investigate and simulate many interactions of consecutive electrons with one or more photonic states. Next, we investigate induced correlations between two states of light for two different options: (1) when not measuring the electron’s energy and tracing it out after each interaction; (2) when measuring the electron after the interaction and post-selecting on certain desired energy values.
Inducing photon correlations using free electrons
In this section, we show how a free-electron interaction can correlate two states of light even without measuring the electron state after the interaction (i.e., without post-selection). A strong entanglement is possible when post-selecting on the electron energy measurement (shown in the next section). It was shown that electrons of narrow energy distribution (i.e., a single energetic state, a Kronecker “delta” electron, described by the zero-loss energy |E0〉) can induce entanglement between the electron and a photonic state45. This discovery motivates utilizing electrons to create quantum correlations between the photonic cavities. In the language of quantum information, we regard the two photonic states as the principal system and the electron as the environment63. Since the electron does not have to be measured following the interaction, the system is generally an open quantum system. After each electron passed by, we trace it out to find the density matrix of the photonic system \(\rho_{{{{\mathrm{ph}}}}_1,{{{\mathrm{ph}}}}_2}^{\left({m + 1} \right)} = {{{\mathrm{Tr}}}}_{{{\mathrm{e}}}}\left({\rho^{\left({{{\mathrm{m}}}}\right)}}\right) = \mathop {\sum}\nolimits_{k = -\infty}^\infty \left\langle k \right|\rho^{\left(m\right)}\left| k \right\rangle\). We then repeat the calculation with the next electron (an illustration is provided in Fig. 2a).
a Interaction scheme. After each interaction of an electron and the two photonic states, we trace out the electron. In certain cases, we then input another electron into the system and repeat. b The quantum mutual information as a function of the number of interactions increases with the number of interactions, indicating that correlations are induced. c Statistic of two coherent states with α1 = 2 and α2 = 3 after m = 0, 50, 100 consecutive interactions with free electrons. d P(n1,n2) − P(n1) ⋅ P(n2) after m = 0, 50, 100 consecutive interactions with free electrons increases and indicates correlations. The coupling strength in figures (b–d) is gQ = 0.1.
The electron index that interacts with the light is represented by m = 0, 1, 2, .. with m = 0 being the initial state before any interaction (i.e., |E0〉). The joint photonic state after m consecutive electrons can be written as an operator-sum representation 63,64:
while the \(A_k^\varphi\) operators, known as operation elements or Kraus operators, contain only the photonic creation/annihilation operators \(a_i^{\dagger}\),ai and are defined in Eq. (5). The complete derivation can be found in Supplementary Note 1.2. Using this approach, one can describe the dynamics of the principal system (the two states of light) without explicitly considering the properties of the environment (the free electrons). This way, we investigate the photonic states’ properties, such as quantum correlations and statistics, after many interactions.
We examine the difference between the joint-photonic probability distribution P(n1,n2) (which is depicted in Fig. 2c) and the multiplication of the individual photonic probability distributions P(n1)P(n2). P(n) is defined as the probability to have n photons in the photonic state. The difference increases with each electron interaction, indicating correlations between the photonic states as depicted in Fig. 2d. We can also quantify the correlations using the quantum mutual information63 between the two states of light (Fig. 2b), indicating that the photonic states become dependent on each other and increasingly so following more electron interactions. Note that these correlations are not necessarily quantum. Testing whether the correlations are truly quantum requires different criteria, as discussed below.
To check whether we have entanglement between the two photonic cavities in this case, we use two criteria from quantum information: the Peres–Horodecki criterion for entanglement65,66 and the realignment criterion67,68. Both are sufficient but not necessary conditions for entanglement. Generally, the problem of verifying entanglement of mixed states is an NP-hard problem69. Since we are dealing with mixed states in an infinite Hilbert space, no current criterion can provide necessary conditions for entanglement. For example, the Peres-Horodecki and realignment criteria give a near-zero result, meaning that they did not exclude entanglement, yet they also could not distinguish whether the correlations in Fig. 2 represent entanglement or just classical correlations. Thus, further research on the amount of entanglement created by the scheme without post-selection such as we present here is a formidable task and left for future research. We show below that modifying the experiment to use electron post-selection avoids this inconclusive situation, creating states of light that are strongly entangled.
A key requirement for the transfer of information between the cavities is for the electron to undergo a certain distance of FSP between the interactions. Without this evolution, electrons cannot mediate any influence of the first photonic state on the second one. We can explain this lack of influence by noticing that the absolute value of the electron’s wavefunction is not modulated after a coherent electron–photon interaction36 and rather requires FSP for the modulation to arise. Since the electron–light interaction only depends on the electron’s amplitude (rather than its phase), the FSP stage is necessary. From a mathematical point of view, the key to the lack of induced correlations in the case of no FSP is that S1, S2 commute, [S1, S2] = 0 (see Supplementary Note 2). Consequently, without FSP, there is complete symmetry between the two photonic states, and the theory does not change if one would replace the order of interactions or even if they both happen simultaneously.
To transfer quantum information between the cavities, we can shape the electron’s amplitude in a manner that depends on the first cavity state, imprinting the information on the electron’s wavefunction, so it is transferred to the second cavity. Returning to the mathematical point of view, the addition of FSP breaks the symmetry in the problem, since the FSP operator does not commute with the S1, S2 operators.
The electron can give/take net energy to the second photonic state depending on the first photonic state, as shown in Fig. 3. It is interesting to consider whether such an effect can occur in the opposite direction, i.e., transferring energy backward through the induced entanglement. It is not trivial but possible to prove that regardless of the quantum state of the interacting electron, one cannot transfer energy backward. For the analytical proof and more information regarding this subject, see Supplementary Note 3. These results show how a natural arrow of time emerges from the order of entanglement events. Thanks to the specific commutation relations, the electron interaction can be described as occurring first with cavity ph1 and afterward with cavity ph2, creating a notion of causality as a result of the induced entanglement.
The schemes show two experiments with identical parameters, except for the first cavity’s initial light state. The first interaction creates a joint entangled state of the electron and the cavity state. The second interaction transfers information to the second cavity. The first interaction can be understood as shaping of the electron wavefunction49 that can then alter the statistics of the second cavity. a, b The same initial (unshaped) electron interacts with two cavities. Each scheme presents a different light state in the first cavity. The initial light statistic in the first cavity: a coherent state with α = 5 (c) or a Fock state with one photon (d). e, f The electron is shaped by the light state in the first cavity. g, h The light statistic in the second cavity for both experiments is a Fock state with one photon. It is modified in a way that depends on the state of light in the first cavity. i, j The final light statistics in the second cavity, plotted after 20 consecutive electron interactions, showing a clear difference that arises from the difference in light statistics in the first cavity. The interaction strength is gQ = 0.2.
Entanglement between photonic states using post-selection
Strong quantum correlations can be induced by post-selecting on the electron’s energy after one interaction (as proposed recently for the generation of entanglement between qubits46.) This approach allows the creation of quantum entanglement between many photons and even creating Bell states of light. This can be realized inside transmission electron microscopes because of the precision of the electron energy spectrometer that can measure a single event and distinguish the number of photons exchanged.
We begin with an electron at the zero-loss energy |E0〉 that interacts with two arbitrary states of light as seen in Fig. 4a. After one interaction, we measure the electron with a projection operator of one defined energy, E0 − kℏω, where k is an integer. Using the Ak operators defined above in Eq. (5), the density matrix of the remaining light state after the post-selection can be expressed as
where \(\rho _{{{{\mathrm{ph}}}}}^{\left( 0 \right)} = \rho _{{{{\mathrm{ph}}}}1}^{\left( 0 \right)} \otimes \rho _{{{{\mathrm{ph}}}}2}^{\left( 0 \right)}\) is the initial density matrix of the two states of light. The probability to post-select the electron with the requested energy is (see Supplementary Note 1.3)
a A scheme of the proposed experiment, where an (unshaped) electron interacts with two Fock states of light and is then measured with an electron energy spectrometer. The electron spectrometer enables post-selection of events in which an integer number of photons k were emitted by the electron. b Each electron energy is entangled to a different photonic state after the interaction. c A map of the probability to post-select the electron with energy E0 − ℏω (i.e., k = 1) after one interaction for different initial parameters. The x axis is the number of photons in each photonic Fock state. The y axis is the interaction strength gQ. d A map of the entropy of entanglement between the two states of light after post-selecting on electrons with energy E0 − ℏω (i.e., k = 1). The axes are the same as in b. In both panels, we mark interesting initial parameters (one of them is discussed in the text and represents the creation of a Bell state).
After the measurement, the remaining joint light state is a pure state. In this case, we can quantify the entanglement between the two states of light by using the entropy of entanglement70,71. The entropy of entanglement is the von Neumann entropy72 of the reduced density matrix for any of the subsystems: For a pure state ρAB = |ψ〉〈ψ|AB, S(ρA) = −Tr(ρA logρA) = S(ρB). In our case, the two subsystems are the two states of light. If the entropy of entanglement is non-zero, i.e., the subsystem is in a mixed state, it indicates that the two subsystems are entangled.
Figure 4 shows that the free-electron interaction can induce quantum entanglement between any two general states of light, even ones with multiple photons. In addition, the electron is heralding the creation of entanglement and its amount when it is detected, providing a non-destructive measurement method for heralding of the entangled light. Specifically, when measuring the electron with electron energy loss spectroscopy, one can tell precisely which photonic parameters to expect and when the entanglement is occurring with femtosecond time resolution 31,36.
Let us focus on a particular case of this result—the creation of a Bell state. An electron with initial energy |E0〉 goes through two empty cavities and is later measured with energy E0 − ℏω. the post-selected state of light will be a Bell state \(\left| {\psi _{{{{\mathrm{ph}}}}}} \right\rangle = \frac{1}{{\sqrt 2 }}( {\left| 0 \right\rangle _{{{{\mathrm{ph}}}}_1}\left| 1 \right\rangle _{{{{\mathrm{ph}}}}_2} + \left| 1 \right\rangle _{{{{\mathrm{ph}}}}_1}\left| 0 \right\rangle _{{{{\mathrm{ph}}}}_2}}).\) The probability of achieving this entangled state is ~2|gQ|2 for |gQ| ≲ 0.2, and the maximum value of this probability is P = 0.37, for gQ = 0.7. this value of gQ can already be achieved in current experiments73. The full derivation can be found in Supplementary Note 4. Figure 4c, d presents maps of the post-selection probability and entanglement entropy as a function of gQ and the number of photons. Such experiments can be performed in current setups with repetition rates of few MHz50, with higher repetition rates possible using different ultrafast microscopy techniques74,75,76, and with continuous-wave operation recently shown possible50,77).
Hanbury Brown and Twiss type experiment using free electrons
Until now, we have seen how one can use free electrons to create entanglement, with or without post-selecting them. Let us look at these experiments through the lens of quantum optics by imagining the following gedanken experiment: the initial photonic state is sent through a beam splitter into two interaction points with additional relative phase ϕ. A second-order correlation between the two light states is detected, using the following definition of second-order correlations:
where 〈ai〉 = Tr(ρiai), 〈ni〉 = Tr(ρini), 〈n1 n2〉 = Tr(ρ12 n1 n2) This measurement scheme is analogous to the HBT experiment55, except for the induced correlations arising from the free electrons’ interactions. In addition, it provides a way to examine how free electrons can correlate or anticorrelate light.
We can consider the interaction of the same two states of light with multiple electrons if they arrive as a dilute beam so that we can neglect the Coulomb interaction between them. Assuming the beam carries m such electrons, and assuming that they are initially unshaped, the problem turns out to be analytical and straightforward using the Heisenberg picture. The initial second-order correlation function is \(g_0^{\left( 2 \right)} = \frac{{\left\langle {n_1n_2} \right\rangle ^{\left( 0 \right)}}}{{\left\langle {n_1} \right\rangle ^{\left( 0 \right)}\left\langle {n_2} \right\rangle ^{\left( 0 \right)}}}\). After m electron interactions, we achieve the following second-order correlation (see Supplementary Note 5):
This formula shows that even for photonic states that were initially uncorrelated, i.e., \(g_0^{\left( 2 \right)} = 1\), or for empty cavities, consecutive interactions can induce second-order correlations between them (Fig. 5a).
a An analog of the Hanbury Brown and Twiss (HBT) experiment, into which we add photon correlations through the interaction with free electrons. A scheme that can be implemented in current electron microscopes: two separated light pulses interact with consecutive (unshaped) electrons. g(2) for the light created in two initially empty cavities after electron interactions as a function of the number of electrons (b), showing that second-order correlations can be induced when starting from vacuum fluctuations. Map of g(2) for any two initially uncorrelated states of light (c). The result is independent of the specific states of light, only depending on the number of electrons and the average photon number (through the parameter 〈n〉|gQ|−2). For many electrons, g(2) → 2, the light becomes bunched, thermalized, and second-order correlations are induced. The comparison of electrons with narrow energy uncertainty (d) and wide energy uncertainty (g) shows that for a coherent uncertainty wider than the photon energy ℏω, interaction cannot induce quantum correlations. The lack of correlations is seen in g(2) in h. It is possible to imitate the effect of a wide-uncertainty electron by instead creating a “comb” electron (i)45,59. The second-order correlation g(2) can be modified by consecutive interactions as shown in e, starting by two classical coherent states of light, and plotting g(2) after N = 1 and N = 5000 interactions. For large N,g(2) → 2, the light becomes bunched and thermalized. For a smaller number of interactions, it is possible to achieve g(2) < 1, an anti-bunched light, depending on the relative phase ϕ between the two states of light. α is the coherent state parameter and gQ is the coupling strength. A map of g(2) after one interaction is shown in f, demonstrating the role of the relative phase of light ϕ and the phase φ accumulated by the free-space propagation (FSP) of the electron between the two points of interaction. The interaction strength is gQ = 0.4.
Interestingly, inserting FSP between the two interactions, we find that the FSP phase plays a similar role to the relative phase between the states of light (Fig. 5f). Therefore, one can alternate between these two experimental knobs—creating the delay between the states of light by altering the actual light path or delaying the electron between the interactions (FSP). These ideas provide degrees of freedom to shape the light statistics, induce second-order correlations, and create anti-bunched light.
Shaping the electron wavefunction to control correlations
We found that the induced correlations strongly depend on the shape of the electron wavefunctions and the quantum state of the light. An electron cannot induce quantum correlations when its coherent energy uncertainty is comparable or bigger than the photon energy (Fig. 5g, h). This concept is analogous to a similar uncertainty-width-dependence found in electron radiation mechanisms78. Electrons of wide coherent energy uncertainty, or equivalently, “comb” electrons that are made from a series of energy peaks, ℏω apart, with a constant phase difference between them (Fig. 5i, as demonstrated recently59), cannot induce second-order correlations. Instead, their interaction with each cavity is equivalent to performing a displacement operator on the state of light in that cavity45,48, maintaining a separable joint state.
In contrast to the interactions of wide-uncertainty electrons, narrow-uncertainty electrons can be used to control the quantum state of light and achieve non-trivial photon statistics. When starting from an initially classical (coherent state) light, the electron can modify the correlations by creating anti-bunching (i.e., g(2) < 1). For this to occur, we must set a certain delay that creates a relative phase difference ϕ between the two states of light, as shown in Fig. 5e. Another way of achieving the relative phase needed for anti-bunching is delaying the electron between the interactions, as shown in Fig. 5f.
Discussion
Our work proposes a way to create entanglement, bunching, and anti-bunching of light. We predict that coherent free electrons can entangle two spatially separated states of light, with the electron’s energy uncertainty altering the level of entanglement. From a fundamental perspective, this shows that electron–photon interactions can create a type of nonlinearity, which is nonlocal and creates quantum correlations between separate photonic quasiparticles. Our proposed concepts can be implemented in state-of-the-art experiments such as in ultrafast transmission electron microscopy, which implement coherent electron–photon interactions 31,32,33,34,35,36,37,43.
We emphasize that post-selecting on the electron’s energy enables the creation of strong entanglement of photonic states, heralded by the measurement of the electron. Furthermore, pre-shaping of the electron’s quantum state can control the quantum correlations. This way, one can use the electron to control the quantum shape of light and modify classical light sources into quantum. Our findings provide a step towards a bigger goal: inventing methods to create many-photon entangled states with non-trivial statistics. This approach is of fundamental interest for a wide range of applications of quantum technologies, such as photonic quantum computing.
We found that the electron can transfer information between two photonic states through its entanglement with both of them, in a process akin to quantum-teleportation. This process is possible only if the distance between the cavities is large enough such that electron dispersion has time to alter the electron’s spatial shape. In that case, the order of interactions affects the result in a way that spawns a natural arrow of time in the problem. As an example of its consequences, when the distance between interactions is negligible (equivalent to a simultaneous interaction), the electron cannot exchange any information or energy between the cavities. The distance between interactions limits the transfer of information between the cavities.
These results can be extended beyond photonic cavities, for example, to electron–phonon interactions and to electron–qubit interactions, generalizing the results of previous works53,54. Looking forward, we envision future quantum optical experiments based on networks of electrons and photons, creating high-dimensional hyper-entanglement that involve cluster states of spatially separated photonic states.
Methods
Evolution of the states of light in terms of Kraus maps
This section of Methods presents the formalism developed for the predictions in the manuscript, evolving the light density matrix without considering the electron, in the case of a monoenergetic electron with energy E0. We consider each free electron as the noise and the two states of light as the system. We then compute the evolution of the system only with a Kraus map63,64. The evolution of the combined system of the electron and two photonic states follows the following unitary operators: S1 and S2 for the electron interaction with the two photonic states, and Uφ for free-space propagation. As detailed in Supplementary Note 1.1, the multiplication of these provides:
while the Ak operators contain only the photonic creation/annihilation operators \(a_i^{\dagger}\),ai and defined in Eq. (5); b describes the translation in momentum (or equivalently energy) of the electron. The light density after the interaction without measuring the electron (i.e., tracing out the electron) is given in terms of the Ak operators:
Thus, the Ak operators are the Kraus operators of this problem and obey the completeness relation: \(\mathop {\sum}\nolimits_{k = - \infty }^\infty {} A_k^{\varphi {\dagger} }A_k^\varphi = I\). This method can be used to evaluate the photonic density matrix after the interaction of one state of light with a monoenergetic electron, without measuring the electron (i.e., tracing out the electron):
Moreover, the same method can be used to evaluate the joint state of the two states of light after the interaction and the post-selection of the electron’s energy E0 − kℏω:
while initially \(\rho _{{{{\mathrm{ph}}}}}^{\left( 0 \right)} = \rho _{{{{\mathrm{ph}}}}1}^{\left( 0 \right)} \otimes \rho _{{{{\mathrm{ph}}}}2}^{\left( 0 \right)}\). The mathematical proof can be found in Supplementary Note 1.3.
Methods to check entanglement
To check the entanglement in the joint photonic pure state after post-selecting the electrons, we used the entropy of entanglement71,72. The entropy of entanglement is an entanglement measure for bipartite pure states. It is defined via the von Neumann entropy of one of the reduced states. For a pure state ρAB, the entanglement entropy is given by: S(ρA) = −Tr(ρA log ρA) = −Tr(ρB log ρB) = S(ρB). We used Eq. (8) to simulate the final density matrix of light after the post-selection.
To check the entanglement in the joint photonic mixed state after tracing out the electrons, we used the Peres–Horodecki criterion for entanglement65,66 and the realignment criterion67. Both are necessary conditions for the joint density matrix of two quantum systems to be separable (i.e., not entangled) but not sufficient. To find them, we numerically calculated the final density matrix of the light joint state, using Eq. (7), and used the functions IsPPT, Negativity, Realignment, and TraceNorm in the QETLAB toolbox68.
Heisenberg picture
To calculate the analogy of second-order coherence between two photonic states, we used the Heisenberg picture. The Heisenberg picture is a formulation of quantum mechanics in which the operators incorporate a dependency on time, but the state vectors are time-independent. Throughout the paper, we used the following identity:
while S is the scattering matrix describing the quantum electron–photon interaction; a is the photonic annihilation operator; b describes the translation in momentum (or energy) of the electron; gQ is the interaction strength. The full mathematical proof can be found in Supplementary Note 5.1.
Numerical calculation
All the numerical calculations in the main text were performed using MATLAB and the QETLAB toolbox for quantum entanglements68.
Data availability
The data that support the findings of this study are available from the corresponding author upon request.
Code availability
The codes used for numerical analysis are available from the corresponding author upon request.
References
Nilsson, J. et al. Quantum teleportation using a light-emitting diode. Nat. Photonics 7, 311 (2013).
Harrow, A., Hayden, P. & Leung, D. Superdense coding of quantum states. Phys. Rev. Lett. 92, 187901 (2004).
Ekert, A. K. Quantum cryptography based on Bell’s theorem. Phys. Rev. Lett. 67, 661 (1991).
Gisin, N., Goire Ribordy, G., Tittel, W. & Zbinden, H. Quantum cryptography. Rev. Mod. Phys. 74, 145 (2002).
Menicucci, N. C. et al. Universal quantum computation with continuous-variable cluster states. Phys. Rev. Lett. 97, 110501 (2006).
Kok, P. et al. Linear optical quantum computing with photonic qubits. RMP 79, 135 (2007).
Aspuru-Guzik, A. & Walther, P. Photonic quantum simulators. Nat. Phys. 8, 285–291 (2012).
Khasminskaya, S. et al. Fully integrated quantum photonic circuit with an electrically driven light source. Nat. Photonics 10, 727 (2016).
Wang, X. L. et al. Quantum teleportation of multiple degrees of freedom of a single photon. Nature 518, 7540 (2015).
Bennett, C. H. et al. Teleporting an unknown quantum state via dual classic and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett. 70, 1895 (1993).
Brendel, J., Gisin, N., Tittel, W. & Zbinden, H. Pulsed energy-time entangled twin-photon source for quantum communication. Phys. Rev. Lett. 82, 2594 (1999).
Long, G. L. & Liu, X. S. Theoretically efficient high-capacity quantum-key-distribution scheme. Phys. Rev. A. 65, 032302 (2002).
Deng, F. G., Long, G. L. & Liu, X. S. Two-step quantum direct communication protocol using the Einstein-Podolsky-Rosen pair block. Phys. Rev. A. 68, 042317 (2003).
Chen, S. S., Zhou, L., Zhong, W. & Sheng, Y. B. Three-step three-party quantum secure direct communication. Sci. China-Phys. Mech. Astron. 61, 090312 (2018).
Qi, Z. et al. A 15-user quantum secure direct communication network. Light Sci. Appl. 10, 183 (2021).
Zhou, L., Sheng, Y. B. & Long, G. L. Device-independent quantum secure direct communication against collective attacks. Sci. Bull. 65, 12 (2020).
Degen, C. L., Reinhard, F. & Cappellaro, P. Quantum sensing. RMP 89, 035002 (2017).
Lugiato, L. A., Gatti, A. & Brambilla, E. Quantum imaging. J. Opt. B: Quantum Semiclass. Opt. 4, S176 (2002).
Giovannetti, V., Lloyd, S. & MacCone, L. Advances in quantum metrology. Nat. Photonics 5, 222 (2011).
Beveratos, A. et al. Single photon quantum cryptography. Phys. Rev. Lett. 89, 187901 (2002).
Braunstein, S. L. & van Loock, P. Quantum information with continuous variables. Rev. Mod. Phys. 77, 513 (2005).
Zhong, H.-S. et al. Quantum computational advantage using photons. Science 370, 6523 (2020).
Li, X., Voss, P. L., Sharping, J. E. & Kumar, P. Optical-fiber source of polarization-entangled photons in the 1550 nm telecom band. Phys. Rev. Lett. 94, 053601 (2005).
Krischek, R. et al. Ultraviolet enhancement cavity for ultrafast nonlinear optics and high-rate multiphoton entanglement experiments. Nat. Photonics 4, 170 (2010).
Zhang, J. et al. High yield and ultrafast sources of electrically triggered entangled-photon pairs based on strain-tunable quantum dots. Nat. Commun. 6, 10067 (2015).
Kiesel, N., Schmid, C., Tóth, G., Solano, E. & Weinfurter, H. Experimental observation of four-photon entangled dicke state with high fidelity. Phys. Rev. Lett. 98, 063604 (2007).
Valencia, A., Ceré, A., Shi, X., Molina-Terriza, G. & Torres, J. P. Shaping the waveform of entangled photons. Phys. Rev. Lett. 99, 243601 (2007).
Baek, S. Y., Kwon, O. & Kim, Y. H. Temporal shaping of a heralded single-photon wave packet. Phys. Rev. A. 77, 013829 (2008).
Mosley, P. J. et al. Heralded generation of ultrafast single photons in pure quantum states. Phys. Rev. Lett. 100, 133601 (2008).
Wieczorek, W. et al. Experimental observation of an entire family of four-photon entangled states. Phys. Rev. Lett. 101, 010503 (2008).
Barwick, B., Flannigan, D. J. & Zewail, A. H. Photon-induced near-field electron microscopy. Nature 462, 902 (2009).
Garcia De Abajo, F. J., Asenjo-Garcia, A. & Kociak, M. Multiphoton absorption and emission by interaction of swift electrons with evanescent light fields. Nano Lett. 10, 1859 (2010).
García De Abajo, F. J., Barwick, B. & Carbone, F. Electron diffraction by plasmon waves. Phys. Rev. B. 94, 041404 (2016).
Piazza, L. et al. Simultaneous observation of the quantization and the interference pattern of a plasmonic near-field. Nat. Commun. 6, 6407 (2015).
Feist, A. et al. Quantum coherent optical phase modulation in an ultrafast transmission electron microscope. Nature 521, 7551 (2015).
Priebe, K. E. et al. Attosecond electron pulse trains and quantum state reconstruction in ultrafast transmission electron microscopy. Nat. Photonics 11, 793 (2017).
Park, S. T., Lin, M. & Zewail, A. H. Photon-induced near-field electron microscopy (PINEM): theoretical and experimental. N. J. Phys. 12, 123028 (2010).
Vanacore, G. M. et al. Attosecond coherent control of free-electron wave functions using semi-infinite light fields. Nat. Commun. 9, 2694 (2018).
Vanacore, G. M. et al. Ultrafast generation and control of an electron vortex beam via chiral plasmonic near fields. Nat. Mater. 18, 573 (2019).
Echternkamp, K. E., Feist, A., Schäfer, S. & Ropers, C. Ramsey-type phase control of free-electron beams. Nat. Phys. 12, 1000 (2016).
Lobastov, V. A., Srinivasan, R. & Zewail, A. H. Four-dimensional ultrafast electron microscopy. PNAS 102, 7069–7073 (2005).
Zewail, A. H. Four-dimensional electron microscopy. Science 328, 5975 (2010).
Polman, A., Kociak, M. & García de Abajo, F. J. Electron-beam spectroscopy for nanophotonics. Nat. Mater. 18, 1158 (2019).
Pan, Y. & Gover, A. Spontaneous and stimulated emissions of a preformed quantum free-electron wave function. Phys. Rev. A. 99, 052107 (2019).
Kfir, O. Entanglements of electrons and cavity photons in the strong-coupling regime. Phys. Rev. Lett. 123, 103602 (2019).
di Giulio, V., Kociak, M. & de Abajo, F. J. G. Probing quantum optical excitations with fast electrons. Optica 6, 1524 (2019).
Gorlach, A. et al. Ultrafast non-destructive measurement of the quantum state of light using free electrons. http://arXiv.org/quant-ph/2012.12069 (2020).
Ben Hayun, A. et al. Shaping quantum photonic states using free electrons. Sci. Adv. 7, eabe4270 (2021).
Di Giulio, V. & García de Abajo, F. J. Free-electron shaping using quantum light. Optica 7, 1820 (2020).
Dahan, R. et al. Imprinting the quantum statistics of photons on free electrons. Science 373, 6561 (2021).
Mechel, C. et al. Quantum correlations in electron microscopy. Optica 8, 70 (2021).
Karnieli, A., Rivera, N., Arie, A. & Kaminer, I. Superradiance and subradiance due to quantum interference of entangled free electrons. Phys. Rev. Lett. 127, 060403 (2021).
Zhao, Z., Sun, X.-Q. & Fan, S. Quantum entanglement and modulation enhancement of free-electron-bound-electron interaction. Phys. Rev. Lett. 126, 233402 (2020).
Ruimy, R., Gorlach, A., Mechel, C., Rivera, N. & Kaminer, I. Towards atomic-resolution quantum measurements with coherently-shaped free electrons. Phys. Rev. Lett. 126, 233403 (2021).
Hanbury Brown, R. & Twiss, R. Q. Correlation between photons in two coherent beams of light. J. Astrophys. Astron. 15, 13 (1994).
Egerton, R. F. Electron energy-loss spectroscopy in the TEM. Rep. Prog. Phys. 72, 016502 (2008).
Rivera, N. & Kaminer, I. Light–matter interactions with photonic quasiparticles. Nat. Rev. Phys. 2, 538 (2020).
Reinhardt, O. & Kaminer, I. Theory of shaping electron wavepackets with light. ACS Photonics 7, 2859 (2020).
Dahan, R. et al. Resonant phase-matching between a light wave and a free-electron wavefunction. Nat. Phys. 16, 1123 (2020).
Morimoto, Y. & Baum, P. Diffraction and microscopy with attosecond electron pulse trains. Nat. Phys. 14, 252 (2018).
Kozák, M., Schönenberger, N. & Hommelhoff, P. Ponderomotive generation and detection of attosecond free-electron pulse trains. Phys. Rev. Lett. 120, 103203 (2018).
Shiloh, R., Chlouba, C., Hommelhoff, P. Quantum-coherent light-electron interaction in an SEM. http://arXiv.org/physics.optics/2110.00764 (2021).
Nielsen, M. A., & Chuang, I. L. Quantum Computation and Quantum Information. (CUP, 2010).
Kraus, K., Böhm, A., Dollard, J. D., & Wootters, W. H. States, Effects, and Operations: Fundamental Notions of Quantum Theory, 190 (Springer-Verlag, 1983).
Peres, A. Separability criterion for density matrices. Phys. Rev. Lett. 77, 1413 (1996).
Simon, R. Peres-Horodecki separability criterion for continuous variable systems. Phys. Rev. Lett. 84, 2726 (2000).
Chen, K. & Wu, L.-A. A matrix realignment method for recognizing entanglement. Quantum Inform. Comput. 3, 193 (2003).
Nathaniel Johnston. QETLAB: a MATLAB toolbox for quantum entanglement, version 0.9. (2016).
Haddadi, S. & Bohloul, M. A brief overview of bipartite and multipartite entanglement measures. Int. J. Theor. Phys. 57, 3912 (2018).
Vidal, G. Entanglement monotones. J. Mod. Opt. 47, 355 (2000).
Vedral, V., Plenio, M. B., Rippin, M. A. & Knight, P. L. Quantifying entanglement. Phys. Rev. Lett. 78, 2275 (1997).
Petz, D. Entropy, von Neumann and the von Neumann Entropy, 8 (Springer-Dordrecht, 2001).
Adiv, Y. et al. 2D Cherenkov radiation and its photonic quantum nature. Optical Society of America. FM1L.6 (2021).
van Rens, J. F. M., Verhoeven, W., Kieft, E. R., Mutsaers, P. H. A. & Luiten, O. J. Dual mode microwave deflection cavities for ultrafast electron microscopy. Appl. Phys. Lett. 113, 163104 (2018).
Verhoeven, W., van Rens, J. F. M., Kieft, E. R., Mutsaers, P. H. A. & Luiten, O. J. High quality ultrafast transmission electron microscopy using resonant microwave cavities. Ultramicroscopy 188, 85 (2018).
Verhoeven, W. et al. Design and characterization of dielectric filled TM110 microwave cavities for ultrafast electron microscopy. Rev. Sci. Instrum. 90, 083703 (2019).
Henke, J.-W. et al. Integrated photonics enables continuous-beam electron phase modulation. Nature 600, 653 (2021).
Karnieli, A., Rivera, N., Arie, A. & Kaminer, I. The coherence of light is fundamentally tied to the quantum coherence of the emitting particle. Sci. Adv. 7, eabf8096 (2021).
Acknowledgements
The authors thank Prof. Itai Arad and Sari Hleihil for fruitful discussions. This work was supported by the ERC starting grant NanoEP (Grant No. 851780) and the Horizon FET grant SMART-electron (Grant No. 964591). I.K. and A.G acknowledge the support of the Azrieli Fellowship. G.B. would like to acknowledge the support of the Technion Excellence Program for undergraduate students.
Author information
Authors and Affiliations
Contributions
G.B., R.R., A.G., and I.K. initiated and devised this work. G.B., A.G. and R.R. developed the theory. G.B. performed the numerical simulations. All authors made significant contribution to the work and were involved in interpreting the results and writing the 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.
Supplementary information
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
Baranes, G., Ruimy, R., Gorlach, A. et al. Free electrons can induce entanglement between photons. npj Quantum Inf 8, 32 (2022). https://doi.org/10.1038/s41534-022-00540-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41534-022-00540-4
- Springer Nature Limited