Velocity space is the space of velocity vectors at a fixed spatial position. Integrating a galactic distribution function over velocity space produces mass density; its normalized moments determine mean velocity and velocity dispersion.

The Adler phase equationdescribes a relative phase pulled by a coupling of strength $ϵ$ while a frequency mismatch $\omega$ drives it around the circle. For $|\omega |<ϵ$, an equilibrium satisfies $\sin \theta =\omega /ϵ$. Its linear growth rate is $-ϵ\cos \theta$, so the branch with positive cosine is stable and the opposite branch is unstable.

For $0<\omega <ϵ$, the stable and unstable values are $\arcsin (\omega /ϵ)$ and $\pi -\arcsin (\omega /ϵ)$ modulo $2\pi$. They merge at $\omega =ϵ$, a saddle-node bifurcation on the phase circle. The stable branch's relaxation rate is $\sqrt{{ϵ}^2-{\omega }^2}$, which tends to zero at the threshold. Greater positive mismatch gives running phase dynamics.

The drift is minus the derivative of the tilted washboard potential $V(\theta )=-\omega \theta -ϵ\cos \theta$. Although $V$ is not periodic, its derivative is; each increase of $2\pi$ lowers the potential by $2\pi \omega$. Adding Gaussian white noise produces overdamped Langevin dynamics. The activation barriers of the Adler phase equation then control rare thermally activated phase slips.

A phase slip changes the continuously tracked relative phase by one cycle, usually $\pm 2\pi$, compared with a locked state. Tracking the angle only modulo $2\pi$ hides this accumulated winding: the wrapped phase can return to the same value after a full circuit. A jump caused solely by changing the plotting branch cut is not evidence of a dynamical phase slip.

In a noisy locked oscillator, fluctuations usually remain close to a stable phase, but a thermally activated phase slip crosses a barrier of the tilted washboard potential and settles in a neighboring well on the real-valued phase lift. The corresponding wrapped state can look unchanged even though the relative cycle count has increased or decreased by one.

If forward and backward slips have rare-event rates $r_{+}$ and $r_{-}$, their mean contribution to unwrapped phase drift is $2\pi (r_{+}-r_{-})$. This follows by multiplying the signed change per event by the expected event count per unit time. Equal rates can therefore give zero mean drift while individual slips still occur. The forward-backward bias of phase slips determines when a frequency mismatch makes one direction more likely.

Weak coupling means a suitably dimensionless interaction strength is small. In BCS theory, ${\nu }_{s}V\ll 1$ gives a gap exponentially small compared with the pairing-shell energy cutoff; the expansion parameter is not the dimensional quantity $V$ alone.

A continuous function $v$ is a Perron subfunction for $\Delta u=f$ when it lies below every classical solution of that Poisson equation on a relatively compact open ball whenever it lies below that solution on the ball's boundary. For $C^2$ functions, this is equivalent to $\Delta v\ge f$. A superfunction reverses the comparison and has $\Delta v\le f$ when $C^2$. Adding a boundary upper bound gives the family whose supremum defines the Perron method for the Dirichlet problem.

Subgroups $H_1,H_2$ of a finite group $G$ are Gassmann equivalent if $|H_1\cap C|=|H_2\cap C|$ for every conjugacy class $C$. Equivalently their coset permutation representations have the same character of a representation. They need not be conjugate subgroups. The Sunada theorem turns this equality into equality of Laplacian eigenfunction multiplicities.

The character of a permutation representation counts fixed points: $\chi (g)=|\{\omega :g\omega =\omega \}|$. Its self-inner-product counts orbits on ordered pairs, while its inner product with the trivial character counts orbits on the original set.

Two antisymmetric flavour quark pairs can each transform in $\overline{3}$, combine into $\overline{6}$, and with an antiquark give $\overline{6}\otimes \overline{3}=\overline{10}\oplus 8$. The antidecuplet rows are $(Y,I)=(2,0),(1,1/2),(0,1),(-1,3/2)$. Exactly three weights are absent from all three-quark states: $(I_3,Y)=(0,2)$ and $(\pm 3/2,-1)$.

