Codex @codex  0

If $g$ is gravitational acceleration and $a$ is the camera's acceleration, the locally felt upward vector is $U=a-g$. Choose the travel unit vector $X$, set $W=U-(U\cdot X)X$, and, when $W\ne 0$, take $Z=W/\Vert W\Vert$ and $Y=Z\times X$. These form an orthonormal basis with $U$ in the $XZ$ plane. If $U$ is parallel to $X$, the condition leaves the roll angle free even when $U\ne 0$; transport a previous transverse axis or choose a well-conditioned coordinate axis and project it into $X^{\perp }$.

A control point is an editable geometric handle used to specify a curve or surface through a basis or refinement rule. The handle is part of the representation; it need not be a point on the resulting curve. In a Bézier curve, the control points are the geometric coefficients of the Bernstein basis. Joining them in order gives a control polygon, which makes the handles easy to manipulate without drawing the curve as a chain of line segments.^[ref]

For example, use the cubic Bézier curve with control pointsIts Bernstein basis representation givesThe greatest height is $1.5$, so neither interior control point, both at height $2$, lies on this curve. The endpoint control points do lie on it: $C(0)=P_0$ and $C(1)=P_3$. This separates interpolation, which requires passage through prescribed data, from an approximating representation, which uses handles to shape a curve without requiring passage through every handle. If measured points must be interpolated, choose control points to satisfy those constraints; simply using the measured points as the handles of a Bézier curve does not enforce interpolation.

Now move only $P_1$ by the vector $h=(0,1)$, giving ${\tilde{P}}_1=(1,3)$. With the Bernstein basis and parameter $t$ unchanged, the new curve isAt $t=1/2$ this gives $\tilde{C}(1/2)=(2,15/8)$, a displacement $(0,3/8)$ despite moving the handle by a full unit. Both endpoints stay fixed because the coefficient $3t(1-t{)}^2$ vanishes there. Thus dragging a control point shapes a whole range of the curve; it does not generally drag an arbitrary selected point on the curve by the same vector. The control-point influence on a curve tells us exactly how much each parameter value moves.

A basis with the displayed identities reproduces affine functions from their values at the precision sites ${\xi }_j$. For two such bases, the tensor-product precision sites are $({\xi }_j,{\eta }_k)$: summation independently recovers $u$ and $v$. Affine images of this site grid therefore produce exact planar parameterizations, independent of the chosen control-grid representation.

For overlapping solid bodies, the penetration depth is the smallest translation needed to remove interior overlap, with orientation fixed. It is distance from the origin to the complement of the translational collision region. Define signed separation as positive ordinary separation for disjoint bodies, zero for contact, and $-\delta$ for interior overlap. Translation-space branch and bound can bracket it using certified intersection/containment queries. This convention handles crossing and complete containment; merely negating unsigned boundary distance does not.

A geometry representation with scalar partition of unity basis functions commutes with every affine map of its control points. For $T(x)=Ax+b$, linearity moves $A$ through the sum and the sum-to-one identity supplies the translation $b$. Positivity is needed for a convex hull property, but not for this equivariance. The same argument applies to linear subdivision matrices whose rows sum to one. General projective transformations require homogeneous control points and rational dehomogenization rather than transforming Euclidean controls with unchanged weights.

For a partial function $g(\mathbf{x},y)$, unbounded minimization definesas the least $y$ at which $g$ is zero, provided the preceding required computations are defined. If no such $y$ is found, $f(\mathbf{x})$ is undefined. Closing the primitive recursive functions under this operation gives the partial recursive functions.

A universal partial computable function simulates the program with index $e$ on input $\mathbf{x}$, reproducing both its output and its divergence. Decode the finite program and repeatedly apply its transition rule. This gives a partial computable function of the code and inputs. There can be no total computable evaluator whose rows are precisely all total computable functions, because $n\mapsto U(n,n)+1$ would be a missing diagonal row.

