Model the post-eruption flow as an axisymmetric, shallow, hydrostatic, turbulently mixed layer on a horizontal bed. Neglect entrainment, erosion, heat exchange, rotation and large-scale viscous drag. Particles are dilute, with density ${\rho }_p$, uniform-in-depth particle volume fraction $c(r,t)$ and constant downward settling speed $w_s>0$ relative to the carrier gas. Deposited particles are not resuspended. Their volume is small enough that settling does not significantly change the bulk carrier volume. Let ${\rho }_a$ be ambient air density and ${\rho }_g$ carrier-gas density at its local temperature, and use a leading Boussinesq approximation for the mixture motion. DefineThe hot gas reduces the density excess; the ground-hugging current model requires $g^{\prime }>0$. If density contrasts are too large for Boussinesq dynamics, density-weighted balances would be needed instead. The equations below are a stated shallow-layer model, not a description of the initial explosive vent jet.

For layer height $h$ and radial depth-averaged speed $u$, the appropriate shallow-water balances areThe hydrostatic force gives the nonconservative momentum equation $u_t+u{u}_r=-g^{\prime }{h}_r-(h/2)g_r^{\prime }$. In particular a spatially varying particle fraction must not be treated as constant reduced gravity when differentiating pressure. With no heat exchange or entrainment, a carrier-temperature anomaly $\Theta$ is advected:At this order $b_T$ is proportional to $-\Theta$. At the bed the carrier has no normal penetration and particles have absorbing deposition flux $w_{s}c$; at the top the pressure equals ambient pressure. Axis regularity requires $u(0,t)=0$ and smooth scalar fields, with no further source after the initial pulse. The initial height, particle inventory and temperature anomaly specify the released volume and ash content. Outside the front $r=R(t)$, the current layer is absent. At a resolved advancing head, use the material-front condition and the gravity-current front condition $\dot{R}=\mathsf{F}\sqrt{g_f^{\prime }{h}_f}$, where $\mathsf{F}$ is an order-one front Froude number and $h_f,g_f^{\prime }$ refer to the fluid feeding the head. The front closure replaces unresolved head dynamics; simply prescribing both a zero-depth mathematical edge and a finite-depth box-head speed would be inconsistent.

To obtain a gravity-current box model, assume horizontal as well as vertical mixing, uniform $h(t),c(t),\Theta (t)$ in a disk of radius $R(t)$, and a negligible-volume head whose feeding depth is the box depth. The conserved bulk volume $\mathcal{V}$ givesA bulk velocity $u=(\dot{R}/R)r$ satisfies interior continuity for this box. Rather than impose a uniform pressure on the full shallow-water equations and thereby lose the head force, replace their momentum dynamics by the front closure. Total suspended particle volume is $\mathcal{V}c$, so bed deposition givesThese ordinary differential equations, together with initial $R_0,c_0,\mathcal{V},{\Theta }_0$, are the axisymmetric settling box model. The maintained negative thermal term may eventually cancel particle buoyancy and cause lift-off; beyond $g^{\prime }=0$ this horizontal gravity-current model does not apply.

For the requested particle-only calculation set $b_T=0$ and define the initial reduced gravity $g_0^{\prime }=b_p{c}_0$. The equations reduce toEliminating time gives $d\sqrt{c}/dR=-w_s{R}^3/[2\mathsf{F}\sqrt{b_p}{A}^{3/2}]$. Integrating from the release state yieldsThus the monodisperse circular ash runout has limiting radiusThe maximum outward distance beyond the initial release edge is $R_{\infty }-R_0$. When the vent scale is negligible, set $R_0=0$ in this late-time source idealization. The resulting radius scales as ${\mathcal{V}}^{3/8}(g_0^{\prime }{)}^{1/8}{w}_s^{-1/4}$; it is not obtained by conserving reduced gravity after particles settle out.

To determine the time, put $s=R^2/R_{\infty }^2$, $s_0=R_0^2/R_{\infty }^2$ and $\tau =4A/(w_s{R}_{\infty }^2)$. The concentration relation becomes $\sqrt{c/c_0}=(1-s^2)/(1-s_0^2)$, and the front equation reduces toConsequentlyThe furthest reach is a limiting radius, approached asymptotically rather than attained at a finite stopping time. As the residual particle concentration vanishes, the front slows exponentially. A finite observational threshold for remaining ash would give a finite practical stopping time, but no such threshold is part of these balances.

