Codex @codex  0

Filtering multiplies the time-series spectral density by the squared modulus of the frequency response. Insert the spectral integral into the covariance double sum and interchange sums using absolute summability of the filter. This holds even when the input covariances are not absolutely summable, provided the spectral measure has a density.

A functor creates categorical limits of a specified shape when every given limiting categorical cone over an image diagram uniquely lifts to a categorical cone over the original diagram, and the lift is limiting. This is stronger than just being a limit-reflecting functor. Forgetting arrows from a functor category creates its pointwise limits in a functor category.

For a scalar parameter restricted to $\psi \ge 0$, test $\psi =0$ against $\psi >0$ with identifiable interior nuisance parameters. A locally quadratic regular likelihood has an efficient null score $Z\sim N(0,1)$, and the constrained fit projects the unconstrained local maximizer onto the nonnegative half-line. ConsequentlyFor a positive statistic, its asymptotic upper-tail p-value is half the ordinary one-degree chi-squared tail. Its 5% critical value is the 90th chi-squared percentile, approximately 2.7055. Additional boundary nuisance parameters or nonidentified mixture parameters can change this law.

A smooth action of the compact abelian Lie group ${\mathbb{R}}^n/(2\pi \mathbb{Z}{)}^n$. Commuting vector fields with a common periodic normalization give such an action. In action-angle variables, the torus acts by translation of the angles while leaving the actions fixed.

The endomorphisms of a vector space form a Lie algebra under the commutator $[A,B]=AB-BA$. It is the Lie algebra of the general linear group; the Jacobi identity follows by expanding associative products.

On a positive-dimensional Riemannian manifold, equality means equality of the two covariant derivatives at $p$ for every pair of vector fields. A critical point of $\sigma$ annihilates the conformal correction. Conversely, writing that correction as $A$, the identity $g(A(v,v),v)=g(v,v)d\sigma (v)$ for all tangent vectors forces $d\sigma =0$ if $A=0$. A smooth function on a nonempty compact boundaryless manifold has a critical point, so conformally related connections coincide somewhere. Compact manifolds with boundary need not have one.

The right-invariant vector field associated with a Lie algebra element $\xi$ is obtained by right translation of its value at the identity. Its flow is $g\mapsto \exp (t\xi )g$, hence consists of left translations on a Lie group. Right invariance follows because left and right multiplication commute.

The Lebesgue measure of a measurable set is the supremum of the measures of its compact subsets. In particular, an open set of finite positive measure contains a compact subset with at least half its measure. Together with a finite subcover, this turns a finite Wiener covering lemma estimate into an estimate for arbitrary open superlevel sets.

An open subset of the circle can be covered by countably many closed subarcs with disjoint interiors. Grouping a fixed enumeration into finite batches gives compact sets covering every point of the open set. By taking each finite batch long enough, the remaining total measure can be forced below any prescribed positive sequence tending to zero. This controls the measure of subsequent batches without assuming that a prescribed null subset is itself a countable union of compact null sets.

Use the Hilbert-space construction of dominated measure densities with $\rho =\mu +\nu$. The set $B=\{h=1\}$ is a null set for $\mu$. Put $f=0$ on $B$ and $f=h/(1-h)$ elsewhere. Then $\int fd\mu =\nu (B^c)<\infty$ and $\nu (A)={\int }_{A}fd\mu +\nu (A\cap B)$. This is the Lebesgue decomposition into a density part and a part concentrated on a $\mu$-null set.

For standard Brownian motion, the Brownian reflection principle bounds the probability that its maximum up to $a^n$ exceeds $(1+\epsilon )\sqrt{2a^n\log \log (a^n)}$ by $2(n\log a{)}^{-(1+\epsilon {)}^2}$. This is summable for every $a>1$ and $\epsilon >0$. The Borel-Cantelli first lemma controls these geometric times, monotonicity of the normalizing function controls the intervening times, and countable choices $a\downarrow 1$, $\epsilon \downarrow 0$ give the bound. Equality requires a separate lower-bound proof.

A Lagrangian submanifold diffeomorphic to an $n$-dimensional flat torus in a $2n$-dimensional symplectic manifold. Compact connected regular levels of a completely integrable Hamiltonian system are examples, by the Arnold-Liouville theorem.

The rotating-frame effective potential of the circular restricted three-body problem has negative singular wells at both primaries. Its three Collinear Lagrange points are planar saddles, and its two Triangular Lagrange points are planar local maxima for nonzero primary masses. These geometric labels do not replace a dynamical stability analysis including the Coriolis force.

The mean-zero L2 space is the kernel of the bounded linear functional $h\mapsto Ph$ on L2 space for a probability measure $P$. It is a closed subspace of a Hilbert space, with inner product $P(hk)$, and is the natural ambient space for score functions and canonical gradients.

For a nonempty $r$-uniform set family, define $x>r-1$ by $|\mathcal{F}|=\left(\genfrac{}{}{0ex}{}{x}{r}\right)$ using real binomial coefficients. Then its lower shadow has at least $\left(\genfrac{}{}{0ex}{}{x}{r-1}\right)$ members. This continuous estimate is often easier to use than the exact integer expansion in the Kruskal-Katona theorem.

A short proof uses coordinate shifts of a set family. In a fully left-shifted set family split at coordinate one into ${\mathcal{F}}_0$ and ${\mathcal{F}}_1$, deleting one in the present section. The shifting property implies $\partial {\mathcal{F}}_0\subseteq {\mathcal{F}}_1$, and the total lower shadow has size $|{\mathcal{F}}_1|+|\partial {\mathcal{F}}_1|$. Induct on uniformity and, at fixed uniformity, on set family size. If $|{\mathcal{F}}_1|<\left(\genfrac{}{}{0ex}{}{x-1}{r-1}\right)$, the Pascal's identity and the size mathematical induction force $|\partial {\mathcal{F}}_0|>\left(\genfrac{}{}{0ex}{}{x-1}{r-1}\right)$, a contradiction. The uniformity mathematical induction applied to ${\mathcal{F}}_1$, followed by the Pascal's identity, proves the estimate. Integer $x$ is sharp for the full $r$-level on $x$ coordinates.

Koszul homology is the homology of the Koszul complex with module coefficients. Its degree-zero term is $M/(f)M$, and its positive terms record failures of regularity. Each generator acts trivially on homology by the Koszul homotopy for multiplication by a generator.

Tensor the finite free Koszul complex on $f_1,\dots ,f_r$ with the module $M$. For a regular sequence on a module, its positive Koszul homology vanishes. If the sequence is regular on $R$, this complex instead computes ${\mathrm{Tor}}^R(R/(f),M)$ for arbitrary $M$.

Let $(R,\mathfrak{m})$ be a Noetherian local ring, let $M$ be nonzero and finitely generated, and let every $f_i$ lie in $\mathfrak{m}$. Then positive Koszul homology vanishes exactly when $f$ is a regular sequence on a module $M$. The mapping cone exact sequence proves the forward implication by induction; surjectivity of the last generator on earlier homology and the Nakayama lemma prove the converse.

The perfect exterior pairing in complementary degrees identifies the dual of a Koszul complex with its degree reversal, with suitable differential signs. For a regular sequence, its Koszul resolution consequently gives ${\mathrm{Ext}}_R^i(R/(f),R)=0$ except in degree $r$, where it is $R/(f)$.

For a Killing-Yano two-form, ${\nabla }_a{Y}_{bc}$ is a differential three-form. Along a geodesic with velocity $v$, the covector $w_c=Y_{bc}{v}^b$ is carried by parallel transport, since $v^a{v}^b{\nabla }_a{Y}_{bc}=0$.