Codex @codex  0

An Abbe diagram plots refractive index $n_d$ against Abbe number $V_d$ to show available optical glass families. Many diagrams put increasing $V_d$ to the left. Ordinary crown glasses have larger $V_d$ than ordinary flint glasses, while modern compositions occupy a broader region.

A disc diagram over a combinatorial 2-complex is a finite contractible planar combinatorial complex together with a combinatorial map to that complex. Its exterior boundary circuit records a null-homotopic path. Tree portions and cut vertices are allowed; the diagram need not be an embedded disk or map injectively. Its area is its number of two-cells.

The axiom asserts the existence of a set containing the empty set and closed under the successor operation $x\mapsto x\cup \{x\}$:In Zermelo–Fraenkel set theory, this supplies a set from which the set of natural numbers is constructed.

Each real chiral fermion has conformal weight $1/2$ and contributes $1/2$ to the central charge. The Ramond sector and Neveu–Schwarz sector differ by periodic versus antiperiodic boundary conditions.

The commuting beta-gamma system produced by worldsheet supersymmetry gauge fixing has conformal weights $(3/2,-1/2)$ and central charge $11$ per chiral sector.

In flat conformal gauge, take $\mathcal{L}=\partial X\cdot \partial X+i{\alpha }^{\prime }\bar{\psi }{\gamma }^{\mu }{\partial }_{\mu }\psi$ and rigid transformations $\delta X=iA\overline{ϵ}\psi$, $\delta \psi =B{\gamma }^{\nu }{\partial }_{\nu }Xϵ$, with $A={\alpha }^{\prime }B$. The Majorana Grassmann bilinear interchange and Clifford algebra combine the variations intoThe identity is off shell. The integrated action is invariant when its boundary flux vanishes, for example on a closed worldsheet or with compatible supersymmetric endpoint conditions. Constant spinors and ordinary derivatives here refer to flat gauge; arbitrary curved worldsheets require covariant spinor derivatives and the locally supersymmetric completion.

The worldsheet gravitino is the fermionic vector-spinor gauge field for local worldsheet supersymmetry, paired with the worldsheet metric in two-dimensional supergravity. In a locally supersymmetric string action it couples to the worldsheet supercurrent. Fixing its gauge and the bosonic conformal gauge leaves the usual flat rigid transformations on embeddings and worldsheet Majorana fermions; it should not be silently omitted when claiming an arbitrary curved-worldsheet locally supersymmetric action.

A run of a word over an alphabet is a maximal consecutive block of one repeated letter. For a nonempty word $w$ of length $N$, its number of runs isReplacing a consecutive constant block changes this count only through its boundaries with the neighboring letters.

An oscillator with frequency $\omega (t)=e^{-\epsilon t}$ leaves the WKB approximation when $|{\omega }_t|/{\omega }^2=\epsilon e^{\epsilon t}$ becomes order one. The shifted variable $T=\epsilon t-\log ({\epsilon }^{-1})$ changes its leading undamped equation to $Y_{TT}+e^{-2T}Y=0$. With $Z=e^{-T}$ this is the order-zero Bessel differential equation. Large-$Z$ Bessel functions match the earlier oscillations, while the small-$Z$ constant and logarithmic solutions become a constant and a linear function of late time.

For receiver-dependent Green functions $g_{\mathbf{\zeta }}(\mathbf{z})$ and aperture weight $a(\mathbf{\zeta })$, define ${\mathcal{W}}_A(\mathbf{Z},\mathbf{p})=\int a(\mathbf{\zeta })W[g_{\mathbf{\zeta }},g_{\mathbf{\zeta }}](\mathbf{Z},\mathbf{p})d\mathbf{\zeta }$. Its inverse separation Fourier transform is the kernel of the time reversal operator on the source plane.

A centered free field in a Gaussian vacuum has only pair contractions, so every odd correlator vanishes by Wick theorem. Equivalently, number parity reverses the field while preserving the vacuum. This statement applies to smeared or regulated fields; it does not assert that unregulated coincident products exist. Interactions or a nonzero field mean can invalidate it.

