Each annulus has a torque proportional to ${\mathbf{J}}_h\times \delta {\mathbf{J}}_d$, so its scalar product with ${\mathbf{J}}_h$ is zero. Summing over annuli preserves this property even when the proportionality coefficient varies with radius. Therefore $\boxed{\mathbf{T}\cdot {\mathbf{J}}_h=0}$ for the total torque due to Lense-Thirring precession.

The torque specified is the torque on the disk. Assuming a closed disk-plus-hole angular-momentum budget with no external torque, its reaction on the black hole has the opposite sign:Thus ${\dot{\mathbf{J}}}_t=0$. The $K_1$ term describes precession, because it is perpendicular to both spins. Since ${\mathbf{J}}_h\times {\mathbf{J}}_d={\mathbf{J}}_h\times {\mathbf{J}}_t$, the hole precesses about the fixed total vector. The $K_2$ term changes the spin directions dissipatively. Writing ${\mathbf{J}}_{d,\perp }$ for the disk component perpendicular to the hole, the vector triple product identity givesA positive $K_2$ removes this component from the disk and transfers it into the hole's changing direction. This is black-hole and disk alignment under internal torque.

Since $\mathbf{T}$ is perpendicular to ${\mathbf{J}}_h$,Hence $\boxed{J_h\text{ is constant}}$, even if the torque coefficients vary in time.

Now differentiate the scalar product with the conserved total vector. The precession term contributes zero, and the vector triple product identity givesAlso ${\mathbf{J}}_h\cdot {\mathbf{J}}_t=J_h^2+{\mathbf{J}}_h\cdot {\mathbf{J}}_d$, so constancy of $J_h$ givesFinally, $J_t^2=J_h^2+J_d^2+2{\mathbf{J}}_h\cdot {\mathbf{J}}_d$ is constant. Differentiating provesThus the disk's spin magnitude decreases while the hole's magnitude is fixed; their vector sum remains fixed as well.

For the alignment conclusion, assume $J_h,J_t>0$ and let $c=\cos \theta ={\mathbf{J}}_h\cdot {\mathbf{J}}_t/(J_h{J}_t)$. Since ${\mathbf{J}}_h\times {\mathbf{J}}_d={\mathbf{J}}_h\times {\mathbf{J}}_t$,For a noncollinear initial state, $|c(0)|<1$, this integrates exactly toConsequently a fixed positive $K_2$, or more generally a positive coefficient of divergent integrated strength, gives $c(t)\to 1$. In this persistent dissipative evolution, $\boxed{{\mathbf{J}}_h\to J_h{\hat{\mathbf{J}}}_t}$: the hole aligns asymptotically with the total angular momentum. The exactly antiparallel configuration $c=-1$ is a stationary, nongeneric exception; when $J_t=0$ there is no total-vector direction to align with.

If the phrase $K_2>0$ allows arbitrary time dependence, positivity alone does not logically force complete eventual alignment. The persistent-torque criterion for asymptotic spin alignment is the needed qualification. For example, take $J_h=J_t=1$, $K_1=0$, $K_2(t)=e^{-t}$ and $c(0)=0$. The same torque equations give $c(t)=\tanh (1-e^{-t})$, with limit $\tanh 1<1$. The final configurations below use the intended persistent-torque regime, including constant positive $K_2$.

Once the hole has aligned, conservation of angular momentum fixes the disk without any additional torque calculation:The disk and hole therefore finish parallel only if $J_t>J_h$. If $J_t<J_h$, they finish antiparallel: this is counteralignment of a black hole and accretion disk. In terms of the initial disk-hole angle ${\theta }_0$, squaring $J_t$ shows that counteralignment occurs whenIf $J_t=J_h$, the final disk angular momentum vanishes and has no spin direction. Thus alignment of the hole with the total vector does not imply alignment of both component spins.

Use metric signature $(+---)$ throughout this solution. Stress-energy conservation for the perfect fluid is ${\nabla }_b{T}^{ab}=0$. Expanding it and using metric compatibility givesThe normalization of the four-velocity implies $U_a{U}^b{\nabla }_b{U}^a=0$. Contracting with $U_a$ therefore gives the relativistic perfect-fluid energy equation,while subtracting the component parallel to $U$ gives the relativistic Euler equation,Equivalently, apply the orthogonal projection ${\delta }_a{}^c-U_a{U}^c$ to the conservation equation. This form makes clear that a pressure gradient orthogonal to the four-velocity supplies the fluid's four-acceleration.

Locality in quantum theory is not one interchangeable condition. Spatial concentration of a wave packet concerns a state description. Quantum no-signalling restricts operational changes of remote statistics. Microcausality concerns commutation of spacelike observable algebras. The spectrum condition constrains energy-momentum and stability, while primitive causality concerns determination of future-domain expectations by initial-region data. The distinctions are clearest when all five are discussed; none should be replaced silently by the Bell factorization examined elsewhere.

Wave-function tails and entangled correlations are not by themselves controllable signals. Conversely, absence of signals does not by itself supply a local initial-value dynamics or positive-energy spectrum. Each claim must specify the observable algebras, allowed operations and relevant causal regions.

