A good dual-arrangement edge has degree-six endpoints and two triangular adjacent faces. Other edges are bad. The Euler defect identity for a projective line arrangement bounds the number of bad edges by $16t_2$: charge them to degree-four or higher-degree vertices and to nontriangular faces. This turns a count of ordinary lines into quantitative control of local triangular geometry.

A dry parcel in rapid pressure balance with an ambient ideal gas has $d{T}_g/dP=T_g\mathcal{R}/(P{C}_p)$. Ambient hydrostatic equilibrium gives $dP/dz=-Pg/(\mathcal{R}{T}_{\mathrm{env}})$, hence $d{T}_g/dz=-(g/C_p)T_g/T_{\mathrm{env}}$. At a temperature-matched launch point this equals the dry adiabatic lapse rate, supplying the local linear stability test. A substantially hotter parcel does not exactly follow the ambient density's hydrostatic adiabat.

For continuous observations of an Itô diffusion $d{X}_t=b(X_t)dt+\sigma (X_t)d{W}_t$, a local drift estimator at $x$ ison $\{A_T>0\}$. Its error is the average of $b(X_t)-b(x)$ over that window, plus $A_T^{-1}{\int }_0^T{1}_{\{|X_t-x|\le h\}}\sigma (X_t)d{W}_t$. A local Hölder continuity bound with exponent $\alpha$ bounds the first term by $L{h}^{\alpha }$.

The commonly used noise scale $(Th{)}^{-1/2}$ requires occupation control. For a stationary model with continuous positive density $\pi (x)$ of its invariant distribution and locally bounded $\sigma$, the Itô isometry makes the numerator's second moment $O(Th)$. If additionally $A_T/(2Th\pi (x))\to 1$ in probability in the chosen long-time, shrinking-window regime, division gives stochastic error $O_{\mathbb{P}}((Th{)}^{-1/2})$. Positivity of the invariant density alone does not establish that concentration of the random denominator.

For a slowly evolving circular orbit with constant retained fraction $f$ and donor-wind angular-momentum loss, logarithmic differentiation of the circular-binary orbital angular momentum gives $d\log P=-3fd\log M_d-3d\log M_a-2d\log (M_d+M_a)$. Integration gives the displayed invariant. At $f=1$ it becomes the period-product invariant for conservative mass transfer, while at $f=0$ it becomes $P{M}^2=\mathrm{constant}$. A varying retained fraction does not give this simple power-law invariant.

Under donor-wind angular-momentum loss and the Roche lobe approximation $R_L=0.46a(M_d/M{)}^{1/3}$, the Roche-lobe radius response exponent is affine in retained fraction: ${\zeta }_L=(1-f){\zeta }_0+f{\zeta }_1$, where $q=M_d/M_a$, ${\zeta }_0=1/3-4q/[3(1+q)]$ and ${\zeta }_1=2q-5/3$. Differentiate $\log R_L=\log a+(\log M_d-\log M)/3+\mathrm{constant}$ and the circular-binary orbital angular momentum to obtain this expression.

For $C=D^{\ast }\{p:|p_i{|}_2\le \lambda \}$, discrete total variation denoising is the proximal operator of the support function of $C$. The Moreau decomposition gives the displayed projection residual. It is generally not itself a metric projection onto a closed convex set: such a projection is idempotent, but TV denoising shrinks a sufficiently large two-level jump again when reapplied.

For an L-diffusion with bounded coefficients and $f\in C_b^{1,2}$, $M^f$ is a continuous martingale. Freeze the time argument along a deterministic partition, apply the spatial martingale problem on each interval, and pass to the limit by the dominated convergence theorem. The same proof works if the absolute drift coefficients and the trace of the diffusivity have integrable time integrals along the path on every finite horizon. Local hypotheses alone give a local martingale conclusion.

An inclined inner planet causes exterior debris disk rings to undergo nodal precession at different rates. In the quadrupole approximation, $\nu \simeq (3/4)n(M_p/M_{\star })(a_p/a{)}^2\propto a^{-7/2}$. Rings that have precessed appreciably tilt away from their original orbital plane, whereas distant rings remain near it, making an evolving warp. Conservative secular perturbations alone do not damp every ring into the planet's plane; unresolved phase mixing can instead produce a thick inner disk whose mean normal is near the forced plane.

Two affine connections have exactly the same geodesics with the same parameters if and only if their difference tensor vanishes on every diagonal pair $(v,v)$. Indeed, their covariant accelerations differ by $\Delta (\dot{\gamma },\dot{\gamma })$; starting a geodesic at each arbitrary initial vector proves necessity. Polarization then says that the symmetric part of the difference is zero. This condition is stronger than agreement of unparametrized geodesic equations.

A stabilizing composition gradient can suppress large overturning motions while permitting double-diffusive convection in small layers separated by interfaces. If heat loss is less efficient than in a single well-mixed adiabat, the planet retains more entropy and contracts more slowly. This is a proposed delayed-cooling contribution to hot-Jupiter radius inflation, with an effectiveness that depends on the gradient and layer structure.

