Direct and efficient verification of entanglement between two multimode–multiphoton systems

multimode‒multiphoton systems Author(s) Kiyohara, Takayuki; Yamashiro, Naoki; Okamoto, Ryo; Araki, Hirotaka; Wu, Jun-Yi; Hofmann, Holger F.; Takeuchi, Shigeki Citation Optica (2020), 7(11): 1517-1523 Issue Date 2020-11-20 URL http://hdl.handle.net/2433/255875 Right © 2020 Optical Society of America under the terms of the OSA Open Access Publishing Agreement. Type Journal Article Textversion publisher


INTRODUCTION
The recent rapid advancement in quantum technologies is sometimes called the second quantum revolution. Among the carriers of quantum states for use in quantum technologies, photons are appealing for their stable coherence at room temperature, ease of precise control, and efficient detection using existing technologies [1,2]. Linear-optic photonic networks with multiple single-photon inputs have been applied for quantum computation [3][4][5][6], quantum communication [7,8], and quantum sensing [9,10]. For instance, boson sampling has attracted attention since the calculation of the photon number distribution of single photons with a certain linear photonic network is a classically hard task [11][12][13][14]. Furthermore, generated quantum states in multimodemultiphoton systems and the entanglement between two systems will be a useful resource for various tasks, for instance, in allphotonic quantum repeaters [15] or the remote-state preparation of quantum states [16].
Normally, entanglement is evaluated using the estimated state density matrix via quantum state tomography [17]. However, there is a critical problem in this method. The required resources for quantum state tomography increase exponentially as the number of photons or the number of modes of the system increases [18].
The problem has been addressed for a number of specific cases of multiphoton entanglement by the introduction of appropriate criteria for the detection of entanglement, represented by experimentally observable correlation sums known as entanglement witnesses. Entanglement witnesses have been formulated for multi-partite entanglement between individual photons [1,19] and for multiphoton two-mode states [20,21]. However, none of the previous approaches applied to a scalable bipartite system where both the number of photons and the number of modes in each of the two optical subsystems increase jointly. To facilitate the development of scalable multiphoton multimode entanglement, it is therefore necessary to develop the corresponding scalable entanglement criteria based on only a small number of easily realized measurements.
For this purpose, we have recently derived a statistical bound (the aforementioned entanglement witness) that can verify entanglement between two systems with an arbitrarily high number of modes and photons using only the direct detection of photon number distributions between the modes and the photon number distributions detected after using a discrete Fourier transform (DFT) of the modes [22]. For two-photon polarization entangled states, |ψ 0 = (|H |V − |V |H )/ √ 2, the entanglement can be verified by the observation of perfect anti-correlation in both of two non-orthogonal basis sets: horizontal/vertical polarizations and diagonal/anti-diagonal polarizations. In larger linear-optic networks, the DFT replaces the rotation of polarization as transformation between two mutually unbiased sets of modes. The entanglement can then be verified from just two sets of "classical correlation tables" representing the photon number distributions obtained from the original input modes and from the mutually unbiased interference of these modes in the DFT. The exponential increase in resources required for full tomography is thus replaced with an increase that is polynomial in the numbers of photons and modes.
In this paper, we report the first experimental demonstration of the verification of entanglement between two multimodemultiphoton systems. As a simple but non-trivial example, an entangled state between one photon in three modes and two photons in three modes is investigated. For the experiment, a pair of linear-optic quantum circuits for DFT for three optical modes, where a total of six multiphoton interferences occur at beam splitters (BSs), has to be implemented and stabilized with perfect phase synchronization. We have overcome this difficulty by combining the displaced-Sagnac architecture [4,9,23] and hybrid polarizing BSs [23]. In the experimental result, clear correlation can be observed in both photon number distribution tables with (K) and without (n) DFT, and the measured sum of the corresponding fidelities is F n + F K = 1.555 ± 0.018, which exceeds the lower bound, 4/3, for the verification of entanglement between the two systems with 12.3 standard deviations. Our experimental result paves the way to understanding the coherence and entanglement of multi-partite systems, not only with photons but also with other quantum resources with a large number of degrees of freedom.

