Next Article in Journal
On the Generalized Liouville–Caputo Type Fractional Differential Equations Supplemented with Katugampola Integral Boundary Conditions
Previous Article in Journal
An Optimization Approach with Single-Valued Neutrosophic Hesitant Fuzzy Dombi Aggregation Operators
Previous Article in Special Issue
Design of Broadband and Wide-Angle Hexagonal Metamaterial Absorber Based on Optimal Tiling of Rhombus Carbon Pixels and Implantation of Copper Cylinders
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Exact Solutions for Vector Phase-Matching Conditions in Nonlinear Uniaxial Crystals

by
Juan López-Durán
and
Oscar Rosas-Ortiz
*
Physics Department, Cinvestav, AP 14-740, México City 07000, Mexico
*
Author to whom correspondence should be addressed.
Symmetry 2022, 14(11), 2272; https://doi.org/10.3390/sym14112272
Submission received: 13 September 2022 / Revised: 21 October 2022 / Accepted: 23 October 2022 / Published: 29 October 2022
(This article belongs to the Special Issue Advances in Photonics)

Abstract

:
The transcendental equations of vector phase matching are transformed into a fourth-order polynomial equation that admits an analytical solution. The real roots of this equation provide the optical axis orientations that are useful for efficient down-conversion in nonlinear uniaxial crystals. The production of entangled photon pairs is discussed in both collinear and non-collinear configurations of the spontaneous parametric down-conversion (SPDC) process. Degenerate and non-degenerate cases are also distinguished. As a practical example, SPDC processes of type-I and type-II are studied for beta-barium borate (BBO) crystals. The predictions are in very good agreement with experimental measurements already reported in the literature and include theoretical results of other authors as particular cases. Some properties that seem to be exclusive to BBO crystals are reported; the experimental verification of the latter would allow a better characterization of these crystals.

1. Introduction

Entangled photon sources are critical for developing photonic quantum technologies [1] and for photonic quantum information processing [2]. These sources have also allowed for the experimental study of what the founding fathers of quantum theory called thought experiments [3,4]. As a concept, entanglement appears in physics after intense debate. The term (loosely translated from the German word verschränkung) was introduced by Schrödinger [5] to describe what occurs with our knowledge of two systems that are separated after they were interacting for a while, and from which we had maximal knowledge before the interaction [6]. As a result, instead of two isolated systems, there is just a single composite system and therefore any change to one subsystem would affect the other, no matter the distance between them. The results obtained from interaction-free measurements [7,8,9] are an indication that entanglement is indeed a fundamental property of quantum systems.
Bipartite entangled states can be prepared by producing an interaction between two different quantum systems in such a way that neither of the two emerging states has a definite value, but as soon as one of them is measured, the other state is automatically determined. In this context, the spontaneous parametric down-conversion (SPDC) process is a suitable way to produce entangled photon pairs. This occurs in nonlinear crystals, where one photon (pump) gives rise to a pair of entangled photons (signal and idler) [10,11,12]. SPDC is degenerate if the wavelength of the signal and idler photons are equal; otherwise, it is non-degenerate. Depending on the direction of propagation of the pump, signal, and idler wave vectors, the SPDC process can be classified as collinear or non-collinear. The polarization of the new pair of photons characterizes the SPDC process as follows. In the type-I SPDC, the polarization of the created photons is parallel to each other and orthogonal to the polarization of the pump photon. The light created in these conditions forms a cone aligned with the pump beam. In the type-II SPDC, the idler polarization is orthogonal to signal one, and the new light forms two cones that are not necessarily collinear.
The type-II SPDC is particularly interesting as the photons produced are entangled in their polarization states [13,14], making them useful for representing qubits in quantum information [15]. One of the cones is ordinarily polarized and the other extraordinarily. Since they intersect in most configurations, it turns out that the generated light that propagates along these intersections is not polarized since we cannot distinguish if a certain photon belongs to one or another cone (possible entanglement is anticipated). Nevertheless, ordinary and extraordinary photons propagate at different speeds inside the crystal [16,17], so one photon comes out of the crystal before the other one [11]. Then, in principle, a time measurement can distinguish between the photon pairs along the intersections (meaning no entanglement) [2]. One obtains quantum indistinguishability (entanglement) once the relative time ordering is compensated by using concrete arrays of crystals [18]. In this way, the entire Bell basis of bipartite entanglement can be achieved in terms of the polarization state of the photon pairs produced by the type-II SPDC.
In general, SPDC follows the conservation of energy and conservation of momentum, which are crucial for the process to occur [10,11,12]; the corresponding equations are called phase-matching conditions. In particular, conservation of the wave vector is required for an efficient non-linear effect, although it is an impossible condition to be satisfied with most materials [11]. The above condition is commonly achieved in birefringent nonlinear uniaxial crystals since their refractive index for a given wavelength depends on the orientation of the electric field with respect to the optical axis (biaxial crystals—which have three mutually orthogonal principal axes associated with different refractive indices—are also available).
To solve the phase-matching conditions in vector form, it is convenient to work in spherical coordinates. Then, nine parameters are to be determined: three wavelengths (conservation of energy) and three pairs of polar and azimuthal angles (conservation of momentum). However, for light propagating within nonlinear crystals, depending on whether it is polarized ordinary, or extraordinarily, the refractive index is expressed in terms of both the wavelength and the angle formed by the wave vector and the corresponding optical axis [16,17]. This makes obtaining analytical solutions for phase-matching conditions a surprisingly difficult task, especially in the non-collinear case if one is looking for the production of entangled photon pairs.
As the refractive index of extraordinarily polarized light is an elaborated function of the unknowns, and the latter are encapsulated by trigonometric functions, determining the parameters requires solving strongly transcendental equations, a fact that has motivated the study of numerical approximations than the search for analytical solutions [11,19,20].
In this work, we show that the difficulty of solving the strongly transcendental equations of vector phase-matching is reduced by transforming them into a fourth-order polynomial equation that admits an analytical solution. The corresponding roots are complex-valued in general, so we impose a reality condition that determines the optical axis orientations that are useful for efficient down-conversion. Our research addresses the type-II SPDC process in nonlinear uniaxial crystals, including type-I SPDC as a particular case, with emphasis on the non-collinear case.
The usefulness of the analytical solutions reported here is twofold: they contribute to a better understanding of the SPDC process by expanding the set of exactly solvable cases, and are helpful in the design of entangled photon sources.
To provide a practical example we consider the nonlinear crystal beta-barium borate (BBO), which is negative uniaxial (although the approach is not restricted to such a crystal. Other examples include lithium niobate (LNB) and quartz, which are negative and positive uniaxial crystals, respectively). Our results are in complete agreement with theoretical and experimental work already reported by other authors and include some refinements whose full experimental verification remains an open question.
The remainder of the paper is organized as follows. In Section 2, we introduce some basic notions of the phase-matching conditions and establish the problem to be solved. The vectorial conditions for phase-matching are simplified to a system of two coupled scalar equations for the polar angles of idler and signal photons. For type-II SPDC, these equations are transformed into a fourth-order polynomial equation whose solutions provide the polar angle of the idler beam. In Section 3, we provide the exact solution for the equation and particularize it to the SPDC process in a BBO crystal. We analyze both degenerate and non-degenerate cases. Five general configurations of the cones of down-converted light are discussed, they include beam-like, divergent, osculating (entanglement in collinear beams), overlapping (entanglement in spatially separate beams), and coaxial cones. In Section 4, we discuss our results by comparing them with the work of other authors. Our theoretical model is in close agreement with experimental measurements and theoretical approaches already reported in the literature. Finally, Appendix A includes some concrete calculations that are useful to follow the discussion throughout the manuscript.

2. Laws of Conservation for SPDC

The frequency-matching and phase-matching conditions of spontaneous parametric down-conversion (SPDC) are, respectively, written as
ω p = ω s + ω i , k p = k s + k i ,
where ω u and k u are the angular frequency and wave vector of the u-light wave, with u = p , s , i , referring to pump, signal, and idler fields.
The conditions (1) arise from the temporal and spatial phase matching of the waves associated with the three fields in SPDC phenomena, and ensure the mutual interaction of the fields over extended durations of time and regions of space [17]. In general, they lead to multiple solutions where the down-converted light takes the form of a cone of multispectral light [17].
We are interested in finding exact solutions to the phase-matching condition for both types of nonlinear uniaxial crystals, I and II, and for two general cases (degenerate and non-degenerate) of the frequency-matching condition. That is, our program will hold for any relationship between the angular frequencies, whenever they satisfy the frequency-matching (1). In this form, we shall assume that the values of ω p , ω s , and ω i are available from either direct measurements in the laboratory or appropriate theoretical considerations.
The reference system in the laboratory is defined by the Cartesian unitary vectors in R 3 : e ^ 1 e ^ x , e ^ 2 e ^ y , and e ^ 3 e ^ z . The coordinates are right-handed, with axes x 1 x , x 2 y and x 3 = z . The origin of the coordinates is located at the center of mass of the crystal, which will be considered a rectangular cuboid for simplicity, see Figure 1. The principal optic (dielectric) axes are defined by the unitary vectors e ^ k , o R 3 in such a way that e ^ 2 , o and e ^ 2 are parallel. Thus, the laboratory and crystal frames are related by a rotation R y ( σ ) around the common y-axis.
Without loss of generality, we will assume that the optic axis of the crystal is oriented according to the unitary vector n ^ = e ^ 1 sin σ + e ^ 3 cos σ , with σ [ 0 , π ] , see Figure 1. Additionally, we shall consider that the pump-light wave propagates along the z-axis. The relationship between the principal optic (dielectric) and crystallographic axes, respectively defined by the vectors e ^ k , o R 3 and a , b , c R 3 , is shown in Figure 2. Note that e ^ 3 , o and c are parallel to n ^ .
In general, to satisfy the phase-matching condition (1), the wave vectors k u obey the parallelogram rule of vector addition. Then we talk about vector phase-matching. However, depending on the applications of the down-converted light, one might be interested in studying only those vectors k u that satisfy the additional condition of being collinear k u = k u e ^ 0 , with e ^ 0 a unitary vector in R 3 . In such a case, we talk about scalar (or collinear) phase-matching. Our approach faces the problem in general (vector) form. Once this is solved exactly, we particularize to the simplest (scalar) form by adjusting the parameters of the general solution.
The down-converted light is expected to form cones whose vertices lie inside the crystal. For the sake of simplicity, we shall assume that all vertices coincide with the origin of coordinates in the laboratory frame.
Therefore, using spherical coordinates, the wave vectors are written as follows
k p = k p ( 0 , 0 , 1 ) , k s = k s ( sin θ s cos ϕ s , sin θ s sin ϕ s , cos θ s ) , k i = k i ( sin θ i cos ϕ i , sin θ i sin ϕ i , cos θ i ) ,
where θ u [ 0 , π ] and ϕ u [ 0 , 2 π ) stand for the polar and azimuthal angles, respectively, and k u = k u refers to the wave number of the u-light wave, see Figure 3.
The problem is to determine the wave numbers k s , k i , as well as the angles θ s , ϕ s , and θ i , ϕ i , such that the phase-matching (1) is satisfied by giving k p , ω p , and σ (remember that we are assuming frequency-matching is assured).
Introducing (2) into the phase-matching (1) leads to the system
k s sin θ s = k i sin θ i cos ϕ i cos ϕ s = k i sin θ i sin ϕ i sin ϕ s ,
k p = k s cos θ s + k i cos θ i .
From (3) one immediately obtains tan ϕ s = tan ϕ i , which means a π -shift between the azimuthal angles
ϕ s = ϕ i + π
that defines the relationship between the polar angles as follows
k s sin θ s = k i sin θ i .
The roots of the system formed by Equations (4)–(6) ensure the conservation of linear momentum in the SPDC process.
On the other hand, for uniaxial crystals with ordinary and extraordinary refractive indexes, n O ( ω ) and n E ( ω ) , to describe the propagation of ordinary light we require only the frequency-dependent refractive index n ( ω ) = n O ( ω ) . However, for extraordinary light waves, the refractive index depends also on the angle δ formed by the wave vector and the optic axis according to the expression [17]
1 n 2 ( ω ; δ ) = cos 2 δ n O 2 ( ω ) + sin 2 δ n E 2 ( ω ) .
The indexes n O ( ω ) and n E ( ω ) are determined by the Sellmeier Equations [16,17].
Remark that Equation (7) introduces additional degrees of freedom to the problem we are dealing with. Indeed, each of the three waves of light can be ordinary or extraordinary. Then, according to the polarization of the u-wave, the refractive index n ( ω u ; δ u ) depends on the angle δ u that is formed by the wave vector k u and the optic axis. Using the inner product of k u with the unitary vector n ^ that characterizes the optic axis one has
cos δ u = k u · n ^ k u , u = p , s , i .
Then δ p = σ , and
cos δ u = sin θ u cos ϕ u sin σ + cos θ u cos σ , u = s , i .
That is, the angle formed by the idler and signal beams with the optic axis depends on σ as well as on the phase-matching angles we are looking for.
Therefore, according to the polarization of idler and signal waves, the refractive index for these waves could depend on σ and the corresponding phase-matching angles. If the polarizations of both light waves are equal (orthogonal) then the SPDC phenomenon is of type I (II) [17]. We are going to solve exactly the phase-matching for both types.
The number of unknowns in Equations (4) and (6) can be reduced by expressing the wave numbers k u in terms of the frequency and refractive index
k u = ω u c 0 n ( ω u ; δ u ) , u = p , s , i ,
where c 0 is the speed of light in a vacuum. Therefore,
ω p n p ( ω p ; σ ) = ω s n s ( ω s ; δ s ) cos θ s + ω i n i ( ω i ; δ i ) cos θ i ,
ω s n s ( ω s ; δ s ) sin θ s = ω i n i ( ω i ; δ i ) sin θ i ,
so we just need to determine the angles θ s and θ i (remember that ϕ s is the π -shifted version of ϕ i ). That is, we simplified the vector phase-matching (1) to the system of scalar equations composed of (5), (10) and (11). They, together with the frequency-matching condition (1), must be simultaneously satisfied.
However, by reducing the number of unknowns we increase the complexity of the problem because, according to Equation (7), the relationship between the refractive index n ( ω u ; δ u ) and the angle δ u is not only quadratic but transcendental for extraordinary u-waves. In turn, Equation (8) connects δ u with the unknowns θ u and ϕ u in transcendental form, no matter the polarization of the u-wave. Then, depending on the polarization of the down-converted waves, the system (10) and (11) could include transcendental equations of at least second degree.
Clearly, solving the pair (10) and (11) requires concrete information about the character of the fields as they propagate in the crystal. For clarity, we shall analyze the phase-matching of types I and II separately.

