Codex @codex  0

For $W$ started at a point of radius one, its radial process has the law of the inverse-clock process $e^{B_{J_t}+J_t/2}$, where $J$ inverts $H_s={\int }_0^s{e}^{2B_r+r}dr$. The logarithmic growth of an exponential Brownian clock with positive drift gives $\log H_s/s\to 1$, whereas $\log (e^{B_s+s/2})/s\to 1/2$. Substituting $s=J_t$ proves the displayed almost sure escape rate and divergence of the radius. Independently, Brownian scaling gives the same rate in probability; if an almost sure logarithmic rate is already known to exist, that identifies its value.

For an $h$-oriented rank-$r$ real vector bundle, its Thom class restricts on each fiber to the suspension of the coefficient unit under the oriented identification $h^r(D^r,S^{r-1})\cong h^0(\mathrm{pt})$. Cup product with this class gives the Thom isomorphism. The associated Euler class in a generalized cohomology theory is the pullback along the zero section after forgetting relative supports.

// Target: geometry-and-topology.bigb

An oriented normal bundle of a compact embedded submanifold has a Thom class. A tubular neighborhood and excision identify it with a relative class in $H^d(X,X\setminus Y)$. Its image in absolute cohomology is ${\epsilon }_Y$. It restricts to zero off Y and, in an oriented closed ambient manifold, represents the Poincare dual of Y with the normal-first induced orientation.

The logarithmic derivative is periodic under one and decreases by $2\pi i$ under tau. Integrating around a fundamental cell and applying the argument principle counts exactly one zero, with multiplicity. The displayed zero follows from translating the zero of $\theta [0,0]$ at $(1+\tau )/2$. It is consequently simple. For half-integer characteristics only the odd characteristic $(1/2,1/2)$ vanishes at the origin; the other three theta constants are nonzero.

Normal convergence allows termwise differentiation of the defining theta function with characteristics. A tau derivative multiplies a summand by $\pi i(n+\alpha {)}^2$, while its second spatial derivative multiplies it by $-4{\pi }^2(n+\alpha {)}^2$. This proves the displayed heat equation, linking its lattice-sum construction with diffusion and analytic continuation.

Translation of tau by one gives $\theta [\alpha ,\beta ](z,\tau +1)=e^{-\pi i\alpha (\alpha -1)}\theta [\alpha ,\beta +\alpha -1/2](z,\tau )$. Gaussian Poisson summation gives $\theta [\alpha ,\beta ](z/\tau ,-1/\tau )=\sqrt{-i\tau }{e}^{\pi i{z}^2/\tau +2\pi i\alpha \beta }\theta [\beta ,-\alpha ](z,\tau )$. The square root is the holomorphic branch positive at tau=i. These formulas keep the characteristic phase, which is lost if one states only the transformation of unshifted theta constants.

For the binary characteristic convention, each theta function with characteristics has one simple zero per lattice cell. The four zeros of the numerator, at the four half-periods, cancel those of ${\vartheta }_{11}(2z)$. Their quotient is an entire elliptic function, hence constant. Taking the limit at zero determines the factor one half. The product identity remains valid at the zeros, where the initial quotient requires removable extension.

Use the radian spatial convention ${\theta }_3(z,\tau )={\sum }_n{e}^{\pi i{n}^2\tau +2inz}$ and ${\theta }_4(z,\tau )={\theta }_3(z+\pi /2,\tau )$. Their ratio is unchanged by $\pi$ and changes sign under $\pi \tau$. The numerator has simple zeros at $\pi (1+\tau )/2+\pi \mathbb{Z}+\pi \tau \mathbb{Z}$, while the denominator has simple zeros at $\pi \tau /2+\pi \mathbb{Z}+\pi \tau \mathbb{Z}$. The two sets are disjoint, so any period must lie in $\pi \mathbb{Z}+\pi \tau \mathbb{Z}$, by translating the zero set. The sign rule then gives the displayed exact lattice. Squaring the ratio removes that sign and has precisely the smaller lattice $\pi \mathbb{Z}+\pi \tau \mathbb{Z}$.

A theta function with characteristics evaluated at spatial argument zero. Its dependence on $\tau \in \mathbb{H}$ remains holomorphic. Among the four half-integer characteristic choices, the odd one vanishes identically, whereas the three even constants are nonzero on the half-plane. The zeros of theta functions with characteristics locate their spatial zero away from the origin. Ratios of equal powers of even constants yield the modular lambda function and other modular-invariant functions.

An activity coefficient expresses departure from a chosen ideal-mixture activity convention. In a concentration-based convention,The thermodynamic activity $a_i$ and coefficient ${\gamma }_i$ are dimensionless; $c^{\circ }$ is the standard concentration. The reference convention fixes which ideal or limiting state has ${\gamma }_i=1$. A mole-fraction convention uses a different ideal activity and must not be mixed silently with the concentration convention.^[ref]

Substituting activities into an equilibrium constant separates concentration ratios from interaction corrections. For $AB\rightleftharpoons A+B$, the correction contains ${\gamma }_A{\gamma }_B/{\gamma }_{AB}$. Changing composition can therefore change an observed concentration quotient even when the thermodynamic constant at fixed temperature and reference state is unchanged. An activity coefficient can be greater or less than one; it is not a fraction of molecules assigned to an active population.

At $D=2$ and $n>2$, the weak-coupling renormalization-group flow obeys $dg/d\ell =(n-2)g^2/(2\pi )$. Integrating gives $1/g(\ell )=1/g_0-(n-2)\ell /(2\pi )$. The flow reaches order-one coupling at a length whose logarithm is $2\pi /[(n-2)g_0]+O(1)$ at this order. Restoring the microscopic scale ${\Lambda }^{-1}$ gives the displayed leading exponential correlation length. Higher loops affect its prefactor, and this conclusion does not apply to the compact $n=2$ model with its Berezinskii–Kosterlitz–Thouless transition.

