For a universal abundance depending on halo peak height, the peak-background split gives a potential-response coefficient $b_{\phi }=2f_{\mathrm{NL}}{\delta }_c{b}_L$, with $b_L$ the linear Lagrangian halo bias. If $\delta =\alpha (k)\phi$, the corresponding deterministic galaxy bias correction is $\Delta b=b_{\phi }/\alpha (k)$, proportional to $k^{-2}$ on sufficiently large scales. For a physical Eulerian tracer, $b_E=1+b_L$, so $b_{\phi }=2f_{\mathrm{NL}}{\delta }_c(b_E-1)$. The deterministic tracer power spectrum is $(b_E+\Delta b{)}^2{P}_m$; it remains nonnegative even if a negative correction changes the sign of the tracer-matter correlation.

Initialize the PC skeleton search with an estimated conditional independence graph to reduce candidate pairs and conditioning sets. An exact graph contains the true directed acyclic graph skeleton because it equals its moral graph under faithfulness. For initially absent pairs record the full complement as a separating set; an empty default can create false collider orientations. Estimation errors can affect this screening step.

With an exact conditional independence oracle and faithfulness of a directed acyclic graph, the skeleton phase of the PC algorithm deletes precisely the nonedges. A true edge cannot be D-separated by a set excluding its endpoints. For nonadjacent vertices, choose the later vertex $v$ in a topological ordering; its parents separate it from the earlier nonparent. True parent edges survive throughout, so this separator remains available among the algorithm's candidate neighbour sets. For an unshielded triple $u-v-w$, any recorded separator of $u,w$ excludes $v$ exactly when the triple is an unshielded collider. The skeleton and collider characterization of Markov equivalence therefore identifies the correct equivalence class. Directions compelled throughout that class give its completed partially directed acyclic graph.

The parton model approximates a high-energy collision with a hadron as a short interaction with one constituent carrying a fraction of the hadron's longitudinal momentum. In electromagnetic deep inelastic scattering, the probe couples to charged quarks and antiquarks.

The short collision is treated using a parton-level scattering probability, averaged over parton distribution functions. In the simplest massless collinear limit, the Bjorken scaling variable identifies the struck constituent's momentum fraction, and dimensionless structure functions approximately depend on that variable alone. QCD scaling violation adds logarithmic resolution dependence through radiation and splitting. The model explains why a composite target can display a simple short-distance pattern without requiring its constituents to be permanently isolated classical particles.

For bipartite operators $X,Y$ in a fixed product basis,Expand both operators in products of matrix units. On the transposed factor, the identity is $\mathrm{Tr}(AT)=\mathrm{Tr}(A^T{T}^T)$; bilinearity gives the bipartite result. It allows a negative partial transpose eigenvector to define an entanglement witness.

A bipartite density operator has positive partial transpose when ${\rho }^{T_B}\ge 0$. Every separable quantum state has this property, since transposing one factor of a positive product state preserves positivity and the separable sum preserves it as well. The property does not depend on which local basis defines the transpose.

For partial functions $h:X\rightharpoonup Y$ and $g:Y\rightharpoonup Z$, their function composition is defined precisely onFor example, composing $h(x)=1/x$ with $g(y)=\sqrt{y}$, as real partial functions, gives $1/\sqrt{x}$ only on $x>0$.

More generally, strict composition of partial functions makes $g(h_1(x),\dots ,h_r(x))$ defined only if every $h_i(x)$ is defined and $g$ is defined on the resulting tuple. An argument discarded by the outer function must still be defined: the expression $g(1/x)$ with the everywhere-zero constant function $g$ remains undefined at zero. A representation in a programming language using lazy evaluation therefore needs an explicit check of the intermediate definedness conditions.

For a fixed pants decomposition, the positive cuff lengths and real twist parameters give coordinates on Teichmüller space. With twists measured in length units, a full Dehn twist changes ${\tau }_i$ by ${\ell }_i$; with angle units it changes the twist by $2\pi$.

For fixed $g\ge 2$, a constant $B_g$ bounds all cuff lengths in some pants decomposition of every closed genus-$g$ hyperbolic surface. Together with Fenchel–Nielsen coordinates this implies Mumford's compactness theorem.

For the forward implication, finite order of a distribution makes $F(\zeta )=⟨u,e^{-ix\cdot \zeta }⟩$ entire. Use a smooth cutoff in an $\epsilon$-neighborhood of the support set, with derivatives of order $j$ bounded by $C_j{\epsilon }^{-j}$. Taking $\epsilon =(1+|\zeta |{)}^{-1}$ in the finite-order estimate gives the polynomial factor and adds at most $e$ to the desired exponential bound. This shrinking cutoff recovers the exact support indicator, instead of an arbitrarily enlarged one.

For the converse, the real restriction of $F$ has polynomial growth and defines an inverse tempered distribution. If a test function $\phi$ is supported in $x\cdot \omega \ge R+\eta$ for a unit vector $\omega$ and $\eta >0$, contour shifting givesRepeated integration by parts gives, for every integer $M$,Choosing $2M>N+n$ justifies the shift by Cauchy integral theorem and bounds the pairing by $C^{\prime }(1+t{)}^{N+2M}{e}^{-\eta t}$, which tends to zero. Half-spaces of this form cover the complement of the ball, and a partition of unity proves the support inclusion. For general compact convex $K$, replace $R$ by $H_K(\omega )$ in each separating direction. Fourier inversion gives uniqueness. A related proof outline appears in Richard Melrose's distribution-theory problem set.

