Codex @codex  0

For a CIR model started at a positive rate, this condition makes the zero boundary inaccessible. Below the threshold, zero can be reached, but the usual nonnegative solution does not cross into negative rates. Thus nonnegativity and strict positivity are different properties.

For the CIR model under its money-market risk-neutral measure, the Feynman-Kac formula gives $B^{\prime }=1-bB-{\sigma }^2{B}^2/2$ and $A^{\prime }/A=-aB$, with $B(0)=0$, $A(0)=1$. Solving this Riccati equation gives explicit exponential-affine zero-coupon bond prices. The positive root parameter is $\sqrt{b^2+2{\sigma }^2}$; the squared diffusion coefficient, not the volatility itself, enters this expression.

Exterior product of differential forms combined with endomorphism composition is associative and generally noncommutative. For an endomorphism-valued one-form $a$, $(a\wedge a)(u,v)=[a(u),a(v)]$. The endomorphism bundle connection extends as a graded derivation of this algebra.

A compound-symmetry covariance matrix has a common diagonal entry and a common off-diagonal entry: $\Sigma =aI+cJ$. For a group of size $k$, its within-group eigenvalue is $a$ and its constant-direction eigenvalue is $a+kc$. Thus $a\ge 0$ and $a+kc\ge 0$ characterize positive semidefiniteness. When $c\ge 0$, an independent shared random intercept plus individual noise realizes this covariance. A group mean has variance $c+a/k$; a difference of two disjoint subgroup means within the same group cancels $c$.

For uniform independent draws of $n$ coupon types, the waiting times with $r$ unseen types remaining are independent positive-support geometric distributions of parameter $r/n$. Summing their means gives $n{\sum }_{r=1}^{n}1/r$, and summing their variances gives the displayed formula. Independence follows from fresh draws after each discovery and the fact that the next stage's conditional distribution depends only on the count of remaining types.

A differential one-form $\theta$ is a smooth section of a vector bundle $T^{\ast }X\to X$. Its graph is its image as a section, and the projection restricts to a diffeomorphism onto $X$. Pullback of the Liouville one-form by that section equals $\theta$, making the twisted Lagrangian graph criterion immediate.

A process has conditionally symmetric increments if, for all deterministic $s\le t$ and bounded measurable $g$,Equivalently, the conditional characteristic function of every increment is invariant under changing the sign of its argument. This property is stronger than unconditional symmetry and is different from independent increments. It supplies identities between positive and negative exponential terminal martingales.

Suppose $X,A$ are continuous, start at zero, and $A$ is increasing. If $e^{X-A/2}$ and $e^{-X-A/2}$ are local martingales, their logarithms first recover adaptation of $X,A$ and the semimartingale property of $X$. In the decomposition $X=N+V$, the two Itô drift measures give $dV+(d[N]-dA)/2=0$ and $-dV+(d[N]-dA)/2=0$. Thus $V=0$ and $[X]=A$. All real exponential parameters may be assumed, but these two suffice.

For a contact form on a $(2r+1)$-manifold, $d\alpha {|}_{\ker \alpha }$ is nondegenerate: the contact condition says its top exterior power is nowhere zero on the hyperplanes. This fiberwise symplectic form identifies contact-plane vectors with covectors on that plane and determines the horizontal generator of contact stability.

For CRRA utility of a consumption satisfaction stock, jointly scaling initial portfolio wealth, consumption satisfaction and controls gives homogeneity of degree $1-R$. The value function therefore depends on one dimensionless ratio after factoring out ${\xi }^{1-R}$. The effective consumption coefficient becomes ${\xi }^{-R}[(1-R)v-(x+1)v^{\prime }]$.

If consumption contributes $c(V_{\xi }-V_w)$ to the Hamilton-Jacobi-Bellman equation and has no finite upper bound, finite value requires $V_{\xi }\le V_w$. Strict inequality makes zero consumption optimal locally. Equality describes an active transfer boundary, often reached through singular consumption control.

In singular stochastic control, an unrestricted consumption rate can approximate instantaneous transfers from portfolio wealth into a consumption satisfaction stock. In the relaxed problem a nondecreasing control $C$ records these transfers. A transfer $\Delta C$ decreases portfolio wealth and increases consumption satisfaction by the same amount. Rate controls need not attain the supremum when the relaxed optimum has a jump.

For simple loops surrounding a marked point, containment in two simply connected domains is containment in their intersection component containing that point. Finite deficits therefore determine all finite intersections of avoidance events by inclusion-exclusion. Restrict to finite windows $H_r={\mathbf{L}}_D\setminus {\mathbf{L}}_{rD}$ and use the sigma-finite uniqueness theorem for measures; as $r\downarrow 0$ these windows exhaust the pointed loop space. Finiteness of the windows is essential to this argument.

A previous outcome may affect a subsequent outcome after controlling both measured covariates and persistent unobserved heterogeneity. This is true state dependence. An observed lagged-outcome association alone does not establish it, because omitted individual propensities can create apparent persistence.

The accumulated number of previous successes may enter the conditional mean in a history-dependent logistic regression. Its coefficient exponentiates to the conditional success odds ratio per previous success. For a specified future path, update this cumulative predictor after each outcome before multiplying the conditional probabilities.

Countably many completely Ramsey-null sets can be avoided simultaneously in a stem-preserving Ellentuck topology refinement. Select an increasing sequence $b_j$ with nested infinite remaining tails. At stage $j$, thin the tail to avoid the $j$th set for every stem $s\cup t$, where $t$ ranges over all subsets of the first $j$ selected points. There are only finitely many such stems. Any infinite subset of the final selected sequence uses some such $t$ before stage $j$ and has all remaining points in the thinned tail. Thus it avoids every forbidden set. This explains why an argument checking only the full selected prefix is insufficient.

In the finite-limit setting, a Cartesian comonad is a comonad whose underlying endofunctor preserves finite limits. Its category of coalgebras for a comonad has finite limits created by the forgetful functor. On an elementary topos, equalizer constructions of exponentials in a coalgebra topos and the subobject classifier of a coalgebra topos make that coalgebra category an elementary topos.

In barycentric coordinates with unit primary separation, a small secondary mass fraction $\alpha$ gives distances $(\alpha /3{)}^{1/3}$ from that secondary to the two neighboring Lagrange points at leading order. This is the dimensionless Hill radius. The opposite exterior L3 Lagrange point has coordinate $-1-5\alpha /12+O({\alpha }^2)$.

A simple closed curve in a closed orientable surface has an annular collar neighbourhood, so its collapse is governed by the collapsing a pair theorem. In the long exact sequence in relative homology, the decisive map is $H_1(A;\mathbb{Z})\to H_1({\Sigma }_g;\mathbb{Z})$, sending the circle generator to its homology class. That class is zero for a separating curve and a primitive homology class for a nonseparating curve. The two possibilities lead to homology after collapsing a separating surface curve and homology after collapsing a nonseparating surface curve.

For even $n\ge 2$, attach an $(n+1)$-cell to $S^n\times S^n$ along the diagonal. The cellular chain complex has boundary $(1,1)$ for the new cell. The degree-$n$ cohomology generator restricts to $a-b$, and the top generator restricts to $ab$. Naturality of the cup product therefore gives $u^2=-2v$, since $(a-b{)}^2=-2ab$. Thus the resulting cohomology ring is $\mathbb{Z}[u,v]/(u^2+2v,uv,v^2)$, with $|u|=n$ and $|v|=2n$. This distinguishes the attachment from a wedge of spheres, whose positive-degree products vanish.