On the complex projective line, use the symplectic formand the circle group action $z\mapsto e^{i\theta }z$. Its fundamental vector field is $K=iz{\partial }_z-i\bar{z}{\partial }_{\bar{z}}$. For $H(z)=|z{|}^2/(1+|z{|}^2)$, direct contraction gives ${\iota }_K\omega =-dH$.

Thus $H$ is the moment component in the convention ${\iota }_{X_H}\omega =-dH$. In the plus-sign convention $d\mu ={\iota }_K\omega$ used in Hamiltonian group action, the same generator instead has $\mu =-H$, or $\mu =1-H$ after a permitted additive constant. Reversing the chosen Lie algebra generator reverses the component as well. These choices describe the same rotation with explicitly matched signs.

In the other chart $w=1/z$, $H=1/(1+|w{|}^2)$, so it extends smoothly at infinity. Its range is $[0,1]$, with endpoints at the two fixed poles. In polar coordinates, $\omega =2rdr\wedge d\theta /(1+r^2{)}^2$ has total symplectic area $2\pi$. Scaling to area $4\pi$ doubles the corresponding moment component.

Set $\mu (0)=0$ and extend $\mu (r)=1$ for $r\ge 1$. This positive, nondecreasing modulus of continuity is weaker than a linear Lipschitz continuity bound but still has ${\int }_0^{1}dr/\mu (r)=\infty$. At small distances it is equivalent to $r\log (1/r)$. A signed $r\log r$ cannot be an upper modulus at distances less than one. The planar vorticity velocity kernel maps $L^1\cap L^{\infty }$ into velocity fields with this modulus.

The Eisenstein ideal in a modular Hecke algebra imposes the eigenvalue relations of an Eisenstein series, such as $T_{\ell }-(1+\ell )$ in an appropriate weight-two trivial-character setting. Congruences modulo this ideal connect modular forms and class-field constructions in the Mazur-Wiles theorem. Other weights and characters require adjusted eigenvalues.

The scattering phase shift $\delta (k)=2\arctan (m/k)$ of the Sine-Gordon kink fluctuation operator gives a continuum frequency sum. In mode-number regularization of soliton masses, the zero-frequency translation mode replaces the vacuum oscillator at $k=0$. The bare difference is $-m/2-(2\pi {)}^{-1}{\int }_0^{\Lambda }\delta (k)k/\sqrt{k^2+m^2}dk$. Integration by parts cancels the lower endpoint against $-m/2$ and produces the displayed upper surface term. Although $\delta (\Lambda )$ vanishes, its product with $\omega (\Lambda )$ tends to $2m$. Vacuum normal ordering cancels the logarithmic bulk ultraviolet divergence, leaving this finite one-loop soliton mass correction. Parameters and finite counterterms must be fixed by a stated renormalization condition.

For estimating the expected value over all continuous probability density functions on $[0,1]$, compare $f=1$ and $g_n(u)=1+(u-1/2)/\sqrt{n}$. Their means differ by $1/(12\sqrt{n})$, and ${\chi }^2(P_{g_n}\Vert P_f)=1/(12n)$. The chi-squared divergence of product measures bounds joint total variation distance by $1/2$. The metric squared-loss two-point bound then gives the displayed uniform minimax risk lower bound.

Two fundamental harmonics of frequency one multiply into only a constant and second harmonics. The first-order solvability condition in the method of multiple scales therefore has no amplitude-changing resonant coupling. Their first-order particular corrections can mix back into the fundamental at second order, selecting the possible scale $t=O({ϵ}^{-2})$. Detuning may suppress the resulting resonance, so identifying this scale alone does not prove instability for every initial state.

For constant water-production rate per wetted area $s_m$, dry zero-flux noses and footprint length $\mathcal{L}(t)$, the moving-boundary conservation of mass gives $\dot{\mathcal{V}}=s_m\mathcal{L}$ per out-of-plane span. Consequently $\ddot{\mathcal{V}}=s_m\dot{\mathcal{L}}$. Equivalently the melt volume is $s_m{\int }_0^t\mathcal{L}(t\prime )dt\prime$; a point begins producing melt only after the front arrives.

For $ϵy^{\prime \prime }+a(x)y^{\prime }+b(x)y=0$ with smooth $a$ bounded positively away from zero, the first-order equation for the outer expansion is selected by the right boundary condition. The left mismatch is repaired on the scale $\xi =x/ϵ$. If $a(0)=a_0>0$, the leading inner transient is $B{e}^{-a_0\xi }$. Its next equation is $Y_1^{\prime \prime }+a_0{Y}_1^{\prime }=-a^{\prime }(0)\xi Y_0^{\prime }-b(0)Y_0$. Matching its constant and linear large-$\xi$ terms to the outer expansion permits an order-$ϵ$ composite approximation. A sign reversal of the drift places the transient at the opposite endpoint.

For $ϵy^{\prime \prime }+s^2{y}^{\prime }+y=0$ on $s\ge 0$, removing the drift by $y=e^{-s^3/(6ϵ)}v$ givesThe transformed potential changes sign at $s_t\sim \sqrt{2}{ϵ}^{1/4}$. WKB approximation is oscillatory inside and exponential outside this turning region; an Airy turning-point connection formula applies over width ${ϵ}^{5/12}$. At the endpoint the wavelength is $\sqrt{ϵ}$, while the physical exponential prefactor changes on the envelope scale ${ϵ}^{1/3}$. Balancing only diffusion and drift and declaring a single ${ϵ}^{1/3}$ layer misses the zeroth-order term and the turning region. Matching constants may be singular at homogeneous boundary-value resonances.

