arxiv:1709.04837v1 [quant-ph] 14 sep 2017 · arxiv:1709.04837v1 [quant-ph] 14 sep 2017 extended...

13
arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin 1 and Ryosuke Shimizu 2, 1 Laboratory of Optical Information Technology, Wuhan Institute of Technology, Wuhan 430205, China 2 The University of Electro-Communications, 1-5-1 Chofugaoka, Chofu, Tokyo, Japan (Dated: November 8, 2018) The classical Wiener-Khinchin theorem (WKT), which can extract spectral information by clas- sical interferometers through Fourier transform, is a fundamental theorem used in many disciplines. However, there is still need for a quantum version of WKT, which could connect correlated biphoton spectral information by quantum interferometers. Here, we extend the classical WKT to its quantum counterpart, i.e., extended WKT (e-WKT), which is based on two-photon quantum interferometry. According to the e-WKT, the difference-frequency distribution of the biphoton wavefunctions can be extracted by applying a Fourier transform on the time-domain Hong-Ou-Mandel interference (HOMI) patterns, while the sum-frequency distribution can be extracted by applying a Fourier transform on the time-domain NOON state interference (NOONI) patterns. We also experimentally verified the WKT and e-WKT in a Mach-Zehnder interference (MZI), a HOMI and a NOONI. This theorem can be directly applied to quantum spectroscopy, where the spectral correlation information of biphotons can be obtained from time-domain quantum interferences by Fourier transform. This may open a new pathway for the study of light-matter interaction at the single photon level. PACS numbers: 42.65.Lm, 03.65.Ud, 42.50.St, 42.50.Dv Introduction The Wiener-Khinchin theorem (WKT), which expresses the power spectrum in terms of the au- tocorrelation function by Fourier transformation, was proved by N. Wiener [1] and by A. Khinchine [2] in the 1930s. The WKT is a fundamental theorem used in many disciplines, such as statistics, signal analysis and optics, etc. Especially in modern optics, thanks to the Wiener- Khinchin theorem, the interferometric spectrometer tech- nology (also called Fourier transform spectrometry) has been well established [3]. For example, it is possible to extract the spectral information of light by making a Fourier transform on its time-domain Mach-Zehnder interference (MZI) or Michelson interference (MI) pat- terns. Such interferometric spectrometers are especially useful for simultaneously collecting high spectral resolu- tion data over a wide spectral range. This provides a sig- nificant advantage over a dispersive spectrometer which measures intensity over a narrow range of wavelengths at a time. The Fourier Transform Infrared Spectroscopy (FTIR) has been commercially used in chemical analysis, polymer testing and pharmaceutical analysis, etc. [4]. With the development of quantum optics in the last several decades, several new interferometries have been demonstrated, such as the Hong-Ou-Mandel interference (HOMI) [5] and NOON state interference (NOONI) [6] using biphotons from spontaneous parametric down con- version (SPDC). The HOMI has been widely used in quantum optical coherence tomography [7], dispersion cancellation [8, 9], tests of the indistinguishability of two incoming photons [10–15], measurement of the bipho- ton wave function [16], frequency conversion [17], and discrete frequency modes generation [18]. The NOONI has been widely used in quantum lithography [6, 19], quantum high-precision measurement [20], quantum mi- croscopy [21–23], and error correction [24]. These two kinds of biphoton interferometries are totally quantum effect [25], which is different from the classical one-photon MZI patterns. This naturally gives rise to the ques- tion: Is it possible to construct a quantum interferomet- ric spectrometer based on the quantum interference pat- terns? In other words, what kind of spectral information can be extracted from the time-domain biphoton HOMI and NOONI patterns? To answer this question in this work, we first provide a multi-mode theory for the MZI, HOMI and NOONI, with the model shown in Fig. 1(a-c). Then, we expand the classical WKT based on MZI into an extended WKT (e-WKT) based on HOMI and NOONI. Using this e- WKT, it is possible to extract the difference- or sum- frequency information between the constituent photons from the time-domain HOMI and NOONI patterns. Fi- nally, we verified our theory experimentally by measuring the MZI/HOMI/NOONI patterns and two-photon spec- tral intensity distribution. Theory In this Letter, we expanded the traditional WKT to its quantum version. First, let us consider the classical WKT in the scenario of an MZI as shown in Fig. 1(a). As calculated in the Supplementary Infor- mation, in an MZI, the one-photon detection probability is determined by P 1 (τ )= 1 2 [1 + −∞ |f 1 (ω)| 2 cos(ωτ )], (1) where f 1 (ω) is the one-photon spectral amplitude. The conventional WKT can be written in the form of Fourier transform: F 1 (ω) ≡|f 1 (ω)| 2 = 1 2π −∞ dτG 1 (τ )e iωτ , (2)

Upload: others

Post on 10-Oct-2020

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

arX

iv:1

709.

0483

7v1

[qu

ant-

ph]

14

Sep

2017

Extended Wiener-Khinchin theorem for quantum spectral analysis

Rui-Bo Jin1 and Ryosuke Shimizu2, ∗

1Laboratory of Optical Information Technology, Wuhan Institute of Technology, Wuhan 430205, China2The University of Electro-Communications, 1-5-1 Chofugaoka, Chofu, Tokyo, Japan

(Dated: November 8, 2018)

The classical Wiener-Khinchin theorem (WKT), which can extract spectral information by clas-sical interferometers through Fourier transform, is a fundamental theorem used in many disciplines.However, there is still need for a quantum version of WKT, which could connect correlated biphotonspectral information by quantum interferometers. Here, we extend the classical WKT to its quantumcounterpart, i.e., extended WKT (e-WKT), which is based on two-photon quantum interferometry.According to the e-WKT, the difference-frequency distribution of the biphoton wavefunctions canbe extracted by applying a Fourier transform on the time-domain Hong-Ou-Mandel interference(HOMI) patterns, while the sum-frequency distribution can be extracted by applying a Fouriertransform on the time-domain NOON state interference (NOONI) patterns. We also experimentallyverified the WKT and e-WKT in a Mach-Zehnder interference (MZI), a HOMI and a NOONI. Thistheorem can be directly applied to quantum spectroscopy, where the spectral correlation informationof biphotons can be obtained from time-domain quantum interferences by Fourier transform. Thismay open a new pathway for the study of light-matter interaction at the single photon level.

PACS numbers: 42.65.Lm, 03.65.Ud, 42.50.St, 42.50.Dv

Introduction The Wiener-Khinchin theorem (WKT),which expresses the power spectrum in terms of the au-tocorrelation function by Fourier transformation, wasproved by N. Wiener [1] and by A. Khinchine [2] in the1930s. The WKT is a fundamental theorem used in manydisciplines, such as statistics, signal analysis and optics,etc. Especially in modern optics, thanks to the Wiener-Khinchin theorem, the interferometric spectrometer tech-nology (also called Fourier transform spectrometry) hasbeen well established [3]. For example, it is possibleto extract the spectral information of light by makinga Fourier transform on its time-domain Mach-Zehnderinterference (MZI) or Michelson interference (MI) pat-terns. Such interferometric spectrometers are especiallyuseful for simultaneously collecting high spectral resolu-tion data over a wide spectral range. This provides a sig-nificant advantage over a dispersive spectrometer whichmeasures intensity over a narrow range of wavelengthsat a time. The Fourier Transform Infrared Spectroscopy(FTIR) has been commercially used in chemical analysis,polymer testing and pharmaceutical analysis, etc. [4].