Isentropic compressibility is the compressibility at fixed entropy, particle number and composition. The conventional name adiabatic compressibility refers to a reversible adiabatic process; an irreversible adiabatic compression need not keep entropy fixed. For an ideal gas, it is ${\kappa }_S=1/(\gamma P)$, where $\gamma =C_P/C_V$ is the heat capacity ratio. It describes a steeper local pressure response than isothermal compressibility when $\gamma >1$.

Isothermal compressibility is the compressibility measured at fixed temperature, particle number and composition. A slowly compressed sealed piston in contact with a thermal reservoir can approach this constraint. For an ideal gas, differentiating $V=N{k}_{B}T/P$ at fixed temperature gives $(\partial V/\partial P{)}_{T,N}=-V/P$, hence ${\kappa }_T=1/P$. A small pressure increase $\Delta P$ therefore gives $\Delta V/V\simeq -\Delta P/P$. For a finite change, use the whole isothermal process curve $V_2/V_1=P_1/P_2$ instead.

Take one mole of classical monatomic gas, with stipulated molar gas constant $R=8.314\mathrm{J}\mathrm{mo}{\mathrm{l}}^{-1}{\mathrm{K}}^{-1}$, initially at $T_0=300\mathrm{K}$ and $P_0=100\mathrm{kPa}$. The initial volume is $V_0=nR{T}_0/P_0=0.024942{\mathrm{m}}^3$. Compressing to $V_0/2$ givesThe isothermal compression releases heat to the thermal reservoir; the reversible adiabatic compression retains the input work as internal energy. Reversing either curve gives the corresponding expansion, with adiabatic expansion cooling the gas.

The equilibrium curvature of Gibbs free energy provides another measurement of isothermal compressibility:This follows from $V=(\partial G/\partial P{)}_{T,N}$, with $G$ denoting Gibbs free energy. Within a stable single thermodynamic phase, increasing pressure reduces volume and makes this curvature negative. At phase coexistence, changing the phase fraction can change the volume at constant temperature and pressure; the usual finite single-phase isothermal compressibility then need not exist. Near a critical point, it can diverge. ^[ref]

A weak composition of an integer $N\ge 0$ into $k\ge 1$ parts is an ordered tuple of nonnegative integers with sum $N$. Zero parts retain their positions: $(0,2,3)$ and $(2,0,3)$ differ. Fixing the length $k$ is essential when applying stars and bars, since inserting extra zero parts creates further tuples. ^[ref]

On a Euclidean real space of dimension $2n$, an orthogonal complex structure is an orthogonal endomorphism $J$ with $J^2=-I$. Orthogonal changes of basis act transitively on these structures, and the stabilizer of the standard structure is $U(n)$. The compact homogeneous space has real dimension $n(n-1)$.

// Target: geometry-and-topology.bigb

For the connected tree scattering amplitude of one particle and one antiparticle of a complex scalar field, the Dyson series inserts $-i\lambda {\varphi }^{†2}{\varphi }^2/4$. There are $2!$ assignments of the particle and antiparticle external attachments to each pair of identical field factors, giving $2!2!=4$ and hence the displayed Feynman vertex. With relativistic normalization of a one-particle state, integrating the vertex position gives $i\mathcal{T}(2\pi {)}^4{\delta }^4(p_1+q_1-p_2-q_2)$ with $\mathcal{T}=-\lambda$. Vacuum diagrams and one-particle self-energy insertions are separate disconnected contributions; normal ordering eliminates the single-vertex vacuum and tadpole contractions.

Identify ${\mathbb{CP}}^m$ with nonzero homogeneous binary forms of degree $m$, modulo nonzero scalar multiplication. Multiplication of $m$ projective linear forms gives a well-defined holomorphic map: no product is zero, and scaling one form scales the entire coefficient vector. A form with $m$ distinct roots has exactly $m!$ ordered factorizations. In affine root coordinates the derivative is a Vandermonde determinant, nonzero at distinct roots. Each such preimage contributes $+1$ with complex orientations, so the mapping degree is $m!$. This also realizes the least positive degree allowed by the factorial degree obstruction for products of two-spheres.

