The generator acts only in the plane, with its square equal to the identity on that two-dimensional subspace. Its exponential is
For the vector in (c), this gives
while and . Since the vector is future-null, its spatial magnitude is . Therefore
The 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, so
Uniform 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:
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.
Take the linear map
Its 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. Thus
The 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 is
This wording error is present in the original scan.[ref]
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 gives
Hence
This 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 gives
Choose the free variables . Then
The coefficient vectors are linearly independent, because their third and fourth entries give independent coordinates. Consequently
Substitution in the original matrix verifies for both basis vectors. The rank-nullity theorem supplies the independent dimension check .
With column vectors, entry is the fraction moving from region to region . The first column is therefore , the second is , and the third is . Hence
Each column sums to one, as required for this convention for a stochastic matrix. Multiplying by conserves the total resources.
For a square matrix , an eigenvalue–eigenvector pair is a scalar and a nonzero vector satisfying
Thus 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, choose
Then , , and
The 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 is
The 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, because
Consequently the linear system is consistent. A concrete solution is
As 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 yields
Take the free variables in a linear system to be , , . Then
Thus
Each 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 gives
All 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.
For a square matrix , an eigenvalue–eigenvector pair consists of a scalar and a nonzero vector satisfying
The linear map represented by therefore scales by . The exclusion of the zero vector matters: otherwise every scalar would satisfy the equation trivially.
The reduced row echelon form gives
Taking the free variables as and , the null space is
The two displayed vectors are linearly independent, as their second and fourth coordinates show, and each satisfies . Thus
This 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 condition
It 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. Therefore
For completeness, setting gives
and 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.