A. General Theory
In quantum optics, it is well known that photon number states are highly non-classical states. One aspect of this non-classical nature is that the delocalization of a single photon between the two output ports of a 50:50 BS generates an entangled state, where the entanglement is represented by the coherent superposition of the vacuum and the single-photon state in each mode. It is therefore possible to generate scalable entanglement by simply splitting the input beams from M single-photon sources into 2M beams, which are then separated into two locations A and B. Using the photon number basis of the 2M modes, this entangled state can be written as Importantly, this superposition can be multiplied out into a superposition of product states of multiphoton multimode states at location A and the corresponding multiphoton multimode states at location B. The quantum state in Eq. (1) thus describes bipartite entanglement between the collective multimode-multiphoton system in A and the collective multimode-multiphoton system in B. Note that this kind of entanglement exists even after the total photon numbers in A and in B are determined. It is therefore possible to observe entanglement in any distribution of N photons in A and M − N photons in B as long as 1 ≤ N ≤ M − 1.
The experimental challenge posed by these entangled states is that the practical consequences can be seen only in correlated multiphoton interference effects within local systems A and B. It is possible to make these effects observable by using a mode DFT [22]. The DFT is realized by equally interfering all M input modes with a mode-dependent phase shift defined by the product of the input mode index m and the output mode index k. The transformation of multiphoton coherences can then be described by the relation between the creation operatorb † k of the DFT output modes with the creation operatorsâ † m of the input modes used to define the photon number basis of Eq. (1): It has been shown that the multiphoton coherences of an Nphoton-M-mode system in the input basis are characterized by the sum of the N output mode indices k i for the ith photon observed in the output modes of the DFT [22]. From the entangled state in Eq. (1), the sum of the mode indices k i (A) in system A and the mode indices k i (B) in system B must be a multiple of the mode number M. If N A photons are detected in the M modes of system A and N B photons are detected in the M modes of system B, the entanglement of |ψ guarantees that the outcomes satisfy the relation [22] where ν is an integer. In principle, the assignment of the particle index i is completely arbitrary, since the photons are indistinguishable. To avoid confusion, we chose to arrange the particle indices i so that k i ≤ k i+1 . Equation (3) identifies a correlation between photon number counts caused by the multiphoton coherences of the state in Eq. (1). Although the same sum of k i values can be achieved by very different photon number distributions, the relation between the sums in A and in B is sensitive to each contribution k i , and a single error of ±1 in any of the k i will result in a violation of Eq. (3). As explained in the introduction, entanglement can be verified by observing strong correlations between at least two complementary properties that are related to each other by quantum superpositions. In the present case, these correlations between complementary properties are represented by the anti-correlated distribution of photons in the input modes shown in Eq. (1) and the condition for the sums of output mode indices of the DFT shown by Eq. (3). In the absence of entanglement, the uncertainty principle puts a strict limit on correlations between the two complementary properties. This limit can be expressed in terms of the sum of the fidelities with which the intended correlations are observed. The experimental fidelity F n is defined as the probability of finding exactly one photon in each input mode m, either in A or in B. Mathematically, this condition can be expressed by M sums over the photon numbers n m (A) and n m (B), for m = 0 ∼ M − 1, where n m (A) and n m (B) are either zero or one. The fidelity F n is the probability that all M conditions are satisfied at the same time, and is given by the probability of observing the expected correlation (n A , n B ) between A and B: whereρ exp is the density operator of the experimentally generated state, n A = (n 0 (A), n 1 (A), ...) and n B = (n 0 (B), n 1 (B), ...), and S n is the set of all photon number distributions that satisfy the condition given by Eq. (4) [22]. On the other hand, F K is the probability that the single condition given by Eq. (3) is satisfied by the sum of all photon mode indices k i observed in A and B: whereÛ F is the operator describing the effects of the DFT on the photon number distribution in the output ports, and S K is the set of all photon number distributions that satisfy the condition given by Eq. (3). For separable states, the highest possible value of the fidelity sum F n + F K is achieved when F n = 1 for photon number distributions with d c different possible k values, so that the probability of satisfying Eq. (3) is 1/d c [22]. The sum of the fidelities therefore serves as an entanglement witness, where entanglement is successfully verified if the experimental data exceeds the bound Note that if M is a prime number, d c is always equal to M. A detailed discussion of the value of d c is given in Ref. [22].

B. Example: One Photon in Three Modes and Two Photons in Three Modes
The density matrix of the entangled state in Eq. (1) can be decomposed into sub-matrices of the cases that have exactly N photons in A and M − N photons in B (N = 1 to M − 1). To understand the essence of the proposed method, it is useful to limit the analysis of the entanglement to the specific distribution of input photons between systems A and B. In the following, as a simple but nontrivial example, we perform the experiment for the three-mode case (M = 3) and characterize the entangled state obtained whenever two photons are detected in A (N = 2) and one photon is detected in B, shown in Fig. 1. The ideal output state in the input mode basis is then This state describes entanglement between the six-dimensional Hilbert space of two photons in the three modes of A with the three-dimensional Hilbert space of a single photon in the three modes of B. For a state in this combination of the two Hilbert spaces, there are 18 possible outcomes, but only three of them contribute to the fidelity F n , which is given by Here, P exp. ( p A , p B ) is the pattern probability represented by the photon number distribution in A and B. If DFTs are applied to both A and B [ Fig. 1(b)], the sum of the two mode indices k i (A) in A should be related to the single-mode index k(B) of the photon in B, so that For separable states, the maximal fidelity sum is F n + F K = 4/3, achieved by product states that satisfy one of the two conditions and randomly satisfy the other condition with a probability of 1/3. Entanglement is verified if

