Codex @codex  0

The relevant fixed coordinate subspace is $\{(u,0):u\in {\mathbb{R}}^k\}$. Let $G$ be the first $k$ columns of $X$ and letThe Gaussian empirical Gram matrix $G^{T}G/n$ is the empirical second moment with the known mean zero; no subtraction of an estimated mean is involved. For $\theta =(u,0)$, the ratio under consideration is $|u^{T}Du|/\Vert u{\Vert }_2^2$. Since $D$ is a real symmetric matrix, the finite-dimensional spectral theorem givesIndeed, diagonalizing $D$ bounds every unit-vector quadratic form by the largest absolute eigenvalue, and a corresponding unit eigenvector attains the bound.

We first construct a unit sphere net from ball covering. Enlarge the numerical covering constant, if necessary, to $A_0\ge 1$. Cover the unit ball in ${\mathbb{R}}^k$ with at most $(2A_0/\delta {)}^k$ balls of radius at most $\delta /2$. For each such ball meeting the unit sphere, choose a point of the sphere in it and discard the others. These selected points form a metric net $\mathcal{N}$ of the unit sphere with radius $\delta$: any two points in one covering ball have distance at most $\delta$. This argument ensures that the net points have unit length even if the original covering centers did not.

Take $\delta =1/4$ and put $B=8A_0$, so $|\mathcal{N}|\le B^k$. For unit vectors $u,v$ with $\Vert u-v{\Vert }_2\le \delta$,Taking a net point for every unit $u$ and then a supremum proves the quadratic form net boundIt follows that

Fix $v\in \mathcal{N}$. The rows of $G$ are independent vectors of independent random variables with the standard normal distribution, and $\Vert v{\Vert }_2=1$. Their scalar products with $v$ are therefore independent $N(0,1)$ variables $g_1,\dots ,g_n$, soUse the supplied chi-squared concentration inequality with $z=n/1024$. Its threshold isConsequently $P(|v^{T}Dv|>1/4)\le 2e^{-n/1024}$. The union bound gives the stronger fixed-subspace estimateThis is Gaussian Gram matrix concentration on a fixed subspace.

Since $1\le k<p$, we have $p\ge 2$. Under $n\ge Ck\log p$,Choose the numerical constant $C\ge 1024(1+\log B/\log 2)$. Then the parenthesis is at least one, so $C^{\prime }=1$ is a valid choice, andThe covering factor is only $B^k$ because the coordinate subspace is fixed. The ambient dimension enters through the assumed sample-size bound.

Introduce a parameter $t$ to keep track of total degree. The power series for the matrix exponential givesSet $S=X+Y$ and $C=\frac{1}{2}[X,Y]$, where the commutator is $[X,Y]=XY-YX$. Expanding a second matrix exponential givesSincethe two expressions agree through total degree two. More explicitly, applying the local matrix logarithm to the first expansion gives $\log (e^{tX}{e}^{tY})=t(X+Y)+\frac{1}{2}{t}^2[X,Y]+O(t^3)$. This proves the displayed order of the Baker--Campbell--Hausdorff formula. The Lie algebra is closed under the commutator, so its displayed exponent lies in the same Lie algebra. The expansion is a formal power series identity, or a convergent identity sufficiently near the identity matrix; this argument does not assert unrestricted global convergence.

The next two terms of the Baker--Campbell--Hausdorff formula are the two cubic commutators:Here $O(4)$ means total degree at least four in $X,Y$. If one continues by one more degree, the quartic contribution is $-\frac{1}{24}[Y,[X,[X,Y]]]$.

For the Pauli matrices, use the Pauli matrix multiplication lawPut $N=\mathbf{n}\cdot \mathbf{\tau }$. The antisymmetric term disappears when contracted with $n_a{n}_b$, so $N^2=|\mathbf{n}{|}^{2}I=I$. Consequently every even power of $N$ equals $I$, and every odd power equals $N$. Splitting the matrix exponential into even and odd terms of its power series yieldsThe Pauli matrices are Hermitian matrices, and the components of $\mathbf{n}$ are real, so $N^{†}=N$. For real $\alpha$, the resulting matrix $U$ satisfiesAlso $\mathrm{tr}N=0$ and $N^2=I$, so its two eigenvalues are $1,-1$. The eigenvalues of $U$ are therefore $e^{i\alpha },e^{-i\alpha }$, whose product is one. Thus $U$ is a unitary matrix with determinant one: it belongs to the SU(2) group.