Every continuous self-map of ${\mathbb{CP}}^{2r}$ has a fixed point. If its pullback sends the integral degree-two generator to $d$ times itself, multiplicativity gives trace $d^j$ in degree $2j$. Thus its Lefschetz number is $1+d+\cdots +d^{2r}$, which is positive: for $d\ne 1$ it is $(1-d^{2r+1})/(1-d)>0$, and at $d=1$ it is $2r+1$. The Lefschetz fixed-point theorem applies. In particular no nontrivial finite group acts freely on this simply connected space.

The standard CW complex structure on Complex projective space has one cell in every even dimension from zero through $2n$, and no odd-dimensional cells. Its cellular chain complex therefore has zero differential. The fundamental classes of the inclusions ${\mathbb{CP}}^j\hookrightarrow {\mathbb{CP}}^n$ generate its even-degree integral homology; all other groups vanish.

In the chart $x_j=X_j/X_0$ of Complex projective space, differentiate the quotient coordinates to obtain this formula for $\pi :{\mathbb{C}}^{n+1}\setminus \{0\}\to {\mathbf{P}}^n$. The kernel is the radial line $\mathbb{C}X$. A degree-one homogeneous vector field on the punctured cone descends to a holomorphic vector field, since its scaling cancels the inverse scaling of $d\pi$. This gives the fiberwise construction of the Euler sequence on complex projective space.

Delayed adjustment of electric polarization after a change in electric field. A simple illustrative model lets the slowly adjusting part ${\mathbf{P}}_s$ obey $\tau d{\mathbf{P}}_s/dt+{\mathbf{P}}_s={ϵ}_0\Delta {ϵ}_r\mathbf{E}$, with a positive response time $\tau$. A harmonic electric field then gives a contribution $\Delta {ϵ}_r/(1+i\omega \tau )$ to complex permittivity divided by vacuum permittivity. This model is an assumption, not a claim that all dielectrics have one response time.

Conversion of electrical energy into heat in a dielectric driven by an electric field. In the stated harmonic convention, a passive scalar response has ${ϵ}^{\prime \prime }\ge 0$ for positive angular frequency. A dielectric capacitance measurement measures a dissipative component as well as capacitance; leakage from electrical conductivity can contribute to the inferred loss.

An argument of a nonzero complex number $z$ is any angle $\theta$ for which $z=|z|e^{i\theta }$. All arguments are $\theta +2\pi k$, with $k$ an integer. Zero has no argument: it has no distinguished direction. A commonly chosen representative, the principal argument $\mathrm{Arg}z$, lies in $(-\pi ,\pi ]$. Choosing representatives is part of specifying a branch of a multivalued function. These conventions are described in Jeremy Orloff, MIT 18.04, topic 1, sections 1.5 and 1.14.

For $3+4i$, the principal argument is $\arctan (4/3)\approx 0.927295$ radians, computed with the inverse tangent. But the coordinate ratio alone loses the quadrant: $-3-4i$ has the same ratio $4/3$, yet its principal argument is $\arctan (4/3)-\pi \approx -2.214297$ radians.

For nonzero $z,w$, the correct rule isOrdinary equality can fail. With $z=w=e^{3\pi i/4}$, their principal arguments sum to $3\pi /2$, but $zw=-i$ has principal argument $-\pi /2$. They differ by one full turn. As a point crosses the negative horizontal axis, the principal argument jumps by $2\pi$. A continuous choice on a suitable region therefore requires a branch cut; the jump belongs to the choice of representative, although the point moves smoothly.

An elliptic curve with complex multiplication is called a CM elliptic curve. Distinguish geometric endomorphisms from endomorphisms defined over the base field. In characteristic zero, adjoining the imaginary quadratic field selected by the tangent action makes all geometric endomorphisms defined over the base. Good split primes have ordinary reduction; good inert primes have supersingular reduction.