EXPERIMENTAL DEMONSTRATION
We designed and constructed a three-mode DFT circuit. Figure 2(a) shows the three-mode DFT, consisting of linearoptical devices, namely, balanced BSs (R = 1/2), an unbalanced BS (R = 1/3), and phase shifters. Figure 2(b) shows a schematic diagram of the optical quantum circuit. Each of the three input photons is reflected and transmitted by the 50:50 BSs. For the evaluation of F n , the photons in the three optical modes in A and B are measured directly by single-photon detectors. To evaluate F K , the three optical modes in A and B are transformed by the DFT circuits, and the output photons are measured by the detectors. To evaluate the entangled state in Eq. (8), we analyzed the events where there were two photons in A and one photon in B. Note that the three phase shifters on the input side shown in Fig. 2(a) are not necessary because the phase shifters affect only the overall phase for the entanglement. In order to realize the optical circuit in Fig. 2(b), we need to stabilize the path length differences of the complicated interferometer consisting of the three BSs and the two DFT circuits. To solve this difficulty, we implemented a compact optical circuit using the polarization degree of freedom [ Fig. 2(c)] and the displaced Sagnac architecture [4,9,23] with a hybrid BS (HBS) [23] consisting of an unbalanced BS (R = 1/3) and a mirror [ Fig. 2(d)]. In this setup, all six optical modes pass though the same optical components inside the interferometer, and the optical circuit is extremely robust against drafts and vibrations of the optical components. Figure 3 shows the experimental setup. A femtosecond pulsed laser (Tsunami with second-harmonic generation, Spectra Physics, repetition rate of 82 MHz and a central wavelength of 390 nm) is used to pump a beta barium borate (BBO) crystal (type-I, thickness of 1.6 mm). The injected pump laser pulses generate photon pairs via spontaneous parametric down conversion (SPDC), in the forward direction. After passing through the BBO crystal, the pump laser is reflected by a mirror and also generates photon pairs in the backward direction [24,25]. The generated photons pass through the narrow band pass filters (center wavelength of 780 nm, FWHM of 2 nm), and are coupled into polarization maintaining fibers. One of the photons in the backward pair is detected by a single-photon detector (SPCM-AQR, Excelitas Technologies), and the output electric signal is used as a trigger. The other three photons, namely, both of the photons in the forward pair and one of the photons in the backward pair, are diagonally polarized by half-wave plates (HWPs), becoming superposition states in either horizontal or vertical polarization. To evaluate F K , the three photons are injected into the displaced Sagnac interferometer corresponding to the DFT circuits for the three optical modes in both polarization modes, as shown in Fig. 3. Note that in our experiment, the visibility of the Sagnac interferometer measured using single photons was 99.92%.
The photon number distributions in six optical modes [three spatial modes in either horizontal (system A)/vertical (system B) polarization] were obtained by nine single-photon detectors. At each of the three output modes, the polarization modes were first converted to the spatial modes by the fiber polarization BS (FPBS). Then, the horizontal polarization (system A) component was detected by two cascaded single-photon detectors after a fiber BS (FBS) in order to discriminate the photon numbers up to two, and the vertical polarization (system B) was detected by a singlephoton detector. Note that the intrinsic 50% loss of the detection efficiency for the events where two photons are in the same spatial To evaluate F n , the three diagonally polarized photons were reflected by a flip mirror at three points in front of the DFT circuit (points are indicated by "F"), and then the measurement was performed using nine single-photon detectors. In both of the above cases (with and without DFT circuits), the photon number distributions were obtained by four-fold coincidence events (two detection events among six detectors in system A, one detection event among three detectors in system B, and the trigger signal) using a time-to-digital converter (DPC-230, Becker & Hickl GmbH).