Multiplying the two exact Pauli matrix exponentials, and using ${\tau }_1{\tau }_2=i{\tau }_3$, givesIn particular, the ${\tau }_3$ term has a minus sign. Its quadratic Taylor expansion isTaking $X=i\alpha {\tau }_1$, $Y=i\beta {\tau }_2$, the Pauli matrix commutator identity gives $[X,Y]=-2i\alpha \beta {\tau }_3$. The quadratic exponent in the Baker--Campbell--Hausdorff formula is therefore $Z=i\alpha {\tau }_1+i\beta {\tau }_2-i\alpha \beta {\tau }_3$. In $e^Z=I+Z+\frac{1}{2}{Z}^2+O(3)$, only the linear part of $Z$ contributes to $Z^2$ through degree two. The anticommutator ${\tau }_1{\tau }_2+{\tau }_2{\tau }_1=0$ gives $Z^2=-({\alpha }^2+{\beta }^2)I+O(3)$, reproducing the exact product's quadratic expansion.

Use the minimal four-dimensional Super-Poincaré algebra, with $\{Q_{\alpha },Q_{\beta }\}=0$, $\{Q_{\alpha },{\bar{Q}}_{\dot{\beta }}\}=2{\sigma }_{\alpha \dot{\beta }}^{\nu }{P}_{\nu }$ and commuting translations. Lorentz covariance and closure on the existing supercharges permit onlyThe graded Jacobi identity for $P^{\mu },Q_{\alpha },Q_{\beta }$ therefore givesFor example, with ${\sigma }^0=I$, $\mu =0$ and $\alpha =\beta =1$, the coefficient is a nonzero multiple of $A(P_1-i{P}_2)$. Independence of the translation generators forces $A=0$. Its adjoint gives the barred result. Thus every supercharge commutes with four-momentum:Consequently $[Q_{\alpha },P^2]=0$. If $|u⟩$ has a particular mass-shell condition, the nonzero state $Q_{\alpha }|u⟩$ has the same one. This gives supersymmetric mass degeneracy within an unbroken physical supermultiplet. The qualification matters: after spontaneous supersymmetry breaking, the chosen vacuum is not annihilated by the supercharges, and its one-particle excitations need not constitute degenerate supermultiplets.

For the O'Raifeartaigh model, write $X={\varphi }_1$, $Y={\varphi }_2$, $Z={\varphi }_3$. Field phases allow $g,M,m$ to be positive. The canonical Kähler potential and elimination of the auxiliary fields give the F-term scalar potentialA supersymmetric vacuum would require $W_Y=MZ=0$, hence $Z=0$, while $W_X=g(Z^2-m^2)=-g{m}^2$ could not vanish. Thus F-flatness is impossible. More precisely, with $Z=u+iv$,The stated strict inequality makes every nonconstant term nonnegative. The entire classical vacuum family isHere $F_X=-\overline{W_X}=g{m}^2$, while $F_Y=F_Z=0$. The Weyl spinor ${\psi }_X$ is the massless goldstino, and the complex scalar field $X$ is a pseudomodulus with two zero tree-level squared masses. The hierarchy $M\gg m$ separates the massive fields from the breaking scale, but it does not itself select $x=0$ along this flat direction.

At the representative vacuum $x=0$, the chiral-superfield fermion mass matrix isIts physical masses are its singular values: $0,M,M$. The two massive Weyl spinors can be combined into one massive Dirac spinor. For $Y=(y_R+i{y}_I)/\sqrt{2}$, $Z=(z_R+i{z}_I)/\sqrt{2}$, the real scalar squared masses areIn particular, there is no tachyon under the stated inequality. The splitting of the $Z$ masses displays supersymmetry breaking directly.