With the development of quantum optics in the lastseveral decades, several new interferometries have beendemonstrated, such as the Hong-Ou-Mandel interference(HOMI) [5] and NOON state interference (NOONI) [6]using biphotons from spontaneous parametric down con-version (SPDC). The HOMI has been widely used inquantum optical coherence tomography [7], dispersioncancellation [8, 9], tests of the indistinguishability of twoincoming photons [10–15], measurement of the bipho-ton wave function [16], frequency conversion [17], anddiscrete frequency modes generation [18]. The NOONIhas been widely used in quantum lithography [6, 19],quantum high-precision measurement [20], quantum mi-croscopy [21–23], and error correction [24]. These two

kinds of biphoton interferometries are totally quantumeffect [25], which is different from the classical one-photonMZI patterns. This naturally gives rise to the ques-tion: Is it possible to construct a quantum interferomet-ric spectrometer based on the quantum interference pat-terns? In other words, what kind of spectral informationcan be extracted from the time-domain biphoton HOMIand NOONI patterns?

To answer this question in this work, we first providea multi-mode theory for the MZI, HOMI and NOONI,with the model shown in Fig. 1(a-c). Then, we expandthe classical WKT based on MZI into an extended WKT(e-WKT) based on HOMI and NOONI. Using this e-WKT, it is possible to extract the difference- or sum-frequency information between the constituent photonsfrom the time-domain HOMI and NOONI patterns. Fi-nally, we verified our theory experimentally by measuringthe MZI/HOMI/NOONI patterns and two-photon spec-tral intensity distribution.

Theory In this Letter, we expanded the traditionalWKT to its quantum version. First, let us consider theclassical WKT in the scenario of an MZI as shown inFig. 1(a). As calculated in the Supplementary Infor-

mation, in an MZI, the one-photon detection probabilityis determined by

P1(τ) =1

2[1 +

∫ ∞

−∞dω |f1(ω)|2 cos(ωτ)], (1)

where f1(ω) is the one-photon spectral amplitude. Theconventional WKT can be written in the form of Fouriertransform:

F1(ω) ≡ |f1(ω)|2 =1

∫ ∞

−∞dτG1(τ)e

iωτ , (2)

Page 2: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

2

BS1

D3

2

3

4

t

&

D4

BS2 BS1

D1

SPDC

s

i

1

2

&

D2

t

SPDC

s

i

BS1

D

1

2

3 t

BS2 Signal

s

(a) (b) (c)

FIG. 1. Model of the experimental setup. (a) Mach-Zehnder interferometer (MZI), (b) Hong-Ou-Mandel interferometer(HOMI), (c) NOON-state interferometer (NOONI). s and i indicate the signal and idler photons. Both the signal and idlerphotons from SPDC are used for HOMI and NOONI, while only the signal photons are used for MZI.

where F1(ω) ≡ |f1(ω)|2 is the one-photon spectral in-

tensity, and G1(τ) ≡∫∞−∞ dω |f1(ω)|2 e−iωτ denotes the

first-order correlation function. Here we adopt the defi-nition of P (τ) = 1

2 [1 +Re{G1(τ)}], which is identical tothat in Ref. [26]. Based on this WKT, we can extractthe frequency information of the photon source from thetime-domain MZ interference pattern.Next, we consider the quantum counterpart of WKT,

i.e., the e-WKT, which is based on HOMI shown inFig. 1(b) and NOONI shown in Fig. 1(c). As calculatedin the Supplementary Information, the two-photondetection probability P±

2 (τ) is

P±2 (τ) = 1

2 [1±∫∞−∞

∫∞−∞ dωsdωi|f2(ωs, ωi)|2

cos[(ωs ± ωi)τ ]],(3)

where f2(ωs, ωi) is the two-photon spectral amplitude forthe signal photon with a frequency of ωs and idler photonwith a frequency of ωi. P

+2 is for NOONI, while P−

2 isfor HOMI. The e-WKT can also be written in the formof a Fourier transform:

F±2 (ω±) =

1

∫ ∞

−∞dτG±

2 (τ)eiω±τ , (4)

where ω± = ωs ± ωi and F±2 (ω±) ≡

12

∫∞−∞ dω∓|f2(ωs, ωi)|2 is the sum- or difference-

frequency spectrum intensity of the two-photon state,i.e., the projection of |f2(ωs, ωi)|2 onto the diagonal oranti-diagonal axis. G±

2 (τ) ≡∫∞−∞ dω±F2(ω±)e

−iω±τ is

the second-order correlation function. G+2 is for NOONI,

while G−2 is for HOMI. P±

2 (τ) = 12 [1 ± Re{G±

2 (τ)}].Based on this e-WKT, we can obtain the sum- (differ-ential) frequency information of the two-photon sourcefrom the time-domain NOONI (HOMI) pattern.Experiment and Results Next, we experimentally

compare the e-WKT in Eq.(4) with the WKT in Eq.(2).First, we carry out three types of interference experi-ments, i.e., MZI, HOMI and NOONI in the time domain;and we perform Fourier transformation on the time do-main data so as to obtain the spectral information, es-pecially the spectral bandwidths. Secondly, we measurethe two-photon spectral intensity (TSI) distribution ofour biphotons from SPDC; and we project the TSI dataonto the x-axis, the diagonal axis and the anti-diagonal

axis, respectively, so as to obtain the spectral bandwidthon each axis. Finally, we verify the e-WKT and WKT bycomparing the experimentally measured spectral band-widths and those calculated using e-WKT or WKT.

The setups for measuring the MZI, HOMI and NOONIare shown in Fig. 2, and are similar to the setups re-ported in previous studies [27, 28]. Pulses of 120-fs inlength at 792 nm are used to pump a 30-mm-long PP-KTP crystal for a type-II collinear SPDC. The PPKTPcrystal can satisfy the group-velocity-matching (GVM)condition at telecom wavelength [29–34]. Thanks to theGVM condition, we can manipulate two-photon spectraldistributions and generate biphotons with positive spec-tral correlation. In practice, the FWHM of F+

2 is deter-mined by the pump laser spectrum while that of F−

