Abstract
Entangled twinbeams generated by parametric downconversion are among the favorite sources for imagingoriented applications, due their multimodal nature in space and time. However, a satisfactory theoretical description is still lacking. In this work we propose a semianalytic model which aims to bridge the gap between timeconsuming numerical simulations and the unrealistic planewave pump theory. The model is used to study the quantum correlation and the coherence in the anglefrequency domain of the parametric emission, and demonstrates a \(g^{{1/2}}\) growth of their size as the gain g increases, with a corresponding contraction of the spacetime distribution. These predictions are systematically compared with the results of stochastic numerical simulations, performed in the Wigner representation, of the full model equations: an excellent agreement is shown even for parameters well outside the expected limit of validity of the model.
Similar content being viewed by others
Introduction
Modern nonlinear optics not only enabled the first fundamental tests of quantum mechanics, but also paved the way for the advent of quantum technologies. In this context, a central role is played by parametric downconversion (PDC), a process in which photons of a laser beam that propagates in a nonlinear \(\chi ^{(2)}\) crystal occasionally split into photon pairs at lower energy (Fig 1a). The microscopic mechanism of pair creation is at the origin of a high dimensional entanglement ^{1,2,3,4}, both in the sense that paired photons are quantum correlated in different degrees of freedom (polarization, transverse positionmomentum, timefrequency) and that the entanglement involves a huge number of independent modes due to the ultrabroad bandwidths of PDC. These features, which persist also at the macroscopic level of bright entangled beams, made PDC a favorite choice for quantum imaging applications (see the reviews^{5,6,7}): the transverse entanglement of photon pairs was indeed used for pioneering realizations of ghost imaging^{8} and for quantum enhanced microscopy^{9}, while the sub shotnoise spatial correlation of twin beams allowed to demonstrate highsensitivity imaging^{10, 11}, just to cite few examples. The timefrequency entanglement is at the basis of the quantum enhancement of twophoton absorption, used in entangled twophoton microscopy^{12, 13} and spectroscopy^{14}.
Despite the extensive exploitation of multimode PDC, its theoretical description is still unsatisfactory. A fully spacetime analytical model exists^{15} only for the lowgain regime of spontaneous PDC (SPDC), and it is widelyused to describe the quantum correlation of photon pairs^{1,2,3}. On the other side, the bright twin beams generated by highgain PDC are becoming, for obvious reasons, more and more attractive for quantum enhanced technologies. However, the description of their spatiotemporal correlation needs to resort to timeconsuming numerical simulations^{16} or to the nonphysical limit of a planewave monochromatic pump^{15,16,17,18}. The few exceptions include the generalized Bogoliubov relations derived in^{16} (see also^{19} for a classical version of these equations), which however still need numerical approaches to extrapolate results. Purpose of this work is to present a substantially simpler and semianalytic model for PDC, able to account for the finite duration and transverse crosssection of a pulsed pump in any gain regime. The model will be derived on the basis of heuristic arguments, and its predictions systematically compared with the results of numerical simulations, performed in the quantum domain, of the full model equations. We shall focus on those aspects which are not encompassed by the planewave and monochromatic pump (PWP) theory, namely:

The correlation and coherence volumes of PDC light in the anglefrequency domain, which can be observed in the farfield of the source. A generally accepted view is that it is sufficient to substitute the Diracdelta correlations of the PWP theory with finite peaks given by the anglefrequency spectrum of the pump laser, as predicted in the spontaneous regime. However, various experiments^{20,21,22} observed a substantial increase of the coherence and correlation lengths with increasing gain (see also the examples from numerical simulations in Fig. 1d,e).

