The generator acts only in the plane, with its square equal to the identity on that two-dimensional subspace. Its exponential isFor the vector in (c), this giveswhile and . Since the vector is future-null, its spatial magnitude is . ThereforeThe transverse azimuth does not change. These are exactly the direction and scale obtained from the spinor congruence. In particular and . The azimuth-sign qualification in (c) is compatible with this check because a boost along leaves both transverse coordinates unchanged.
Interpret the two displayed exchange components as belonging to the common nearest-neighbour sum with coefficient . Write and, for , . The source explicitly fixes but does not separately constrain in this question; keeping covers either field direction.
For classical vectors of length , define . The Cauchy-Schwarz inequality gives , and . Each term is therefore bounded below, soUniform alignment along the field saturates every bound:Equality requires all planar vectors to be parallel with length , and the nonzero field then fixes their direction. At , every uniformly oriented vector in the plane is a classical ground state:A nonuniform configuration cannot improve these simultaneously saturated bond bounds, including on the periodic ring.
A phase transition is a qualitative change of thermodynamic phase as control parameters such as temperature, pressure or chemical potential are varied. A genuine equilibrium singularity is a nonanalyticity of the appropriate thermodynamic potential in the thermodynamic limit; finite systems generally show rounded crossovers instead.
An order parameter is a macroscopic quantity that distinguishes the phases. It often vanishes in a symmetric disordered phase and becomes nonzero after spontaneous symmetry breaking, although density-driven transitions need not have that simple symmetry interpretation. It can be a scalar, vector or tensor. At a first-order phase transition an appropriate first derivative of the free energy is discontinuous, and the order parameter commonly jumps; at a continuous phase transition the order parameter can approach zero continuously while a susceptibility or a higher derivative becomes singular.
Three examples are:
- A ferromagnet below its Curie temperature has a nonzero spontaneous magnetization in zero applied magnetic field. Above the transition, the equilibrium magnetization vanishes in zero field. The direction of selects a broken-symmetry state.
- Near a liquid-gas critical point, the density contrast distinguishes the coexisting liquid and gas. It tends to zero at the critical point; below that point, changing the conjugate chemical potential through coexistence switches between low- and high-density phases.
- At an isotropic-to-nematic transition of a liquid crystal, the nematic order parameter is a symmetric traceless tensor, for example , where is a molecular orientation. It vanishes in the isotropic phase and is nonzero when the molecules preferentially align in a nematic liquid crystal.
These examples also illustrate why an order parameter must reflect the physical distinction between phases rather than merely be any quantity that changes with temperature.
For a linear map , its image of a linear map and kernel of a linear map areTheir dimensions define the rank of a linear map and nullity:The image of a linear map measures which output vectors can occur, while the kernel of a linear map measures which input vectors are sent to zero.
Take the linear mapIts kernel of a linear map consists of all , and its image of a linear map is the same line:Their set intersection is nonzero and their sum is only one-dimensional. In particular, cannot be written as a sum of one vector from each of these vector subspaces. The nonzero set intersection also prevents an internal direct sum of vector spaces. ThusThe matrix is a nonzero nilpotent matrix; its failure of diagonalizability explains why the preceding result does not apply.
Here , so the image of a linear map is the linear span of . These two vectors are linearly independent: if , the and coordinates give and , hence . Consequently the rank of a linear map is two. By the rank-nullity theorem, the nullity is :More explicitly, the relation gives the kernel of a linear map
The printed word “eigenvalues” must read “eigenvectors”: eigenvalues are real numbers, whereas a basis of consists of vectors. The intended assertion isThis wording error is present in the original scan.[ref]
Calculus, linear algebra, discrete mathematics, logic and proof, and models of computation examination paper by the University of Oxford (2005). Printed p. 2, Q2(a), “basis consisting of eigenvalues”
If for an invertible matrix , write for its columns. The matrix identity says . The columns of an invertible matrix are a basis, hence they give the required basis of eigenvectors.
Conversely, put a basis of real eigenvectors into the columns of , with corresponding eigenvalues . The basis property makes an invertible matrix. The equations give , so . This is precisely diagonalizability over the real numbers.
If , the th entry of says . Any is a linear combination , so bilinearity of the dot product givesHenceThis proves the orthogonality for every pair of vectors in the two vector subspaces. In fact the null space equals the orthogonal complement of the row space, since being orthogonal to every row is exactly the system .
The reduced row echelon form givesChoose the free variables . ThenThe coefficient vectors are linearly independent, because their third and fourth entries give independent coordinates. ConsequentlySubstitution in the original matrix verifies for both basis vectors. The rank-nullity theorem supplies the independent dimension check .
For a square matrix , an eigenvalue–eigenvector pair is a scalar and a nonzero vector satisfyingThus the linear map represented by scales this particular direction by . The nonzero condition excludes the zero vector, which would otherwise satisfy the displayed equation for every scalar.
The other eigenvalues are and . Their magnitudes are strictly less than one. All three eigenvalues are distinct, so their eigenvectors form a basis and the matrix is diagonalizable. Every component outside the stationary direction therefore decays under repeated application of .
For an explicit justification, chooseThen , , andThe zero-eigenvalue component disappears after one step. For every ,Thus the shares converge to and the resource vector converges to , since the conserved total is ten. For any other initial resource vector of total , the same eigenvector argument gives the limit .
For a real matrix , the row space is the linear span of its rows in , and the column space is the linear span of its columns in . Its null space consists of the input vectors sent to zero:The rank of a matrix isThe equality of row and column dimensions is the row-rank/column-rank theorem. Each displayed space is a linear subspace of the indicated ambient vector space.
Write the columns of as and the coordinates of the vector as . By the definition of matrix multiplication,Indeed, its th coordinate is , exactly the th coordinate of this linear combination. Since the column space contains every linear combination of the columns, the claim holds for every vector .
The right-hand vector is in the column space, becauseConsequently the linear system is consistent. A concrete solution isAs a compatibility check, the original rows satisfy , and the right-hand entries satisfy the same relation . There are infinitely many solutions, obtained by adding any vector in the null space to the displayed solution.
The reduced row echelon form yieldsTake the free variables in a linear system to be , , . ThenThusEach listed vector lies in the null space, and every solution has the displayed form. Their coordinates in positions 2, 4 and 5 prove linear independence. The dimension also follows from the rank-nullity theorem: .
Solve two triangular linear systems, rather than forming an inverse matrix:For this LU decomposition, forward substitution gives , and . Then back substitution givesAll diagonal entries used as divisors are nonzero. The same LU decomposition can be reused for many right-hand vectors, with only these two triangular solves repeated.
The reduced row echelon form givesTaking the free variables as and , the null space isThe two displayed vectors are linearly independent, as their second and fourth coordinates show, and each satisfies . ThusThis also agrees with the rank-nullity theorem: .
Source gap / TODO: the original printed page 4, confirmed visually, omits the unknown vector. It literally equates a matrix with a vector, so it does not define a well-formed system of linear equations. The following answer is conditional on the usual intended interpretation ; the missing factor is not present in the source.
Under that interpretation, the rows satisfy . Applying this linear relation to the right-hand side gives the necessary consistency conditionIt is sufficient too: the upper-left minor has determinant , so the first two rows are linearly independent. The third row is , and imposes precisely the condition already found. ThereforeFor completeness, setting givesand direct substitution satisfies all three linear equations exactly for those two values of . An unconditional answer to the malformed printed equality awaits a source correction.