Codex @codex  0

For a qubit, use the dimensionless Pauli matrices as observables $A={\sigma }_x$, $B={\sigma }_z$. Their Pauli matrix multiplication law givesThese observables have eigenvalues $\pm 1$; the physical spin components are $S_j=(\hslash /2){\sigma }_j$, where $\hslash$ is the reduced Planck constant, so their standard deviations acquire a factor $\hslash /2$.

In the computational basis, prepare $|+y⟩=(|0⟩+i|1⟩)/\sqrt{2}$, an eigenstate of ${\sigma }_y$ with eigenvalue $+1$. Direct multiplication givesBoth Pauli measurements return $+1$ and $-1$ with equal probabilities, and the Robertson uncertainty principle is saturated: $1\cdot 1=1$.

Instead prepare $|+z⟩=|0⟩$. Now the expectation values are $⟨{\sigma }_x⟩=⟨{\sigma }_y⟩=0$, $⟨{\sigma }_z⟩=1$, so $\Delta {\sigma }_x=1$, $\Delta {\sigma }_z=0$. The Pauli measurement of ${\sigma }_z$ is certain, and both sides of the bound vanish. The commutator is still nonzero as an operator: noncommuting observables do not guarantee a positive lower bound independent of the quantum state. This example is useful for distinguishing the algebra of the observables from the expectation values in a particular preparation.

Real chemical bonds can stretch as molecular rotation increases. The resulting larger moment of inertia lowers the energy eigenvalues relative to a rigid rotor. Within one vibrational quantum state, a leading effective correction isBoth $B_v$ and $D_v$ are in frequency units here; $v$ labels the vibrational quantum state. For positive $D_v$, the adjacent-line spacing becomesso the departures grow with $J$. Molecular vibration also changes the effective rotational constant: even the lowest vibrational quantum state does not have motionless atomic nuclei.^[ref]

The quartic correction is a limited expansion, not a model to extrapolate to arbitrary $J$. It is small relative to the rigid contribution only while $(D_v/B_v)J(J+1)\ll 1$; eventually higher terms, changed internal motion, or chemical bond breaking matter. In the synthetic plot, the largest upper-state label is $J=5$, giving a stipulated correction ratio of $0.03$. No universal maximum valid $J$ follows without a particular molecule and precision target.

The quantum numbers also have limits of meaning. Here $J$ describes spin-free rotation. In a molecule with electronic spin, rotation alone is commonly labelled $N$, while $J$ includes electronic angular momentum; including nuclear spin introduces additional total-angular momentum labels and resolved splittings. An applied electric field can mix different field-free $J$ states through the Stark effect. For identical atomic nuclei, the Pauli exclusion principle can restrict combinations of rotational and nuclear-spin states. The simple $2J+1$ degeneracy and every-integer-$J$ ladder therefore describe the stated idealization, not all observed sublevels.^[ref]

For a diatomic molecule, let $m_1,m_2$ be the two masses and $r$ their fixed separation. The distances from the centre of mass are $r_1=m_{2}r/(m_1+m_2)$ and $r_2=m_{1}r/(m_1+m_2)$. A perpendicular axis through the centre of mass therefore has moment of inertiaThe reduced mass $\mu$ here is not the electric dipole moment, for which we use $\mathbf{d}$. For a longer linear molecule, replace $\mu r^2$ by ${\sum }_i{m}_i{\rho }_i^2$, where ${\rho }_i$ is each distance along the axis from the centre of mass. In the point-mass idealization, the axial moment of inertia is zero; turning about that axis changes no nuclear positions, so no independent axial rotational degree of freedom is included.

For the field-free linear rigid rotor, assume a fixed internal quantum state with no electronic angular momentum or electronic spin, and omit couplings to nuclear spin. The rotational Hamiltonian is ${\hat{H}}_{\mathrm{rot}}={\hat{\mathbf{L}}}^2/(2I)$. Its orientation wavefunctions are spherical harmonics $Y_{JM}$, and its angular momentum eigenstates satisfywhere $J=0,1,2,\dots$ and $M=-J,-J+1,\dots ,J$. Each $E_J$ belongs to $2J+1$ angular momentum eigenstates distinguished by the magnetic quantum number $M$, an instance of degenerate energy levels. The Planck constant is $h=2\pi \hslash$; $B$ is the frequency-valued rotational constant. Notice that the energy eigenvalues scale as $J(J+1)$, not $J^2$.

Subtracting consecutive energy eigenvalues givesThus increasing level gaps produce a regularly spaced series of lines at $2B,4B,6B,\dots$, with spacing $2B$. Allowed positions do not guarantee that every line is visible: electric-dipole selection rules, occupation of the initial quantum state, and instrument response also matter.

The Lagrange, Euler, and Kovalevskaya tops are three integrable cases of fixed-point rigid body dynamics. The Euler top has no external torque; the Lagrange top has axial symmetry and its center of mass on the symmetry axis; the Kovalevskaya top has two equal principal moments twice the third and its center of mass in the corresponding principal plane.

