Consider two work-conserving slotted queues in tandem, with upstream service $c$ and downstream service $d<c$, where upstream departures can be served downstream in the same slot. Put $D_t=\min \{c,Q_{t-1}+a_t\}$. Then $Q_t=Q_{t-1}+a_t-D_t$ and $R_t=(R_{t-1}+D_t-d{)}^{+}$. If $R_{t-1}+D_t\ge d$, addition gives $(Q_{t-1}+R_{t-1}+a_t-d{)}^{+}$. Otherwise $D_t<d<c$, so the upstream queue empties and both sides of that identity are zero. Thus total workload obeys the Lindley recursion with service $d$. Starting empty in the remote past yields the displayed identity whenever the upstream workload is finite. Both workloads, and hence their difference, are continuous in the weighted cumulative-input topology for a slotted queue under strictly subcritical mean input $\lambda <d<c$.

A quantum Trajectory Theory unravelling represents a Lindblad equation by an ensemble of stochastic pure states. In units $\hslash =1$, define the non-Hermitian effective HamiltonianFor a normalized state $|\psi ⟩$, channel $\alpha$ has instantaneous jump rate $r_{\alpha }=⟨\psi |L_{\alpha }^{†}{L}_{\alpha }|\psi ⟩$. During a small interval $dt$, that jump occurs with probability $r_{\alpha }dt$ and sends the state to $L_{\alpha }|\psi ⟩/\sqrt{r_{\alpha }}$. A zero rate means that channel cannot jump. Otherwise, with total no-jump probability $1-{\sum }_{\alpha }{r}_{\alpha }dt$, evolve with $I-i{H}_{\mathrm{eff}}dt$ and renormalize.

To verify the ensemble evolution, put $\rho =|\psi ⟩⟨\psi |$. The conditional normalizations cancel their probability weights, givingExpanding recovers the Lindblad equation. Different monitoring choices can give different trajectories with the same ensemble density matrix. For spontaneous emission, $L=\sqrt{\Gamma }|g⟩⟨e|$ gives jump rate $\Gamma |⟨e|\psi ⟩{|}^2$ and resets the atom to its ground state.^[ref]

A Lindblad dissipator is the non-Hamiltonian generator associated with a Lindblad operator $V$. It preserves the trace because cyclicity gives $\mathrm{Tr}(V\rho V^{†})=\mathrm{Tr}(V^{†}V\rho )$, cancelling the two anticommutator terms. It preserves Hermiticity and satisfies $\mathcal{D}[V](I)=[V,V^{†}]$; it need not preserve the identity or the purity of a density operator.

Every nonempty closed boundary subset invariant under a non-elementary Kleinian group contains the Kleinian limit set. Such a subset cannot be a singleton. Its hyperbolic convex hull contains an interior point, whose orbit lies in the hull; in the Klein ball model the boundary of this hull is contained in the original closed boundary subset.

An equivalence-invariant lifting property permits the underlying cone of the lift to be identified with the chosen cone by an isomorphism, rather than requiring literal equality. Lifts are unique up to a unique isomorphism compatible with that identification. A monadic adjunction defined by equivalence of its comparison functor has this property by monad algebra forgetful functor creates limits. Literal creation follows if the comparison is an isomorphism over the base, or suitable strict transport of objects is part of the convention. An equivalence alone does not guarantee a literally prescribed underlying object lies in the image.

A Bartlett correction rescales a regular likelihood-ratio test statistic so that its null expected value matches its limiting chi-squared degrees of freedom to a higher asymptotic order. If ${\mathbb{E}}_{0}W=d(1+b/n+O(n^{-2}))$, divide $W$ by $1+b/n$. The operation uses a model-specific Bartlett correction coefficient; matching the mean alone is not a general proof of any claimed distributional error rate.

A log-likelihood ratio compares two likelihoods on an additive scale. For independent observations its increments add. Under distributions $P_0,P_1$ with suitable integrability and common support, $E_0[\log (d{P}_1/d{P}_0)]=-D(P_0\Vert P_1)\le 0$ and $E_1[\log (d{P}_1/d{P}_0)]=D(P_1\Vert P_0)\ge 0$, where $D$ is Kullback-Leibler divergence. This sign change motivates likelihood-based sequential monitoring.

