License: CC BY 4.0
arXiv:2403.04040v1 [physics.optics] 06 Mar 2024

Anomalous Second Harmonic Generation of Twisted Gaussian Schell Model Beams

M. Gil de Oliveira [email protected] A. L. S. Santos Junior A. C. Barbosa B. Pinheiro da Silva G. H. dos Santos G. Cañas P. H. Souto Ribeiro [email protected] S. P. Walborn [email protected] A. Z. Khoury [email protected]
Abstract

We investigate theoretically and experimentally the optical second harmonic generation (SHG) with a twisted Gaussian Schell model (TGSM) beam as the fundamental field. We use Type-II phase matching and analyze the cross spectral density (CSD) of the SHG output beam when the input fundamental is prepared with a TGSM structure. We analyze two synthetization methods for preparing the TGSM fundamental beam and we find that for one method the SHG is also a TGSM beam. For the other method, we find that the SHG is not a TGSM beam and presents an anomalous CSD possessing a dip instead of a peak in the transverse spatial structure. Moreover, we show that the dip depth is directly related to the twisted phase parameter, being absent for a non twisted GSM beam. Our results show that the SHG from a fundamental TGSM beam can result in a doubled frequency TGSM or in a non-TGSM beam depending on the synthetization method.

keywords:
Twisted Gaussian Schell Model Beams, Second Harmonic Generation
journal: Optics & Laser Technology\affiliation

[uff]organization=Instituto de Fisica, Universidade Federal Fluminense, city=Niteroi, state=Rio de Janeiro, country=Brazil

\affiliation

[ufsc]organization=Instituto de Fisica, Universidade Federal de Santa Catarina, city=Florianopolis, state=Santa Catarina, country=Brazil

\affiliation

[miro]organization=Millennium Institute for Research in Optics, Universidad de Concepcion, city=Concepcion, state=Bio-Bio, country=Chile

\affiliation

[collao]organization=Departamento de Fisica, Universidad del Bio-Bio, Collao, city=Concepcion, state=Bio-Bio, country=Chile

\affiliation

[uc]organization=Departamento de Fisica, Universidad de Concepcion, city=Concepcion, state=Bio-Bio, country=Chile

1 Introduction

Optical fields are partially coherent for practically all natural sources like the sun, stars and other thermal sources. One of the important features of laser light is the high degree of coherence, which is pursued by the constructors by means of high quality cavities and frequency stabilization techniques. However, there has been an increasing interest in some special partially coherent light fields. The Twisted Gaussian Schell-model (TGSM) beams are attracting a high deal of interest due to several relevant applications Cai2022 ; ismail2017 ; ismail2020 ; Hutter21 ; Zhang:19 ; Ma:17 . TGSM beams were invented in 1992 by Simon and Mukunda by introducing a position dependent “twist” phase in the correlation function of GSM beams simon93 and experimentally realized by Friberg et. al. friberg94 . The twist phase is different from the orbital angular momentum of light because they can only exist in partially coherent beams, while orbital angular momentum is a property of a highly coherent light mode.

Besides TGSM beams, other classes of TGSM beams where created and implemented in the laboratory. Some examples are the twisted Laguerre Gaussian Schell-model (TLGSM) Peng:18 , twisted Hermite GSM (THGSM) beams Xiaofeng2022 , ring-shaped twisted Gaussian Schell-model array (RTGSMA) Zheng2020 , and twisted vortex Gaussian Schell-model (TVGSM) beams Stahl:18 . There are interesting applications for all these beams and we are particularly concerned with TGSM beams. We are motivated by applications like optical communication through atmospheric and underwater turbulence Cai2006 ; Wang:10 ; Wang:12 ; Peng:17 ; Zhou:18 , in resisting coherence induced depolarization, in overcoming the classical Rayleigh limit Tong:12 , to control the coherence of optical solitons Ponomarenko2001 , to boost entanglement in photon pairs Hutter20 ; Hutter21 , and in stimulated parametric down-conversion dos2022phase .

TGSM beams are not available in nature and they need to be prepared in the laboratory. Moreover, it is always convenient generating TGSM beams starting from a laser source, due to the high photon number occupation per mode provided by lasers. Therefore, generation and manipulation of these special beams is an important research topic nowadays friberg94 ; wang19 ; Stahl:18 ; tian20 ; zhang2021generating ; Liu:22 ; wang2022experimental ; canas2022 . Among the available approaches for generating TGSM beams, there are approaches based on conversion of GSM beams like the one by Friberg et al. friberg94 , who employed an experimental setup consisting of a combination of six-cylindrical lenses and a variable-coherence anisotropic GSM source and the one by Wang et al., which converted an anisotropic GSM beam into a TGSM beam using a set of three cylindrical lenses wang19 . Other methods are based on mode decompositions. For instance, TGSM beams were created by implementing the continuous coherent beam integral function in a discrete form tian20 ; canas2022 and in Ref. tian20 , a Laguerre-Gaussian mode decomposition was used, based on the theory introduced in simon93b ; sundar93 . In a more recent realization, TGSM beams with controllable twist phase were produced with an incoherent superposition of random modes obeying Gaussian statistics wang2022experimental . More sophisticated classes of partially coherent beams can also be generated with these approaches. For instance the radially polarized twisted partially coherent vortex (RPTPCV) was prepared by Liu et al. Liu:22 .

In nonlinear optics, there has been some studies concerning the propagation characteristics of TGSM beams in non-linear Kerr media hu_influence_2021 . The theory for treating TGSM in nonlinear interactions is being developed and has been recently advanced by Zheltikov et al. zheltikov_modulation_2023 . Experiments with TGSM beams in nonlinear interactions were also reported, as for instance Ref. dos2022phase , where phase conjugation is demonstrated in stimulated parametric down-conversion.

In this paper, we study the nonlinear interaction of a TGSM beam in a second harmonic generation (SHG) process. Due to the nonlinear coupling between the optical fields, the equation that governs this process couples correlation functions of different orders. We show that different methods for generating TGSM lead to different fourth order correlation functions. Therefore, the output up-converted beam depends upon which generation method is used, as well as the SHG experimental setup.

This article is structured as follows: in section 2 we briefly review the properties of the TGSM beam and discuss two different synthesizing methods. In section 3 we derive theoretical predictions for the output of a SHG process when the fundamental beams are TGSM, considering different experimental setups and TGSM generation techniques. In section 4, we present experimental results that corroborate our theoretical findings. Finally, in section 5, we draw our conclusions.

2 TGSM Beams

For a partially coherent source, the electric field is a random variable, for which we cannot assign a field value, being only able to calculate averages. Let us write the Fourier component at frequency ω𝜔\omegaitalic_ω of the electric field as 𝐄(𝐫,ω)=(𝐫)ei𝐤𝐫𝐞^𝐄𝐫𝜔𝐫superscript𝑒𝑖𝐤𝐫^𝐞\mathbf{E}(\mathbf{r},\omega)=\mathcal{E}(\mathbf{r})e^{i\mathbf{k}\cdot% \mathbf{r}}\hat{\mathbf{e}}bold_E ( bold_r , italic_ω ) = caligraphic_E ( bold_r ) italic_e start_POSTSUPERSCRIPT italic_i bold_k ⋅ bold_r end_POSTSUPERSCRIPT over^ start_ARG bold_e end_ARG, where 𝐤𝐤\mathbf{k}bold_k is the wavevector and 𝐞^^𝐞\hat{\mathbf{e}}over^ start_ARG bold_e end_ARG is the polarization vector, which is assumed to be fixed. Then, the cross-spectral density (CSD) function, which can be used to characterize the partially coherent source, is defined as

Γ(𝐫,𝐫)=(𝐫)*(𝐫),Γ𝐫superscript𝐫expectation-value𝐫superscriptsuperscript𝐫\Gamma(\mathbf{r},\mathbf{r}^{\prime})=\expectationvalue{\mathcal{E}(\mathbf{r% })\mathcal{E}^{*}(\mathbf{r}^{\prime})},roman_Γ ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = ⟨ start_ARG caligraphic_E ( bold_r ) caligraphic_E start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_ARG ⟩ , (1)

where 𝐫=(x,y)𝐫𝑥𝑦\mathbf{r}=(x,y)bold_r = ( italic_x , italic_y ) is the transverse position and expectation-value\expectationvalue{\cdot}⟨ start_ARG ⋅ end_ARG ⟩ denotes the ensemble average.