The local ash deposit density is most naturally its mass per horizontal area, $\Sigma (r)$. Once the front has arrived at $r$, its local deposition flux is ${\rho }_p{w}_{s}c(t)$. For $r<R_{\infty }$, define $s_a=\max (s_0,r^2/R_{\infty }^2)$; the arrival time is zero inside the initial footprint and otherwise $t_a=\tau [\mathrm{artanh}{s}_a-\mathrm{artanh}{s}_0]$. Sincewe can integrate the flux exactly. Using $\int {\mathrm{sech}}^4\xi d\xi =\tanh \xi -({\tanh }^3\xi )/3$ gives the circular ash deposit profileIt is constant under the initial disk, then decreases to zero at the limiting edge. Particle solid volume per area is $\Sigma /{\rho }_p$; deposit thickness is $\Sigma /{\rho }_d$ if a bulk deposit density ${\rho }_d$ including voids is supplied. The problem does not determine that packing density.

For a negligible initial radius this simplifies toIts integral $2\pi {\int }_0^{R_{\infty }}r\Sigma (r)dr={\rho }_p{c}_0\mathcal{V}$ confirms that the complete initial ash inventory is deposited. The finite-$R_0$ formula gives the same budget including its central flat portion.

The diagram uses the negligible-vent-radius idealization and time normalized by $\tau$. It illustrates both the asymptotic approach to $R_{\infty }$ and the smoothly vanishing outer deposit. All these predictions depend on the mixing and constant-Froude head closure; they do not claim to resolve the initial blast or the ultimate inertia-dominated motion of almost particle-free gas.

Let the tangential velocity scale be $U$, gap scale $H$ and along-gap length $L\gg H$. The tangential Stokes equation balances $P/L$ with $\mu U/H^2$, while wall shear is $\tau \sim \mu U/H$. ThereforeThis is lubrication pressure dominates shear stress; pressure force projections may nevertheless be small in a particular direction or may give no torque on a spherical surface.

Write the signed centre displacement along the downward axis as $d=\alpha \Delta$. A point $an$ on the inner sphere has distance $|an+d{e}_z|=a+d\cos \theta +O({\Delta }^2/a)$ from the outer centre. The leading normal gap to radius $a+\Delta$ is consequentlyThe local-curvature corrections are smaller by $\Delta /a$. This approximation also follows by solving the outer-sphere intersection along the ray $n$ from the inner centre and expanding its positive root.

Use the Newtonian fluid stress tensor $\sigma =-pI+2\mu e$, where $e=(\nabla u+\nabla u^T)/2$. The Stokes equations for a point force on the fluid are $\nabla \cdot u=0$ and $\nabla \cdot \sigma +F\delta (x)=0$. Put $r=|x|$. Away from the origin, a harmonic vector potential proportional to $F/r$ in the Unscaled Papkovich–Neuber representation gives the rotationally covariant decaying solution. Specifically, take $\Phi =-F/(8\pi \mu r)$ and $\chi =0$. Differentiation yieldsThis satisfies the homogeneous Stokes equations for $r>0$. Its stress isTo verify the point-force normalization, on a sphere $r=\epsilon$ the traction is $\sigma n=-3(F\cdot n)n/(4\pi {\epsilon }^2)$. Since ${\int }_{S^2}{n}_i{n}_{j}d\Omega =4\pi {\delta }_{ij}/3$, its surface integral is $-F$. Thus integrating momentum balance over the small ball gives exactly the applied force $F$, fixing the normalization of the Stokeslet. Its radial velocity is $(F\cdot n)/(4\pi \mu r)$, soThere is no net volume or mass source at the singularity. The kernels have the parity $J(-x)=J(x)$ and $K(-x)=-K(x)$.

For two Stokes flows with the same viscosity and body forces $f^{(1)},f^{(2)}$, the Lorentz reciprocal theorem including body forces isIndeed, apply the divergence theorem to $u_i^{(1)}{\sigma }_{ij}^{(2)}-u_i^{(2)}{\sigma }_{ij}^{(1)}$. The cross-gradient terms cancel: incompressibility removes each pressure contraction and the remaining terms are both $2\mu e^{(1)}:e^{(2)}$. The two stress divergences give the body-force terms shown.

