Diagonal scaling of Gershgorin discs 2026-10-14
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]
https://cklixx.people.wm.edu/teaching/math408/408-note.pdf. Chi-Kwong Li, Math 408 lecture notes, §6.1: similarity transformations for eigenvalue localization
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 , henceThe scaling changes the available bounds, while these eigenvalues stay fixed.
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 matrixsends 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 formIts 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.
Inverse-matrix verification test 2026-10-25
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.
Past exam of the mathematical methods I course of the University of Oxford 2015 resit 11 a Solution 2026-10-25
Multiplication by each column of givesSince is invertible, its columns are an eigenbasis and the similarity transformation givesThere 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 givesThis 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.
Past exam of the mathematical methods I course of the University of Oxford 2015 resit 11 b Solution 2026-10-25
A power of a diagonal matrix acts entrywise. ThusFrom , adjacent factors cancel in repeated multiplication, givingThis is the matrix power rule for a similarity transformation, proved directly rather than by taking powers of separate noncommuting factors.
Past exam of the mathematical methods I course of the University of Oxford 2015 resit 11 d Solution 2026-10-25
The determinant is multiplicative and unchanged by a similarity transformation. HenceFor , expansion of the original determinant givesin agreement with the product of its eigenvalues.
Past exam of the mathematics course of the University of Cambridge 2001 ib Paper 3 9B Solution Created 2026-09-24 Updated 2026-10-14
Use completing the square in the Hermitian form , rather than unitary diagonalization of a normal matrix. The first pivot is one, soA second square completion givesTherefore one answer isThe 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 isThus 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.
Past exam of the mathematics course of the University of Cambridge 2003 ib Paper 3 17G Solution Created 2026-09-24 Updated 2026-10-14
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 thatFor 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 . ThereforeWhen 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 , soThis proves real similarity from complex similarity by constructing a real intertwiner, rather than requiring or separately to be invertible.
Past exam of the mathematics course of the University of Cambridge 2006 ia Paper 1 7B ii Solution Created 2026-09-24 Updated 2026-10-14
A trace-zero Hermitian matrix has the unique formSet , and . Then it is exactly ; these assignments also prove uniqueness. This is the real Pauli matrix representation .
For a unitary matrix, . Thusand invariance of the matrix trace under similarity transformations gives . Therefore conjugation maps the space to itself.
Past exam of the mathematics course of the University of Cambridge 2008 ib Paper 4 1E Solution Created 2026-09-24 Updated 2026-10-14
A Jordan normal form of a complex matrix is a similarity transformation in which is a direct sum of Jordan blocksFor 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 givesThe 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 asConsequently, with , for which , the answer is
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 301 2 Solution Created 2026-10-03 Updated 2026-10-06
For this question use the mostly-plus Dirac convention: the Minkowski metric is andThis 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 areandThe 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 isWith 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 givesThe 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 giveThese 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 implyDefine . The Clifford algebra relation yieldsThereforeMultiplying 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.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 301 2 c Solution Created 2026-10-03 Updated 2026-10-05
A Dirac-to-Weyl gamma-matrix similarity transform with the required signs isIt is a unitary matrix, with . Multiplication givesThe 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.
Past exam of the mathematics course of the University of Cambridge 2018 ii Paper 1 40E a Solution Created 2026-09-24 Updated 2026-10-03
Since and ,Thus the first column of is , and is a block upper triangular matrix:where is its bottom-right submatrix. ThereforeA similarity transformation preserves the characteristic polynomial, sowith algebraic multiplicities included.
To construct , use a Householder transformation. With , choose the sign of to avoid cancellation and setThen 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.
Past exam of the mathematics course of the University of Cambridge 2021 ib Paper 2 17B a Solution Created 2026-09-24 Updated 2026-09-25
For a nonzero vector , a Householder reflection isIt is immediately symmetric. If , then , soHence is also an orthogonal matrix, with .
The similarity transformation can be expanded asComputing , , 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.
If , the representation law gives . Trace invariance under this similarity transformation givesThus the character of a representation is constant on every conjugacy class.
The trace is invariant under a similarity transformation, by cyclicity of the trace:Hence equivalent representations have the same character of a representation.