The TGSM simon93 ; simon93b ; sundar93 ; simon98 beam describes a class of partially coherent beams that have a Gaussian intensity profile, a Gaussian degree of coherence function, and that include a novel twist-phase μ𝜇\muitalic_μ that can give them non-zero optical angular momentum. In the focal plane, their CSD function is given by

Γ(𝐫,𝐫)=|A|2T(𝐫,𝐫),Γ𝐫superscript𝐫superscript𝐴2𝑇𝐫superscript𝐫\Gamma(\mathbf{r},\mathbf{r}^{\prime})=\absolutevalue{A}^{2}T(\mathbf{r},% \mathbf{r}^{\prime}),roman_Γ ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = | start_ARG italic_A end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) , (2)

where A𝐴Aitalic_A is a field amplitude and

T(𝐫,𝐫)𝑇𝐫superscript𝐫\displaystyle T(\mathbf{r},\mathbf{r}^{\prime})italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) =T(𝐫,𝐫;w,δ,k,μ)absent𝑇𝐫superscript𝐫𝑤𝛿𝑘𝜇\displaystyle=T(\mathbf{r},\mathbf{r}^{\prime};w,\delta,k,\mu)= italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_w , italic_δ , italic_k , italic_μ ) (3)
=er2+r24w2(𝐫𝐫)22δ2ikμ𝐫𝐫.absentsuperscript𝑒superscript𝑟2superscript𝑟24superscript𝑤2superscript𝐫superscript𝐫22superscript𝛿2𝑖𝑘𝜇𝐫superscript𝐫\displaystyle=e^{-\frac{r^{2}+r^{\prime 2}}{4w^{2}}-\frac{(\mathbf{r}-\mathbf{% r}^{\prime})^{2}}{2\delta^{2}}-ik\mu\mathbf{r}\wedge\mathbf{r}^{\prime}}.= italic_e start_POSTSUPERSCRIPT - divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_r start_POSTSUPERSCRIPT ′ 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_w start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - divide start_ARG ( bold_r - bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG - italic_i italic_k italic_μ bold_r ∧ bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT .

Here, 𝐫𝐫=xyxy𝐫superscript𝐫𝑥superscript𝑦superscript𝑥𝑦\mathbf{r}\wedge\mathbf{r}^{\prime}=xy^{\prime}-x^{\prime}ybold_r ∧ bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = italic_x italic_y start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_x start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_y, 2w2𝑤2w2 italic_w is the beam waist and δ𝛿\deltaitalic_δ is the transverse coherence length. The twist phase μ𝜇\muitalic_μ satisfies the condition k|μ|1/δ2𝑘𝜇1superscript𝛿2k|\mu|\leq 1/\delta^{2}italic_k | italic_μ | ≤ 1 / italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT simon93 ; simon98 . Therefore, it is useful to introduce the dimensionless twist phase

τ=kμδ2,𝜏𝑘𝜇superscript𝛿2\tau=k\mu\delta^{2},italic_τ = italic_k italic_μ italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , (4)

which satisfies |τ|1𝜏1\absolutevalue{\tau}\leq 1| start_ARG italic_τ end_ARG | ≤ 1. We will also introduce the dimensionless transverse coherence length, defined by

q=δ2w.𝑞𝛿2𝑤q=\frac{\delta}{\sqrt{2}w}.italic_q = divide start_ARG italic_δ end_ARG start_ARG square-root start_ARG 2 end_ARG italic_w end_ARG . (5)

2.1 TGSM generation methods

As in previous work, we will use phase-randomized modes in order to produce the TGSM beams tian20 ; canas2022 . In practice, these modes can be produced using a sequence of phase masks imprinted on a spatial light modulator or similar device. This technique is based on the properties of the stochastic field

Ψ(𝐫)=nλnKn(𝐫)eiϕn,Ψ𝐫subscript𝑛subscript𝜆𝑛subscript𝐾𝑛𝐫superscript𝑒𝑖subscriptitalic-ϕ𝑛\Psi(\mathbf{r})=\sum_{n}\sqrt{\lambda_{n}}K_{n}(\mathbf{r})e^{i\phi_{n}},roman_Ψ ( bold_r ) = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT square-root start_ARG italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_ARG italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_r ) italic_e start_POSTSUPERSCRIPT italic_i italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT end_POSTSUPERSCRIPT , (6)

where {Kn}subscript𝐾𝑛\{K_{n}\}{ italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT } is a family of coherent modes, λnsubscript𝜆𝑛\lambda_{n}italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT are a set of corresponding weights and ϕnsubscriptitalic-ϕ𝑛\phi_{n}italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT are random independent phases that are uniformly distributed in [0,2π)02𝜋[0,2\pi)[ 0 , 2 italic_π ). By using

ei(ϕmϕn)=δmn,delimited-⟨⟩superscript𝑒𝑖subscriptitalic-ϕ𝑚subscriptitalic-ϕ𝑛subscript𝛿𝑚𝑛\left<e^{i\left(\phi_{m}-\phi_{n}\right)}\right>=\delta_{mn},⟨ italic_e start_POSTSUPERSCRIPT italic_i ( italic_ϕ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ⟩ = italic_δ start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT , (7)

one can see that this field has a correlation function given by

Ψ(𝐫)Ψ*(𝐫)=nλnKn(𝐫)Kn*(𝐫).delimited-⟨⟩Ψ𝐫superscriptΨsuperscript𝐫subscript𝑛subscript𝜆𝑛subscript𝐾𝑛𝐫superscriptsubscript𝐾𝑛superscript𝐫\left<\Psi(\mathbf{r})\Psi^{*}(\mathbf{r}^{\prime})\right>=\sum_{n}\lambda_{n}% K_{n}(\mathbf{r})K_{n}^{*}(\mathbf{r}^{\prime}).⟨ roman_Ψ ( bold_r ) roman_Ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ⟩ = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_r ) italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) . (8)

Therefore, if we find coherent modes Knsubscript𝐾𝑛K_{n}italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT and weights λnsubscript𝜆𝑛\lambda_{n}italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT such that

T(𝐫,𝐫)nλnKn(𝐫)Kn*(𝐫),𝑇𝐫superscript𝐫subscript𝑛subscript𝜆𝑛subscript𝐾𝑛𝐫superscriptsubscript𝐾𝑛superscript𝐫T(\mathbf{r},\mathbf{r}^{\prime})\approx\sum_{n}\lambda_{n}K_{n}(\mathbf{r})K_% {n}^{*}(\mathbf{r}^{\prime}),italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ≈ ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_r ) italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) , (9)

we conclude that this stochastic field (6) is a TGSM.

In practice, the averaging in (8) is done by producing many realizations of the fields (6) with different randomly chosen phases, and summing the output results, either at the detection stage or posteriori. We will analyze two possible choices of modes. The first one is based on the decomposition

T(𝐫,𝐫)𝑇𝐫superscript𝐫\displaystyle T\left(\mathbf{r},\mathbf{r}^{\prime}\right)italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) =d2𝐯p(𝐯)DG(𝐫,𝐯)DG*(𝐫,𝐯),absentsuperscript𝑑2𝐯𝑝𝐯𝐷𝐺𝐫𝐯𝐷superscript𝐺superscript𝐫𝐯\displaystyle=\int d^{2}\mathbf{v}\ p(\mathbf{v})DG(\mathbf{r},\mathbf{v})DG^{% *}(\mathbf{r}^{\prime},\mathbf{v}),= ∫ italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_v italic_p ( bold_v ) italic_D italic_G ( bold_r , bold_v ) italic_D italic_G start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_v ) , (10)

where