2 isdetermined by the crystal length. The signal and idlerphotons generated from SPDC have the degenerate wave-lengths and orthogonal polarizations. To compensate fortheir different group velocities due to the birefringence ofthe nonlinear crystal, the downconverted biphotons passthrough a timing compensator which is composed of a po-larization beam splitter (PBS0), two quarter wave plates(QWP, at 45 ◦) and two mirrors. One of the mirrors isset on a stepping motor to prepare an optical path delayof ∆L1. Then, the polarizations of biphotons are mixedat a half wave plate (HWP1, at 0 ◦ for HOMI, or at 22.5 ◦

for NOONI) before they are input into a Michelson inter-ferometer that has the same configuration as the timingcompensator. After that, the polarizations of biphotonsare mixed again at HWP2 (fixed at 22.5 ◦) and separatedat PBS2. Finally all the photons are coupled into twosingle-mode fibers (SMF) and detected by two InGaAsavalanche photodiodes (APDs), which are connected toa coincidence counter. This setup is versatile: by keepingHWP1 at 0 ◦, the setup is for HOMI; by rotating HWP1to 22.5 ◦, the setup can measure NOONI; by blocking onearm of the delay line (∆L1), the setup is ready for a one-photon MZI. So, this setup can realize all the models inFig. 1.

The measured interference patterns are shown inFig. 3(a1-c1). The MZI pattern in Fig. 3(a1) is fitted bya Gaussian function with a full-width-at-half maximum(FWHM) of 405 fs and visibility of 97.5 ± 0.5 % for theupper and lower envelopes. The HOMI in Fig. 3(b1) has

Page 3: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

3

QWP

PBS0

M

HWP1

HWP2 QWP

Delay ( L1)

Delay ( L2)

PBS1

PBS2

SMF

SMF

APD

APD

Coincidence

PPKTP ML-Ti:S Laser

M

M

FIG. 2. The experimental setup. M = mirror, QWP = quarter wave plate, HWP = half wave plate, PBS = polarization beamsplitter, SMF = single-mode fiber, APD = avalanche photodiode.

1.0 0.5 0.0 0.5 1.0

0.0

0.2

0.4

0.6

0.8

1.0

Frequency 1 ps

Intensity

Optical path delay (um) -100 -50 0 50 100

Time delay (fs) -400 -200 0 200 400

4k

2k

Sin

gle

co

un

ts (

cps)

6k

0 (a1)

Optical path delay (um) -4000 -2000 0 2000 4000

800

400

200

0

Co

inci

de

nce

co

un

ts i

n 5

se

c

600

Time delay (ps) -10 0 10

(b1)

Optical path delay (um) -100 -50 0 50 100

Time delay (fs) -400 -200 0 200 400

300

200

100

0

Co

inci

de

nce

co

un

ts (

cps)

(c1)

10 5 0 5 10

0.0

0.2

0.4

0.6

0.8

1.0

Frequency 1 ps

Intensity

10 5 0 5 10

0.0

0.2

0.4

0.6

0.8

1.0

Frequency 1 ps

Intensity

(a2) (b2) (c2)

Frequency detuning (THz) Frequency detuning (THz) Frequency detuning (THz)

FIG. 3. The time domain interference patterns and their Fourier transformed frequency distribution. The first row shows theexperimentally measured interference patterns: (a1) Mach-Zehnder interference pattern, (b1) Hong-Ou-Mandel interferencepattern, (c1) NOON state interference pattern. The visibility and temporal FWHM (∆τ ) are shown in each figure. The figuresin the second row (a2, b2, c2) show the corresponding frequency distribution, calculated from interference patterns (a1, b1, c1)by the Fourier transformation. The spectral FWHM (∆ν) is shown in each figure.

Page 4: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

4

a triangle profile with an FWHM of 4 ps and visibilityof 94.8 ± 0.8%. The NOONI in Fig. 3(c1) is fitted bya triangle function with an FWHM of 202 fs and visi-bility of 89.7 ± 2.4%. The uncertainties for the visibil-ity were added by assuming Poissonian statistics of thecoincidence counts. Although we can estimate a cen-ter frequency of the spectral peak from a fringe period,it is hard to determine the spectral peak position withhigh accuracy due to the instability of the interferometersover the long accumulation time in the photon countingmeasurements. Thus, here we focus on extracting thespectral shape, and just adopt the envelop shape of theinterference patterns.

Figure 3(a2-c2) shows the corresponding frequency dis-tribution, which is calculated from the interference pat-terns by the Fourier transformation. Figure 3(a2) showsthe corresponding spectral information of Fig. 3(a1), withan FWHM of 2.2 THz in frequency. Figure 3(b2) has asinc2 profile with an FWHM of 0.22 THz in frequency,which is determined by its Fourier transform pair, i.e.,the triangle-profile data in Fig. 3(b1). Figure 3(c2) alsohas a Gaussian distribution with an FWHM of 4.4 THz.

Secondly, we measured the TSI in an experiment usingthe same setup as reported in previous studies [27, 29].The TSI is measured by using two center-wavelength-tunable bandpass filters (BPF), which have a filter func-tion of Gaussian shape with an FWHM of 0.56 nm and atunable central wavelength from 1560 nm to 1620 nm [27–29]. The two single photon detectors used in this mea-surement are two InGaAs avalanche photodiode (APD)detectors (ID210, idQuantique), which have a quantumefficiency of around 20% with a dark count around 2 kHz.To measure the TSI of the photon pairs, we scannedthe central wavelength of the two BPFs, and recordedthe coincidence counts. The two BPFs were moved 0.1nm per step and 60 by 60 steps in all. The coincidencecounts were accumulated for 5 seconds for each point.The measured TSI is shown in Fig. 4(a), and was ob-tained by scanning two center-wavelength-tunable band-pass filters. The projected spectral distribution onto thex-axis, anti-diagonal direction and diagonal-direction arelabeled in Fig. 4(a) and in Figs. 4(b-d), respectively. Thecorresponding FWHM values are 18.2 nm (2.18 THz), 1.9nm (0.23 THz) and 24.6 nm (2.95 THz), respectively.

Finally, we compared the spectrally measured FWHMvalues from the TSI data with the FWHM values calcu-lated using e-WKT or WKT in Table I. The first rowin Table I shows the ∆t, which is the FWHM of theMZI/HOMI/NOONI patterns in Figs. 3(a1-c1). The sec-ond row shows the corresponding frequency bandwidth inFigs. 3(a2-c2), as calculated from interference patterns byFourier transformation. The third row shows the FWHMof the projection distributions in Figs. 4(b-d).

The classical WKT is well verified using the data inthe first column in Table I, since the 2.2 THz bandwidthfrom the MZI data corresponds well with the 2.18 THz

bandwidth from the TSI data. The e-WKT values fordifferential frequency distribution are also well verifiedusing data in the second column. The 0.22 THz band-width from the HOMI data corresponds well with the2.23 THz bandwidth from the TSI data, proving the va-lidity of our theory. The data in the third column alsopartially verified the e-WKT for the sum frequency dis-tribution, since the 4.4 THz bandwidth from the NOONIdata is a little bigger than the 2.95 THz using TSI data.This may have been due to the fact that the InGaAsAPDs have a large dark count (around 2 kHz), a low de-tection efficiency (around 20%) and a strong wavelengthdependency of the detection efficiency around 1600 nm,and as a result, the large background counts decreasedthe FWHM along the diagonal-direction in the TSI mea-surement. The sum frequency bandwidth of 4.4 THz,obtained from e-WKT, is in good agreement with the the-oretically expected value. This means that measurementthrough e-WKT provides accurate spectral informationwhile the direct spectral measurements may suffer fromthe detector characteristics.

