With constant amplitude outside a core, the planar nematic divergence-elasticity identity reduces the elastic density to $K{\lambda }_0^2|\nabla \chi {|}^2/2$. A topological charge of a two-dimensional nematic disclination $q$ has $\chi =q\theta +{\chi }_0$ and $|\nabla \chi {|}^2=q^2/r^2$. Integrating over an annulus gives the displayed energy, plus finite core and boundary terms. The outer cutoff is the sample size, compensating-defect separation, or another screening length. An isolated defect in an infinite ordered plane has divergent energy. A neutral pair $q,-q$ separated by $R$ instead has $E_{\mathrm{pair}}=2\pi K{\lambda }_0^2{q}^2\log (R/r_0)$ plus core terms, since its far-field gradients cancel.

A neutral pair of opposite nematic disclinations can annihilate under dissipative relaxation, because the total topological charge of a two-dimensional nematic disclination is zero. Its far-field elastic energy increases as $2\pi K{\lambda }_0^2{q}^2\log (R/r_0)$ with separation $R$, so the pair has an attractive elastic force proportional to $-1/R$. As opposite cores meet, the nematic order parameter may vanish locally and the two windings disappear. Integer defects may first undergo energetic fission of an integer nematic disclination, leading to encounters of elementary half-charge defects. The actual paths and annihilation time require a dynamical law; the free energy alone does not specify core mobility. Pinning, imposed boundary winding or thermal defect production can obstruct a defect-free final state.

Near a first-order $(j+1):j$ orbital resonance, a weak periodic resonant orbital perturbation can accumulate a large transit-timing variation. Let subscripts 1 and 2 denote inner and outer planets, define ${\mu }_2=M_2/M_{\star }\ll 1$, $\alpha =a_1/a_2$, and writeHere $n_i=2\pi /P_i$ are mean motions. Approximate the inner planet's disturbing potential per unit mass bywhere $f$ is the dimensionless coefficient of this chosen resonant harmonic, $e$ is its effectively constant free orbital eccentricity, ${\lambda }_i$ are mean longitudes and ${\varpi }_1$ is longitude of periapsis. Neglect precession and suppose the resonant argument circulates approximately uniformly.

The leading semimajor-axis equation gives $|{\dot{a}}_1|/a_1\sim 2j{\mu }_2\alpha n_1|f|e$. Since $\delta n_1/n_1=-3\delta a_1/(2a_1)$, one integration supplies a factor $1/|\omega |$ in the mean motion perturbation, and a second supplies it in the mean longitude. Converting the phase perturbation to a timing amplitude givesDropping $\Delta$ against one in the numerator gives the displayed near-resonant estimate. Its $e/{\Delta }^2$ enhancement assumes this term dominates direct phase and forced-eccentricity effects. Close enough to resonance, resonant-argument libration and changes of the free orbital eccentricity invalidate the expansion; the divergence does not predict arbitrarily large transit times.

The two constraints are $P^2+T^2{X}^{\prime 2}=0$ and $P\cdot X^{\prime }=0$. They are first-class constraints associated with worldsheet diffeomorphisms. Their Lagrange multipliers are arbitrary gauge functions rather than propagating fields.

Translations and Lorentz transformations give Noether charges ${\mathcal{P}}_m=\int P_{m}d\sigma$ and ${\mathcal{J}}_{mn}=\int (X_m{P}_n-X_n{P}_m)d\sigma$. Their time derivatives are boundary fluxes, which vanish for a closed string or a free-ended open string.

Composing an $A$-linear map with $d:A\to {\Omega }_{A/k}$ gives a $k$-derivation. Every derivation factors uniquely this way because its linearity and product rule are exactly the defining relations of the module of Kähler differentials.

The minimum roughness property of the natural cubic spline interpolant extends to interpolants with an absolutely continuous first derivative and square-integrable second derivative. For $h=f-g$ vanishing at the knots, integration by parts on each cubic interval gives $\int g^{\prime \prime }{h}^{\prime \prime }=0$: the knot boundary terms cancel by continuity, the exterior terms vanish by natural boundary conditions, and the remaining constant-third-derivative term vanishes because $h$ is zero at the interval endpoints. Expanding the square proves minimality. Equality makes $h$ affine; its zeros at two distinct knots force $h=0$, proving uniqueness. Competitors with infinite roughness cannot improve the finite spline penalty.

A nonconstant meromorphic function on a compact Riemann surface with exactly one simple pole gives a degree-one holomorphic map to the sphere. A degree-one map is a biholomorphism. The surface therefore has genus zero and the function is a global rational coordinate.

A space-time average over periodic modes integrates over the spatial periodic cell and one temporal period. For real spatial Fourier modes sharing a wavevector, $⟨\mathrm{Re}(\mathbf{v}{e}^{i\mathbf{k}\cdot \mathbf{x}})\times \mathrm{Re}(\mathbf{w}{e}^{i\mathbf{k}\cdot \mathbf{x}}){⟩}_x=\mathrm{Re}({\mathbf{v}}^{\ast }\times \mathbf{w})/2$. A matching sine or cosine temporal factor supplies another $1/2$. Opposite wavevectors can have nonzero spatial cross averages, so their temporal coefficients must be checked rather than discarded merely because the wavevectors are distinct.