2.1. Type-I SPDC

For nonlinear uniaxial crystals of type I, the idler and signal fields are polarized in the ordinary form. We write n O ( ω i ) and n O ( ω s ) for the respective refractive indexes. In turn, the polarization of the pump field is extraordinary, so the refractive index is a function of δ p = σ (the angle between k p and n ^ ), written from (7) as follows
n p ( ω p ; σ ) = n O ( ω p ) 1 + n O 2 ( ω p ) n E 2 ( ω p ) 1 sin 2 σ .
Thus, when the pump beam enters the crystal forming the angle σ with the optical axis, the extraordinary index will be different for different values of σ .
The function n p ( ω p ; σ ) is positive for any value of σ [ 0 , π ] , and satisfies
n p ( ω p ; σ ) σ = 0 = n p ( ω p ; σ ) σ = 180 = n O ( ω p ) , n p ( ω p ; σ ) σ = 90 = n E ( ω p ) .
With (12), Equations (10) and (11) acquire the form
ω p n p ( ω p ; σ ) = ω i n O ( ω i ) cos θ i + ω s n O ( ω s ) cos θ s , ω s n O ( ω s ) sin θ s = ω i n O ( ω i ) sin θ i .
Squaring both equations of (13), after some simplifications, we obtain
θ i = arccos ω p 2 n p 2 ( ω p ; σ ) + ω i 2 n O 2 ( ω i ) ω s 2 n O 2 ( ω s ) 2 ω p ω i n p ( ω p ; σ ) n O ( ω i ) .
The signal angle θ s is derivable from (14) and the second equation of (13).
In the degenerate configuration ( ω s = ω i = ω p / 2 ), the above results are simplified as follows
θ s = θ i = arccos n p ( ω p ; σ ) n O ( ω p / 2 ) .
Thus, the light produced by (degenerate) type-I SPDC describes a right circular cone, the axis of which is along the propagation direction of the pump beam, with aperture 2 θ i = 2 θ s (inside the crystal). In addition, the π -shift between azimuthal angles (5) means that the created photon pairs are emitted on opposite sides of the corresponding cone.

2.2. Type-II SPDC

In the case of nonlinear uniaxial crystals of type II, consider the situation in which the signal field is ordinarily polarized. The pump field is still associated with the refractive index (12), and the idler field is now linked to the function
n i ( ω i ; δ i ) = n O ( ω i ) 1 + n O 2 ( ω i ) n E 2 ( ω i ) 1 sin 2 δ i ,
which is positive for any value of δ i [ 0 , π ] fulfilling (8), and satisfies
n i ( ω i ; δ i ) δ i = 0 = n i ( ω i ; δ i ) δ i = 180 = n O ( ω i ) , n i ( ω i ; δ i ) δ i = 90 = n E ( ω i ) .
Using (15), Equations (10) and (11) are rewritten as follows:
ω p n p ( ω p ; σ ) = ω s n O ( ω s ) cos θ s + ω i n i ( ω i ; δ i ) cos θ i ,
ω s n O ( ω s ) sin θ s = ω i n i ( ω i ; δ i ) sin θ i .
After squaring (16) and (17), we may solve the system by preserving θ i . The straightforward calculation gives rise to the quadratic form
ω i 2 n i 2 ( ω i ; δ i ) 2 ω i ω p n i ( ω i ; δ i ) n p ( ω p ; σ ) cos θ i ω s 2 n O 2 ( ω s ) + ω p 2 n p 2 ( ω p ; σ ) = 0 .
Our program is completed after solving the transcendental Equation (18) for the phase-matching angle θ i .
In the previous sections, we emphasized that solving equations, such as (18), is much more difficult than it seems at first glance. Indeed, according to (15), the refractive index n i ( ω i ; δ i ) is a very elaborated function of θ i , so (18) is strongly transcendental. This fact could motivate more the study of numerical approaches than the search for analytical solutions [11,19,20]. However, we are going to show that the complexity of solving (18) is reduced by transforming it into a fourth-order polynomial equation.

Fourth-Order Polynomial Equation for Type-II SPDC

To simplify the calculations, it is useful to square (8) in the form
cos 2 δ i = T 1 + tan 2 θ i ,
where
T = cos 2 ϕ i sin 2 σ tan 2 θ i + 2 sin σ cos σ cos ϕ i tan θ i + cos 2 σ .
Then, the refractive index (15) can be expressed as follows
1 n i 2 ω i ; δ i = 1 + tan 2 θ i + n E 2 ( ω i ) T Δ ( 1 + tan 2 θ i ) n E 2 ( ω i ) ,
with
Δ = 1 n O 2 ω i 1 n E 2 ω i .
In turn, (18) can be simplified in the form
ξ 2 2 ξ n p ω p ; σ n i ω i ; δ i cos θ i γ n i 2 ω i ; δ i = 0 ,
where
ξ = ω i ω p , γ = ω s 2 ω p 2 n O 2 ω s n p 2 ω p ; σ .
To avoid the square root appearing in n i ( ω i ; δ i ) , let us square (21) to arrive at the following quartic form for ξ ,
ξ 4 2 ξ 2 γ + 2 n p 2 ( ω ; σ ) cos 2 θ i n i 2 ( ω i ; δ i ) + γ 2 n i 4 ( ω i ; δ i ) = 0 .
From (19), it is clear that (22) is indeed a fourth-order polynomial equation in the variable
χ = tan θ i .
The straightforward calculation yields
a 4 χ 4 + a 3 χ 3 + a 2 χ 2 + a 1 χ + a 0 = 0 ,
where the coefficients a k , k = 0 , 1 , 2 , 3 , 4 , are real-valued functions of the azimuthal angle ϕ i , the orientation σ of the optic axis, and the three angular frequencies ω p , ω s , ω i , see Appendix A for details.

3. Exact Solution of the SPDC Phase-Matching Conditions for Crystals of Type II

The complete solution to the vector part of Equation (1) for nonlinear uniaxial crystals of type II is obtained after solving (24). Indeed, we determine the polar angle θ i by reversing (23) with χ the appropriate root of Equation (24). The other polar angle θ s is obtained from either (16) or (17). In turn, as indicated above, ϕ s is uniquely determined by ϕ i through the π -shift (5).
The fourth-order polynomial Equation (24) is better studied in its monic form
χ 4 + b 3 χ 3 + b 2 χ 2 + b 1 χ + b 0 = 0 ,
with b k = a k / a 4 , k = 0 , 1 , 2 , 3 . In these terms, the four roots are as follows
χ 1 = 1 2 η + Γ + 1 4 b 3 , χ 2 = 1 2 η Γ + 1 4 b 3 , χ 3 = 1 2 η + Γ 1 4 b 3 , χ 4 = 1 2 η Γ 1 4 b 3 ,
where
Γ ± = 1 2 2 p η ± 2 q η 1 / 2 1 / 2 , p = b 2 3 8 b 3 2 , q = 1 8 b 3 3 1 2 b 3 b 2 + b 1 ,
and η is a root of the cubic equation
η 3 + 2 p η 2 + ( p 2 4 r ) η q 2 = 0 ,
with
r = 3 256 b 3 4 + 1 16 b 3 2 b 2 1 4 b 3 b 1 + b 0 .
For a detailed derivation of the previous formulae see Appendix A.
  • Refraction. The results obtained above (and in the previous sections) refer to light propagating within the crystal. A more realistic model should consider that the detection zone is far from the crystal, where the light to be detected has undergone refraction. That is, we have to take into account the transition from the crystal to the medium in which the detectors—and the crystal itself—are embedded. For simplicity, we will suppose the down-converted light to propagate in the air ( n = 1 ) as soon as it leaves the crystal.
    Assuming that the normal to the interface is parallel to e ^ 3 , see Figure 1, for type-II SPDC the Snell law yields
    n O ( ω s ) sin θ s = sin θ s ( a ) , n i ( ω i ; δ i ) sin θ i = sin θ i ( a ) ,
    where θ s ( a ) and θ i ( a ) are the polar angles of refraction for signal and idler waves, respectively. From Equation (17), one immediately obtains
    sin θ s ( a ) = ω i ω s sin θ i ( a ) .
Therefore, after refraction, the relationship between the polar angles of down-converted light is uniquely determined by the way in which the frequency-matching ( ω p = ω s + ω i ) is satisfied.
In particular, for degenerate frequencies ω i = ω s ( = ω p / 2 ) , one has θ s ( a ) = θ i ( a ) . That is, if the down-converted light is produced in degenerate form, signal and idler cones will be observed with the same inclination with respect to the pump beam, and will have the same aperture. Other combinations of ω i and ω s fulfilling the frequency-matching lead to different configurations of the cones at the detection zone, as we are going to see.
In the sequel, we will emphasize the predictions after refraction since they are the subject of interest for experimental data in the laboratory.
Without detection, the down-converted cones extend infinitely far. Their conical surfaces are formed by half-lines (generatrix lines) whose orientation is determined by the wave vectors k s and k i .
  • Detection plane. Positioning a transversal detection plane Σ 0 at z = z 0 > L , with L the crystal length, the directrix (base) of each cone is defined by the intersection with Σ 0 . The lateral surfaces are then formed by line segments (generatrix lines) that are oriented according to k s and k i . Therefore, in the laboratory, the most general configuration of each cone is oblique circular, where the axis is not orthogonal to the base (a circle), so the base center does not coincide with the projection of the apex on Σ 0 . As we are going to see, right circular cones are also allowed, but they require a very concrete orientation σ of the optic axis as well as particular configurations of the frequency-matching.