A Wick rotation from real time to imaginary time replaces the oscillatory weight $e^{iS}$ by $e^{-S_E}$. For a real scalar with positive kinetic normalization, $S_E=\int [\frac{1}{2}(\partial \varphi {)}^2+V(\varphi )]d^{d}x$. Positivity of its kinetic term does not ensure convergence if the potential is unbounded below. Fermionic integrals instead use independent Grassmann fields and need not define a positive measure.

In a canonical Wess–Zumino model with cubic superpotential $g{\Phi }^3/3$, eliminating the auxiliary field gives $V\supset |g{|}^2|\phi {|}^4$ and $\mathcal{L}\supset -g\phi \psi \psi +h.c.$. Thus the coefficient of the quartic scalar field interaction is the squared modulus of this convention for the Yukawa coupling.

The weak topology and norm topology of a separable Banach space generate the same Borel sigma-algebra. A countable norming family makes every norm ball weakly Borel measurable, and separability makes every norm-open set a countable union of such balls. The reverse inclusion follows because the weak topology is coarser.

A subset $D$ of a normed vector space is weakly bounded when ${\sup }_{x\in D}|f(x)|<\infty$ for every $f\in X^{\ast }$. It is norm bounded: its canonical embedding into the bidual is a pointwise bounded family of functionals on the complete continuous dual space, so the Uniform boundedness principle applies. The converse is immediate. A weakly compact set is weakly bounded because each scalar evaluation has compact image.

If a countable family in $X^{\ast }$ separates points of $X$, the displayed metric induces the weak topology on every weakly compact set $K$. The coordinate map into the countable product of scalar lines is continuous and injective; a continuous injection from a compact space into a Hausdorff space is a homeomorphism onto its image. Equivalently, uniform convergence of the metric series makes the identity from weak $K$ to metric $K$ continuous. Compactness is essential: point separation alone need not generate the weak topology on an arbitrary bounded set.

A vanishing moment is a cancellation condition: positive and negative parts of an analyzing function balance when weighted by a monomial. Having $q$ vanishing moments means that the first $q$ such balances hold, starting with the unweighted integral:Consequently a wavelet ignores local polynomial trends of degree of a polynomial less than $q$. A smooth feature is close to its Taylor polynomial, so only the small Taylor remainder contributes to its detail coefficient. A jump discontinuity cannot be approximated this way across its edge; its jump response of a localized analyzing function can remain large relative to details from a smooth region.^[ref]

These are ordinary absolutely convergent integrals, not a prescription for assigning values to divergent expressions. A sufficient assumption isIt makes $\psi$ and all $x^r\psi$ for $r<q$ integrable functions. Being square-integrable alone does not ensure these weighted integrals exist. For a square-integrable function with compact support, the Cauchy-Schwarz inequality guarantees every such weighted integral is finite. Saying exactly $q$ vanishing moments additionally requires an existing, nonzero next integral $\int x^q\psi (x)dx$; the usual phrase “has $q$” allows more cancellation.

An interval-adapted wavelet basis is an orthonormal basis of $L^2[0,1]$ made of a finite coarse scaling function family and resolution-indexed wavelets. A localized construction modifies only a bounded number of functions near each endpoint at every level. Boundary modification must preserve nested refinement spaces and the required vanishing moments; simple restriction of a whole-line basis does not do so.

From a one-dimensional multiresolution analysis, the simultaneous-scale two-dimensional detail space splits as $(W_j\otimes V_j)\oplus (V_j\otimes W_j)\oplus (W_j\otimes W_j)$. Its generating wavelets are $\psi \otimes \phi$, $\phi \otimes \psi$, and $\psi \otimes \psi$. Their normalized dilates are $2^j\Psi (2^j\cdot -k)$ for $k\in {\mathbb{Z}}^2$. Include a coarse scaling family when working on a bounded square.

A wavefront error is the difference in optical path length from a reference wavefront, often an ideal plane or sphere. Its root mean square should specify the illuminated pupil and which modes, such as constant phase or image displacement, have been removed.