For an ice mass in still water, approximate the wind stress by a fixed vector $a{\mathbf{e}}_x$ while retaining quadratic drag in the water. With mass per water-drag area $\mu =m/A_w$, water coefficient $b={\rho }_w{C}_w$ and $f=2\Omega \sin \varphi$, the steady balance is $a{\mathbf{e}}_x=bU\mathbf{u}+\mu f\hat{\mathbf{z}}\times \mathbf{u}$. Resolving along the drift and perpendicular to it gives $a\cos \theta =b{U}^2$, $a\sin \theta =\mu |f|U$. Thus $b^2{U}^4+(\mu f{)}^2{U}^2=a^2$ and $\tan \theta =\mu |f|/(bU)$. The direction is right of the wind in the northern hemisphere and left in the southern hemisphere. This angle neglects intrinsic boundary-layer turning, ocean currents and contact forces; it is not a universal observed sea-ice turning angle.

For positive downward speed, gravity and quadratic drag give $m\dot{v}=mg-\alpha v^2$, $v(0)=0$. Separation and the integral of $(1-s^2{)}^{-1}$ give the displayed approach to terminal velocity. The fallen distance is $(m/\alpha )\log \cosh (\sqrt{\alpha g/m}t)$. The limit as $\alpha \to 0$ recovers $v=gt$ and distance $g{t}^2/2$.

For each facility $i$ and location $k$, independently minimize its row contribution over bijections from the other facilities to the other locations, giving ${\ell }_{ik}$. Every complete assignment has row contribution at least its corresponding ${\ell }_{ik}$, so minimizing their sum is a lower bound on the quadratic objective. Fixed assignments are retained as constraints in this assignment problem, which the Hungarian algorithm solves. The independently optimal rows need not be simultaneously realizable, explaining why the bound can be strict.

If subsystem $S$ has pure state $|u⟩⟨u|$ in a normalized joint pure vector $|\Omega {⟩}_{SE}$, then $|\Omega {⟩}_{SE}=|u{⟩}_S\otimes |e{⟩}_E$. Indeed, for an orthonormal basis $\{v_j\}$ of $u^{\perp }$, each squared norm $\Vert (⟨v_j|\otimes I)|\Omega ⟩{\Vert }^2=⟨v_j|{\rho }_S|v_j⟩$ is zero. Therefore the joint vector has no component outside $\mathbb{C}u\otimes {\mathcal{H}}_E$. In particular, if Alice and Bob share a known pure entangled state, an adversary holding a purifying system has no correlations with it. This does not make every pure bipartite state useful for key distribution: a pure product state has no shared random correlations.

Suppose a perturbed polynomial has the local form $A(x-x_0{)}^2+ϵB+O((x-x_0{)}^3,ϵ(x-x_0),{ϵ}^2)$ with $AB\ne 0$. Dominant balance gives $x-x_0={ϵ}^{1/2}z$ and $A{z}^2+B=0$. The two resulting Puiseux series split a double root; their leading displacements can be real or a complex conjugate pair. Ordinary Taylor series in $ϵ$ cannot describe this splitting.

Choose integers $M>1$, $a$, $c$ and a seed $S_0$. Iterate $S_{n+1}=(a{S}_n+c)\mathrm{mod}M$ and return $U_n=S_n/M$. This gives a deterministic finite-state pseudorandom number generator with output in $[0,1)$. A nonzero increment gives a mixed generator; $c=0$ gives a multiplicative generator. Its period is at most $M$, but even a full period does not guarantee good multidimensional uniformity or statistical independence.

A pseudorandom number is an output of a deterministic algorithm chosen to imitate samples from a specified probability law. For example, a linear congruential generator returns fractions $S_i/M$ on a finite grid in $[0,1)$. Their intended uniform distribution is an approximation, and their serial dependence must be assessed separately from the generator's period.

A pseudo-Riemannian metric is a smooth nondegenerate symmetric bilinear form on every tangent space, with locally constant signature. Its positive-definite special case is a Riemannian metric. Unlike a positive-definite metric, an indefinite metric admits nonzero null vectors. In either signature its Levi-Civita connection is uniquely determined by torsion-freeness and metric compatibility.

Geometric splitting theorems give hypotheses under which a manifold decomposes as a metric product. The Cheeger-Gromoll splitting theorem gives a Euclidean line factor for a complete connected Riemannian manifold with nonnegative Ricci curvature containing a globally minimizing geodesic line. Other splitting theorems use different curvature or causal hypotheses.

For a normal subgroup $N$ with Prüfer rank $r$ and quotient of rank $s$, let $H=⟨h_1,\dots ,h_k⟩\le G$. Choose at most $s$ elements $x_j\in H$ generating the image of $H$. Write $h_i=w_i(x_1,\dots ,x_s)n_i$ with $n_i\in N\cap H$. The finitely generated subgroup $⟨n_1,\dots ,n_k⟩$ needs at most $r$ generators, so $H$ needs at most $r+s$. The full intersection $H\cap N$ need not be finitely generated.