A conditional likelihood evaluates the conditional distribution of the observed data given a specified statistic. If that distribution does not involve a nuisance parameter, it permits inference about the remaining parameter without estimating the nuisance parameter. The conditioning statistic need not be ancillary; possible information loss must be assessed within the model. Conditional maximum likelihood maximizes this function.

If a statistic T has marginal density depending on a parameter of interest but not on a nuisance parameter, that density gives a likelihood for the interest parameter. It is obtained by integrating out other observed coordinates. In contrast, profile likelihood maximizes the full likelihood over the nuisance parameter. This sampling-statistic construction is different from Bayesian model evidence, which integrates parameters against a prior. No prior is required for a nuisance-free sampling marginal.

On a patch with ${\alpha }_0^{+}\ne 0$, use worldsheet diffeomorphisms and worldsheet supersymmetry to fix ${\alpha }_{n\ne 0}^{+}=0$ and ${\psi }_r^{+}=0$. The Virasoro constraints and superconformal current constraints then determine the longitudinal modes by the displayed transverse bilinears. In the Ramond sector, reduction of the fermionic zero modes includes the zero-mode Dirac constraint; fixing only nonzero modes does not complete the reduction. Eight transverse bosons and eight transverse fermions remain in the critical ten-dimensional RNS string.

Use the cross-product Lie algebra convention $X=\widehat{e_1}$, $Y=\widehat{e_2}$, $Z=\widehat{e_3}$, so $[X,Y]=Z$. Put $R_x(t)=\exp (tX)$ and $R_y(t)=\exp (tY)$, using the matrix exponential. The finite group commutator isHere $\epsilon \to 0$ and big O notation refers to any fixed matrix norm. Active rotation matrices act on column vectors from right to left: first rotate about $y$ by $-\epsilon$, then about $x$ by $-\epsilon$, then about $y$ by $+\epsilon$, and finally about $x$ by $+\epsilon$. Swapping $x$ and $y$ replaces the product by its inverse and changes the leading Lie bracket to $-Z$.

Writing $c=\cos \epsilon$ and $s=\sin \epsilon$, direct matrix multiplication givesFor $\epsilon =0.1$ radians, $C_{\epsilon }{e}_1\approx (0.999950208,0.009966462,0.000501230)$, whereas $e_1+{\epsilon }^{2}Z{e}_1=(1,0.01,0)$. Thus the residual is a positive rotation about $z$ to leading order; at finite $\epsilon$ 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.

The left panel projects the actual four arcs onto the $yz$-plane for $\epsilon =0.25$; the start and endpoint are close but distinct. The right panel divides the residual coordinates by ${\epsilon }^2$, making the limit $(\Delta y/{\epsilon }^2,\Delta z/{\epsilon }^2)\to (1,0)$ visible. This is a numerical picture of $[X,Y]=Z$ in the SO(3) Lie algebra.

For a Lie subalgebra $\mathfrak{g}\subseteq \mathfrak{gl}(V)$, its defining representation is its given action on the vector space $V$. The Lie bracket identity $[X,Y]v=X(Yv)-Y(Xv)$ verifies the representation property. For the special linear Lie algebra, diagonal trace-zero matrices have coordinate weights of a representation $L_i$ on the standard basis; for a Special orthogonal Lie algebra, the same action preserves the defining symmetric bilinear form.

The representation ring of finite-dimensional modules for a complex semisimple Lie algebra is the abelian group generated by module classes, with $[V\oplus U]=[V]+[U]$, and multiplication $[V][U]=[V\otimes U]$. Weyl complete reducibility theorem makes the classes of irreducible representations a free integral basis. The formal character map identifies this ring with the Weyl group invariant part of the group ring of a weight lattice. Injectivity follows from distinct highest weights; surjectivity follows by subtracting the character with each maximal dominant weight, whose highest-weight coefficient is one, from a Weyl-invariant finite sum.

// Target: semisimple-lie-algebra.bigb

For three vectors in oriented Euclidean three-space, the scalar triple product is $a\cdot (b\times c)$ and the vector triple product is $a\times (b\times c)$. The former is their signed volume; the latter is the vector operation appearing in the vector triple product identity.

