For a Young tableau $t$, let $r_t$ sum its row permutations and $c_t$ be the signed sum of its column permutations in the group algebra of the symmetric group. The product $h_t=c_t{r}_t$ is a Young symmetrizer. The other order is another conventional realization. It satisfies $h_t^2=H_{\lambda }{h}_t$, where $H_{\lambda }$ is the hook product of a partition, so division by that scalar gives a primitive idempotent in characteristic zero. Acting on a tensor power constructs a Schur module.

The color-contracted density ${ϵ}^{\mu \nu \rho \sigma }{F}_{\mu \nu }^a{F}_{\rho \sigma }^a$ is even under charge conjugation and odd under parity. In matrix form the two charge-conjugation signs cancel and transposition leaves the trace of the product unchanged. Parity contributes its orientation-reversing determinant to the four-index Levi-Civita symbol. Thus the density is CP odd. A generic fixed coefficient violates CP symmetry; being a local total derivative does not eliminate effects from nontrivial gauge topology.

Start traps at a unit-intensity Poisson random measure in Euclidean space and attach mutually independent Brownian motions, independent of the initial measure. For a deterministic target path $f$, independently thin initial positions according to whether their marked path comes within radius one of the target by time $t$. The retention probability $p_t(x)$ integrates, by the Tonelli theorem, to the expected volume of the sausage along $f-B$. Symmetry of Brownian motion makes this the expected volume of the sausage along $f+B$. The Poisson zero-count probability proves the displayed survival formula. This derives the formula directly from independent thinning, without assuming a separate marking or displacement theorem.

For four independent odd Grassmann variables $a,b,c,d$, $(bc-ad{)}^2=-2abcd$, whereas $(\psi \psi )(\chi \chi )=(-2cd)(-2ab)=4abcd$. This proves the displayed two-component identity and fixes its sign. It is not valid with the same interpretation for commuting spinors, whose self-contractions vanish.

For the normalized velocity-reset collision operator on the weighted Hilbert space, $L=\Pi -I$ vanishes on the equilibrium direction and equals $-I$ on its orthogonal complement. The spectral gap is exactly one. Conservation of the projected component and the displayed energy identity give exact exponential decay of the remaining component; the full solution need not decay to zero.

If two nonzero entire functions have identical zeros and orders, their quotient extends to a nowhere-zero entire function. Its logarithmic derivative has a primitive on the simply connected plane, producing a holomorphic logarithm $h$ and the displayed relation. Any two choices differ by one constant integer multiple of $2\pi i$. On a multiply connected domain the logarithm can fail to exist globally.

An entire function of finite order factors as its canonical zero product times the exponential of a polynomial. For order at most one and nonzero value at zero, it has the form $f(z)=f(0)e^{Bz}{\prod }_j(1-z/a_j)e^{z/a_j}$. Genus-one factors converge when ${\sum }_j|a_j{|}^{-2}<\infty$. A zero-free function of this order is therefore the exponential of an affine polynomial.

At fixed total particle number, $N_0=N-{\sum }_{k\ne 0}{b}_k^{†}{b}_k$. Expanding the condensate interaction energy subtracts $n{V}_0$ from the normal excited-particle coefficient, cancelling its direct Hartree term. The resulting quadratic coefficients are $A_k={ϵ}_k+n{V}_k$ and $B_k=n{V}_k$, with an opposite-momentum anomalous pair term. Replacing $N_0$ by $N$ before making this correction loses the cancellation.

The stable quadratic spectrum is $E_k=\sqrt{{ϵ}_k({ϵ}_k+2n{V}_k)}$. If $V_k\to V_0>0$, its low-momentum form is $\hslash |k|\sqrt{n{V}_0/m}$, a linear sound branch. For contact repulsion the healing length separates the phonon and particle regimes. General momentum-dependent interactions can change the higher-energy shape.

The quasiparticle vacuum contains physical particles at nonzero momentum because the Bogoliubov transformation mixes creation and annihilation operators. Their occupation is $v_k^2=(A_k/E_k-1)/2$, and the depletion density is its momentum sum divided by the volume. At nonzero temperature an additional $(A_k/E_k)n_B(E_k)$ contribution is required; quantum depletion alone is a zero-temperature expression.