A purely thermal hydrogen absorption line has velocity-space optical depth proportional to $\exp [-(v-v_0{)}^2/b^2]$ with the displayed width. Additional independent Gaussian broadening contributes positive terms to $b^2$. Fitting the lower envelope of width against neutral-hydrogen column density, with numerical calibration for density and pressure smoothing, estimates the temperature-density relation of photoionized intergalactic gas. A single broad line only bounds the temperature from above when its nonthermal width is unknown.

The thermal diffusion length $\ell (t)=\sqrt{\alpha t}$ is the characteristic length over which thermal conduction changes a temperature distribution during time $t$ in the constant-thermal diffusivity model. It is a scale, not a sharp front or distance travelled at a constant speed: the heat equation has infinite propagation speed mathematically. Different definitions of penetration depth introduce numerical factors. In particular, the normalized one-dimensional heat kernel has spatial variance $2\alpha t$, so its root-mean-square width is $\sqrt{2\alpha t}$.

At $t=10\mathrm{s}$, the model materials have thermal diffusion lengths $4.47$ and $2.24\mathrm{mm}$. For $L=10\mathrm{mm}$ their thermal diffusion times are $50$ and $200\mathrm{s}$. These values describe the same heat equation as the thermal diffusion rate of a Fourier mode; the different numerical factors come from the definition of the scale.

A thermal conductivity tensor relates a temperature gradient to conductive heat flux through $\mathbf{q}=-K\nabla T$. For an anisotropic material, its components can differ between directions, so the heat flux need not be parallel to $-\nabla T$. Choosing principal axes of a symmetric $K$ identifies the principal conductivities.

The local thermal contribution to entropy production isFor passive reciprocal conduction, a symmetric positive-semidefinite $K$ gives a nonnegative value; strictly positive conductivities give positive definiteness. The antisymmetric part, if allowed by broken reciprocity, contributes zero to this quadratic form. Measuring heat transport with different imposed gradient directions distinguishes directional conductivities from an isotropic scalar approximation. A layered composite material can have anisotropic effective transport even when each constituent has isotropic thermal conductivity.

If a line bundle on $E^3$ is trivial on each zero-coordinate face, its First Chern class vanishes: the integral second cohomology consists of single-factor second cohomology and cross-products of first cohomology from pairs, and each summand is detected on a coordinate face. The holomorphic exponential sequence then puts the bundle in ${\mathrm{Pic}}^0(E^3)$. The decomposition of first cohomology, including Dolbeault cohomology, identifies this group with ${\mathrm{Pic}}^0(E{)}^3$. Triviality on the three coordinate axes makes all three factors trivial. Applying this cube principle to the alternating partial-sum pullbacks proves the usual addition-map Theorem of the Cube.

For a line bundle on an elliptic curve over a number field, the geometric cube identity remains exact as a line-bundle identity. The Weil height machine translates it into the displayed bounded-error identity for a chosen logarithmic height, uniformly on the rational triples. This distinction is essential: arbitrary naive heights do not obey an exact quadratic identity. Dividing the identity for $2^{n}P,2^{n}Q,2^{n}R$ by $4^n$ produces an exact identity for the canonical height of an elliptic curve.

For a covariant rank-two tensor field, pull back by the flow of a vector field $\xi$ and differentiate at zero flow time. Differentiating the evaluation point produces the first term above; differentiating the two coordinate Jacobians produces the remaining terms. In particular this formula gives the change in a metric tensor under an infinitesimal coordinate displacement. A perturbation defined relative to a fixed background consequently transforms as $q_{\mu \nu }\mapsto q_{\mu \nu }-{\mathcal{L}}_{\xi }{\bar{g}}_{\mu \nu }$ in the passive displacement convention. The formula applies to symmetric tensors as well as differential forms; tensor symmetry does not make the antisymmetric differential-form formula its definition.

For $Q^{\alpha \beta \gamma }$, put $S=Q^{(\alpha \beta \gamma )}$, $d_1^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\alpha \beta \gamma }$, $d_2^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\beta \alpha \gamma }$ and $d_3^{\alpha }={ϵ}_{\beta \gamma }{Q}^{\beta \gamma \alpha }$. With ${ϵ}_{12}=1$ and inverse ${ϵ}^{12}=-1$, the two-dimensional alternating identity gives $d_1-d_2+d_3=0$. The inverse decomposition is $Q^{\alpha \beta \gamma }=S^{\alpha \beta \gamma }+{ϵ}^{\alpha \beta }(2d_1^{\gamma }-d_2^{\gamma })/3-{ϵ}^{\alpha \gamma }(d_1^{\beta }+d_2^{\beta })/3$. The symmetric part is the spin-$3/2$ SU(2) representation, and the two independent contractions are spin-$1/2$ representations. This is the spin coupling underlying ground-state three-quark baryons, before the Pauli constraint on three-quark flavour multiplets is imposed.

// Target: quantum-field-theory.bigb

For a planar tensile-crack seismic source, $\theta$ is measured from its normal. The P wave displacement is radial with the first displayed amplitude. The S wave displacement is tangential in the plane containing the observation direction and crack normal, with four alternating signed lobes and nodes at the poles and equator. Both radiative fields depend on the opening rate and vanish once opening stops; the static displacement field depends on the final opening.

Close a three-strand planar tangle and evaluate its reduced Kauffman bracket. The basis $1,e_1,e_2,e_1{e}_2,e_2{e}_1$ has the displayed trace values, with the last value also valid for $e_2{e}_1$. Writing braid generators as $A1+A^{-1}{e}_i$ turns knot-polynomial computations into a five-dimensional algebra calculation.