The radial martingale $H=\int XdX+YdY$ and the planar Brownian stochastic area $Z=\int YdX-XdY$ have common bracket $A=\int (X^2+Y^2)ds$ and zero cross variation, because their integrand vectors $(X,Y)$ and $(Y,-X)$ are orthogonal. The Itô formula also gives $X_t^2+Y_t^2=2H_t+2t$.

On level-one cusp forms, determinant-normalized Hecke operators satisfy $⟨T_{n}f,g⟩=⟨f,T_{n}g⟩$. Unfolding their finite correspondences transfers a matrix to its inverse; its adjugate has the same determinant and reverses the correspondence. Since these operators commute, the cusp space has a common orthonormal basis of Hecke eigenforms, with real eigenvalues.

LetThe Fourier coefficients of $\theta$ are absolutely summable, so $a$ belongs to the Wiener algebra, as does $a^{-1}$. The identity $\theta (2t)=\theta (t)+\theta (t+\pi )$ implies $a(2t)=a(t)a(t+\pi )$. Starting with a compactly supported Daubechies wavelet having $p\ge 3$ vanishing moments, the periodic phase change of a scaling function gives $m(t)=a(t+\pi )m_0(t)$, while the canonical high-pass construction leaves $\hat{\psi }(2t)=e^{-it}\overline{m_0(t+\pi )}{\hat{\phi }}_0(t)$ unchanged.

At a dyadic point $t_0=2\pi k/2^j$, the terms of the difference quotient with $n\ge j$ and $2^n|h|\le 1$ each contribute $1+O((2^{n}h{)}^2)$. Their number tends to infinity, their total error is bounded, and the remaining tail contributes a bounded amount. Hence $(\theta (t_0+h)-\theta (t_0))/h={\log }_2(1/|h|)+O(1)$, so neither $\theta$ nor $a$ has a finite derivative there. These points are dense. Away from the isolated zero of $m_0$ near $\pi$, multiplication by its nonzero smooth value cannot remove this nondifferentiability. Thus the new MRA low-pass filter is not differentiable throughout any neighborhood of $\pi$, despite integrability of the scaling function and unchanged vanishing moments. Ordinary higher derivatives at $\pi$ cannot be inferred, although the corresponding Peano zero survives.

A penalized least-squares estimator balances squared error with a nonnegative penalty $J$. The Lasso uses the coefficient ${\ell }_1$ norm; graph total variation denoising uses the ${\ell }_1$ norm of endpoint differences. The choice of normalization of the squared loss changes the numerical tuning parameter.

With signature $(+---)$, ${ϵ}_{0123}=+1$, $J_3=M^{12}$ and the lower-index definition of $W_{\mu }$, a rest momentum $(m,0,0,0)$ gives $W_0=0$ and $W_3=-m{J}_3$ on that momentum eigenspace. A Hermitian spin projection $j_3$ consequently gives eigenvalues $0$ and $-m{j}_3$. Raising the third index changes its sign.

With signature $(+---)$ and ${ϵ}_{0123}=+1$, a momentum $(k,0,0,k)$ and helicity $j_3$ give lower components $W_0=k{j}_3$ and $W_3=-k{j}_3$. They obey $W_{\mu }{P}^{\mu }=k(W_0+W_3)=0$. These longitudinal identities require only the momentum and rotation-projection eigenvalues, not a statement about transverse little-group translations.

A periodic corrugation plus a uniform tilt. For the Adler phase equation, $V(\theta )=-\omega \theta -ϵ\cos \theta$ gives force $-V^{\prime }=\omega -ϵ\sin \theta$ and $V(\theta +2\pi )-V(\theta )=-2\pi \omega$. It has wells when $|\omega |<ϵ$ and no extrema when $|\omega |>ϵ$. It is a potential on the unwrapped phase, not a single-valued periodic potential on the circle.

In unit Plummer model scales, $F=3Q^{3/2}/(\sqrt{2}{\pi }^3)$ for $Q=E-L^2/2>0$ gives $\rho =3{\psi }^3/[4\pi (1+r^2)]=3{\psi }^5/(4\pi )$. It reproduces the isotropic Plummer density but has anisotropy $r^2/(1+r^2)$ and different second velocity moments.

For orthogonal projections $P,Q$ with $\Vert PQ\Vert \le q<1$, the identity $(PQ{)}^r=PQ(QPQ{)}^{r-1}$ and $\Vert QPQ\Vert =\Vert PQ{\Vert }^2$ imply $\Vert (PQ{)}^r\Vert \le q^{2r-1}$ for $r\ge 1$. When the projections have a common fixed subspace, first remove its orthogonal projection. This estimate is stronger than generic submultiplicativity and is useful for alternating local projection layers.

For two finite-dimensional subspaces with projections $P,Q$, define $\cos \vartheta ={\sup }_{\Vert u\Vert =\Vert v\Vert =1}|⟨u,v⟩|=\Vert PQ\Vert$, with vectors drawn from the respective subspaces. The angle is zero when they intersect nontrivially. To measure separation after removing a common intersection, restrict both subspaces to its orthogonal complement. The resulting angle controls sums of positive operators in the Kitaev geometrical lemma.

For the orthogonal complex line flag manifold, take $x,y$ to be the first Chern classes of the duals of its two tautological lines, both in degree two. The Whitney sum formula for Chern classes gives $c_i(L^{\perp })=x^i$. The projective bundle definition of Chern classes gives the second relation, and Leray-Hirsch theorem gives the integral basis $x^i{y}^j$ with $0\le i<n$, $0\le j<n-1$. Polynomial division by the monic relation in $y$ proves that there are no further relations. Multiplying that relation by $y-x$ also gives $y^n=0$.

A stresslet whose centre follows a circle and whose director stays tangent has a leading far-field mean stresslet centred at the circle centre. Orientation averaging of an axisymmetric stresslet gives normal-axis strength $-S/2$. Thus a pusher microswimmer becomes a leading mean puller microswimmer, and conversely. The radius and traversal frequency enter higher-order spatial corrections or averaging time, but not the leading dipole strength.

A linear operator $T$ on a Hilbert space $H$ is densely defined when its operator domain is a dense subset of $H$. Density makes the adjoint operator unique wherever its defining inner-product identity has a solution.

Start with positions whose entire extension cylinder set lies in the winning open set. At each successor stage add I-positions with some successor already present and II-positions with every successor already present; take unions at limit ordinals. The stable set is the least fixed point of this order-preserving operation. The first entry ordinal supplies a strictly decreasing rank until the winning prefix is reached.

The second derivative of a Legendre effective action is the inverse connected two-point kernel. In a translation-invariant scalar theory it is ${\tilde{\Gamma }}^{(2)}(p)=\tilde{G}(p{)}^{-1}$. Its loop expansion contains the reference inverse propagator, any separately displayed counterterms, and the self-energy. A generic amputated connected higher-point function is not the same as a one-particle-irreducible vertex.

For the scalar quartic one-loop critical-mass subtraction, the subtracted tadpole is $I_D(0)-I_D(R)=R{J}_D(R)$. Above four dimensions $J_D(0)=K_D{\Lambda }^{D-4}/(D-4)$ is finite. At four dimensions $J_4=(K_4/2)\log [({\Lambda }^2+R)/R]$. For $2<D<4$, $J_D\sim K_D{R}^{(D-4)/2}{\int }_0^{\infty }{q}^{D-3}(1+q^2{)}^{-1}dq$, which diverges as $R\to 0$. Hence a smooth linear thermal mass survives this test only above the ordinary upper critical dimension four. The massless subtraction is infrared divergent for $D\le 2$ and cannot prove absence of an interacting transition there.