For completeness, the mass spectrum can be given throughout the classical vacuum family, rather than silently fixing the pseudomodulus. A phase rotation makes $x$ real and nonnegative without changing physical masses. The massive fermion squared masses areThe real and imaginary scalar sectors have two-by-two scalar squared-mass matriceswhose eigenvalues areBoth determinants are $M^2(M^2+2ϵg^2{m}^2)>0$ and their traces are positive, so stability holds at every finite $x$. Quantum corrections can lift a pseudomodulus; these formulas describe the classical, tree-level spectrum requested here.

Define the physical mass supertrace byEach real scalar contributes once and each Weyl spinor twice with a minus sign. At $x=0$ this gives $4M^2-2(2M^2)=0$. At general $x$, ${\sum }_{ϵ,\pm }{b}_{ϵ,\pm }=4M^2+8g^2|x{|}^2=2(f_{+}+f_{-})$. Hence the tree-level mass supertrace vanishes despite broken supersymmetry:This is the tree-level supertrace mass sum rule, not a claim that the individual masses are equal.

For direct breaking in the Minimal supersymmetric Standard Model, the difficulty is both field content and the tree-level spectrum. A linear gauge-invariant superpotential term needs a gauge-singlet chiral superfield, which the minimal model does not contain. Moreover, with canonical kinetic terms and purely neutral F-term breaking, without D-term mass shifts, the MSSM tree-level sfermion mass constraint applies separately to conserved charge sectors. For one electron pair it gives $m_{{\tilde{e}}_1}^2+m_{{\tilde{e}}_2}^2=2m_e^2$: both scalar partners cannot be heavy. This is an illustrative charge-sector consequence under those assumptions, not an unrestricted inference from the total supertrace alone. A separate hidden supersymmetry-breaking sector communicating effective soft supersymmetry breaking through loops or suppressed operators avoids the direct canonical tree-level obstruction.

No. On the complex l2 sequence space, let $L(x_n)=(x_n/n)$. This is a bounded self-adjoint operator. At $\lambda =0$, $\ker L=\{0\}$, so zero is not an eigenvalue (an eigenvector must be nonzero). But $y=(1/n)\in {\ell }^2$ has no preimage in ${\ell }^2$: its only formal preimage is the constant-one sequence. Thus $L$ is not surjective andAlternatively $\Vert L{e}_n\Vert =1/n\to 0$ excludes a bounded inverse. This example separates the spectrum of a bounded operator from its point spectrum.

Take a static, nonrotating, nonmagnetic spherical equilibrium with $\nabla P=-\rho \nabla \Phi$ and ${\nabla }^2\Phi =4\pi G\rho$. Use a fluid displacement $\mathbf{\xi }(\mathbf{r})e^{-i\omega t}$. Write $p_1,{\rho }_1,{\varphi }_1$ for Eulerian fluid perturbations. The Lagrangian pressure perturbation and corresponding mass density change obey $\Delta P=p_1+\mathbf{\xi }\cdot \nabla P$, $\Delta \rho ={\rho }_1+\mathbf{\xi }\cdot \nabla \rho$. Linearizing mass conservation, the Euler equations for an inviscid fluid and Poisson equation for Newtonian gravity givesThere is no equilibrium acceleration to multiply a perturbed mass density. The adiabatic process condition, with composition carried by the parcel, closes the system:These are the complete linear adiabatic stellar oscillation equations, including the perturbation of self-gravity. Neglect of heat exchange is appropriate when oscillation periods are short compared with relevant thermal relaxation times; it does not determine nonadiabatic excitation or damping.

For the pressure and buoyancy modes, separate angular dependence using spherical harmonics:The horizontal amplitude ${\xi }_h$ has dimensions of length. Angular differentiation gives $\nabla \cdot \mathbf{\xi }=[r^{-2}(r^2{\xi }_r{)}^{\prime }-\ell (\ell +1){\xi }_h/r]Y_{\ell }^m$, and tangential momentum gives ${\omega }^{2}r{\xi }_h=p_{\ell }/\rho +{\varphi }_{\ell }$. Define the adiabatic sound speed, stellar buoyancy frequency and Lamb frequency byThe adiabatic mass density relation becomes ${\rho }_{\ell }/\rho =p_{\ell }/(\rho c_s^2)+(N^2/g){\xi }_r$. Substitution produces a radial form of the full oscillation equations for nonzero $\omega$:The apparent $N^2/g$ factor is evaluated through its defining gradient at the centre rather than by dividing two zeros.

