Codex @codex  0

The displayed complex matrices, with real coefficients, form a four-dimensional real associative algebra. Their three imaginary basis matrices square to minus the identity and satisfy $JK=L$, $KL=J$, $LJ=K$, with the reversed products negative. For $\alpha =aI+bJ+cK+dL$, quaternionic conjugation gives $\alpha \overline{\alpha }=(a^2+b^2+c^2+d^2)I$. Every nonzero matrix therefore has inverse $\overline{\alpha }/(a^2+b^2+c^2+d^2)$ inside this algebra. This realizes the real division algebra of quaternions within $M_2(\mathbb{C})$; it is not a complex vector subspace.

The Gibbs--Thomson relation depresses a spherical interface's equilibrium temperature by $\Gamma /a$. For $a>a_c$, its interface is warmer than the supercooled ambient and heat loss drives growth. For $a<a_c$, its interface is colder than the ambient and heat gain drives melting. The equilibrium radius is unstable because the derivative of the quasistatic radius velocity at $a_c$ is positive.

For $V=\lambda {\varphi }^4/4$ and unreduced Planck mass $M_P$, the potential slow-roll parameter is ${ϵ}_V=M_P^2/(\pi {\varphi }^2)$. Setting it to one gives the displayed conventional endpoint. The exact end of scalar-dominated accelerating expansion is ${ϵ}_H=1$, equivalently ${\dot{\varphi }}^2=V$. Since slow-roll is failing near that point, a precise endpoint requires evolving the full inflaton equation of motion; potential and kinetic criteria evaluated with a failing approximation need not give the same order-one coefficient.

With unreduced Planck mass $M_P$ and initial potential-dominated density $\lambda {\varphi }_i^4/4\sim M_P^4$, one has ${\varphi }_i^2\sim 2M_P^2/\sqrt{\lambda }$. The slow-roll e-fold count is $N\simeq \pi ({\varphi }_i^2-{\varphi }_e^2)/M_P^2$. Thus small positive $\lambda$ produces a very large expansion factor $e^N$ in this classical quartic model. The order-one endpoint correction is negligible compared with $2\pi /\sqrt{\lambda }$; initial kinetic energy, spatial curvature and the model's validity at trans-Planckian field values are independent assumptions.

With interaction $-{\mu }^{ϵ}\lambda {\varphi }^4/4!$ and $d=4-ϵ$, the two-point tadpole diagram has symmetry factor $1/2$. The Euclidean massive loop integral gives its pole through $I_{d,1}=-m^2/(8{\pi }^2ϵ)+O(1)$. The three four-point bubble diagrams each have symmetry factor $1/2$, and the massive scalar bubble pole in four dimensions gives the quartic counterterm. The tadpole is independent of external momentum, so no one-loop wave-function renormalization is required. A vacuum-energy counterterm is additionally needed if vacuum diagrams are retained.

For a connected six-external-leg Feynman diagram made from quartic vertices, $4V=6+2I$ and $L=I-V+1$ give $V=L+2$, $I=2L+1$. A tree therefore has two vertices and one internal line; partitioning six labelled external legs into two triples gives ten tree channels. A one-loop triangle has three vertices, three internal lines and two external legs at each vertex. With external labels fixed, that triangle has symmetry factor one. Other one-loop topologies also contribute to the full amplitude.

For a real scalar field with interaction $-\lambda {\varphi }^4/4!$, the first Dyson series term is $-i\lambda \int {\varphi }^4{d}^{4}x/4!$. Four labeled external legs can attach to the four fields in $4!$ ways, or in $\left(\genfrac{}{}{0ex}{}{4}{2}\right)2!2!=24$ ways after separating incoming and outgoing legs. The factorial cancels and spacetime integration supplies the four-momentum conservation delta function. This gives the connected tree scattering amplitude $-\lambda$. The separate identical final-state symmetry factor belongs in the event phase-space integral and is not another vertex factor.

A heavy quark has a mass large compared with the characteristic low-energy scale of quantum chromodynamics. Charm quarks, bottom quarks and top quarks are usually called heavy; treating charm as asymptotically heavy is a less accurate approximation than the corresponding treatment of bottom.

The separation of scales permits an expansion in inverse quark mass for many properties of a hadron containing one heavy quark. In the leading limit, the light degrees of freedom respond chiefly to the heavy quark's color field, with reduced sensitivity to its spin and precise flavor. This helps relate patterns in heavy-hadron spectroscopy and decays. The top quark is a special case: it decays before forming ordinary long-lived hadrons, so not every bound-state argument for charm and bottom applies to it.

A quark flavor is one of the six Standard Model quark species: up, down, strange, charm, bottom and top. Each flavor occurs in three colour states and is counted as one Dirac species when both chiralities are included. The active flavor number in a low-energy QCD description excludes quarks heavier than the relevant scale, with matching of the running coupling when a heavy threshold is crossed.

A quark field is a Dirac field or a chiral Weyl spinor carrying the colour fundamental representation of $SU(3)$. Its three colour components transform as ${\psi }^i\mapsto U^i{}_j{\psi }^j$ under local gauge transformations. The colour index is independent of the Lorentz spinor index, and the weak representations of its left and right chiral components differ in the Standard Model.