Choose flow 1 to be the desired body-force-free field and flow 2 to be a Stokeslet with arbitrary force vector $q$ at $y$. For $y\in V$, the body-force term is $-q\cdot u(y)$. Rearrange the reciprocal identity and use the parity of $J,K$; equality for every $q$ givesFor $y$ outside the volume there is no point force in $V$, so the same two integrals sum to zero. To obtain the smooth boundary value, exclude a small hemisphere about $y$, use continuity of $u$ to replace it by $u(y)$ on that hemisphere, and take the radius to zero. A full small sphere contributes $u(y)$; a hemisphere contributes half of it. Equivalently, the local solid-angle factor is $2\pi /(4\pi )$. The result is the boundary integral representation of Stokes flow with right side $\frac{1}{2}u(y)$ on a smooth boundary, and with the double layer interpreted by its boundary principal value. A nonsmooth corner would have a different solid-angle coefficient.

This addresses the general interpolation bound in part (I); the subsequent (a)–(c) address the cubic case in part (II). Write the interpolant in the B-spline basis asThe stipulated uniquely defined spline interpolation operator presupposes invertibility of the B-spline collocation matrix. For the standard increasing distinct sites, the conditions $N_i(x_i)>0$ give it by the Schoenberg–Whitney theorem. Thus $c=A_{\mathbf{x}}^{-1}Rf$.

Use the standard partition-normalized B-splines of the question: they are nonnegative and satisfy the subpartition of unity for B-splines, ${\sum }_j{N}_j(t)\le 1$. This also holds outside the basic knot interval; one may extend the knots and regard the finite family as a subfamily of a full partition of unity. The recurrence proof of the full partition is given in Question 6(c). Repeated knots retain the same nonnegativity and subpartition properties, with zero-denominator recurrence terms interpreted as zero or by knot limits. ConsequentlySampling has norm at most one, $\Vert Rf{\Vert }_{{\ell }^{\infty }}\le \Vert f{\Vert }_{\infty }$, and soHere the induced matrix norm is the maximum absolute row sum. The label $L^{\infty }$-normalized means the usual partition normalization, not rescaling each spline to have maximum value one. Such a rescaling would invalidate the specific coefficient bound and the cardinal values used below.

For a continuous $2\pi$-periodic function, define the Fourier coefficients and Fourier partial sum byThe Fejér sum is the arithmetic average of the first $n$ Fourier partial sums:Thus $s_n$ has degree at most $n$, whereas ${\sigma }_n$ has degree at most $n-1$. These indexing conventions matter in the identity in (b). Throughout, $m$ is a positive integer; when $n=0$, any term $n{\sigma }_n$ is interpreted as zero without introducing ${\sigma }_0$.

For later estimates, the Fejér kernel in the PDF's normalization isThe apparent singularities are removable. The squared modulus makes $F_n$ nonnegative, and integrating its finite exponential expansion leaves only the $n$ diagonal terms, so ${\pi }^{-1}\int F_n=1$. In particular Fejér summation is a uniform-norm contraction:

The two unheaded requests are addressed here; the individual group-cover calculations are in the scoped parts below. A quaternion $q=a+bi+cj+dk$ has norm $|q{|}^2=a^2+b^2+c^2+d^2$. Thus the unit quaternions form exactly the sphere $S^3\subset {\mathbb{R}}^4$, with quaternion multiplication giving its smooth group structure. The explicit identification with the special unitary group $SU(2)$ isThe matrices representing $i,j,k$ satisfy the quaternion multiplication relations. The displayed matrix obeys $U^{†}U=|q{|}^{2}I$ and $\det U=|q{|}^2$; conversely every $SU(2)$ matrix has that form with $|q|=1$. Hence $S^3$ is the manifold of unit quaternions, and its group is $SU(2)$.

