At zero rotation the field reaches ${\lambda }^2|\psi {|}^2=1$ at its center. Its energy remains finite, but its charge expression is singular and has the two displayed one-sided limits. The regular local branch excludes this endpoint. A global completion must say whether and how these two limiting charge labels represent a physical state.

The Jacobian determinant of a differentiable characteristic flow map measures its change of volume. The variational equation and the Liouville formula for a fundamental matrix give the displayed formula for a complete smooth field $b$. For kinetic advection with $b=(v,F)$, its divergence is ${\nabla }_v\cdot F$. A zero divergence preserves phase-space Lebesgue measure.

For a Lévy process, stochastic continuity gives continuity of its characteristic function in time at every fixed frequency. The elementary estimate $|{\phi }_{X_s}(u)-{\phi }_{X_t}(u)|\le |u|\delta +2\mathbb{P}(|X_s-X_t|>\delta )$ proves this by first taking $s\to t$ and then $\delta \downarrow 0$. The argument works for any stochastically continuous stochastic process and needs no finite-moment assumption.

Independent increments and stationary increments make a Lévy process's characteristic functions multiplicative in time. Together with continuity of Lévy characteristic functions and the value one at time zero, this forces an exponential. A continuous local complex logarithm is additive: its failure of additivity would be a continuous integer multiple of $2\pi i$, hence zero. The Cauchy functional equation and subdivision then give the exponential at every time. This construction of the characteristic exponent of a Lévy process precedes the Lévy–Khintchine formula describing the exponent's possible form.

The displayed map is a diffeomorphism of the open unit square onto itself. For fixed $u$, the second coordinate decreases strictly from one to zero as $v$ increases from zero to one. Its inverse is $u=1-x$, $v=(1-y)/[1-(1-x)y]$, and its positive Jacobian determinant is $[1-(1-x)y{]}^2/x$. Composing it with $(t,w)\mapsto ((1-t)/(1-wt),1-w)$ gives determinant $[1-(1-x)y][1-(1-x^2)y{]}^2/[x(1-y)]$. The reciprocal determinant therefore integrates to one over the target square by the change of variables formula, despite boundary singularities.

For a smooth local diffeomorphism $a:{\mathbb{R}}^d\to {\mathbb{R}}^d$, each inverse branch contributes an inverse Jacobian determinant in the area formula. Their sum is the weighted inverse multiplicity. A lower determinant bound controls each branch separately, not the number of branches. Bounded weighted inverse multiplicity is sufficient for dispersion with a nonlinear velocity map.

For a Boolean function $f$ and a chosen input $x$, a set of coordinates $S$ is a query certificate if every $y$ agreeing with $x$ on $S$ has $f(y)=f(x)$. It fixes actual input bits rather than supplying an independently guessed certificate to an NP verifier. Minimizing its size at each input and then maximizing gives query certificate complexity.

For a fixed mean-zero variance-one real entry law, centered truncation of a Wigner matrix satisfies $\mathbb{E}[N^{-1}\mathrm{Tr}(X-\hat{X}{)}^2]\le t(C)$, where $t(C)=\mathbb{E}[Y^2{1}_{|Y|\ge C}]\to 0$. The spectral Lipschitz bound from Frobenius distance and Markov inequality give probability at most $t(C)/{\epsilon }^2$ for a spectral test-function discrepancy exceeding $\epsilon$. Thus $t(C)<{\epsilon }^3$ works uniformly in matrix size. A varying entry-law family requires uniform second-moment tail decay instead.

If a Cartesian sequent fails to factor its antecedent subobject $A\hookrightarrow C$ through its consequent, the covariant representable functor ${\mathcal{C}}_{\mathbb{T}}(A,-)$ is a set-valued countermodel. It preserves finite limits, and the element named by the antecedent inclusion belongs to the antecedent but cannot belong to the consequent. Hence validity in every set model implies Cartesian derivability.