The spacetime distribution of PDC light, in the nearfield of the source. Again, the intuitive view is that it should superimpose to the pump pulse as it happens in the spontaneous regime, but, as we shall see, an important shrinking takes place at high or even moderate gain (Fig. 1c).
The formulation of this model is motivated both by practical and fundamental reasons. Today’s implementations of highgain PDC are based on short (hundreds of femtoseconds) laser pulses, which by no means fit into the PWP description. In this respect, it is unclear whether pulse chirping, commonly employed in nonlinear optics, is suitable for quantum applications. On a more fundamental side, contrary to the SPDC regime^{1,2,3,4}, a quantitative assessment of the global entanglement of multimode highgain PDC is currently not easy, because the PWP model is unable to provide the number of entangled modes. This is of paramount importance in many areas, as e.g. in order to evaluate the quantum enhancement of twophoton absorption^{13}.
Theory background
Let us consider two wavepackets associated with the pump field (central frequency \(\omega _p\)) and with the downconverted signal (\(\omega _s={\omega _p}/{2}\)), which propagate inside a nonlinear \(\chi ^{(2)}\) crystal of length \(l_c\) forming small angles with a mean direction z. Let
be their electromagnetic field operators, where \(\vec{r}=x\vec{e}_x+y \vec{e}_y\) is the position in the transverse plane, \(\vec{q}= q_x \vec{e}_x+ q_y \vec{e}_y\) is the transverse wavevector, \(\Omega\) is the frequency offset from the carriers, and dimensions are such that \(\hat{A}_j^\dagger (\vec{r},t,z) \hat{A}_j (\vec{r},t,z)\) is a photon number per unit area and time. Their evolution along the slab is best described in an interaction picture in which the fast linear propagation is subtracted (see^{18} for details), by introducing
\(k_j(\vec{q}, \Omega )\) being the wavenumber of the jth wave (it depends on the direction of propagation through \(\vec{q}\) only for the extraordinary wave). While simulations will consider the more general coupled Eq. (23), in the analytics we shall exploit the undepleted pump approximation in which the pump operator \(\hat{a}_p(\vec{q},\Omega , z) \approx \hat{a}_p(\vec{q},\Omega , 0)\) is substituted by a cnumber field. By adopting a shorthand notation, in which \(\vec {\xi }: = (\vec{r}, t) \in R^3\) is the spacetime vector and \(\vec{w}: = (\vec{q}, \Omega )\) is its conjugate Fourier vector, with the convention for the scalar product: \(\vec{w}\cdot \vec {\xi }:= \vec{q}\cdot \vec{r} \Omega t\), the evolution of the PDC field along the slab is then described by:
where: g is a dimensionless gain parameter, proportional to the nonlinear susceptibility, the crystal length and the pump peak amplitude; \({\alpha }_p(\vec{w})\) is the Fourier profile of the input pump field, normalized so that \({\alpha }_p(\vec {\xi }=0)=1\);
is the phase mismatch of a downconversion process in which a pump photon in mode \(\vec{w}_0\) disappears and a photon pair is created in modes \(\vec{w}\) and \(\vec{w}_0 \vec{w}\), with conservation of the energy and transverse momentum. The solution of Eq. (3) is a generalized Bogoliubovtype transformation, similar to that studied in^{16}, linking in a nonlocal way the field operators at the crystal output \(\hat{A}_s^{\mathrm out} (\vec{w})\) to the input vacuum fields. We shall not deal here with such a general solution, but rather focus on the two second order moments
that for such a Gaussian process determine all the spatiotemporal statistical properties at the medium output. The first function, is the biphoton correlation, proportional to the probability amplitude of generating a pair of twin photons in modes \(\vec{w}_1\) and \(\vec{w}_2\). The second one is the ubiquitous coherence function, describing the autocorrelation of light when twin photons are not detected together, for example, by measuring only one side of the spectrum with respect to the central frequency. All higher order moments can be expressed in terms of the second order ones. For example the correlation of the light intensity \(\hat{I} (\vec{w}) = \hat{A}_s^{\dagger \, \mathrm out}(\vec{w}) \hat{A}_s^{\mathrm out} (\vec{w})\) reads: \(\langle : \hat{I} (\vec{w}_1) \hat{I} (\vec{w}_2) :\rangle  \langle \hat{I} (\vec{w}_1) \rangle \langle \hat{I} (\vec{w}_2) \rangle =  G^{(1)}(\vec{w}_1, \vec{w}_2) ^2 + \left \Psi (\vec{w}_1, \vec{w}_2) \right ^2\).
Goal of the next sections will be to determine the functional form of \(\Psi\) and \(G^{(1)}\), holding under specific approximations. Before that, let us remind the wellknown results of the planewave pump model^{15}, in which \({\alpha }_p(\vec{w}) \rightarrow (2 \pi )^{3/2} \delta (\vec{w})\), and
where \(U(\vec{w}) = \cosh { \left[ \Gamma (\vec{w}) \right] } + i\frac{D_{{\textsc {pw}}}(\vec{w})l_c}{ 2 \Gamma (\vec{w})} \sinh \left[ \Gamma (\vec{w}) \right]\) ; \(V(\vec{w}) = g \frac{\sinh \left[ \Gamma (\vec{w}) \right] }{ \Gamma (\vec{w})}\), with \(\Gamma (\vec{w})= \sqrt{g^2  \frac{[D_{{\textsc {pw}}}(\vec{w})l_c]^2}{4} }\). The two functions are strongly peaked in the regions where the planewave phase mismatch
vanishes. In the example of Fig. 1, where parameters are chosen for collinear phase matching, it corresponds to the broad Xshape of the Fourier spectrum. The PWP theory has the undoubted merit of describing very well the anglefrequency distribution of PDC light in any gain condition^{23,24,25,26}, and the existence of nonclassical correlations between conjugated Fourier modes (see e.g.^{5, 17, 27}). An obvious drawback are the Diracdelta correlations in the Fourier domain, direct consequence of assuming a homogeneous distribution in the spacetime domain.
Results
Our proposal: the quasistationary model
With the aim of formulating a model valid both in the low and high gain of PDC, but without the heavy limitations of the planewave pump approximation, we focus on a sufficiently narrowband pump, such that the pump Fourier profile dies out on a faster scale than the phase matching function:
where the Taylor expansion (19) has been used. Here \(\tau _{\textsc {gvm}}=\frac{ l_c}{v_{gs}} \frac{ l_c}{v_{gp}}\) and \({\l}_{\textsc {woff}}= l_c \rho _p\) are the overall temporal and spatial walkoff occurring between the signal and the pump during propagation (Section “Methods”), due to their group velocity mismatch and the walkoff of the Poynting vector, respectively. Strictly speaking the limit (9) requires a pulse of duration \(\tau _p \gg \tau _{\textsc {gvm}}\) and waist \(w_p \gg {\l}_{\textsc {woff}}\). In the spontaneous regime of PDC, these conditions ensure that both the biphoton correlation and the coherence function factorize into the product of two functions with different scales of variation^{24, 25}. In highgain we do not have such explicit expressions. Our approach will be to assume that in any regime the \(\Psi\) and \(G^{(1)}\) factorize in the product of a fast decaying correlation peak and a slowly varying envelope. This ansatz, to which we shall refer as QuasiStationary (QS) approximation, corresponds to a configuration where small speckles are observed inside a broader spectral distribution, as depicted by the simulation of Fig. 1 and observed in several highgain experiments^{21, 23, 26, 28} We expect that such separation of decay scales holds in the limit (9), but we shall verify this point a posteriori. As for the specific choices of envelopes and correlations, we set:
where \(\phi _p (\vec {\xi })= \arg {[ {\alpha }_p(\vec {\xi })]}\), and U and V are the functions of the PWP model (7), and
In these formulas \(\vec{r}=0\) and \(t=0\) are the coordinates of the pump center at the crystal output. Accordingly,
represents, as we shall see, an offset (in space and time) between the signal and pump beams at the crystal output face. Clearly, in the limit of a homogeneous and stationary pump in which \({\alpha }_p(\vec {\xi })=1\), the PWP results of Eq. (7) are recovered. On the other hand, the functions \(\mu _{corr}\) and \(\mu _{coh}\) that replace the Diracdelta of the PWP model have been chosen on the basis of an other notable limit, namely that of a thin crystal, in which one takes \(D_{\textsc {pw}}(\vec{w}) l_c \approx 0\) for all the modes of interest. Then, the propagation Eq. (3) can be easily solved (Section “Methods”), and the equations (10a) and (10b) converge asymptotically to the results thereby obtained. Notice that the thin crystal limit, which discards the contribution of modes which are not phasematched, is complementary to the PWP limit, because it assumes a homogeneous distribution in the Fourier domain.
Correlation and coherence volumes in the Fourier space
The QS model of Eqs.(10) merges the ”good” features of the planewave pump and thin crystal approximations, by giving asymptotically the same results, but being free from their ill behaviors.
Said that, then a good question is whether this model makes correct predictions in realistic conditions, and what are their limits of validity. To this end, we shall compare the predictions of the QS model with the results of numerical stochastic simulations of the complete model (23).
Let us focus on a real and symmetric pump, i.e. a pump that is not chirped and that satisfies \({\alpha }_p(\vec {\xi }) ={\alpha }_p(\vec {\xi })\). Then, the widths of the spectral correlations (10a) and (10b) can be straightforwardly evaluated. By defining
we have
Hence, each \(\left \mu _\beta \right\) defines a normalized distribution, having \(F_{\beta }\) as its characteristic function. The mean values vanish for symmetry reasons, which gives the usual result that the peak of the coherence is at \(\vec{w}_2= \vec{w}_1\), while the biphoton correlation is peaked at \(\vec{w}_2= \vec{w}_1\). The widths of the distributions can be evaluated as
where \(w_i\) and \(\xi _i \,\) (\(i=1,2,3\)) denote the components of the vectors \(\vec{w}\) and \(\vec {\xi }\), and integration by parts has been performed twice. By focusing on a a Gaussian pump of the form \({\alpha }_p(\vec {\xi }) = \exp { ( \sum _i \frac{\xi _i^2}{ {\Delta _p}_i^2} )}\) where \({\Delta _p}_i= w_{px}, w_{py}, \tau _p\) are the 1/e widths in the spatial and temporal directions, we have \(\langle w_i^2 \rangle _{corr} = \frac{2g}{\tanh (2g)} \frac{2}{{\Delta _p}_i^2}\), and \(\langle w_i^2 \rangle _{coh} = \frac{2g}{\tanh (g)} \frac{2}{{\Delta _p}_i^2}\). The QS model provides in this way simple and explicit formulas for the correlation and coherence lengths in the Fourier space, defined here as the standard deviations of the respective distributions \(\mu _{\beta }\)
The two curves are plotted by the solid lines in Fig. 2. For large gains, the correlation and the coherence functions have the same width, which increases with the gain as \(\Delta w_{i\beta } \sim \sqrt{4g}/{\Delta _p}_i\). This is in nice agreement with the experimental findings^{21, 22}, where a \(g^{1/2}\) growth of the size of the speckles was observed in the anglefrequency domain of highgain PDC. At small gains, the two curves separate, with \(\Delta w_{i\, corr} \rightarrow \sqrt{2} /{\Delta _p}_i\), and \(\Delta w_{i\, coh} \rightarrow 2/{\Delta _p}_i\), which are just the inverse of the standard deviations of the pump amplitude and intensity, respectively. Actually, we notice that in the limit \(g\ll 1 \,\) \(\mu _{corr} (\vec{w})\) becomes the Fourier transform of the pump amplitude, while \(\mu _{coh} (\vec{w})\) becomes the Fourier transform of the pump intensity, in agreement with the results known for spontaneous PDC^{24, 25}.
Superimposed to the analytical predictions, the symbols show for comparison the results of the complete model, obtained by stochastic 2D+1 simulations of the propagation Eq. (23), performed in the Wigner representation (Section “Methods”). We considered a 2mm BBO crystal cut for degenerate and collinear phase matching at \(\lambda _p=515\,\) nm; in these conditions, the group velocity delay is \(\tau _{\textsc {gvm}}= 185.6\,\) fs, while the lateral walkoff is \({\l}_{\textsc {woff}}=113 \, \mu\)m. The pump duration and waist (\(\tau _p=600\) fs and \(w_p = 600\, \mu\)m, respectively) were chosen reasonably larger than these values, in order to meet the condition (9) of a nearly planewave pump. Indeed, for these parameters the predictions of our simple QS model appear in excellent agreement with the results of simulations. Conversely, Fig. 3 shows the results of simulation of PDC from a much shorter pulse \(\tau _p=160\,\)fs, which is well outside the expected conditions of validity of the QS model. Nevertheless, the agreement with the QS model is still fairly satisfactory: numerical results are more scattered than in Fig. 2, but follow nicely the behaviors of a \(\sqrt{4g}\) growth at high gain, and a bifurcation at low gain. At low gain the agreement is not perfect, but this may also be due to the impact of residual noise.
Exponential narrowing of the spacetime distributions
The growth of the correlation and coherence volumes in the Fourier domain with increasing gain is strictly linked to a progressive narrowing of the spacetime distribution of PDC photons at the medium output: at low gain these simply follow the profile of the pump, because at each point of the medium the photon pairs are generated independently with probability proportional to \(\alpha _p (\vec{r},t)^2\). At high gain the signal distribution becomes much narrower, because of stimulated processes that exponentially grow in the central region of the pump peak. More formally, by Fourier transforming the spectral correlations in Eq. (10), one obtains
The Fourier integrals at r.h.s.of Eqs. (16a) and (16b) define two spatiotemporal correlation peaks centered around \(\vec {\xi }_2=\vec {\xi }_1\), known in the literature as Xentanglement^{24,25,26} and Xcoherence^{23}, respectively, because of their particular shape. We shall not deal here with these aspects, already extensively studied, but focus on the envelopes \(F_\beta\). In the QS model, these have well defined expressions also at highgain, that cannot be described within the PWP model used e.g. in^{25}. In particular, the QS model provides the mean spatiotemporal distribution of the PDC photons in any gain regime:
The behavior of this function is shown by the red lines in Figs. 4 and 5. The QS model predicts that the signal pulse is significantly narrower and shorter than the pump pulse (gray lines) even at moderate gain as \(g=1\); in addition, it predicts that it appears at the medium output delayed (actually anticipated) by a an amount \(\frac{\tau _{\textsc {gvm}}}{2}\) and laterally shifted by \(\frac{{\l}_{\textsc {woff}}}{2}\). The blue lines are instead the results of quantum simulations of the complete model, which fully incorporate the effects of temporal and spatial walkoff as well as of dispersion and diffraction. As already observed for Fig. 2, the QS model, despite its highly simplified formulation, provides an excellent description of the process.
The fit between analytics and numerics is almost perfect for the long pump \(\tau _p=600\) fs in Fig. 4, but remains very satisfactory also for the short pump \(\tau _p=160\) fs in Fig. 5.
In this regard, however, it should be noted that the graphs were produced with the aid of a fit parameter that multiplies the analytic function (17). This parameter was close to unity for the long pulse, but significantly smaller for the short one. In fact, as illustrated by Fig. 6, the QS model is able to provide a reasonable approximation of the mean number of generated photons, within a \(10 \%\) error, only in the case of the long pump pulse. On the contrary, it essentially fails in the case of a pulse shorter or on the same order as \(\tau_{\textsc {gvm}}\). This is predictable, as the QS model takes into account the effects of the spatial and temporal walkoff between the pump and signal only through a rigid traslation of the two distributions: as is known, however, the loss of overlap between the two beams during propagation, due to their different group velocities and the spatial walkoff of the extraordinary pump, reduces the efficiency of the stimulated conversion processes. Nevertheless, we note that even in the case of \(\tau _p = 160\) fs where the group velocity delay \(\tau _{\textsc {gvm}}=185\) fs causes an important loss of overlap between the signal and pump (see Fig. 5d,e and f), the QS model still provides a very efficient description of the size and shape of the signal beam.
Discussion
We formulated a semianalytical model describing pulsed PDC in any gain regime and verified its predictions through simulations of the full model equations. The rationale behind the formulation of this model is: i) That it converges asymptotically to the appropriate limits in the cases where the solution of the evolution Eq. (3) is known, i.e. the limits of PWP, thin crystal and \(g \rightarrow 0\). ii) That it is substantially simpler than analogous models previously formulated^{16}, still retaining the essential features of the process. iii) That different results can be accessed via analytical calculations. Indeed, it is a strength of our QS model to provide simple analytic formulas, such as Eq. (15) for the correlation and coherence volumes, which hold in both the spontaneous and stimulated PDC regimes, as it was verified by comparison with the full model (Figs. 2 and 3).
The model essentially neglects the effects of the spatial and temporal walkoff between the pump and signal, except for a rigid translation of the two distributions: as such we expect it to be valid only for pump pulses substantially longer than \(\tau _{\textsc {gvm}}\) and broader than \({\l}_{\textsc {woff}}\). Surprisingly, we verified that its predictions regarding the shape and size of the Fourier coherence and correlation, as well as the spacetime distribution of PDC, remain valid even well outside these boundaries, as e.g. for a 160 fs pulse propagating in 2 mm crystal. Clearly, aspects such as the loss of efficiency of the stimulated PDC due to the walkoff are overlooked; these would require more sophisticated descriptions^{29}, lacking however the immediacy and simplicity of the model here presented.
Methods
Expansion of phase matching
We expand the phase matching defined by Eq. (4) in Taylor series of the pump variable \(\vec{w}_0 = (q_{0x},q_{0y}, \Omega _0)\). Provided that the duration and cross section of the pump pulse are large enough to make its diffraction and dispersion along the medium negligible (and/or the crystal is short enough), quadratic and higher order terms can be neglected, so that:
where in the second passage only the leading terms of the expansion of \(\mathbf {\nabla } k_{sz} (\vec{w})\) around \(\vec{w}=0\) (the central frequency and the collinear direction) have been retained. Here \(k^\prime _j= \frac{d k_j}{d\Omega } ({\vec{w}=0} )=\frac{1}{v_{gj}}\), where \(v_{gs}\) and \(v_{gp}\) denote the group velocities of the signal and pump wavepackets; \(k''_s = \frac{d^2 k_s}{d\Omega ^2} (\vec{w}=0)\) ; \(\rho _p \approx \frac{d k_p}{dq_x}\) is the walkoff angle of the Poynting vector of the extraordinary pump, assumed here in the xdirection. The term \(k''_s \Omega \Omega _0\) is usually negligible, unless special points are considered: for example, with our parameters it would be significant only for \(\Omega \) as large as \(k'_sk'_p/k''_s = 2. 10^{15} s^{1}\), which is larger than \(\omega _s\). For a very focused pump, the term \(\frac{\vec{q}\cdot \vec{q}_0}{k_s}\) may originate the socalled hot spots^{30}, but in any case it is relevant only close to a specific angle \(q_x/k = \rho _p\), which we do not consider in our analysis (for our BBO \(\rho _p=3.2^\circ\)). Therefore, under basically the requirement that diffraction and dispersion of the pump along the medium can be neglected, we do not make a big error by writing
Thin crystal solution
We consider here a particular limit, in which g is finite, but the crystal is thin enough that all the terms of Eq. (19) are negligible, so that one can set
for all the modes of interest. By back transforming the propagation Eq. (3) into direct space, one obtains the simple parametric equation
in which spacetime points are not coupled, and the parametric gain is modulated by the pump spatiotemporal profile. The solution can be written as : \(\hat{a}_s^{out} (\vec {\xi }) = \cosh { \left[ g \alpha _p (\vec {\xi }) \right] } \hat{a}_s^{in} (\vec {\xi }) + e^{i \phi _p (\vec {\xi })} \sinh { \left[ g \alpha _p (\vec {\xi }) \right] } { \hat{a}_s^{in\, \dagger }} (\vec {\xi })\), which immediately gives: \(\langle \hat{a}_s^{out} (\vec {\xi }) \hat{a}_s^{out} (\vec {\xi }') \rangle = \delta (\vec {\xi }\vec {\xi }') \frac{1}{2} \sinh { \left[ 2 g \alpha _p (\vec {\xi }) \right] } e^{i \phi _p (\vec {\xi })}\), and \(\langle \hat{a}_s^{out\, \dagger } (\vec {\xi }) \hat{a}_s^{out} (\vec {\xi }') \rangle = \delta (\vec {\xi }\vec {\xi }') {\sinh ^2{ \left[ g \alpha _p (\vec {\xi }) \right] }}\). We stress that in principle these are not the second order moments in the direct space, because the lowercase operators \(\hat{a}_s\) are connected to the actual photonic operator \(\hat{A}_s\) by the Fourier space transformation (2). However, in the spirit of the thin crystal approximation (20), the propagation phase factors can be neglected, setting \(l_c [k_{sz} (\vec{w}) + k_{sz}(\vec{w}') ] \approx l_c k_p\) and \(l_c [k_{sz} (\vec{w})  k_{sz} (\vec{w}') ] \approx 0\). Therefore, the second order moments in the Fourier space can be obtained by Fourier transforming the above results, as
These formula coincide with those of the QS model, when the thin crystal limit of Eq. (10) is taken, because in the limit (20), \(U (\vec{w}) \rightarrow \cosh {g}\) , \(V(\vec{w}) \rightarrow \sinh {g}\), and also the displacement \(\vec {\xi }_M\) becomes negligible on the pump scale.
At this point one might ask where the precise value \(\vec {\xi }_M = \frac{{\l}_{\textsc {woff}}}{2} \vec{e}_x+ \frac{\tau _{\textsc {gvm}}}{2 } \vec{e}_t\) comes from, also considering that it coincides with what observed in the simulations even for very short pump pulses. Actually, this result was obtained in the context of a slightly more sophisticated model for a thin crystal^{29}, which for reasons of brevity is not presented here. The analysis in^{29} fully retains the effects of the term \(\Omega _0 \tau _{\textsc {gvm}}+ {\l}_{\textsc {woff}}q_{0x}\) in the phase matching expansion (19), and indeed demonstrates that the signal appears at the crystal output displaced by \(\vec {\xi }_m\) with respect to the pump. For reasonably small values of \(\Delta = [ (\frac{\tau _{\textsc {gvm}}}{\tau _p})^2 + (\frac{{\l}_{\textsc {woff}}}{w_p})^2 ]^{1/2}\) , this rigid displacement is basically the only deviation from the more naive analysis of this section, and for this reason it was incorporated into the QS model. For larger values of \(\Delta\), there is also^{29} the expected loss of efficiency due to the lack of overlap between the two copropagating beams, which instead is neglected by the QS model.
Numerical simulations
We considered the nonlinear propagation equations for the coupled signal and pump operators:
Simulations of these equations were performed in the framework of the quantum to classical correspondence, in the Wigner representation, which provides the symmetrically ordered moments of observables. More precisely, we used a truncated Wigner representation^{31, 32}, in which the quantum operators are replaced by cnumber fields that evolve with equations formally identical to Eq. (23), and the quantum noise contributes only through the vacuum input fluctuations. In our simulations, they are modeled by taking Gaussian white noise as initial condition for the signal. The input pump, which is assumed to be a highintensity coherent pulse, is modeled by a Gaussian profile in space and time. For all the considered simulation parameters, we found that the pump was nearly undepleted.
We considered PDC in a 2mm BBO crystal, tuned for type I eoo collinear phasematching at degeneracy when pumped by a laser at \(\lambda _p=515\)nm (angle of propagation \(\sim 23.29^\circ\) with the optical axis). In these conditions the signal spectrum exhibits the characteristic Xshape shown in Fig. 1d,e. Numerical integration is performed through a secondorder pseudospectral (splitstep) method^{33}. Temporal dispersion and diffraction are taken into account at any order by using the complete Sellmeier relations for the refractive index of the material^{34}. Since our results need averages performed over a large number of independent realizations (up to \(10^5\) for small g) , which are extremely timeconsuming, we performed 2D+1 simulations, restricting to one transverse spatial dimension, i.e. the one along the walkoff direction. Our numerical grid is 512\(\times\)512 pixels in the \(q_x\) and \(\Omega\) directions, spanning the symmetric bandwidths \(0.3\,{\upmu \text{m}}^{1}<q_x<0.3\,{\upmu \text{m}}^{1}\), and \(3.84\times 10^{14}\textrm{s}^{1}<\Omega <3.84\times 10^{14}\textrm{s}^{1}\) (\(850\textrm{nm}<\lambda <1304\)nm) around the collinear direction and the degenerate frequency (see Fig. 1). In the \(q_y\) direction we took a single pixel, which may simulate a narrow slit in the farfield of the source that selects a single mode around \(q_y=0\), as e.g. done for frequencyresolved detection by means of an imaging spectrometer^{21}.
The biphoton correlation and the coherence function defined by Eqs. (5) and (6) were evaluated by performing ensemble averages over a large number (from \(10^3\) to \(10^5\), depending on the gain) of independent realizations, obtained by integrating the propagation Eq. (23) starting from independently and randomly generated initial conditions. In order to boost the convergence rate of the simulations we also exploited the translation invariance of the field statistics in the central region of the Fourier plane where the spectrum is nearly uniform. We considered the rectangular region \(R=[0.1\,{\upmu \text{m}}^{1},0.1\,{\upmu \text{m}}^{1}]\times [0,1.2\, 10^{14} \textrm{s}^{1}]\), containing \(M=13338\) pixels and in each realization calculated the discrete convolutions \(C_{corr}(\vec{w}_k)= \frac{1}{M}\sum _{\vec{w}_j} A_s^{out}(\vec{w}_j )A_s^{out}(\vec{w}_j +\vec{w}_k)\) and \(C_{coh}(\vec{w}_k)= \frac{1}{M}\sum _{\vec{w}_j} A_s^{\star \, out}(w_j )A_s^{out}(\vec{w}_j +\vec{w}_k)\), where the \(\vec{w}_j\) run over the pixel coordinates inside R. Examples of the biphoton correlation obtained in this way are shown in Figs.2 and 3. The standard deviations \(\Delta \Omega\) and \(\Delta q\) here reported were evaluated by using the \(\left \Psi \right\) and \( G^{(1)}\) thereby obtained (after correcting the \(G^{(1)}\) in order to pass from symmetric to normal ordering). A delicate point is represented by the residual noise of the Wigner simulation, still visible e.g. in Fig. 3a, that may artificially enhance \(\Delta \Omega\) and \(\Delta q\): for this reason the variances along each Fourier coordinate were calculated over a reduced region, covering 8 times the standard deviations (15) of the QS model. This number seemed a good compromise between the need to cover the entire peak and to avoid including too much residual noise.
References
Law, C. K., Walmsley, I. A. & Eberly, J. H. Continuous frequency entanglement: Effective finite hilbert space and entropy control. Phys. Rev. Lett. 84, 5304–5307. https://doi.org/10.1103/PhysRevLett.84.5304 (2000).
Law, C. K. & Eberly, J. H. Analysis and interpretation of high transverse entanglement in optical parametric down conversion. Phys. Rev. Lett. 92, 127903. https://doi.org/10.1103/PhysRevLett.92.127903 (2004).
Gatti, A., Corti, T., Brambilla, E. & Horoshko, D. B. Dimensionality of the spatiotemporal entanglement of parametric downconversion photon pairs. Phys. Rev. A 86, 053803. https://doi.org/10.1103/PhysRevA.86.053803 (2012).
Avenhaus, M., Chekhova, M. V., Krivitsky, L. A., Leuchs, G. & Silberhorn, C. Experimental verification of high spectral entanglement for pulsed waveguided spontaneous parametric downconversion. Phys. Rev. A 79, 043836. https://doi.org/10.1103/PhysRevA.79.043836 (2009).
Gatti, A., Brambilla, E. & Lugiato, L. Chapter 5. quantum imaging. vol. 51 of Progress in Optics, 251–348, https://doi.org/10.1016/S00796638(07)51005X (Elsevier, 2008).
Genovese, M. Real applications of quantum imaging. J. Opt. 18, 073002. https://doi.org/10.1088/20408978/18/7/073002 (2016).
Moreau, P., Toninelli, E., Gregory, T. & Padgett, M. J. Imaging with quantum states of light. Nat. Rev. Physhttps://doi.org/10.1038/s4225401900560 (2019).
Pittman, T. B., Shih, Y. H., Strekalov, D. V. & Sergienko, A. V. Optical imaging by means of twophoton quantum entanglement. Phys. Rev. A 52, R3429–R3432. https://doi.org/10.1103/PhysRevA.52.R3429 (1995).
Ono, T., Okamoto, R. & Takeuchi, S. An entanglementenhanced microscope. Nat. Commun. 4, 2426. https://doi.org/10.1038/ncomms3426 (2013).
Brambilla, E., Caspani, L., Jedrkiewicz, O., Lugiato, L. A. & Gatti, A. Highsensitivity imaging with multimode twin beams. Phys. Rev. A 77, 053807. https://doi.org/10.1103/PhysRevA.77.053807 (2008).
Brida, G., Genovese, M. & Ruo Berchera, I. Experimental realization of subshotnoise quantum imaging. Nat. Photon 4, 227–230 (2010).
Tabakaev, D. et al. Energytimeentangled twophoton molecular absorption. Phys. Rev. A 103, 033701. https://doi.org/10.1103/PhysRevA.103.033701 (2021).
Raymer, M. G., Landes, T. & Marcus, A. H. Entangled twophoton absorption by atoms and molecules: A quantum optics tutorial. J. Chem. Phys.https://doi.org/10.1063/5.0049338 (2021).
Schlawin, F., Dorfman, K. E. & Mukamel, S. Entangled twophoton absorption spectroscopy. Acc. Chem. Res. 51, 2207–2214 (2018).
Klyshko, D. N. Photons and Nonlinear Optics (Gordon & Breach Science Pub, New York, 1988).
Brambilla, E., Gatti, A., Bache, M. & Lugiato, L. Simultaneous nearfield and farfield spatial quantum correlations in the highgain regime of parametric downconversion. Phys. Rev. Ahttps://doi.org/10.1103/PhysRevA.69.023802 (2004).
Brambilla, E., Gatti, A., Lugiato, L. A. & Kolobov, M. I. Quantum structures in travelingwave spontaneous parametric downconversion. Eur. Phys. J. D 15, 127–135. https://doi.org/10.1007/s100530170190 (2001).
Gatti, A., Zambrini, R., San Miguel, M. & Lugiato, L. A. Multiphoton multimode polarization entanglement in parametric downconversion. Phys. Rev. A 68, 053807. https://doi.org/10.1103/PhysRevA.68.053807 (2003).
Kulkarni, G., Rioux, J., Braverman, B., Chekhova, M. V. & Boyd, R. W. Classical model of spontaneous parametric downconversion. Phys. Rev. Res. 4, 033098. https://doi.org/10.1103/PhysRevResearch.4.033098 (2022).
Jedrkiewicz, O. et al. Quantum spatial correlations in highgain parametric downconversion measured by means of a ccd camera. J. Mod. Opt. 53, 575–595. https://doi.org/10.1080/09500340500217670 (2006).
Allevi, A. et al. Coherence properties of highgain twin beams. Phys. Rev. A 90, 063812. https://doi.org/10.1103/PhysRevA.90.063812 (2014).
Sharapova, P. R. et al. Properties of bright squeezed vacuum at increasing brightness. Phys. Rev. Res. 2, 013371. https://doi.org/10.1103/PhysRevResearch.2.013371 (2020).
Jedrkiewicz, O., Picozzi, A., Clerici, M., Faccio, D. & Di Trapani, P. Emergence of xshaped spatiotemporal coherence in optical waves. Phys. Rev. Lett. 97, 243903. https://doi.org/10.1103/PhysRevLett.97.243903 (2006).
Gatti, A., Brambilla, E., Caspani, L., Jedrkiewicz, O. & Lugiato, L. A. Xentanglement: The nonfactorable spatiotemporal structure of biphoton correlation. Phys. Rev. Lett. 102, 223601. https://doi.org/10.1103/PhysRevLett.102.223601 (2009).
Caspani, L., Brambilla, E. & Gatti, A. Tailoring the spatiotemporal structure of biphoton entanglement in typei parametric downconversion. Phys. Rev. A–Atom., Mol. Opt. Phys.https://doi.org/10.1103/PhysRevA.81.033808 (2010).
Jedrkiewicz, O., Gatti, A., Brambilla, E. & Di Trapani, P. Experimental observation of a skewed xtype spatiotemporal correlation of ultrabroadband twin beams. Phys. Rev. Lett. 109, 243901. https://doi.org/10.1103/PhysRevLett.109.243901 (2012).
Kolobov, M. I. The spatial behavior of nonclassical light. Rev. Mod. Phys. 71, 1539–1589. https://doi.org/10.1103/RevModPhys.71.1539 (1999).
Jedrkiewicz, O. et al. Detection of subshotnoise spatial correlation in highgain parametric down conversion. Phys. Rev. Lett. 93, 243601. https://doi.org/10.1103/PhysRevLett.93.243601 (2004).
Gatti, A. Modeling temporal and spatial walkoff in pulsed twin beam generation (2022). Unpublished.
Pérez, A. M. et al. Giant narrowband twinbeam generation along the pumpenergy propagation direction. Nat. Commun.https://doi.org/10.1038/ncomms8707 (2015).
Werner, M. J., Raymer, M. G., Beck, M. & Drummond, P. D. Ultrashort pulsed squeezing by optical parametric amplification. Phys. Rev. A 52, 4202–4213. https://doi.org/10.1103/PhysRevA.52.4202 (1995).
Gatti, A. et al. Langevin treatment of quantum fluctuations and optical patterns in optical parametric oscillators below threshold. Phys. Rev. A 56, 877–897. https://doi.org/10.1103/PhysRevA.56.877 (1997).
Press, W. H., Flannery, B. P., Teukolsky, S. A. & Vetterling, W. T. Numerical Recipes in FORTRAN 77: The Art of Scientific Computing (Cambridge University Press, 1992), 2 edn.
Eimerl, D., Davis, L., Velsko, S., Graham, E. K. & Zalkin, A. Optical, mechanical, and thermal properties of barium borate. J. Appl. Phys. 62, 1968–1983. https://doi.org/10.1063/1.339536 (1987).
Author information
Authors and Affiliations
Contributions
A.G. conceived the QS model and studied its predictions, E.B. wrote the code and conducted the numerical simulations. All the Authors collaborated to the statistical analysis and discussed the results.
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.
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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence 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 licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gatti, A., Jedrkiewicz, O. & Brambilla, E. Modeling the spacetime correlation of pulsed twin beams. Sci Rep 13, 16786 (2023). https://doi.org/10.1038/s4159802342588y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s4159802342588y
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.