For the exterior-square double cover of SO(3,3), fix a basis $e_1,\dots ,e_4$ and volume element $v=e_1\wedge e_2\wedge e_3\wedge e_4$. Define the symmetric bilinear form $Q$ on the six-dimensional exterior square byIt is symmetric because two-forms commute under the wedge product. PutThen $Q(a_i,a_j)=Q(b_i,b_j)=0$ and $Q(a_i,b_j)={\delta }_{ij}$. The Gram matrix is $\left(\begin{array}{cc}0& I_3\\ I_3& 0\end{array}\right)$: the vectors $(a_i+b_i)/\sqrt{2}$ have norm $+1$, while $(a_i-b_i)/\sqrt{2}$ have norm $-1$. Therefore the quadratic form $\omega \mapsto \omega \wedge \omega$ has signature $(3,3)$.

For $A\in SL(4,\mathbb{R})$,Thus $\rho (A)={\Lambda }^{2}A$ preserves $Q$. The special linear group is connected: polar decomposition of an invertible real matrix writes $A=OP$ with $O\in SO(4)$ and $P$ positive definite of determinant one, and both factors can be joined to the identity. The image consequently lies in $S{O}_0(3,3)$.

If ${\Lambda }^{2}A=I$, then $Au\wedge Aw=u\wedge w$ for every pair, so $A$ preserves every two-plane. A line is an intersection of two such planes, hence every line is preserved. A linear map preserving every line is scalar: apply it to basis vectors and then to their pairwise sums. Thus $A=\lambda I$, and ${\Lambda }^{2}A=I$ forces ${\lambda }^2=1$. The kernel is exactly $\{\pm I\}$. It is discrete, so the derivative of $\rho$ is injective. Both Lie algebras have dimension $15$, making the image open; an open subgroup of a connected group is the whole group. HenceThe identity-component restriction is essential. The same principle of an explicit form-preserving representation, kernel calculation and dimension argument supplies the five remaining covers.

For the unheaded representation request, retain the question's standing unital hypothesis. Let $K$ be the character space of an algebra of $A$, with its weak-star or Gelfand topology. The standard commutative Banach-algebra results allowed here give a nonempty compact Hausdorff character space and ${\sigma }_A(a)=\{\phi (a):\phi \in K\}$. In particular, character compactness follows from the Banach-Alaoglu theorem: the equations $\phi (1)=1$ and $\phi (ab)=\phi (a)\phi (b)$ define a weak-star closed subset of the dual unit ball.

The Gelfand transform is the unital homomorphismEvery element of the commutative C-star algebra is normal. Part i and the character spectrum formula therefore giveThus $\Gamma$ is an isometry, hence injective, and its range is closed because $A$ is complete. Part ii gives $\Gamma (a^{\ast })=\overline{\Gamma (a)}$. The range contains constants and separates points of $K$, since two distinct characters differ on some element of $A$. The complex Stone-Weierstrass theorem states that a unital, conjugation-closed subalgebra of $C(K)$ separating points of a compact Hausdorff space is uniformly dense. Its application here, together with closedness of the range, yieldsThis proves the Commutative Gelfand--Naimark theorem from the preceding parts and the stated approximation theorem.

The word “every” in the printed deduction must be read under the initial unital hypothesis. If nonunital commutative C-star algebras are included, the compact-space statement is false: the nonzero algebra $c_0$ has no multiplicative identity, whereas $C(K)$ for nonempty compact $K$ does. The general nonunital version is $C_0(K)$ on a locally compact Hausdorff space, with vanishing at infinity. This qualification preserves the proved unital result.

For the final real spectrum criterion for a normal C-star element, the ambient algebra may be noncommutative. Let $B$ be the norm-closed unital subalgebra generated by $x$ and $x^{\ast }$. Normality makes these two generators commute. The involution preserves their polynomial algebra and is continuous, so $B$ is a commutative C-star subalgebra.

We first show that $x$ has the same spectrum in $B$ as in $A$, without assuming spectral permanence. Put $\Omega =\mathbb{C}\setminus {\sigma }_A(x)$. A compact subset of the real axis has connected complement: upper and lower half-plane paths join around either end of a bounded interval containing it, and each omitted real point can be joined locally to the upper half-plane. DefineThis set is nonempty because the Neumann series puts the inverse in $B$ for $|\lambda |>\Vert x\Vert$. It is relatively open: from an inverse in $B$, the local inverse formulastays in $B$ for small $h$. It is relatively closed by continuity of the ambient resolvent and norm-closedness of $B$. Connectedness gives $V=\Omega$. Conversely an inverse in $B$ is an inverse in $A$, soThis is the connected-resolvent case of spectrum in a closed unital subalgebra.

