ABCD rule for Gaussian beam propagation in the context of quantum optics derived by the IWOP technique

The development of technique of integration within an ordered product (IWOP) of operators extends the Newton-Leibniz integration rule, originally applying to permutable functions, to the non-commutative quantum mechanical operators composed of Dirac’s ket-bra, which enables us to obtain the images of directly mapping symplectic transformation in classical phase space parameterized by [A, B; C, D] into quantum mechanical operator through the coherent state representation, we call them the generalized Fresnel operators (GFO) since they correspond to Fresnel transforms in Fourier optics. Based on GFO we find the ABCD rule for Gaussian beam propagation in the context of quantum optics (both in one-mode and two-mode cases) whose classical correspondence is just the ABCD rule in matrix optics. The entangled state representation is used in discussing the two-mode case.     

Approximate analytical representation of Wigner distribution function for Gaussian beams passing through ABCD optical systems with hard aperture

Based on the treatment that a rectangular function can be expanded as an approximate sum of complex Gaussian functions with finite numbers, the analytical expression of the Wigner distribution function for a Gaussian beam passing through a paraxial ABCD optical system with hard-edged aperture is obtained. By numerical simulation, it is shown that the effect of the aperture on the Wigner distribution function is prominent. By comparing the analytical results with the numerical integral results, it is shown that this method of expanding hard-edged aperture into Gaussian functions with finite numbers is proper and ascendant. This method could be extended to study the Wigner distribution functions of other light beams passing through a paraxial ABCD optical system with hard-edged aperture.     

Elliptic three-boson system, “two-level three-mode” JCD-type models and non-skew-symmetric classical r-matrices

Using the technique of the classical r-matrices and quantum Lax operators we construct the most general form of quantum integrable multi-boson and spin-multi-boson models associated with linear Lax algebras and sl(2)⊗sl(2)-valued classical non-dynamical r-matrices with spectral parameters. We consider example of non-skew-symmetric elliptic r-matrix and explicitly obtain one-, two- and three-boson integrable models and the corresponding one-, two- and three-mode two-level Jaynes-Cummings-Dicke-type models. We show that integrable “elliptic” two-level one-mode Jaynes-Cummings-Dicke Hamiltonian is hermitian and contains both rotating and counter-rotating terms.     

Propagation of a four-petal Gaussian vortex beam through a paraxial ABCD optical system

Based on the Collins diffraction integral formula, an analytical expression of a general four-petal Gaussian vortex beam passing through a paraxial ABCD optical system is derived by means of the mathematical technique. As a numerical example, the normalized intensity distribution of a four-petal Gaussian vortex beam propagating in free space is graphically demonstrated. The influences of beam order and topological charge on the normalized intensity distribution are discussed in detail. This research is useful to the optical trapping, optical communications, and beam splitting techniques, etc.     

Propagation of super-Lorentzian beams through a paraxial ABCD optical system

Based on the Collins integral, analytical propagation formulae of super-Lorentzian (SL) SL₀₁, SL₁₀, and SL₁₁ beams passing through a paraxial ABCD optical system are derived by means of the convolution theorem of the Fourier transform. The propagation properties of the SL₀₁ and SL₁₁ beams in free space are graphically illustrated with numerical examples. The power in the bucket of the SL₀₁ and SL₁₁ beams has been also examined in the far-field plane. This research is useful to the applications of super-Lorentzian beams.     

Correspondence between quantum-optical transform and classical-optical transform explored by developing Dirac’s symbolic method

By virtue of the new technique of performing integration over Dirac’s ket–bra operators, we explore quantum optical version of classical optical transformations such as optical Fresnel transform, Hankel transform, fractional Fourier transform, Wigner transform, wavelet transform and Fresnel–Hadmard combinatorial transform etc. In this way one may gain benefit for developing classical optics theory from the research in quantum optics, or vice-versa. We cannot only find some new quantum mechanical unitary operators which correspond to the known optical transformations, deriving a new theorem for calculating quantum tomogram of density operators, but also can reveal some new classical optical transformations. For examples, we find the generalized Fresnel operator (GFO) to correspond to the generalized Fresnel transform (GFT) in classical optics. We derive GFO’s normal product form and its canonical coherent state representation and find that GFO is the loyal representation of symplectic group multiplication rule. We show that GFT is just the transformation matrix element of GFO in the coordinate representation such that two successive GFTs is still a GFT. The ABCD rule of the Gaussian beam propagation is directly demonstrated in the context of quantum optics. Especially, the introduction of quantum mechanical entangled state representations opens up a new area in finding new classical optical transformations. The complex wavelet transform and the condition of mother wavelet are studied in the context of quantum optics too. Throughout our discussions, the coherent state, the entangled state representation of the two-mode squeezing operators and the technique of integration within an ordered product (IWOP) of operators are fully used. All these have confirmed Dirac’s assertion: “...for a quantum dynamic system that has a classical analogue, unitary transformation in the quantum theory is the analogue of contact transformation in the classical theory”.     

