Diabatic representation

Last updated

The diabatic representation as a mathematical tool for theoretical calculations of atomic collisions and of molecular interactions.

Contents

One of the guiding principles in modern chemical dynamics and spectroscopy is that the motion of the nuclei in a molecule is slow compared to that of its electrons. This is justified by the large disparity between the mass of an electron, and the typical mass of a nucleus and leads to the Born–Oppenheimer approximation and the idea that the structure and dynamics of a chemical species are largely determined by nuclear motion on potential energy surfaces.

The potential energy surfaces are obtained within the adiabatic or Born–Oppenheimer approximation. This corresponds to a representation of the molecular wave function where the variables corresponding to the molecular geometry and the electronic degrees of freedom are separated. The non separable terms are due to the nuclear kinetic energy terms in the molecular Hamiltonian and are said to couple the potential energy surfaces. Nearby an avoided crossing or conical intersection, these terms are substantive. Therefore one unitary transformation is performed from the adiabatic representation to the so-called diabatic representation in which the nuclear kinetic energy operator is diagonal. In this representation, the coupling is due to the electronic energy and is a scalar quantity that is significantly easier to estimate numerically.

In the diabatic representation, the potential energy surfaces are smoother, so that low order Taylor series expansions of the surface capture much of the complexity of the original system. However strictly diabatic states do not exist in the general case. Hence, diabatic potentials generated from transforming multiple electronic energy surfaces together are generally not exact. These can be called pseudo-diabatic potentials, but generally the term is not used unless it is necessary to highlight this subtlety. Hence, pseudo-diabatic potentials are synonymous with diabatic potentials.

Applicability

The motivation to calculate diabatic potentials often occurs when the Born–Oppenheimer approximation breaks down, or is not justified for the molecular system under study. For these systems, it is necessary to go beyond the Born–Oppenheimer approximation. This is often the terminology used to refer to the study of nonadiabatic systems.

A well-known approach involves recasting the molecular Schrödinger equation into a set of coupled eigenvalue equations. This is achieved by expanding the exact wave function in terms of products of electronic and nuclear wave functions (adiabatic states) followed by integration over the electronic coordinates. The coupled operator equations thus obtained depend on nuclear coordinates only. Off-diagonal elements in these equations are nuclear kinetic energy terms. A diabatic transformation of the adiabatic states replaces these off-diagonal kinetic energy terms by potential energy terms. Sometimes, this is called the "adiabatic-to-diabatic transformation", abbreviated ADT.

Diabatic transformation of two electronic surfaces

In order to introduce the diabatic transformation, assume that only two Potential Energy Surfaces (PES), 1 and 2, approach each other and that all other surfaces are well separated; the argument can be generalized to more surfaces. Let the collection of electronic coordinates be indicated by , while indicates dependence on nuclear coordinates. Thus, assume with corresponding orthonormal electronic eigenstates and . In the absence of magnetic interactions these electronic states, which depend parametrically on the nuclear coordinates, may be taken to be real-valued functions.

The nuclear kinetic energy is a sum over nuclei A with mass MA,

(Atomic units are used here). By applying the Leibniz rule for differentiation, the matrix elements of are (where coordinates are suppressed for clarity):

The subscript indicates that the integration inside the bracket is over electronic coordinates only. Let us further assume that all off-diagonal matrix elements may be neglected except for k = 1 and p = 2. Upon making the expansion

the coupled Schrödinger equations for the nuclear part take the form (see the article Born–Oppenheimer approximation)

In order to remove the problematic off-diagonal kinetic energy terms, define two new orthonormal states by a diabatic transformation of the adiabatic states and

where is the diabatic angle. Transformation of the matrix of nuclear momentum for gives for diagonal matrix elements

These elements are zero because is real and is Hermitian and pure-imaginary. The off-diagonal elements of the momentum operator satisfy,

Assume that a diabatic angle exists, such that to a good approximation

i.e., and diagonalize the 2 x 2 matrix of the nuclear momentum. By the definition of Smith [1] and are diabatic states. (Smith was the first to define this concept; earlier the term diabatic was used somewhat loosely by Lichten). [2]

By a small change of notation these differential equations for can be rewritten in the following more familiar form:

It is well known that the differential equations have a solution (i.e., the "potential" V exists) if and only if the vector field ("force") is irrotational,

It can be shown that these conditions are rarely ever satisfied, so that a strictly diabatic transformation rarely ever exists. It is common to use approximate functions leading to pseudo diabatic states.