DG(𝐫,𝐯)=𝐷𝐺𝐫𝐯absent\displaystyle DG(\mathbf{r},\mathbf{v})=italic_D italic_G ( bold_r , bold_v ) = exp[w22αw2+1(𝐫2w2+α𝐫α𝐯)2]superscript𝑤22𝛼superscript𝑤21superscript𝐫2superscript𝑤2𝛼𝐫𝛼𝐯2\displaystyle\exp\left[-\frac{w^{2}}{2\alpha w^{2}+1}\left(\frac{\mathbf{r}}{2% w^{2}}+\alpha\mathbf{r}-\alpha\mathbf{v}\right)^{2}\right]roman_exp [ - divide start_ARG italic_w start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_α italic_w start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 end_ARG ( divide start_ARG bold_r end_ARG start_ARG 2 italic_w start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG + italic_α bold_r - italic_α bold_v ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] (11)
×exp[ikμ(xvyyvx)],absent𝑖𝑘𝜇𝑥subscript𝑣𝑦𝑦subscript𝑣𝑥\displaystyle\times\exp\left[-ik\mu(xv_{y}-yv_{x})\right],× roman_exp [ - italic_i italic_k italic_μ ( italic_x italic_v start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT - italic_y italic_v start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT ) ] ,

are dislocated Gaussians (DG), and

p(𝐯)=απexp(αv22αw2+1)𝑝𝐯𝛼𝜋𝛼superscript𝑣22𝛼superscript𝑤21p(\mathbf{v})=\frac{\alpha}{\pi}\exp\left(-\frac{\alpha v^{2}}{2\alpha w^{2}+1% }\right)italic_p ( bold_v ) = divide start_ARG italic_α end_ARG start_ARG italic_π end_ARG roman_exp ( - divide start_ARG italic_α italic_v start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_α italic_w start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 1 end_ARG ) (12)

is a weight function with

α=1+1τ2δ2.𝛼11superscript𝜏2superscript𝛿2\alpha=\frac{1+\sqrt{1-\tau^{2}}}{\delta^{2}}.italic_α = divide start_ARG 1 + square-root start_ARG 1 - italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG italic_δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (13)

By truncating and discretizing, we may put expression (10) in the form of equation (9), by choosing Kn(𝐫)=DG(𝐫,𝐯n)subscript𝐾𝑛𝐫𝐷𝐺𝐫subscript𝐯𝑛K_{n}(\mathbf{r})=DG(\mathbf{r},\mathbf{v}_{n})italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_r ) = italic_D italic_G ( bold_r , bold_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ), where 𝐯𝐧subscript𝐯𝐧\mathbf{v_{n}}bold_v start_POSTSUBSCRIPT bold_n end_POSTSUBSCRIPT is a point in the discretized grid, and

λn=ΔAp(𝐯n),subscript𝜆𝑛Δ𝐴𝑝subscript𝐯𝑛\lambda_{n}=\Delta Ap(\mathbf{v}_{n})\,,italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = roman_Δ italic_A italic_p ( bold_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) , (14)

where ΔAΔ𝐴\Delta Aroman_Δ italic_A is the discretization area.

Another possible decomposition is obtained by using the Laguerre-Gauss basis, with modes given by

LGpl(𝐫)=𝒩pl(2r~2)|l|2Lp|l|(2r~2)er~2eilϕ,𝐿subscript𝐺𝑝𝑙𝐫subscript𝒩𝑝𝑙superscript2superscript~𝑟2𝑙2superscriptsubscript𝐿𝑝𝑙2superscript~𝑟2superscript𝑒superscript~𝑟2superscript𝑒𝑖𝑙italic-ϕLG_{pl}(\mathbf{r})=\mathcal{N}_{pl}\!\left(2\tilde{r}^{2}\right)^{\!\!\frac{|% l|}{2}}\!L_{p}^{|l|}\!\left(2\tilde{r}^{2}\right)e^{-\tilde{r}^{2}}\!e^{il\phi},italic_L italic_G start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT ( bold_r ) = caligraphic_N start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT ( 2 over~ start_ARG italic_r end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT divide start_ARG | italic_l | end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_L start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT | italic_l | end_POSTSUPERSCRIPT ( 2 over~ start_ARG italic_r end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_e start_POSTSUPERSCRIPT - over~ start_ARG italic_r end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_POSTSUPERSCRIPT italic_e start_POSTSUPERSCRIPT italic_i italic_l italic_ϕ end_POSTSUPERSCRIPT , (15)

where w0subscript𝑤0w_{0}italic_w start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the beam’s waist, r~=r/w0~𝑟𝑟subscript𝑤0\tilde{r}=r/w_{0}over~ start_ARG italic_r end_ARG = italic_r / italic_w start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and

𝒩pl=1w02πp!(p+|l|)!subscript𝒩𝑝𝑙1subscript𝑤02𝜋𝑝𝑝𝑙\mathcal{N}_{pl}=\frac{1}{w_{0}}\sqrt{\frac{2}{\pi}}\sqrt{\frac{p!}{(p+|l|)!}}caligraphic_N start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG italic_w start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG square-root start_ARG divide start_ARG 2 end_ARG start_ARG italic_π end_ARG end_ARG square-root start_ARG divide start_ARG italic_p ! end_ARG start_ARG ( italic_p + | italic_l | ) ! end_ARG end_ARG (16)

is the normalization constant. As shown in simon93b ; sundar93 , we then have

p,lλplLGpl(𝐫)LGpl*(𝐫)=T(𝐫,𝐫;w,δ,μ,k),subscript𝑝𝑙subscript𝜆𝑝𝑙𝐿subscript𝐺𝑝𝑙𝐫𝐿superscriptsubscript𝐺𝑝𝑙superscript𝐫𝑇𝐫superscript𝐫𝑤𝛿𝜇𝑘\sum_{p,l}\lambda_{pl}LG_{pl}(\mathbf{r})LG_{pl}^{*}(\mathbf{r}^{\prime})=T% \left(\mathbf{r},\mathbf{r}^{\prime};w,\delta,\mu,k\right),∑ start_POSTSUBSCRIPT italic_p , italic_l end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT italic_L italic_G start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT ( bold_r ) italic_L italic_G start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_w , italic_δ , italic_μ , italic_k ) , (17)

where the weights are given by

λplsubscript𝜆𝑝𝑙\displaystyle\lambda_{pl}italic_λ start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT =π2w02(1ξ)(1+τ1τ)l/2ξ|l|2+pabsent𝜋2superscriptsubscript𝑤021𝜉superscript1𝜏1𝜏𝑙2superscript𝜉𝑙2𝑝\displaystyle=\frac{\pi}{2}w_{0}^{2}(1-\xi)\left(\frac{1+\tau}{1-\tau}\right)^% {l/2}\xi^{\frac{|l|}{2}+p}= divide start_ARG italic_π end_ARG start_ARG 2 end_ARG italic_w start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 - italic_ξ ) ( divide start_ARG 1 + italic_τ end_ARG start_ARG 1 - italic_τ end_ARG ) start_POSTSUPERSCRIPT italic_l / 2 end_POSTSUPERSCRIPT italic_ξ start_POSTSUPERSCRIPT divide start_ARG | italic_l | end_ARG start_ARG 2 end_ARG + italic_p end_POSTSUPERSCRIPT (18)
=λ00(1+τ1τ)l/2ξ|l|2+p,absentsubscript𝜆00superscript1𝜏1𝜏𝑙2superscript𝜉𝑙2𝑝\displaystyle=\lambda_{00}\left(\frac{1+\tau}{1-\tau}\right)^{l/2}\xi^{\frac{|% l|}{2}+p},= italic_λ start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT ( divide start_ARG 1 + italic_τ end_ARG start_ARG 1 - italic_τ end_ARG ) start_POSTSUPERSCRIPT italic_l / 2 end_POSTSUPERSCRIPT italic_ξ start_POSTSUPERSCRIPT divide start_ARG | italic_l | end_ARG start_ARG 2 end_ARG + italic_p end_POSTSUPERSCRIPT ,

with parameters