For a finite-dimensional mechanical system let $Q$ be its configuration space, a smooth manifold incorporating the holonomic constraints. Lagrangian mechanics starts with $L:TQ\to \mathbb{R}$; a curve $q(t)$ makes the action stationary under fixed-endpoint variations. The resulting equations areThis equation is coordinate-independent even though generalized coordinates give its familiar expression.

The fibre derivative $\mathbb{F}L(q,v)=(q,p)$, with $p_i=L_{v^i}$, defines the Legendre transform in mechanics. The Cartan form of a regular mechanical Lagrangian isFor a regular Lagrangian, the velocity Hessian is invertible, ${\omega }_L$ is symplectic, and ${\iota }_{{\Gamma }_L}{\omega }_L=d{E}_L$ determines a second-order vector field on $TQ$. In coordinates this recovers the displayed Euler–Lagrange equations: the velocity components of the vector field are $v^i$, and its acceleration components are fixed by the invertible Hessian.

Hamiltonian mechanics takes place on $T^{\ast }Q$. Its tautological one-form is $\theta =p_{i}d{q}^i$, and its canonical symplectic form is $\omega =-d\theta =d{q}^i\wedge d{p}_i$. With ${\iota }_{X_H}\omega =dH$,The associated Poisson bracket is $\{f,g\}=f_{q^i}{g}_{p_i}-f_{p_i}{g}_{q^i}$, so $X_{H}f=\{f,H\}$. For a hyperregular Lagrangian, $\mathbb{F}L$ is a global diffeomorphism, $H=E_L\circ (\mathbb{F}L{)}^{-1}$ and $(\mathbb{F}L{)}^{\ast }\omega ={\omega }_L$. The two formulations then describe the same trajectories. Regularity gives only local equivalence; degenerate Lagrangians require constraint analysis instead. These geometric structures distinguish equations of motion from arbitrary coordinate formulae and make symmetry reduction precise.

A limiting argument starts with a family of microscopic models $T_N$, a specified macroscopic quantity $M_N$ and a topology or operational criterion for convergence as $N\to \infty$. It is not enough to say that a large system has many constituents: one must identify what is held fixed, what observables are compared and whether predictions converge uniformly. A thermodynamic limit, for example, normally holds density and intensive parameters fixed while size increases. Other limits remove a resolution cutoff or enlarge an observable algebra.

A limiting theory can be both deduced from microscopic models and qualitatively novel. The compatibility depends on distinguishing an exact property at the mathematical limit from the approximate collective behaviour of actual finite systems. The conceptual distinction is developed below, followed by three complementary examples rather than a claim that every form of emergence has the same mechanism.

A phase diagram locates stable pure thermodynamic phases and their phase coexistence boundaries in a space of control parameters. For a concrete three-dimensional example, take the temperature, crystal-field parameter, and magnetic field of the Blume–Capel model. Its spins take values $0,\pm 1$; changing the cost of the zero-spin state can turn a continuous ordering transition into a discontinuous one. A local scalar description near the resulting tricritical point is the Landau-Ginzburg theoryThe three local control coordinates are $(r,u,h)$, with $r$ varying linearly with the thermal scaling field. For $u>0$, $h=0$, the transition at $r=0$ is continuous. For $u<0$, zero-field coexistence is at $r=3u^2/(16v)$, and the magnetization jumps between zero and $\pm \sqrt{-3u/(4v)}$. The two loci meet at $r=u=h=0$, the tricritical point.

The full three-dimensional phase diagram has an ordered coexistence sheet at $h=0$, where the two opposite magnetizations exchange stability when $h$ changes sign. On its three-phase line it meets two nonzero-field tricritical wings. These wings are first-order phase transition surfaces between minima of the same sign but different magnitude, terminating at ordinary thermodynamic critical points. Their tricritical wing critical edges are found by $V^{\prime }=V^{\prime \prime }=V^{\prime \prime \prime }=0$:Indeed $V^{\prime \prime \prime }=6uM+20v{M}^3$ fixes $M_c^2$, and substituting into $V^{\prime \prime }=0$ and $V^{\prime }=0$ gives $r_c,h_c$; $V^{\prime \prime \prime \prime }=-12u>0$ ensures a stable critical quartic minimum. The two signs give the two wings. All transition surfaces and critical edges end together at the tricritical point. The following plot uses $v=1$; its wing surfaces come from the exact tricritical wing coexistence factorization, rather than schematic unconstrained surfaces.

The unheaded requests for critical exponents follow from the uniform equation of stateFor an ordinary thermodynamic critical point, $u>0$ is fixed and $r=At$, $A>0$. At $h=0$, $t<0$, the small ordered minimum obeys $M^2\sim -r/u$, so the order-parameter critical exponent is $\beta =1/2$. Above the transition $\chi =(\partial M/\partial h{)}_{h=0}=1/r$, giving the magnetic-susceptibility critical exponent $\gamma =1$. At $r=0$, $h\sim u{M}^3$, so the critical-isotherm exponent is $\delta =3$. At the tuned tricritical point, $u=0$, instead $M^4=-r/v$ below the transition and $h=v{M}^5$ on its critical isotherm, while the disordered susceptibility remains $1/r$. ThereforeBelow the transition the inverse susceptibility is $r+3u{M}^2+5v{M}^4$, giving $2|r|$ in the ordinary limit and $4|r|$ in the tricritical limit. Thus both sides give the same susceptibility power, with different amplitudes.