For $E=\frac{1}{2}\int (|{\partial }_1\mathbf{n}{|}^2+|{\partial }_2\mathbf{n}{|}^2)$, completing the square gives $E=\frac{1}{2}\int |{\partial }_1\mathbf{n}\pm \mathbf{n}\times {\partial }_2\mathbf{n}{|}^2\pm 4\pi Q$, hence $E\ge 4\pi |Q|$. Saturation yields the Bogomolny equations of the sigma-model lump. With the oriented stereographic projection $\mathbf{n}=(2\mathrm{Re}w,2\mathrm{Im}w,1-|w{|}^2)/(1+|w{|}^2)$, holomorphic rational maps have positive degree and saturate the bound; antiholomorphic maps have negative degree.

For a continuous strictly increasing unbounded bracket $V$, the inverse times $T_u=\inf \{t:V_t>u\}$ satisfy $V_{T_u}=u$ and $T_{V_t}=t$. Optional sampling of the original martingale stopped at bounded bracket levels makes $M_{T_u}$ a continuous local martingale in ${\mathcal{F}}_{T_u}$. Time-changing the square-minus-bracket martingale gives its bracket $u$; the Lévy characterization of Brownian motion identifies it as Brownian.

Strict increase of a bracket does not force an infinite terminal value. Up to $L=⟨M{⟩}_{\infty }$, the inverse-clock martingale continues at a finite lifetime by its terminal limit, with bracket $u\wedge L$. On an independent product extension, add ${\int }_0^u{1}_{\{s>L\}}d{\beta }_s$. Its bracket fills $(u-L{)}^{+}$ and its cross variation with the original part vanishes. The result is Brownian for all clock times and still represents $M_t$.

A continuous local martingale bounded above pathwise throughout a stochastic time interval cannot have infinite quadratic variation at that interval's endpoint. The Dambis-Dubins-Schwarz theorem represents it as Brownian motion at its quadratic-variation clock; an infinite clock would force unbounded oscillations. Its clock therefore has a finite limit, and so does the martingale. A bound below gives the same conclusion by changing sign. The bound may be random; it must hold over the entire interval.

If the cylindrical components of a vector field have dependence $e^{im\varphi }$, differentiation of the rotating basis adds the displayed cross product term. Scalar-component differentiation alone misses this contribution. For $\mathbf{B}=(J/2)s\hat{\mathbf{\varphi }}$, one also has $(\mathbf{v}\cdot \nabla )\mathbf{B}=(J/2)\hat{\mathbf{z}}\times \mathbf{v}$. These identities are useful in cylindrical magnetohydrodynamic waves.

An optimal dual variable $y^{\ast }\in \partial p(0)$ bounds the effect of perturbing a convex value function:If $p$ is finite convex near zero, $p^{\prime }(0;d)={\max }_{y\in \partial p(0)}⟨y,d⟩$. A singleton subdifferential gives differentiability and a first-order expansion. For an upper-bound constraint relaxed by $z$, the derivative equals the negative of the nonnegative Lagrange multiplier; relaxing the bound can decrease the minimum value.

The axial distance from label $j$ to label $i$ in a standard Young tableau is the difference of their Young-diagram cell contents. This sign convention makes $c_T(r+1)-c_T(r)$ equal to $+1$ for consecutive entries in a row and $-1$ in a column. The reciprocal distance supplies the diagonal coefficient of Young orthogonal form.

For an exterior circular grain with radiation-pressure coefficient $\beta$, set $q=\sqrt{1-\beta }$ and $ϵ=a/a_p-1$. Its next conjunction occurs after the synodic period, during which the planet's unwrapped mean longitude advances by $\Lambda =2\pi /[1-q(1+ϵ{)}^{-3/2}]$. A weak planetary scattering encounter changes this by $\delta \Lambda \simeq -3\pi q(1+ϵ{)}^{-5/2}\delta ϵ/[1-q(1+ϵ{)}^{-3/2}{]}^2$. Unwrapped longitude counts turns; reducing it modulo $2\pi$ before comparison would erase this measure of timing sensitivity.

For nonzero integral $D$, the elliptic curve $E_D:y^2=x^3-D^{2}x$ has rational torsion precisely $O,(0,0),(D,0),(-D,0)$. At every good prime $p\equiv 3(\mathrm{mod}4)$, cancellation of the Legendre symbols at $x$ and $-x$ gives $\#E_D({\mathbb{F}}_p)=p+1$. The torsion-freeness of the formal group over Qp for odd p makes the rational torsion subgroup inject into this group. The Dirichlet theorem on primes in arithmetic progressions excludes odd factors of its order and bounds its two-primary part by four. The four displayed rational 2-torsion points then give equality.

A planar Brownian motion exits a conformal image of a bounded planar domain in finite time almost surely. If the image lifetime were infinite, the inverse derivative is bounded away from zero on a small interior disc. Recurrence of planar Brownian motion and the Strong Markov property give infinite Brownian occupation time there, forcing the inverse conformal Brownian clock to diverge. It cannot exceed the finite original exit time. The expected image exit time can nevertheless be infinite.