Associativity of matrix multiplication identifies . Thus each matrix has the required action and .
Consequently for every . Taking successively as the standard basis vectors shows that every column of this difference is zero. Hence . Equality on one selected vector would not suffice; here it holds on all vectors.
By matrix multiplication, . A potentially nonzero term requires because is a diagonal matrix, and because is a diagonal matrix. For these requirements cannot both hold. Thus every summand is zero and whenever .
For , the upper entry of in positions is , and the corresponding lower entry is . They are equal when . All coefficients used here are positive, so choose
Direct matrix multiplication gives the symmetric matrix
Its pattern remains tridiagonal. This is positive diagonal symmetrization of a tridiagonal matrix.
The update must place the sum of the two current entries in the first coordinate and retain the old first coordinate in the second. Thus choose the matrix
By matrix multiplication, for every , using the given recurrence relation. This is the companion-matrix representation of the Lucas numbers.
Multiply the original equation on the left by to obtain
Each term on the right commutes with . Thus
No general commutativity of matrix multiplication is being assumed; it follows from this particular expression for .
An integer-entry example is
Direct matrix multiplication gives , so adding and gives the zero matrix. Equivalently, this is the companion matrix of and has the two nonreal cube roots of unity as eigenvalues. The direct multiplication is already a complete proof. It also shows why part (e) does not extend to all real square matrices: with this , choosing satisfies the original product identity.
, approximately , arithmetic operations. Strassen's algorithm replaces an matrix multiplication by seven products of half-size blocks and a constant number of block additions and subtractions. Consequently
The Master theorem applies with , , since . Padding an arbitrary matrix dimension to the next power of two changes the dimension by less than a factor of two and preserves this asymptotic bound. The cost model counts scalar arithmetic as constant time; it is not a bit-complexity claim for arbitrarily large integer entries.
Apply Gaussian elimination to the supplied nonsymmetric matrix,
The first pivot element is , with elimination multiplier . Perform , giving
The second pivot element is , with elimination multiplier . Perform , then use the third pivot element and elimination multiplier to perform . The LU factorization is
Here is a unit lower triangular matrix, hence an invertible matrix, and is an upper triangular matrix. No row interchange is needed: all three pivot elements used in elimination are nonzero. The final diagonal entry is zero, with an entirely zero last row; there is no further division by it. The three nonzero rows of are linearly independent, so the matrix rank is and is a singular matrix. Direct matrix multiplication gives .
For a polynomial , substitute a fixed square matrix for , taking . In particular, becomes , not with the scalar added separately to each entry. Polynomials in the same matrix commute with each other, even though arbitrary matrix multiplication is noncommutative.
Prefix scan Created 2026-10-14 Updated 2026-10-20
A prefix scan computes successive accumulated results for an associative operation while keeping input order fixed. A scan based on addition produces prefix sums; one based on matrix multiplication produces successive ordered matrix products. Associativity allows regrouping, while commutativity is unnecessary because the order stays fixed. If an initial empty prefix is included, its value is the identity element for the chosen operation.
The ability to compute accumulated results does not by itself allow subtraction of two prefixes. For example, two accumulated minima cannot reveal a block minimum: the lists and both have successive minima , but the minimum of positions two through three is seven for one and two for the other. Prefix sums support block recovery because addition has additive inverses; an arbitrary associative operation need not have that property.
QR decomposition Created 2026-09-24 Updated 2026-10-14
A reduced QR decomposition of an matrix over the real numbers with full column rank, , writes , where is with orthonormal columns and is a upper triangular matrix with positive diagonal. Applying the Gram-Schmidt process to the columns of constructs and records the coefficients
This last column identity is exactly the matrix multiplication . The upper triangular matrix records that the th input uses only the first new directions, while its positive diagonal records the norms of the nonzero orthogonal projection residuals. Since , one also has ; denotes the transpose and the identity matrix. Over the complex numbers, use the conjugate transpose in these identities.
For the three-dimensional Gram-Schmidt process example, the exact matrices are
For example, the last column reconstructs as
The diagonal entries are approximately . Each is a norm of the new direction before it was scaled to length one.
For a linear least-squares problem, the orthogonal projection of onto the column space of is . Hence the minimizing coefficients solve the linear system by back substitution. Let consist of the first two columns of the example; its reduced factors are and the leading block of . For , the linear system is
Thus , agreeing with the orthogonal projection computed above, and the minimum Euclidean norm of is . The QR decomposition separates building an orthonormal basis from recovering coefficients in the original basis.[ref]
Ramsey interferometry 2026-10-18
Ramsey interferometry uses two coherent pulses with a free interval between them: the first creates a quantum superposition, the interval accumulates relative quantum phase, and the second converts that quantum phase into measurement probabilities. Its attraction is that an ordinary population readout can reveal the quantum coherence hidden from an energy measurement during the free interval.
Here is an ideal qubit model with an explicit pulse convention. Let , prepare , apply , evolve freely with , and apply the inverse pulse before a computational-basis measurement. The first pulse gives . Direct matrix multiplication gives
Thus the Born rule gives and . Before the second pulse, the same computational-basis measurement would give for both outcomes for every . At , the second pulse changes these probabilities to and . If the two pulses have the same sign instead, the output labels interchange: the pulse convention is part of the prediction.
Figure 1.
An ideal Ramsey sequence turns relative phase into population
. Original pulse-sequence schematic and exact probabilities for . Dashed lines show a separate readout with the second pulse omitted. Instantaneous perfect pulses and noiseless free evolution are idealizations, not experimental measurements. Details.
In a pulse experiment the phase is measured relative to the oscillator supplying the coherent pulses. In a rotating frame, write the free Hamiltonian operator as with signed angular frequency difference in the chosen labeling convention. A free interval then accumulates ; changing the second pulse's phase changes the analysis direction. This comparison makes Ramsey interferometry useful for measuring frequency differences and diagnosing loss of quantum coherence.
For example, suppose the first pulse has prepared a density matrix with equal populations and transverse Bloch vector length :
The same inverse analysis pulse yields . The pure state case gives the full ideal fringe; the mixed state gives the flat result . This is a controlled mathematical comparison, not a fit to an experiment. Experimental contrast alone does not identify quantum decoherence: imperfect preparation, pulse errors and readout errors can also reduce it.
Recursive inverse of a lower triangular matrix Created 2026-10-25 Updated 2026-10-31
For an invertible lower triangular matrix, the scalar pivot and the remaining triangular block are both invertible. The displayed formula follows by matrix multiplication: the lower-left block in the product is , and the diagonal blocks are identities. Recursively invert , compute , and assemble the inverse matrix; the one-dimensional base case is . This recursion reduces the size by one at each step.
When a fixed matrix is used with several forcing or measurement vectors, compute its Pivoted LU decomposition once. Collect right-hand sides into the columns of , and the corresponding solutions into . Then
Each column undergoes the same row permutation, forward substitution and back substitution. Neither , nor depends on . This is the useful separation between preparing a linear system and applying its solution procedure repeatedly. LAPACK implements it by taking previously computed factors, permuting all right-hand sides, and performing the two triangular solves.[ref]
For the unpivoted factors in Computed three-by-three LU decomposition, take
Direct matrix multiplication checks all three identities , and . The first column reproduces the previous solve; the other two use exactly the same factors. New right-hand sides can also arrive one at a time. If changes, these stored factors generally need to be recomputed.
Figure 1.
One row permutation fixes a zero pivot element; each new right-hand side reuses the same LU decomposition and two triangular solves
. Details.
Ring Created 2026-09-24 Updated 2026-10-14
A ring is a set with two binary operations, addition and multiplication, satisfying three requirements. Under addition, is an abelian group: there is a zero, every element has an inverse element, and grouping or exchanging summands does not change the result. Multiplication is associative and has an identity element , so and . Finally, both versions of the distributive property hold:
Here every ring is unital, but the zero ring, with , is allowed. Commutativity of multiplication is an additional condition defining a commutative ring. These conventions agree with [ref].
The integers form a ring with their usual operations. The polynomial ring is another: addition combines coefficients, while multiplication uses the distributive property. For example,
The same rules justify symbolic calculations in both rings; this is why one definition can organize apparently different kinds of arithmetic. In every ring, , and . The first identity follows by distributing and subtracting ; the second follows by distributing . Thus familiar sign rules are consequences of the structure.
Order still matters in some rings. In the matrix ring , take
Then matrix multiplication gives
Nevertheless, matrix multiplication is associative, distributes over addition, and has the identity matrix as its identity element. This is a valid ring. On a column vector, applies first and second: swapping coordinates before discarding the second coordinate differs from doing those actions in reverse. The failure of commutativity records a meaningful difference in function composition.
Figure 1.
Two orders of matrix multiplication give different outputs on the same vector
. Details.
Work over the rational numbers, allowing unknowns in the real numbers when interpreting the geometry. Consider four equations in three unknowns:
The third row of is the sum of its first two rows, and the fourth is their difference, second minus first. The same relations must hold on the right: consistency requires and . The latter condition already holds. Gaussian elimination makes this compatibility test explicit while exposing the remaining freedom.
Apply the elementary row operations in this order, using each row's current value:
then and . The resulting augmented matrix is in row echelon form for every :
When , the third row has its pivot element in the augmented column. It says , so the linear system has no solution. When , that entire row vanishes and only two pivot elements remain. More equations than unknowns therefore do not force a unique solution: some equations may repeat information.
The final operation reduces the coefficient block to
The product of all six elementary matrices is
Direct matrix multiplication verifies both displayed transformations. Its determinant is one, so this transformation is reversible. In particular, the third row of extracts the discrepancy between the third equation and the sum of the first two.
Figure 1.
Row echelon form exposes compatibility; a right-hand-side pivot element distinguishes inconsistency from a free variable in a linear system
. Details.
For , is the reduced row echelon form of the full augmented matrix. For , only its coefficient block is reduced: scale the third row by and clear the entries above its augmented pivot element. The full reduced row echelon form is then
The last column is part of the matrix when testing the echelon conditions. Calling fully reduced before clearing that column would miss this distinction.
Small rotation commutator 2026-10-14
Use the cross-product Lie algebra convention , , , so . Put and , using the matrix exponential. The finite group commutator is
Here and big O notation refers to any fixed matrix norm. Active rotation matrices act on column vectors from right to left: first rotate about by , then about by , then about by , and finally about by . Swapping and replaces the product by its inverse and changes the leading Lie bracket to .
Writing and , direct matrix multiplication gives
For radians, , whereas . Thus the residual is a positive rotation about to leading order; at finite it also has smaller components. The Lie bracket captures the leading effect of the four moves rather than their entire finite motion. See Etingof, Section 7.2, Proposition 7.11.
Figure 1.
Four small rotations leave the motion predicted by their Lie bracket
. Details.
The left panel projects the actual four arcs onto the -plane for ; the start and endpoint are close but distinct. The right panel divides the residual coordinates by , making the limit visible. This is a numerical picture of in the SO(3) Lie algebra.
Stationary distribution existence for a finite Markov chain Created 2026-10-25 Updated 2026-10-31
Every finite Markov chain has a stationary distribution, without requiring Markov chain irreducibility or aperiodicity. For a row-stochastic matrix , put and choose a column probability vector . Every lies in the probability simplex. Their arithmetic averages therefore lie in this compact set, while telescoping gives
A convergent subsequence has a limit in the probability simplex. Continuity of matrix multiplication gives , so is a stationary distribution. The individual iterates need not converge: a deterministic two-state swap alternates its point masses forever.