We assume that it is feasible to operate with detectors that can be placed (and moved) along the detection plane Σ 0 , which is indeed a displaced version of the x y -plane of the laboratory frame shown in Figure 1. The plane Σ 0 is where the transverse patterns of both cones are to be formed.
  • BBO crystal. To provide a practical example we will consider the nonlinear crystal beta barium borate (BBO, β -BaB 2 O 4 ), which is negative uniaxial ( n O > n E ) and is characterized by the wavelength-dependent refractive indexes [16,17]:
    n O 2 ( λ ) = 2.7359 + 0.01878 λ 2 0.01822 0.01354 λ 2 ,
    n E 2 ( λ ) = 2.3753 + 0.01224 λ 2 0.01667 0.01516 λ 2 .
    The Sellmeier Equations (29)–(30) consider refractive indexes at room temperature, with wavelengths λ measured in μ m, and are valid in the wavelength range (0.22–1.06) μ m [17]. The ordinary refractive index (29) is larger than the extraordinary one (30) at any allowed wavelength λ .
Using a BBO crystal in the laboratory, the phase-matching of both types I ( e o + o ) and II ( e e + o , e o + e ) can be achieved by tuning the angle σ formed by the optical axis and the pump beam, so this crystal is suitable for testing our theoretical results.
The BBO crystal belongs to the symmetry group 3m [16,21,22,23,24]. Considering the second-order nonlinear coefficients d i , J for this group, the straightforward calculation yields three different expressions for the effective nonlinearity d eff of BBO crystals. For type-I BBO, taking into account the anisotropy of the down-converter and the allowed polarizations of the medium, we obtain
d eff ooe = ε p o d 31 cos ( φ i φ s ) sin ϑ p + ε p e d 22 sin ( φ i + φ s + φ p ) cos ϑ p ε p e 2 cos 2 ϑ p + ε p o 2 sin 2 ϑ p 1 / 2 ,
where ε u e = n u e 2 and ε u o = n u o 2 stand for the ordinary and extraordinary relative dielectric constants of the medium, with n u e and n u o the extraordinary and ordinary refractive indexes for the u-wave. The three-index notation d eff designates the polarization of idler, signal, and pump waves in that order. At the limit ε o ε e , up to a global ( ) , we have
lim ε o ε e d eff ooe = d 31 cos ( φ i φ s ) sin ϑ p d 22 sin ( φ i + φ s + φ p ) cos ϑ p .
In turn, for type-II BBO, we arrive at the formulae
d eff eoe = ε p e 2 cos 2 ϑ p + ε p o 2 sin 2 ϑ p ε i e 2 cos 2 ϑ i + ε i o 2 sin 2 ϑ i 1 / 2 × ε p e ε i e d 22 cos ϑ i cos ( φ i + φ s + φ p ) ε i o d 31 sin ϑ i sin ( φ s φ p ) cos ϑ p + ε p o ε i o d 31 cos ϑ i sin ( φ i φ s ) sin ϑ p ,
and
d eff oee = ε p e 2 cos 2 ϑ p + ε p o 2 sin 2 ϑ p ε s e 2 cos 2 ϑ i + ε s o 2 sin 2 ϑ i 1 / 2 × ε p e ε s e d 22 cos ϑ s cos ( φ i + φ s + φ p ) ε s o d 31 sin ϑ s sin ( φ i φ p ) cos ϑ p ε p o ε s e d 31 cos ϑ s sin ( φ i φ s ) sin ϑ p .
At the isotropic limit ε o ε e , the above expressions become
lim ε o ε e d eff eoe = d 22 cos ϑ i cos ( φ i + φ s + φ p ) d 31 sin ϑ i sin ( φ s φ p ) cos ϑ p + d 31 cos ϑ i sin ( φ i φ s ) sin ϑ p ,
and
lim ε o ε e d eff oee = d 22 cos ϑ s cos ( φ i + φ s + φ p ) d 31 sin ϑ s sin ( φ i φ p ) cos ϑ p d 31 cos ϑ s sin ( φ i φ s ) sin ϑ p .
The polar and azimuthal angles ( ϑ u , φ u ) are measured with respect to the crystal reference frame, where the optical axis is along the corresponding z-axis.
The above expressions for the effective nonlinearity of BBO crystals refer to the vector phase-matching, where the wave vectors k u obey the parallelogram rule to satisfy the vector addition (1). To our knowledge, Equations (31)–(36), have not been previously reported.
In contrast, what is well-known is the calculation of the effective nonlinearity for scalar (or collinear) phase-matching. In this case, the three pairs of angles ( ϑ u , φ u ) satisfy ϑ u = σ and φ u = φ . Introducing these values into (31), (33) and (34), yields simplified expressions. Attending the isotropic case, Equation (32) acquires the form
lim ε o ε e d eff ooe col = d 31 sin σ d 22 cos σ sin 3 φ ,
while both (35) and (36) are reduced as follows
lim ε o ε e d eff eoe col = d eff oee col = d 22 cos 2 σ cos 3 φ .
Equations (37) and (38) were first reported in [22], and then included in the reviews [16,23]. Here, they are recovered as particular cases of our results (31)–(36).
In general, the effective nonlinear coefficient d eff is useful to calculate quantities, such as the conversion efficiency η , whose formulas often involve d eff 2 instead of the coefficient itself, see for instance Tables 2.28 and 2.29 in [16].
Assuming that factors, such as group-velocity mismatch, dispersive spreading, and diffraction can be neglected, the plane-wave fixed-field approximation yields expressions of η that are proportional to the pump power density P p , the square of the crystal length L, and the “quality parameter” Q = d eff 2 / ( n p n s n i ) , with n u the refractive index of the u-light wave [16] (an additional factor can be included to consider the effect of the wave mismatch on the conversion efficiency). However, convertible radiation is not a plane wave in real frequency converters, so the accurate calculation of η is very complex. Analytic expressions of η are feasible only for some special and simple cases.
  • Pump wavelength. Our approach is based on exact solutions to the vector phase-matching conditions (1), so it is not constrained to a particular value of the pump wavelength λ p . In practice, the choice of λ p is made in combination with the characteristics of the down-converter crystal, taking into account the wavelength of the light produced in the SPDC process (since it defines the profile of the photodetectors to be used). For example, assume that down-converted light is created in a degenerate configuration. Centering the pump wavelength at λ p = 405 nm (violet light) we have that the photon pairs are created at λ s , i = 810 nm (infrared light). Violet laser and infrared photodetectors are commonly used in virtually any quantum optics laboratory [25,26]. The latter makes λ p = 405 nm very useful as a test pump wavelength in our model, so we will use it as a prototypical example.
Next, we are going to analyze the situation in which a type-II BBO crystal is pumped by a violet laser diode that operates at λ p = 405 nm. Configurations for other admissible values of the pump wavelength λ p (equivalently, the pump angular frequency ω p ) are feasible from our general solutions.

3.1. Degenerate Case

Throughout this section, we assume that down-converted light is created in degenerate form ( ω s = ω i = ω p / 2 ). As noted above, in this case, the Snell law (28) leads to the identity θ s ( a ) = θ i ( a ) . Consequently, after refraction, the signal and idler cones have the same aperture and inclination with respect to the pump beam when ω s = ω i , as observed in the laboratory.
We have already indicated that the roots χ k are functions of ϕ i , σ , and the three angular frequencies ω u . Hereafter, we use the shorthand notation χ k = χ k ( ϕ i , σ ) , k = 1 , 2 , 3 , 4 , with implicit dependence on the angular frequencies.

3.1.1. Delimiting The Orientation of the Optic Axis

In general, the functions χ k ( ϕ i , σ ) are complex-valued. However, only real-valued functions χ k can be directly associated with angles θ i that are measured in the laboratory. Therefore, as the condition ϕ i [ 0 , 360 ) is mandatory, we have to differentiate the values of σ that produce real-valued functions χ k ( ϕ i , σ ) from those that give rise to χ k ( ϕ i , σ ) with non-zero imaginary part.
To obtain insight into the matter, consider the functions χ k ( ϕ i , σ ) defined by ϕ i = 0 . They are depicted in Figure 4 for σ [ 0 , 180 ] , with a close-up of the vicinity where the imaginary part of χ k ( 0 , σ ) is equal to zero, Figure 4a. We identify two complementary intervals, σ [ 40.88 , 90 ] and σ ( 90 , 139.15 ] , where χ 1 , χ 2 R and χ 3 , χ 4 R , respectively. Other values of σ yield χ 2 = χ 1 * and χ 4 = χ 3 * , with z * the complex conjugate of z Z . Therefore, in the present case, the orientation σ of the optic axis must be confined to the interval Λ σ = [ 40.88 , 139.15 ] , see Figure 4b.
In general, the dependence of θ i on ϕ i and σ is obtained through the set χ k ( ϕ i , σ ) R , after reversing Equation (23). Following the shorthand notation introduced above we write θ i = θ i ( ϕ i , σ ) , remember that the dependence on the three angular frequencies ω u is implicit. To facilitate the analysis of θ i ( ϕ i , σ ) let us consider in detail the situations defined by ϕ i = const first, and then by σ = const .
  • ϕ i fixed. The expression θ i ( σ ) θ i ( ϕ i = const ,   σ ) provides an ellipse parameterized by σ Λ σ . Figure 5 shows the ellipses θ i ( σ ) obtained for some representative values of the azimuthal angle ϕ i .
Figure 5. Given ϕ i , the polar angle θ i ( σ ) θ i ( ϕ i = const , σ ) describes an ellipse parameterized by σ Λ σ . All the angles are measured in sexagesimal degrees, ϕ i and θ i are considered before refraction. Black, red, blue, and purple paths stand for ϕ i = 0 , 22.5 , 45 , and 67.5 respectively (a). The paths of medium thickness in black and gray correspond to ϕ i = 0 and ϕ i = 180 (b). For ϕ i = 0 , the vertices are at the points ( 40。88 , 2.08 ) and ( 139.15 , 2.07 ) , with maximum and minimum located at ( 80.97 , 13.43 ) and ( 99.12 , 13.43 ) , and crossing points at ( 41.79 , 0 ) and ( 138.2 , 0 ) . The ellipse defined by ϕ i = 180 is a counterclockwise rotated version of that generated by ϕ i = 0 .
Figure 5. Given ϕ i , the polar angle θ i ( σ ) θ i ( ϕ i = const , σ ) describes an ellipse parameterized by σ Λ σ . All the angles are measured in sexagesimal degrees, ϕ i and θ i are considered before refraction. Black, red, blue, and purple paths stand for ϕ i = 0 , 22.5 , 45 , and 67.5 respectively (a). The paths of medium thickness in black and gray correspond to ϕ i = 0 and ϕ i = 180 (b). For ϕ i = 0 , the vertices are at the points ( 40。88 , 2.08 ) and ( 139.15 , 2.07 ) , with maximum and minimum located at ( 80.97 , 13.43 ) and ( 99.12 , 13.43 ) , and crossing points at ( 41.79 , 0 ) and ( 138.2 , 0 ) . The ellipse defined by ϕ i = 180 is a counterclockwise rotated version of that generated by ϕ i = 0 .
Symmetry 14 02272 g005
The points on the ellipse θ i ( ϕ i = const ,   σ ) are in a one-to-one relationship with the intersections of the cone of idler light and the plane ϕ i = const . The absence of intersections implies that there are no real angles θ i derivable from the roots (26) for the orientation σ , and vice versa. In the detection plane Σ 0 , depending on the number of intersections, the condition ϕ i = const results in either a tangent or a secant to the transverse pattern formed by idler light. The former case refers to a single intersection while the latter refers to two intersections. This identification is clearly associated with the fact that the ellipses θ i ( σ ) provide at most two real angles θ i for each σ in Λ σ .
Observe the symmetry between the ellipses for ϕ i = 0 and ϕ i = 180 in Figure 5b. As they verify θ i ( ϕ i = 180 , σ ) = θ i ( ϕ i = 0 , σ ) , it is clear that the entire set of points on a given ellipse θ i ( σ ) is redundant.
The intersections occurring on the positive semi-axis of ϕ i = 0 are in one-to-one correspondence with those occurring on the negative semi-axis of ϕ i = 180 , and vice versa. Since these lines are one π -rotated version of the other, we realize that both of them provide twice the same information, up to the phase e i π . Similar conclusions are obtained for any other line ϕ i = const and its π -rotated version.
To eliminate redundancies, we will take the convention of counting only the intersections associated with nonnegative values of θ i for each line ϕ i = const . In this way, the information provided by ϕ i = const and ϕ i = π + ϕ i is complementary: the values θ i < 0 that are not counted for ϕ i = const are recoverable from the values θ i > 0 counted for ϕ i (after a change of sign). Our convention is consistent with the fact that polar angles are formally nonnegative.
All the points on a given ellipse θ i ( ϕ i = const , σ ) constitute the exact solution of the problem for ϕ i = const . With the convention introduced above, no one of these points is discarded. The complete determination of the polar angle of idler light is obtained by exhausting all the values of ϕ i [ 0 , 360 ) , which can be done by taking line ϕ i = 0 and rotating it counterclockwise around the z-axis while counting intersections with the transverse pattern of idler light, see Section 3.1.3 for details.
The ellipses defined by ϕ i = 0 and ϕ i = 180 are of major relevance since they refer to the intersections of idler light and the x z -plane for each admissible value of σ . As the idler cone is centered along the x-axis, the set Λ σ that we have delimited from such ellipses contains all the values of σ for which the cone of idler light exists. The ellipses defined by other values of ϕ i are associated with different subsets of Λ σ . In this sense, θ i ( 0 , σ ) and θ i ( 180 , σ ) serve as envelopes of the set θ i ( ϕ i = const , σ ) .
For ϕ i = 0 , the difference Δ θ i of the corresponding polar angles provides the aperture of the cone. Figure 6a shows Δ θ i as a function of σ . We can also characterize the orientation of the idler cone axis in terms of σ . In Figure 6b, we appreciate that the cone axis is located at the positive semi-axis x > 0 for σ < 90 , and it transits to x < 0 for σ > 90 . At σ = 90 , the cone axis coincides with the pump beam.
  • σ fixed. The angular dependence θ i ( ϕ i ) is illustrated in Figure 7 for representative values of σ in the set Λ σ . The presence of lobes (red and black paths in Figure 7) means that θ i ( ϕ i ) is real only for particular subsets of the azimuthal domain ϕ i [ 0 , 360 ) at the corresponding σ . Consistently, the transverse pattern of idler light will be entirely contained in either semi-plane x 0 or x 0 of the detection plane Σ 0 . In turn, the continuous curves shown in Figure 7 represent cones of idler light whose transverse pattern occupies both semi-planes of Σ 0 . Concrete configurations are discussed as examples in the next sections.
