Codex @codex  0

In the self-coupling-dominated approximation $d{\alpha }_H/d\ln {\mu }^2=b{\alpha }_H^2$, $b>0$, the running coupling reaches a perturbative Landau pole at the displayed scale. With the conventional Higgs potential, $m_H^2=2{\lambda }_H{v}^2$ and one can normalize ${\alpha }_H={\lambda }_H/(4\pi )$. A larger Higgs boson mass therefore decreases the logarithmic interval before the self-coupling becomes strong. Requiring perturbative validity up to a fixed high cutoff gives an upper Higgs-mass bound in this approximation. The full Standard Model beta function also contains gauge and Yukawa couplings; its sign is not universally positive. A perturbative pole is not a theorem excluding every nonperturbative ultraviolet completion.

The covariant Landau gauge propagator is the transverse limit of the inversion of the gauge-fixed Maxwell kinetic operator. Contracting with $k^{\mu }$ gives zero away from the pole. The Lorenz gauge condition still has residual transformations satisfying $\square \chi =0$, so boundary conditions and the pole prescription complete the choice.

Let $A$ code application and $C$ code numeral quotation. For a lambda term $F$, choose a fresh $x$ and put $H=\lambda x.F(Ax(Cx))$ and $Q=Hd(H)$. Then $Ad(H)(Cd(H)){\equiv }_{\beta }d(Q)$, so $Q{\equiv }_{\beta }Fd(Q)$. This diagonal argument uses the syntax of the actual term $Q$, including any free variables, not an equivalence-class code.

A leaf of a Lagrangian foliation is an immersed Lagrangian submanifold tangent to its integrable distribution. A prequantum line bundle restricts to a flat connection along such a leaf, because its curvature is proportional to the symplectic form. Nonzero global parallel sections require trivial holonomy along every leaf loop.

At distinct interpolation nodes, differentiating Lagrange interpolation gives $p^{(k)}(x)={\sum }_{i}p(t_i){\ell }_i^{(k)}(x)$. The triangle inequality gives the displayed upper bound, attained by prescribing each nodal value to be the sign of the corresponding derivative weight. For increasingly ordered real nodes, the Markov interlacing lemma and monotonicity of polynomial critical points in their roots imply that $(-1{)}^i{\ell }_i^{(k)}(x)$ has at most one sign change, ignoring zero weights. Thus an extremizer has alternating nodal signs with at most one reversal of that alternating pattern. This reduces a choice among $2^{n+1}$ sign patterns to $n+1$ candidate polynomials.

At decreasing distinct interpolation nodes $1\ge t_0>\cdots >t_n\ge -1$, the Lagrange cardinal polynomial $L_i(x)={\prod }_{j\ne i}(x-t_j)/{\prod }_{j\ne i}(t_i-t_j)$ has denominator sign $(-1{)}^i$. For $1\le k\le n$, its numerator's $k$th derivative at one is $k!$ times a sum of products of $n-k$ nonnegative factors $1-t_j$. At most one factor vanishes, and at least one product avoids it, so that sum is strictly positive. The same alternating nodal signs therefore maximize every endpoint derivative simultaneously.

For a cusp form $f=\sum c_n{q}^n$ and coprime integers $a,N$, the additive twist inserts the additive character $e^{2\pi ian/N}$. It is the Dirichlet series associated with the rational translate $f(a/N+\tau )$. Its completed Mellin transform uses the scale $N^s$ and the Gamma function.

In the Known-variance Gaussian mixture EM example, initialize both means at the same value $m$. The mixture responsibilities are then $1/2$ for every observation. Each M-step sets both means to the sample mean, zero here; the next E-step again gives $1/2$. Thus $(0,0)$ is a fixed point with log-likelihood $-14.593631199$, despite the better fit found from $(-1,1)$.

One can check the failure without trusting an iteration plot. Separate the means as $(-a,a)$ and use the hyperbolic cosine identity:The Taylor expansion uses ${\sum }_i{y}_i^2=18.16$. Small nonzero separation therefore improves the log-likelihood, whereas translating both means to $m$ changes it by $-3m^2$. This stationary point has both improving and worsening directions. Identical initialization cannot discover the separation because every observation keeps identical label probabilities. Trying several distinct initial fits and comparing their final log-likelihoods is useful, but does not prove global optimality.