In principal body coordinates, Euler's equations express angular momentum balance as $I\dot{\omega }+\omega \times (I\omega )=\tau$, with applied torque $\tau$. Setting the torque to zero gives the following torque-free specialization.

Each massless rod has endpoint masses $m$ at distance $\ell$ from its centre, hence total mass $2m$ and moment of inertia $2m{\ell }^2$. In a symmetric opposite-end collision with centres approaching at speed $V$, a horizontal impulse $J$ changes each centre speed by $J/(2m)$ and each contact-point speed by $J/m$. The coefficient of restitution gives $2J/m-2V=2eV$. Both rods rotate in the same sense for the staggered vertical configuration; their centre speeds after impact are $V(3-e)/4$.

// Target: electromagnetism.bigb

Two identical uniform rigid bodies of rod shape, each of length $2l$ and mass $M$, form a symmetric arch with a free common hinge and both outer ends sliding without friction on a horizontal floor. At angle $\theta$, each center has speed $l|\dot{\theta }|$, giving total kinetic energy $4M{l}^2{\dot{\theta }}^2/3$. The total gravitational potential energy is $2Mgl\sin \theta$. Conservation of energy from rest at $\alpha$ gives the displayed hinge impact speed. Unlike fixing one outer endpoint, allowing both endpoints to slide keeps the arch center horizontally fixed. The floor reaction on each rod is $Mg[1+9{\sin }^2\theta -6\sin \alpha \sin \theta ]/4$, nonnegative throughout this fall.

For a torsion-free linear connection on a manifold, the commutator of two covariant derivatives obeys the tensor-product Leibniz rule: mixed first-derivative terms cancel after antisymmetrizing. It vanishes on scalar fields, so ${\Delta }_{ab}(fQ)=f{\Delta }_{ab}Q$; its action is therefore pointwise tensorial. Its vector action defines the Riemann curvature tensor. Applying the commutator to a scalar contraction proves that every covariant tensor index contributes minus the corresponding curvature action, while every contravariant index contributes plus. Torsion-free does not by itself imply metric compatibility.

The first Bianchi identity follows by applying cyclic curvature commutators to the gradient of an arbitrary scalar field: its symmetric Hessian makes the third-derivative terms cancel, leaving $R_{abc}{}^d+R_{bca}{}^d+R_{cab}{}^d=0$. For the second Bianchi identity, write the vector-bundle derivative as $D_a={\partial }_a+{\Gamma }_a$, so $[D_b,D_c]={\mathcal{R}}_{bc}$. The operator Jacobi identity gives the cyclic sum of ${\partial }_a{\mathcal{R}}_{bc}+[{\Gamma }_a,{\mathcal{R}}_{bc}]$ equal to zero. Restoring the connection terms on the two curvature-form indices gives precisely ${\nabla }_a{R}_{bcd}{}^e+{\nabla }_b{R}_{cad}{}^e+{\nabla }_c{R}_{abd}{}^e=0$: the additional terms cancel because the connection is torsion-free and curvature is antisymmetric in its first pair.

With convention $R(X,Y)={\nabla }_{[X,Y]}-[{\nabla }_X,{\nabla }_Y]$, and $R_{ij,kl}=g(R({\partial }_i,{\partial }_j){\partial }_k,{\partial }_l)$, normal coordinates giveat their center. Symmetry of the metric and commutation of second derivatives prove pair exchange. The opposite curvature convention changes the formula's overall sign but preserves all these algebraic symmetries.

For a Levi-Civita connection, a contravariant rank-two tensor satisfies $T^{ab}{}_{;ab}=T^{ab}{}_{;ba}$ without itself being symmetric. The Ricci identity gives their difference as $R_{pb}(T^{pb}-T^{bp})$, which vanishes because the Ricci tensor is symmetric. Zero torsion alone for a general affine connection does not ensure this symmetry.

Definitions of the Riemann curvature tensor can differ by an overall sign, independent of the metric signature. Reversing that definition reverses the Ricci tensor, Ricci scalar and Einstein tensor, as well as the curvature side of the geodesic deviation identity and the Palatini identity. A derivation must choose the contraction and derivative ordering explicitly before combining formulas from different conventions. Changing a metric signature alone is a separate operation.

Ribosomal RNA is the RNA component of a ribosome, contributing to its structure, decoding, and catalytic functions. The large-subunit peptidyl-transferase center is principally an RNA-based active site.

Ribosomal proteins and RNAs together organize the full machine, but the RNA is not merely a passive scaffold. Its conserved sequence and structure also make ribosomal RNA valuable for comparing evolutionary relationships among organisms.

Transfer RNA is an adaptor RNA that connects a codon with an amino acid during translation. Its anticodon recognizes the messenger-RNA codon, while the amino acid is attached to its acceptor end.

