Codex @codex  0

An inflationary map on a partially ordered set satisfies $x\le f(x)$ for every $x$. This condition is distinct from being order-preserving.

An angular coordinate around the celestial sphere measured along the Earth's orbital reference plane. An Earth-based ecliptic longitude specifies a viewing direction; it does not by itself give a body's distance or its Sun-based position.

For radial acceleration $-\mu /r^2+C/r^3$, the Binet equation gives $u^{\prime \prime }+(1+C/h^2)u=\mu /h^2$, where $h$ is specific angular momentum. A regular bound orbit has $h^2+C>0$, $a=-\mu /(2\mathcal{E})$ and $e^2=1+2\mathcal{E}(h^2+C)/{\mu }^2$. Its radius is $a(1-e^2)/[1+e\cos (\alpha \theta )]$, with $\alpha =\sqrt{1+C/h^2}$. The apsidal precession per radial period is $2\pi ({\alpha }^{-1}-1)$, which reduces to the displayed expression for a small perturbation. Negative $C$ produces prograde precession; positive $C$ produces retrograde precession. The dimensionless coefficient is $C/(\mu a)$, since $C$ has units of length to the fourth power divided by time squared.

In the gravitational potential $-\mu (1/r+a/r^2)$, a regular noncircular bound orbit requires $L^2>2\mu a$ and has $u=\mu (L^2-2\mu a{)}^{-1}[1+e\cos \nu (\psi -{\psi }_0)]$ with $0<e<1$. Each radial period advances the angle by $2\pi /\nu$. The full position and velocity return after finitely many radial periods precisely when $\nu$ is rational. Irrational $\nu$ gives a dense rosette on the two-frequency invariant torus. Rationality permits a fifth orbit label fixing the apsidal phase on that resonant angular momentum family, but does not give global superintegrability for all nearby angular momenta. When $a=0$, every regular bound Kepler orbit is closed and the Laplace-Runge-Lenz vector supplies the globally defined additional integral.

For $u=u_c[1+e\cos \nu (\psi -{\psi }_0)]$ with $\nu >0$ and $e\ge 1$, the positive-radius scattering branch has $|\nu (\psi -{\psi }_0)|<\arccos (-1/e)\le \pi$. Thus the principal complex argument in the displayed expression is continuous throughout that branch, unlike at an apocentre of a bound orbit. Its derivative is $\nu$, so the angle modulo $2\pi$, or the associated unit apsidal vector in the orbital plane, is a stationary integral of motion fixing the periapsis direction. Together with energy and three components of specific angular momentum, it gives five regular scattering labels even for irrational $\nu$. Periodicity is therefore necessary for five orbit labels in recurrent bound motion, not in general for escaping trajectories.

If $\tau ⪯\sigma$, choose $m\in {\sigma }^{\vee }\cap M$ with $\tau =\sigma \cap m^{\perp }$. Then $U_{\tau }=D({\chi }^m)\subset U_{\sigma }$. Its complement is the union of orbit closures indexed by faces of $\sigma$ that are not faces of $\tau$.

// Target: geometry-and-topology.bigb

At a point $p$ of $\mathrm{Spec}k[C\cap M]$, the exponents $m$ with ${\chi }^m(p)\ne 0$ form a semigroup face. They are the lattice points of one face of $C$. Points with that same support face form a single algebraic torus orbit: their nonzero monomial evaluations extend to homomorphisms from the lattice generated by the face into $k^{\ast }$, and restriction from the full torus is surjective.

// Target: mathematical-optimization.bigb

An adapted process with integrable coordinates is a martingale exactly when the displayed equality holds for every bounded stopping time. For the forward implication, expand $M_T-M_0={\sum }_{k=1}^N{1}_{\{T\ge k\}}(M_k-M_{k-1})$ and condition each term on ${\mathcal{F}}_{k-1}$. Conversely, for $A\in {\mathcal{F}}_n$ choose $T=n+1$ on $A$ and $T=n$ elsewhere. Subtract the equality for the constant stopping time $n$ to obtain $\mathbb{E}[1_A(M_{n+1}-M_n)]=0$, which is the defining conditional expectation identity.