Conservation of particle number corresponds to global circle group phase rotations of a nonrelativistic Bose field. A positive-density uniform mean-field saddle chooses a phase, with degenerate saddle manifold a circle. The associated Goldstone boson is the long-wavelength phase mode. This is a thermodynamic symmetry-selection statement; an exact finite-volume number eigenstate does not itself choose a phase.

In units $\hslash =1$, polar fields rewrite the coherent-state action asafter removing the periodic total density derivative. The potential has positive-density minimum ${\rho }_0=\mu /g$ for $\mu >0$. Density curvature gives a finite static amplitude cost, while phase changes cost only derivatives. Number-phase conjugacy couples their dynamics; the two fields do not automatically represent two independent excitation branches.

On càdlàg paths on a compact time interval, convergence in this topology means that increasing continuous bijections of the time interval can be chosen converging uniformly to the identity, while the corresponding time-changed paths converge uniformly to the limit. At a continuous limiting path this reduces to uniform convergence. It is a standard topology for weak limits of accelerated discrete-time chains, whose paths are step functions.

A scaling limit of a random curve is a weak limit of laws after rescaling the curves and choosing the space in which they are compared. One first specifies a topology; tightness is then proved in that topology, rather than determining the topology by itself.

For continuous curves on $[0,1]$ considered up to increasing reparameterization, a common comparison starts fromwhere $\varphi$ ranges over increasing homeomorphisms of $[0,1]$ and curves at zero distance are identified. This compares geometric traces with their order of traversal while allowing different traversal speeds. A parametrized process limit may instead use uniform distance or a Skorokhod J1 topology, so the intended notion of a curve matters.

For example, Brownian scaling gives $a^{-1/2}{B}_{at}$ the same law as Brownian motion for every $a>0$. It is already invariant under this rescaling. For lattice models a scale change can instead produce a different continuum law; SLE is a central family of candidate limits. In an appropriate curve space, tightness supplies subsequential weak limits, and identifying every subsequential law with the same law establishes convergence of the full sequence. Finite-dimensional distributions alone do not provide the required control over entire curves.

For a system or a multilevel method, each Fourier mode evolves through an amplification matrix $G(\theta )$. Stability requires bounds on $G(\theta {)}^n$ uniform in frequencies and mesh parameters. Eigenvalue moduli alone do not suffice: $G=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$ has unit eigenvalues but $G^n$ has off-diagonal entry $n$. Uniformly bounded eigenvector matrices, or a uniformly positive energy symmetrizer, can supply the missing power bound.

A steady Keplerian disk can transport angular momentum by viscous stress with zero mass flux. The radial drift vanishes, but the torque is constant and nonzero. An inner source and outer sink must supply its boundary angular-momentum exchange. This is distinct from a decretion flow, which transports mass outward.

The response to a small surface density perturbation is $\delta (\bar{\nu }\Sigma )=q\bar{\nu }\delta \Sigma$. For an instantaneous law $\bar{\nu }\propto r^a{\Sigma }^b$, $q=b+1$. This exponent is not the orbital shear exponent or a satellite-to-star mass ratio, which also often use the letter $q$.

Freezing coefficients locally in the Keplerian viscous diffusion equation gives ${\Sigma }_{1,t}\simeq 3{\partial }_{\Sigma }(\bar{\nu }\Sigma ){\Sigma }_{1,rr}$. A radial Fourier mode grows at rate $-3{\partial }_{\Sigma }(\bar{\nu }\Sigma )k_r^2$. Negative response reverses ordinary smoothing and gives a backward heat equation, within the wavelength range where the thin disc transport closure applies.

With the oscillator symplectic form of an open string, the quadratic generators $L_n={\sum }_k{\alpha }_k\cdot {\alpha }_{n-k}/2$ obey $\{{\alpha }_k,L_n\}=-ik{\alpha }_{k+n}$. Their Poisson brackets close without a central term, so they are first-class constraints. Quantization requires normal ordering and can produce the Virasoro central extension.

The covariant physical-state conditions impose positive-mode Virasoro constraints on kets and the adjoint conditions on bras, with intercept $a$ in the zero mode. They are a string version of Gupta-Bleuler quantization. Imposing every positive and negative matter mode on the same state would conflict with the Virasoro central extension. In critical bosonic string theory, $a=1$ and the matter central charge is $26$, canceled by the reparameterization ghosts.