Figure 7. Angular dependence for σ = 41 , 41.7 (black and red lobes), and σ = 65 , 115 (blue and purple curves). The lobes are associated with cones of idler light waves that describe circles entirely contained in either semi-plane x 0 or x 0 of the x y -plane. Continuous curves represent cones that describe circles occupying both semi-planes of the x y -plane.
Figure 7. Angular dependence for σ = 41 , 41.7 (black and red lobes), and σ = 65 , 115 (blue and purple curves). The lobes are associated with cones of idler light waves that describe circles entirely contained in either semi-plane x 0 or x 0 of the x y -plane. Continuous curves represent cones that describe circles occupying both semi-planes of the x y -plane.
Symmetry 14 02272 g007
In order to correctly delimitate the angle σ , we have to impose the condition θ i [ 0 , π ] . Then, it is appropriate to consider the decomposition Λ σ = Λ 1 Λ 2 Λ 3 .
According to our convention, the set Λ 3 = ( 138.2 , 139.15 ] is not taken into account for ϕ i = 0 since σ Λ 3 yields only negative values of θ i , Figure 8. In turn, from Figure 8a, we appreciate that Λ 1 = [ 40.88 , 41.79 ) provides two different values of θ i > 0 for each value of σ , with exception of the vertices. This two-fold property of θ i is associated with the lobes shown in Figure 7. On the other hand, for Λ 2 = [ 41.79 , 138.2 ] , the polar angle θ i 0 can be operated as a function of σ . The latter is connected with the continuity of blue and purple curves in Figure 7.
Therefore, for ϕ i = 0 we formally constraint the orientations σ of the optical axis to the set Λ σ * = Λ 1 Λ 2 = [ 40.88 , 138.2 ] . However, we have to keep in mind that the set Λ σ provides the orientations of the optical axis for which the idler cone exists either in x > 0 or x < 0 .

3.1.2. General Configurations for Down-Converted Light

Keeping in mind that our approach is based on exact solutions, the next qualitative profiles of the down-converted light hold for any admissible value of the pump wavelength λ p , other than the violet one ( λ p = 405 nm) used as a generic example throughout this work.
  • For ϕ i = 0 , the vertices of the ellipse θ i ( σ ) yield Δ θ i = 0 . These points correspond to the situation in which the cone structure of idler light degenerates into a single beam. This phenomenon has been already described and measured in the laboratory by other authors [27,28,29,30] but, as far as we know, its connection with the vertices of θ i ( σ ) has been unnoticed in the literature.
  • At the crossing points with the σ -axis, the polar angle θ i = 0 defines a generatrix of the idler cone that is collinear with the pump beam. From Equation (17) we realize that θ i = 0 implies θ s = 0 , so there is also a generatrix of the signal cone that is collinear with the pump beam. The coincidence of these two generatrices with the pump beam configures the down-converted cones in osculating form, where the cones touch along the common generatrix ( θ i = θ s = 0 ) and are tangent to each other.
From (2) we obtain k i | θ i = 0 = k i e ^ 3 and k s | θ s = 0 = k s e ^ 3 , so these wave vectors, together with k p = k p e ^ 3 , satisfy the scalar (collinear) phase-matching. The latter has motivated the osculating configuration to be known as collinear [30,31,32,33], but it should be emphasized that not all wave vectors integrating the down-converted cones satisfy the scalar phase-matching. This is true only for wave vectors along the generatrices that coincide with the pump beam, so the term “collinear” would be a misnomer for this configuration.
  • For σ = 90 , the cone axis of idler light coincides with the pump beam while the cone aperture is maximum. The same holds for the signal cone, so it overlaps exactly with the idler cone after refraction. In this case, the down-converted cones are right-circular and, together with the pump beam, form the coaxial configuration.
It is important to mention that σ = 90 reduces the fourth-order polynomial Equation (25) to the bi-quadratic form discussed in Appendix A. Therefore, the coaxial configuration is the simplest and most symmetric profile of the down-converted cones derivable from the quartic Equation (25).
Remarkably, for σ = 90 , the authors of [15] indicate that “no down-conversion takes place at this setting” since “the actual down-conversion efficiency in a uniaxial crystal such as BBO varies as cos 2 ( θ p m ) [22]”, where θ p m is the angle between the crystal optic axis and the pump beam (in our notation θ p m = σ ), and [22] corresponds to the first edition of our reference [16].
However, in the previous section, we pointed out that such statement is not entirely accurate. To be concrete, using (12) and (15), the quality parameter for type-II BBO (e → e + o) acquires the form
Q eoe = d eff eoe 2 n p e n p o n s o n i e n i o n p e 2 cos 2 σ + n p o 2 sin 2 σ n i e 2 cos 2 δ i + n i o 2 sin 2 δ i 1 / 2 ,
recall that n u e and n u o are the extraordinary and ordinary refractive indexes for the u-wave. A similar expression is obtained for the other distribution of polarizations in type II BBO (e → o + e).
Equation (39) is consistent whenever the effective nonlinearity d eff eoe , originally calculated in terms of the angles ( ϑ u , φ u ) in the crystal, is expressed in terms of the laboratory angles ( θ u , ϕ u ) . The transformation is obtained through the rotation R y ( σ ) of the wave vectors k u , which gives rise to the relationships
cos ϑ u = cos σ cos θ u + sin σ sin θ u cos ϕ u ,
tan φ u = sin θ u sin ϕ u cos σ sin θ u cos ϕ u sin σ cos θ u ,
where θ p = ϕ p = 0 , so that ϑ p = σ and φ p = 180 . Then, the most generally effective nonlinearity (33) is rewritten as follows
d eff eoe = ε p e 2 cos 2 σ + ε p o 2 sin 2 σ ε i e 2 cos 2 ϑ i + ε i o 2 sin 2 ϑ i 1 / 2 × ε p e ε i e d 22 cos ϑ i cos ( φ i + φ s ) + ε i o d 31 sin ϑ i sin φ s cos σ + ε p o ε i o d 31 cos ϑ i sin ( φ i φ s ) sin σ ,
Using (40) and (41), the introduction of (42) into (39) shows an elaborated dependence of Q on σ (remember, θ i depends on σ and ϕ i , while δ i depends on θ i , σ , and ϕ i ). Nevertheless, for σ = 90 , the straightforward calculation yields
Q eoe σ = 90 = n i e 2 cos 2 δ i + n i o 2 sin 2 δ i 1 / 2 ε i e 2 cos 2 δ i + ε i o 2 sin 2 δ i sin 2 θ i sin 2 Θ ( θ i , θ s , ϕ i ) σ = 90 d 31 2 n i e 3 cos 2 ϕ i n p e n s o n i o ,
with cos δ i | σ = 90 = sin θ i cos ϕ i , see Equation (8), and
Θ ( θ i , θ s , ϕ i ) = arctan tan θ i sin ϕ i + arctan tan θ s sin ϕ i ,
where we have used (5). The values of θ i and θ s at σ = 90 are derivable from our exact solutions, see for instance Figure 5.
As the azimuthal angle ϕ i does not depend on σ , the expression provided in (43) is indeed a function of ϕ i and the angular frequencies ω i , ω s , and ω p . It reaches its maximum at ϕ i = 0 , 180 , and is equal to zero for ϕ i = 90 , 270 .
That is, for vector phase-matching, with σ = 90 , the production of down-converted light is not only different from zero but optimized along the x-axis.
Accordingly, the conversion efficiency η is different from zero within the plane-wave fixed-field approximation, where Q is included as a factor in the formula of η [16]. Other approaches leading to η must also include Q as a factor in such a way that the result is reduced to that of the plane-wave fixed-field approximation in the appropriate limit.
The situation changes for scalar phase-matching. Indeed, making ϑ u = σ and φ u = φ = 180 in (33), and introducing the result into (39), we arrive at the anisotropic quality factor
Q col eoe σ = 90 = cos 4 σ σ = 90 d 22 2 n p e 3 n i e 3 n p o 4 n i o 4 n s o .
Similarly, from (34) and (39) we obtain
Q col oee σ = 90 = cos 4 σ σ = 90 d 22 2 n p e 3 n s e 3 n p o 4 n s o 4 n i o .
As far as we know, Equations (44) and (45) have not been previously reported in the literature. At the isotropic limit ( n u o n u e ) they coincide and provide the expression
lim n u o n u e Q col eoe σ = 90 = lim n u o n u e Q col eeo σ = 90 = cos 4 σ σ = 90 d 22 2 n p o n s o n i o .
Note that the quality parameter (46) describes only the idler and signal waves that have their wave vector aligned with the pump beam. In such a case, the situation is even more dramatic than anticipated in [15], where the efficiency is announced to vary as cos 2 σ .
Nevertheless, above, we have found that, for σ = 90 , the down-converted light is produced in right-circular cones of maximum aperture, whose axes are aligned with the pump beam. That is, no generatrix of any of the cones coincides with the pump beam if σ = 90 , so neither k i nor k s is collinear with k p . In this sense, the quality parameter (46) shows that no down-converted light is produced such that its wave vector is aligned with the pump beam for σ = 90 , but it does not mean that down-converted light is not produced when the optical axis is tilted at σ = 90 .
Therefore, unlike the negative statement made in Ref. [15], we have shown that the conversion efficiency of type-II BBO crystals is different from zero at σ = 90 . Moreover, the production of down-converted light is optimized along the x-axis at the setting we are dealing with.

3.1.3. Geometric Distribution of Down-Converted Light for λ p = 405 nm

As indicated above, our approach provides exact solutions for any admissible value of the pump wavelength λ p . Centering it at λ p = 405 nm provides a concrete and practical example where the degenerate production of photon pairs yields the infrared wavelength λ s , i = 810 nm. The results presented below provide quantitative information about the distribution of down-converted light for such a value of the pump wavelength. The qualitative behavior of the solutions is basically unchanged for other admissible values of λ p .
Let us discuss in detail the configurations mentioned in the previous section, together with two additional settings that are relevant in practice, for a pump beam with λ p = 405 nm. They are classified according to the values of the optical-axis orientation σ as this sweeps Λ σ * = Λ 1 Λ 2 = [ 40.88 , 138.2 ] from left to right.
  • Beam-like configuration. For σ = 40.88 , one has Δ θ i = 0 at ϕ i = 0 , see Figure 6 and Figure 8, so the idler cone is deprived of structure and degenerates into a single beam that forms the angle θ i = 2.08 (before refraction) with the pump beam. As a transverse pattern, the idler beam depicts a single spot on the positive semi-axis x > 0 of Σ 0 . Consistently, the transverse pattern of the signal cone is a single spot on the negative semi-axis x < 0 . These spots are equidistant from the origin. Our results are in complete agreement with theoretical and experimental works already published by other authors [27,28,29,30].
  • Divergent cones. For 40.88 < σ < 41.79 , the axes of idler cones diverge from the axis of the corresponding signal cone. The transverse pattern is formed by two separate rings that are centered along the x-axis; the idler ring is entirely contained in the first and fourth quadrants of Σ 0 , while the signal ring is in the second and third quadrants. Inside the crystal, the centers are not equidistant from the origin | C i | | C s | . After refraction (outside the crystal), C s = C i , with C i = C > 0 , so the axes of both cones are now equidistant from the pump beam. Our results are in complete agreement with previous studies, see for instance [30].
