For the prismatic triangular-channel shallow water equations, $c^2=G\varphi h/2$. The characteristic speeds are $u,u\pm c$. Along $dx/dt=u$, $d\varphi /dt=-2w\varphi /h$. Along $dx/dt=u\pm c$, the hyperbolic system has compatibility relationThe concentration differential cannot generally be discarded to obtain Riemann invariants $u\pm 4c$. Positive depth and concentration are required for this nondegenerate form.

For a power-law matter spectrum, smoothed variance scales as $\sigma \propto M^{-\beta }$ with $\beta =(n+3)/6$. Differentiating the Press-Schechter collapsed fraction gives a halo mass function proportional to $M^{\beta -2}\exp [-(M/M_{h,\mathrm{ch}}{)}^{2\beta }]$. A constant stellar-to-halo mass ratio preserves both exponents and rescales characteristic mass and normalization.

Defining characteristic mass by an exponential factor $\exp [-(M/M_{h,\mathrm{ch}}{)}^{2\beta }]$ fixes its peak height to $\nu =\sqrt{2}$, rather than one. Hence $\sigma (M_{h,\mathrm{ch}},z)={\delta }_{\mathrm{sc}}/\sqrt{2}$ and the variance at other masses follows the same power-law scaling. The precise characteristic-mass convention determines this factor.

For a fixed narrow mass bin with time-independent smoothing slope, the Press-Schechter halo mass function has time dependence $n\propto \nu e^{-{\nu }^2/2}$, with halo peak height $\nu \propto D^{-1}$. Differentiating gives the displayed rate. It is positive only for $\nu >1$; the bin can lose objects to higher masses later. Cumulative counts require integrating the differential abundance, and a moving mass boundary adds a selection term.

A sieve on $U$ is a subfunctor of the representable functor $yU$, equivalently a family of arrows into $U$ closed under precomposition. For $f:V\to U$, the pullback sieve consists of arrows $g$ into $V$ for which $fg$ belongs to the original sieve.

A Grothendieck topology assigns covering sieves to each object. The maximal sieve covers; pulling back a covering sieve gives a covering sieve; and a sieve locally covering along all arrows of a covering sieve itself covers. It defines the sheaves on a site. Families of arrows generate sieves and can be used to generate the topology.

For the positive-sign covariant gauge-fixing inverse, $p^a{G}_{ab}=\xi p_b/p^2$. It is not identically zero for fixed $\xi \ne 0$ and is a nonzero vector at a nonzero non-null four-momentum. Null momenta require the chosen pole prescription, and individual zero components are possible. The covariant Landau gauge limit suppresses this longitudinal part. The Ward identity removes longitudinal contributions from physical conserved-current amplitudes.

The Ringel lemma on bricks makes every indecomposable a brick module; positive definiteness and the Ringel form then force $q_Q=1$ and rigidity. Conversely, a maximal-orbit representation at a positive root cannot split: nonzero cross extensions increase orbit dimension, while vanishing cross extensions make the quadratic form of a split sum at least two. Open dense orbits give uniqueness. A compact bound on the integer roots gives finite representation type.

For the chain, with $n_0=n_{m+1}=0$, the quadratic form is $\frac{1}{2}{\sum }_{i=0}^m(n_{i+1}-n_i{)}^2$. Its value is one precisely for interval vectors: one $+1$ difference followed by one $-1$, all other differences zero. Thus there are $m(m+1)/2$ positive roots, independently of orientation.

In the standard discrete-time state terminology, an ergodic state is a positive recurrent state with aperiodicity. Return occurs almost surely, the mean strictly positive return time is finite, and the greatest common divisor of possible return lengths is one. An irreducible chain shares these properties among all its states.

The absolute value of a linear operator $L$ is the positive square root of an operator $L^{†}L$. Its eigenvalues are the singular values of $L$, its trace is the trace norm of $L$, and it appears in the polar decomposition of a bounded operator $L=U|L|$.

If $X_{\lambda }$ has a Poisson distribution, then $\mathbb{P}(X_{\lambda }\le \lfloor \lambda \rfloor )\to 1/2$ as $\lambda \to \infty$. The Poisson central limit theorem standardizes by mean $\lambda$ and variance $\lambda$; the cutoff $(\lfloor \lambda \rfloor -\lambda )/\sqrt{\lambda }$ tends to zero. Squeezing between fixed nearby cutoffs and using continuity of the standard normal distribution function gives the limit.

Dualize a noncollinear finite point set in the real projective plane to projective lines. Their intersection vertices and consecutive line segments form an embedded graph. A vertex incident to $k$ lines has graph degree $2k$ and corresponds to a primal line containing $k$ points. Ordinary lines correspond to degree-four vertices. The faces are polygons with at least three sides.

For a probability measure-preserving system, every measurable $B$ of positive measure and every integer $k\ge 2$ admit an integer $n\ge 1$ with $\mu ({\bigcap }_{j=0}^{k-1}{T}^{-jn}B)>0$. The sets are preimages; neither invertibility nor an ergodic transformation is required. The Furstenberg correspondence principle converts this simultaneous return into arithmetic progressions and yields the Szemerédi theorem. The case $k=2$ follows from the Poincaré recurrence theorem.

For a map between closed oriented manifolds of the same dimension, Poincare duality turns homological pushforward into a degree-preserving map on cohomology. It is adjoint to pullback under the duality pairing: $⟨f^{!}a⌣b,[N]⟩=⟨a⌣f^{\ast }b,[M]⟩$. If $f$ has degree $d$, nondegeneracy gives $f^{!}{f}^{\ast }=d\mathrm{id}$. Maps of different dimensions require the corresponding degree shift.

For a closed oriented manifold of dimension $4r+2$, Poincare duality pairs all rational Betti numbers except the middle one, making their total contribution to the Euler characteristic even. The middle cohomology degree is odd, so its nondegenerate Poincare duality pairing is an alternating bilinear form and has even dimension. Hence the Euler characteristic is even. Nonorientable manifolds can have odd Euler characteristic, as Real projective space of even dimension demonstrates.

For positive source fluxes and positive constant buoyancy flux, the plume flux-balance invariant has a finite constant while $Q$ grows without bound. Dividing by $Q^2$ makes the source imbalance vanish relatively. The balances then give $Q\sim (6\alpha /5)(9\alpha F/10{)}^{1/3}{z}^{5/3}$ and $M\sim (9\alpha F/10{)}^{2/3}{z}^{4/3}$. This attraction concerns relative similarity and does not assert that different finite sources share the same virtual origin.

A projective line $L=0$ is contained in the zero locus of the nonzero cubic $L^3$. The union of three lines is given by their product, and a conic together with a line is likewise a plane cubic. Reducibility and repeated factors are permitted in polynomial coverings used in incidence geometry; a covering by cubics need not consist of smooth irreducible curves.

The surface density of a disk associated with a planar isotropic distribution is $S(\Phi )=2\pi {\int }_{\Phi }^{\infty }F(E)dE$. Differentiation gives $F(E)=-(2\pi {)}^{-1}dS/d\Phi {|}_{\Phi =E}$. A vanishing upper-limit boundary value recovers the original integral; monotonic decrease of $S(\Phi )$ ensures a nonnegative distribution.

The radial martingale $H=\int XdX+YdY$ and the planar Brownian stochastic area $Z=\int YdX-XdY$ have common bracket $A=\int (X^2+Y^2)ds$ and zero cross variation, because their integrand vectors $(X,Y)$ and $(Y,-X)$ are orthogonal. The Itô formula also gives $X_t^2+Y_t^2=2H_t+2t$.