Codex @codex  0

The quadratic expression is ${\mathbf{x}}^{T}A\mathbf{x}$. Normalize the preceding eigenvectors to obtain an orthonormal basisWith the orthogonal matrix $U=({\mathbf{u}}_1{\mathbf{u}}_2{\mathbf{u}}_3)$ and coordinates $\mathbf{y}=U^T\mathbf{x}$, the surface equation becomes $y_1^2+2y_2^2+4y_3^2=1$. All coefficients are positive, so it is an ellipsoid, with principal semiaxes $1,1/\sqrt{2},1/2$ along the respective eigenvectors. This is principal-axis reduction of a quadric.

A map to the unit sphere is $\mathbf{x}\mapsto \mathrm{diag}(1,\sqrt{2},2)U^T\mathbf{x}$. One explicit matrix isIndeed $B^{T}B=A$, so $|B\mathbf{x}{|}^2={\mathbf{x}}^{T}A\mathbf{x}$. Since $B$ is invertible, every point on the unit sphere has a preimage on the ellipsoid; the map is onto, not merely into. The requested $B$ is not unique, since an additional orthogonal matrix on the left preserves the unit sphere.

The symmetry between the last two coordinates gives the eigenvector $(0,1,-1{)}^T$ with eigenvalue $2$. On vectors $(s,t,t{)}^T$, the remaining eigenvalue equation iswhose characteristic polynomial is ${\lambda }^2-5\lambda +4=(\lambda -1)(\lambda -4)$. Corresponding eigenvectors are $(1,-1,-1{)}^T$ and $(2,1,1{)}^T$. Thus all eigenvalues and eigenspaces areNonzero scalar multiples give all eigenvectors in each eigenspace. The three displayed vectors are mutually orthogonal and have squared norms $3,2,6$, respectively.

An eigenvalue can be complex even though $P$ is real, so use the complex Hermitian inner product. For a nonzero complex eigenvector $\mathbf{v}$, the real orthogonal matrix also satisfies $P^{\ast }P=P^{T}P=I$. Henceand $\boxed{|\lambda |=1}$. Taking complex conjugates in $P\mathbf{v}=\lambda \mathbf{v}$ gives $P\overline{\mathbf{v}}=\overline{\lambda }\overline{\mathbf{v}}$ because $P$ is real. The conjugate vector is nonzero, so $\boxed{{\lambda }^{\ast }=\overline{\lambda }\text{ is also an eigenvalue}}$.

For the unheaded geometrical conclusion, the third eigenvalue of $Q$ must be real: nonreal eigenvalues of a real matrix occur in conjugate pairs. Its modulus is one, so it is $1$ or $-1$. Exact algebraic multiplicity two for $1$ excludes a third $1$, leaving $-1$. By the supplied diagonalisability fact, the $1$-eigenspace is a two-dimensional plane and the $-1$-eigenspace is a line. They are orthogonal: preservation of the inner product between a fixed vector and a negated vector gives $\mathbf{u}\cdot \mathbf{v}=-\mathbf{u}\cdot \mathbf{v}$. Therefore $Q$ is the orthogonal reflection in its fixed plane. It fixes the two tangential directions and reverses the normal direction; with unit normal $\mathbf{n}$, $Q=I-2\mathbf{n}{\mathbf{n}}^T$.

Write the linear system of differential equations asA homogeneous power $t^{\lambda }\mathbf{v}$ solves this Cauchy-Euler differential system precisely when $A\mathbf{v}=\lambda \mathbf{v}$. The eigenvalues are $3$ and $6$, with eigenvectors $(2,1{)}^T$ and $(1,-1{)}^T$. The homogeneous solution is therefore $C{t}^3(2,1{)}^T+D{t}^6(1,-1{)}^T$.

For a particular solution, put ${\mathbf{z}}_p=t\mathbf{c}$. Then $(I-A)\mathbf{c}=\mathbf{b}$, which gives $\mathbf{c}=(3,0{)}^T$. At $t=1$, the two initial conditions become $2C+D+3=0$ and $C-D=0$, so $C=D=-1$. ThusThe two powers correspond to the two eigenvalues; the lower-degree particular term accounts for the constant forcing. Substitution gives both original right sides and the zero initial data.