The quotient model of a lens space splits into two solid tori. In the boundary angle lattice ${\mathbb{Z}}^2+\mathbb{Z}(1/p,q/p)$, choose ${\mu }_1=(0,1)$ and ${\lambda }_1=(1/p,q/p)$. The other meridian is $(1,0)=-q{\mu }_1+p{\lambda }_1$. A second column completing this primitive slope to a determinant-one matrix specifies a gluing map after reversing one boundary-basis convention. Different completions differ by a meridional Dehn twist extending across the second solid torus, so they give the same three-manifold.

This second-order linear differential equation extends the Legendre differential equation by its order parameter $m$. Its solutions are associated Legendre functions. In a degree-one potential problem, with $x=\tanh \eta$, two explicit solutions are $e^{m\eta }(m-\tanh \eta )$ and $e^{-m\eta }(m+\tanh \eta )$. Their Wronskian with respect to $\eta$ is $2m(1-m^2)$, so the two formulas are not a fundamental pair at $m=0$ or $m=\pm 1$.

On a hemisphere of SU(2) as the three-sphere, write $A=u_{0}I+i{u}_i{\sigma }_i$, with real coefficients satisfying $u_0^2+|\mathbf{u}{|}^2=1$. Right multiplication by $I+i{v}_j{\sigma }_j$ gives $d{u}_i=(u_0{\delta }_{ij}+u_k{ϵ}_{jki})v_j$. This right multiplication flow defines left-invariant tangent fields. With the displayed factor $i$, they obey $T_{j}A=-A{\sigma }_j$, since ${\partial }_{u_i}{u}_0=-u_i/u_0$. Applying the commutator to $A$ and using the Pauli matrix commutator identity gives $[T_i,T_j]=-2i{ϵ}_{ijk}{T}_k$. The entries of $A$ contain every coordinate, so this determines the vector-field identity, not just its action in one isolated representation.

For $F⊣G$ inducing $T=GF$, the Eilenberg-Moore comparison functor has a left adjoint exactly when every algebra $(A,a)$ has a coequalizer $q_a:FA\to L(A,a)$ of $Fa,{\epsilon }_{FA}:FTA\rightrightarrows FA$. Transposition identifies maps equalizing this pair with monad algebra morphisms $(A,a)\to K(D)$, proving both directions of the criterion. The unit is $\lambda =G{q}_a{\eta }_A$ and satisfies $G{q}_a=\lambda a$. In the base category, $a:TA\to A$ is a split coequalizer of $Ta,{\mu }_A:T^{2}A\rightrightarrows TA$, split by ${\eta }_A$ and ${\eta }_{TA}$. Consequently $\lambda$ is invertible exactly when $G{q}_a$ is also a coequalizer. The unit is invertible everywhere precisely when $G$ preserves all these specified coequalizers; preservation of arbitrary coequalizers is not required.

With signed active covariate columns $X_A^s=(s_j{x}_j{)}_{j\in A}$ and their positive-definite Gram matrix $G_A=(X_A^s{)}^T{X}_A^s$, the displayed direction has unit norm and $(X_A^s{)}^{T}u=\alpha 1$. Thus it makes equal angles with unit-length signed active covariates, and movement along it reduces their signed residual correlations at the common rate $\alpha$. The regression coefficient direction is $d_A=\mathrm{diag}(s_A)w$, with inactive components zero.

For initially pristine gas, zero bulk mass return, a constant stellar yield $y$ and a well-mixed galactic outflow of mass-loading factor $\nu$, gas conservation gives $d{M}_g=-(1+\nu )d{M}_s$ and metal accounting gives $M_{g}dZ=yd{M}_s$. Consequently $M_g=M_{g,0}{e}^{-Z/y_e}$ with $y_e=y/(1+\nu )$. Since $d{M}_s/dZ=M_g/y$, complete depletion gives a normalized mass-weighted metallicity distribution function $p(Z)=e^{-Z/y_e}/y_e$ and mean stellar metallicity $y_e$. A time-independent initial mass function makes the distribution of surviving tracers proportional to this distribution; a sample selected by light need not have the same weights.