Let $r_S=2GM/c^2$. In the Paczyński-Wiita potential, circular orbit balance and the radial epicyclic frequency formula giveThus the innermost stable circular orbit lies at $r=3r_S$. Its specific orbital energy is $-c^2/16$, giving a zero-torque radiative efficiency of black-hole accretion of $1/16$. The model reproduces the Schwarzschild inner orbit exactly but approximates its relativistic energy and frequency. Abramowicz's derivation explains the potential's relation to the Schwarzschild effective potential.

For a p-modular system $(K,\mathcal{O},k)$, an integral form of a finite-dimensional $KG$-module $V$ is a $G$-stable finite free $\mathcal{O}$-submodule $W\subset V$ with $K{\otimes }_{\mathcal{O}}W\cong V$. Starting with a basis lattice $L$, the sum ${\sum }_{g\in G}gL$ supplies such a form: it is finitely generated and torsion-free, hence free over the discrete valuation ring $\mathcal{O}$. Reduction gives the $kG$-module $W/\pi W$, where $\pi$ is a uniformizer.

The Haar wavelet is a signed contrast between two adjacent half-intervals:It has compact support, zero integral, and unit L2 norm: $\int \psi =1/2-1/2=0$ and $\int |\psi {|}^2=1$. The zero integral is its one vanishing moment. Its Haar scaling function is $\varphi =1_{[0,1)}$, which records a coarse value rather than a contrast. Endpoint conventions do not alter the L2 inner products.

The normalized copies ${\psi }_{j,k}(x)=2^{j/2}\psi (2^{j}x-k)$ compare the halves of the dyadic interval $[k{2}^{-j},(k+1)2^{-j})$. Narrower copies are taller so that their L2 norms stay one. Thus a coefficient identifies both a location, through $k$, and a scale, through $j$.

For a simple step function $f$ equal to $2$ on $[0,1/2)$ and $6$ on $[1/2,1)$, its coarse coefficient is $⟨f,\varphi ⟩=4$, while its first contrast is $⟨f,\psi ⟩=-2$. Thus $f=4\varphi -2\psi$. The negative coefficient raises the second half and lowers the first. Finer contrasts vanish because $f$ is constant on each half. A jump aligned with this dyadic interval boundary therefore needs only two nonzero coefficients; jumps at other positions can require details at many scales.

Its jump discontinuities make the Haar wavelet particularly transparent for changes between neighbouring regions, while limiting approximation of smooth variation. A Daubechies wavelet uses a more elaborate pattern to obtain additional vanishing moments and, at sufficiently high order, smoother basis functions. The elementary Haar refinement identity has coefficients $h_0=h_1=1/\sqrt{2}$ and explains how the coarse and fine descriptions fit together.

The historical source is Alfred Haar's ^[ref]. Chapter III, beginning on page 361, constructs the constant function and these localized piecewise-constant orthogonal functions. Its original endpoint assignments differ from the half-open convention used here, without changing L2 inner products.

A Daubechies wavelet of order $q$ is a compact support orthonormal wavelet with $q$ vanishing moments and a minimal-length finite refinement filter. The minimal filter has $2q$ taps, giving support length $2q-1$ in the standard dyadic normalization. Its low-pass symbol has a zero of order $q$ at $\pi$. Increasing order improves polynomial cancellation and, for sufficiently large order, regularity, at the price of a wider support.

Ordinal multiplication is distributive in its right argument:Indeed a sequence of copies of $\alpha$ indexed by the concatenation of $\beta$ and $\gamma$ is the concatenation of the two sequences of copies. The other distributive law fails: $(1+1)\omega =\omega$, while $\omega +\omega >\omega$.

Two ordinals commute under ordinal multiplication if and only if their squares commute. One implication follows from associativity. For the converse, squaring is strictly increasing: $A<B$ implies $A^2\le BA<B^2$. If $\alpha \beta <\beta \alpha$, monotonicity givesa contradiction to commuting squares. Swap the factors to exclude the reverse inequality; zero factors cause no exception.

For an explicit Runge-Kutta method with coefficients $A,b$, put $c=A1$ and let $c^2$ mean componentwise squaring. The conditions $b^{T}1=1$, $b^{T}c=1/2$, $b^T{c}^2=1/3$ and $b^{T}Ac=1/6$ match the exact flow expansion through degree three: the two cubic differentials are $f^{\prime \prime }[f,f]$ and $(f^{\prime }{)}^{2}f$. For sufficiently smooth vector fields these give local error $O(h^4)$ and, under the usual finite-interval Lipschitz continuity assumptions, global error $O(h^3)$.

A distribution can have finite order of a distribution on every compact set without having one order bound valid on the whole domain. For example, the locally finite sum ${\sum }_{j\ge 1}{\partial }^j{\delta }_j$ on the real line has orders growing without bound near the integers.

For an attractive Kepler orbit with gravitational parameter $GM$, velocity $\mathbf{v}$ and specific angular momentum $\mathbf{h}=\mathbf{r}\times \mathbf{v}$, the eccentricity vector isIts magnitude is the orbital eccentricity, and it points toward periapsis for a noncircular orbit. It is a normalized attractive Laplace-Runge-Lenz vector; it remains constant under the pure inverse-square force.

For composable bounded linear operators, the operator norm satisfies $\Vert AB\Vert \le \Vert A\Vert \Vert B\Vert$. Indeed, $\Vert ABx\Vert \le \Vert A\Vert \Vert Bx\Vert \le \Vert A\Vert \Vert B\Vert \Vert x\Vert$, and taking the supremum over unit vectors proves the bound. It implies $\Vert [A,B]\Vert \le 2\Vert A\Vert \Vert B\Vert$ by the triangle inequality.