Under the assumption that the momentum operators are represented exactly by 2 x 2 matrices, which is consistent with neglect of off-diagonal elements other than the (1,2) element and the assumption of "strict" diabaticity, it can be shown that

On the basis of the diabatic states the nuclear motion problem takes the following generalized Born–Oppenheimer form

It is important to note that the off-diagonal elements depend on the diabatic angle and electronic energies only. The surfaces and are adiabatic PESs obtained from clamped nuclei electronic structure calculations and is the usual nuclear kinetic energy operator defined above. Finding approximations for is the remaining problem before a solution of the Schrödinger equations can be attempted. Much of the current research in quantum chemistry is devoted to this determination. Once has been found and the coupled equations have been solved, the final vibronic wave function in the diabatic approximation is

Adiabatic-to-diabatic transformation

Here, in contrast to previous treatments, the non-Abelian case is considered.

Felix Smith in his article [1] considers the adiabatic-to-diabatic transformation (ADT) for a multi-state system but a single coordinate, . In Diabatic, the ADT is defined for a system of two coordinates and , but it is restricted to two states. Such a system is defined as Abelian and the ADT matrix is expressed in terms of an angle, (see Comment below), known also as the ADT angle. In the present treatment a system is assumed that is made up of M (> 2) states defined for an N-dimensional configuration space, where N = 2 or N > 2. Such a system is defined as non-Abelian. To discuss the non-Abelian case the equation for the just mentioned ADT angle, (see Diabatic), is replaced by an equation for the MxM, ADT matrix, : [3]

where is the force-matrix operator, introduced in Diabatic, also known as the Non-Adiabatic Coupling Transformation (NACT) matrix: [4]

Here is the N-dimensional (nuclear) grad-operator:

and , are the electronic adiabatic eigenfunctions which depend explicitly on the electronic coordinates and parametrically on the nuclear coordinates .

To derive the matrix one has to solve the above given first order differential equation along a specified contour . This solution is then applied to form the diabatic potential matrix :

where  ; j = 1, M are the Born–Oppenheimer adiabatic potentials. In order for to be single-valued in configuration space, has to be analytic and in order for to be analytic (excluding the pathological points), the components of the vector matrix, , have to satisfy the following equation: [5] [6]

where is a tensor field. This equation is known as the non-Abelian form of the Curl Equation. A solution of the ADT matrix along the contour can be shown to be of the form: [7] [8] [9]

(see also Geometric phase). Here is an ordering operator, the dot stands for a scalar product and and are two points on .

A different type of solution is based on quasi-Euler angles according to which any -matrix can be expressed as a product of Euler matrices. [10] [11] For instance in case of a tri-state system this matrix can be presented as a product of three such matrices, (i < j = 2, 3) where e.g. is of the form:

The product which can be written in any order, is substituted in Eq. (1) to yield three first order differential equations for the three -angles where two of these equations are coupled and the third stands on its own. Thus, assuming: the two coupled equations for and are:

whereas the third equation (for ) becomes an ordinary (line) integral:

expressed solely in terms of and .

Similarly, in case of a four-state system is presented as a product of six 4 x 4 Euler matrices (for the six quasi-Euler angles) and the relevant six differential equations form one set of three coupled equations, whereas the other three become, as before, ordinary line integrals. [12] [13] [14]


A comment concerning the two-state (Abelian) case

Since the treatment of the two-state case as presented in Diabatic raised numerous doubts we consider it here as a special case of the Non-Abelian case just discussed. For this purpose we assume the 2 × 2 ADT matrix to be of the form:

Substituting this matrix in the above given first order differential equation (for ) we get, following a few algebraic rearrangements, that the angle fulfills the corresponding first order differential equation as well as the subsequent line integral: [3] [15] [16] [17] [18]

where is the relevant NACT matrix element, the dot stands for a scalar product and is a chosen contour in configuration space (usually a planar one) along which the integration is performed. The line integral yields meaningful results if and only if the corresponding (previously derived) Curl-equation is zero for every point in the region of interest (ignoring the pathological points).

Related Research Articles

<span class="mw-page-title-main">Pauli matrices</span> Matrices important in quantum mechanics and the study of spin

In mathematical physics and mathematics, the Pauli matrices are a set of three 2 × 2 complex matrices that are traceless, Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

