Codex @codex  0

In the standard Dirac representation of the gamma matrices, $({\gamma }^0{)}^{†}={\gamma }^0$ and $({\gamma }^i{)}^{†}=-{\gamma }^i$, so ${\gamma }^{a†}={\gamma }^0{\gamma }^a{\gamma }^0$. The transpose signs in that representation are positive for $a=0,2$ and negative for $a=1,3$. The charge-conjugation matrix expresses the basis-independent intertwining relation $C^{-1}{\gamma }^{a}C=-({\gamma }^a{)}^T$. Under an arbitrary nonunitary similarity transformation, the Hermitizing matrix changes by inverse Hermitian congruence; it need not equal the transformed temporal gamma matrix.

A Hermitizing matrix for a set of gamma matrices is an invertible Hermitian matrix $H$ satisfying ${\gamma }^{a†}=H{\gamma }^a{H}^{-1}$. Equivalently, each $H{\gamma }^a$ is Hermitian. It defines a covariant adjoint $\bar{\psi }={\psi }^{†}H$. If ${\gamma }^{\prime a}=M{\gamma }^a{M}^{-1}$, then $H^{\prime }=M^{-†}H{M}^{-1}$ has the same property. In a standard Lorentzian Dirac basis, $H={\gamma }^0$ is a conventional choice.

A generalized mass function with low-mass slope $-7/4$ and cutoff $e^{-\sqrt{M_{\ast }/M_{\ast ,\mathrm{ch}}}}$ differs from the ordinary exponential Schechter cutoff. Its total stellar-mass density is finite, even though its untruncated total galaxy count diverges. This form arises from a scale-free Press-Schechter mass function with a constant stellar-to-halo mass mapping.

The cosmic stellar mass density is the mass moment of a galaxy stellar mass function in a stated volume convention. With a comoving mass function it is mass per comoving volume, while proper density is larger by $(1+z{)}^3$. Comparing it to a critical or matter density requires keeping the epoch and volume convention explicit.

A target galaxy with geometric encounter cross section $\pi R^2$ in a population of number density $N$ has encounter rate $\Gamma =\pi R^{2}N⟨v_{\mathrm{rel}}⟩$. A Poisson process gives merger probability $1-e^{-\Gamma T}$, approximated by $\Gamma T$ only for rare encounters. Counts of distinct pairs across the whole population additionally require a factor of one-half.

A major galaxy merger joins galaxies with comparable masses. Rapid changes in the gravitational potential can redistribute stellar orbital energies through violent relaxation, substantially disturbing preexisting galactic disks. The outcome depends on gas content, orbit and subsequent accretion; a major merger does not universally prohibit disk rebuilding.

A gas-rich galaxy merger involves a substantial reservoir of gas capable of radiative cooling. Dissipation and gravitational torques permit gas inflow and enhanced star formation, unlike the nearly collisionless stellar evolution in a dry galaxy merger. A surviving or replenished gas reservoir can subsequently form a galactic disk.

For a bar rotating with constant pattern speed ${\Omega }_b$, use ${\psi }_{\mathrm{eff}}=\psi +{\Omega }_b^2{R}^2/2$ in the force convention $+\nabla \psi$. The centrifugal acceleration is its added gradient. This is the negative of the usual physical effective potential ${\Phi }_{\mathrm{eff}}$; Coriolis acceleration is separate.

In a two-stage normal trial, conditioning on a first-stage sample mean exceeding $c$ raises that mean. With stage standard error $s$, mean parameter $\delta$, and combined mean $S$, the estimator bias after continuation is $E(S\mid X\ge c)-\delta =(s/2)\lambda ((c-\delta )/s)$, where $\lambda$ is the upper-tail Inverse Mills ratio. It is positive and tends to zero as continuation becomes virtually certain.

A functor $F:\mathcal{C}\to \mathbf{Set}$ is finite-limit-preserving if it carries each finite limit cone to a limiting cone. When $\mathcal{C}$ is a small category with finite limits, this is equivalent to $F$ being a filtered colimit in a category of covariant representable functors, and to the opposite of its category of elements being a filtered category. It is also equivalent to every comma category $(S\downarrow F)$ having finite limits, for all sets $S$.

An endofunctor is a functor from a category to itself. A monad adds a unit and multiplication to an endofunctor, satisfying the unit and associativity laws.

A functor discarding some structure, for example an action on a module. It need not be full or faithful in general.

Relative to a specified class of diagram shapes, a functor preserves limits when it takes each existing categorical limit cone of those shapes to a categorical limit cone. The usual completeness and general adjoint functor theorem hypotheses refer to small shapes; a possibly large diagram requires an explicit preservation hypothesis covering its shape.

Relative to a specified class of diagram shapes, a functor preserves colimits when it takes each existing colimit cocone of those shapes to a colimit cocone. A left adjoint preserves all existing colimits, including large ones when their universal properties are meaningful. Small-colimit preservation alone does not imply preservation of a class-indexed colimit.

A decomposition $H={\sum }_Z{h}_Z$ has frustration freeness when a global ground state minimizes every term simultaneously. For finite-dimensional Hermitian terms this implies $E_0(H)={\sum }_Z{E}_0(h_Z)$. Shifting each term by its minimum produces positive operators with a common null vector. The property depends on the decomposition, not only the total operator.

In a nearest-neighbour frustration-free Hamiltonian chain, multiply the bond orthogonal projections in two disjoint alternating layers. The resulting product $K$ fixes the common ground state space but contracts its orthogonal complement by a factor bounded away from one in terms of the spectral gap. A bound $\Vert K{|}_{\mathrm{supp}H}\Vert \le (1+\Delta /2{)}^{-1/3}$ implies exponentially convergent powers. The product is generally neither Hermitian nor normal.

A shallow gravity current is subcritical when its Froude number is less than one: a gravity disturbance can propagate upstream relative to the bed. This definition uses the characteristic speed $\sqrt{g^{\prime }h}$ appropriate to the stated model.

A shallow gravity current is supercritical when its Froude number exceeds one: both gravity-wave characteristic curves move downstream relative to the bed.

If a one-dimensional modular cusp space is stable under the phase-normalized Fricke involution, its scalar action is determined by evaluation at the fixed point. The phase-normalized prefactor is one there; if the form is nonzero at that point, the eigenvalue is $+1$. A product with strictly positive convergent factors on the imaginary axis supplies such a value and also makes the central completed L-function of a cusp form positive when its central Mellin integral has real positive kernel.

For $1\le p<\infty$, these operators are isometries on the phase-space Lp space, with $U_t{U}_s=U_{t+s}$. They form a strongly continuous semigroup for $t\ge 0$ and extend to a group for all real times. Strong continuity follows by smooth compactly supported approximation and measure preservation. They preserve the essential supremum as well, but strong continuity is not claimed on the whole $L^{\infty }$ space.