w02w=q(q4+2q2+τ2)1/4,subscript𝑤02𝑤𝑞superscriptsuperscript𝑞42superscript𝑞2superscript𝜏214\frac{w_{0}}{2w}=\frac{q}{\left(q^{4}+2q^{2}+\tau^{2}\right)^{1/4}},divide start_ARG italic_w start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_w end_ARG = divide start_ARG italic_q end_ARG start_ARG ( italic_q start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 2 italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 1 / 4 end_POSTSUPERSCRIPT end_ARG , (19)

and

ξ=1+q2q4+2q2+τ21+q2+q4+2q2+τ2.𝜉1superscript𝑞2superscript𝑞42superscript𝑞2superscript𝜏21superscript𝑞2superscript𝑞42superscript𝑞2superscript𝜏2\xi=\frac{1+q^{2}-\sqrt{q^{4}+2q^{2}+\tau^{2}}}{1+q^{2}+\sqrt{q^{4}+2q^{2}+% \tau^{2}}}.italic_ξ = divide start_ARG 1 + italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - square-root start_ARG italic_q start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 2 italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG start_ARG 1 + italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + square-root start_ARG italic_q start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT + 2 italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG . (20)

When |τ|1𝜏1\absolutevalue{\tau}\to 1| start_ARG italic_τ end_ARG | → 1, equation (18) becomes undefined, but one may take the limit, obtaining

lim|τ|1λpl={λ00δp0(1+q2)|l|τl00τl<0subscript𝜏1subscript𝜆𝑝𝑙casessubscript𝜆00subscript𝛿𝑝0superscript1superscript𝑞2𝑙𝜏𝑙00𝜏𝑙0\lim_{\absolutevalue{\tau}\to 1}\lambda_{pl}=\begin{cases}\dfrac{\lambda_{00}% \delta_{p0}}{(1+q^{2})^{\absolutevalue{l}}}&\tau l\geq 0\\ 0&\tau l<0\end{cases}roman_lim start_POSTSUBSCRIPT | start_ARG italic_τ end_ARG | → 1 end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_p italic_l end_POSTSUBSCRIPT = { start_ROW start_CELL divide start_ARG italic_λ start_POSTSUBSCRIPT 00 end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_p 0 end_POSTSUBSCRIPT end_ARG start_ARG ( 1 + italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT | start_ARG italic_l end_ARG | end_POSTSUPERSCRIPT end_ARG end_CELL start_CELL italic_τ italic_l ≥ 0 end_CELL end_ROW start_ROW start_CELL 0 end_CELL start_CELL italic_τ italic_l < 0 end_CELL end_ROW (21)

3 Second Harmonic Generation with TGSM beams

Refer to caption
Figure 1: Type-II SHG in a Potassium Titanyl Phosphate (KTP) crystal. The inputs are partially coherent beams, resulting in a partially coherent output beam.

Let us consider now SHG in a non-linear crystal, as illustrated in Fig. 1. For a thin crystal, the second harmonic field 2ωsubscript2𝜔\mathcal{E}_{2\omega}caligraphic_E start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT is given by pinheiro22 ; da2022observation

2ω(𝐫)=igh(𝐫)v(𝐫),subscript2𝜔𝐫𝑖𝑔subscript𝐫subscript𝑣𝐫\mathcal{E}_{2\omega}(\mathbf{r})=ig\mathcal{E}_{h}(\mathbf{r})\mathcal{E}_{v}% (\mathbf{r}),caligraphic_E start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r ) = italic_i italic_g caligraphic_E start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( bold_r ) caligraphic_E start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT ( bold_r ) , (22)

where g𝑔gitalic_g is a real and positive coupling constant and h(v)(𝐫)subscript𝑣𝐫\mathcal{E}_{h(v)}(\mathbf{r})caligraphic_E start_POSTSUBSCRIPT italic_h ( italic_v ) end_POSTSUBSCRIPT ( bold_r ) is the horizontal (vertical) component of the fundamental beam(s). The CSD function is then

Γ2ω(𝐫,𝐫)subscriptΓ2𝜔𝐫superscript𝐫\displaystyle\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) =2ω(𝐫)2ω*(𝐫)absentdelimited-⟨⟩subscript2𝜔𝐫subscriptsuperscript2𝜔superscript𝐫\displaystyle=\left<\mathcal{E}_{2\omega}(\mathbf{r})\mathcal{E}^{*}_{2\omega}% (\mathbf{r}^{\prime})\right>= ⟨ caligraphic_E start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r ) caligraphic_E start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ⟩ (23)
=g2h(𝐫)v(𝐫)h*(𝐫)v*(𝐫).absentsuperscript𝑔2delimited-⟨⟩subscript𝐫subscript𝑣𝐫superscriptsubscriptsuperscript𝐫superscriptsubscript𝑣superscript𝐫\displaystyle=g^{2}\left<\mathcal{E}_{h}(\mathbf{r})\mathcal{E}_{v}(\mathbf{r}% )\mathcal{E}_{h}^{*}(\mathbf{r}^{\prime})\mathcal{E}_{v}^{*}(\mathbf{r}^{% \prime})\right>.= italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟨ caligraphic_E start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( bold_r ) caligraphic_E start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT ( bold_r ) caligraphic_E start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) caligraphic_E start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ⟩ .

Thus, the CSD function for the second harmonic is expressed in terms of a fourth order correlation, involving both the vertical and horizontal fields. If we have a single incident beam with diagonal polarization, then the spatial field profiles of the horizontal and vertical polarization components will be the same: h(𝐫)=v(𝐫)=(𝐫)subscript𝐫subscript𝑣𝐫𝐫\mathcal{E}_{h}(\mathbf{r})=\mathcal{E}_{v}(\mathbf{r})=\mathcal{E}(\mathbf{r})caligraphic_E start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( bold_r ) = caligraphic_E start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT ( bold_r ) = caligraphic_E ( bold_r ). Note that the knowledge of the CSD

Γh(v)(𝐫,𝐫)=h(v)(𝐫)h(v)*(𝐫),subscriptΓ𝑣𝐫superscript𝐫delimited-⟨⟩subscript𝑣𝐫subscriptsuperscript𝑣superscript𝐫\Gamma_{h(v)}\left(\mathbf{r},\mathbf{r}^{\prime}\right)=\left<\mathcal{E}_{h(% v)}(\mathbf{r})\mathcal{E}^{*}_{h(v)}(\mathbf{r}^{\prime})\right>,roman_Γ start_POSTSUBSCRIPT italic_h ( italic_v ) end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = ⟨ caligraphic_E start_POSTSUBSCRIPT italic_h ( italic_v ) end_POSTSUBSCRIPT ( bold_r ) caligraphic_E start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_h ( italic_v ) end_POSTSUBSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ⟩ , (24)

is not sufficient to determine (23), in general.

We thus conclude that proper evaluation of (23) requires a more detailed specification of the statistical properties of h(v)(𝐫)subscript𝑣𝐫\mathcal{E}_{h(v)}(\mathbf{r})caligraphic_E start_POSTSUBSCRIPT italic_h ( italic_v ) end_POSTSUBSCRIPT ( bold_r ).

3.1 Independent Polarizations

From the theoretical perspective, the simplest possible situation is when the hhitalic_h- and v𝑣vitalic_v-polarized beams are prepared independently. In this case, the average in (23) involves averaging over two independent random fields, and thus factors into a product of the CSD function for each polarization, giving simply

Γ2ω(𝐫,𝐫)subscriptΓ2𝜔𝐫superscript𝐫\displaystyle\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) =g2Γh(𝐫,𝐫)Γv(𝐫,𝐫).absentsuperscript𝑔2subscriptΓ𝐫superscript𝐫subscriptΓ𝑣𝐫superscript𝐫\displaystyle=g^{2}\Gamma_{h}\left(\mathbf{r},\mathbf{r}^{\prime}\right)\Gamma% _{v}\left(\mathbf{r},\mathbf{r}^{\prime}\right).= italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT roman_Γ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) roman_Γ start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) . (25)

If the CSDs Γh(v)subscriptΓ𝑣\Gamma_{h(v)}roman_Γ start_POSTSUBSCRIPT italic_h ( italic_v ) end_POSTSUBSCRIPT are those of TGSM beams, described by equation (2), then Γ2ωsubscriptΓ2𝜔\Gamma_{2\omega}roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT is given by

Γ2ω(𝐫,𝐫)g2|Ah|2|Av|2subscriptΓ2𝜔𝐫superscript𝐫superscript𝑔2superscriptsubscript𝐴2superscriptsubscript𝐴𝑣2\displaystyle\frac{\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)% }{g^{2}\absolutevalue{A_{h}}^{2}\absolutevalue{A_{v}}^{2}}divide start_ARG roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG =T(𝐫,𝐫;wh,δh,k,μh)T(𝐫,𝐫;wv,δv,k,μv)absent𝑇𝐫superscript𝐫subscript𝑤subscript𝛿𝑘subscript𝜇𝑇𝐫superscript𝐫subscript𝑤𝑣subscript𝛿𝑣𝑘subscript𝜇𝑣\displaystyle=T(\mathbf{r},\mathbf{r}^{\prime};w_{h},\delta_{h},k,\mu_{h})T(% \mathbf{r},\mathbf{r}^{\prime};w_{v},\delta_{v},k,\mu_{v})= italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_w start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT , italic_δ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT , italic_k , italic_μ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ) italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_w start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT , italic_δ start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT , italic_k , italic_μ start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT ) (26)
=T(𝐫,𝐫;w2ω,δ2ω,2k,μ2ω).absent𝑇𝐫superscript𝐫subscript𝑤2𝜔subscript𝛿2𝜔2𝑘subscript𝜇2𝜔\displaystyle=T\left(\mathbf{r},\mathbf{r}^{\prime};w_{2\omega},\delta_{2% \omega},2k,\mu_{2\omega}\right).= italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_w start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT , italic_δ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT , 2 italic_k , italic_μ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ) .

