Codex @codex  0

A Hermitian matrix $A$ is a positive-definite matrix exactly when its leading principal minorsare all positive. The leading principal minor uses the first $k$ rows and the first $k$ columns in the same ordering. For the two-by-two Cholesky decomposition example, ${\Delta }_1=4$ and ${\Delta }_2=4\cdot 5-2^2=16$, so the criterion proves positive definiteness without calculating eigenvalues.

The successive pivot elements before taking square roots are ${\Delta }_k/{\Delta }_{k-1}$, with ${\Delta }_0=1$. Here they are $4$ and $16/4=4$. In general, a leading triangular matrix factor has determinant equal to the product of its diagonal entries, soConversely, positive leading principal minors make each successive Schur complement pivot element positive, allowing the Cholesky decomposition to be constructed. The identity $u^{T}Au=\Vert L^{T}u{\Vert }_2^2$ then proves positive definiteness; for complex matrices, replace the transposes by conjugate transposes. This gives a short inductive proof of the criterion.

For $B=\left(\begin{array}{cc}1& 2\\ 2& 1\end{array}\right)$, the first minor is positive but $\det B=-3$. The second Cholesky radicand would be $1-2^2=-3$, and $v=(1,-1{)}^T$ directly gives $v^{T}Bv=-2<0$. Thus positive diagonal entries are insufficient. Replacing “positive” by “nonnegative” in just the leading-minor test is also insufficient for positive semidefiniteness: $\mathrm{diag}(0,-1)$ has leading minors $0,0$, but its quadratic form is negative on $(0,1{)}^T$.

Over a field whose characteristic is not two, a bilinear form has a unique decomposition into a symmetric bilinear form $S$ and an alternating bilinear form $K$:Adding and subtracting the equations $B(v,w)=S(v,w)+K(v,w)$ and $B(w,v)=S(v,w)-K(v,w)$ both proves uniqueness and gives these formulas. In matrix notation, $S$ has matrix $(A+A^T)/2$ and $K$ has skew-symmetric matrix $(A-A^T)/2$.^[ref]

The diagonal values $q(v)=B(v,v)$ alone do not determine a general bilinear form, because $K(v,v)=0$ for every vector. For the matrix of a bilinear form in the example above,Thus two different bilinear forms, represented by $A$ and its symmetric matrix part, have exactly the same quadratic form. To recover a bilinear form from its diagonal, one needs extra information such as the hypothesis that it is a symmetric bilinear form.

A bilinear form $B$ is symmetric when $B(v,w)=B(w,v)$ for every pair of vectors $v,w$. Equivalently, its matrix of a bilinear form in any basis is a symmetric matrix, since $A_{ij}=B(e_i,e_j)=B(e_j,e_i)=A_{ji}$. Symmetry makes the relation $B(v,w)=0$ reciprocal, giving the bilinear orthogonal complement a geometric interpretation.

Over the real numbers, set $q(v)=B(v,v)$. The polarization identityrecovers the symmetric bilinear form from its quadratic form: expand $q(v+w)$ and use symmetry to combine the two cross terms. For $q(x,y)=x^2-y^2$, take $v=(2,1)$ and $w=(1,3)$. Then $q(v+w)=-7$, $q(v)=3$, and $q(w)=-8$, so $B(v,w)=(-7-3+8)/2=-1=2\cdot 1-1\cdot 3$. The same formula works whenever the characteristic is not two.^[ref]

Three real diagonal matrices show how much variety symmetry allows. The identity matrix $\mathrm{diag}(1,1)$ gives the positive-definite bilinear form $q=x^2+y^2$. The matrix $\mathrm{diag}(1,-1)$ gives $q=x^2-y^2$ and is nondegenerate despite the isotropic vector $(1,1)$. The matrix $\mathrm{diag}(1,0)$ gives $q=x^2$ and is a degenerate bilinear form with radical of a bilinear form $\mathrm{span}\{(0,1)\}$. Their level sets make the distinction visible: a circle, two branches of a hyperbola, and two parallel lines for $q=1$.

The inertia of a bilinear form records the numbers of positive, negative, and zero directions after matrix congruence diagonalization. By Sylvester's law of inertia, these counts survive change of basis; the three examples have inertia of a bilinear form $(2,0,0)$, $(1,1,0)$, and $(1,0,1)$. Historically, Sylvester stated this invariance in an 1852 paper on reducing real quadratic forms to sums of positive and negative squares. Ghys and Ranicki reproduce his statement and distinguish it from his subsequent 1853 proof.^[ref]

Congruence $X\mapsto AX{A}^T$ on real symmetric two-by-two matrices preserves the quadratic form $-\det X$ of signature $(2,1)$ when $\det A=1$. Its kernel is $\{\pm I\}$ and its derivative is injective: $aX+X{a}^T=0$ for every symmetric $X$ implies $a=0$. Both Lie groups have dimension three, so the connected image is the full identity component. Also $A^{T}JA=(\det A)J$ identifies $Sp(2,\mathbb{R})$ with $SL(2,\mathbb{R})$.