Discussion The e-WKT expressed in Eq.(4) and thetraditional WKT (in Eqs.(2)) are unified in form. Boththe WKT and e-WKT correspond to one-dimensionalFourier transform, which builds a bridge between thespectral distribution in intensity and time-domain inter-ference patterns. However, the WKT deals with uncor-related photons, while the e-WKT is used with corre-lated biphotons. In the e-WKT, the TSI (in intensity,not amplitude) is directly related to the time-domain in-terference patterns. This feature is of great importance,because there is no need to measure the amplitude infor-mation, which is usually phase-sensitive and difficult tomeasure experimentally.

It should be noted that, in the deduction of the e-WKT in Eq.(4), we assumed the SPDC source had asymmetric distribution, i.e., f(ωs, ωi) = f(ωi, ωs). Underthis condition, the e-WKT has a quite simple and elegantform. If this condition is not satisfied, however, Eq.(4)will have a more complex form, which we will address ina future work.

We can now answer the question posed in the intro-duction: It is indeed possible to realize a quantum in-terferometric spectroscopy that can extract difference-or sum-frequency information between two photons fromthe time-domain HOMI and NOONI patterns. Basedon the classical WKT, it is possible to reconstruct thespectral information of optical pulses by doing MZI. Inanother words, we built a classical interferometric spec-troscopy technology based on WKT. Base in turn on thise-WKT, it is possible to establish a quantum interfer-ometric spectroscopy technology, and many promisingapplications become possible. One immediate applica-tion of the e-WKT is for nonlinear spectroscopy at thesingle photon level, such as for entangled photon gener-ation using an excitonic system [35]. Although exciton

Page 5: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

5

nm

(2.95 THz)

(d)

nm

(0.23 THz)

(c)

1560 1570 1580 1590 1600 1560

1570

1580

1590

1600

Signal wavelength (nm)

Idle

r w

ave

len

gth

(n

m)

300

200

100

0

192 191 190 189 188 187

192

191

190

189

188

187

Signal frequency (THz)

Idle

r fr

eq

ue

ncy

(T

Hz)

(b)

nm

(2.18 THz)

(a)

Co

inci

de

nce

co

un

ts

Wavelength (nm)

Frequency (THz)

0

1k

2k

3k

1560 1570 1580 1590 1600 0

1k

2k

192 191 190 189 188 187

1550 1570 1590 1610

193 191 189 187

Frequency (THz) Frequency (THz)

193 191 189 187

1550 1570 1590 1610

12k

8k

4k

0

Wavelength (nm) Wavelength (nm)

FIG. 4. The experimental TSI and its projections onto three axes. (a) The experimentally measured two-photon spectralintensity (TSI) of the signal and idler photons from SPDC. The projections of the TSI onto the x-axis (b), anti-diagonal axis(c) and diagonal axis (d) are shown. The corresponding FWHM values are 18.2 nm (2.18 THz), 1.9 nm (0.23 THz) and 24.6nm (2.95 THz), respectively.

Time domaininterference data

FWHM

MZI

∆t = 405 fsHOMI

∆t = 4.0 psNOONI

∆t = 202 fs

Expectedfrequency widthusing (e-)WKT

MZI

∆ν = 2.2 THzHOMI

∆ν = 0.22 THzNOONI

∆ν = 4.4 THz

Frequency domainTSI dataFWHM

Project on x axis

∆λ = 18.2 nm∆ν = 2.18 THz

Project on anti-diagonal

∆λ = 1.9 nm∆ν = 0.23 THz

Project on diagonal

∆λ = 24.6 nm∆ν = 2.95 THz

TABLE I. Comparison of the time domain data and spectral domain data. The parameters in the first row are from Figs. 3(a1-c1). The parameters in the second row are from Figs. 3(a2-c2). The parameters in the third row are from Figs. 4(b-d).

physics has been well-studied by classical spectroscopy,a spectral entanglement of photons may contain rich in-formation on excitonic properties, which never extractby classical spectroscopy, and allow us to discuss a newtype of light-matter interaction. The Fourier transformspectroscopy based on the e-WKT is expected to be apowerful tool for investigating nonlinear light-matter in-teractions at the single photon level. In the future, wemay apply this technique not only for biphotons fromcondensed matter but also for faint emissions from bio-logical samples.

Conclusion We theoretically and experimentallydemonstrated an extended Wiener-Khinchin theorem (e-WKT) . Unlike the classical WKT, which can bridgethe time-domain autocorrelation function and frequency-domain spectral intensity by Fourier transform for theclassical uncorrelated photons, this new theorem can es-tablish such a bridge for the quantum correlated bipho-tons: the sum- or difference-frequency information be-tween the constituent photons can be extracted fromthe time-domain HOMI or NOONI patterns. This theo-rem can be directly applied to quantum spectroscopy inwhich the spectral correlation information of biphotonscan be obtained from time-domain quantum interferenceby Fourier transform.

Acknowledgements We thank Zhen-Yu Wang and

Wenxian Zhang for helpful discussions. R.S. acknowl-edges support from the Research Foundation for Opto-Science and Technology, Hamamatsu, Japan. R.J. is sup-ported by a fund from the Educational Department ofHubei Province, China (Grant No. D20161504).

∗ Corresponding author: [email protected][1] N. Wiener, Acta Mathematica 55, 117 (1930).[2] A. Khintchine, Mathematische Annalen 109, 604 (1934).[3] S. P. Davis, M. C. Abrams, and J. W. Brault, Fourier

Transform Spectrometry (Academic Press, 2001).[4] P. R. Griffiths and J. A. De Haseth, Fourier Transform

Infrared Spectrometry, 2nd ed., edited by J. D. Wineford-ner (Wiley, 2007).

[5] C. K. Hong, Z. Y. Ou, and L. Mandel, Phys. Rev. Lett.59, 2044 (1987).

[6] A. N. Boto, P. Kok, D. S. Abrams, S. L.Braunstein, C. P. Williams, and J. P. Dowling,Phys. Rev. Lett. 85, 2733 (2000).

[7] M. B. Nasr, B. E. A. Saleh, A. V. Sergienko, and M. C.Teich, Phys. Rev. Lett. 91, 083601 (2003).

[8] J. D. Franson, Phys. Rev. A 45, 3126 (1992).[9] A. M. Steinberg, P. G. Kwiat, and R. Y. Chiao, Phys.

Rev. A 45, 6659 (1992).[10] C. Santori, D. Fattal, J. Vuckovic, G. S. Solomon, and

Y. Yamamoto, Nature 419, 594 (2002).

Page 6: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

6

[11] J. Beugnon, M. P. A. Jones, J. Dingjan, B. Darquie,G. Messin, A. Browaeys, and P. Grangier, Nature 440,779 (2006).

[12] P. J. Mosley, J. S. Lundeen, B. J. Smith, P. Wasyl-czyk, A. B. U’Ren, C. Silberhorn, and I. A. Walmsley,Phys. Rev. Lett. 100, 133601 (2008).