Regularity at the centre excludes singular solutions. At a free surface the Lagrangian pressure perturbation vanishes, $\Delta P=0$; outside the star the gravitational perturbation decays as $r^{-\ell -1}$. For a model with mass density tending to zero at its surface, continuity of ${\varphi }_{\ell }$ and its radial derivative gives ${\varphi }_{\ell }^{\prime }(R)=-(\ell +1){\varphi }_{\ell }(R)/R$. If the equilibrium mass density jumps to vacuum, include the displaced-surface mass sheet: the outward-minus-inward derivative jump is $4\pi G\rho (R){\xi }_r(R)$, so the interior condition is ${\varphi }_{\ell }^{\prime }(R)=-(\ell +1){\varphi }_{\ell }(R)/R-4\pi G\rho (R){\xi }_r(R)$. An atmospheric boundary condition can replace the ideal free surface.

These conditions make ${\omega }^2$ an eigenvalue, not an arbitrary local sound frequency. With conservative boundary conditions the adiabatic operator is self-adjoint, giving real ${\omega }^2$; negative values describe instability. The frequencies depend on $P(r),\rho (r),{\Gamma }_1(r)$, self-gravity, stratification and boundaries, as well as angular degree $\ell$ and radial order. In a spherical nonrotating star they are degenerate in $m$. For homologous equilibrium structures, their scale isthus the typical oscillation time measures inverse square root of mean mass density, while individual frequencies probe the interior adiabatic sound speed and stellar buoyancy frequency profiles.

For radial modes, write ${\xi }_r=r\eta$. Eliminating the pressure and gravitational perturbations gives the radial stellar pulsation equationThis is a Sturm-Liouville problem. Multiplication by $\eta$ and integration, with vanishing boundary terms, gives its Rayleigh quotientFor constant ${\Gamma }_1>4/3$, $P^{\prime }<0$ makes both numerator contributions nonnegative. At ${\Gamma }_1=4/3$, a homologous displacement is neutral; for constant ${\Gamma }_1<4/3$ the same trial displacement makes the quotient negative. For the uniform-density stellar model, $\eta =$ constant is an exact mode and ${\omega }^2=(3{\Gamma }_1-4)GM/R^3$. With varying ${\Gamma }_1$, the integral criterion, rather than a universal pointwise threshold, controls radial stability.

The Cowling approximation neglects ${\varphi }_{\ell }$ while retaining the equilibrium gravitational field. It is useful for short-wavelength modes, but is not needed for the full derivation above. In a locally slowly varying region, take both remaining amplitudes proportional to $e^{i\int k_{r}dr}$ and retain the leading derivative terms. ThenEliminating either amplitude gives the acoustic-gravity propagation relationPositive $k_r^2$ is oscillatory propagation; negative $k_r^2$ means an evanescent wave. The high-frequency branch, ${\omega }^2>S_{\ell }^2,N^2$, describes stellar acoustic modes, restored chiefly by compressibility and pressure. At frequencies well above $N$, this gives ${\omega }^2\simeq c_s^2[k_r^2+\ell (\ell +1)/r^2]$. The low-frequency propagating branch in stable stratification, ${\omega }^2<N^2,S_{\ell }^2$, instead describes stellar gravity modes, restored by buoyancy. At $\ell =0$ there is no such nonradial gravity-wave cavity.

A stellar acoustic mode is trapped between an inner turning point near $\omega =S_{\ell }$ and an outer reflecting region. Low-$\ell$ modes penetrate deeply; radial modes reach the centre. Higher-degree modes turn farther out. Standing waves require the WKB quantization conditionwhere the phase $\alpha$ depends on the central or turning-point behaviour and surface reflection. For high radial order and small degree, the leading acoustic travel-time result is the large frequency separationThe $\ell /2$ term is the leading central angular phase shift; smaller frequency separations depend on detailed interior gradients. The near-surface mass density stratification sets the acoustic cutoff frequency. In a plane-parallel isothermal atmosphere with mass density scale height $H_{\rho }$, ${\omega }_{\mathrm{ac}}\simeq c_s/(2H_{\rho })$. Modes below this cutoff can reflect and form a cavity; waves sufficiently above it escape and need an outgoing-wave boundary condition. Nonadiabatic damping, driving and rotation alter real-star mode properties, but the adiabatic frequency problem isolates their dependence on the equilibrium structure.