The equation $ϵy^{\prime \prime }+x{y}^{\prime }+y=0$ integrates to $ϵy^{\prime }+xy=C$. Equal endpoint data $y(-1)=y(1)=A$ force $C=0$ and give the unique Gaussian solution above. Its central width is $\sqrt{ϵ}$, with amplitude $A{e}^{1/(2ϵ)}$. The exponentially large central mode is missed by an assumed bounded algebraic outer expansion $C/x$. Changes of order one relative to either endpoint value occur over distance $O(ϵ)$ from that endpoint.

For independent fair Bernoulli variables, this nonnegative martingale starts at one, doubles on every success, and becomes zero permanently on the first failure. Its expectation is always one, but it tends to zero almost surely because the probability of success forever is zero. Thus it satisfies the martingale convergence theorem while failing convergence in L1. This illustrates how rare large values obstruct uniform integrability.

An $L^2$-bounded real martingale has a square-integrable terminal value, converges to it almost surely and in $L^2$, and satisfies $M_t=\mathbb{E}[M_{\infty }\mid {\mathcal{F}}_t]$. The $L^2$ Cauchy property follows from orthogonality of increments and monotonicity of $\mathbb{E}{M}_t^2$. This terminal representation permits optional sampling at finite unbounded stopping times and uniform-integrability control of stopped squares by conditional Jensen.

For a recurrent Markov chain, start at $k$ and stop at its first positive return $T_k$. The expected visits to each state before that return form the excursion occupation measure. Its $k$th coordinate is one. Counting the return endpoint instead of the start gives the same measure. It is invariant by shifting the occupation sum one time step and using the Markov property. Any Markov chain invariant measure normalized by $x_k=1$ dominates it: iterate the stationarity equations on the state space with $k$ removed, then retain the nonnegative excursion-path terms.

Its $n$ disjoint triples give a product of degree-three multilinear polynomials, with all-variable coefficient $(-2{)}^n$. Hence its degree is $3n$ and its exact quantum query complexity is at least $\lceil 3n/2\rceil$. At the input consisting of repeated $110$ triples, each of the $2n$ one bits is a disjoint sensitive singleton. Thus block sensitivity is at least $2n$, implying a bounded-error quantum query complexity lower bound $\Omega (\sqrt{n})$.

An accretion column carries an inward accretion flow onto a localized region of a star. In the strong-field slender approximation, the magnetic field controls the flux-tube area while longitudinal pressure and gravity determine acceleration. The signed outward-coordinate velocity is negative; the inward speed and mass accretion rate are usually defined positive.

For a nonnegative Riemann-integrable function and an interval partition,Every factor is nonnegative, so multiplication of $1+t\le e^t$ is legitimate. The final step uses the lower-sum bound on the Riemann integral.

A real four-vector corresponds to a two-by-two Hermitian matrix with determinant equal to its Minkowski squared norm. The action $X\mapsto NX{N}^{†}$ for $N\in SL(2,\mathbb{C})$ preserves that determinant and the future cone. Expanding with $\frac{1}{2}\mathrm{Tr}({\bar{\sigma }}^{\mu }{\sigma }_{\nu })={\delta }^{\mu }{}_{\nu }$ yields ${\Lambda }^{\mu }{}_{\nu }(N)=\frac{1}{2}\mathrm{Tr}({\bar{\sigma }}^{\mu }N{\sigma }_{\nu }{N}^{†})$. The map has kernel $\{\pm I\}$ and image $S{O}^{+}(1,3)$.

A logistic regression can specify each binary response conditionally on recorded past outcomes and baseline covariates. A chain rule for probabilities gives the path likelihood as the product of the conditional Bernoulli distribution masses. This permits dependence within a person's history without treating their outcomes as unconditionally independent. The model must specify the initial history and which past features enter its conditional mean.

An $R(\alpha )=J(\alpha )J(0)$ gadget with input Pauli frame $X^p{Z}^q$, angle-zero outcome $s$, and arbitrary-angle outcome $t$ uses angle $(-1{)}^{s\oplus q}\alpha$ and produces frame $X^{p\oplus t}{Z}^{q\oplus s}$. The CNOT gate gadget also updates its $Z$ frames without any dependence on incoming $X$ frames. Therefore all adaptive angle signs depend solely on angle-zero outcomes. Measure all those vertices first, compute every sign, and measure all remaining vertices in a second layer. The result is the desired logical circuit in a known Pauli frame. Computational output measurements can share the second layer.

In a radiation-dominated background with matter self-gravity retained, ${\delta }_{aa}+{\delta }_a/a-3\delta /(2a{a}_{\mathrm{eq}})=0$. A change to $x=\sqrt{6a/a_{\mathrm{eq}}}$ gives the Modified Bessel differential equation of order zero. The Modified Bessel function of the first kind increases as $1+3a/(2a_{\mathrm{eq}})+\cdots$; the Modified Bessel function of the second kind decreases with a leading negative logarithm. The early solution space has the constant/logarithmic behaviors, not the $a$ growth of matter domination. This background approximation must not be extrapolated through equality.