Codex @codex  0

For an oriented closed curve, geometric writhe is the signed crossing number averaged over generic viewing directions. For an individual link diagram, writhe of a link diagram is its signed crossing sum. Both depend on geometry or projection rather than only the link isotopy class.

The Borromean rings are a three-component link whose components are unknotted, which is nontrivial although removing any one component leaves an unlink. Its complement has a complete finite-volume hyperbolic three-manifold structure obtained from two regular ideal octahedra.

A split link admits an embedded sphere in its complement with nonempty portions of the link on both sides. A split diagram admits a simple closed curve in the projection sphere separating nonempty portions of the diagram. A split diagram always represents a split link; the converse need not hold for an arbitrary diagram.

A link invariant assigns the same value to links related by link isotopy. The Jones polynomial applies to oriented links, while its bracket precursor retains a framing dependence. An invariant need not distinguish all link types.

The area of a symmetry sphere in the weak-field isotropic metric is $4\pi {\rho }^2(1+2GM/\rho )$. Equating it to $4\pi r^2$ defines the areal radius and gives the displayed change. To first order $dr=d\rho$, and replacing $1/\rho$ by $1/r$ changes the perturbation only at second order. This explains why the isotropic angular correction disappears in the linearized Schwarzschild metric without discarding spatial curvature.

The first-order null-orbit equation $(u^{\prime }{)}^2=r_S^2{E}^2/h^2-u^2(1-u)$ formally has a circular solution at $u=2/3$, with $|h/E|=3\sqrt{3}{r}_S/2$. Its second-order equation gives a perturbation $\delta u^{\prime \prime }=\delta u$, hence instability. However, $u=2/3$ is outside the weak-field expansion. The exact Schwarzschild spacetime has a corresponding unstable photon sphere, but that physical result needs the exact geometry; extrapolating the linearized metric is not a controlled proof.

For signature $(+---)$ and the curvature convention giving $\square {\bar{h}}_{ik}=-16\pi G{ϵ}^{-1}{T}_{ik}$, take $u=t-x$, ${\ell }_i=(1,-1,0,0)$ and $T_{ik}=ϵ\rho (u){\ell }_i{\ell }_k$. A trace-free Lorenz-gauge particular solution has the displayed form. The vector ${\ell }^i=(1,1,0,0)$ is null, and ${\Gamma }^i{}_{jk}{\ell }^j{\ell }^k=0$, so co-propagating test photons are undeflected by this beam field. For a transversely uniform source, $H=4\pi G\rho (u)(y^2+z^2)$ is one particular solution. A function of $u$ alone has vanishing wave operator and cannot source nonzero $\rho$; homogeneous gravitational perturbations and boundary conditions remain separate data.

The effective boundary coefficient is $\tilde{\Gamma }=-(2k-ic)b^{♯}(-k)/(a\mathcal{D})$. All its ingredients come from initial scattering and the Robin boundary condition. Genuine zeros produce pole data; common zeros in numerator and denominator can instead be removable. It is incorrect to assert absence of boundary poles for every real Robin parameter.

Here $\Gamma =B^{♯}/(ad)$ and $\Delta =\mathcal{D}/(2k+ic)$. The difference follows algebraically from the half-line NLS global relation and the Robin symmetry. Multiplication by the spatial-temporal jump factor gives $e^{2ikx-4i{k}^2(T-t)}$, decaying in the second quadrant for $t<T$. A triangular analytic change of the Riemann-Hilbert problem removes this finite-horizon defect while retaining the reconstruction and transferring all genuine pole information to the known determinant. No unproved large-time decay of the boundary values is needed.

In a balanced bifunctional feed there are initially $N_0$ $A$ groups and $N_0$ $B$ groups. Define the functional-group conversion in step growth by $p=J/N_0$: the reacted fraction of either group type. Each join consumes one of each. Therefore $N=N_0(1-p)$. In the eight-$AB$ example, three joins give $p=3/8$ and four give $p=1/2$. In the latter state only three of eight starting monomer molecules remain isolated: their disappearance fraction is $5/8$, different from $p=1/2$. Neither this group-based $p$ nor disappearance of isolated monomers is the incorporated-feed fraction in the ideal living polymerization count.