Four-petal Gaussian beams and their propagation

A new form of laser beams called four-petal Gaussian beams is introduced. Based on the Collins integral, two kinds of analytical propagation expressions for this new kind of beams through a paraxial ABCD optical system are derived. The propagation properties of the four-petal Gaussian beams are studied and illustrated with numerical examples. At the source plane the beam has four-petals; the space among the petals is determined by the beam order. In the far field the beam evolves into a number of mirror symmetric petals and the petals of higher order beams can be equally spaced.     

The approximate ABCD matrix for a parabolic lens of revolution and its application in calculating the coupling efficiency

Using ray optics, we present an explicit formulation of the ABCD matrix for reflection and refraction of light beams at a parabolic interface separating media of different refractive indices under paraxial approximation. Based on the formulated ABCD matrix for refraction by a parabolic lens tip, we present a simple theoretical investigation of the coupling efficiency between a laser diode and a single-mode fiber with a parabolic lens formed on the fiber tip. The results show that this technique is effective and will be of benefit to designing suitable microlenses applying the laser-coupling technique.     

Scalable preparation of three-atom and four-atom W states via atom-cavity-laser interaction

We propose the optical generation of W states for three atomic and four atomic qubits, with each qubit trapped in a separate cavity and coupled to the cavity laser. A single-photon source and two classical fields are employed in the present scheme. By encoding the quantum information of each qubit on the degenerate ground states of the atom, we obtain the atomic entanglement that is relatively stable against spontaneous emission. It is demonstrated that the three- and four-atomic W states can be produced deterministically via a proper manipulation of the atom-cavity interaction sequence and time. Generalization of the present scheme to prepare multi-atomic W states is also discussed.     

Application of the two-mode squeezed coherent state representation in deriving generalized optical Collins formula

We propose a new two-mode squeezed coherent state representation |z₁, z₂〉_g which is characteristic of the correlation between the squeezing and the displacement. Based on it and using the technique of integration within an ordered product of operators we obtain a generalized two-mode Fresnel operator (GTFO), which is an image of the mapping from (z₁, z₂) to in |z₁, z₂〉_g representation. The matrix element of GTFO in the coordinate representation leads to a generalized two-dimensional Collins formula (Huygens-Fresnel integration transformation describing optical diffraction) in entangled form.     

Theoretical research on optical properties and quantum efficiency of Ga1−xAlxN photocathodes

In order to design the optimal component structure of transmission-mode (t-mode) Ga_1−xAl_xN photocathode, the optical properties and quantum efficiency of Ga_1−xAl_xN photocathodes are simulated. Based on thin film principle, optical model of t-mode Ga_1−xAl_xN photocathodes is built. And the quantum efficiency formula is put forward. Results show that Ga_1−xAl_xN photocathodes can satisfy the need of detectors with “solar blind” property when the Al component is bigger than 0.375. There is an optimal thickness of Ga_1−xAl_xN layer to get highest quantum efficiency, and the optimal thickness is 0.3 μm. There is close relation between absorptivity and quantum efficiency, which is in good agreement with the “three-step” model. This work gives a reference for the experimental research on the Ga_1−xAl_xN photocathodes.     

Wave-function transformations by general SU(1, 1) single-mode squeezing and analogy to Fresnel transformations in wave optics

Following Dirac’s assertion: “… for a quantum dynamic system that has a classical analogue, unitary transformation in the quantum theory is the analogue of contact transformation in the classical theory”, we find that the general SU(1, 1) single-mode squeezing operator F just corresponds to the generalized Fresnel transform (GFT) in wave optics. We derive the normal product form and canonical coherent state representation of F, whose matrix element in the coordinate representation is just the GFT. It is shown that F is a faithful representation of symplectic group which indicates that two successive GFTs is still a GFT. Applications of F in some other optical transforms, such as the Fresnel-wavelet transform, are presented.     

Matrix formulation of axis-symmetric laser beams through a paraxial ABCD system containing hard-edged apertures: A comparative study