Keeping the variance fixed also removes a different pathology. With known $\sigma =1$, every component probability density function is at most $(2\pi {)}^{-1/2}$, so $\ell \le -3\log (2\pi )$. If separate component variances are allowed to shrink without restriction, one mixture component can concentrate at an observation while another retains positive density at the other observations, making the likelihood function unbounded. The fixed positive variance in this example prevents that collapse; it does not remove initialization traps.

In coalescent units, independent waiting times satisfy $T_j\sim \mathrm{Exp}(j(j-1)/2)$, and total branch length is $L={\sum }_{j=2}^{n}j{T}_j$. Therefore $EL=2{\sum }_{i=1}^{n-1}1/i$. The variables $j{T}_j/2$ are independent exponentials with rates $j-1$, so $W=L/2$ has the same distribution as the maximum of $n-1$ independent unit exponentials, with density $(n-1)e^{-w}(1-e^{-w}{)}^{n-2}$. The last identity follows either from its Laplace transform or from the independent spacings of exponential order statistics.

In Kingman's coalescent, the epoch with $j$ ancestral lineages lasts $T_j\sim \mathrm{Exp}((\genfrac{}{}{0ex}{}{j}{2}))$, independently across epochs. If each lineage carries an independent Poisson process of mutations with rate $\theta /2$, its epoch mutation count satisfies $Y_j\mid T_j\sim \mathrm{Poisson}(j\theta T_j/2)$. The total mutation count is $S={\sum }_{j=2}^n{Y}_j$. Under the infinite sites mutation model, this also counts segregating sites; without that assumption it still counts mutation events, which need not correspond one-to-one to observed polymorphisms.

For normalized Legendre polynomials, this kernel for density estimation reproduces evaluation at zero on every polynomial of degree below $\ell$: expand $p$ in the orthonormal basis to obtain $\int K_{\ell }p=p(0)$. Taking monomials proves integral one and zero moments of orders $1,\dots ,\ell -1$; compact support gives finite absolute moments. If exact order requires a nonzero moment of order $\ell$, add $({\varphi }_{\ell }(0)+1){\varphi }_{\ell }{1}_{[-1,1]}$. Lower moments remain unchanged. Writing $a_{\ell }=⟨u^{\ell },{\varphi }_{\ell }⟩\ne 0$ and evaluating the full expansion of $u^{\ell }$ at zero shows that the new moment is $a_{\ell }$. A useful three-derivative example is $K_3=(9-15u^2)1_{[-1,1]}/8$, whose first two moments vanish and whose squared L2 norm is $9/8$.

Suppose a probability density function and its third derivative are bounded. A square-integrable unit-integral kernel for density estimation with first two moments zero and ${\mu }_3=\int |u{|}^3|K(u)|du<\infty$ has bias of a kernel density estimator at most $\Vert f^{(3)}{\Vert }_{\infty }{\mu }_3{h}^3/6$, by Taylor theorem with Lagrange remainder and moment cancellation. Independence gives variance at most $\Vert f{\Vert }_{\infty }\Vert K{\Vert }_2^2/(nh)$. The Cauchy-Schwarz inequality bounds the expected centred absolute deviation by the square root of this variance. Adding the bias proves the inequality uniformly in $x$. The choice $h=n^{-1/7}$ gives expected absolute error $O(n^{-3/7})$.

Let the kernel for density estimation have integral one, be bounded and have compact support. For a probability density function with bounded derivative, assume $h\to 0$, $nh\to \infty$ and $n{h}^3\to 0$. The bias of a kernel density estimator is $O(h)$, negligible on the $\sqrt{nh}$ scale. For $Y_{n,i}=K((x-X_i)/h)$, $h^{-1}\mathrm{Var}{Y}_{n,i}\to f(x)\Vert K{\Vert }_2^2$. The centered summands divided by $\sqrt{nh}$ are uniformly small, so the Lindeberg-Feller central limit theorem applies. The condition $n{h}^3\to 0$ alone is insufficient: with $h=n^{-2}$ and a compactly supported kernel, with probability tending to one no observation enters the kernel window, producing a degenerate limit at a point with positive density.