Figure 9 illustrates the case for σ = 41.25 . Remark that the polar angle θ i is positive in the vicinity of ϕ i = 0 (and ϕ i = 360 ), see Figure 9b. In turn, the polar angle θ s of the signal beam is positive around ϕ s = 180 , see Figure 9c. For other values of the azimuthal angles, there is no real solution for the polar angles.
The lobes described by θ u as a function of ϕ u are justified as follows. Let us measure the cone aperture of idler light in terms of ϕ i , see the red rings in Figure 9a. Considering that ϕ i runs counterclockwise, we can start by tracing a half-line along the positive semi-axis x > 0 of Σ 0 , with the left edge fixed at the origin. We find two intersections between the half-line and both red rings. These intersections correspond to the points on the left semi-lobe at ϕ i = 0 , see Figure 9b. Tilting the half-line towards the positive semi-axis y > 0 , the intersections collapse into a single one at ϕ i 45 , where the half-line is tangent to the ring and the left semi-lobe is completed. Increasing the value of ϕ i , the half-line finds nothing up to ϕ i 315 , where the lower part of the red rings is found (and the right semi-lobe starts). We exhaust the search of intersections by tilting the half-line toward the positive semi-axis x > 0 . The blue lobe described by θ s in Figure 9c admits a similar description.
With the previous description, it is clear that the negative values of the polar angles (lobes in black and dashed-gray) in Figure 9b,c also describe the rings shown in Figure 9a, but in a reference system that is rotated by π around the z-axis. This symmetry has been discussed above, where we have introduced the convention of considering only nonnegative values of θ i . The lobes in black and dashed-gray shown in Figure 9 reproduce θ i > 0 in reverse order (with σ sweeping Λ 3 from right to left), after a change of sign. In this form, we remark that all the real roots (negative and nonnegative) found in the previous sections are useful to describe the SPDC phenomena.
  • Osculating cones. For the right edge of Λ 1 , i.e., σ = 41.79 , we obtain θ i = 0 , which defines a generatrix that is collinear with the pump beam. This result is in complete agreement with the so-called “collinear configuration” studied in references [30,31,32,33], for instance.
The setting is illustrated in Figure 10. Similar to the previous case, the cone apertures Δ θ u are in correspondence with finite intervals of ϕ u , but now the down-converted light is produced in a pair of osculating cones.
As we have seen, positioning the crystal such that the angle formed by the optical axis and the pump beam is in the set Λ 1 = [ 40.88 , 41.79 ] , we recover three different configurations of the down-converted light that are recurrently studied in the literature.
It is important to emphasize that the width of Λ 1 is only 0.91 , so it seems challenging to align the optical axis with the appropriate precision to distinguish between the configurations associated with the extremes of Λ 1 , and that linked with any other σ Λ 1 . Namely, great precision is required to achieve the beam-like ( σ = 40.88 ), divergent ( 40.88 < σ < 41.79 ), and osculating ( σ = 41.79 ) configurations in the laboratory. Fortunately, in practice, this is not a major problem. For instance, in [30] it is reported a series of experimental studies where beam-like, osculating (collinear), and “non-collinear” configurations are compared. The pump laser was a 408 nm cw diode laser, and the SPDC photons had a central wavelength of 816 nm. For the osculating configuration, the angle σ = 41.5 (in our notation) was reported, while the beam-like was accomplished by reducing the angle to σ = 40.6 . These values of σ define an interval of width 0.9 , which is very close to the width of Λ 1 mentioned above. That is, it is feasible to achieve the precision required to experimentally produce the configurations we are dealing with.
Remember that although we are discussing the consequences of pumping light at λ p = 405 nm into a BBO crystal, our exact solutions allow considering any admissible value of λ p , in particular λ p = 408 nm as this was used in [30]. Concrete examples are discussed below.
In addition to the previous configurations, two additional settings are feasible if σ ( 41.79 , 90 ] Λ 2 . They are as follows:
  • Overlapping cones. Given 41.79 < σ < 90 , the polar angle θ u is different from zero for any value of ϕ u [ 0 , 2 π ) in both down-converted cones. The latter means that the cones overlap by preserving their centers along the x-axis. The larger the value of σ , the shorter the distance between the centers.
The overlapping configuration is illustrated in Figure 11a for σ = 60 , it is also classified as non-collinear, see for instance [15,30]. The points of intersection deserve special attention since they identify maximally entangled states [10,11,12,13,14,15].
  • Coaxial configuration. For σ = 90 , the axes of the down-converted cones are along the z-axis. Thus, the axes of the idler and signal cones are aligned with the pump beam, so these three waves of light form the coaxial structure shown in Figure 11b.
To conclude this section, notice that the complementary set σ ( 90 , 138.2 ] Λ 2 reproduces the overlapping and osculating configurations in reverse order: the larger the value of σ , the longer the distance between the centers. In this sense, we can take Λ * = [ 40.88 , 90 ] Λ σ * as the definite set of optic-axis orientations producing type-II SPDC in the different configurations discussed above.

3.2. Non-Degenerate Case

The exact solutions χ k introduced in Equation (26) can be used with the down-converted frequencies rewritten as ω i = κ ω p and ω s = ( 1 κ ) ω p . To obtain nonzero frequencies within the frequency-matching regime, the parameter κ is restricted to the interval ( 0 , 1 ) . Using this notation we also write λ i = λ p / κ and λ s = λ p / ( 1 κ ) for the related wavelengths.
Degenerate frequencies ω i = ω s = 0.5 ω p are recovered at κ = 0.5 . For κ 0.5 , we have non-degenerate frequencies ω i ω s fulfilling frequency-matching. However, very low frequencies arise at κ 0 or κ 1 , so excessively long wavelengths would be calculated for down-converted light in a given crystal.
The latter shows that not all possible combinations of ω i and ω s that add up to ω p lead to appropriate results. Therefore, we must further restrict the values of κ . The key to refining this parameter is provided by the intrinsic properties of the crystal under study. In fact, uniaxial nonlinear crystals operate in a very specific range of wavelengths that is defined by Sellmeier Equations. We will take full advantage of this property to define κ .
The down-converted frequencies that obey both the frequency-matching and the restrictions due to the intrinsic properties of a given crystal define the variability of the non-degenerate case. In general, the configurations calculated for converted light of degenerate frequencies are affected when ω i ω s , both in the aperture of the cones and in the arrangement of their axes. The greater the difference between ω i and ω s , the more noticeable the changes.
One of the reasons for studying non-degenerate frequencies is that real crystals are imperfect. We know that even when they are designed to produce converted light at degenerate frequencies from a pump frequency ω p , the frequencies of the resulting light are centered at 0.5 ω p and sweep over a range of values whose width is usually inversely proportional to the quality of the crystal, but is never equal to zero.
Assuming that the bandwidth Δ ω = ω p Δ κ of the converted frequencies is defined by 0 < Δ κ 0.5 , it is immediate to see that the conical surfaces of converted light are not indefinitely thin, but have a structure whose width is determined by Δ κ . The transverse patterns observed in the detection plane Σ 0 are rings whose widths are also determined by Δ κ . Therefore, in order to have a realistic description of down-conversion, our model also takes into account these variations from the ideal case.
To investigate the properties of the non-degenerate case, we will focus on BBO crystals and pump beams at λ p = 405 nm as examples. However, we must insist that our theoretical model is exact and general, so it is useful to study any other uniaxial crystal and other pump wavelengths.
For BBO crystals, the Sellmeier Equations (29) and (30) are valid for λ in the range (220–1060) nm. Demanding the wavelengths λ i and λ s to be in such a range we obtain κ ( 0.382 , 0.6179 ) . Therefore, the range of permissible wavelengths for down-converted light is (655.4198–1060) nm, the results are shown in Figure 12. Equivalently, the permissible down-converted frequencies are in the range (0.382–0.6179) ω p .
With ω i and ω s in their permissible range, the polar angle θ i presents some particularities that are not evident when looking only at the degenerate value ω i = ω s . In particular, one finds a close relationship between the optical axis orientation and the converted frequencies that affect the production of converted light, even to the extent of canceling the down-conversion. This accounts for the sensitivity to alignment between the optical axis and the pump beam found in the laboratory when producing down-converted light.
Figure 13 shows the ellipses θ i ( ϕ i = 0 , σ ) in the range of permissible down-converted frequencies derived above. To compare with the results presented in the previous section, we have taken σ = 41.25 (divergent), 41.79 (osculating), 60 (overlapping), and 90 (coaxial). In this form, the plots shown in Figure 13 represent the polar angle θ i in the x z -plane of the laboratory frame, as a function of the non-degenerate variability κ . The results found in the previous section for ϕ i = 0 are recovered when κ = 0.5 . The ellipses θ i ( ϕ i = const , σ ) for other values of the azimuthal angle ϕ i behave in a similar form.
The behavior of the blue and red ellipses is particularly striking since they run out almost as soon as ω i > 0.5 ω p . This means that converted light occurs at most with frequencies ω i slightly above the degenerate frequency when the optic axis is tilted at σ = 41.25 or σ = 41.79 . Let us analyze these cases separately.
Assuming the optic axis is at σ = 41.25 (blue curve), from left to right in Figure 13, the intersection of the ellipse and the σ -axis occurs at ω i , 1 = 0.4888 ω p , while the vertex is defined by ω i , 2 = 0.5078 ω p . The latter is the upper bound of permitted frequencies ω i in this case. The idler light transforms from an osculating to a divergent configuration, and then to a beam-like configuration as ω i goes from ω i , 1 to the degenerate value, and then to the maximum value ω i , 2 .
If all the frequencies between ω i , 1 and ω i , 2 are in the bandwidth Δ ω , then the above configurations could not be distinguished from each other. For narrow enough bandwidths, some or all of these configurations could be studied separately. Therefore, the transverse pattern (a disk or a ring) will depend primarily on how narrow is the bandwidth of a given crystal. The only exception is the beam-like configuration since its transverse pattern always forms a disk. Of course, other factors include the technical ability to align the optical axis with respect to the pump beam.
Equivalently, tilting the optic axis to σ = 41.79 , the key frequencies are the degenerate and ω i , 3 = 0.5193 ω p , which is now the upper limit. The transformation of the idler light settings is quite similar to the previous case, but now from 0.5 ω p to ω i , 3 . The discussion about the distinguishability of the configurations is the same.
As we can see, non-degenerate frequency-matching includes some subtleties that defy experimental skills. High precision is required to measure the orientation of the optic axis, as well as crystals characterized by a very fine bandwidth to distinguish between osculating, diverging, and beam-like configurations.
The sensitivity of divergent and osculating configurations is not present in overlapping and coaxial settings, where deviations from the degenerate frequency involve only smooth variations of θ i , see curves in black and purple in Figure 13. This stability allows a better investigation of the behavior of down-converted light beyond the ranges that characterize the imperfection of crystals.
Figure 14 shows the geometric distribution of down-converted cones for σ = 60 and three different values of ω i 0.5 ω p . Compared with the case of degenerate frequencies shown in Figure 11a, the cones do not have the same aperture. In fact, when ω i is increased, with respect to the degenerate value, the centers of the circles are closer while the aperture of idler cone decreases. Consequently, the intersection points define a segment of line that is parallel but not coincident with the y-axis, and the distance between such points is shortened.
From Figure 12, the wavelengths of down-converted light in Figure 14a are λ i = 750 nm and λ s = 880.43 nm. Similarly, in Figure 14b they are λ i = 698.28 nm and λ s = 964.29 nm, while Figure 14c refers to λ i = 655.42 nm and λ s = 1060 nm.
According to our previous discussion, each of the above configurations could be at the center of a bandwidth, so its transverse pattern would form a ring. If by any chance the frequencies of the three configurations shown in Figure 14 are in the same bandwidth, then these configurations are part of the same ring. The same conclusions hold for the cones of signal light (blue circles) shown in the figure.