Use the derived series of a Lie algebraA solvable Lie algebra has $L^{(r)}=0$ for some $r$. For a two-dimensional algebra with basis $u,v$, alternating bilinearity shows that $[L,L]$ is contained in the line spanned by $[u,v]$. A one-dimensional Lie algebra is abelian, so $[[L,L],[L,L]]=0$. Every two-dimensional complex Lie algebra is solvable, with derived length at most two. This dimension argument actually works over any field with the alternating definition of a Lie bracket.

There is a genuine qualification in the last request: the assertion about all Irreducible Lie algebra representations is true for finite-dimensional representations. Without that restriction, the infinite-dimensional simple module for the two-dimensional affine Lie algebra is a counterexample. Take $L=\mathbb{C}x\oplus \mathbb{C}y$, with $[x,y]=y$, and let it act on $V=\mathbb{C}[t]$ byThen $[x,y]f=tf(t-1)-(t-1)f(t-1)=yf$, so this is a Lie algebra representation. Any nonzero submodule is stable under multiplication by $t$, hence is an ideal $p(t)\mathbb{C}[t]$. Stability under $y$ implies $p(t)\mid p(t-1)$. The two polynomials have the same degree; their leading coefficients also agree, so $p(t-1)=p(t)$. In characteristic zero this forces $p$ to be constant. Thus $V$ is infinite-dimensional and irreducible, while $L$ is solvable. The literal unrestricted assertion is false.

Here is a proof of the intended finite-dimensional assertion, including the essential Lie theorem argument. We prove that a nonzero finite-dimensional representation $\rho :L\to \mathrm{End}(V)$ of a complex solvable algebra has a common eigenvector, by induction on $\dim L$. If $L=0$, any nonzero vector works. Otherwise $[L,L]\ne L$; choose a hyperplane $K$ containing $[L,L]$. It is a solvable ideal, and $L=K\oplus \mathbb{C}x$. Induction gives $v\ne 0$ and $\lambda \in K^{\ast }$ with $\rho (y)v=\lambda (y)v$ for all $y\in K$. Write $X=\rho (x)$ and suppress $\rho$ on elements of $K$.

Let $v_j=X^{j}v$ and let $m$ be the first index for which $v_m$ lies in the span of $v_0,\dots ,v_{m-1}$. The space $W=\mathrm{span}(v_0,\dots ,v_{m-1})$ is $X$-invariant. Repeatedly using $yX=Xy+[y,x]$ and $[y,x]\in K$ proves inductively thatThus $W$ is $K$-invariant, and every $y\in K$ has constant diagonal $\lambda (y)$ in this basis. The trace of a commutator is zero, soSince we work over $\mathbb{C}$, $\lambda ([x,y])=0$ for all $y\in K$. Therefore the nonzero simultaneous eigenspaceis $X$-invariant: $yXw=\lambda (y)Xw+\lambda ([y,x])w=\lambda (y)Xw$. A complex linear operator on a nonzero finite-dimensional space has an eigenvector. An eigenvector of $X{|}_{V_{\lambda }}$ is consequently a common eigenvector for $L$.

Its span is a one-dimensional submodule. If $V$ is irreducible, that span must be all of $V$. Hence every finite-dimensional irreducible representation of a finite-dimensional complex solvable Lie algebra has dimension one. Conversely a one-dimensional representation is given by a linear functional on $L/[L,L]$, because every commutator acts by zero. Passing repeatedly to quotients also gives the simultaneous triangularization of a Lie algebra representation. Neither the eigenvector step nor the trace argument extends to the infinite-dimensional counterexample above.

A finite-dimensional complex Lie algebra is a semisimple Lie algebra when its solvable radical is zero, equivalently when it has no nonzero solvable ideals. Its Killing form is the symmetric bilinear formThe cyclic trace identity and ${\mathrm{ad}}_{[z,x]}=[{\mathrm{ad}}_z,{\mathrm{ad}}_x]$ giveThus the Killing form is an invariant bilinear form on a Lie algebra. In particular its radical $R=\{x:B_L(x,L)=0\}$ is an ideal.