A. Verification of Entanglement
Figure 4(c) shows the experimentally obtained correlation tables between the photon number distributions for systems A and B without a DFT circuit. The table for the ideal case is shown in Fig. 4(a). In the ideal table, the probabilities for |011 A |100 B , |101 A |010 B and |110 A |001 B are all 1/3, and the probabilities for the other cases are zero. The experimental result [ Fig. 4(c)] is in good agreement with the theoretically expected distribution. From this experimentally obtained table, we can calculate F n = 0.843 ± 0.011. Hereafter, we assume Poisson statistics for evaluating the uncertainty. Figure 4(d) shows the experimentally obtained correlation tables between the photon number distributions for systems A and B with DFT circuits. The table for the ideal case is shown in Fig. 4(b), showing that the probabilities for |200 A |100 B , |020 A |010 B , |002 A |001 B |011 A |100 B , |101 A |010 B , and |110 A |001 B are 2/9 or 1/9, and the probabilities for the other cases are zero. The experimental result [ Fig. 4(d)] is in good agreement with the theoretically expected distribution. From this table, we can calculate F K = 0.712 ± 0.014. The sum of the fidelities is F n + F K = 1.555 ± 0.018, which clearly exceeds the upper bound of the separable states 4/3 with a 12.3 standard deviation. As we have seen, the existence of entanglement in the given three-photon, six-mode state is successfully verified using just two sets of correlation measurement tables and the calculated fidelities F n and F K .
In the experimental results shown in Figs. 4(c) and 4(d), there are some unexpected detection events [e.g., |200 A |100 B in Fig. 4(c) and |020 A |100 B in Fig. 4(d) for which the theoretical detection probability is zero], and slight deviations in the frequency from the ideal cases. We think these are due mainly to excess photon pair emission events from the sources and spatiotemporal mode mismatches of photons [26]. For a detailed estimation of the amount of these error sources, see Supplement 1. We numerically simulated the possible outcomes under the errors taking the excess photon pair emission events up to three pairs, the spatiotemporal mode mismatch of photons, non-ideal reflectivity of balanced/unbalanced BSs in DFT circuits, and non-uniform quantum efficiencies of detectors and non-ideal beam splitting ratios of FBSs, following the method in Ref. [27]. We performed numerical simulations, shown in Figs. 4(e) and 4(f ), which are in good agreement with the experimentally obtained results. The estimated fidelities of these numerical simulations are F K = 0.731 and F n = 0.872, which are also in good agreement with the measured fidelities, suggesting that our error analysis is reasonable. From these results, the 16% error for F n was caused mainly by excess photon pair emission from the SPDC source and the nonuniform quantum efficiency of the detectors. For the 29% error for F K , the spatiotemporal mismatch of the photons and non-ideal beam splitting ratio of the BSs in DFT contributed almost equally to the excess photon pair emission and non-uniform detection efficiencies.

B. Separable State
Finally, the experimental results for a separable state of the threephoton, six-mode state are shown in Fig. 5. For this experiment, we used exactly the same experimental setup as before, but intentionally used distinguishable photon inputs by changing the arrival times of the photons at the input to the DFT circuits. Since the temporal separation of the photons leads to a suppression of multiphoton interference effects, the experimentally obtained distribution with DFT circuits [ Fig. 5(b)] does not show the characteristic correlations of the entangled state [ Fig. 4(d)]. Instead, the result is similar to the theoretical expectation for independent single-photon interferences in the DFT shown in Fig. 5(a). The experimentally observed fidelity of the correlation between k i sums drops to F K = 0.344 ± 0.014. Since time delays do not change the correlations observed without the DFT, the results in Fig. 4(c) can be used to evaluate the sum of the fidelities, F n + F K = 1.187 ± 0.018, which is 8.1 standard deviations below the upper bound of 4/3 for separable states. Here too, the numerical simulation taking the effect of the excess photon pair emission events from the sources and the spatiotemporal mode mismatch of photons shown in Fig. 5(c) and the calculated fidelity F K = 0.333 is in good agreement with the experimental results.

CONCLUSION
In conclusion, we have reported the experimental demonstration of direct and efficient verification of entanglement between two multimode-multiphoton systems, using just two sets of classical correlation tables by using DFT circuits. As a simple but nontrivial case, an entangled state between one photon in three modes and two photons in three modes was investigated, and a clear correlation was observed in the photon number distribution tables, both with (K) and without (n) DFT, and the measured sum of the two fidelities was F n + F K = 1.555 ± 0.018, which exceeds 4/3, the upper bound for the separable, with a 12.3 standard deviation, successfully demonstrating verification of the entanglement in the given three-photon, six-mode state. Furthermore, we performed experiments using separable states of photons and confirmed that the sum of the experimentally obtained fidelities, 1.187 ± 0.018, did not exceed the upper limit of 4/3.
Our results successfully demonstrate that the entanglement between two high-dimensional systems realized by multiple photons in multiple modes can be performed with just two sets of correlation table measurements using DFTs, which is a dramatic reduction in the required resources compared to the normally used quantum state tomography. In principle, our scheme is scalable since DFT circuits for any number of modes M can be constructed using linear optics [28]. For future implementation in larger scale systems, an on-chip photonic quantum circuit is a promising candidate [29][30][31]. The demonstrated scheme can be applied not only to photonic systems but also to other quantum resources with high-dimensional degrees of freedom.