Thus, the output SHG beam is also a TGSM beam, whose beam parameters are related to those of the input fundamental beams by

1X2ω=1Xh+1Xv,1subscript𝑋2𝜔1subscript𝑋1subscript𝑋𝑣\frac{1}{X_{2\omega}}=\frac{1}{X_{h}}+\frac{1}{X_{v}},divide start_ARG 1 end_ARG start_ARG italic_X start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT end_ARG = divide start_ARG 1 end_ARG start_ARG italic_X start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG + divide start_ARG 1 end_ARG start_ARG italic_X start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_ARG , (27)

for X=w,δ𝑋𝑤𝛿X=w,\deltaitalic_X = italic_w , italic_δ and

μ2ω=μh+μv2.subscript𝜇2𝜔subscript𝜇subscript𝜇𝑣2\mu_{2\omega}=\frac{\mu_{h}+\mu_{v}}{2}.italic_μ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT = divide start_ARG italic_μ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT + italic_μ start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG . (28)

From this, we see that the constraint on the twist phase is satisfied, as these relations lead directly to

μ2ω12kδ2ω2.subscript𝜇2𝜔12𝑘superscriptsubscript𝛿2𝜔2\mu_{2\omega}\leq\frac{1}{2k\delta_{2\omega}^{2}}.italic_μ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ≤ divide start_ARG 1 end_ARG start_ARG 2 italic_k italic_δ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (29)

3.2 Diagonal polarization

If instead of independently prepared input beams, we have a single incident beam with diagonal polarization, then the spatial field profiles of the horizontal and vertical polarization components will be equal: h(𝐫)=v(𝐫)=ω(𝐫)subscript𝐫subscript𝑣𝐫subscript𝜔𝐫\mathcal{E}_{h}(\mathbf{r})=\mathcal{E}_{v}(\mathbf{r})=\mathcal{E}_{\omega}(% \mathbf{r})caligraphic_E start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( bold_r ) = caligraphic_E start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT ( bold_r ) = caligraphic_E start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ( bold_r ), and therefore,

Γ2ω(𝐫,𝐫)=g2[ω(𝐫)ω*(𝐫)]2.subscriptΓ2𝜔𝐫superscript𝐫superscript𝑔2delimited-⟨⟩superscriptdelimited-[]subscript𝜔𝐫subscriptsuperscript𝜔superscript𝐫2\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)=g^{2}\left<\left[% \mathcal{E}_{\omega}(\mathbf{r})\mathcal{E}^{*}_{\omega}(\mathbf{r}^{\prime})% \right]^{2}\right>.roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟨ [ caligraphic_E start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ( bold_r ) caligraphic_E start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ . (30)

Let us assume that our input field has the form ω(𝐫)=AΨ(𝐫)subscript𝜔𝐫𝐴Ψ𝐫\mathcal{E}_{\omega}(\mathbf{r})=A\Psi(\mathbf{r})caligraphic_E start_POSTSUBSCRIPT italic_ω end_POSTSUBSCRIPT ( bold_r ) = italic_A roman_Ψ ( bold_r ), where A𝐴Aitalic_A is a field amplitude and Ψ(𝐫)Ψ𝐫\Psi(\mathbf{r})roman_Ψ ( bold_r ) is given by (6). Then, the second harmonic CSD is

Γ2ω(𝐫,𝐫)=g2|A|4[Ψ(𝐫)Ψ*(𝐫)]2.subscriptΓ2𝜔𝐫superscript𝐫superscript𝑔2superscript𝐴4delimited-⟨⟩superscriptdelimited-[]Ψ𝐫superscriptΨsuperscript𝐫2\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)=g^{2}% \absolutevalue{A}^{4}\left<\left[\Psi(\mathbf{r})\Psi^{*}(\mathbf{r}^{\prime})% \right]^{2}\right>.roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A end_ARG | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ⟨ [ roman_Ψ ( bold_r ) roman_Ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ . (31)

In order to evaluate this expression, we need to use the property

ei(ϕm+ϕnϕjϕk)delimited-⟨⟩superscript𝑒𝑖subscriptitalic-ϕ𝑚subscriptitalic-ϕ𝑛subscriptitalic-ϕ𝑗subscriptitalic-ϕ𝑘\displaystyle\left<e^{i\left(\phi_{m}+\phi_{n}-\phi_{j}-\phi_{k}\right)}\right>⟨ italic_e start_POSTSUPERSCRIPT italic_i ( italic_ϕ start_POSTSUBSCRIPT italic_m end_POSTSUBSCRIPT + italic_ϕ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_ϕ start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT ⟩ ={1,m=j and n=k1,m=k and n=j0,otherwiseabsentcases1𝑚𝑗 and 𝑛𝑘1𝑚𝑘 and 𝑛𝑗0otherwise\displaystyle=\begin{cases}1,&m=j\text{ and }n=k\\ 1,&m=k\text{ and }n=j\\ 0,&\text{otherwise}\end{cases}= { start_ROW start_CELL 1 , end_CELL start_CELL italic_m = italic_j and italic_n = italic_k end_CELL end_ROW start_ROW start_CELL 1 , end_CELL start_CELL italic_m = italic_k and italic_n = italic_j end_CELL end_ROW start_ROW start_CELL 0 , end_CELL start_CELL otherwise end_CELL end_ROW (32)
=δmjδnk(1δmn)+δmkδnj.absentsubscript𝛿𝑚𝑗subscript𝛿𝑛𝑘1subscript𝛿𝑚𝑛subscript𝛿𝑚𝑘subscript𝛿𝑛𝑗\displaystyle=\delta_{mj}\delta_{nk}\left(1-\delta_{mn}\right)+\delta_{mk}% \delta_{nj}.= italic_δ start_POSTSUBSCRIPT italic_m italic_j end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_n italic_k end_POSTSUBSCRIPT ( 1 - italic_δ start_POSTSUBSCRIPT italic_m italic_n end_POSTSUBSCRIPT ) + italic_δ start_POSTSUBSCRIPT italic_m italic_k end_POSTSUBSCRIPT italic_δ start_POSTSUBSCRIPT italic_n italic_j end_POSTSUBSCRIPT .

Using this result, we obtain

Γ2ω(𝐫,𝐫)g2|A|4subscriptΓ2𝜔𝐫superscript𝐫superscript𝑔2superscript𝐴4\displaystyle\frac{\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)% }{g^{2}\absolutevalue{A}^{4}}divide start_ARG roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A end_ARG | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG =[Ψ(𝐫)Ψ*(𝐫)]2absentdelimited-⟨⟩superscriptdelimited-[]Ψ𝐫superscriptΨsuperscript𝐫2\displaystyle=\left<\left[\Psi(\mathbf{r})\Psi^{*}(\mathbf{r}^{\prime})\right]% ^{2}\right>= ⟨ [ roman_Ψ ( bold_r ) roman_Ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟩ (33)
=2T2(𝐫,𝐫)γ1(𝐫,𝐫)absent2superscript𝑇2𝐫superscript𝐫subscript𝛾1𝐫superscript𝐫\displaystyle=2T^{2}\left(\mathbf{r},\mathbf{r}^{\prime}\right)-\gamma_{1}(% \mathbf{r},\mathbf{r}^{\prime})= 2 italic_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) - italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT )

where

γ1(𝐫,𝐫)=n[λnKn(𝐫)Kn*(𝐫)]2.subscript𝛾1𝐫superscript𝐫subscript𝑛superscriptdelimited-[]subscript𝜆𝑛subscript𝐾𝑛𝐫subscriptsuperscript𝐾𝑛superscript𝐫2\gamma_{1}(\mathbf{r},\mathbf{r}^{\prime})=\sum_{n}\left[\lambda_{n}K_{n}(% \mathbf{r})K^{*}_{n}(\mathbf{r}^{\prime})\right]^{2}.italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT [ italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_r ) italic_K start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (34)

It is interesting to notice that, when using the dislocated Gaussian decomposition, the last term γ1subscript𝛾1\gamma_{1}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT is negligible. One can see this by recalling Eq. (14), and taking the continuous limit:

γ1(𝐫,𝐫)subscript𝛾1𝐫superscript𝐫\displaystyle\gamma_{1}(\mathbf{r},\mathbf{r}^{\prime})italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) =ΔA2n[p(𝐯n)DG(𝐫,𝐯n)DG*(𝐫,𝐯n)]2absentΔsuperscript𝐴2subscript𝑛superscriptdelimited-[]𝑝subscript𝐯𝑛𝐷𝐺𝐫subscript𝐯𝑛𝐷superscript𝐺superscript𝐫subscript𝐯𝑛2\displaystyle=\Delta A^{2}\sum_{n}\left[p(\mathbf{v}_{n})DG(\mathbf{r},\mathbf% {v}_{n})DG^{*}(\mathbf{r}^{\prime},\mathbf{v}_{n})\right]^{2}= roman_Δ italic_A start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT [ italic_p ( bold_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) italic_D italic_G ( bold_r , bold_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) italic_D italic_G start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_v start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT (35)
ΔA0ΔAd2𝐯[p(𝐯)DG(𝐫,𝐯)DG*(𝐫,𝐯)]2Δ𝐴0absentabsentΔ𝐴superscript𝑑2𝐯superscriptdelimited-[]𝑝𝐯𝐷𝐺𝐫𝐯𝐷superscript𝐺superscript𝐫𝐯2\displaystyle\xrightarrow[\Delta A\to 0]{}\Delta A\int d^{2}\mathbf{v}\left[p(% \mathbf{v})DG(\mathbf{r},\mathbf{v})DG^{*}(\mathbf{r}^{\prime},\mathbf{v})% \right]^{2}start_ARROW start_UNDERACCENT roman_Δ italic_A → 0 end_UNDERACCENT start_ARROW start_OVERACCENT end_OVERACCENT → end_ARROW end_ARROW roman_Δ italic_A ∫ italic_d start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT bold_v [ italic_p ( bold_v ) italic_D italic_G ( bold_r , bold_v ) italic_D italic_G start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_v ) ] start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
ΔA00.Δ𝐴0absentabsent0\displaystyle\xrightarrow[\Delta A\to 0]{}0.start_ARROW start_UNDERACCENT roman_Δ italic_A → 0 end_UNDERACCENT start_ARROW start_OVERACCENT end_OVERACCENT → end_ARROW end_ARROW 0 .

Then, the CSD function for the second harmonic reduces to

Γ2ω(𝐫,𝐫)g2|A|4subscriptΓ2𝜔𝐫superscript𝐫superscript𝑔2superscript𝐴4\displaystyle\frac{\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)% }{g^{2}\absolutevalue{A}^{4}}divide start_ARG roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A end_ARG | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG =T2(𝐫,𝐫;w,δ,k,μ)absentsuperscript𝑇2𝐫superscript𝐫𝑤𝛿𝑘𝜇\displaystyle=T^{2}\left(\mathbf{r},\mathbf{r}^{\prime};w,\delta,k,\mu\right)= italic_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_w , italic_δ , italic_k , italic_μ ) (36)
=T(𝐫,𝐫;w/2,δ/2,2k,μ),absent𝑇𝐫superscript𝐫𝑤2𝛿22𝑘𝜇\displaystyle=T\left(\mathbf{r},\mathbf{r}^{\prime};w/\sqrt{2},\delta/\sqrt{2}% ,2k,\mu\right),= italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_w / square-root start_ARG 2 end_ARG , italic_δ / square-root start_ARG 2 end_ARG , 2 italic_k , italic_μ ) ,