<span class="mw-page-title-main">Potential flow</span> Velocity field as the gradient of a scalar function

In fluid dynamics, potential flow or irrotational flow refers to a description of a fluid flow with no vorticity in it. Such a description typically arises in the limit of vanishing viscosity, i.e., for an inviscid fluid and with no vorticity present in the flow.

In quantum chemistry and molecular physics, the Born–Oppenheimer (BO) approximation is the best-known mathematical approximation in molecular dynamics. Specifically, it is the assumption that the wave functions of atomic nuclei and electrons in a molecule can be treated separately, based on the fact that the nuclei are much heavier than the electrons. Due to the larger relative mass of a nucleus compared to an electron, the coordinates of the nuclei in a system are approximated as fixed, while the coordinates of the electrons are dynamic. The approach is named after Max Born and his 23-year-old graduate student J. Robert Oppenheimer, the latter of whom proposed it in 1927 during a period of intense fervent in the development of quantum mechanics.

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition.

In the mathematical field of differential geometry, a metric tensor is an additional structure on a manifold M that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point p of M is a bilinear form defined on the tangent space at p, and a metric field on M consists of a metric tensor at each point p of M that varies smoothly with p.

In physics, the Hamilton–Jacobi equation, named after William Rowan Hamilton and Carl Gustav Jacob Jacobi, is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics.

In rotordynamics, the rigid rotor is a mechanical model of rotating systems. An arbitrary rigid rotor is a 3-dimensional rigid object, such as a top. To orient such an object in space requires three angles, known as Euler angles. A special rigid rotor is the linear rotor requiring only two angles to describe, for example of a diatomic molecule. More general molecules are 3-dimensional, such as water, ammonia, or methane.

<span class="mw-page-title-main">LSZ reduction formula</span> Connection between correlation functions and the S-matrix

In quantum field theory, the Lehmann–Symanzik–Zimmermann (LSZ) reduction formula is a method to calculate S-matrix elements from the time-ordered correlation functions of a quantum field theory. It is a step of the path that starts from the Lagrangian of some quantum field theory and leads to prediction of measurable quantities. It is named after the three German physicists Harry Lehmann, Kurt Symanzik and Wolfhart Zimmermann.

In mathematics and physics, the Christoffel symbols are an array of numbers describing a metric connection. The metric connection is a specialization of the affine connection to surfaces or other manifolds endowed with a metric, allowing distances to be measured on that surface. In differential geometry, an affine connection can be defined without reference to a metric, and many additional concepts follow: parallel transport, covariant derivatives, geodesics, etc. also do not require the concept of a metric. However, when a metric is available, these concepts can be directly tied to the "shape" of the manifold itself; that shape is determined by how the tangent space is attached to the cotangent space by the metric tensor. Abstractly, one would say that the manifold has an associated (orthonormal) frame bundle, with each "frame" being a possible choice of a coordinate frame. An invariant metric implies that the structure group of the frame bundle is the orthogonal group O(p, q). As a result, such a manifold is necessarily a (pseudo-)Riemannian manifold. The Christoffel symbols provide a concrete representation of the connection of (pseudo-)Riemannian geometry in terms of coordinates on the manifold. Additional concepts, such as parallel transport, geodesics, etc. can then be expressed in terms of Christoffel symbols.

The gradient theorem, also known as the fundamental theorem of calculus for line integrals, says that a line integral through a gradient field can be evaluated by evaluating the original scalar field at the endpoints of the curve. The theorem is a generalization of the second fundamental theorem of calculus to any curve in a plane or space rather than just the real line.

The history of Lorentz transformations comprises the development of linear transformations forming the Lorentz group or Poincaré group preserving the Lorentz interval and the Minkowski inner product .

In geometry, various formalisms exist to express a rotation in three dimensions as a mathematical transformation. In physics, this concept is applied to classical mechanics where rotational kinematics is the science of quantitative description of a purely rotational motion. The orientation of an object at a given instant is described with the same tools, as it is defined as an imaginary rotation from a reference placement in space, rather than an actually observed rotation from a previous placement in space.

In physics, the Green's function for the Laplacian in three variables is used to describe the response of a particular type of physical system to a point source. In particular, this Green's function arises in systems that can be described by Poisson's equation, a partial differential equation (PDE) of the form where is the Laplace operator in , is the source term of the system, and is the solution to the equation. Because is a linear differential operator, the solution to a general system of this type can be written as an integral over a distribution of source given by : where the Green's function for Laplacian in three variables describes the response of the system at the point to a point source located at : and the point source is given by , the Dirac delta function.