Identify classical propositional formulae when their equivalence is provable from a fixed theory. Their equivalence classes form the Lindenbaum algebra: meet and join are induced by conjunction and disjunction, complementation by negation, and the order by provable implication. Provable equivalence is preserved by each connective, so these operations are well-defined; the familiar classical propositional identities make this a Boolean algebra. A homomorphism of lattices to $\{0,1\}$ preserving zero and one also preserves complements and therefore specifies a truth valuation of the atomic propositions. All axioms of the fixed theory represent one. Separating the class of an unprovable formula from one consequently gives a countervaluation, proving the completeness theorem for propositional logic.

A contradiction is an assertion or collection of assumptions from which logical falsity follows. Deriving both a statement $P$ and its logical negation is a standard example. A contradiction under a temporary assumption can establish that assumption's negation; classical proof by contradiction additionally uses this to establish positive conclusions.

When event times are observed only in intervals and the covariate vector is constant within an interval, a proportional hazards model gives $p_{ij}=1-\exp [-\Delta H_{0j}\exp ({\beta }^T{z}_i)]$. Thus the interval event probability has a complementary log-log link, with ${\alpha }_j=\log \Delta H_{0j}$ an interval-specific intercept. The person-period Bernoulli likelihood models several events in one interval directly, without inventing their order. It needs appropriate independent censoring assumptions and a consistent account of interval entry and observation.

In a proportional hazards model $h(t\mid z)=h_0(t)e^{{\beta }^{T}z}$, the baseline survival function is $S_0(t)=\exp \{-{\int }_0^t{h}_0(u)du\}$, corresponding to the reference covariate vector $z=0$. Integrating the hazard function gives $S(t\mid z)=S_0(t{)}^{e^{{\beta }^{T}z}}$. Estimated hazard ratios alone therefore do not determine absolute survival probabilities: the baseline hazard or baseline survival function must also be estimated.

When a route has zero active flows, its term is absent from weighted logarithmic utility. Its aggregate allocation is taken to be zero; a per-flow rate on it has no operational meaning and need not be uniquely determined. One must not divide by its zero population. Empty-network and empty-group cases can therefore be treated separately while preserving uniqueness of active-flow rates.

For a group of isometries acting properly discontinuously on the hyperbolic plane, and a point $p$ with trivial point stabilizer, the closed Dirichlet domain isIt is the intersection of the closed half-planes bounded by perpendicular bisectors between $p$ and its other group orbit points. The group orbit is locally finite and the hyperbolic plane is a proper metric space, so every point has a nearest group orbit point. This shows that the translates of $D_G(p)$ cover the plane. Distinct interiors are disjoint, since being strictly closer to two different group orbit points is impossible. Boundary ties are allowed in the closed domain. Thus it is a geometric fundamental region.

For a short exact sequence of modules with projective resolutions of its outer terms, there is a projective resolution of the middle term forming a degreewise split short exact sequence of resolutions. Lift the degree-zero projective cover of the quotient into the middle module and add the projective cover of the submodule; this surjects onto the middle module. Its kernel fits into the corresponding short exact sequence of kernels. Repeating this construction proves the claim. Additive contravariant functors preserve the degreewise split exact sequences with their direction reversed.

A finitely generated module over a Noetherian ring admits a possibly infinite free resolution whose every term is finitely generated. Surject a finite free module onto it; the kernel is finitely generated because a finite free module is Noetherian. Repeat this construction on the successive kernels. If the original module has finite projective dimension $n$, its $n$th syzygy is projective by dimension shifting of the Ext functor, giving a length-$n$ resolution with finite projective terms.

Let self-adjoint orthogonal projections $P_i$ sum to the identity. For $v$ in the range of $P_j$,The $j$th term already equals $\Vert v{\Vert }^2$, so $P_{i}v=0$ for every $i\ne j$. Hence $P_i{P}_j=P_j{P}_i=0$ and the projective measurement operators commute.

// Target: quantum-theory.bigb

Over the complex numbers the displayed projective plane curve has precisely two singular points, $[1:0:1]$ and $[-1:0:1]$. At either, with $X=\pm 1+u$, $Y=v$, $Z=1$, the leading quadratic term is $4u^2\pm v^2$, so they are ordinary double points. The derivative equations in the chart $Y=1$ have no solution: writing $d=X^2-Z^2$ forces both $d^2=-1/16$ and $d^2=1$. The Bézout theorem proves irreducibility, since a factorization into degrees $r,4-r$ would require at least three intersections, whereas the only possible component intersections are the two transverse ordinary double points.