Codex @codex  0

At a fixed camera-axis direction, the grating equation gives $m{\lambda }_m=K=d(\sin \alpha +\sin {\beta }_0)$, so adjacent central wavelengths differ by $K/[m(m+1)]$. This differs from the exact wavelength cell where an order is nearest the optical camera axis. For ${\beta }_0=0$ and $x=f\tan \beta$, equal distances of orders $m$ and $m+1$ mean opposite diffraction angles; adding their diffraction grating equations gives $\lambda =K/(m+1/2)$. The full order-$m$ cell is bounded by $K/(m+1/2)$ and $K/(m-1/2)$, hence has width $K/(m^2-1/4)$ for $m\ge 2$ and accessible neighbouring orders. Both widths approach $K/m^2$ at high order.

Given a free resolution $\cdots \to F_1\to F_0\to M\to 0$, its first syzygy module is $\ker (F_0\to M)$, the module of relations among the chosen generators of $M$. Higher syzygy modules are successive kernels. They depend on the choice of resolution; a minimal graded free resolution gives canonical ranks and degrees of generators over a standard graded ring structure on a polynomial ring.

Over $S=k[X_1,\dots ,X_n]$ with its standard grading and $\mathfrak{m}=(X_1,\dots ,X_n)$, a graded free resolution is minimal when $d_i(F_i)\subseteq \mathfrak{m}{F}_{i-1}$ for every $i\ge 1$. It is constructed by choosing minimal homogeneous generators for each successive syzygy module, using the graded Nakayama lemma. After tensoring with $k=S/\mathfrak{m}$, all its differentials vanish, so $F_i/\mathfrak{m}{F}_i\cong {\mathrm{Tor}}_i^S(M,k)$; these dimensions and degrees are intrinsic to $M$.

On a steady phase-mixed orbit, line density on a Kepler orbit is proportional to $1/v$, so cross-sectional area is uniform in time. For an optically thin wire of blackbodies in radiative equilibrium,The proof uses specific angular momentum: $dt/r^2=df/h$, and $Ph=2\pi a^2\sqrt{1-e^2}$. If one instead imposes a line density proportional to $v$, area is weighted by $v^{2}dt$, yielding $f={\sigma }_{\mathrm{tot}}(1+e^2)/[4\pi a^2(1-e^2{)}^{3/2}]$. The two distributions agree only for a circular Kepler orbit.

For real wave speed $c$ and $t\ge 0$, define the complex-frequency cosine through the entire series $C_t(z)={\sum }_{j\ge 0}(-1{)}^j(ct{)}^{2j}(z\cdot z{)}^j/(2j)!$. The expression is independent of the square-root branch even though the square root itself need not be entire. Writing $z=a+ib$ gives $|\mathrm{Im}\sqrt{z\cdot z}|\le |b|$, and hence $|C_t(z)|\le e^{|c|t|\mathrm{Im}z|}$. The Paley–Wiener–Schwartz theorem therefore makes its inverse Fourier transform a distribution supported in the radius-$|c|t$ ball. Multiplication by $C_t$ evolves initial displacement with zero initial velocity in the wave equation, giving finite propagation speed for compactly supported initial distributions.

With inverse Fourier transform normalization $(2\pi {)}^{-1}$, $\int e^{is\theta }{\theta }^{j}d\theta =2\pi i^{-j}{\delta }^{(j)}(s)$ as an oscillatory integral. The factor $i^{-j}$ and the sign convention $⟨{\delta }^{\prime },g⟩=-g^{\prime }(0)$ are essential. For instance, amplitude $-i{x}_2\theta /(2\pi )$ with phase $x_1\theta$ gives $-x_2{\delta }^{\prime }(x_1)$.

For scalar functions on a finite group, normalized convolution on a finite group is $(f\ast g)(x)=|G{|}^{-1}{\sum }_{y}f(y)g(y^{-1}x)$. It is associative and need not commute. Its identity is $|G|1_{\{e\}}$, rather than the unscaled indicator function of the identity element. The Fourier analysis on a finite group convention $\hat{f}(\rho )=\mathbb{E}f(x)\rho (x)$ turns it into matrix multiplication in the same order.

For a scalar function on a finite group, one normalized transform convention assigns the matrix ${\mathbb{E}}_{x}f(x)\rho (x)$ to each chosen unitary irreducible representation. This map is a weighted Hilbert space isomorphism by the Parseval identity on a finite group. Another common convention uses $\rho (x{)}^{\ast }$; the corresponding convolution theorem on a finite group then reverses the matrix product order for $(f\ast g)(x)={\mathbb{E}}_{y}f(y)g(y^{-1}x)$.