We supply the trace argument needed for nondegeneracy rather than assuming the Cartan criterion for semisimplicity. The matrix form of the Cartan solvability criterion says: if $A\subseteq {\mathrm{End}}_{\mathbb{C}}(V)$ and $\mathrm{tr}(uv)=0$ for every $u\in [A,A]$, $v\in A$, then $A$ is solvable. To prove this direction, fix $u\in [A,A]$. Let $V={⨁}_{\lambda }{V}_{\lambda }$ be its generalized eigenspace decomposition, and define $s$ to act on $V_{\lambda }$ by the scalar $\overline{\lambda }$. On $\mathrm{Hom}(V_{\mu },V_{\lambda })$, the semisimple part of ${\mathrm{ad}}_u$ has eigenvalue $\lambda -\mu$, whereas ${\mathrm{ad}}_s$ acts by $\overline{\lambda }-\overline{\mu }=\overline{\lambda -\mu }$. Polynomial interpolation on the finitely many eigenvalues, with all derivatives through the sizes of the nilpotent blocks set to zero, therefore givesHere the same difference always has the same conjugate, so the interpolation is consistent; the prescribed zero derivatives remove every nilpotent block. Since ${\mathrm{ad}}_u(A)\subseteq [A,A]$, it follows that $[s,A]\subseteq [A,A]$.

Write $u={\sum }_j[a_j,b_j]$. By cyclicity and the trace hypothesis,On the other hand, $\mathrm{tr}(us)={\sum }_{\lambda }\dim (V_{\lambda })|\lambda {|}^2$. Thus all eigenvalues of $u$ vanish, and every element of $[A,A]$ is nilpotent. The Engel theorem makes $[A,A]$ nilpotent as a Lie algebra, hence solvable; $A/[A,A]$ is abelian, so $A$ is solvable. This is the Conjugate-spectrum proof of Cartan solvability.

Apply this to the Killing radical $R$. For $x,y\in R$, the adjoint actions preserve $R$ and act as zero on $L/R$, because $R$ is an ideal. Computing traces in a basis adapted to $R$ givesThe matrix Lie algebra ${\mathrm{ad}}_R(R)$ consequently satisfies the trace criterion and is solvable. Its kernel is $Z(R)$, an abelian ideal; a central extension of a solvable algebra is solvable. Thus $R$ is solvable. This proves the reusable assertion that the Killing radical is a solvable ideal. Semisimplicity forces $R=0$, and hence $B_L$ is nondegenerate.

A Cartan subalgebra is a nilpotent subalgebra $H$ which is self-normalizing:For a complex semisimple algebra this is equivalently a maximal toral subalgebra. The nilpotent, self-normalizing definition permits a proof of the restricted nondegeneracy without first assuming the toral characterization.

Use the generalized-weight decomposition for a nilpotent Lie algebra for the adjoint action of $H$:For completeness, the stability underlying this decomposition follows directly from nilpotence of $H$. For fixed $h$, every ${\mathrm{ad}}_h$ on $H$ is nilpotent. If $T=\rho (h)$ and $S=\rho (y)$ in a finite-dimensional representation, then $({\mathrm{ad}}_T{)}^{r}S=0$ for sufficiently large $r$. The identityshows that $S$ preserves each generalized eigenspace of $T$. Starting with a basis of $H$, refine these primary decompositions successively; all summands remain $H$-invariant. Each resulting summand has only one eigenvalue for each basis element. The Lie theorem triangularizes the action on that summand, so those eigenvalues extend to a single linear character $\lambda$ on all of $H$. This proves the displayed decomposition and nilpotence of all shifted operators there.

Since $H$ is nilpotent, $H\subseteq L^0$. The space $L^0$ is a subalgebra: repeated use of the derivation rule for ${\mathrm{ad}}_h$ shows that the bracket of two generalized zero-eigenvectors is another such vector. If $L^0/H\ne 0$, the adjoint action of $H$ on this quotient consists entirely of nilpotent maps. The Engel theorem supplies a nonzero coset $x+H$ with $[H,x]\subseteq H$, contradicting self-normalization. Therefore the zero generalized weight space of a Cartan subalgebra is exactly $H$.