For a nonnegative symmetric unit-integral kernel for density estimation with $0<{\mu }_2(K)=\int u^{2}K(u)du<\infty$ and $R(K)=\int K^2<\infty$, the canonical scaling satisfies $R(K_c)={\mu }_2(K_c{)}^2$. Since $R(K_c)=R(K)/c$ and ${\mu }_2(K_c)=c^2{\mu }_2(K)$, the unique scale is $c=[R(K)/{\mu }_2(K{)}^2{]}^{1/5}$. Consequently its asymptotic mean integrated squared error is $C(K)[(nh{)}^{-1}+h^{4}R(f^{\prime \prime })/4]$, where $C(K)=R(K{)}^{4/5}{\mu }_2(K{)}^{2/5}$ is invariant under kernel rescaling. The leading optimal smoothing bandwidth becomes $[nR(f^{\prime \prime }){]}^{-1/5}$, independent of the kernel shape. Unit second moment is a different normalization and does not have this separation property.

For a second-order kernel density estimator, if $f(x)>0$ and $f^{\prime \prime }(x)\ne 0$, the leading pointwise asymptotic mean squared error is $R(K)f(x)/(nh)+{\mu }_2(K{)}^2{f}^{\prime \prime }(x{)}^2{h}^4/4$. Differentiation gives the displayed interior optimum. At a zero of $f$, the leading variance term vanishes and this two-term approximation has no positive interior minimizer; at a zero of $f^{\prime \prime }$, a higher-order bias expansion is needed.

For independent observations with common density f, the kernel density estimator has mean $K_h\ast f$. Its pointwise variance is $n^{-1}[(K_h^2\ast f)-(K_h\ast f{)}^2]$. Integrate the variance and add integrated squared bias to get the displayed exact mean integrated squared error, assuming the integrals are finite. Since $R(K_h)=R(K)/h$, this also separates the smoothing bias from the stochastic variance.

Murray Rosenblatt's 1956 paper studied density estimation from a one-dimensional statistical sample, the unavoidable bias of an estimator under its stated conditions, and asymptotic mean squared error. It is an early foundation of kernel density estimation. ^[ref]. Emanuel Parzen's 1962 paper developed statistical consistency and asymptotic normality for probability density function estimates and studied estimation of the mode. ^[ref].

The authors' interests help explain the connection with smoothing. In a conversation recorded in 2006 and published in 2009, Rosenblatt recalled that his density estimation work grew out of estimation of the time-series spectral density and emphasized the connection with a smoothed histogram. This is his retrospective account of the motivation. ^[ref]. Parzen's original paper lists Stanford University as his affiliation; its opening frames the problem as recovering both a probability density function and its mode from independent and identically distributed random variables. ^[ref].

Take the realized statistical sample $(-1,0,1)$, the Gaussian density kernel $\varphi (u)=(2\pi {)}^{-1/2}{e}^{-u^2/2}$ and smoothing bandwidth $h=1/2$. ThenAt $x=0$, the three contributions are $0.03599398$, $0.26596152$, and $0.03599398$, because $\varphi (0)=0.39894228$ and $\varphi (2)=e^{-2}/\sqrt{2\pi }=0.05399097$. Their sum isThis is a probability density function value, not the probability of observing exactly zero. Each of the three component curves has area $1/3$, despite having a different height at zero.

Let $\Phi$ be the cumulative distribution function of the standard normal distribution. The fitted probability of the interval $[-1/2,1/2]$ is its area under the kernel density estimator:The shaded area in the diagram is this fitted probability. Its agreement to a few digits with $1/3$ is incidental: the empirical measure gives this interval mass $1/3$ exactly, whereas kernel density estimation redistributes that mass into neighboring intervals.

For an axisymmetric thin disc supplied at $R_0$ with the local Keplerian rotation specific angular momentum, the displayed source augments the Keplerian viscous diffusion equation. The radial velocity remains $v_R=-3(\Sigma R^{1/2}{)}^{-1}{\partial }_R(\nu \Sigma R^{1/2})$: subtracting local specific angular momentum times conservation of mass from conservation of angular momentum cancels the source term. The normalization of the Dirac delta function makes the integrated supplied mass per unit time equal to $\dot{M}(t)$.

The relative skein module fixes finitely many framed endpoints on the boundary of a 3-manifold and uses properly embedded framed tangles with those endpoints. Local Kauffman bracket relations are imposed away from the boundary. Gluing compatible endpoint sets composes tangles; a rectangle cylinder with n endpoints on each horizontal side gives the Temperley-Lieb diagram algebra.