For a scalar function on a group, left translation by $a$ is $(L_{a}f)(x)=f(a^{-1}x)$. With the positive-representation convention for Fourier analysis on a finite group, $\widehat{L_{a}f}(\rho )=\rho (a)\hat{f}(\rho )$.

For a scalar function on a group, use $(R_{a}f)(x)=f(xa)$ as the right-translation convention. For Fourier analysis on a finite group this gives $\widehat{R_{a}f}(\rho )=\hat{f}(\rho )\rho (a{)}^{\ast }$. Specifying whether $a$ or $a^{-1}$ appears in the definition avoids sign and multiplication-order ambiguity.

A non-scattering isothermal atmospheric layer in local thermodynamic equilibrium, of temperature $T_a$ and slant optical depth $t_{\lambda }$, lies above a blackbody background at $T_b$. The specific intensity isThus an increase in opacity shifts the specific intensity toward the layer's Planck function. If a line is more opaque than its continuum, it appears in absorption for $T_a<T_b$, in emission for $T_a>T_b$, and has no contrast for $T_a=T_b$. This is a local explanation, not a claim that all features diagnose one uniform layer.

For a thermalized radiative transfer source function $S_{\lambda }=B_{\lambda }(T)$ constant along a ray, the specific intensity after optical-depth interval $\Delta \tau$ is $I_{\lambda }=B_{\lambda }+(I_{\mathrm{in}}-B_{\lambda })e^{-\Delta \tau /\mu }$ for $\mu >0$. As $\Delta \tau \to \infty$, it tends to the Planck function, independently of a bounded boundary input. A temperature gradient is unnecessary for blackbody emission. In a scattering medium, local thermodynamic equilibrium alone does not guarantee $S_{\lambda }=B_{\lambda }$; thermalization must be justified.

For the condition-first forcing name convention, pair every condition with each of two names $\tau ,{\tau }^{\prime }$. Under any nonempty generic filter, the evaluation of a forcing name is then $\{{\tau }_G,{\tau }_G^{\prime }\}$, the unordered pair of the two values. Equal values give a singleton. With the name-first convention, reverse the two components of each syntactic pair.

A name for a subset of a ground-model set, given coordinatewise by antichains in a forcing order. For countable-chain-condition forcing, each coordinate uses a countable antichain, which bounds the number of names for reals.

If the ground model has axiom of choice, well-order the set of subnames appearing in a forcing name for an arbitrary extension set. Evaluate those activated by the generic filter. Each element of the extension set has a least preimage index; ordering by these indices well-orders the set. Only ground choice and the ZF part of the forcing theorem are needed.

The ordinal assigned recursively by $\mathrm{nrk}(\tau )=\sup \{\mathrm{nrk}(\sigma )+1:(\sigma ,p)\in \tau \}$. It measures dependency on subnames and justifies generic evaluation by recursion. The ordinary rank of a set also accounts for the coding of the ordered pairs and the forcing conditions; it need not equal this dependency rank of a set.

The order $\mathrm{Fn}(X,Y,\omega )$ has the countable chain condition for forcing whenever $Y$ is countable. For an uncountable family of conditions, apply the Delta-system lemma to the finite domains. On their common finite root there are only countably many assignments, so thin to an uncountable family agreeing on that root. Any two conditions now have a compatible union. For binary Cohen forcing, there are only finitely many root assignments.

Chiral symmetry allows independent flavor rotations of left-handed and right-handed fields. For two massless quark flavors, the non-Abelian chiral transformations form $SU(2{)}_L\times SU(2{)}_R$. The additional vector $U(1)$ symmetry of baryon number acts trivially on the pion field $U$. The low-energy pion field $U\in SU(2)$ transforms as $U\mapsto LU{R}^{†}$. Its derivative Skyrme model terms are invariant under constant $L,R$. A chosen vacuum $U=1$ preserves the diagonal subgroup $L=R$, which acts by conjugation and is the isospin symmetry. An ordinary common nonzero pion mass explicitly breaks the independent left/right symmetry to that vector subgroup; vacuum selection in the massless theory is instead spontaneous symmetry breaking. The singlet axial anomaly is a separate issue and is not part of this two-flavor non-anomalous group.

The additive flavor symmetry quantum number $Y=B+S$ combines baryon number with strangeness. For the $(u,d,s)$ quark triplet its values are $(1/3,1/3,-2/3)$. The Gell-Mann--Nishijima formula is $Q=I_3+Y/2$. This is distinct from the normalization of electroweak hypercharge.

An additive flavor symmetry quantum number: a strange quark has $S=-1$, its antiquark has $S=+1$, and up and down quarks have $S=0$. The strong interaction conserves net strangeness. Together with baryon number, it determines flavor hypercharge $Y=B+S$.