corresponding to a TGSM beam.

On the other hand, γ1subscript𝛾1\gamma_{1}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT has an important effect when using the Laguerre-Gauss decomposition (17). As may be seen from its numerical summation, plotted in Figure 2, the correction to the intensity γ1(𝐫,𝐫)subscript𝛾1𝐫𝐫\gamma_{1}(\mathbf{r},\mathbf{r})italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_r , bold_r ) presents a single maximum at 𝐫=𝟎𝐫0\mathbf{r}=\mathbf{0}bold_r = bold_0. The value of this maximum can be easily calculated because, at the origin, only the modes with l=0𝑙0l=0italic_l = 0 contribute, giving us

γ1(𝟎,𝟎)subscript𝛾100\displaystyle\gamma_{1}(\mathbf{0},\mathbf{0})italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_0 , bold_0 ) =(π2w02)2(1ξ)2p=0|LGp0(𝟎)|4ξ2pabsentsuperscript𝜋2superscriptsubscript𝑤022superscript1𝜉2superscriptsubscript𝑝0superscript𝐿subscript𝐺𝑝004superscript𝜉2𝑝\displaystyle=\left(\frac{\pi}{2}w_{0}^{2}\right)^{2}(1-\xi)^{2}\sum_{p=0}^{% \infty}\absolutevalue{LG_{p0}(\mathbf{0})}^{4}\xi^{2p}= ( divide start_ARG italic_π end_ARG start_ARG 2 end_ARG italic_w start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( 1 - italic_ξ ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∑ start_POSTSUBSCRIPT italic_p = 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT | start_ARG italic_L italic_G start_POSTSUBSCRIPT italic_p 0 end_POSTSUBSCRIPT ( bold_0 ) end_ARG | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_ξ start_POSTSUPERSCRIPT 2 italic_p end_POSTSUPERSCRIPT (37)
=11τ2(1+q2)2.absent11superscript𝜏2superscript1superscript𝑞22\displaystyle=\sqrt{1-\frac{1-\tau^{2}}{\left(1+q^{2}\right)^{2}}}.= square-root start_ARG 1 - divide start_ARG 1 - italic_τ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG ( 1 + italic_q start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG .

We see that, for maximum twist phase |τ|=1𝜏1\absolutevalue{\tau}=1| start_ARG italic_τ end_ARG | = 1, the peak attains a maximum value of 1111, which in independent of the normalized coherence length q𝑞qitalic_q. For all other values of τ𝜏\tauitalic_τ, the peak increases as q𝑞qitalic_q decreases. Figure 2 also reveals that, when q𝑞qitalic_q increases, the width of the peak also increases, and its shape begins to resemble a Gaussian, although it strongly deviates from it when q1much-less-than𝑞1q\ll 1italic_q ≪ 1.

Refer to caption
Figure 2: γ1subscript𝛾1\gamma_{1}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT evaluated at 𝐫=𝐫=(x,0)𝐫superscript𝐫𝑥0\mathbf{r}=\mathbf{r}^{\prime}=(x,0)bold_r = bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = ( italic_x , 0 ). On the top, we fix τ=1𝜏1\tau=1italic_τ = 1, and vary q𝑞qitalic_q. At the bottom, we fix q=1/4𝑞14q=1/4italic_q = 1 / 4 and vary τ𝜏\tauitalic_τ.

When γ1(𝐫,𝐫)subscript𝛾1𝐫𝐫\gamma_{1}(\mathbf{r},\mathbf{r})italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( bold_r , bold_r ) is thin and peaked, which corresponds to q1much-less-than𝑞1q\ll 1italic_q ≪ 1 and |τ|1𝜏1\absolutevalue{\tau}\approx 1| start_ARG italic_τ end_ARG | ≈ 1, we expect that it will pierce the Gaussian in (33), provoking a dip at the center of the intensity profile. This effect can be clearly seen in the simulation presented in Figure 3.

Refer to caption
Figure 3: Center: simulated intensity profile I2ω(𝐫)=Γ2ω(𝐫,𝐫)/g2|A|4subscript𝐼2𝜔𝐫subscriptΓ2𝜔𝐫𝐫superscript𝑔2superscript𝐴4I_{2\omega}(\mathbf{r})=\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}\right)/g^{% 2}\absolutevalue{A}^{4}italic_I start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r ) = roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r ) / italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A end_ARG | start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT. The simulation is produced by averaging over 300300300300 different realizations of the stochastic field (6). We used q=1/4𝑞14q=1/4italic_q = 1 / 4 and τ=1𝜏1\tau=1italic_τ = 1. On the top and right we see cuts of the simulated intensity profile through the lines y=0𝑦0y=0italic_y = 0 and x=0𝑥0x=0italic_x = 0, respectively. We also display the analytical result, which corresponds to expression (33) evaluated over these lines.