[13] P. J. Mosley, J. S. Lundeen, B. J. Smith, and I. A.Walmsley, New J. Phys. 10, 093011 (2008).

[14] R.-B. Jin, J. Zhang, R. Shimizu, N. Matsuda,Y. Mitsumori, H. Kosaka, and K. Edamatsu,Phys. Rev. A 83, 031805 (2011).

[15] V. Ansari, B. Brecht, G. Harder, and C. Silberhorn,arXiv:1404.7725 (2014).

[16] P. Chen, C. Shu, X. Guo, M. M. T. Loy, and S. Du,Phys. Rev. Lett. 114, 010401 (2015).

[17] T. Kobayashi, R. Ikuta, S. Yasui, S. Miki, T. Yamashita,H. Terai, T. Yamamoto, M. Koashi, and N. Imoto, Nat.Photon. 10, 441 (2016).

[18] R.-B. Jin, R. Shimizu, M. Fujiwara, M. Takeoka, R. Wak-abayashi, T. Yamashita, S. Miki, H. Terai, T. Gerrits,and M. Sasaki, Quantum Sci. Technol. 1, 015004 (2016).

[19] K. Edamatsu, R. Shimizu, and T. Itoh,Phys. Rev. Lett. 89, 213601 (2002).

[20] V. Giovannetti, S. Lloyd, and L. Maccone,Science 306, 1330 (2004).

[21] T. Ono, R. Okamoto, and S. Takeuchi, Nat. Commun.4, 2426 (2013).

[22] Y. Israel, S. Rosen, and Y. Silberberg,Phys. Rev. Lett. 112, 103604 (2014).

[23] R.-B. Jin, M. Fujiwara, R. Shimizu, R. J. Collins, G. S.Buller, T. Yamashita, S. Miki, H. Terai, M. Takeoka, andM. Sasaki, Sci. Rep. 6, 36914 (2016).

[24] M. Bergmann and P. v. Loock, arXiv:1512.07605 (2015).[25] V. Giovannetti, L. Maccone, J. H. Shapiro, and F. N. C.

Wong, Phys. Rev. Lett. 88, 183602 (2002).[26] R. Loudon, The Quantum Theory of Light, 3rd ed. (Ox-

ford Science Publications, 2000).[27] R. Shimizu and K. Edamatsu, Optics Express, Opt. Ex-

press 17, 16385 (2009).[28] N. S. Bisht and R. Shimizu,

J. Opt. Soc. Am. B 32, 550 (2015).[29] R.-B. Jin, R. Shimizu, K. Wakui, H. Benichi, and

M. Sasaki, Opt. Express 21, 10659 (2013).[30] F. Konig and F. N. C. Wong, Appl. Phys. Lett. 84, 1644

(2004).[31] P. G. Evans, R. S. Bennink, W. P. Grice, T. S. Humble,

and J. Schaake, Phys. Rev. Lett. 105, 253601 (2010).[32] T. Gerrits, M. J. Stevens, B. Baek, B. Calkins, A. Lita,

S. Glancy, E. Knill, S. W. Nam, R. P. Mirin, R. H. Had-field, R. S. Bennink, W. P. Grice, S. Dorenbos, T. Zi-jlstra, T. Klapwijk, and V. Zwiller, Opt. Express 19,24434 (2011).

[33] A. Eckstein, A. Christ, P. J. Mosley, and C. Silberhorn,Phys. Rev. Lett. 106, 013603 (2011).

[34] N. Bruno, A. Martin, T. Guerreiro, B. Sanguinetti, andR. T. Thew, Opt. Express 22, 17246 (2014).

[35] K. Edamatsu, G. Oohata, R. Shimizu, and T. Itoh, Na-ture 431, 167 (2004).

Page 7: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

7

Supplementary Information to

Extended Wiener-Khinchin theorem for quantum spectral analysis

S1: The conventional Wiener-Khinchin theorem based on Multi-mode Mach-Zehnder interference

In Section S1, we provide a multi-mode theory for Mach-Zehnder (MZ) interference. Based on the equations ofthis interferometry, we can construct the conventional Wiener-Khinchin theorem (WKT), which is the foundation forthe classical interferometric spectroscopy. The setup of the MZ interference is shown in Fig. 5(a). Assume there is asingle photon state |ψ〉, which has a frequency distribution (i.e., one-photon spectral amplitude) of f(ωs)

|ψ〉 =∫ ∞

0

dωsf(ωs)a†s(ωs) |0〉 . (5)

where a†s is the creation operator and ωs is the angular frequency.The photons from the single photon source are split by the first 50/50 beam splitter (BS1) and then pass through

path 1 and 2. Then, after an optical delay τ , the photons combine at the second 50/50 beam splitter (BS2). Thephotons at the output port 3 of BS2 are detected by a single photon detector D. The detection field operator ofdetector (D) is E(+)(t) = 1√

∫∞0 dωa(ω)e−iωt, where a(ω) is the annihilation operator for the frequency ω in the

detection filed. By considering the relation of a(ω) = 1√2[a1(ω)e

−iωτ + a2(ω)] =12 as(ω)(e

−iωτ + 1), where a1 and a2are the annihilation operators for path 1 and path 2 respectively, the detection filed can be rewritten as

E(+)(t) =1

2√2π

∫ ∞

0

dωas(ω)(e−iωτ + 1)e−iωt. (6)

The one-photon detection probability P (τ) is determined by

P (τ) =

dt⟨

ψ∣

∣E(−)E(+)

∣ψ⟩

. (7)

Consider E(+) |ψ〉,1

2√2π

∫ ∞

0

dωas(ω)(e−iωτ + 1)e−iωt ×

∫ ∞

0

dωsf(ωs)a†s(ωs) |0〉 =

1

2√2π

∫ ∞

0

dωe−iωtf(ω)(e−iωτ + 1), (8)

where the relation of as(ω)a†s(ωs)− a†s(ωs)as(ω) = δ(ω − ωs) is used. So,

ψ∣

∣E(−)E(+)

∣ψ⟩

= 18π

∫∞0 dωe−iωtf(ω)(e−iωτ + 1)×

∫∞0 dω,eiω

,

tf∗(ω,)(eiω,

τ + 1)

= 18π

∫∞0

∫∞0dωdω,f(ω)f∗(ω,)(e−iωτ + 1)(eiω

,

τ + 1)e−i(ω−ω,)t.

(9)

where f∗ is the complex conjugate of f . Finally,

P (τ) =∫

dt⟨

ψ∣

∣E(−)E(+)

∣ψ⟩

= 14

∫∞0

∫∞0 dωdω,f(ω)f∗(ω,)(e−iωτ + 1)(eiω

,

τ + 1)δ(ω − ω,)

= 14

∫∞0 dωf(ω)f∗(ω)

∣(e−iωτ + 1)∣

2

= 12

∫∞0 dω |f(ω)|2 [1 + cos(ωτ)].

(10)

BS1

D3

2

3

4

t

&

D4

BS2 BS1

D1

SPDC

s

i

1

2

&

D2

t

SPDC

s

i