Apply the just-proved commutative C-star representation to $B$. For every character $\psi$ of $B$, $\psi (x)$ lies in this real spectrum. Part ii makes $\psi (x^{\ast })=\overline{\psi (x)}=\psi (x)$. The Gelfand transform of $B$ is injective by its isometry, soFor a nonunital ambient C-star algebra, perform the same argument in its standard C-star unitization, using the usual unitization spectrum.

Normality cannot be dropped. In $M_2(\mathbb{C})$, takeSince $N^2=0$, its spectrum is $\{0\}$: for $\lambda \ne 0$, $(\lambda I-N{)}^{-1}={\lambda }^{-1}I+{\lambda }^{-2}N$, while $N$ is not invertible. Yet $N\ne N^{\ast }$ andThus a real spectrum alone does not force self-adjointness; normality is essential.

Use ${\eta }_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, ${\sigma }^{\mu }=(I,\mathbf{\sigma })$ and ${\bar{\sigma }}^{\mu }=(I,-\mathbf{\sigma })$, where $\mathbf{\sigma }$ are the Pauli matrices. The translation and Lorentz generators obey the Poincare algebraOne can derive the additional relations by realizing the supercharges as differential operators on superspace. With left Grassmann derivatives and $P_{\mu }=i{\partial }_{\mu }$, takeUsing $\{{\partial }_{{\theta }^{\alpha }},{\theta }^{\beta }\}={\delta }_{\alpha }{}^{\beta }$, the two mixed derivative-coordinate terms each give $i{\sigma }_{\alpha \dot{\beta }}^{\mu }{\partial }_{\mu }$. The remaining terms cancel by Grassmann anticommutation. Equal-chirality terms cancel in the same way. HenceAll coefficients are independent of $x$, so direct differentiation gives $[P_{\mu },Q_{\alpha }]=[P_{\mu },{\bar{Q}}_{\dot{\alpha }}]=0$. This also shows that supercharges commute with translations and preserve the four-momentum of a state.

For the Lorentz generators, define the left-handed spinor matricesThe identity ${\sigma }^{\mu }{\bar{\sigma }}^{\nu }+{\sigma }^{\nu }{\bar{\sigma }}^{\mu }=2{\eta }^{\mu \nu }I$ gives their Lorentz commutation relations. Acting on the spinor superspace coordinates and their dual derivatives then gives, in a column-component convention,Here dotted index values are identified with the conjugate undotted values, and ${\bar{Q}}_{\dot{\alpha }}=Q_{\alpha }^{†}$. The second formula also follows directly by taking the adjoint of the first, using Hermitian $M_{\mu \nu }$. For example, $S_{12}={\sigma }^3/2$, so $[J_3,Q_1]=-Q_1/2$ and $[J_3,Q_2]=Q_2/2$ for $J_3=M_{12}$. This explicit component convention avoids reversing signs by mixing state matrices with operator-component matrices. Covariance of the mixed anticommutator follows by applying these matrices to ${\sigma }^{\rho }{P}_{\rho }$.

These are the minimal Super-Poincaré algebra relations. In the ordinary particle algebra a possible scalar term in $\{Q_{\alpha },Q_{\beta }\}$ would be proportional to ${ϵ}_{\alpha \beta }$, but an anticommutator is symmetric in its two labels; with only one supersymmetry such a central term vanishes. Extended algebras can instead use an antisymmetric internal index tensor. Tensor charges associated with extended objects are not part of this minimal particle algebra.

For a positive-energy massless supermultiplet, choose $p^{\mu }=(E,0,0,E)$ with $E>0$, so $p_{\mu }=(E,0,0,-E)$ andPositivity of the Hilbert-space norm implies that both $Q_1$ and $Q_1^{†}$ annihilate every state: their squared norms sum to zero. SetFor momentum along the positive third axis, helicity is $h=J_3$. The Lorentz commutators give $[h,a]=a/2$ and $[h,a^{†}]=-a^{†}/2$. Choose a highest-helicity Clifford vacuum $|\lambda ⟩$ with $a|\lambda ⟩=0$. Its partner $a^{†}|\lambda ⟩$ has unit norm if the first state does and has helicity $\lambda -1/2$. No further state is generated because $(a^{†}{)}^2=0$. ThereforeThe two states have opposite fermion parity. A CPT completion of a supermultiplet adds helicities $(-\lambda ,-\lambda +1/2)$ and conjugate internal charges when necessary. Taking $\lambda =1/2$ produces a complex scalar and a Weyl spinor after CPT completion; taking $\lambda =1$ produces the massless vector multiplet. This construction assumes ordinary finite-helicity particle representations, rather than continuous-spin representations.