A three-literal disjunction can be represented by ten unit or two-literal clause occurrences with one fresh auxiliary variable. If the number $r$ of true input literals is zero, the best auxiliary choice satisfies six; for $r=1,2,3$, the best count is seven. Applying separate gadgets to all clauses of a 3-SAT instance gives target seven times the original clause count, proving NP-completeness of the decision form of MAX-2SAT. The local counting argument is essential: no gadget may exceed seven and compensate for an unsatisfied input clause.

When each variable appears in at most one normalized singleton clause, satisfy that favored literal with probability $p>1/2$ and choose independent variables. Every proper binary clause is then satisfied with probability at least $1-p^2$, and every singleton with probability $p$. Maximize the common lower bound by $p=1-p^2$, giving the reciprocal of the golden ratio. The method of conditional probabilities derandomizes the construction, obtaining approximation ratio $p$. Tautologies are harmless; the singleton restriction must be applied after removing repeated literals within clauses.

When $d{\sigma }^{\gamma }={\sum }_{\alpha ,\beta }{f}^{\gamma }{}_{\alpha \beta }{\sigma }^{\alpha }\wedge {\sigma }^{\beta }$ sums over ordered pairs, the Maurer-Cartan equation determines only $f^{\gamma }{}_{[\alpha \beta ]}=-c^{\gamma }{}_{\alpha \beta }/2$. Symmetric additions vanish in the exterior product. The usual coefficients are the unique antisymmetric representatives; summing instead over $\alpha <\beta$ removes the factor one half.

Let $Z$ be a positive uniformly integrable density martingale. If $Y$ is bounded and $ZY$ is a local martingale under the original measure, the product is a true martingale: its stopped absolute values are dominated by a fixed multiple of the uniformly integrable stopped density. Bayes then makes $Y$ a martingale under the new measure. Stop a locally bounded continuous $Y$ at absolute-value levels to obtain the local version.

If a steady wind equation has the form $(w^2-c_{\mathrm{f}}^2)(w^2-c_{\mathrm{s}}^2)w^{\prime }/w=\mathcal{N}$, a smooth nondegenerate crossing requires $\mathcal{N}=0$ at the corresponding magnetosonic critical speed. Subsequent differentiation or the full system determines the admissible slope. The numerator condition alone does not prove that a global smooth wind exists.

Under the Continuum hypothesis, enumerate the meagre $F_{\sigma }$ covers by ${\omega }_1$. At stage $\alpha$ choose a new real outside all earlier covers and the previous choices. The excluded union is meagre, so the Baire category theorem makes the choice possible. Each cover then contains only countably many selected points. Arbitrary meagre sets need not themselves have only continuum many possible choices; the coded covers are what is enumerated.

If the Lq null space property holds at $q\le 1$, it holds at every $0<p<q$. Order a nonzero null vector's magnitudes $a_1\ge \cdots \ge a_N$ and put $t=a_s>0$. Since $p-q<0$, the top-$s$ $p$-power sum is at most $t^{p-q}$ times its $q$-power sum, while the tail $p$-power sum is at least that multiple of the tail $q$-power sum. The strict $q$ inequality therefore gives the strict $p$ inequality. The largest $s$ magnitudes are the worst support of a vector, so all other supports satisfy it too.

On a finite connected unweighted graph, the graph path between $x$ and $y$ in a uniform spanning tree has the law of loop-erased random walk from $x$ to $y$. Root Wilson's algorithm at $y$ and process $x$ first: the first attached graph path is exactly that loop erasure, and later attachments cannot change it. Changing the root to $x$ proves reversibility of loop-erased random walk, even though chronological loop erasure does not commute with reversing each individual random-walk trajectory.

The geometric cross-section passing a fixed point of a steady orbital wire per unit time is $J_{\sigma }={\lambda }_{\sigma }v$, where ${\lambda }_{\sigma }=d\sigma /ds$. Conservation of fragments requires $J_{\sigma }$ constant and ${\lambda }_{\sigma }\propto 1/v$. For total area ${\sigma }_{\mathrm{tot}}$ and orbital period $P$,With the fractional luminosity of a phase-mixed eccentric wire, this becomes $J_{\sigma }=2fh$. The current describes transported area, not the swept area enclosed by the orbit.

In a field of characteristic $p$, take a basis $e_0,\dots ,e_{p-1}$, and let $x{e}_j=e_{j-1}$ with indices modulo $p$, while $y{e}_j=j{e}_j$. Then $[x,y]=x$, so $kx+ky$ is a solvable Lie algebra, but the distinct eigenvalues of $y$ force any common eigenvector to be a coordinate vector, and $x$ cyclically permutes those vectors. There is consequently no common eigenvector, even over an algebraically closed field.

A Lie algebra representation is simultaneously upper triangular precisely when it preserves a complete flag, with $\dim V_j=j$. A basis adapted to the invariant flag makes every representing matrix upper triangular. For a complex finite-dimensional representation of a solvable Lie algebra, the Lie theorem provides a common eigenvector; iteration on the quotient representations constructs the flag.