Physics[Dagger] - compute the Hermitian conjugate or Adjoint of a given mathematical object
any mathematical expression
The Dagger command returns the Hermitian conjugate, also called adjoint, of its argument, so, for example, if A is a square matrix, then Dagger(A) computes the complex conjugate of the transpose of A. As a shortcut to Dagger(A) you can also use A^*.
The %Dagger command is the inert form of Dagger; that is, it represents the same mathematical operation while displaying the operation unevaluated. To evaluate the operation, use the value command.
The result returned by Dagger is built as follows:
- If A is Hermitian, then return A.
- If A is already the Dagger of B, then return B.
- If A is a (commutative) constant or a Bracket, then return the conjugate of A
- If A is a Bra or a Ket, then return the dual; that is, the corresponding Ket or Bra, respectively.
- If A is an Annihilation or a Creation operator, then return the corresponding Creation or Annihilation, respectively.
- If A is a Matrix, then return the conjugate of the transpose of A.
- If A is a sum of terms, then return the sum of the Dagger of each term.
- If A is a (noncommutative) product, then return the product of the Dagger of each factor, after reversing their order in the product.
- If A is d_, or dAlembertian, then return the operator applied to the Dagger of the first operand of A.
- If A is an object of the Physics package, such as Inverse, Trace, Dgamma, or KroneckerDelta, then return according to the properties of this object.
- Otherwise, return the operation unevaluated, Dagger(A).
Setup(mathematicalnotation = true);
You can also use the inert form of Dagger by prefixing the command's name with %.
For Annihilation and Creation operators, Dagger return the dual, respectively.
am := Annihilation(A, 1);
ap := Creation(A, 1);
As a shortcut to Dagger(ap) you can also use ap^*
The Dagger of Dirac matrices
As it happens with tensors of the Physics package, when the index has the value 0, it is automatically mapped into the spacetime dimension. So the γ0 Dirac matrix is automatically represented by γ4,
For sums and products, Dagger maps itself over the operands, reversing the order of the arguments in the case of noncommutative products or scalar products. First set a prefix to identify noncommutative symbols.
Setup(noncommutativeprefix = Z);
(18) = expand((18));
Thus, the Dagger of an AntiCommutator of Hermitian operators is equal to itself (however, the product of two Hermitian operators is Hermitian only if they commute).
(21) = expand((21));
Dagger((22)) assuming Hermitian;
In the generic, non-Hermitian case:
For linear operators, differential and others, Dagger is applied to the first operand.
Setup(diff = X);
⁢Default differentiation variables for d_, D_ and dAlembertian are:⁢X=x1,x2,x3,x4
⁢Systems of spacetime coordinates are:⁢X=x1,x2,x3,x4
d_[mu](Z(X))*d_[nu](Z(X)) + g_[mu,nu] * dAlembertian(F(X));
Annihilation, AntiCommutator, Bra, Bracket, Commutator, Creation, d_, dAlembertian, g_, Ket, Physics, Physics conventions, Physics examples, Physics Updates, Tensors - a complete guide, Mini-Course Computer Algebra for Physicists, Setup, value
Download Help Document
What kind of issue would you like to report? (Optional)