In mathematics, the Schur orthogonality relations, which were proven by Issai Schur through Schur's lemma, express a central fact about representations of finite groups. They admit a generalization to the case of compact groups in general, and in particular compact Lie groups, such as the rotation group SO(3).

<span class="mw-page-title-main">Mathematical descriptions of the electromagnetic field</span> Formulations of electromagnetism

There are various mathematical descriptions of the electromagnetic field that are used in the study of electromagnetism, one of the four fundamental interactions of nature. In this article, several approaches are discussed, although the equations are in terms of electric and magnetic fields, potentials, and charges with currents, generally speaking.

In the differential geometry of surfaces, a Darboux frame is a natural moving frame constructed on a surface. It is the analog of the Frenet–Serret frame as applied to surface geometry. A Darboux frame exists at any non-umbilic point of a surface embedded in Euclidean space. It is named after French mathematician Jean Gaston Darboux.

In fluid dynamics, the Oseen equations describe the flow of a viscous and incompressible fluid at small Reynolds numbers, as formulated by Carl Wilhelm Oseen in 1910. Oseen flow is an improved description of these flows, as compared to Stokes flow, with the (partial) inclusion of convective acceleration.

In classical mechanics, the Udwadia–Kalaba formulation is a method for deriving the equations of motion of a constrained mechanical system. The method was first described by Anatolii Fedorovich Vereshchagin for the particular case of robotic arms, and later generalized to all mechanical systems by Firdaus E. Udwadia and Robert E. Kalaba in 1992. The approach is based on Gauss's principle of least constraint. The Udwadia–Kalaba method applies to both holonomic constraints and nonholonomic constraints, as long as they are linear with respect to the accelerations. The method generalizes to constraint forces that do not obey D'Alembert's principle.

The optical metric was defined by German theoretical physicist Walter Gordon in 1923 to study the geometrical optics in curved space-time filled with moving dielectric materials.

In representation theory of mathematics, the Waldspurger formula relates the special values of two L-functions of two related admissible irreducible representations. Let k be the base field, f be an automorphic form over k, π be the representation associated via the Jacquet–Langlands correspondence with f. Goro Shimura (1976) proved this formula, when and f is a cusp form; Günter Harder made the same discovery at the same time in an unpublished paper. Marie-France Vignéras (1980) proved this formula, when and f is a newform. Jean-Loup Waldspurger, for whom the formula is named, reproved and generalized the result of Vignéras in 1985 via a totally different method which was widely used thereafter by mathematicians to prove similar formulas.