BS1

D

1

2

3 t

BS2 Signal

s

(a) (b) (c)

FIG. 5. The setups. (a)Mach-Zehnder (MZ) interference, (b) Hong-Ou-Mandel (HOM) interference, (c) NOON-state interfer-ence.

Page 8: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

8

In this calculation, the relation of δ(ω−ω,) = 12π

∫∞−∞ ei(ω−ω

,)tdt is used. For a normalized f(ω), i.e.∫∞0 dω |f(ω)|2 = 1,

P (τ) =1

2[1 +

∫ ∞

0

dω |f(ω)|2 cos(ωτ)]. (11)

After omitting the constant component (“direct current” component) and the coefficients, we can define the first-ordercorrelation function as

G1(τ) ≡∫ ∞

0

dω |f(ω)|2 e−iωτ , (12)

where P (τ) = 12 [1 + Re{G1(τ)}]. This definition is consistent with the definition in Eq. (3.3.9) on Page 94 of Book

by R. Loudon [The Quantum Theory of Light, 3ed, Oxford, (2000)]. The inverse Fourier transform of G1(τ) is

F1(ω) ≡ |f(ω)|2 =1

∫ ∞

0

dτG1(τ)eiωτ (13)

This is the traditional WKT, which express power spectrum in terms of autocorrelation function by Fourier transform.Therefore, we can extract the frequency information of the photon source from the time-domain MZ interferencepattern.

S2: The extended Wiener-Khinchin theorem based on Hong-Ou-Mandel interference

In Section S2, we deduce the equations for the Hong-Ou-Mandel (HOM) interference using multi-mode theory.Based on this theory, we can construct the extended WKT (e-WKT) for differential frequency. The setup of theHOM interference is shown in Fig. 5(b). The two-photon state from a spontaneous parametric down-conversion(SPDC) process can be described as

|ψ〉 =∫ ∞

0

∫ ∞

0

dωsdωif(ωs, ωi)a†s(ωs)a

†i (ωi) |00〉 , (14)

where ω is the angular frequency; a† is the creation operator and the subscripts s and i denote the signal and idlerphotons from SPDC, respectively; f(ωs, ωi) is the two-photon spectral amplitude (also called joint spectral amplitude)of the signal and idler photons.

The detection field operators of detector 1 (D1) and detector 2 (D2) are E(+)1 (t1) = 1√

∫∞0dω1a1(ω1)e

−iω1t1

and E(+)2 (t2) =

1√2π

∫∞0dω2a2(ω2)e

−iω2t2 , where the subscripts 1 and 2 denote the photons detected by D1 and D2

respectively. The transformation rule of the 50/50 beamsplitter (BS) after a delay time τ is a1(ω1) =1√2[as(ω1) +

ai(ω1)e−iω1τ ] and a2(ω2) =

1√2[as(ω2)− ai(ω2)e

−iω2τ ]. So, we can rewrite the field operators as

E(+)1 (t1) = 1√

∫∞0dω1[as(ω1)e

−iω1t1 + ai(ω1)e−iω1(t1+τ)], (15)

and

E(+)2 (t2) = 1√

∫∞0dω2[as(ω2)e

−iω2t2 − ai(ω2)e−iω2(t2+τ)]. (16)

The two-photon detection probability P (τ) can be expressed as

P (τ) =

∫ ∫

dt1dt2

ψ∣

∣E

(−)1 E

(−)2 E

(+)2 E

(+)1

∣ψ⟩

. (17)

Consider E(+)2 E

(+)1 |ψ〉, only 2 out of 4 terms exist. The first term is

− 14π

∫∞0

∫∞0dω1dω2as(ω1)ai(ω2)e

−iω1t1e−iω2(t2+τ)∫∞0

∫∞0dωsdωif(ωs, ωi)a

†s(ωs)a

†i (ωi) |00〉

= − 14π

∫∞0

∫∞0 dω1dω2f(ω1, ω2)e

−iω1t1e−iω2(t2+τ) |00〉 .(18)

In the above calculation, the equations of as(ω1)a†s(ωs) |0〉 = δ(ω1 − ωs) |0〉 and ai(ω2)a

†i (ωi) |0〉 = δ(ω2 − ωi) |0〉 are

used.

Page 9: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

9

The second term is

14π

∫∞0

∫∞0dω1dω2ai(ω1)as(ω2)e

−iω1(t1+τ)e−iω2t2∫∞0

∫∞0dωsdωif(ωs, ωi)a

†s(ωs)a

†i (ωi) |00〉

= 14π

∫∞0

∫∞0dω1dω2f(ω2, ω1)e

−iω1(t1+τ)e−iω2t2 |00〉 .(19)

Combine these two terms:

E(+)2 E

(+)1 |ψ〉 = 1

∫∞0

∫∞0 dω1dω2e

−iω1t1e−iω2t2 [f(ω2, ω1)e−iω1τ − f(ω1, ω2)e

−iω2τ ] |00〉 . (20)

Then,⟨

ψ∣

∣E

(−)1 E

(−)2 E

(+)2 E

(+)1

∣ψ⟩

= ( 14π )

2∫∞0

∫∞0

∫∞0

∫∞0 dω1dω2dω

,1dω

,2e

−i(ω1−ω,

1)t1e−i(ω2−ω

,

2)t2

×[f∗(ω,2, ω

,1)e

iω,

1τ − f∗(ω,

1, ω,2)e

iω,

2τ ][f(ω2, ω1)e

−iω1τ − f(ω1, ω2)e−iω2τ ].

(21)

Finally,

P (τ) =∫ ∫

dt1dt2

ψ∣

∣E

(−)1 E

(−)2 E

(+)2 E

(+)1

∣ψ⟩

= 14

∫∞0

∫∞0

∫∞0

∫∞0 dω1dω2dω

,1dω

,2δ(ω1 − ω,

1)δ(ω2 − ω,2)

×[f∗(ω,2, ω

,1)e

iω,

1τ − f∗(ω,

1, ω,2)e

iω,

2τ ][f(ω2, ω1)e

−iω1τ − f(ω1, ω2)e−iω2τ ]

= 14

∫∞0

∫∞0dω1dω2|[f(ω1, ω2)− f(ω2, ω1)e

−i(ω1−ω2)τ ]|2.

(22)

If we assume f∗ = f , i.e. f is real, we can further simplify the equation to be

P (τ) = 14

∫∞0

∫∞0dω1dω2[|f(ω1, ω2)|2 + |f(ω2, ω1)|2 − 2f(ω1, ω2)f(ω2, ω1) cos(ω1 − ω2)τ ]. (23)

For a normalized f(ω1, ω2), i.e.∫∞0

∫∞0dω1dω2|f(ω1, ω2)|2 = 1,

P (τ) = 12 [1−

∫∞0

∫∞0 dω1dω2f(ω1, ω2)f(ω2, ω1) cos(ω1 − ω2)τ ]. (24)

If we assume f(ω1, ω2) has the exchange symmetry of f(ω1, ω2) = f(ω2, ω1), we can further simplify the equation as