Thus, we note that in case of the Laguerre-Gauss decomposition a different correlation function is expected in the second harmonic when compared to the dislocated gaussian decomposition, corresponding to a beam that is not a TGSM beam. In section 4, we will present experimental verifation of these theoretical predictions.

3.3 Correlated polarizations

A third interesting case is when each polarization in the fundamental beams are prepared with conjugate modes. More specifically, if we set h(𝐫)=AhΨ(𝐫)subscript𝐫subscript𝐴Ψ𝐫\mathcal{E}_{h}(\mathbf{r})=A_{h}\Psi(\mathbf{r})caligraphic_E start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( bold_r ) = italic_A start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT roman_Ψ ( bold_r ) and v(𝐫)=AvΨ*(𝐫)subscript𝑣𝐫subscript𝐴𝑣superscriptΨ𝐫\mathcal{E}_{v}(\mathbf{r})=A_{v}\Psi^{*}(\mathbf{r})caligraphic_E start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT ( bold_r ) = italic_A start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT roman_Ψ start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r ), where, once again, ΨΨ\Psiroman_Ψ is the stochastic field (6), then

Γh(𝐫,𝐫)=|Ah|2T(𝐫,𝐫;w,δ,k,μ),subscriptΓ𝐫superscript𝐫superscriptsubscript𝐴2𝑇𝐫superscript𝐫𝑤𝛿𝑘𝜇\Gamma_{h}(\mathbf{r},\mathbf{r}^{\prime})=\absolutevalue{A_{h}}^{2}T(\mathbf{% r},\mathbf{r}^{\prime};w,\delta,k,\mu),roman_Γ start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = | start_ARG italic_A start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_w , italic_δ , italic_k , italic_μ ) , (38)
Γv(𝐫,𝐫)=|Av|2T(𝐫,𝐫;w,δ,k,μ)subscriptΓ𝑣𝐫superscript𝐫superscriptsubscript𝐴𝑣2𝑇𝐫superscript𝐫𝑤𝛿𝑘𝜇\Gamma_{v}(\mathbf{r},\mathbf{r}^{\prime})=\absolutevalue{A_{v}}^{2}T(\mathbf{% r},\mathbf{r}^{\prime};w,\delta,k,-\mu)roman_Γ start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = | start_ARG italic_A start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_T ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ; italic_w , italic_δ , italic_k , - italic_μ ) (39)

and

Γ2ω(𝐫,𝐫)=g2|Ah|2|Av|2|Ψ(𝐫)|2|Ψ(𝐫)|2.subscriptΓ2𝜔𝐫superscript𝐫superscript𝑔2superscriptsubscript𝐴2superscriptsubscript𝐴𝑣2expectation-valuesuperscriptΨ𝐫2superscriptΨsuperscript𝐫2\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)=g^{2}% \absolutevalue{A_{h}}^{2}\absolutevalue{A_{v}}^{2}\expectationvalue{% \absolutevalue{\Psi(\mathbf{r})}^{2}\absolutevalue{\Psi(\mathbf{r}^{\prime})}^% {2}}.roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ⟨ start_ARG | start_ARG roman_Ψ ( bold_r ) end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG roman_Ψ ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟩ . (40)

By once more applying property (32), we get

Γ2ω(𝐫,𝐫)g2|Ah|2|Av|2=subscriptΓ2𝜔𝐫superscript𝐫superscript𝑔2superscriptsubscript𝐴2superscriptsubscript𝐴𝑣2absent\displaystyle\frac{\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)% }{g^{2}\absolutevalue{A_{h}}^{2}\absolutevalue{A_{v}}^{2}}=\ divide start_ARG roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = T2(𝐫,𝐫)+T(𝐫,𝐫)T(𝐫,𝐫)γ2(𝐫,𝐫),superscript𝑇2𝐫superscript𝐫𝑇𝐫𝐫𝑇superscript𝐫superscript𝐫subscript𝛾2𝐫superscript𝐫\displaystyle T^{2}\left(\mathbf{r},\mathbf{r}^{\prime}\right)+T\left(\mathbf{% r},\mathbf{r}\right)T\left(\mathbf{r}^{\prime},\mathbf{r}^{\prime}\right)-% \gamma_{2}(\mathbf{r},\mathbf{r}^{\prime}),italic_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) + italic_T ( bold_r , bold_r ) italic_T ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) , (41)

with T𝑇Titalic_T given by equation (38) and

γ2(𝐫,𝐫)=nλn2|Kn(𝐫)|2|Kn(𝐫)|2.subscript𝛾2𝐫superscript𝐫subscript𝑛superscriptsubscript𝜆𝑛2superscriptsubscript𝐾𝑛𝐫2superscriptsubscript𝐾𝑛superscript𝐫2\gamma_{2}(\mathbf{r},\mathbf{r}^{\prime})=\sum_{n}\lambda_{n}^{2}% \absolutevalue{K_{n}(\mathbf{r})}^{2}\absolutevalue{K_{n}(\mathbf{r}^{\prime})% }^{2}.italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) = ∑ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT italic_λ start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_r ) end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_K start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (42)

In some aspects, this expression is similar to (33): γ2subscript𝛾2\gamma_{2}italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT also goes to zero in the case of dislocated Gaussians, but has a relevant contribution for the Laguerre-Gaussians. In the latter case, the exact same dip in intensity predicted for diagonally-polarized fundamental beam is also present, since evaluating (33) and (41) at 𝐫=𝐫𝐫superscript𝐫\mathbf{r}=\mathbf{r}^{\prime}bold_r = bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT gives the same result, apart from a multiplicative factor.

Nonetheless, there is a stark difference: even in the case of the dislocated Gaussians, we have

Γ2ω(𝐫,𝐫)g2|Ah|2|Av|2=T2(𝐫,𝐫)+T(𝐫,𝐫)T(𝐫,𝐫),subscriptΓ2𝜔𝐫superscript𝐫superscript𝑔2superscriptsubscript𝐴2superscriptsubscript𝐴𝑣2superscript𝑇2𝐫superscript𝐫𝑇𝐫𝐫𝑇superscript𝐫superscript𝐫\frac{\Gamma_{2\omega}\left(\mathbf{r},\mathbf{r}^{\prime}\right)}{g^{2}% \absolutevalue{A_{h}}^{2}\absolutevalue{A_{v}}^{2}}=T^{2}\left(\mathbf{r},% \mathbf{r}^{\prime}\right)+T\left(\mathbf{r},\mathbf{r}\right)T\left(\mathbf{r% }^{\prime},\mathbf{r}^{\prime}\right),divide start_ARG roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) end_ARG start_ARG italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG = italic_T start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( bold_r , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) + italic_T ( bold_r , bold_r ) italic_T ( bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) , (43)

which is not the correlation function for a TGSM. One should note that this difference will not show up in the intensity profile, but only in the field correlations. To make this explicit, let’s suppose that T𝑇Titalic_T is a TGSM with very low coherence (q1much-less-than𝑞1q\ll 1italic_q ≪ 1). Then, for rwsimilar-to𝑟𝑤r\sim witalic_r ∼ italic_w, we have

T(𝐫,𝟎)0,𝑇𝐫00T(\mathbf{r},\mathbf{0})\approx 0,italic_T ( bold_r , bold_0 ) ≈ 0 , (44)

but

Γ2ω(𝐫,𝟎)2g2|Ah|2|Av|2T(𝐫,𝐫)0.subscriptΓ2𝜔𝐫02superscript𝑔2superscriptsubscript𝐴2superscriptsubscript𝐴𝑣2𝑇𝐫𝐫not-approximately-equals0\frac{\Gamma_{2\omega}(\mathbf{r},\mathbf{0})}{2g^{2}\absolutevalue{A_{h}}^{2}% \absolutevalue{A_{v}}^{2}}\approx T(\mathbf{r},\mathbf{r})\not\approx 0.divide start_ARG roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT ( bold_r , bold_0 ) end_ARG start_ARG 2 italic_g start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_h end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT | start_ARG italic_A start_POSTSUBSCRIPT italic_v end_POSTSUBSCRIPT end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ≈ italic_T ( bold_r , bold_r ) ≉ 0 . (45)

In words, Γ2ωsubscriptΓ2𝜔\Gamma_{2\omega}roman_Γ start_POSTSUBSCRIPT 2 italic_ω end_POSTSUBSCRIPT will carry a residual coherence that does not depend on the coherence length of Γh(v)subscriptΓ𝑣\Gamma_{h(v)}roman_Γ start_POSTSUBSCRIPT italic_h ( italic_v ) end_POSTSUBSCRIPT.