References

  1. 1 2 Smith, F. T. (1969). "Diabatic and Adiabatic Representations for Atomic Collision Problems". Physical Review. 179 (1). American Physical Society: 111–123. Bibcode:1969PhRv..179..111S. doi:10.1103/PhysRev.179.111.
  2. Lichten, W. (1963). "Resonant Charge Exchange in Atomic Collisions". Physical Review. 131 (1). American Physical Society: 229–238. Bibcode:1963PhRv..131..229L. doi:10.1103/PhysRev.131.229.
  3. 1 2 Baer, Michael (1975). "Adiabatic and diabatic representations for atom-molecule collisions: Treatment of the collinear arrangement". Chemical Physics Letters. 35 (1). Elsevier BV: 112–118. Bibcode:1975CPL....35..112B. doi:10.1016/0009-2614(75)85599-0. ISSN   0009-2614.
  4. Born, M.; Huang, K. (1954). "IV". Dynamical Theory of Crystal Lattices . New York: Oxford University Press.
  5. Baer, M. (28 March 2006). "Mathematical Introduction". Beyond Born-Oppenheimer; Electronic non-Adiabatic coupling Terms and Conical Intersections . Hoboken, New Jersey, USA: John Wiley & Sons, Incorporated. pp. 1–25. doi:10.1002/0471780081.ch1. ISBN   978-0-471-78008-3.
  6. Englman, R.; Yahalom, A. (16 January 2003). "Complex States of Simple Molecular Systems". Advances in Chemical Physics. Vol. 124. New York, USA: John Wiley & Sons, Inc. pp. 197–282. arXiv: physics/0406149 . doi:10.1002/0471433462.ch4. ISBN   978-0-471-43817-5. ISSN   1934-4791. S2CID   117949858.
  7. Baer, Michael (1980). "Electronic non-adiabatic transitions derivation of the general adiabatic-diabatic transformation matrix". Molecular Physics. 40 (4). Informa UK Limited: 1011–1013. doi:10.1080/00268978000102091. ISSN   0026-8976.
  8. D. R. Yarkony, in: W. Domcke, D. R. Yarkony and H. Köppel, Eds., Conical Intersections: Electronic Structure, Dynamics and Spectroscopy, (Singapore: World Sci. 2004)
  9. Ryb, Itai; Baer, Roi (2004). "Combinatorial invariants and covariants as tools for conical intersections". The Journal of Chemical Physics. 121 (21). AIP Publishing: 10370–10375. Bibcode:2004JChPh.12110370R. doi:10.1063/1.1808695. ISSN   0021-9606. PMID   15549915.
  10. Top, Zvi H.; Baer, Michael (1977). "Incorporation of electronically nonadiabatic effects into bimolecular reactive systems. I. Theory". The Journal of Chemical Physics. 66 (3). AIP Publishing: 1363–1371. Bibcode:1977JChPh..66.1363T. doi:10.1063/1.434032. ISSN   0021-9606.
  11. Baer, Michael; Lin, Sheng H.; Alijah, Alexander; Adhikari, Satrajit; Billing, Gert D. (15 August 2000). "Extended approximated Born-Oppenheimer equation. I. Theory". Physical Review A. 62 (3). American Physical Society (APS): 032506. Bibcode:2000PhRvA..62c2506B. doi:10.1103/physreva.62.032506. ISSN   1050-2947.
  12. Sarkar, Biplab; Adhikari, Satrajit (9 October 2008). "Curl Condition for a Four-State Born−Oppenheimer System Employing the Mathieu Equation". The Journal of Physical Chemistry A. 112 (40). American Chemical Society (ACS): 9868–9885. Bibcode:2008JPCA..112.9868S. doi:10.1021/jp8029709. ISSN   1089-5639. PMID   18785688.
  13. Mukherjee, Saikat; Adhikari, Satrajit (2014). "The excited states of K3 cluster: The molecular symmetry adapted non-adiabatic coupling terms and diabatic Hamiltonian matrix". Chemical Physics. 440. Elsevier BV: 106–118. Bibcode:2014CP....440..106M. doi:10.1016/j.chemphys.2014.05.022. ISSN   0301-0104.
  14. Das, Anita; Mukhopadhyay, Debasis (8 February 2012). "Jahn–Teller Intersections Induced by Introduction of Bending in Linear Polyatomics: Study with HCNH, a Selected Molecular System". The Journal of Physical Chemistry A. 116 (7). American Chemical Society (ACS): 1774–1785. Bibcode:2012JPCA..116.1774D. doi:10.1021/jp208684p. ISSN   1089-5639. PMID   22313095.
  15. Pacher, T.; Cederbaum, L. S.; Köppel, H. (11 Jan 1993). "Adiabatic and Quasidiabatic States in a Gauge Theoretical Framework". Advances in Chemical Physics. Vol. 84. Hoboken, New Jersey, USA: John Wiley & Sons, Incorporated. pp. 293–391. doi:10.1002/9780470141427.ch4. ISBN   978-0-470-14142-7. ISSN   1934-4791.
  16. Yarkony, David R. (15 December 1996). "On the consequences of nonremovable derivative couplings. I. The geometric phase and quasidiabatic states: A numerical study". The Journal of Chemical Physics. 105 (23). AIP Publishing: 10456–10461. Bibcode:1996JChPh.10510456Y. doi:10.1063/1.472972. ISSN   0021-9606.
  17. "Model Studies". Beyond Born-Oppenheimer: Electronic Non-Adiabatic Coupling Terms and Conical Intersections. Hoboken, NJ, USA: John Wiley & Sons, Inc. 28 March 2006. pp. 58–83. doi:10.1002/0471780081.ch3. ISBN   978-0-471-78008-3.
  18. Baer, Roi (16 February 2010). "Ground-State Degeneracies Leave Recognizable Topological Scars in the Electronic Density". Physical Review Letters. 104 (7). American Physical Society (APS): 073001. arXiv: 0910.2947 . Bibcode:2010PhRvL.104g3001B. doi:10.1103/physrevlett.104.073001. ISSN   0031-9007. PMID   20366875. S2CID   19559942.