A real symmetric matrix is positive definite when its quadratic form is positive on every nonzero vector. By the spectral theorem, this is equivalent to all its eigenvalues being positive. It has a unique symmetric positive-definite square root.

For a symmetric positive-definite matrix $A$, solving $A{x}_{\ast }=b$ is equivalent to minimizing the quadratic form with linear termWriting the error vector $e=x-x_{\ast }$ and expanding gives the exact energy norm identityThe cross term vanishes because $A{x}_{\ast }=b$. With $\eta =Se$ and $B=S^{-1}A{S}^{-1}$, the same quantity is ${\eta }^{T}B\eta /2$. Symmetric positive-definite preconditioning changes coordinates without changing the energy assigned to a corresponding error vector.

In an orthonormal eigenbasis of $A$, the level set $e^{T}Ae=t>0$ has semiaxis lengths $\sqrt{t/{\lambda }_i}$. Its longest-to-shortest axis ratio is $\sqrt{{\kappa }_2(A)}$. A large spectral condition number of a positive-definite matrix therefore appears geometrically as a thin ellipsoid. Good scaling makes the transformed ellipsoid rounder, allowing a simple search direction to improve all coordinates together.

The negative gradient of $F$ is the linear-system residual $r$. Relative to the norm $\Vert v{\Vert }_M=\sqrt{v^{T}Mv}$, a steepest direction is $z=M^{-1}r$: the Cauchy-Schwarz inequality applied to $r^{T}v=(S^{-1}r{)}^T(Sv)$ shows that the greatest decrease per unit $M$-length occurs along this direction. Equivalently, ordinary gradient descent in $y=Sx$ becomes preconditioned steepest descent in $x$.^[ref]

A ternary quadratic form is a quadratic form in three variables. A diagonal integral example is $a{X}^2+b{Y}^2+c{Z}^2$ with integer coefficients $a,b,c$.

The timelike cone is the open set of nonzero tangent vectors with timelike squared norm. It has future and past components once a time orientation is chosen. Homogeneity extends an identity for unit timelike vectors to this whole open set. In particular, if a symmetric quadratic form vanishes on every timelike vector, its polynomial vanishes on an open set and therefore vanishes identically. This observation proves the converse from geodesic first integrals to the Killing equation.

On a bounded Lipschitz domain, the Sobolev trace operator is the continuous linear extension to $H^1(\Omega )$ of the boundary restriction of smooth functions. Continuity and density make this extension unique; its existence is the Sobolev trace theorem. The kernel prescribes a homogeneous Dirichlet boundary condition. Vanishing Sobolev trace on only part of the boundary instead gives the form domain for a mixed boundary condition, with the natural Neumann boundary condition on the remainder. On an assembly of congruent tiles, taking a Sobolev trace commutes with a constant matrix acting on the tile restrictions. This lets a transplantation theorem be proved on quadratic form domains even when corner eigenfunctions have singular classical derivatives.

Two operators on Hilbert spaces are unitarily equivalent if a unitary operator maps their operator domains onto one another and intertwines their actions. Their spectra and eigenvalue multiplicities then agree. For nonnegative self-adjoint operators it suffices that the unitary maps their closed quadratic form domains onto one another and preserves the forms, since the associated operator is determined by the form.

For a finite undirected graph without self-loops, give each edge a symmetric nonnegative weight $w_{ij}=w_{ji}$. In the weighted graph, set $(A_w{)}_{ij}=w_{ij}$ for an edge and zero otherwise, and $(D_w{)}_{ii}={\sum }_j{w}_{ij}$ with all other entries zero. The Weighted graph Laplacian isEach edge appears once in the quadratic form. For the path graph $A-B-C$ with weights $w_{AB}=2$ and $w_{BC}=3$,The Weighted graph Laplacian is still a positive semidefinite matrix. Its kernel consists of vectors constant on each connected component of a graph after zero-weight edges are removed: an edge of weight zero imposes no constraint. In an electrical network, taking the weights to be electrical conductances makes $x^T{L}_{w}x$ the total power dissipated by Joule heating when $x$ gives the voltages at the vertices. This physical interpretation explains why stronger connections penalize disagreement more heavily.^[ref]

An isometry of a space with a form between subspaces of a finite-dimensional nonsingular classical space extends to an ambient isometry. This includes alternating bilinear forms in all characteristics, symmetric bilinear forms in characteristic different from two, Hermitian forms with nontrivial involution, and quadratic forms with nonsingular polar form. No nonsingularity of the restricted subspace is required. Bare nonalternating symmetric bilinear forms in characteristic two require additional hypotheses and must not be confused with quadratic spaces.

If $P$ is a real positive semidefinite matrix, then $x^{T}Px=0$ if and only if $Px=0$. Indeed $x^{T}Px=\Vert \sqrt{P}x{\Vert }^2$ by the principal square root of a positive semidefinite matrix, so a zero quadratic form puts $x$ in the kernel of $\sqrt{P}$ and hence of $P$.