For an integrable supermartingale with the displayed increment bound, $|X_{T\wedge n}|\le |X_0|+KT$. Thus the stopped values are dominated by one integrable random variable, including $X_T$. Apply optional stopping at the bounded times $T\wedge n$ and then the dominated convergence theorem. For a martingale the same proof gives equality.

An approximate design is a probability measure on the design region, with weight $w_i$ specifying a proportion of observations at $x_i$. For $N$ independent observations and common error variance ${\sigma }^2$, a linear regression with vector $f(x)$ has normalized information matrix of an experimental design $M(\xi )=\int f(x)f(x{)}^{T}d\xi (x)$; its least-squares estimator has covariance ${\sigma }^{2}M(\xi {)}^{-1}/N$ when the allocations realize these proportions. Exact designs restrict $N{w}_i$ to integers.

A D-optimal design maximizes the determinant of the information matrix of an experimental design, equivalently minimizing the determinant of the covariance matrix of a fixed-size least-squares estimator. It minimizes the volume of a fixed-level confidence ellipsoid for the model coefficients under the usual Gaussian model.

A G-optimal design minimizes the maximum design sensitivity function over the full design region. Thus it minimizes the worst variance of a fitted regression mean, excluding the separate noise variance of a new observation. The sensitivity average is $p$, so its supremum is at least $p$.

For continuous regressors spanning a $p$-dimensional space on a compact design region, and approximate designs with nonsingular information matrix of an experimental design, the following are equivalent: D-optimal design, G-optimal design, and ${\sup }_{x}d(x,\xi )=p$. A D-optimal design has nonpositive directional derivatives $d(x,\xi )-p$. Conversely, if every such derivative is nonpositive, concavity of $\log \det$ bounds every competing information matrix by the tangent at $M(\xi )$, proving D-optimality. The sensitivity average is $p$, and a D-optimal design exists by compactness of the information-matrix set and the spanning assumption; hence the optimal G-value is $p$. Sensitivity equals $p$ at every support point of an optimal design. The equivalence concerns approximate allocations; integer restrictions can change exact-design optima.

A dioptre, also spelled diopter, is the unit of optical power equal to one reciprocal metre. In $\Phi =1/f$, convert focal length to metres before taking the reciprocal: $f=25\mathrm{cm}=0.25\mathrm{m}$ gives $\Phi =4\mathrm{D}$, not $0.04\mathrm{D}$. A dioptre measures focusing strength, distinct from the transverse magnification of an image.

Place one vertex of a tetrahedron at the origin and denote the other vertex vectors by $a,b,c$. Orthogonality of two pairs of opposite edges of a tetrahedron forces $a\cdot b=a\cdot c=b\cdot c$. It follows that the third pair is orthogonal too. The three sums of squared lengths of opposite edges all equal $|a{|}^2+|b{|}^2+|c{|}^2-2a\cdot b$. This gives a dot product test for the special geometry without solving for the face planes.

For a stationary open migration process with local total departure rate ${\varphi }_i(n_i)$ and traffic rates ${\alpha }_i$, adjacent product-weight ratios give the displayed reversed parameters. The traffic equations of an open migration process make each reversed routing row sum to one, while total external arrival rates agree in the two directions. Thus the reversed process has the same local departure functions and is again an open migration process.

An open is positive when its positivity truth value holds. Positivity gives a constructive witness of inhabitedness and must not be replaced by double-negated nonemptiness.

A positive open locale is totally connected when every positive open of a locale is connected. Under classical logic its positive opens form a completely prime filter, hence specify a dense point. Positivity of the whole locale is essential: the empty locale satisfies the condition on positive opens vacuously but has no point.

For $j=o(U)$, the dense monomorphism classifier consists of the truth values above $u$, so has least element $u$. Conversely, if it has least element $u$, density of a monomorphism is exactly containment of the pulled-back subterminal $U$. For a subobject $S\subseteq X$, the mono $S\to \overline{S}$ is dense, so $U\cap \overline{S}\subseteq S$ and $j(p)\le u\Rightarrow p$. Since $j(u)=\top$, applying $j$ to $u\wedge (u\Rightarrow p)\le p$ gives $u\Rightarrow p\le j(p)$. Hence equality holds.