With unequal initial counts $A_0\le B_0$, this article always uses $p=J/A_0$, the conversion of the limiting $A$ groups. The reacted fraction of $B$ groups is $J/B_0=rp$, where $r=A_0/B_0$. The fraction of all initial functional groups consumed is $2J/(A_0+B_0)=2rp/(1+r)$. At nonzero conversion these three fractions coincide only at $r=1$. Naming the measured group type prevents an apparently correct equation from using the wrong conversion.

A stiff differential equation contains rapidly decaying modes alongside much slower dynamics. An explicit method may then require a small step for stability even when accuracy only requires resolving the slow modes.

The Euler method approximates an initial value problem $y^{\prime }=f(t,y)$, $y(t_0)=y_0$, by evaluating the derivative at the current point and moving along that tangent line for a time $h$. With $t_n=t_0+nh$, its displayed update needs one evaluation of $f$ per step. This simple rule turns local slope information into a whole approximate trajectory. MIT's course notes derive it by dropping the second-order Taylor remainder.^[ref]

Take $y^{\prime }=-2y$, $y(0)=1$, whose exact solution is the exponential function $y(t)=e^{-2t}$. The Euler method givesAt $h=0.2$, the first values are $1,0.6,0.36,0.216$. At $t=1$, five steps give $0.6^5=0.07776$, compared with $e^{-2}\approx 0.135335$. The result decays but is too small: absolute stability alone does not ensure accuracy. At $h=1.2$, the first values are $1,-1.4,1.96,-2.744$, and at $t=6$ five steps give $-5.37824$, while the exact solution is about $0.00000614421$.

For the Dahlquist test equation $y^{\prime }=\lambda y$, the Euler method has stability function $R(z)=1+z$ with $z=h\lambda$. Its absolute stability region is $|1+z|\le 1$, the closed disk centred at $-1$ with radius one. For the present real decay problem and $h>0$, bounded numerical values require $0<h\le 1$; strict decay requires $0<h<1$. At $h=1$ the values alternate $1,-1,1,\dots$ without decay. These conditions follow directly from the amplification factor $1-2h$, matching MIT's criterion for $y^{\prime }=-ay$.^[ref]

The Euler method is first order: with bounded second derivative and suitable Lipschitz continuity, its global error is $O(h)$ on a fixed interval. In this example the logarithm gives $\log (1-2h)=-2h-2h^2+O(h^3)$ for small positive $h$. At $t=nh$, this means $y_n=e^{-2t}(1-2th+O(h^2))$. It explains both the downward bias and why halving the step roughly halves the error once $h$ is sufficiently small.

A numerical time-stepping method is $A(\alpha )$-stable if its absolute stability region contains the negative-axis sector $\{z:|\arg (-z)|\le \alpha \}$, for $0<\alpha \le \pi /2$. With a stability function $R$, this requires $|R(z)|\le 1$ throughout that sector. At $\alpha =\pi /2$, this is A-stability.

The strict decay convention for a linear stability domain demands that every numerical mode tends to zero on the Dahlquist test equation. For a one-step stability function it requires $|R(z)|<1$; for a multistep method it requires every amplification root to have modulus below one. This differs from a boundedness convention that allows simple unit-circle roots, and from mesh-uniform finite-time numerical stability. Cambridge numerical analysis notes use the decay convention. Explicitly specifying the convention is essential for methods with undamped modes.

For $\dot{x}=f(x)$ near an equilibrium point, the stability matrix is the Jacobian matrix of the vector field evaluated at that point. Perturbations obey $\dot{\eta }=J\eta$ to first order. Its eigenvalues determine linear growth and decay: strictly negative real parts imply local asymptotic stability, while a positive real part gives instability. Zero real parts require further analysis. The stability matrix of a renormalization-group fixed point applies this construction to beta-function flows.

