Paraxial Theory of Direct Electro-Optic Sampling of The Quantum Vacuum
Paraxial Theory of Direct Electro-Optic Sampling of The Quantum Vacuum
Paraxial Theory of Direct Electro-Optic Sampling of The Quantum Vacuum
sufficiently large number of photons per probe pulse. If the vacuum input is squeezed, the signal
variance depends on the probe delay. Temporal positions with noise level below the pure vacuum
may be traced with a sub-cycle accuracy.
0 is the vacuum permittivity. The coupling constant is the RI at Ω, whereas n and ng are the RI and the
d = −n4 r41 can be determined from the electro-optic group RI c0 ∂kω /∂ω at ω = ωc , respectively. Going be-
coefficient r41 and refractive index (RI) n at the cen- yond Ref. 17 where an expression similar to Eq. (5) was
tral frequency ωc of Ep [26–28]. In general, both fields derived for the case of plane waves in order to establish
(2) a classical theory of electro-optic sampling, Eqs. (4) and
ÊTHz ≡ ÊTHz ,s and P̂s in Eq. (1) are quantized, whereas
Ep = Ep,z = hÊp,z i denotes the classical part of the (5) include the transverse spatial dependence of the fields,
probe field. We neglect the effect of quantum mechan- the quantized form of the signal as well as the contribu-
ical fluctuations of the probe field on P̂(2) , assuming a tion of quantum fluctuations at the probe frequencies.
sufficiently large Ep . These points are crucial for our further analysis.
The nonlinear polarization P̂(2) generated by the wave From Eq. (4), we see that the nonlinear mixing of the
mixing in the EOX represents a source in the inhomoge- probe and THz components generates a new field prop-
neous wave equation describing propagation of the elec- agating in the same direction and polarized perpendic-
ular to the probe. For the analysis of the polarization
tric field Ê in the EOX. The fields F̂ = Ê, P̂(2) prop-
agating in the forward direction rk (see Fig. 1) can be state of the modified probe, we consider the field√com-
R∞ i(k r −ωt) ponents in the coordinate frame ea = (ez ∓ es )/ 2 ro-
decomposed as F̂(r, t) = −∞dω F̂(r; ω)e ω k , where b
tated by 45◦ with respect to the ez,s frame [Fig. 1(b)],
kω = ωnω /c0 . c0 and nω are the velocity of light and the √
Êa0 (Y) = Ep (Y) 1 ± iφ̂(Y) / 2 + δ Êa0 (Y) . Here φ̂(Y) =
frequency-dependent RI of the EOX, respectively. Using b b
the paraxial approximation [29, 30], the inhomogeneous iÊ (2) (Y)/Ep (Y) must be small for the frequency range
wave equation reads of the probe.
" # The ellipsometry setup used in typical experiments is
∂ ω2 explained in Fig. 1(a). We consider its effects at the exit
∆⊥ + 2ikω Ê(r; ω) = − 2 P̂(2) (r; ω) , (2)
∂rk 0 c0 surface of the EOX. This simplification is justified when
all probe photons are detected without spatial filtering.
2 2
where r⊥ = (rs , rz ) and ∆⊥ = ∂r∂ ∂
2 + ∂r 2 . From Eq. (1)
The first step of the analysis consists in describing the
(2) R ∞
s z
action of the quarter-wave plate with axes oriented along
we obtain P̂s (r; ω) = −0 d −∞ dΩ ÊTHz (r; Ω)Ep (r; ω − ea and eb such that it phase-shifts the a-component of
i(k +k −k )r
Ω)e Ω ω−Ω ω k . The electric field of the probe beam the field by π/2: Êa00 (Y) = iÊa0 (Y), Êb00 (Y) = Êb0 (Y).
provides a solution of the homogeneous part of Eq. (2) The Wollaston prism splits the electric field into its z-
which can be decomposed into Laguerre-Gaussian (LG) and s-components:
modes [31, 32] (see Ref. [25]). We adopt a probe pulse π
e±i 4 Ep (Y)
train with a fundamental Gaussian transverse mode of Êz00 (Y) = 1 ∓ φ̂(Y) + δ Êz00 (Y) .
√ (6)
s 2 s
amplitude αp (ω):
Finally, the photon numbers in both field components are
Ep (r; ω) = αp (ω)LG00 (r⊥ , rk ; kω ) . (3)
detected and subtracted. The photon number operator
A length l of the EOX much shorter than the Rayleigh for the polarization α = z, s reads [34]
range of a beam at the relevant THz frequencies Ω with Z ∞ Z
η(ω)
waist size w0 is assumed, i.e. l kΩ w02 /2. N̂α = C dω d2 r⊥ Êα00† (r⊥; ω)Êα00 (r⊥; ω) , (7)
0 }ω
The EOX is located at the beam waist, rk = 0, and
has anti-reflection coating on its surfaces. Denoting where C = 4πc0 n0 , the dagger denotes Hermitian
F̂(r⊥ ; ω) ≡ F̂(r⊥ , rk = 0; ω) we find that at the exit from conjugation and the spatial integral covers the entire
the EOX, rk = l/2, the total electric field in the (110) transverse profile of the probe beam. The frequency-
plane is given by dependent quantum efficiency of the photodetector
η(ω) ≈ 1 over the detected frequency range but vanishes
Ê0 (Y) = Ep (Y)ez + Ê (2) (Y)es + δ Ê0 (Y) , (4) quickly for ω → 0.
Inserting Eq. (6) into Eq. (7) and neglecting the
where Y ≡ {r⊥ ; ω}. δ Ê0 (Y) = Êp (Y) − Ep (Y)ez denotes second-order terms in δ Ê00 as well as the mixed terms
the vacuum field contribution at the probe frequency ω depending linearly both on δ Ê00 and on ÊTHz (contained
in the vacuum picture [33]. The correction to the probe in φ̂) [35], we obtain for the total detected quantum sig-
field generated in the EOX is evaluated as nal
Z ∞
Ê (2) (r⊥; ω) = dΩ ÊTHz (r⊥; Ω)Ep (r⊥ ; ω−Ω)ζω,Ω , (5) Ŝ ≡ N̂s − N̂z = Ŝeo + Ŝsn , (8)
−∞
h i where the electro-optic signal (EOS) Ŝeo is
where the factor ζω,Ω = lΩ
−id 2clω0 n sinc 2c (nΩ − ng ) de- Z Z ∞
η(ω) h i
2
|Ep (Y)|2 φ̂(Y) + H.c.
0
Ŝeo = C d r⊥ dω (9)
termines phase matching. Here sinc(x) ≡ sin(x)/x, nΩ 0 }ω
3
Supplemental Material
For the nonlinear mixing in the EOX, we select the orientation of Ep parallel to the z-axis. This choice of the
polarization direction of the probe field ensures that the maximum signal is detected in the electro-optic detection
scheme for a copropagating classical THz electric field polarized perpendicular to the probe electric field [S1]. In the
experiment, adjustment is achieved by rotation of the EOX around the [110] axis for fixed, mutually perpendicular
polarization directions of the probe and detected electric fields. Also, only one of two possible polarization modes of
the detected field [the one perpendicular to the probe field, i.e. oriented parallel to the unit vector es in Fig. 1(b)]
contributes to the signal in this geometry. There is no THz field generated by optical rectification of the probe for
this orientation of the EOX.
The second-order nonlinear mixing of the probe field Ep (t) with the detected THz field ETHz (t) then induces
nonlinear polarization in the EOX with the following components [S2–S4]:
and similarly for the y-component with the interchange of indices x ↔ y in Eq. (S1). Here 0 is the vacuum permittivity.
(2) (2)
For the zincblende-type EOX we adopt as an example, the tensor components dxyz ≡ χxyz /2 and dyxz ≡ χyxz /2 are
both equal to the same constant denoted by d36 [S2–S4]. This coefficient is related to the constant r41 used for the
description of the Pockels effect as d36 = −n4 r41 /4. n is the refractive index at the central frequency of the probe
electric field. For the following discussion, it is convenient to introduce d = 4d36 = −n4 r41 . Writing Eq. (S1) as
an instantaneous relation in the time domain we assume that the frequencies Ω of the THz field are lower than the
frequencies ω of the probe field and that the second-order nonlinear coefficient can be considered constant in the
frequency range determined by the spectral width of the probe field. The frequency dependence of the nonlinear
coefficient can be easily included writing the corresponding equations in the frequency domain, similar to Ref. [S5]
but taking care of the particular geometry. However, the discussion of the geometrical issues is more concise in the
time domain whereas the effect of the frequency dependence of the nonlinear coefficient is finally not significant in
our case.
(2) (2) (2)
The nonlinear polarization induced in the (110) plane is given by P(2) = √12 (Py − Px )es , i.e. Pz = 0 and
(2) (2) (2)
Ps = √12 (Py − Px ), using the unit vectors es and ez as a basis in this plane. Taking Eq. (S1), expressing also
the components of the quantized THz field in this basis and neglecting the effect of quantum mechanical fluctuations
of the probe beam on the induced nonlinear polarization, i.e. assuming a sufficiently strong probe field, we arrive at
Eq. (1). Inclusion of the vacuum contribution for the probe beam at this place would mean taking into account mixed
second-order corrections linearly dependent on both the vacuum fluctuations of the probe field and on the probed
THz field. In our present consideration, we neglect such terms since they do not lead to significant effects.
In electro-optic sampling, propagation of the NIR probe beam through the EOX can be well described within the
paraxial approximation. The same approximation can be naturally used to describe the sampled multi-THz quantum
fields. The corresponding expression for a quantized electric field within the paraxial approximation was derived in
Ref. [S6]. In free space, with the propagation axis selected as shown in Fig. 1, it reads
XZ ∞
r
}Ω h i(kr −Ωt)
i
Ê(r, t) = −i dk eα âα,l,p (k)e k LGlp (r⊥ , rk ; k) − H.c. , (S2)
0 4π0
α,l,p
where âα,l,p (k) denotes the annihilation operator for a photon with absolute value of the wave vector k, frequency
Ω = c0 k, orbital quantum numbers l, p, and polarization direction eα . The spatial mode functions are given by the
2
Laguerre-Gaussian (LG) modes LGlp (r⊥ , rk ; k) ≡ LGlp (r⊥ , ϕ, rk ; k) which can be written as [S6, S7]
s √ !|l| ! " #
2p! 1 2r⊥ 2r⊥2 2r⊥2 kr⊥2
LGlp (r⊥ , ϕ, rk ; k) = L|l|
p exp − 2 + ilϕ + i + iΦG (rk ) . (S3)
π(|l| + p)! w(rk ) w(rk ) w2 (rk ) w (rk ) 2R(rk )
q
Here w(rk ) = w0 2 (Ω) is the transverse mode radius at the longitudinal position r with w being the
1 + rk2 /lR k 0
waist size of the probe beam (mode radius at rk = 0) and lR (Ω) = kw02 /2 denoting the Rayleigh range of the
h i
2
beam at given k. R(rk ) = rk 1 + lR (Ω)/rk2 is the phase-front radius, ΦG (rk ) = −(2p + |l| + 1) arctan(rk /w0 ) is
|l|
the Gouy phase and Lp (x) are the associated Laguerre polynomials [S8]. The LG modes are normalized such that
R 2π R ∞
0
dφ 0 dr⊥ r⊥ LG∗lp (r⊥ , φ, rk ; k)LGl0 p0 (r⊥ , φ, rk ; k) = δll0 δpp0 (for any k and rk ), where δij denotes the Kronecker
delta. The annihilation and creation operators satisfy the continuum commutation relations [âα,l,p (k), âα0 ,l0 ,p0 (k 0 )] =
[â†α,l,p (k), â†α0 ,l0 ,p0 (k 0 )] = 0 and [âα,l,p (k), â†α0 ,l0 ,p0 (k 0 )] = δαα0 δll0 δpp0 δ(k − k 0 ). Expressing the creation and annihilation
operators as functions of frequency, whereby they satisfy [âα,l,p (Ω), âα0 ,l0 ,p0 (Ω0 )] = [â†α,l,p (Ω), â†Ω0 ,l0 ,p0 (k 0 )] = 0 and
[âα,l,p (Ω), â†α0 ,l0 ,p0 (Ω0 )] = δαα0 δll0 δpp0 δ(Ω − Ω0 ), Eq. (S2) transforms into
XZ ∞
r
}Ω h i(k r −Ωt)
i
Ê(r, t) = −i dΩ eα âα,l,p (Ω)e Ω k LGlp (r⊥ , rk ; kΩ ) − H.c. . (S4)
0 4π0 c0
α,l,p
By writing kΩ we have stressed that we consider k ≡ kΩ = Ω/c0 as a function of Ω in this expression. Note that
the factor of 16π 3 in the denominator under the square root in Eq. (20) of Ref. [S6] needs to be replaced by 4π.
This fact is confirmed by deriving the expression for the total energy operator of the electro-magnetic field and
has been considered in Eq. (S2). From Eq. (S4), the total energy operator Ê is obtained in its correct form as
R∞
Ê = 0 dΩ }Ω α,l,p â†α,l,p (Ω)âα,l,p (Ω).
P
In media with refractive index nΩ , the factor under the square root in Eq. (S4) should be additionally divided by
nΩ [S9, pp. 391-392]. This measure again ensures a correct expression for the total energy operator of the field so
that Eq. (S4) takes the form
s
XZ ∞ }Ω h
i(k r −Ωt)
i
Ê(r, t) = −i dΩ eα âα,l,p (Ω)e Ω k LGlp (r⊥ , rk ; kΩ ) − H.c. . (S5)
0 4π0 c0 nΩ
α,l,p
When we consider a thin EOX located at the beam waist (rk = 0), we use LGlp (r⊥ , rk ; k) ≈ LGlp (r⊥ , rk = 0; k) ≡
glp (r⊥ ), which are given by
s √ !|l|
2 2
2p! 1 2r⊥ |l| 2r⊥ r⊥
glp (r⊥ ) = Lp exp − 2 + ilϕ . (S6)
π(|l| + p)! w0 w0 w02 w0
The transverse modes glp (r⊥ ) ≡ glp (r⊥ , φ) are independent of k. They are normalized such that
Z 2π Z ∞
∗
dφ dr⊥ r⊥ glp (r⊥ , φ)gl0 p0 (r⊥ , φ) = δl,l0 δp,p0 .
0 0
In the paper we used a sampling few-femtosecond NIR laser pulse of the following specifications [S10]: center
frequency ωc /(2π) = 255 THz, spectral bandwidth ∆ω/(2π) = 150 THz with rectangular spectral shape and flat
3
1 .0 1 .0
N I R p r o b e in te n s ity ( a r b . u .)
in te n s ity e n v e lo p e ( a r b . u .)
0 .8 0 .8
0 .6 0 .6
F W H M = 5 .9 fs
0 .4 0 .4
0 .2 0 .2
0 .0 0 .0
-2 5 -2 0 -1 5 -1 0 -5 0 5 1 0 1 5 2 0 2 5
tim e t (fs )
FIG. S1. Temporal profile of the intensity (red line) and its envelope (blue line) of the NIR probe pulse used in our calculations.
9 9
8
re fra c tiv e in d e x n
8 7
6
7 5
re fra c tiv e in d e x n
4
6 3
2
5 1
0
0 5 1 0 1 5 2 0 2 5
4 fre q u e n c y (T H z )
3
2
1
0
0 5 0 1 0 0 1 5 0 2 0 0 2 5 0 3 0 0 3 5 0
fre q u e n c y (T H z )
FIG. S2. Dispersion of the refractive index in the THz (solid red line) and NIR (dashed blue line) range. Inset shows the
dispersion with a higher frequency resolution in the range of small THz frequencies.
phase. The corresponding temporal profile of the NIR probe intensity is shown in Fig. S1. For such a pulse we get
ωp = 247 THz, where ωp is defined in the text after Eq. (10). Notice that ωp ≈ ωc . However, there is a small difference
in these quantities due to different averaging used in their definitions. This difference is of minor importance for our
consideration. The normalized Hermitian spectral autocorrelation function f (Ω), as defined in the text after Eq. (10),
can be found as
|Ω|
f (Ω) = 1 − H(∆ω − |Ω|), (S8)
∆ω
where H(x) denotes the Heaviside step function. For our example with a rectangular probe spectrum, f (Ω) takes the
shape of an isosceles triangle with the vertex at Ω =
h 0. In order to
i determine the response function R(Ω), we have to
lΩ
multiply f (Ω) by the phase-matching function sinc 2c0 (nΩ − ng ) . The latter requires knowledge about the refractive
index nΩ in the THz range and group refractive index ng at the (NIR) central frequency ωc of the probe pulse.
Refractive index properties of a ZnTe crystal in the NIR frequency range are modelled by a Sellmeier formula [S11]
with λ = 2πc0 /Ω, A = 4.27, B = 3.01, and c2 = 0.142 [S12]. The corresponding frequency dependence is shown on
the right side of Fig. S2. For the refractive index nΩ in the THz frequency range, we use the parametrization from
4
1 .0
r e s p o n s e f u n c t i o n R ( Ω)
0 .8
0 .6
0 .4
0 .2
0 .0
0 5 0 1 0 0 1 5 0
f r e q u e n c y Ω/ ( 2 π) ( T H z )
FIG. S3. Calculated response function R(Ω) without the low-frequency cutoff (solid black line) and with the low-frequency
cutoff (dashed red line).
Ref. [S13]:
s !
(}ωLO )2 − (}ωTO )2
nΩ = Re 1+ ∞ , (S10)
(}ωTO )2 − (}Ω)2 − i}γΩ
with }ωTO = 177 cm−1 , }ωLO = 206 cm−1 , γ = 3.01 cm−1 , and ∞ = 6.7. The corresponding frequency dependence
is shown on the left side of Fig. S2. From these models we obtain the following values of the refractive index and
the group refractive index at ωc =255 THz: n = 2.76 and ng = 2.9. It is important that these indices are almost
constant in the neighborhood of ωc . Using the calculated nΩ and ng in the phase-matching function with l = 7 µm,
the response function R(Ω) depicted in Fig. S3 results. As discussed in the text of the paper, we introduce a low-
frequency cutoff excluding wavelengths λ with λ/(2nΩ ) > w0 , in order to take into account diffraction losses. The
modified response function is also shown in Fig. S3. The resulting integrand function entering the integral in Eq. (13)
is found in Fig. 2(a) of the paper. Note that without introducing the low-frequency cutoff we would get just a small
increase of approximately 21% for the EOS variance calculated from Eq. (13).
2 2
For the EOS variance hŜeo isv (τ ) normalized with respect to the EOS variance of the pure vacuum hŜeo i, given by
Eq. (13), we obtain
2 2
p
hŜeo isv (τ )/hŜeo i = 1+2aM +2b M (M + 1) cos(θ − 2Ωc τ ). (S11)
for certain delay times the EOS variance of the squeezed multi-THz vacuum can beat the uncertainty limit set by
the pure vacuum state. Here, for M ≡ sinh r = 2, its minimum value constitutes ≈ 36% of the pure vacuum level.
For the selected parameters, a slightly stronger suppression of the quantum noise down to 34% can be achieved by
increasing M to ≈ 5.8, whereas the maximal noise is more than doubled. These values are generally determined by
the coefficients a and b, introduced above, for which we have b < a < 1 in the considered case. Here, due to the
limitation set by this inequality, a complete noise suppression in the EOS variance is impossible for any time delay.
∗
andrey.moskalenko@physik.uni-konstanz.de
[S1] P. C. M. Planken, H.-K. Nienhuys, H. J. Bakker, and T. Wenckebach, J. Opt. Soc. Am. B 18, 313 (2001).
[S2] G. New, Introduction to Nonlinear Optics (Cambridge University Press, New York, 2011).
[S3] P. E. Powers, Fundamentals of Nonlinear Optics (Taylor & Francis, Boca Raton, 2011).
[S4] A. Yariv, Quantum Electronics (John Wiley & Sons, New York, 1989).
[S5] G. Gallot and D. Grischkowsky, J. Opt. Soc. Am. B 16, 1204 (1999).
[S6] G. F. Calvo, A. Picón, and E. Bagan, Phys. Rev. A 73, 013805 (2006).
[S7] L. Allen, M. W. Beijersbergen, R. J. C. Spreeuw, and J. P. Woerdman, Phys. Rev. A 45, 8185 (1992).
[S8] M. Abramowitz and I. Stegun, Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables
(Dover, New York, 2012).
[S9] R. Loudon, The Quantum Theory of Light (Oxford University Press, New York, 2000).
[S10] D. Brida, G. Krauss, A. Sell, and A. Leitenstorfer, Laser Photon. Rev. 8, 409 (2014).
[S11] W. Sellmeier, Ann. Phys. (Berlin) 219, 272 (1871).
[S12] D. T. F. Marple, J. Appl. Phys. 35, 539 (1964).
[S13] A. Leitenstorfer et al., Appl. Phys. Lett. 74, 1516 (1999).