We note that the correlation function which is here discussed is also expected in a Stimulated Parametric Down Conversion process, in which an idler field isubscript𝑖\mathcal{E}_{i}caligraphic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is produced by a combination of a pump beam p(𝐫)Ψ(𝐫)proportional-tosubscript𝑝𝐫Ψ𝐫\mathcal{E}_{p}\left(\mathbf{r}\right)\propto\Psi\left(\mathbf{r}\right)caligraphic_E start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( bold_r ) ∝ roman_Ψ ( bold_r ) and a seed beam sΨ(𝐫)proportional-tosubscript𝑠Ψ𝐫\mathcal{E}_{s}\propto\Psi\left(\mathbf{r}\right)caligraphic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT ∝ roman_Ψ ( bold_r ), which are combined through the equation

i(𝐫)=igp(𝐫)s*(𝐫),subscript𝑖𝐫𝑖𝑔subscript𝑝𝐫superscriptsubscript𝑠𝐫\mathcal{E}_{i}\left(\mathbf{r}\right)=ig\mathcal{E}_{p}\left(\mathbf{r}\right% )\mathcal{E}_{s}^{*}\left(\mathbf{r}\right),caligraphic_E start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ( bold_r ) = italic_i italic_g caligraphic_E start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ( bold_r ) caligraphic_E start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT * end_POSTSUPERSCRIPT ( bold_r ) , (46)

which is, again, valid within the thin crystal approximation.

4 Experimental Results

Refer to caption
Figure 4: Experimental setup.

To test the anomaly in the nonlinear optical conversion of TGSM beams, we experimentally implement Second Harmonic Generation with TGSM beams in the case of diagonally polarized fundamental beam.

The experimental setup can be seen in Figure 4. An infrared Gaussian beam with wavelength of λ=1064𝜆1064\lambda=1064italic_λ = 1064 nm and waist of 3.33.33.33.3mm illuminates the spatial light modulator (SLM) screen. We use this configuration to generate TGSM beams, as described in tian20 ; canas2022 . All the beams were produced with a waist of 0.70.70.70.7mm and a normalized coherence length of q=0.4𝑞0.4q=0.4italic_q = 0.4. We allowed τ𝜏\tauitalic_τ to span the values 00 and ±1plus-or-minus1\pm 1± 1. The intensities were obtained by averaging over 300 realizations of the stochastic field (6).

As illustrated in the figure, we employ lenses L1subscript𝐿1L_{1}italic_L start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and L2subscript𝐿2L_{2}italic_L start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT (with focal length of 20202020cm) to create a 4f optical system, where the iris (I) is positioned between the lenses to filter the first-order diffraction.

The experiment is divided into two distinct parts. In the first part, we characterize the incident infrared TGSM to ensure that both preparation methods produce the same beam in the fundamental frequency. Due to the field diffraction during propagation, we employ a second 4f optical system, composed of lenses L3subscript𝐿3L_{3}italic_L start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT and L4subscript𝐿4L_{4}italic_L start_POSTSUBSCRIPT 4 end_POSTSUBSCRIPT (f=10𝑓10f=10italic_f = 10cm), to project the SLM field image onto camera A. This direct intensity measurement allows us to determine the parameter w𝑤witalic_w. Using the flip mirror 2 (FM2) and an additional 4f system formed by lenses L3subscript𝐿3L_{3}italic_L start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT and L5subscript𝐿5L_{5}italic_L start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT (f=10𝑓10f=10italic_f = 10cm), we deflect the beam to pass it through a double slit (with spacing of 0.20.20.20.2mm and aperture of 0.050.050.050.05mm), resulting in an interference pattern observed by camera B, positioned in the far field of the double slit. The visibility of this pattern is directly related to the coherence length δ𝛿\deltaitalic_δ, while the twist μ𝜇\muitalic_μ has the effect of tilting the lobes of this pattern canas2022 .

For the second part of the experiment, we directed the beam using flip mirror 1 (FM1) to the half-wave plate to prepare the input beam with diagonal polarization. We focused the beam using a 4f optical system consisting of lenses L6subscript𝐿6L_{6}italic_L start_POSTSUBSCRIPT 6 end_POSTSUBSCRIPT (f=20𝑓20f=20italic_f = 20 cm) and L7subscript𝐿7L_{7}italic_L start_POSTSUBSCRIPT 7 end_POSTSUBSCRIPT (f=5𝑓5f=5italic_f = 5 cm) on the Potassium Titanyl Phosphate (KTP) crystal to observe its second harmonic at wavelength of λ=532𝜆532\lambda=532italic_λ = 532nm. It is separated from the fundamental beam using a spectral filter. The 4f system, consisting of lenses L8subscript𝐿8L_{8}italic_L start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT (f=5𝑓5f=5italic_f = 5 cm) and L9subscript𝐿9L_{9}italic_L start_POSTSUBSCRIPT 9 end_POSTSUBSCRIPT (f=20𝑓20f=20italic_f = 20 cm), magnified the beam that could be captured by camera C. We could deflect the second harmonic beam with a flip mirror (FM3) and make it pass through a double slit identical to the previous one. Utilizing another 4f system composed of L8subscript𝐿8L_{8}italic_L start_POSTSUBSCRIPT 8 end_POSTSUBSCRIPT and L10subscript𝐿10L_{10}italic_L start_POSTSUBSCRIPT 10 end_POSTSUBSCRIPT (f=10𝑓10f=10italic_f = 10 cm), we can observe in the far field the interference pattern of the second harmonic beam through camera D.

Refer to caption
Figure 5: Experimental Results. The top row corresponds to the dislocated Gaussian decomposition, while the bottom one corresponds to the Laguerre decomposition. The left column presents the results of the infrared measurements, while the right one corresponds to measurements performed after the second harmonic generation (green). On top of each direct measurement, there is the corresponding double slit interference pattern.

Our results are shown in Figure 5. The qualitative correspondence between the measurements between the dislocated Gaussian and Laguerre decompositions makes it clear that we are, in fact, producing equivalent beams in the fundamental frequency.

Moving to the second harmonic results, in the case of the Laguerre decomposition with τ=±1𝜏plus-or-minus1\tau=\pm 1italic_τ = ± 1, we can clearly observe the predicted dipin intensity at the origin, which is absent in the corresponding dislocated Gaussian decomposition. The absence of the dip for τ=0𝜏0\tau=0italic_τ = 0, even in the case of the Laguerre decomposition, also agrees with equation (37). Finally, in the second harmonic, we observe an overall decrease in the visibility of the fringes, which is consistent with a decrease in the coherence length, as predicted in (36).

5 Conclusion

In this work, we analyzed the evolution of TGSM beams in a type-II SHG process. We found that different preparation methods can give rise to different output beams, depending on the SHG setup. We verified these predictions experimentally in the case of a single input beam with diagonal polarization. In particular, an intensity dip at the origin is observed when the fundamental beam is prepared using a Laguerre-Gauss decomposition. We note that similar effects have been predicted for SHG where the input quantum fields display spatial antibunching nogueira01 ; caetano03 ; nogueira04 , and the SHG intensity can reach zero due to the photon statistics of the input field ether06 . However, in that case, the intensity minimum occurs for all 𝐫=𝐫𝐫superscript𝐫\mathbf{r}=\mathbf{r}^{\prime}bold_r = bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT, not just at the origin.

The findings here presented reveal novel characteristics of TGSM beams that undergo a SHG process and sheds light on important, but often overlooked, details regarding this class of beams, such as the methods used to prepare them. Our results should be important in the study of the propagation of partially coherent light through nonlinear media.

Acknowledgments

This work was funded by the Chilean agencies Fondo Nacional de Desarrollo Científico y Tecnológico (FONDECYT - DOI 501100002850) (1230796, 1200266); National Agency of Research and Development (ANID) Millennium Science Initiative Program—ICN17-012; the Brazilian agencies Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES DOI 501100002322), Fundação de Amparo à Pesquisa do Estado de Santa Catarina (FAPESC - DOI 501100005667), Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq - DOI 501100003593), Instituto Nacional de Ciência e Tecnologia de Informação Quântica (INCT-IQ 465469/2014-0), Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro (FAPERJ-CNE E-26/201.108/2021), and Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP, Processo No. 2021/06823-5).

References