Exotic flavour weights can decay into a baryon and a meson while preserving every strong quantum number: $uudd\bar{s}\to p{K}^0$ or $n{K}^{+}$, $ddss\bar{u}\to {\Xi }^{-}{\pi }^{-}$, and $uuss\bar{d}\to {\Xi }^0{\pi }^{+}$. These are quark rearrangements. If above threshold with unsuppressed couplings, such states are short-lived strong resonances. Flavour symmetry alone fixes neither masses nor widths.

In a future null-complete globally hyperbolic spacetime obeying the null convergence condition, the future horismos of a compact trapped surface is compact. Normalize its future null normals continuously using a timelike field. Compactness gives a uniform negative bound $\theta \le -c<0$ on both initial null expansions. The null focusing theorem bounds all boundary generators by affine length $2/c$. Their endpoints lie in the image under a continuous map of the compact bundle of normalized null normals times $[0,2/c]$. The future horismos is closed, so is a compact subset of that image.

The globally hyperbolic maximal Cauchy development of appropriate Reissner-Nordstrom spacetime data obeys the Penrose singularity theorem when it contains a closed trapped surface. Its resulting null geodesic incompleteness can include generators reaching a smoothly extendible inner Cauchy horizon in finite affine parameter. The full analytic extension is not globally hyperbolic and cannot be substituted into that version of the theorem. Incompleteness alone does not establish curvature blowup at every endpoint.

The heuristic derivation of the Penrose inequality from Hawking's area theorem needs an initial area comparison, in addition to enclosure of the apparent horizon by the event horizon. Set inclusion alone is not an area inequality. An outer area-minimizing surface or appropriate enclosing-area hypotheses supply the needed comparison in formulations where it is valid; arbitrary slice-dependent apparent-horizon area need not do so.

For complete asymptotically flat three-dimensional Riemannian initial data with nonnegative scalar curvature and an outermost compact minimal surface boundary of area $A$, the Riemannian Penrose inequality gives the displayed bound. Equality is realized by the spatial exterior of Schwarzschild spacetime. Time-symmetric gravitational initial data have this form when the Einstein field equations and energy hypothesis give the required nonnegative curvature. This theorem does not justify substituting arbitrary non-time-symmetric apparent horizon area into the same formula.

A tortoise coordinate straightens radial null directions. For a static radial metric $-F(r)d{t}^2+G(r)d{r}^2$ outside a horizon, choose $d{r}_{\ast }/dr=\sqrt{G/F}$; then $t\pm r_{\ast }$ are constant along the corresponding radial null geodesics. Continuation across horizons requires choosing branches consistently rather than replacing an analytic derivative by its absolute value.

For $g=q+C(d\psi +A{)}^2$ with $C>0$, projection of every causal curve is causal for $q$, since $q(\dot{\gamma },\dot{\gamma })\le g(\dot{\gamma },\dot{\gamma })\le 0$. Conversely, the lift defined by $d\psi =-A$ along any given base curve has the same norm as that curve. Thus the orbit-space metric $q$ describes the projected causal structure exactly. A Penrose diagram suppressing that circle is a quotient diagram, not the metric of a constant-$\psi$ slice.

Null infinity is the ideal boundary reached by asymptotically escaping null geodesics in a suitable conformal completion. It has future and past components. A finite location on a Penrose diagram need not represent a finite affine parameter.

Future and past timelike infinity are ideal endpoints of asymptotically escaping timelike trajectories in a conformal completion. For the Minkowski conformal compactification, they are the vertices $(T,R)=(\pi ,0)$ and $(-\pi ,0)$; these vertices are not physical spacetime events.

Spacelike infinity is the ideal endpoint of spatial directions in the Minkowski conformal compactification, represented by $(T,R)=(0,\pi )$. Unlike null infinity, it is a vertex of the radial Penrose diagram.

A generalized Pell equation is $x^2-d{y}^2=N$ for a fixed nonsquare positive integer $d$ and nonzero integer $N$. Multiplication by units of a real quadratic number field preserves the norm up to sign, reducing solutions to finitely many unit orbits when an appropriate bounded reduction interval is used.

A Pauli frame is a classical record of known Pauli operator byproducts rather than their physical correction. A one-qubit frame $X^a{Z}^b$ changes a computational basis measurement label by $a$; $b$ changes only a phase. Conjugation by Clifford gates maps Pauli operators to Pauli operators, so the frame can be updated by classical binary arithmetic throughout a Clifford circuit.