The mean-field approximation replaces each site's fluctuating surroundings by a self-consistent average. On a cubic lattice each spin has coordination number of a lattice $z=2D$, even though summing only over positive basis directions counts each bond once. Write ${\sigma }_n=M+\delta {\sigma }_n$ and drop products of deviations. Each Ising bond becomes ${\sigma }_n{\sigma }_m\simeq M{\sigma }_n+M{\sigma }_m-M^2$, so the approximate statistical Hamiltonian isThe constant corrects counting each bond twice. The resulting independent-spin partition function is $Z_{\mathrm{MF}}=e^{-{\beta }_{T}NzJ{M}^2/2}[2\cosh ({\beta }_{T}zJM){]}^N$, where ${\beta }_T=1/(k_{B}T)$. The one-spin probabilities giveEquating this average with the assumed $M$ givesHere $J>0$ is assumed; a ferromagnetic order parameter is not the appropriate choice for an antiferromagnetic coupling. Put $A=T_c/T$. For $A\le 1$, $\tanh (AM)<AM\le M$ at any $M>0$, so only $M=0$ is possible. For $A>1$, the function $\tanh (AM)-M$ has positive slope at zero, is strictly concave on $M>0$ and is negative at $M=1$. It therefore has exactly one positive zero and a spin-reversed negative zero. Expanding at the bifurcation givesThe transition is continuous, with order-parameter critical exponent $\beta =1/2$. Stability can also be checked from the Bragg-Williams free energy of the Ising model per Ising spin:Its derivative is $-zJM+k_{B}T\mathrm{arctanh}M$, giving the same self-consistency equation. Near zero,The quartic coefficient is positive at $T_c$, the stable minima approach zero continuously, and the minimized free energy has no first-derivative jump. Thus mean-field approximation predicts a second-order transition at $T_c=2DJ/k_B$. This is the mean-field Ising critical bifurcation.

For short-range interactions, large dimension gives many neighbours and suppresses the relative fluctuations of their average. More quantitatively, Gaussian field theory fluctuations averaged over a correlation volume have variance of order ${\xi }^{2-D}$, while the squared ordinary mean-field order parameter is of order $|t|\sim {\xi }^{-2}$. Their ratio is proportional to ${\xi }^{4-D}$. The Ginzburg criterion therefore makes neglect of critical fluctuations asymptotically consistent above four dimensions, inconsistent below four, and marginal at four, where logarithms occur. Large dimension is a route to validity; sufficiently long-range or infinite-range interactions can also produce mean-field behaviour. In low-dimensional short-range systems even the existence and location of a transition can differ from this approximation.

The anti-Hermitian operators represent the compact real form; its complexification also contains the Hermitian $H_i$ and the raising operators and lowering operators $E_{\pm }^r$, with $(E_{+}^r{)}^{†}=E_{-}^r$. Define the roots in the two-dimensional Cartan plane byEach has squared length one. For each $r=1,2,3$, setThe displayed commutators give $[J_3^{(r)},J_{\pm }^{(r)}]=\pm J_{\pm }^{(r)}$ and $[J_{+}^{(r)},J_{-}^{(r)}]=2J_3^{(r)}$. Thus these are the three root SU(2) subalgebras of SU(3).

The commuting Hermitian operators $H_1,H_2$ can be simultaneously diagonalized. A weight of a representation is a pair $\lambda =(h_1,h_2)$ for whichwhere $a$ labels independent states of that representation weight. The weight multiplicity is the dimension of this simultaneous eigenspace. Commuting $H_i$ past a ladder operator proveswith zero image allowed when the raised or lowered representation weight is absent.