P (τ) = 12 [1−

∫∞0

∫∞0dω1dω2|f(ω1, ω2)|2 cos(ω1 − ω2)τ ]. (25)

In order to introduce less variables, Eq. (25) can be rewritten as

P (τ) = 12 [1−

∫∞0

∫∞0 dωsdωi|f(ωs, ωi)|2 cos(ωs − ωi)τ ]. (26)

Next, we introduce new parameters ω+ = (ωs +ωi) and ω− = (ωs −ωi). So, ωs =12 (ω+ +ω−) and ωi =

12 (ω+ −ω−),

and P (τ) can be rewritten as

P (τ) = 12 [1− 1

2

∫∞0

∫∞−∞ dω+dω−|f(ωs, ωi)|2 cos(ω−τ)] =

12 [1−

∫∞−∞ dω−F2(ω−) cos(ω−τ)], (27)

where

F2(ω−) ≡1

2

∫ ∞

0

dω+|f(ωs, ωi)|2 (28)

is the projection of |f(ωs, ωi)|2 onto diagonal axis. For a normalized f(ωs, ωi), F2(ω−) is also normalized, i.e.∫∞−∞ F2(ω−)dω− = 1, Note, the following rule is used in the change of variables in the double integral,

∫ ∫

f(ωs, ωi)dωsdωi =

∫ ∫

f(ωs(ω+, ω−), ωi(ω+, ω−))

∂(ωs, ωi)

∂(ω+, ω−)

dω+dω−, (29)

which can be further simplified as∫ ∫

f(ωs, ωi)dωsdωi =12

∫ ∫

f(ωs, ωi)dω+dω−, because

∂(ωs, ωi)

∂(ω+, ω−)=

1/2 1/21/2 −1/2

= −1

2(30)

Page 10: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

10

So,

P (τ) = 12 [1−

∫∞−∞ dω−F2(ω−) cos(ω−τ)]. (31)

After omitting the constant component (“direct current” component) and the coefficients, we can define the secondorder correlation function G2(τ) in the HOM interference.

G2(τ) ≡∫∞−∞ dω−F2(ω−)e

−iω−τ , (32)