Finally, $B_L(H,L^{\lambda })=0$ when $\lambda \ne 0$. Choose $h\in H$ with $\lambda (h)\ne 0$ and put $T={\mathrm{ad}}_h$. On $H$, a power $T^m$ vanishes. On $L^{\lambda }$, $T$ is invertible. For $u\in H$ and $v\in L^{\lambda }$, write $v=T^{m}w$; invariance givesIf $u\in H$ is orthogonal to $H$, it is now orthogonal to every summand of $L$, so nondegeneracy of $B_L$ implies $u=0$. The restriction $B_L{|}_{H\times H}$ is nondegenerate. This establishes the nondegeneracy of the Killing form on a Cartan subalgebra for every Cartan subalgebra, without requiring a chosen root basis.

Write $u=u_x$ and $B=B_z$. In this geometry the Lorentz force density is purely longitudinal and equals $-{\partial }_x(B^2/2{\mu }_0){\mathbf{e}}_x$. The ideal magnetohydrodynamic induction equation becomes $B_t+{\partial }_x(uB)=0$. Together with the continuity equation and adiabatic pressure evolution, the four primitive-variable equations areThey have the required quasilinear form ${\mathbf{U}}_t+A{\mathbf{U}}_x=0$ withHere the notation $u_x$ in derivatives means ${\partial }_{x}u$, whereas $u$ denotes the longitudinal velocity. Spatial dependence is one-dimensional; time dependence is allowed in the wave problem.

Put $c_f^2=\gamma p/\rho +B^2/({\mu }_0\rho )$, and assume $\rho >0$ and $c_f>0$. Expansion of the characteristic polynomial givesTwo independent eigenvectors for ${\lambda }_0$ can be chosen as $(1,0,0,0{)}^T$ and $(0,-B/{\mu }_0,0,1{)}^T$. For the two propagating branches, useful eigenvectors areThe repeated branch advects an entropy disturbance and a disturbance with unchanged total gas-plus-magnetic pressure. The $\pm$ branches are perpendicular fast magnetosonic waves, with speed $c_f$ relative to the fluid.

On a uniform background, a Fourier amplitude $\hat{\mathbf{U}}{e}^{i(kx-\omega t)}$ obeys $(kA-\omega I)\hat{\mathbf{U}}=0$. Thus the eigenvalues are the phase velocities $\omega /k$ for $k\ne 0$, and the four dispersion branches are $\omega =ku$ twice and $\omega =k(u\pm c_f)$. The reduced geometry retains neither an independent transverse velocity nor an additional propagating Alfvén wave.

To construct each finite-amplitude simple wave in magnetohydrodynamics, trace a state-space curve with tangent $r_{\pm }$, using $\rho$ as its parameter. Integrating the pressure and magnetic components givesThe constants $K$ and $b$ are the entropy and transverse magnetic flux freezing invariants along this state curve. HenceSince $A{\mathbf{U}}_{\rho }={\lambda }_{\pm }{\mathbf{U}}_{\rho }$, substituting this curve into the original system reduces it to ${\rho }_t+{\lambda }_{\pm }(\rho ){\rho }_x=0$. By the chain rule,Thus the characteristic speed itself satisfies the Inviscid Burgers equation. For initial speed $L(a)$, its smooth solution is ${\lambda }_{\pm }=L(a)$ along $x=a+tL(a)$, until the characteristic curves intersect. This derivation supplies genuine state curves for simple waves, not merely a linear dispersion relation.

Let $\lambda =e^{2\pi i\varphi }$. In terms of the Pauli X gate, the given unitary operator is $U_{\varphi }=aI+bX$, with $a=(1+\lambda )/2$ and $b=(1-\lambda )/2$. Since $X|+⟩=|+⟩$ and $X|-⟩=-|-⟩$,Thus the normalized eigenvectors are $|\pm ⟩=(|0⟩\pm |1⟩)/\sqrt{2}$, with eigenvalues $1$ and $e^{2\pi i\varphi }$ respectively. At $\varphi =0$ they coincide as eigenvalues, and the whole two-dimensional Hilbert space is the eigenspace; the same chosen eigenbasis remains valid.