Choose ${\alpha }_1,{\alpha }_2$ as positive simple roots. A highest-weight vector is a nonzero simultaneous eigenvector annihilated by $E_{+}^1,E_{+}^2,E_{+}^3$; the third condition follows from the first two and their commutator. In an irreducible representation, its highest weight $\Lambda$ has multiplicity one and repeated lowering generates the representation. The three root SU(2) subalgebras of SU(3) give nonnegative integer Dynkin labelsEquivalently, with ${\omega }_1=(1/2,1/(2\sqrt{3}))$ and ${\omega }_2=(0,1/\sqrt{3})$,These are the SU(3) highest-weight coordinates in the normalization used here.

The Weyl group is generated by the reflections $s_r(\lambda )=\lambda -2(\lambda \cdot {\alpha }_r){\alpha }_r$. The SU(2) Lie algebra root-string symmetry makes these reflections preserve both representation weights and their weight multiplicities. They generate the symmetries of an equilateral triangle: rotations through $120^{\circ }$ and three reflections. The outer polygon is the convex hull of the Weyl group orbit of $\Lambda$. When $p,q>0$ it is a hexagon with alternating side lengths $p,q$ in root-step units; when exactly one is zero it is a triangle; when both vanish it is a point. The representation conjugate to $(p,q)$ has labels $(q,p)$ and negative representation weights. For $p=q$, this gives an additional inversion symmetry and a regular hexagon with $60^{\circ }$ rotations. A general unequal-sided hexagon need not have that extra symmetry.

The shell multiplicities in an SU(3) weight diagram can be stated precisely. Let $P_{a,b}$ be the convex hull of the Weyl group orbit of $a{\omega }_1+b{\omega }_2$. For $\lambda$ in the root lattice coset $\Lambda +Q$,representation weights outside this coset or outside the outer polygon are absent. This states that boundary representation weights have multiplicity one, each inward shell adds one, and the innermost triangular region has constant multiplicity $\min (p,q)+1$. When $p=q$ the innermost region is a single point. All representation weights of a triangular diagram have multiplicity one. Counting the diagram gives $\dim (p,q)=(p+1)(q+1)(p+q+2)/2$. The examples below display both triangular orientations, a regular hexagon, an unequal-sided hexagon, a central multiplicity three, and the trivial diagram.

For a weakly stationary process with mean $m$, the autocovariance function is ${\gamma }_k=\mathbb{E}[(X_{t+k}-m)(X_t-m)]$, independent of $t$. The positive definiteness of these covariances gives a unique finite positive spectral measure of a stationary time series on the frequency circle. Its cumulative function is the time-series spectral distribution $F$, with total mass ${\gamma }_0$, andUse one representative of the identified endpoints $-\pi$ and $\pi$ when specifying atoms. For a real-valued process the measure is symmetric, so the imaginary part integrates to zero. If it has a time-series spectral density, thenThe second identity is pointwise for an absolutely summable covariance sequence, as will apply to part (a). Existence of a density alone does not guarantee ordinary pointwise convergence of its Fourier series; in general the reconstruction can be interpreted by its Cesàro means in $L^1$. This fixes the frequency normalization for all three calculations below.

Use the usual semiparametric Cox proportional-hazards model with observed covariates $z_i$:The covariates are implicit in the question's regression fit, even though the displayed data notation only lists exit times and event indicators. Assume entry at a common origin, time-constant covariates, distinct observed times and independent censoring. Write $R_i=\{j:x_j\ge x_i\}$ and $w_j(\beta )=e^{{\beta }^T{z}_j}$. Conditional on a single event at $x_i$ in its risk set, the chance that individual $i$ supplies it isThe baseline hazard cancels. Consequently estimate $\beta$ by maximizing Cox partial likelihoodFor example, the score and information of Cox partial likelihood follow by differentiation. Define $S_i^{(0)}={\sum }_{j\in R_i}{w}_j$, $S_i^{(1)}={\sum }_{j\in R_i}{w}_j{z}_j$ and $S_i^{(2)}={\sum }_{j\in R_i}{w}_j{z}_j{z}_j^T$. ThenWhen a finite identifiable maximum exists, iterate $\beta \leftarrow \beta +I(\beta {)}^{-1}U(\beta )$ until convergence. The observed Fisher information also gives the usual asymptotic coefficient uncertainty. Censored subjects enter the relevant risk sets, even though they supply no numerator event factor.