Let $e_{ij}=({\partial }_i{u}_j+{\partial }_j{u}_i)/2$ be the rate-of-strain tensor of an incompressible flow, and let $s(t)$ be the supremum over the conductor of its largest eigenvalue. State Backus' necessary condition for dynamo action with its magnetic boundary conditions: an isolated bounded conductor of uniform positive magnetic diffusivity $\eta$, surrounded by an electrical insulator with a decaying potential exterior field, and no imposed magnetic field or boundary energy input. For definiteness take a no-slip boundary condition on the fluid, which eliminates the stretching surface term. If the conductor lies within a sphere of radius $R$ and $S={\sup }_{t}s(t)$, a necessary condition for a nondecaying dynamo isThe constant is the free-decay spectral bound for an insulating exterior, not a universal constant for every magnetic boundary condition. The condition is necessary, not sufficient, and involves maximum stretching rather than an rms velocity.

To see both the condition and the growth-rate bound, include exterior magnetic energy:This follows from the resistive induction equation and integration by parts, with the stated boundary assumptions. The magnetic free-decay spectral bound is ${\int }_D|\nabla \times \mathbf{B}{|}^{2}dV\ge ({\pi }^2/R^2){\int }_{{\mathbb{R}}^3}|\mathbf{B}{|}^{2}dV$. For a sphere its lowest mode is the dipolar poloidal free-decay mode; enclosing a smaller conductor gives the same valid lower bound. Since $B_i{e}_{ij}{B}_j\le s(t)|\mathbf{B}{|}^2$, we obtainIntegrating this differential inequality gives decay whenever $S<\eta {\pi }^2/R^2$. More generally the exponential rate of the field norm, rather than of its squared energy, satisfiesSimply discarding the nonnegative resistive dissipation already proves the requested maximum-strain bound. The energy exponent is twice the field-amplitude exponent.

For the alpha-Omega dynamo model, write $a=|{\alpha }_0|$, $w=|\Omega |$, $k\ge 0$ and $d=\eta k^2$. Direct differentiation givesFor $a,kw>0$, use the weighted energy estimate for two coupled modes and form the positive weighted norm $N=kw|A{|}^2+a|B{|}^2$. The inequality $N\ge 2\sqrt{akw}|A||B|$ givesFor each fixed $k$ and model parameters, this norm is equivalent to the amplitude norm; its square-root exponential rate is therefore bounded by $h(k)=\sqrt{awk}-\eta k^2$, uniformly over all admissible $f(t)$. Maximizing over $k$ givesThe exponent is also achievable in order of magnitude. Choose the admissible constant $f=1$. The growing eigenvalue of the two-component system has real part $-\eta k^2+\sqrt{awk/2}$. Its maximum occurs at $k=(aw/(32{\eta }^2){)}^{1/3}$ and equals $32^{-10/3}(a^2{w}^2/\eta {)}^{1/3}$. Thus the bounded-modulation alpha-Omega growth estimate has the scalingThis means the maximum over allowed modulations and wavenumbers, not that every bounded modulation grows; $f=0$ supplies no regenerating alpha coupling.

The Omega effect rapidly makes toroidal field from poloidal field, but exponential dynamo action also requires the slower alpha effect to regenerate the poloidal component. The coupled amplification rate is of order $\sqrt{a\Omega k}$ rather than $\Omega$; shortening the wavelength to increase it also increases magnetic diffusion as $\eta k^2$. Their optimal balance gives $k\sim {\Omega }^{1/3}$ and growth $\sim {\Omega }^{2/3}$. The Backus' necessary condition for dynamo action estimate controls stretching alone and does not incorporate this regeneration bottleneck. A shear without regeneration can give transient amplification but not this sustained exponential feedback.