4. Discussion of Results and Conclusions

Throughout the previous sections, we have taken λ p = 405 nm as the prototypical wavelength of a pump beam that is injected into a BBO crystal to produce down-converted light. Under degenerate frequency-matching, down-converted light occurs at λ i = λ s = 810 nm, as is well known. In practice, such a light pump is generated by a violet laser while the down-converted photons are collected on infrared photo-detectors somewhere in front of the crystal.
However, λ p = 405 nm is not the only useful wavelength for this purpose. Other commonly used wavelengths are, for example, λ p = 402 nm and λ p = 408 nm. Our theoretical model leads to correct results for these and other wavelengths that produce parametric down-conversion in nonlinear uniaxial crystals in general, and in BBO crystals in particular.
Figure 15 shows the polar angle of idler light for λ p = 402 , 405 , 408 nm, at ϕ i = 0 (that is, in the x z -plane), as a function of the optic-axis orientation σ , and fulfilling the frequency-matching in degenerate form. We can see that the beam-like configuration (left vertices) is achieved at different orientations of the optical axis for different pump wavelengths. The same occurs for osculating configuration (intersections of the ellipses and the σ -axis).
According to the notation introduced in the previous sections, we can write Λ 1 for the set of orientations of the optic axis that give rise to the beam-like configuration at one extreme and osculating configuration at the other, with the divergent configuration in between.
A striking feature of the results shown in Figure 15 is that the width of Λ 1 is around 0.9 , no matter the value of λ p (actually gives 0.9075 for the blue and purple curves, and 0.9074 for the red curve). It seems to us that this quantity so specific for the width of Λ 1 is a characteristic of the crystal.
One way to verify our conjecture could be to measure the width of Λ 1 for each of the wavelengths in Figure 15 (and as many others as possible), and find that, in fact, the same result is obtained regardless of the value of λ p .
Remarkably, the experimental measurements reported in [30], performed on a BBO crystal injected with a pump laser at 408 nm, give exactly the width 0.9 for Λ 1 . This close agreement with our theoretical model represents the first step to verify the conjecture about the invariance of the width of Λ 1 with respect to pump wavelength.
However, as far as we have been able to review, the available data regarding λ p = 402 nm and λ p = 405 nm are not useful to complete the verification of the above conjecture, since the relationship between the reported results with the optic-axis orientation σ is not explicitly provided.
Experimental measurements are outside the scope of this work. Therefore, the complete experimental corroboration of the width invariance of Λ 1 with respect to λ p , and its adjudication as a property of BBO crystals remains an open question.
The other experimental results of [30] are also in excellent agreement with our model. The beam-like and osculating configurations of converted light were observed at σ = 40.6 and 41.5 , respectively. The difference with our theoretical result is δ σ = 0.0364 and δ σ = 0.0289 , see details in Figure 15. In turn, the overlapping configuration, accomplished at σ = 42.3 [30], is also in agreement with our model (although not included in Figure 15).
Another noteworthy aspect of the information shown in Figure 15 is that the deviation δ σ = 0.0364 of the experimental optic axis orientation ( σ = 40.6 ) from the theoretical result ( σ = 40.5636 ) implies different points of view about the configuration involved. Where the experimental measurements in [30] yield a beam-like configuration, the theoretical result predicts a cone for the idler light.
In fact, at σ = 40.6 the purple ellipse provides θ i = 4.02805 and θ i = 2.67908 , see the filled circles in Figure 15. Then, we obtain the cone aperture Δ θ i = 1.34897 . In other words, tilting the optic axis at σ = 40.6 the cone of idler light has not yet degenerated into a single beam, it still has structure.
To double-check the above result, let us analyze the behavior of the polar angles θ i , s on their respective λ i , s for σ = 40.5636 and σ = 40.6 . In the former case, Figure 16 shows that the left vertices of both ellipses θ i , s are precisely at λ i = λ s = 816 nm, which means degenerate production of photon pairs from a pump beam at λ p = 408 nm, verifying the beam-like behavior identified in Figure 15 (two spots located symmetrically on the detection plane are expected). On the other hand, the spectrum at σ = 40.6 gives two different values for both polar angles at λ i = λ s = 816 nm. The latter implies divergent configuration and, by necessity, the transverse pattern is formed by two separate rings.
Therefore, although the black star (experimental data) and the vertex of the purple curve (theoretical result) in Figure 15 are in good agreement, we wonder about the structure of the spots reported in Figure 1(c) of [30]. Perhaps by placing the detection plane at a greater transverse distance from the crystal, an incipient ring structure could be observed.
In any case, as we have already discussed, the sensitivity of both theoretical and experimental results to small variations in σ for divergent and beam-like configurations is extremely remarkable.
Sensitivity to parameter variations is also seen in non-degenerate frequency matching, where small deviations from the degenerate frequency could imply going abruptly from a given configuration to beam-like or overlapping configurations. This would even mean stopping the related emission of converted photons, as explained in Section 3.2.
An unexpected result of our theoretical model is the prediction of right-circular cones for down-converted light at σ = 90 . The aperture of both cones is maximum and their axes coincide with the pump beam, so they overlap exactly to establish the configuration that we have called coaxial (Section 3.1.2). We analyzed the conditions for the production of down-converted light in this configuration. Our results suggest that this configuration is feasible and that it is optimized along the x-axis for vector phase-matching. The situation changes for scalar phase-matching since no down-converted light is produced such that its wave vector is aligned with the pump beam for σ = 90 . However, the latter is completely consistent with the right-circular cones described above.
Our model is based on the exact solutions of vector phase-matching for nonlinear uniaxial crystals. It is known that the corresponding equations are strongly transcendental since the refractive indexes of extraordinarily polarized light are elaborated functions of the unknowns, and the latter is encapsulated by trigonometric functions. Over the years, this fact has motivated more the study of numerical approaches than the search for analytical solutions. However, we have shown that the complexity of solving the strongly transcendental equations of vector phase-matching is reduced by transforming them into a fourth-order polynomial equation.
All the results reported in this work have been obtained by requiring a reality condition for the four roots of the quartic equation since these are complex-valued in general. Such a condition defines a natural way to identify the orientations of the optical axis that are useful to produce down-conversion in the uniaxial crystal under study.
As we have seen, the model is in good agreement with the available experimental data. Theoretical predictions, such as the invariance of the width of Λ 1 under the change of the pump wavelength, modifications to the configurations of down-converted light due to non-degenerate frequency-matching, or the production of down-converted light forming right-circular cones for σ = 90 , await experimental verification.
It is expected that our approach can be extended to study biaxial crystals as well. In general, the three principal axes n 1 , n 2 , and n 3 , are all different, and the intercepts of the wave vector surface identify two optic axes of the crystal [34]. The case studied throughout this work corresponds to the situation in which two of the principal indices are equal, so there is only one optic axis (uniaxial crystal). For biaxial crystals it is usual to assume n 1 < n 2 < n 3 . Then, according to the polarization of the beam in the crystal, one has at hand two different refractive indices [35]:
n A = n 1 n 3 n 3 2 cos 2 θ 1 + θ 2 2 + n 1 2 sin 2 θ 1 + θ 2 2 ,
and
n B = n 1 n 3 n 3 2 cos 2 θ 1 θ 2 2 + n 1 2 sin 2 θ 1 θ 2 2 ,
where θ 1 and θ 2 are the angles formed by the wave vector and the optical axes.
Of particular interest, assuming that the wave vector is in the x z -plane, one has θ 1 + θ 2 = 2 Ω and θ 2 θ 1 = 2 θ , with θ the polar angle of the wave vector and 2 Ω the angle formed by the optic axes. In this case, we have
n A = n 1 n 3 n 3 2 cos 2 Ω + n 1 2 sin 2 Ω = const , n B = n 1 n 3 n 3 2 cos 2 θ + n 1 2 sin 2 θ .
It is easy to see from (49) and (7) that n B behaves as the extraordinary refractive index of a uniaxial crystal. Similarly, n A behaves as the ordinary index of such a uniaxial crystal since it does not depend on the direction of the wave vector. Therefore, under the conditions described above, our approach can be immediately extended to study the possibilities of SPDC in biaxial crystals. The analysis for arbitrary directions of the wave vector in biaxial crystals is beyond the scope of this work, so it will be reported elsewhere.

Author Contributions

Conceptualization, O.R.-O.; methodology, formal analysis, and investigation, J.L.-D. and O.R.-O.; original draft preparation, J.L.-D. and O.R.-O.; review and editing, O.R.-O.; supervision, O.R.-O.; project administration and funding acquisition, O.R.-O. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Consejo Nacional de Ciencia y Tecnología (CONACyT), Mexico, grant numbers A1-S-24569 and CF19-304307.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

J. López-Durán acknowledges the support from CONACyT through the scholarship 559119.

Conflicts of Interest

The authors declare no conflict of interest.

Appendix A. The Fourth-Order Polynomial Equation for Type II Spontaneous Parametric Down Conversion

The quartic Equation (24) associated with the phase-matching conditions of type II SPDC is obtained from Equation (22),
ξ 4 2 ξ 2 γ + 2 n p 2 ( ω ; σ ) cos 2 θ i n i 2 ( ω i ; δ i ) + γ 2 n i 4 ( ω i ; δ i ) = 0 ,
after multiplying by ( 1 + tan 2 θ i ) 2 and using Equation (19). For χ = tan θ i , the straightforward calculation yields
a 4 χ 4 + a 3 χ 3 + a 2 χ 2 + a 1 χ + a 0 = 0 ,
which is quoted as Equation (24) in the main text, with
a 0 = 2 ξ 2 γ Δ cos 2 σ + 2 Δ cos 2 σ + 1 n E 2 ω i n p 2 ( ω p ; σ ) + Δ cos 2 σ + 2 n E 2 ω i γ 2 Δ cos 2 σ + τ ,
a 1 = ξ 2 1 + 2 γ 1 n p 2 ω p , σ + Δ γ cos 2 σ + γ n E 2 ω i 2 γ Δ cos ϕ i sin ( 2 σ ) ,
a 2 = 2 ξ 2 γ + 2 n p 2 ω p , σ cos 2 ϕ i sin 2 σ + γ cos 2 σ Δ + 2 n p 2 ( ω p ; σ ) n E 2 ( ω i ) + 2 3 Δ cos 2 σ + 1 n E 2 ω i cos 2 ϕ i sin 2 σ + cos 2 σ n E 2 ω i γ 2 Δ + 2 τ ,
a 3 = ξ 2 + Δ γ cos 2 ϕ i sin 2 σ + γ n E 2 ω i 2 γ Δ cos ϕ i sin ( 2 σ ) ,
a 4 = 2 ξ 2 γ Δ + Δ cos 2 ϕ i sin 2 σ + 2 n E 2 ω i γ 2 Δ cos 2 ϕ i sin 2 σ + τ ,
and
τ = ξ 2 γ n E 2 ( ω i ) 2 .
The five coefficients a k , k = 0 , 1 , 2 , 3 , 4 , as well as τ , are determined in terms of the azimuthal angle ϕ i , the orientation σ of the optic axis, and the three angular frequencies ω p , ω s , and ω i .

Appendix A.1. General Solution