This degree-two Cardinal B-spline has three consecutive unit knot intervals as its support. Its first and last polynomial pieces are $(t-i{)}^2/2$ and $(i+3-t{)}^2/2$; on the middle interval it equals $3/4-(t-i-3/2{)}^2$. Its two interior integer values are $1/2$, and its endpoint values are zero. The maximum is $3/4$, emphasizing that partition normalization does not mean unit maximum height.

In signature $+---$, the Maxwell Lagrangian yieldsIt is symmetric after raising its second index, gauge-invariant, and conserved on the source-free Maxwell equations. Its energy density is $\frac{1}{2}({\mathbf{E}}^2+{\mathbf{B}}^2)$ and its energy flux is the Poynting vector. Its difference from the canonical stress-energy tensor is an antisymmetric superpotential divergence plus an equation-of-motion term, so integrated charges coincide when the constraints and vanishing boundary terms are imposed.

A gauge quantization prescription using a nilpotent BRST charge on the gauge-fixed state space. Physical states are represented by its BRST cohomology, usually at ghost number zero. Exact states decouple under suitable invariant-measure, boundary and positivity assumptions. Nilpotence alone does not prove positivity of the quotient or select its physical ghost-number sector.

For adjoint fields whose coefficients have Grassmann parity, $X\times Y=-(-1{)}^{|X||Y|}Y\times X$. Thus two odd ghost fields have a symmetric adjoint bracket, and $c\times c$ need not vanish. The graded Jacobi identity and this symmetry are the algebraic mechanisms behind BRST nilpotence.

If $L_m=\{b_m,Q\}$, nilpotence gives $[L_m,Q]=0$. The graded Jacobi identity and $[b_m,L_n]=(m-n)b_{m+n}$ then imply the displayed algebra. Thus a quantum central extension in the total generators obstructs BRST nilpotence.

Consider a path of planar Brownian motion in the unit disc $D$, started at $0$ and conditioned to exit at $1$. Let $U\subseteq D$ be a simply connected domain containing $0$ and agreeing with $D$ near $1$. Let ${\Phi }_U:U\to D$ be a conformal map normalized by ${\Phi }_U(0)=0$ and ${\Phi }_U(1)=1$. ThenThe conditional probability is the ratio of the boundary Poisson kernel densities for exit at $1$ in $U$ and in $D$. The conformal transformation rule for the Poisson kernel contributes the boundary derivative $|{\Phi }_U^{\prime }(1)|$; the normalized interior image is still $0$, so no additional conformal-radius factor appears. Given avoidance of $D\setminus U$, the mapped path has the original conditioned law, with the conformal Brownian clock accounting for its time parametrization.

A sigma-finite measure on simple closed curves has conformal restriction if restricting to loops in a simply connected domain and then applying a conformal map agrees with first transporting the domain and restricting there. The usual nontrivial measures are finite on bounded macroscopic cutoff windows and are determined up to normalization by their pointed conformal deficits.

In the unit disc, the relevant pointed Brownian loop measure is rooted at $0$ and normalized by its conformal deficit: for simply connected $U$ containing $0$, its mass of loops not contained in $U$ is minus the logarithm of the conformal radius. Its outer-boundary pushforward gives the corresponding pointed simple-loop restriction measure. It is not the full unrooted loop measure or a probability law of a fixed-duration Brownian bridge.

If $A\cong M_r(D)$ with $D$ a central division algebra, its index is $\mathrm{deg}D$. It depends only on the Brauer group class. The index divides every finite splitting-field degree and equals the degree of a maximal subfield of the division representative.

The period is the order of a class in the Brauer group. It divides its index. Over a local field with finite residue field, the period and index are both the reduced denominator of its local Brauer invariant.

For a complete discretely valued field $K$ with perfect residue field $k$, there is a split exact sequence $0\to \mathrm{Br}(k)\to \mathrm{Br}(K)\stackrel{{\partial }_K}{\to }{H}^1(k,\mathbb{Q}/\mathbb{Z})\to 0$. The residue is canonical. A uniformizer chooses a splitting $\chi \mapsto (\chi ,\pi )$; this choice does not make the residue itself noncanonical.