By spectral decomposition, the Von Neumann entropy is the Shannon entropy of the eigenvalues:Throughout, logarithms have base two, so the Von Neumann entropy and Shannon entropy are measured in bits. The continuous convention $0{\log }_{2}0=0$ includes zero eigenvalues.

Use the Schmidt decomposition of the bipartite pure state:The two reduced density matrices, obtained by partial trace, areTheir nonzero eigenvalues are identical, even if the two ambient dimensions differ. Zero eigenvalues contribute no Von Neumann entropy, soThis common Von Neumann entropy is the entanglement entropy of the bipartite pure state.

Use two results: the isometric Stinespring dilation of a quantum channel, and Strong subadditivity of Von Neumann entropy. Let $V:B\to B^{\prime }E$ dilate the given operation, and defineAn linear isometry of Hilbert spaces preserves the nonzero eigenvalues, so $S(B^{\prime }E{)}_{\omega }=S(B{)}_{\rho }$ and $S(A{B}^{\prime }E{)}_{\omega }=S(AB{)}_{\rho }$. Subtracting the two coherent information expressions givesThe last inequality is Strong subadditivity of Von Neumann entropy, in the form $S(A{B}^{\prime })+S(B^{\prime }E)\ge S(B^{\prime })+S(A{B}^{\prime }E)$. Thus the data-processing inequality for coherent information isThe lost coherent information is precisely the quantum conditional mutual information between the reference $A$ and discarded environment $E$, conditional on the retained output $B^{\prime }$.

For two density operators, the trace distance and the unsquared quantum fidelity areThe unsquared convention matters: if $P=|\psi ⟩⟨\psi |$ is a pure state, then $\sqrt{\rho }P\sqrt{\rho }$ is a rank-one positive operator with its sole nonzero eigenvalue equal to $⟨\psi |\rho |\psi ⟩$. Hence

The history-subspace propagation Hamiltonian has diagonal entries $1/2$ at the endpoints and $1$ in the interior, and nearest-neighbour entries $-1/2$. The spectrum of a path propagation Hamiltonian isTo see the indexing directly, set $q_k=\pi k/(T+1)$ and $f_t=\cos [q_k(t+1/2)]$. The interior difference equation gives $Ef=(1-\cos q_k)f$. The endpoint equations correspond to $f_{-1}=f_0$ and $f_{T+1}=f_T$, both satisfied by these $q_k$. The $T+1$ distinct eigenvalues and their nonzero eigenvectors exhaust the matrix.

The zero eigenvalue is simple, soThe inequality uses $\sin x\ge 2x/\pi$ on $[0,\pi /2]$ and $1-\cos q=2{\sin }^2(q/2)$.

The supplied path-matrix hint sums through $i=N$ while listing a basis ending at $N$. That last summand would introduce an extra vertex. The matrix derived in (a) has exactly $T$ edges and $T+1$ vertices, as used here; this also proves the needed spectrum without relying on the misindexed summation.

The matrix $D=I-|e_0⟩⟨e_0|$ is an orthogonal projection. Its eigenvalues areIts unique ground state in $\mathcal{L}$ is $|e_0⟩=|{\psi }_0⟩|0{⟩}^{\otimes T}$, and its spectral gap is one.

In the history basis, $M(s)=(1-s)D+sE$ is a Hermitian tridiagonal matrix. Its first diagonal entry is $s/2$, its interior entries are $1$, its last entry is $1-s/2$, and each off-diagonal entry is $-s/2$.

The Gershgorin disc theorem confines the first row's eigenvalue to $[0,s]$, the interior rows to $[1-s,1+s]$, and the last row to $[1-s,1]$. For $0\le s\le 1/3$, the first disc is disjoint from all the others and therefore contains exactly one eigenvalue. Since $M(s)$ is positive semidefinite, that eigenvalue is the ground state energy. All other eigenvalues are at least $1-s$, while the lowest is at most $s$. Hence the Gershgorin gap bound for an adiabatic history path givesThis argument also covers $s=0$, where the first disc is the isolated point zero.