It is suitable to rewrite (24) in its monic form (25),
χ 4 + b 3 χ 3 + b 2 χ 2 + b 1 χ + b 0 = 0 , b k = a k a 4 , k = 0 , 1 , 2 , 3 ,
in order to make the substitution
χ = z 1 4 b 3
and arrive at the standard form
z 4 + p z 2 + q z + r = 0 ,
with
p = b 2 3 8 b 3 2 , q = 1 8 b 3 3 1 2 b 3 b 2 + b 1 , r = 3 256 b 3 4 + 1 16 b 3 2 b 2 1 4 b 3 b 1 + b 0 .
In general, for q 0 and r 0 , we propose the change
z = α v ,
so that the structure of (A8) is preserved but the coefficients are changed
v 4 + p α 2 v 2 + q α 3 v + r α 4 = 0 .
Formally, (A8) and (A11) are equivalent, so they admit the same method of solution. What is gained with the change (A10) is the parametrization of the coefficients in terms of α , which is to be determined.
We will make the identification of both quartic equations, (A8) and (A11), with the relationship
( ζ 2 + A ) 2 = ( ζ + B ) 2 ,
which is solvable through the quadratic forms
ζ 2 ± ζ + A ± B = 0 .
That is, we have at hand the roots
ζ 1 , 2 = 1 2 ± 1 2 1 4 ( A + B ) , ζ 3 , 4 = 1 2 ± 1 2 1 4 ( A B ) .
To set A and B, let us develop the squares of (A12),
ζ 4 + ( 2 A 1 ) ζ 2 2 B ζ + A 2 B 2 = 0 .
Comparing (A15) with (A8) and (A11) gives respectively
A = 1 2 ( p + 1 ) , B = 1 2 q , A 2 B 2 = r ,
and
A ˜ = p + α 2 2 α 2 , B ˜ = q 2 α 3 , A ˜ 2 B ˜ 2 = r α 4 .
Then, with ζ = v in (A14) we obtain
v 1 , 2 = 1 2 ± 1 2 1 4 ( A ˜ + B ˜ ) , v 3 , 4 = 1 2 ± 1 2 1 4 ( A ˜ B ˜ ) .
The introduction of (A18) into (A10) provides the roots we are looking for
z 1 , 2 = α 2 ± 1 2 2 p α 2 + 2 q α 1 1 / 2 , z 3 , 4 = α 2 ± 1 2 2 p α 2 2 q α 1 1 / 2 .
The roots (26) included in the main text are obtained after introducing (A19) in (A7), with α 2 = η .
The parameter α is determined from the quadratic difference of A ˜ and B ˜ in Equation (A17). Indeed, the straightforward calculation yields
α 6 + 2 p α 4 + ( p 2 4 r ) α 2 q 2 = 0 ,
which coincides with the cubic Equation (27) of the main text after the change α 2 = η .

Appendix A.2. Reduced Cases

Two special configurations are easily identified as reduced cases of the previous results.
  • Biquadratic equation. If q = 0 , the equation
z 4 + p z 2 + r = 0 ,
is solved after the change u = z 2 , and providing the roots of the quadratic equation
u 2 + p u + r = 0 .
That is, from the quadratic formula
u ± = 1 2 p ± p 2 4 r ,
we have
χ 1 = u + 1 4 b 3 , χ 2 = u + 1 4 b 3 , χ 3 = u 1 4 b 3 , χ 4 = u 1 4 b 3 ,
where (A7) has been used.
  • Cubic equation. If r = 0 then z = 0 is a firs root and (A8) is reduced to the cubic equation
z 3 + p z + q = 0 .
The solutions χ k are obtained from the roots of (A25), together with z = 0 , after using (A7).

References

  1. O’Brien, J.L.; Furusawa, A.; Vuzovic, K.J. Photonic quantum technologies. Nat. Photonics 2009, 3, 687. [Google Scholar] [CrossRef] [Green Version]
  2. Bouwmeester, D.; Ekert, A.; Zeilinger, A. The Physics of Quantum Information; Springer: Berlin/Heidelberg, Germany, 2000. [Google Scholar]
  3. Haroche, S.; Raimond, J.-M. Exploring the Quantum: Atoms, Cavities and Photons; Oxford University Press: Oxford, UK, 2006. [Google Scholar]
  4. Friebe, C.; Kuhlmann, M.; Lyre, H.; Näger, P.M.; Passon, O.; Stöckler, M. The Philosophy of Quantum Physics; Springer: Cham, Switzerland, 2018. [Google Scholar]
  5. Schrödinger, E. Die gegenwärtige Situation in der Quantenmechanik. Naturwissenschaften 1935, 23, 807–812. [Google Scholar] [CrossRef]
  6. Enríquez, M.; Quintana, C.; Rosas-Ortiz, O. Time-evolution of entangled bipartite atomic systems in quantized radiation fields. J. Phys. Conf. Ser. 2014, 512, 012022. [Google Scholar] [CrossRef] [Green Version]
  7. Elitzur, A.C.; Vaidman, L. Quantum mechanical interaction-free measurements. Found. Phys. 1993, 23, 987. [Google Scholar] [CrossRef] [Green Version]
  8. Kwiat, P.; Weinfurter, H.; Herzog, T.; Zeilinger, A.; Kasevich, M.A. Interaction-Free Measurement. Phys. Rev. Lett. 1995, 74, 4763. [Google Scholar] [CrossRef]
  9. Kwiat, P.; Weinfurter, H.; Zeilinger, A. Quantum seeing in the dark. Sci. Am. 1996, 275, 52. [Google Scholar] [CrossRef]
  10. Walborn, S.P.; Monken, C.H.; Pádua, S.; Souto, P.H. Spatial correlations in parametric down-conversion. Phys. Rep. 2010, 495, 87. [Google Scholar] [CrossRef] [Green Version]
  11. Couteau, C. Spontaneous parametric down-conversion. Contemp. Phys. 2018, 59, 291. [Google Scholar] [CrossRef] [Green Version]
  12. Zhang, C.; Huang, Y.F.; Liu, B.H.; Li, C.F.; Guo, G.C. Spontaneous Parametric Down-Conversion Sources for Multiphoton Experiments. Adv. Quant. Tech. 2021, 4, 2000132. [Google Scholar] [CrossRef]
  13. Rubin, M.H.; Klyshko, D.N.; Shih, Y.H.; Sergienko, A.V. Theory of two-photon entanglement in type-II optical parametric down-conversion. Phys. Rev. A 1994, 50, 5122. [Google Scholar] [CrossRef]
  14. Rubin, M.H. Transverse correlation in optical spontaneous parametric down-conversion. Phys. Rev. A 1996, 54, 5349. [Google Scholar] [CrossRef] [PubMed]
  15. Kwiat, P.G.; Mattle, K.; Weinfurter, H.; Zeilinger, A.; Sergienko, A.V.; Shih, Y. New High-Intensity Source of Polarization-Entangled Photon Pairs. Phys. Rev. Lett. 1995, 75, 4337. [Google Scholar] [CrossRef] [PubMed] [Green Version]
  16. Dmitriev, V.G.; Gurzadyan, G.G.; Nikogosyan, D.N. Handbook of Nonlinear Optical Crystals; Springer: Berlin/Heidelberg, Germany, 1999. [Google Scholar]
  17. Saleh, B.E.A.; Teich, M.C. Fundamentals of Photonics, 2nd ed.; Wiley: Hoboken, NJ, USA, 2007. [Google Scholar]
  18. Dehlinger, D.; Mitchell, M.W. Entangled photons, nonlocality, and Bell inequalities in the undergraduate laboratory. Am. J. Phys. 2002, 70, 903. [Google Scholar] [CrossRef] [Green Version]
  19. Bates, H.E. Analysis of noncollinear-phase-matching effects in uniaxial crystals. J. Opt. Soc. Am. 1973, 63, 146. [Google Scholar] [CrossRef]
  20. Boeuf, N.; Branning, D.A.; Chaperot, I.; Dauler, E.; Guerin, S.; Jaeger, G.S.; Muller, A.; Migdall, A.L. Calculating characteristics of noncollinear phase matching in uniaxial and biaxial crystals. Opt. Eng. 2000, 39, 1016. [Google Scholar] [CrossRef]
  21. Eimerl, D.; Davis, L.; Velsko, S.; Graham, E.K.; Zalkin, A. Optical, mechanical, and thermal properties of barium borate. J. Appl. Phys. 1987, 62, 1968. [Google Scholar] [CrossRef]
  22. Midwinter, J.E.; Warner, J. The effects of phase matching method and of uniaxial crystal symmetry on the polar distribution of second-order non-linear optical polarization. Brit. J. Appl. Phys. 1965, 16, 1135. [Google Scholar] [CrossRef]
  23. Nikogosyan, D.N. Beta Barium Borate (BBO). A Review of Its Properties and Applications. Appl. Phys. A 1991, 52, 359. [Google Scholar] [CrossRef]
  24. Menzel, R. Photonics: Linear and Nonlinear Interactions of Laser Light and Matter, 2nd ed.; Springer: Berlin/Heidelberg, Germany, 2007. [Google Scholar]
  25. Procopio, L.M.; Rosas-Ortiz, O.; Velázquez, V. Spatial correlation of photon pairs produced in spontaneous parametric down-conversion. AIP Conf. Proc. 2010, 1287, 80. [Google Scholar]
  26. Procopio, L.M.; Rosas-Ortiz, O.; Velázquez, V. On the geometry of spatial biphoton correlation in spontaneous parametric down conversion. Math. Meth. Appl. Sci. 2015, 38, 2053. [Google Scholar] [CrossRef] [Green Version]
  27. Kim, Y.-H.; Grice, W.P. Measurement of the spectral properties of the two-photon state generated via type II spontaneous parametric downconversion. Opt. Lett. 2005, 30, 908. [Google Scholar] [CrossRef] [PubMed]
  28. Takeuchi, S. Beamlike twin-photon generation by use of type II parametric downconversion. Opt. Lett. 2001, 26, 843. [Google Scholar] [CrossRef] [Green Version]
  29. Kim, Y.-H. Quantum interference with beamlike type-II spontaneous parametric down-conversion. Phys. Rev. A 2003, 68, 013804. [Google Scholar] [CrossRef] [Green Version]
  30. Kwon, O.; Cho, Y.W.; Yoon-Hoo, K. Single-mode coupling efficiencies of type-II spontaneous parametric down-conversion: Collinear, noncollinear, and beamlike phase matching. Phys. Rev. A 2008, 78, 053825. [Google Scholar] [CrossRef] [Green Version]
  31. Kiess, T.E.; Shih, Y.H.; Sergienko, A.V.; Alley, C.O. Einstein-Podolsky-Rosen-Bohm experiment using pairs of light quanta produced by type-II parametric down-conversion. Phys. Rev. Lett. 1993, 71, 3893. [Google Scholar] [CrossRef] [PubMed]
  32. Pittman, T.B.; Shih, Y.H.; Sergienko, A.V.; Rubin, M.H. Experimental tests of Bell’s inequalities based on space-time and spin variables. Phys. Rev. A 1995, 51, 3495. [Google Scholar] [CrossRef]
  33. Degiovanni, S.C.I.P.; Migdall, A.; Ware, M. On the measurement of two-photon single-mode coupling efficiency in parametric down-conversion photon sources. New J. Phys. 2004, 6, 87. [Google Scholar]
  34. Fowles, G.R. Introduction to Modern Optics, 2nd ed.; Dover: New York, NY, USA, 1989. [Google Scholar]
  35. Huo, G.; Wang, Y.; Zhang, M. An effective method for calculating phase-matching conditions in biaxial crystals. Appl. Phys. B 2015, 120, 239. [Google Scholar] [CrossRef]