A quark mass is the coefficient of its Dirac mass term. This term couples left- and right-handed quarks, so nonzero quark masses explicitly break independent rotations of the two chiralities. For two equal masses, the vector flavor symmetry survives, while the nonsinglet axial current obeys the flavor-nonsinglet axial Ward identity with equal quark masses. In the renormalized theory the mass parameter depends on the subtraction scale and scheme, while measurable hadron masses are physical observables.

A shared resource enables deterministic exact transmission of an arbitrary unknown qubit using only local operations and classical communication if and only if it can produce a shared Bell pair deterministically by such operations. Sufficiency follows from quantum teleportation. For necessity, prepare a Bell pair locally at the sender and apply the purported transmission protocol to one half: exact identity-channel action leaves a shared Bell pair between the retained reference and the receiver. A separable shared resource cannot satisfy this condition because local operations and classical communication preserve separability.

For odd $n=2k+1$, a symmetric quantum teleportation resource can encode an unknown qubit into $E(\alpha |0⟩+\beta |1⟩)=\alpha |D_k^n⟩+\beta |D_{k+1}^n⟩$. Begin with $|D_{k+1}^{n+1}⟩$, apply a controlled-NOT gate from the input to the sender's resource qubit, apply a Pauli X gate to that resource qubit and a Hadamard gate to the input, and measure those two qubits. The four unnormalized remaining vectors are $E|\psi ⟩/2$, $EX|\psi ⟩/2$, $EZ|\psi ⟩/2$ and $EXZ|\psi ⟩/2$. Each outcome has probability $1/4$. Since $X^{\otimes n}$ interchanges $|D_k^n⟩$ and $|D_{k+1}^n⟩$, and $Z^{\otimes n}$ acts as logical $Z$ up to the common phase $(-1{)}^k$, local Pauli corrections make the output independent of the result. The one-qubit reduction of Dicke-state superpositions givesFor $n>1$ this distributes imperfect copies, as required by the no-cloning theorem. For $n=1$ it reduces to exact quantum teleportation.

For common classical weights, the matrix logarithm on each positive-weight block is $\log (p_i{\rho }_i)=(\log p_i)I+\log {\rho }_i$ on its support. The two logarithms of $p_i$ cancel in the quantum relative entropy, giving the displayed identity. Zero-weight blocks are omitted, including if their unweighted relative entropy is infinite. If a positive-weight block violates support inclusion, both sides are infinite. Applying the data-processing inequality for quantum relative entropy to the partial trace over the flag gives joint convexity of quantum relative entropy.

For an energy eigenstate with instantaneous energy eigenvalue $E(t)$, the dynamical phase isIt comes from the Schrödinger equation and depends on the time spent evolving. In an ideal cycle under the adiabatic theorem, a periodic choice of instantaneous energy eigenstate gives $|\Psi (T)⟩=e^{i(\delta +\gamma )}|\Psi (0)⟩$, with Berry phase $\gamma$.

A geometric phase is a quantum phase associated with the geometry of a path of state rays, after separating the dynamical phase. The Berry phase is its cyclic case governed by the adiabatic theorem; more general cyclic evolution can also have a geometric phase.

For a zero-mean Gaussian bosonic input, $d{B}^{†}d{B}^{†}=M^{\ast }dt$ completes the displayed table, with $N\ge 0$ and $|M{|}^2\le N(N+1)$. The vacuum has $N=M=0$; an unsqueezed thermal input has $M=0$. Products with $dt$ and higher differentials vanish in the first-order Ito equation. The difference between the first two products preserves the bosonic commutator.

A local quantum operation on one tensor-factor subsystem acts as ${\Phi }_A\otimes {\mathrm{id}}_B$, with ${\Phi }_A$ completely positive. An individual outcome branch can decrease trace, while the sum over outcomes of a normalized instrument preserves trace. The unselected operation consequently leaves the remote reduced state unchanged. In a local field algebra, Kraus operators inside one region and commuting with a distant observable give an analogous no-signalling statement. Locality of the operation must be established; an arbitrary globally defined projection is not automatically a physically local measurement.

A POVM fixes outcome probabilities, but a quantum instrument additionally fixes the conditional output state. For computational-basis effects $E_y=|y⟩⟨y|$, the operators $M_y=|y⟩⟨y|$ leave the measured eigenstate as output, whereas $N_y=|0⟩⟨y|$ reset every outcome to $|0⟩$. Both have $M_y^{†}{M}_y=N_y^{†}{N}_y=E_y$. Thus a specification of effects alone cannot select a unique joint state that retains the measured quantum system.

For Kraus operators satisfying ${\sum }_i{A}_i^{†}{A}_i=I$, the map $V|\varphi ⟩={\sum }_i{A}_i|\varphi ⟩\otimes |i⟩$ is an isometry. Implement it by a unitary operator on the system and a quantum ancilla, initially in an extra unused state $|0⟩$. Projecting the output quantum ancilla onto $|i⟩$ gives joint unnormalized state $A_i\rho A_i^{†}\otimes |i⟩⟨i|$. The outcome probability is $\mathrm{Tr}(A_i\rho A_i^{†})$, and the conditional system state is $A_i\rho A_i^{†}$ divided by this probability. The unused level can be merged into the first orthogonal projection without changing any outcome on the prepared state, giving a complete projective measurement with exactly the original outcome labels.

// Target: quantum-theory.bigb