To derive the general Ginzburg criterion, tune away all lower even nonlinearities and let the leading stabilizer be $v_n{M}^{2n}/(2n)$, $n\ge 2$. The equation of state gives $M_0^2\asymp |r{|}^{1/(n-1)}$, and its curvature at the ordered saddle is $2(n-1)|r|$, so $\xi \asymp |r{|}^{-1/2}$. The fluctuations of the order parameter averaged over a correlation volume are estimated by its long-wavelength quadratic covariance:The integral has a fixed dimensionless upper limit after $q=p/\xi$; this is a coarse-volume fluctuation estimate, not the ultraviolet-dominated point variance. Consequently the multicritical Ginzburg ratio isThe Landau approximation is asymptotically controlled by this test only when the ratio tends to zero. This gives the upper critical dimensionThe same threshold follows by giving $M$ its Gaussian engineering dimension $(D-2)/2$: the coupling to $M^{2n}$ has scaling exponent $D-n(D-2)=2n-(n-1)D$, which becomes relevant below $D_c$.

For $D<D_c$, the fluctuation ratio diverges and the saddle calculation cannot predict the generic interacting critical exponents. At $D=D_c$ the test is marginal, not a proof of changed power exponents: the ratio has zero thermal power and marginal interactions can produce logarithmic corrections. Thus the PDF's inclusion of equality in a blanket claim about wrong power exponents needs this qualification. The Landau-Ginzburg theory as a fluctuating field theory remains useful; what loses validity is its fluctuation-free Landau approximation.

For a finite-dimensional Lie algebra, write $A_X=\mathrm{ad}X$ for its Adjoint representation. The Killing form is the symmetric bilinear formThe Jacobi identity gives $A_{[X,Y]}=[A_X,A_Y]$. Using the cyclic property of the trace,Thus it is an invariant bilinear form on a Lie algebra. If $[T_a,T_b]=f_{ab}{}^c{T}_c$, the adjoint matrix has entries $(A_{T_a}{)}^c{}_b=f_{ab}{}^c$. Its trace product yields the structure constants of a Lie algebra formulaA semisimple Lie algebra has zero solvable radical, equivalently no nonzero solvable ideal. In characteristic zero, the Cartan criterion for semisimplicity characterizes it by nondegeneracy of its Killing form. A real compact Lie algebra is the Lie algebra of a compact Lie group, equivalently one admitting a positive-definite invariant inner product. For a real semisimple algebra, the compactness criterion from the Killing form says compactness is equivalent to negative-definiteness of $\kappa$. An abelian compact-type algebra has zero Killing form, so this last characterization specifically concerns the semisimple case.

Use the two-sided spectral density of a stationary process conventionThus white noise of variance ${\sigma }^2$ has density ${\sigma }^2/(2\pi )$.

Absolute summability makes the linear filter of a stationary time series well defined in $L^2$: ${\sum }_r\Vert a_r{X}_{t-r}{\Vert }_2\le \Vert X_0{\Vert }_2{\sum }_r|a_r|<\infty$. Its mean is $m_Y=m_X{\sum }_r{a}_r$. For its autocovariance, continuity of the $L^2$ inner product givesThe sum is absolutely convergent because $|{\gamma }_X(j)|\le {\gamma }_X(0)$. It depends only on $k$, proving weak stationarity. Inserting the spectral inversion formula and exchanging the absolutely dominated sum with the integral yieldsHere the coefficients are real, so the two factors are complex conjugates. This is the spectral density transformation under a linear filter.

Applying a second linear filter of a stationary time series givesThe composition of absolutely summable time-series filters can also be calculated directly:Indeed ${\sum }_{\ell }|c_{\ell }|\le \Vert a{\Vert }_1\Vert b{\Vert }_1$; this bound also justifies the interchange of the two $L^2$ sums. The filter gain multiplies under this composition. The sketches for the two individual filters are:

Let $t_j$ be the distinct observed event times, with $r_j$ individuals at risk just before $t_j$ and $d_j$ events there. Parameterize the event-time distribution by the conditional failure probabilities $q_j=\mathbb{P}(T=t_j\mid T\ge t_j)$. Under independent censoring, the survival part of the nonparametric likelihood groups into factorsAn individual still under observation at $t_j$ contributes either a failure factor or a survival factor; later-censored individuals contribute the latter factors until censoring. Maximizing each factor independently gives ${\hat{q}}_j=d_j/r_j$, including the boundary solutions when $d_j=0$ or $d_j=r_j$. Multiplying the conditional survival probabilities yields the Kaplan–Meier estimatorThe notation $F$ here denotes the survivor function, as in the question. The estimator is constant between event times. Under the usual simultaneous-event convention, individuals censored at $t_j$ remain in its risk set while events are processed, and are then removed.