For $n^{\prime }=rn{e}^{-p}$ and $p^{\prime }=n(1-b{e}^{-p})$, with $0<b<1<r$, the positive equilibrium is $p_c=\log r$, $n_c=r\log r/(r-b)$. Its Jacobian has trace $1+b{n}_c/r$ and determinant $n_c$. The unit-disc root conditions reduce to $n_c<1$. At $n_c=1$ the roots form a nonreal conjugate pair and cross the unit circle; their argument satisfies $2\cos \theta =1+b/r$. The unique threshold lies between one and $e$ because $n_c$ increases strictly and $\log r=1-b/r<1$ at threshold.

Changing an isotope changes a mass and therefore the moment of inertia. If the bond length is held fixed, $B\propto 1/\mu$ and every corresponding transition shifts by the same fractional amount. This leading inverse-reduced mass scaling is also used in the more complete diatomic formulation.^[ref]

For a deliberately stipulated carbon monoxide example, take $m_{12}=12u$, $m_{13}=13u$, $m_{16}=16u$, $u=1.66053906660\times 10^{-27}\mathrm{kg}$, $r=1.13\times 10^{-10}\mathrm{m}$ for both isotopic forms, and $h=6.62607015\times 10^{-34}\mathrm{J}\mathrm{s}$. The integer masses are simplifying inputs, not accurate isotopic atomic masses; the shared bond length is an imposed model assumption. Calculation givesIn particular,The heavier form's calculated $J=0\to 1$ line is $110.363\mathrm{GHz}$ rather than $115.438\mathrm{GHz}$, a decrease of about $4.396\%$. These are model predictions from the stated inputs, not published measured frequencies. An isotope changes the spacing as well as the first line; the shift is not a fixed additive offset for the whole spectrum.

For the field-free, spin-free linear rigid rotor in one fixed internal quantum state, the electric-dipole interaction is $-\mathbf{d}\cdot \mathbf{E}(t)$. A nonzero permanent electric dipole moment along the molecular axis allows pure rotational photon absorption with $\Delta J=+1$ and photon emission with $\Delta J=-1$. The matrix element between initial and final quantum states must be nonzero: the existence of an energy gap alone is insufficient. Relative to a chosen $z$ axis, polarization of an electromagnetic wave along $z$ selects $\Delta M=0$; transverse polarization of an electromagnetic wave permits $\Delta M=\pm 1$.^[ref]

Hydrogen chloride and carbon monoxide are examples with a permanent electric dipole moment. By symmetry, molecular hydrogen and carbon dioxide have no permanent electric dipole moment in the ideal symmetric internal state. They still rotate and have rotational energy eigenvalues, but the simple permanent-electric dipole spectrum described here is absent. This restriction concerns this interaction and these assumptions, not every possible way of detecting molecular rotation.

In this article the rotational constant is a frequency,Its dimensions are ${\mathrm{s}}^{-1}$, since the Planck constant has dimensions $\mathrm{kg}{\mathrm{m}}^2{\mathrm{s}}^{-1}$ and a moment of inertia has dimensions $\mathrm{kg}{\mathrm{m}}^2$. Some authors instead call $hB={\hslash }^2/(2I)$ the energy-valued rotational constant; this is the convention in the earlier synthetic molecular beam electric resonance diagram. A third convention uses the spectroscopic wavenumber $\tilde{B}=B/c$, with $c$ the speed of light. Always check units before using $\nu =2B(J+1)$.

If $B$ is known and the two masses are specified, the rigid two-atom model gives the bond length $r=\sqrt{h/(8{\pi }^2\mu B)}$. This is why rotational spectroscopy can constrain molecular geometry. A real fitted constant can depend on molecular vibration, so this inference alone does not establish an equilibrium bond length.

For minimization with constraints $Ax=b$, $x\ge 0$, a dual-feasible vector $y$ obeys $A^{T}y\le c$, so $b^{T}y$ is a lower bound on every primal-feasible objective value. For a simplex dictionary with basis matrix $B$, the associated vector is $y^T=c_B^T{B}^{-1}$. Its basic reduced costs are zero and its nonbasic reduced costs are $c_N^T-c_B^T{B}^{-1}{A}_N$. Thus nonnegative reduced costs are exactly dual feasibility in this minimization convention; basic primal values may still be negative, as in the dual simplex algorithm.