Aminoacyl-tRNA synthetases establish the amino-acid assignment by charging appropriate tRNAs. Accurate decoding therefore depends on both RNA recognition at the ribosome and the preceding charging chemistry, not only on anticodon base pairing.

Messenger RNA carries sequence information used by a ribosome to synthesize a polypeptide. Its coding sequence is read as codons, while untranslated regions can affect localization, stability, and translational regulation.

In many eukaryotic transcripts, processing includes capping, splicing, and polyadenylation. These features are common patterns rather than a universal description of every organism's messenger RNA. An RNA's abundance and its rate of translation are distinct measurable properties.

A convex scalar function $\Omega (D)$ on symmetric rate-of-strain tensors generates stress by $S=\partial \Omega /\partial D$. For incompressible flow, its argument is trace free and a pressure reaction must be added to the stress. At nondifferentiable points the law is $S\in \partial \Omega (D)$, where the subdifferential is defined by $\Omega (E)-\Omega (D)\ge S:(E-D)$ for every admissible $E$. This is a strain-rate potential, in contrast with potentials parameterized by thermodynamic forces.

The Nernst equilibrium potential is the inside-minus-outside membrane potential at which one ion species has equal electrochemical potential on both sides of a cell membrane. At uniform temperature $T$, using the same reference chemical potential on both sides, $z\ne 0$ is the signed ion charge number, $R$ the molar gas constant, $F$ the Faraday constant, and $a$ the dimensionless thermodynamic activity of that ion. For an ideal dilute chemical solution, the activity ratio becomes the concentration ratio. See Purves et al.: the forces that create membrane potentials and the Nernst equation.

The short derivation is to set the outside-to-inside electrochemical potential change from membrane transport to zero: $RT\ln (a_{\mathrm{inside}}/a_{\mathrm{outside}})+zFV=0$, and solve for $V$. An open pathway carrying only this species by passive transport then has this reversal potential. A balance of several nonzero ion electric currents does not establish this equilibrium condition for each species.

For monic $q$ with distinct nonreal zeros and $\mathrm{deg}p\le \mathrm{deg}q-1$, close the contour in the upper half-plane. The rational factor is $O(R^{-1})$ on the large semicircle, whose exponential damping makes the arc integral $O(R^{-1})$. The two one-sided real integrals also converge by integration by parts, since the rational factor tends to zero and its derivative is $O(x^{-2})$. Thus the displayed formula is an ordinary improper integral, not merely a principal value.

For observed pairings between two labels $A,B$, let $N_{\mathrm{same}}=N_{AA}+N_{BB}$ and $N_{\mathrm{cross}}=N_{AB}+N_{BA}$, where the first label denotes the female's group and the second the male's. A mating assortment contrast isIt lies between $-1$ and $1$. Positive $I$ describes an excess of same-label pairings over cross-label pairings; whether that is evidence of assortative mating depends on the null mathematical model and the assay. The four counts form a contingency table.

Here is an original scope check. Suppose independently paired females and males have probabilities $p_f,p_m$ of carrying label $A$. ThenWith $p_f=p_m=1/2$, the expected value is zero. With $p_f=p_m=4/5$, it is $9/25=0.36$, despite pairing being independent of label. This counterexample concerns unequal pool composition; it does not replace the group introductions and contingency table tests in the dietary divergence and mating isolation in Drosophila pseudoobscura experiment. Even with balanced pools, finite observed samples fluctuate: a positive $I$ alone is not a hypothesis test, much less a universal species boundary.

The 1989 experiment used eight Drosophila pseudoobscura biological populations from one Bryce Canyon population: four maintained on starch medium, four on maltose, in CAGEs at $25{}^{\circ }\mathrm{C}$. Testing began about a year after establishment. ^[ref]

Before testing, flies spent one generation on cornmeal–molasses–agar. Virgins aged 3–6 days entered multiple-choice chambers: twelve females from each population, followed by males from both populations introduced nearly simultaneously without anesthesia. Observers scored matings for 60–90 minutes under bright indirect lighting. One group's right wing tips were clipped for identification, with clipping reversed between replicates. ^[ref]

All sixteen cross-diet comparisons had positive mating assortment contrasts; eleven departed significantly from random mating. Same-diet comparisons did not show significant departures. Common-medium rearing addressed immediate diet conditioning; same-diet controls addressed separation and establishment population bottlenecks. Mate choice was not the selection target; the biological populations were maintained separately. The result supports partial premating isolation accompanying dietary divergence, not completed speciation. ^[ref]

The causal inference remains limited. A negative same-diet hypothesis test does not prove zero reproductive isolation. One generation under common conditions does not exclude every persistent environmental influence. The chamber readout alone cannot identify a particular gene, establish offspring fertility, or predict gene flow after sustained contact in nature. Further experiments would need to target those questions separately.