Figure 1. The Cartesian unitary vectors e ^ k R 3 , with k = 1 , 2 , 3 , define the reference system in the laboratory, where the optic axis of the nonlinear crystal lies in the x z -plane and forms the angle σ with the z-axis. Thus, the optic axis is characterized by the unitary vector n ^ = e ^ 1 sin σ + e ^ 3 cos σ , with σ [ 0 , π ] . The principal optic (dielectric) axes, drawn in blue, are defined by the unitary vectors e ^ k , o R 3 . The relationship between the laboratory and crystal frames is a rotation R y ( σ ) around the common y-axis, so that e ^ 3 , o = n ^ .
Figure 1. The Cartesian unitary vectors e ^ k R 3 , with k = 1 , 2 , 3 , define the reference system in the laboratory, where the optic axis of the nonlinear crystal lies in the x z -plane and forms the angle σ with the z-axis. Thus, the optic axis is characterized by the unitary vector n ^ = e ^ 1 sin σ + e ^ 3 cos σ , with σ [ 0 , π ] . The principal optic (dielectric) axes, drawn in blue, are defined by the unitary vectors e ^ k , o R 3 . The relationship between the laboratory and crystal frames is a rotation R y ( σ ) around the common y-axis, so that e ^ 3 , o = n ^ .
Symmetry 14 02272 g001
Figure 2. Relative orientation of the crystallographic axes a , b , c R 3 (red) and the principal optic –dielectric– axes e ^ k , o R 3 (blue). Note that e ^ 3 , o and c are parallel to n ^ , compare with Figure 1.
Figure 2. Relative orientation of the crystallographic axes a , b , c R 3 (red) and the principal optic –dielectric– axes e ^ k , o R 3 (blue). Note that e ^ 3 , o and c are parallel to n ^ , compare with Figure 1.
Symmetry 14 02272 g002
Figure 3. The wave vectors in spherical coordinates. The configuration assumes the conservation of momentum k p = k s + k i . Here x k , with k = 1 , 2 , 3 , stand for Cartesian axes in R 3 , and ϕ i C is complementary to ϕ i in the third quadrant of the x y -plane. To produce infrared photon pairs in degenerate configuration (red arrows), violet pump light is commonly used.
Figure 3. The wave vectors in spherical coordinates. The configuration assumes the conservation of momentum k p = k s + k i . Here x k , with k = 1 , 2 , 3 , stand for Cartesian axes in R 3 , and ϕ i C is complementary to ϕ i in the third quadrant of the x y -plane. To produce infrared photon pairs in degenerate configuration (red arrows), violet pump light is commonly used.
Symmetry 14 02272 g003
Figure 4. The functions χ k ( ϕ i , σ ) are complex-valued in general. Fixing ϕ i = 0 , they have been plotted in blue, purple, gray, and red for k = 1 , 2 , 3 , 4 , with the real and imaginary parts represented by continuous and dotted curves (a). The real-valued versions are complementary in the interval Λ σ = [ 40.88 , 139.15 ] (b). The plots consider down-converted light created in degenerate configuration ( ω i = ω s = ω p / 2 ), so they form an ellipse parameterized by σ Λ σ , which is measured in sexagesimal degrees.
Figure 4. The functions χ k ( ϕ i , σ ) are complex-valued in general. Fixing ϕ i = 0 , they have been plotted in blue, purple, gray, and red for k = 1 , 2 , 3 , 4 , with the real and imaginary parts represented by continuous and dotted curves (a). The real-valued versions are complementary in the interval Λ σ = [ 40.88 , 139.15 ] (b). The plots consider down-converted light created in degenerate configuration ( ω i = ω s = ω p / 2 ), so they form an ellipse parameterized by σ Λ σ , which is measured in sexagesimal degrees.
Symmetry 14 02272 g004
Figure 6. Aperture (a) Δ θ i (before refraction), and orientation of the cone axis for idler light in terms of the orientation (b) σ of the optical axis. Both are expressed in sexagesimal degrees and refer to the black ellipses shown in Figure 5.
Figure 6. Aperture (a) Δ θ i (before refraction), and orientation of the cone axis for idler light in terms of the orientation (b) σ of the optical axis. Both are expressed in sexagesimal degrees and refer to the black ellipses shown in Figure 5.
Symmetry 14 02272 g006
Figure 8. Details of the elliptic-like path shown in Figure 5. The polar angle θ i ( σ ) 0 is twice parameterized in the set Λ 1 = [ 40.88 , 41.79 ] (a). The orientations σ Λ 3 = ( 138.2 , 139.15 ] (b) produce only negative values of θ i ( σ ) . The color code is described in the caption of Figure 5.
Figure 8. Details of the elliptic-like path shown in Figure 5. The polar angle θ i ( σ ) 0 is twice parameterized in the set Λ 1 = [ 40.88 , 41.79 ] (a). The orientations σ Λ 3 = ( 138.2 , 139.15 ] (b) produce only negative values of θ i ( σ ) . The color code is described in the caption of Figure 5.
Symmetry 14 02272 g008
Figure 9. Configuration of the down-converted light for the optic-axis orientation σ = 41.25 . The transverse pattern (a), depicted in the x y -plane for normalized wave vectors k ^ u = k u / k u , is formed by two separate rings that have their centers along the x-axis. The polar angle θ is depicted against the azimuthal one ϕ , both in sexagesimal degrees, for idler (b) and signal (c) beams. In all cases, we distinguish between idler (red) and signal (blue) beams inside the crystal (dashed) and after refraction (continuous). The lobes in black (after refraction) and gray (inside the crystal) refer to negative values of the polar angles. They describe the behavior of the rings shown in (a) but in a system rotated by π around the z-axis.
Figure 9. Configuration of the down-converted light for the optic-axis orientation σ = 41.25 . The transverse pattern (a), depicted in the x y -plane for normalized wave vectors k ^ u = k u / k u , is formed by two separate rings that have their centers along the x-axis. The polar angle θ is depicted against the azimuthal one ϕ , both in sexagesimal degrees, for idler (b) and signal (c) beams. In all cases, we distinguish between idler (red) and signal (blue) beams inside the crystal (dashed) and after refraction (continuous). The lobes in black (after refraction) and gray (inside the crystal) refer to negative values of the polar angles. They describe the behavior of the rings shown in (a) but in a system rotated by π around the z-axis.
Symmetry 14 02272 g009
Figure 10. Configuration of the down-converted light for the optic-axis orientation σ = 41.79 . The color-code, units, and nomenclature are the same as those indicated in Figure 9.
Figure 10. Configuration of the down-converted light for the optic-axis orientation σ = 41.79 . The color-code, units, and nomenclature are the same as those indicated in Figure 9.
Symmetry 14 02272 g010
Figure 11. Configurations of the down-converted light for the optic-axis orientations σ = 60 (a) and σ = 90 (b). The color-code, units, and nomenclature are the same as those indicated in Figure 9.
Figure 11. Configurations of the down-converted light for the optic-axis orientations σ = 60 (a) and σ = 90 (b). The color-code, units, and nomenclature are the same as those indicated in Figure 9.
Symmetry 14 02272 g011
Figure 12. Permissible wavelengths for down-converted light in a BBO crystal that is pumped at λ p = 405 nm. For κ ( 0.382 , 0.6179 ) , the wavelengths λ i = λ p / κ and λ s = λ p / ( 1 κ ) , respectively red and blue curves, are in the range (655.4198–1060) nm, in agreement with the Sellmeier Equations (29) and (30). Equivalently, the permissible down-converted frequencies ω i = κ ω p and ω s = ( 1 κ ) ω p are in the range (0.382–0.6179) ω p .
Figure 12. Permissible wavelengths for down-converted light in a BBO crystal that is pumped at λ p = 405 nm. For κ ( 0.382 , 0.6179 ) , the wavelengths λ i = λ p / κ and λ s = λ p / ( 1 κ ) , respectively red and blue curves, are in the range (655.4198–1060) nm, in agreement with the Sellmeier Equations (29) and (30). Equivalently, the permissible down-converted frequencies ω i = κ ω p and ω s = ( 1 κ ) ω p are in the range (0.382–0.6179) ω p .
Symmetry 14 02272 g012
Figure 13. Ellipses θ i ( ϕ i = 0 , σ ) θ i ( σ ) in the range of permissible down-converted wavelengths shown in Figure 12. Curves in blue, red, black, and purple refer to σ = 41.25 , 41.79 , 60 , and 90 , respectively. At κ = 0.5 , they provide the polar angle θ i in the x z -plane of the laboratory frame for divergent, osculating, overlapping, and coaxial configurations. The vertices of blue and red ellipses are located respectively at ( κ , θ i ) = ( 0.5078 , 2.0559 ) and ( 0.5193 , 2.0148 ) . These latter curves intersect the σ -axis at κ = 0.5 and κ = 0.4888 .
Figure 13. Ellipses θ i ( ϕ i = 0 , σ ) θ i ( σ ) in the range of permissible down-converted wavelengths shown in Figure 12. Curves in blue, red, black, and purple refer to σ = 41.25 , 41.79 , 60 , and 90 , respectively. At κ = 0.5 , they provide the polar angle θ i in the x z -plane of the laboratory frame for divergent, osculating, overlapping, and coaxial configurations. The vertices of blue and red ellipses are located respectively at ( κ , θ i ) = ( 0.5078 , 2.0559 ) and ( 0.5193 , 2.0148 ) . These latter curves intersect the σ -axis at κ = 0.5 and κ = 0.4888 .
Symmetry 14 02272 g013
Figure 14. Configuration of the down-converted light for σ = 60 in the non-degenerate case. Frequency-matching ω p = ω i + ω s is satisfied for the indicated values of ω i . The color-code, units, and nomenclature are the same as those indicated in Figure 9; compare with Figure 11a.
Figure 14. Configuration of the down-converted light for σ = 60 in the non-degenerate case. Frequency-matching ω p = ω i + ω s is satisfied for the indicated values of ω i . The color-code, units, and nomenclature are the same as those indicated in Figure 9; compare with Figure 11a.
Symmetry 14 02272 g014
Figure 15. Ellipses θ i ( ϕ i = 0 , σ ) for λ p = 402, 405, and 408 (nm); respectively red, blue, and purple curves. Experimental measurements (black star) determined beam-like behavior at ( σ , θ i ) = ( 40.6 , 3.3 ) for λ p = 408 nm [30]. Our theoretical construction gives ( σ , θ i ) = ( 40.5636 , 3.3528 ) , so the difference between experimental data and theoretical results is ( δ σ , δ θ i ) = ( 0.0364 , 0.0528 ). In turn, the osculating configuration reported in [30] was observed at ( 41.5 , 0 ) , which contrasted with our theoretical result ( 41.4711 , 0 ) yields δ σ = 0.0289 . Based on the optic axis orientations measured in [30], the markers on the purple-ellipse determine the cone apertures Δ θ i = 1.3489 (filled circles) and Δ θ i = 6.8459 (filled squares).
Figure 15. Ellipses θ i ( ϕ i = 0 , σ ) for λ p = 402, 405, and 408 (nm); respectively red, blue, and purple curves. Experimental measurements (black star) determined beam-like behavior at ( σ , θ i ) = ( 40.6 , 3.3 ) for λ p = 408 nm [30]. Our theoretical construction gives ( σ , θ i ) = ( 40.5636 , 3.3528 ) , so the difference between experimental data and theoretical results is ( δ σ , δ θ i ) = ( 0.0364 , 0.0528 ). In turn, the osculating configuration reported in [30] was observed at ( 41.5 , 0 ) , which contrasted with our theoretical result ( 41.4711 , 0 ) yields δ σ = 0.0289 . Based on the optic axis orientations measured in [30], the markers on the purple-ellipse determine the cone apertures Δ θ i = 1.3489 (filled circles) and Δ θ i = 6.8459 (filled squares).
Symmetry 14 02272 g015
Figure 16. Spectrum of the polar angles θ i (red) and θ s (blue) for degenerate production of photon pairs at σ = 40.5636 . Both ellipses have their left vertices at λ i = λ s = 816 nm, meaning beam-like behavior for the idler and signal light. The spectra for σ = 40.6 (gray) give two different values for both polar angles at λ i = λ s = 816 nm, so it is expected a ring transverse pattern for the light produced in the corresponding SPDC process.
Figure 16. Spectrum of the polar angles θ i (red) and θ s (blue) for degenerate production of photon pairs at σ = 40.5636 . Both ellipses have their left vertices at λ i = λ s = 816 nm, meaning beam-like behavior for the idler and signal light. The spectra for σ = 40.6 (gray) give two different values for both polar angles at λ i = λ s = 816 nm, so it is expected a ring transverse pattern for the light produced in the corresponding SPDC process.
Symmetry 14 02272 g016
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

López-Durán, J.; Rosas-Ortiz, O. Exact Solutions for Vector Phase-Matching Conditions in Nonlinear Uniaxial Crystals. Symmetry 2022, 14, 2272. https://doi.org/10.3390/sym14112272

AMA Style

López-Durán J, Rosas-Ortiz O. Exact Solutions for Vector Phase-Matching Conditions in Nonlinear Uniaxial Crystals. Symmetry. 2022; 14(11):2272. https://doi.org/10.3390/sym14112272

Chicago/Turabian Style

López-Durán, Juan, and Oscar Rosas-Ortiz. 2022. "Exact Solutions for Vector Phase-Matching Conditions in Nonlinear Uniaxial Crystals" Symmetry 14, no. 11: 2272. https://doi.org/10.3390/sym14112272

APA Style

López-Durán, J., & Rosas-Ortiz, O. (2022). Exact Solutions for Vector Phase-Matching Conditions in Nonlinear Uniaxial Crystals. Symmetry, 14(11), 2272. https://doi.org/10.3390/sym14112272

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop