In pure and applied mathematics, quantum mechanics and computer graphics, a tensor operator generalizes the notion of operators which are scalars and vectors. A special class of these are spherical tensor operators which apply the notion of the spherical basis and spherical harmonics. The spherical basis closely relates to the description of angular momentum in quantum mechanics and spherical harmonic functions. The coordinate-free generalization of a tensor operator is known as a representation operator. [1]
In quantum mechanics, physical observables that are scalars, vectors, and tensors, must be represented by scalar, vector, and tensor operators, respectively. Whether something is a scalar, vector, or tensor depends on how it is viewed by two observers whose coordinate frames are related to each other by a rotation. Alternatively, one may ask how, for a single observer, a physical quantity transforms if the state of the system is rotated. Consider, for example, a system consisting of a molecule of mass , traveling with a definite center of mass momentum, , in the direction. If we rotate the system by about the axis, the momentum will change to , which is in the direction. The center-of-mass kinetic energy of the molecule will, however, be unchanged at . The kinetic energy is a scalar and the momentum is a vector, and these two quantities must be represented by a scalar and a vector operator, respectively. By the latter in particular, we mean an operator whose expected values in the initial and the rotated states are and . The kinetic energy on the other hand must be represented by a scalar operator, whose expected value must be the same in the initial and the rotated states.
In the same way, tensor quantities must be represented by tensor operators. An example of a tensor quantity (of rank two) is the electrical quadrupole moment of the above molecule. Likewise, the octupole and hexadecapole moments would be tensors of rank three and four, respectively.
Other examples of scalar operators are the total energy operator (more commonly called the Hamiltonian), the potential energy, and the dipole-dipole interaction energy of two atoms. Examples of vector operators are the momentum, the position, the orbital angular momentum, , and the spin angular momentum, . (Fine print: Angular momentum is a vector as far as rotations are concerned, but unlike position or momentum it does not change sign under space inversion, and when one wishes to provide this information, it is said to be a pseudovector.)
Scalar, vector and tensor operators can also be formed by products of operators. For example, the scalar product of the two vector operators, and , is a scalar operator, which figures prominently in discussions of the spin–orbit interaction. Similarly, the quadrupole moment tensor of our example molecule has the nine components
Here, the indices and can independently take on the values 1, 2, and 3 (or , , and ) corresponding to the three Cartesian axes, the index runs over all particles (electrons and nuclei) in the molecule, is the charge on particle , and is the -th component of the position of this particle. Each term in the sum is a tensor operator. In particular, the nine products together form a second rank tensor, formed by taking the outer product of the vector operator with itself.
The rotation operator about the unit vector n (defining the axis of rotation) through angle θ is
where J = (Jx, Jy, Jz) are the rotation generators (also the angular momentum matrices):
and let be a rotation matrix. According to the Rodrigues' rotation formula, the rotation operator then amounts to
An operator is invariant under a unitary transformation U if in this case for the rotation ,
The orthonormal basis set for total angular momentum is , where j is the total angular momentum quantum number and m is the magnetic angular momentum quantum number, which takes values −j, −j + 1, ..., j − 1, j. A general state within the j subspace
rotates to a new state by:
Using the completeness condition:
we have
Introducing the Wigner D matrix elements:
gives the matrix multiplication:
For one basis ket:
For the case of orbital angular momentum, the eigenstates of the orbital angular momentum operator L and solutions of Laplace's equation on a 3d sphere are spherical harmonics:
where Pℓm is an associated Legendre polynomial, ℓ is the orbital angular momentum quantum number, and m is the orbital magnetic quantum number which takes the values −ℓ, −ℓ + 1, ... ℓ − 1, ℓ The formalism of spherical harmonics have wide applications in applied mathematics, and are closely related to the formalism of spherical tensors, as shown below.
Spherical harmonics are functions of the polar and azimuthal angles, ϕ and θ respectively, which can be conveniently collected into a unit vector n(θ, ϕ) pointing in the direction of those angles, in the Cartesian basis it is:
So a spherical harmonic can also be written . Spherical harmonic states rotate according to the inverse rotation matrix , while rotates by the initial rotation matrix .
We define the Rotation of an operator by requiring that the expectation value of the original operator with respect to the initial state be equal to the expectation value of the rotated operator with respect to the rotated state,
Now as,
we have,
since, is arbitrary,
A scalar operator is invariant under rotations: [2]
This is equivalent to saying a scalar operator commutes with the rotation generators:
Examples of scalar operators include
Vector operators (as well as pseudovector operators) are a set of 3 operators that can be rotated according to: [2]
Any observable vector quantity of a quantum mechanical system should be invariant of the choice of frame of reference. The transformation of expectation value vector which applies for any wavefunction, ensures the above equality. In Dirac notation:where the RHS is due to the rotation transformation acting on the vector formed by expectation values. Since |Ψ⟩ is any quantum state, the same result follows:Note that here, the term "vector" is used two different ways: kets such as |ψ⟩ are elements of abstract Hilbert spaces, while the vector operator is defined as a quantity whose components transform in a certain way under rotations.
From the above relation for infinitesimal rotations and the Baker Hausdorff lemma, by equating coefficients of order , one can derive the commutation relation with the rotation generator: [2]
where εijk is the Levi-Civita symbol, which all vector operators must satisfy, by construction. The above commutator rule can also be used as an alternative definition for vector operators which can be shown by using the Baker Hausdorff lemma. As the symbol εijk is a pseudotensor, pseudovector operators are invariant up to a sign: +1 for proper rotations and −1 for improper rotations.
Since operators can be shown to form a vector operator by their commutation relation with angular momentum components (which are generators of rotation), its examples include:
and peusodovector operators include
If and are two vector operators, the dot product between the two vector operators can be defined as:
Under rotation of coordinates, the newly defined operator transforms as:Rearranging terms and using transpose of rotation matrix as its inverse property:Where the RHS is the operator originally defined. Since the dot product defined is invariant under rotation transformation, it is said to be a scalar operator.
A vector operator in the spherical basis is V = (V+1, V0, V−1) where the components are: [2]
using the various commutators with the rotation generators and ladder operators are:
which are of similar form of
In the spherical basis, the generators of rotation are:
From the transformation of operators and Baker Hausdorff lemma:
compared to
it can be argued that the commutator with operator replaces the action of operator on state for transformations of operators as compared with that of states:
The rotation transformation in the spherical basis (originally written in the Cartesian basis) is then, due to similarity of commutation and operator shown above:
One can generalize the vector operator concept easily to tensorial operators, shown next.
In general, a tensor operator is one that transforms according to a tensor:where the basis are transformed by or the vector components transform by .
In the subsequent discussion surrounding tensor operators, the index notation regarding covariant/contravariant behavior is ignored entirely. Instead, contravariant components is implied by context. Hence for an n times contravariant tensor: [2]
Note: In general, a tensor operator cannot be written as the tensor product of other tensor operators as given in the above example.
If and are two three dimensional vector operators, then a rank 2 Cartesian dyadic tensors can be formed from nine operators of form ,Rearranging terms, we get:The RHS of the equation is change of basis equation for twice contravariant tensors where the basis are transformed by or the vector components transform by which matches transformation of vector operator components. Hence the operator tensor described forms a rank 2 tensor, in tensor representation,Similarly, an n-times contravariant tensor operator can be formed similarly by n vector operators.
We observe that the subspace spanned by linear combinations of the rank two tensor components form an invariant subspace, ie. the subspace does not change under rotation since the transformed components itself is a linear combination of the tensor components. However, this subspace is not irreducible ie. it can be further divided into invariant subspaces under rotation. Otherwise, the subspace is called reducible. In other words, there exists specific sets of different linear combinations of the components such that they transforms into a linear combination of the same set under rotation. [3] In the above example, we will show that the 9 independent tensor components can be divided into a set of 1, 3 and 5 combination of operators that each form irreducible invariant subspaces.
The subspace spanned by can be divided two subspaces; three independent antisymmetric components and six independent symmetric component , defined as and . Using the transformation under rotation formula, it can be shown that both and are transformed into a linear combination of members of its own sets. Although is irreducible, the same cannot be said about .
The six independent symmetric component set can be divided into five independent traceless symmetric component and the invariant trace can be its own subspace.
Hence, the invariant subspaces of are formed respectively by:
If , the invariant subspaces of formed are represented by: [4]
From the above examples, the nine component are split into subspaces formed by one, three and five components. These numbers add up to the number of components of the original tensor in a manner similar to the dimension of vector subspaces adding to the dimension of the space that is a direct sum of these subspaces. Similarly, every element of can be expressed in terms of a linear combination of components from its invariant subspaces:
or
where:
In general cartesian tensors of rank greater than 1 are reducible. In quantum mechanics, this particular example bears resemblance to the addition of two spin one particles where both are 3 dimensional, hence the total space being 9 dimensional, can be formed by spin 0, spin 1 and spin 2 systems each having 1 dimensional, 3 dimensional and 5 dimensional space respectively. [4] These three terms are irreducible, which means they cannot be decomposed further and still be tensors satisfying the defining transformation laws under which they must be invariant. Each of the irreducible representations T(0), T(1), T(2) ... transform like angular momentum eigenstates according to the number of independent components.
It is possible that a given tensor may have one or more of these components vanish. For example, the quadrupole moment tensor is already symmetric and traceless, and hence has only 5 independent components to begin with. [3]
Spherical tensor operators are generally defined as operators with the following transformation rule, under rotation of coordinate system:
The commutation relations can be found by expanding LHS and RHS as: [4]
Simplifying and applying limits to select only first order terms, we get:
For choices of or , we get:Note the similarity of the above to:Since and are linear combinations of , they share the same similarity due to linearity.
If, only the commutation relations hold, using the following relation,
we find due to similarity of actions of on wavefunction and the commutation relations on , that:
where the exponential form is given by Baker–Hausdorff lemma. Hence, the above commutation relations and the transformation property are equivalent definitions of spherical tensor operators. It can also be shown that transform like a vector due to their commutation relation.
In the following section, construction of spherical tensors will be discussed. For example, since example of spherical vector operators is shown, it can be used to construct higher order spherical tensor operators. In general, spherical tensor operators can be constructed from two perspectives. [5] One way is to specify how spherical tensors transform under a physical rotation - a group theoretical definition. A rotated angular momentum eigenstate can be decomposed into a linear combination of the initial eigenstates: the coefficients in the linear combination consist of Wigner rotation matrix entries. Or by continuing the previous example of the second order dyadic tensor T = a⊗b, casting each of a and b into the spherical basis and substituting into T gives the spherical tensor operators of the second order.[ citation needed ]
Combination of two spherical tensors and in the following manner involving the Clebsch–Gordan coefficients can be proved to give another spherical tensor of the form: [4]
This equation can be used to construct higher order spherical tensor operators, for example, second order spherical tensor operators using two first order spherical tensor operators, say A and B, discussed previously:
Using the infinitesimal rotation operator and its Hermitian conjugate, one can derive the commutation relation in the spherical basis:and the finite rotation transformation in the spherical basis can be verified:
Define an operator by its spectrum:Since for spherical harmonics under rotation:It can also been shown that:Then , where is a vector operator, also transforms in the same manner ie, is a spherical tensor operator. The process involves expressing in terms of x, y and z and replacing x, y and z with operators Vx Vy and Vz which from vector operator. The resultant operator is hence a spherical tensor operator . ^ This may include constant due to normalization from spherical harmonics which is meaningless in context of operators.
The Hermitian adjoint of a spherical tensor may be defined asThere is some arbitrariness in the choice of the phase factor: any factor containing (−1)±q will satisfy the commutation relations. [6] The above choice of phase has the advantages of being real and that the tensor product of two commuting Hermitian operators is still Hermitian. [7] Some authors define it with a different sign on q, without the k, or use only the floor of k. [8]
Orbital angular momentum operators have the ladder operators:
which raise or lower the orbital magnetic quantum number mℓ by one unit. This has almost exactly the same form as the spherical basis, aside from constant multiplicative factors.
Spherical tensors can also be formed from algebraic combinations of the spin operators Sx, Sy, Sz, as matrices, for a spin system with total quantum number j = ℓ + s (and ℓ = 0). Spin operators have the ladder operators:
which raise or lower the spin magnetic quantum number ms by one unit.
Spherical bases have broad applications in pure and applied mathematics and physical sciences where spherical geometries occur.
The transition amplitude is proportional to matrix elements of the dipole operator between the initial and final states. We use an electrostatic, spinless model for the atom and we consider the transition from the initial energy level Enℓ to final level En′ℓ′. These levels are degenerate, since the energy does not depend on the magnetic quantum number m or m′. The wave functions have the form,
The dipole operator is proportional to the position operator of the electron, so we must evaluate matrix elements of the form,
where, the initial state is on the right and the final one on the left. The position operator r has three components, and the initial and final levels consist of 2ℓ + 1 and 2ℓ′ + 1 degenerate states, respectively. Therefore if we wish to evaluate the intensity of a spectral line as it would be observed, we really have to evaluate 3(2ℓ′+ 1)(2ℓ+ 1) matrix elements, for example, 3×3×5 = 45 in a 3d → 2p transition. This is actually an exaggeration, as we shall see, because many of the matrix elements vanish, but there are still many non-vanishing matrix elements to be calculated.
A great simplification can be achieved by expressing the components of r, not with respect to the Cartesian basis, but with respect to the spherical basis. First we define,
Next, by inspecting a table of the Yℓm′s, we find that for ℓ = 1 we have,
where, we have multiplied each Y1m by the radius r. On the right hand side we see the spherical components rq of the position vector r. The results can be summarized by,
for q = 1, 0, −1, where q appears explicitly as a magnetic quantum number. This equation reveals a relationship between vector operators and the angular momentum value ℓ = 1, something we will have more to say about presently. Now the matrix elements become a product of a radial integral times an angular integral,
We see that all the dependence on the three magnetic quantum numbers (m′,q,m) is contained in the angular part of the integral. Moreover, the angular integral can be evaluated by the three-Yℓm formula, whereupon it becomes proportional to the Clebsch-Gordan coefficient,
The radial integral is independent of the three magnetic quantum numbers (m′, q, m), and the trick we have just used does not help us to evaluate it. But it is only one integral, and after it has been done, all the other integrals can be evaluated just by computing or looking up Clebsch–Gordan coefficients.
The selection rule m′ = q + m in the Clebsch–Gordan coefficient means that many of the integrals vanish, so we have exaggerated the total number of integrals that need to be done. But had we worked with the Cartesian components ri of r, this selection rule might not have been obvious. In any case, even with the selection rule, there may still be many nonzero integrals to be done (nine, in the case 3d → 2p). The example we have just given of simplifying the calculation of matrix elements for a dipole transition is really an application of the Wigner–Eckart theorem, which we take up later in these notes.
The spherical tensor formalism provides a common platform for treating coherence and relaxation in nuclear magnetic resonance. In NMR and EPR, spherical tensor operators are employed to express the quantum dynamics of particle spin, by means of an equation of motion for the density matrix entries, or to formulate dynamics in terms of an equation of motion in Liouville space. The Liouville space equation of motion governs the observable averages of spin variables. When relaxation is formulated using a spherical tensor basis in Liouville space, insight is gained because the relaxation matrix exhibits the cross-relaxation of spin observables directly. [5]
In quantum mechanics, the Hamiltonian of a system is an operator corresponding to the total energy of that system, including both kinetic energy and potential energy. Its spectrum, the system's energy spectrum or its set of energy eigenvalues, is the set of possible outcomes obtainable from a measurement of the system's total energy. Due to its close relation to the energy spectrum and time-evolution of a system, it is of fundamental importance in most formulations of quantum theory.
In mathematical physics and mathematics, the Pauli matrices are a set of three 2 × 2 complex matrices that are Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.
The quantum harmonic oscillator is the quantum-mechanical analog of the classical harmonic oscillator. Because an arbitrary smooth potential can usually be approximated as a harmonic potential at the vicinity of a stable equilibrium point, it is one of the most important model systems in quantum mechanics. Furthermore, it is one of the few quantum-mechanical systems for which an exact, analytical solution is known.
The Schrödinger equation is a partial differential equation that governs the wave function of a quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after Erwin Schrödinger, who postulated the equation in 1925 and published it in 1926, forming the basis for the work that resulted in his Nobel Prize in Physics in 1933.
In physics, an operator is a function over a space of physical states onto another space of physical states. The simplest example of the utility of operators is the study of symmetry. Because of this, they are useful tools in classical mechanics. Operators are even more important in quantum mechanics, where they form an intrinsic part of the formulation of the theory.
In condensed matter physics, Bloch's theorem states that solutions to the Schrödinger equation in a periodic potential can be expressed as plane waves modulated by periodic functions. The theorem is named after the Swiss physicist Felix Bloch, who discovered the theorem in 1929. Mathematically, they are written
In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean directional derivative onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.
In quantum mechanics, a spherically symmetric potential is a system of which the potential only depends on the radial distance from the spherical center and a location in space. A particle in a spherically symmetric potential will behave accordingly to said potential and can therefore be used as an approximation, for example, of the electron in a hydrogen atom or of the formation of chemical bonds.
Creation operators and annihilation operators are mathematical operators that have widespread applications in quantum mechanics, notably in the study of quantum harmonic oscillators and many-particle systems. An annihilation operator lowers the number of particles in a given state by one. A creation operator increases the number of particles in a given state by one, and it is the adjoint of the annihilation operator. In many subfields of physics and chemistry, the use of these operators instead of wavefunctions is known as second quantization. They were introduced by Paul Dirac.
In quantum mechanics, the canonical commutation relation is the fundamental relation between canonical conjugate quantities. For example,
In quantum mechanics and computing, the Bloch sphere is a geometrical representation of the pure state space of a two-level quantum mechanical system (qubit), named after the physicist Felix Bloch.
A multipole expansion is a mathematical series representing a function that depends on angles—usually the two angles used in the spherical coordinate system for three-dimensional Euclidean space, . Similarly to Taylor series, multipole expansions are useful because oftentimes only the first few terms are needed to provide a good approximation of the original function. The function being expanded may be real- or complex-valued and is defined either on , or less often on for some other .
In quantum mechanics, a two-state system is a quantum system that can exist in any quantum superposition of two independent quantum states. The Hilbert space describing such a system is two-dimensional. Therefore, a complete basis spanning the space will consist of two independent states. Any two-state system can also be seen as a qubit.
The Breit equation, or Dirac–Coulomb–Breit equation, is a relativistic wave equation derived by Gregory Breit in 1929 based on the Dirac equation, which formally describes two or more massive spin-1/2 particles interacting electromagnetically to the first order in perturbation theory. It accounts for magnetic interactions and retardation effects to the order of 1/c2. When other quantum electrodynamic effects are negligible, this equation has been shown to give results in good agreement with experiment. It was originally derived from the Darwin Lagrangian but later vindicated by the Wheeler–Feynman absorber theory and eventually quantum electrodynamics.
In quantum mechanics, the angular momentum operator is one of several related operators analogous to classical angular momentum. The angular momentum operator plays a central role in the theory of atomic and molecular physics and other quantum problems involving rotational symmetry. Such an operator is applied to a mathematical representation of the physical state of a system and yields an angular momentum value if the state has a definite value for it. In both classical and quantum mechanical systems, angular momentum is one of the three fundamental properties of motion.
In quantum mechanics, the Pauli equation or Schrödinger–Pauli equation is the formulation of the Schrödinger equation for spin-1/2 particles, which takes into account the interaction of the particle's spin with an external electromagnetic field. It is the non-relativistic limit of the Dirac equation and can be used where particles are moving at speeds much less than the speed of light, so that relativistic effects can be neglected. It was formulated by Wolfgang Pauli in 1927. In its linearized form it is known as Lévy-Leblond equation.
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.
Curvilinear coordinates can be formulated in tensor calculus, with important applications in physics and engineering, particularly for describing transportation of physical quantities and deformation of matter in fluid mechanics and continuum mechanics.
Symmetries in quantum mechanics describe features of spacetime and particles which are unchanged under some transformation, in the context of quantum mechanics, relativistic quantum mechanics and quantum field theory, and with applications in the mathematical formulation of the standard model and condensed matter physics. In general, symmetry in physics, invariance, and conservation laws, are fundamentally important constraints for formulating physical theories and models. In practice, they are powerful methods for solving problems and predicting what can happen. While conservation laws do not always give the answer to the problem directly, they form the correct constraints and the first steps to solving a multitude of problems. In application, understanding symmetries can also provide insights on the eigenstates that can be expected. For example, the existence of degenerate states can be inferred by the presence of non commuting symmetry operators or that the non degenerate states are also eigenvectors of symmetry operators.
The Peierls substitution method, named after the original work by Rudolf Peierls is a widely employed approximation for describing tightly-bound electrons in the presence of a slowly varying magnetic vector potential.