A positive diagonal matrix , with , is an invertible matrix and changes the coordinate scales through the similarity transformation . Its diagonal entries are still , while . Thus the Gershgorin discs have the same centres but different radii. Matrix similarity preserves the characteristic polynomial and eigenvalues, so the original and scaled disk unions are both valid bounds and may be intersected. Suitable scaling can compensate for badly unbalanced off-diagonal entries; it need not shrink every radius.[ref]
For example,
The original Gershgorin discs are and . Their union is simply the huge first disk; the small second disk contains no eigenvalue. After scaling, both radii are , giving or . The two Gershgorin discs overlap, so their individual eigenvalue counts are not certified. The scaled matrix is a real symmetric matrix, however, so matrix similarity now proves that the original matrix has real eigenvalues in and is an invertible matrix. Directly, both matrices have characteristic polynomial , hence
The scaling changes the available bounds, while these eigenvalues stay fixed.
Figure 1.
Diagonal similarity scaling replaces a radius-100 Gershgorin disc by two radius-1 discs while preserving both eigenvalues
. Details.
For the Dirac representation of the gamma matrices, the unitary matrix
sends to while commuting with every spatial gamma matrix. This is the standard Weyl representation of the gamma matrices with spatial blocks . The similarity transformation preserves the Clifford algebra relations. Changing block-order or chirality conventions can change the displayed transformation, so its direction must be specified.
If a -dimensional invariant subspace is mapped to the span of the first coordinate vectors by a similarity transformation, the transformed matrix has block form
Its characteristic polynomial factors as , so its eigenvalues are the eigenvalues of the two diagonal blocks, counted with algebraic multiplicity.
Gamma matrix adjoint and transpose identities Created 2026-10-06 Updated 2026-10-14
In the standard Dirac representation of the gamma matrices, and , so . The transpose signs in that representation are positive for and negative for . The charge-conjugation matrix expresses the basis-independent intertwining relation . Under an arbitrary nonunitary similarity transformation, the Hermitizing matrix changes by inverse Hermitian congruence; it need not equal the transformed temporal gamma matrix.
The virtual similarity transformation leaves every periodic MPS amplitude invariant by cyclicity of the matrix trace. The fundamental theorem of matrix product states says that, up to an overall phase, this is the only ambiguity for injective uniform tensors.
A claimed inverse matrix C for a finite square matrix A must satisfy . A single product entry differing from the identity matrix disproves the claim. Conversely, in finite dimension one exact identity such as already implies that A has full rank, so A is invertible and ; the other product then equals I as well. Checking the product is useful before using a supplied inverse in a similarity transformation.
Multiplication by each column of gives
Since is invertible, its columns are an eigenbasis and the similarity transformation gives
There is an important source variant: the alternative scanned copy supplies an erroneous inverse with an extra factor and a different top-right entry. Calling that supplied matrix , direct multiplication gives , so it cannot be . Inverting instead gives
This is the inverse in the cleaner copy used here. Using the scanned erroneous matrix would make nondiagonal, so correcting the inverse is necessary before applying the stated diagonalization. The inverse-matrix verification test catches the error without assuming the claimed outcome.
A power of a diagonal matrix acts entrywise. Thus
From , adjacent factors cancel in repeated multiplication, giving
This is the matrix power rule for a similarity transformation, proved directly rather than by taking powers of separate noncommuting factors.
The determinant is multiplicative and unchanged by a similarity transformation. Hence
For , expansion of the original determinant gives
in agreement with the product of its eigenvalues.
Use completing the square in the Hermitian form , rather than unitary diagonalization of a normal matrix. The first pivot is one, so
A second square completion gives
Therefore one answer is
The diagonal entries of are rational, , and the displayed identity for every proves .
If were a unitary matrix, this matrix congruence would also be a similarity transformation, so the diagonal entries of would be the eigenvalues of . Its characteristic polynomial is
Thus its eigenvalues are , two of which are irrational. A unitary factor cannot give a rational diagonal here. Alternatively, the permitted rational root theorem implies that three rational eigenvalues would all be integers, whereas the quadratic factor has no integer roots.
Use the Leibniz definition of the determinant:
For the permuted-column matrix, . Reindex the sum by . The sign of a permutation is multiplicative, so . It follows directly that
For the matrix transpose, the products in its determinant are . Set to obtain , and use . This proves . These facts also show that equal columns, or equal rows by transposition, force the determinant to be zero: exchanging the equal pair leaves the matrix unchanged but changes the determinant's sign.
Let be the matrix obtained by deleting row and column , with the empty determinant taken as one for . Define the cofactor and the adjugate matrix by . Grouping the Leibniz sum according to the column chosen in row gives the cofactor expansion : deleting that row and its chosen column leaves a permutation of entries, with sign factor . Therefore
When this is . When it is the cofactor expansion along row of the matrix formed by replacing that row with row ; its remaining minors are unchanged, and its two equal rows give determinant zero. The column version proves the other product in the same way. Thus the adjugate identity is
For the real matrices , let . The determinant definition makes this a real polynomial of degree of a polynomial at most . Since is invertible, the allowed converse implies , so is not the zero polynomial. It has at most real roots of a polynomial. Choose a real outside those roots; the adjugate argument proves that is invertible.
Finally write the given complex similarity transformation as . The relation , with real, yields and by comparing real and imaginary parts. Choose the preceding and put . Then , so
This proves real similarity from complex similarity by constructing a real intertwiner, rather than requiring or separately to be invertible.
A trace-zero Hermitian matrix has the unique form
Set , and . Then it is exactly ; these assignments also prove uniqueness. This is the real Pauli matrix representation .
For a unitary matrix, . Thus
and invariance of the matrix trace under similarity transformations gives . Therefore conjugation maps the space to itself.
Finally,
The determinant is invariant under similarity transformations, so implies
A Jordan normal form of a complex matrix is a similarity transformation in which is a direct sum of Jordan blocks
For each eigenvalue, the multiset of block sizes is uniquely determined by ; only the order of the blocks is arbitrary. The change-of-basis matrix is generally not unique.
For the given matrix, expansion of the characteristic polynomial gives
The upper-left minor of is , so its rank is and the eigenspace for has dimension . Thus the two occurrences of the eigenvalue belong to a single size- Jordan block. More explicitly, the Jordan chain and the remaining eigenvector can be chosen as
Consequently, with , for which , the answer is
For this question use the mostly-plus Dirac convention: the Minkowski metric is and
This convention matches the printed plane-wave phase and final identity. It is related to the usual mostly-minus Dirac equation by reversing the metric and taking the negatives of the usual gamma matrices. In particular, the resulting Dirac action and its Dirac adjoint describe the same physical massive field. The Dirac gamma matrices are four complex matrices representing the spacetime Clifford algebra with quadratic form . The irreducible complex representation has dimension four. A convenient explicit choice is the negative of the standard Dirac representation of the gamma matrices:
where are the Pauli matrices. Their multiplication law verifies the displayed anticommutator.
In this representation the gamma matrix adjoint and transpose identities are
and
The invariant way to express the latter pattern uses the charge-conjugation matrix:
Individual transpose signs depend on the basis. More generally, a similarity transformation changes the Hermitizing matrix to and the charge-conjugation matrix to . Then and . Thus the simple formula with itself presumes a compatible Hermitian basis, rather than an arbitrary nonunitary similarity transformation.
Applying to the Dirac equation gives . Its mass shell is , so the frequencies are . The Dirac spinor transforms in the four-component Spinor representation of the Lorentz group. Under spatial rotations, the two upper and the two lower components each transform as a two-component spin- representation: the spin angular momentum matrices are . At rest the positive-energy equation selects the upper two components, giving two independent spin polarizations, and the negative-frequency equation selects the lower two.
In the quantum theory a mode expansion is
With the mostly-plus Dirac convention, is positive frequency. The negative-frequency coefficient obeys . The fermionic annihilation operators and satisfy the canonical anticommutation relations, with their respective fermionic creation operators. The excitations are particles; the excitations are antiparticles with the same positive energy, mass and spin- but opposite charge. After normal ordering, the Hamiltonian operator contains positive multiples of . Reinterpreting the negative-frequency part as antiparticle creation supplies a spectrum bounded below rather than a physical tower of negative-energy particles.
For the printed wave, . Substitution gives
The spin label indexes the two states of a spin- particle, rather than varying the particle's total spin. For real on-shell , Hermitian conjugation and give
These are right and left null-vector equations for the same on-shell matrix.
To obtain the Gordon identity, take both external Dirac spinors to have the same real mass . Their two equations imply
Define . The Clifford algebra relation yields
Therefore
Multiplying the previous null-vector equation by proves the required formula exactly:
For it can be solved for the vector-current matrix element, separating a momentum term from the antisymmetric Dirac spinor term. The identity before division also holds at . The signs depend jointly on the metric, Clifford relation, Dirac mass term and plane-wave phase. In the mostly-minus convention of Questions 1 and 3, the printed phase instead gives ; the corresponding identity uses in the antisymmetric term. Mixing that convention with the formula proved here would produce an apparent sign error.
A Dirac-to-Weyl gamma-matrix similarity transform with the required signs is
It is a unitary matrix, with . Multiplication gives
The matrix commutes with every : their common block structure uses the same antisymmetric block matrix, and the scalar blocks of commute with each Pauli matrix. Hence , exactly the spatial matrices specified in the Weyl representation of the gamma matrices. A similarity transformation preserves every Clifford algebra relation, so no new consistency check is needed for the transformed representation.
Since and ,
Thus the first column of is , and is a block upper triangular matrix:
where is its bottom-right submatrix. Therefore
A similarity transformation preserves the characteristic polynomial, so
with algebraic multiplicities included.
To construct , use a Householder transformation. With , choose the sign of to avoid cancellation and set
Then is an orthogonal matrix and maps to up to the chosen sign. If already lies on the first coordinate axis, take a suitable diagonal sign matrix. This is the one-vector case of orthogonal coordinate reduction of a subspace.
For a nonzero vector , a Householder reflection is
It is immediately symmetric. If , then , so
Hence is also an orthogonal matrix, with .
The similarity transformation can be expanded as
Computing , , and the scalar costs arithmetic operations, after which the remaining updates are outer products and scalar multiples, also costing . Thus can be formed in operations rather than by two general matrix multiplications.
The similarity transformation gives . In the matrix power, each adjacent pair cancels to the identity matrix:
This also follows by mathematical induction: the formula holds for , and multiplication by turns its th instance into the st.