A matrix formulation is presented, which enables us to study the propagation of axis-symmetric beams through a paraxial optical ABCD system containing hard-edged aperture. Numerical calculation results of super-Gaussian beams passing through a multi-aperture-lens system are given to illustrate the advantage of the method. A comparison of the matrix formulation, complex Gaussian expansion and direct numerical integration of the Collins formula is made, where the propagation of apertured Laguerre-Gaussian beams is chosen as an illustrative example. It is shown that the matrix formulation provides satisfactory results in both Fraunhofer and Fresnel regions, and reduces the computational time greatly in comparison with the direct integration. However, this method is suited only to axis-symmetric optical beams and systems. By using the complex Gaussian expansion discrepancies exist in the near zone closer to the aperture, but usually its computational efficiency is higher than the matrix formulation.     

Investigation of CO2 laser beam modulation by rotating polygon

A beam-modulating system based on the rotating polygon has been proposed in a previous experimental work [14]. The aim was to improve the quality and efficiency of CO₂ laser surface texturing. Based on the generalized ABCD law, the focusing characteristics of a real beam through the modulating system are investigated in this paper. By introducing a precise defocusing, the velocity synchronization between the focal spot and the workpiece can be realized. Micro-dimples of nearly circular shape can be achieved on the surface. Surface texturing of mill roll has been performed. The experimental and theoretical results are in good agreement.     

Dispersive dark optical soliton with Schödinger-Hirota equation by G′/G-expansion approach in power law medium

This paper studies dispersive optical solitons that are governed by the Schrödinger-Hirota equation with power law nonlinearity. The G′/G-expansion method is applied to extract soliton solution to this equation. This approach reveals dark 1-soliton solution to the equation.     

The half-infinite XXZ chain in Onsagerʼs approach

The half-infinite XXZ open spin chain with general integrable boundary conditions is considered within the recently developed ‘Onsager?s approach’. Inspired by the finite size case, for any type of integrable boundary conditions it is shown that the transfer matrix is simply expressed in terms of the elements of a new type of current algebra recently introduced. In the massive regime −1<q<0$-1<q<0$, level one infinite dimensional representation (q-vertex operators) of the new current algebra are constructed in order to diagonalize the transfer matrix. For diagonal boundary conditions, known results of Jimbo et al. are recovered. For upper (or lower) non-diagonal boundary conditions, a solution is proposed. Vacuum and excited states are formulated within the representation theory of the current algebra using q-bosons, opening the way for the calculation of integral representations of correlation functions for a non-diagonal boundary. Finally, for q generic the long standing question of the hidden non-Abelian symmetry of the Hamiltonian is solved: it is either associated with the q-Onsager algebra (generic non-diagonal case) or the augmented q-Onsager algebra (generic diagonal case).     

Quantum-classical correspondence for motion on a plane with deficit angle

A particle constrained to move on a cone and bound to its tip by harmonic oscillator and Coulomb-Kepler potentials is considered both in the classical as well as in the quantum formulations. The SU(2) coherent states are formally derived for the former model and used for showing some relations between closed classical orbits and quantum probability densities. Similar relations are shown for the Coulomb-Kepler problem. In both cases a perfect localization of the densities on the classical solutions is obtained even for low values of quantum numbers.     

Theory of extreme correlations using canonical Fermions and path integrals

The  t$t$–J$J$  model is studied using a novel and rigorous mapping of the Gutzwiller projected electrons, in terms of canonical electrons. The mapping has considerable similarity to the Dyson–Maleev transformation relating spin operators to canonical Bosons. This representation gives rise to a non Hermitian quantum theory, characterized by minimal redundancies. A path integral representation of the canonical theory is given. Using it, the salient results of the extremely correlated Fermi liquid (ECFL) theory, including the previously found Schwinger equations of motion, are easily rederived. Further, a transparent physical interpretation of the previously introduced auxiliary Greens function and the ‘caparison factor’, is obtained.     

The classical limit for quantum mechanical correlation functions

For quantum systems of finitely many particles as well as for boson quantum field theories, the classical limit of the expectation values of products of Weyl operators, translated in time by the quantum mechanical Hamiltonian and taken in coherent states centered inx- andp-space around? ^?1/2 (coordinates of a point in classical phase space) are shown to become the exponentials of coordinate functions of the classical orbit in phase space. In the same sense,? ^?1/2 [(quantum operator) (t) — (classical function) (t)] converges to the solution of the linear quantum mechanical system, which is obtained by linearizing the non-linear Heisenberg equations of motion around the classical orbit.