where, P (τ) = 12 [1−Re{G2(τ)}. The inverse Fourier transform of G2(τ) is

F2(ω−) = 12π

∫∞−∞ dτG2(τ)e

iω−τ (33)

This is the extended Wiener-Khinchin theorem (e-WKT) for the HOM interference, which can provide the differentialfrequency information of the photon source from the time-domain HOM interference patterns.

S3: The extended Wiener-Khinchin theorem based on NOON-state interference

In Section 3, we deduce the equations for the NOON-state interference using multi-mode theory. Based on thistheory, we can construct the extended Wiener-Khinchin theorem (e-WKT) for sum frequency interference. The setupof the NOON-state interference is shown in Fig. 5(c).Assume we have the same input state as described in Section 2. The two-photon state from a spontaneous parametric

down-conversion (SPDC) process can be described as

|ψ〉 =∫ ∞

0

∫ ∞

0

dωsdωif(ωs, ωi)a†s(ωs)a

†i (ωi) |00〉 , (34)

where ω is the angular frequency; a† is the creation operator and the subscripts s and i denote the signal and idlerphotons from SPDC, respectively; f(ωs, ωi) is two-photon spectral amplitude (also called the join spectral amplitude)of the signal and idler photons.

The detection field operators of detector 3 (D3) and detector 4 (D4) are E(+)3 (t3) = 1√

∫∞0dω3a3(ω3)e

−iω3t3

and E(+)4 (t4) = 1√

∫∞0dω4a4(ω4)e

−iω4t4 , where the subscripts 3 and 4 denote the photons detected by D3 and

D4 respectively. The transformation rule of the second 50/50 beamsplitter (BS2) after a delay time τ is a3(ω3) =1√2[a1(ω3)e

−iω3τ + a2(ω3)] and a4(ω4) = 1√2[a1(ω4)e

−iω4τ − a2(ω4)]. The transformation rule of the first 50/50

beamsplitter (BS1) is a1(ω3) =1√2[as(ω3) + ai(ω3)], a2(ω3) =

1√2[as(ω3)− ai(ω3)], a1(ω4) =

1√2[as(ω4) + ai(ω4)] and

a2(ω4) =1√2[as(ω4)− ai(ω4)]. So, we can rewrite the detection field operators as

E(+)3 (t3) =

12√2π

∫∞0 dω3[as(ω3)(e

−iω3τ + 1)e−iω3t3 + ai(ω3)(e−iω3τ − 1)e−iω3t3 ] (35)

and

E(+)4 (t4) =

12√2π

∫∞0dω4[as(ω4)(e

−iω4τ − 1)e−iω4t4 + ai(ω4)(e−iω4τ + 1)e−iω4t4 ]. (36)

The two-photon detection probability P (τ) can be expressed as

P (τ) =

∫ ∫

dt3dt4

ψ∣

∣E

(−)3 E

(−)4 E

(+)4 E

(+)3

∣ψ⟩

. (37)

Consider E(+)4 E

(+)3 |ψ〉, only 2 out of 4 terms exist. The first term is

18π

∫∞0

∫∞0 dω3dω4as(ω3)(e

−iω3τ + 1)e−iω3t3 × ai(ω4)(e−iω4τ + 1)e−iω4t4 ×

∫∞0

∫∞0 dωsdωif(ωs, ωi)a

†s(ωs)a

†i (ωi) |00〉

= 18π

∫∞0

∫∞0 dω3dω4e

−iω3t3e−iω4t4f(ω3, ω4)(e−iω3τ + 1)(e−iω4τ + 1) |00〉 .

(38)

Page 11: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

11

In the above calculation, the equation of a(ω)a†(ω,) |0〉 = δ(ω − ω,) |0〉 is used. The second term is

18π

∫∞0

∫∞0 dω3dω4ai(ω3)(e

−iω3τ − 1)e−iω3t3 as(ω4)(e−iω4τ − 1)e−iω3t3 ×

∫∞0

∫∞0 dωsdωif(ωs, ωi)a

†s(ωs)a

†i (ωi) |00〉

= 18π

∫∞0

∫∞0dω3dω4f(ω4, ω3)(e

−iω3τ − 1)(e−iω4τ − 1)e−iω3t3e−iω3t3 |00〉 .(39)

Combine these two terms:

E(+)4 E

(+)3 |ψ〉

= 14

∫∞0

∫∞0 dω3dω4e

−iω3t3e−iω4t4 [f(ω3, ω4)(e−iω3τ + 1)(e−iω4τ + 1) + f(ω4, ω3)(e

−iω3τ − 1)(e−iω4τ − 1)] |00〉 .(40)

Then,

ψ∣

∣E

(−)3 E

(−)4 E

(+)4 E

(+)3

∣ψ⟩

= 18π

∫∞0

∫∞0dω3dω4e

−iω3t3e−iω4t4 [f(ω3, ω4)(e−iω3τ + 1)(e−iω4τ + 1) + f(ω4, ω3)(e

−iω3τ − 1)(e−iω4τ − 1)]

× 18π

∫∞0

∫∞0 dω,

3dω,4e

iω,

3t3eiω

,

4t4 [f∗(ω,

3, ω,4)(e

iω,

3τ + 1)(eiω

,

4τ + 1) + f∗(ω,

4, ω,3)(e

iω,

3τ − 1)(eiω

,

4τ − 1)].

(41)

Finally,

P (τ) =∫ ∫

dt3dt4

ψ∣

∣E

(−)3 E

(−)4 E

(+)4 E

(+)3

∣ψ⟩

= 116

∫∞0

∫∞0

∫∞0

∫∞0dω3dω4dω

,3dω

,4δ(ω3 − ω,

3)δ(ω4 − ω,4)

× [f(ω3, ω4)(e−iω3τ + 1)(e−iω4τ + 1) + f(ω4, ω3)(e

−iω3τ − 1)(e−iω4τ − 1)]

× [f∗(ω,3, ω

,4)(e

iω,

3τ + 1)(eiω

,

4τ + 1) + f∗(ω,

4, ω,3)(e

iω,

3τ − 1)(eiω

,

4τ − 1)]

= 116

∫∞0

∫∞0 dω3dω4

∣[f(ω3, ω4)(e−iω3τ + 1)(e−iω4τ + 1) + f(ω4, ω3)(e

−iω3τ − 1)(e−iω4τ − 1)]∣

2.

(42)

In the above calculation, the relation of δ(ω − ω,) = 12π

∫∞−∞ ei(ω−ω

,)tdt is used; f∗ is the complex conjugate of f .Assuming f has the symmetry of f(ω3, ω4)=f(ω4, ω3), P (τ) can be further simplified as

P (τ) =1

2

∫ ∞

0

∫ ∞

0

dω3dω4|f(ω3, ω4)|2[cos(ω3+ω4)τ+1]. (43)

For a normalized f(ω3, ω4), i.e.∫∞0

∫∞0dω3dω4|f(ω3, ω4)|2 = 1,

P (τ) =1

2[1 +

∫ ∞

0

∫ ∞

0

dω3dω4|f(ω3, ω4)|2cos(ω3+ω4)τ ]. (44)

In order to introduce less variables, Eq. (44) can be rewritten as

P (τ) =1

2[1 +

∫ ∞

0

∫ ∞

0

dωsdωi|f(ωs, ωi)|2cos(ωs+ωi)τ ] (45)

Next, we use the parameters ω+ = (ωs+ωi) and ω− = (ωs−ωi), which are similar as in the case of HOM interference.So, ωs =

12 (ω+ + ω−) and ωi =

12 (ω+ − ω−), and P (τ) can be rewritten as

P (τ) = 12 [1 +

12

∫∞0

∫∞−∞ dω+dω−|f(ωs, ωi)|2 cos(ω+τ)] =

12 [1 +

∫∞−∞ dω+F2(ω+) cos(ω+τ)]. (46)

where,

F2(ω+) ≡1

2

∫ ∞

−∞dω−|f(ωs, ωi)|2 (47)

Page 12: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

12

is the projection of |f(ωs, ωi)|2 on to the anti-diagonal axis. So,

P (τ) = 12 [1 +

∫∞0 dω+F2(ω+) cos(ω+τ)]. (48)

Omitting the constant component (“direct current” component) and the coefficients, we can define the second-ordercorrelation function G2(τ) in the NOON-state interference

G2(τ) ≡∫∞0 dω+F2(ω+)e

−iω+τ . (49)

where, P2(τ) =12 [1 +Re{G2(τ)}]. The inverse Fourier transform of G2(τ) is

F2(ω+) =12π

∫∞0 dτG2(τ)e

iω+τ . (50)

This is the extended Wiener-Khinchin theorem for the NOON-state interference, which can provide the sum frequencyinformation of the photon source from the time-domain NOON-state interference patterns.

S4: Summary of the WKT and the e-WKT

For simplicity in the deduction of these equations in Section S1-S3, the notifications in each section were “localvariables”, which is valid in each section. However, for comparison, here we slightly revise the notifications andsummarize these equations using “global variables” as follow.

The WKT

The input state in MZ interference is

|ψ1〉 =∫ ∞

−∞dωf1(ω)a

†(ω) |0〉 , (51)

where f1(ω) is one-photon spectral amplitude. In order to keep the uniformity, here the integration range is enlargedfrom [0, ∞] to [−∞, ∞].The one-photon detection probability is

P1(τ) =1

2[1 +

∫ ∞

−∞dω |f1(ω)|2 cos(ωτ)]. (52)

The first order correlation function is

G1(τ) ≡∫ ∞

−∞dω |f1(ω)|2 e−iωτ . (53)

The connection between P1(τ) and G1(τ) is

P (τ) =1

2[1 +Re{G1(τ)}]. (54)

The conventional WKT is

F1(ω) ≡ |f1(ω)|2 =1

∫ ∞

−∞dτG1(τ)e

iωτ . (55)

The e-WKT

The input state in HOM interference and NOON-state interference is

|ψ2〉 =∫ ∞

−∞

∫ ∞

−∞dωsdωif2(ωs, ωi)a

†s(ωs)a

†i (ωi) |00〉 , (56)

where f2(ωs, ωi) is the two-photon spectral amplitude.The two-photon detection probability P±

2 (τ) is

P±2 (τ) = 1

2 [1±∫∞−∞

∫∞−∞ dωsdωi|f2(ωs, ωi)|2 cos(ωs ± ωi)τ ], (57)

Page 13: arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 · arXiv:1709.04837v1 [quant-ph] 14 Sep 2017 Extended Wiener-Khinchin theorem for quantum spectral analysis Rui-Bo Jin1 and Ryosuke Shimizu2,∗

13

where P+2 is for NOON-state interference, while P−

2 is for HOM interference.After the transformation of variables: ω± = ωs ± ωi,

P±2 (τ) = 1

2 [1± 12

∫∞−∞

∫∞−∞ dω+dω−|f2(ωs, ωi)|2 cos(ω±τ)]. (58)

Using the definition of the sum- or difference-frequency spectrum of the two-photon state, i.e.,

F±2 (ω±) ≡

1

2

∫ ∞

−∞dω∓|f2(ωs, ωi)|2 (59)

P±2 (τ) can be further simplified as

P±2 (τ) = 1

2 [1±∫∞−∞ dω±F

±2 (ω±) cos(ω±τ)]. (60)

Omitting the constant component (“direct current” component) and the coefficients, we can define the second-ordercorrelation function G±

2 (τ) as

G±2 (τ) ≡

∫ ∞

−∞dω±F2(ω±)e

−iω±τ . (61)

The connection between P±2 and G±

2 is,

P±2 (τ) =

1

2[1±Re{G±

2 (τ)}]. (62)

G+2 is for NOON-state interference, while G−

2 is for HOM interference. The inverse Fourier transform of G±2 (τ) is

F±2 (ω±) =

1

∫ ∞

−∞dτG±

2 (τ)eiω±τ . (63)

This is the unified form of e-WKT.