Prepare $|-⟩$ independently of $\varphi$ and use the exact quantum phase estimation circuit of the preceding parts on the controlled-$U_{\varphi }$ black box. It returns $\varphi$ exactly usingThe chosen eigenstate contains all the unknown phase information, unlike $|+⟩$, whose eigenvalue is independent of $\varphi$.

The high-Reynolds-number balance gives positive mean vortex stretching. The Betchov relation therefore gives $⟨abc⟩<0$. To connect this to a fixed longitudinal velocity derivative, additionally assume isotropic turbulence, or average over the direction of that derivative. For a unit vector $\mathbf{n}$, the derivative is $d={\mathbf{n}}^{T}S\mathbf{n}$. Uniform directional averaging, with $\mathrm{tr}S=0$, givesFor example these identities follow by averaging products of direction cosines on a sphere. Hence in isotropic turbulenceand division by the positive derivative variance to the power $3/2$ gives negative longitudinal velocity-gradient skewness. Homogeneity alone does not fix the orientation statistics and does not establish this sign for every chosen coordinate direction.

Order the principal strain rates as $a\ge b\ge c$. Except at degeneracies, $a>0$ and $c<0$, so $abc<0$ corresponds to $b>0$: two extensional directions and one compressive direction, or bi-axial strain. The negative average of $abc$ says that such configurations dominate this cubic amplitude-weighted statistic over axial-extension configurations with $b<0$. In the usual physical interpretation, comparably intense strain events are therefore biased toward bi-axial extension.

An unweighted frequency claim needs more information. As a counterexample to deducing it solely from the cubic average, assign strain eigenvalues $(1,1,-2)$ to 10% of samples and $(-0.1,-0.1,0.2)$ to 90%, with randomly oriented eigenvectors. Then $⟨abc⟩=-0.1982<0$, despite bi-axial extension occurring in only 10% of the samples. This example addresses what the moment inequality can infer, not a construction of a complete turbulent velocity field. A measured frequency preference is a further statistical observation.

The geometric significance is that a fluid element stretches in two directions and contracts in the third, becoming sheet-like while preserving volume. Distributed vorticity is swept into thin layers and its component along an extensional direction is amplified. The associated shear layers can subsequently roll up and produce vortex tubes. Thus the weighted strain bias helps explain sheet formation in the energy cascade even though the most intense dissipative structures can be tubes.

We prove independence of eigenvectors for distinct eigenvalues by induction on the number of vectors. A single eigenvector is nonzero and hence independent. Suppose the first $d-1$ are independent, and let ${\sum }_{j=1}^d{c}_j{v}_j=0$. Applying $A-{\lambda }_{d}I$ givesBy the induction hypothesis every coefficient in this shorter relation vanishes. The eigenvalues are distinct, so $c_j=0$ for $j<d$. The original relation becomes $c_d{v}_d=0$, and $v_d\ne 0$ gives $c_d=0$. Thus the entire family of eigenvectors is linearly independent. The argument works over either the real or complex field.

Represent the quadratic form by the symmetric matrixThe $xy$ block has characteristic polynomial $(2-\mu )(5-\mu )-4=(\mu -1)(\mu -6)$. Corresponding orthonormal eigenvectors, together with the $z$ direction, areThe eigenvalues are $1,6,-1$. To eliminate the linear term, solve $H\tilde{O}=-(0,3\sqrt{5},0{)}^T$, obtainingIndeed the first equation gives $x=y$, and the second then gives $3y=-3\sqrt{5}$. Define the new coordinates by $X=\tilde{O}+\tilde{x}{\tilde{e}}_1+\tilde{y}{\tilde{e}}_2+\tilde{z}{\tilde{e}}_3$. The original polynomial takes the value $-15$ at the center, so its translated and orthogonally diagonalized form isThusThe surface is an elliptic one-sheet hyperboloid, centered at $\tilde{O}$, with axis parallel to ${\tilde{e}}_3$. Its waist at $\tilde{z}=0$ is an ellipse with semiaxes $\sqrt{15}$ and $\sqrt{5/2}$. Every constant-$\tilde{z}$ section is a nonempty ellipse, so the two signs of $\tilde{z}$ belong to the same connected sheet. This is an application of principal-axis reduction of a quadric.