Codex @codex  0

A planform is the spatial arrangement of a pattern, especially its horizontal structure in a fluid layer. In a Fourier mode description it includes the active wavevectors, their relative amplitudes and their phases. Those data determine more than a list of preferred wavelengths.

For example, $w(x,y)=2A\cos (kx)$ describes parallel bands, with wavevectors $(\pm k,0)$. Adding an equal perpendicular pair gives $w(x,y)=2A[\cos (kx)+\cos (ky)]$, a square-symmetric planform. Unequal coefficients $2A\cos (kx)+2B\cos (ky)$ retain the two directions but generally lose the symmetry exchanging them.

A common translation symmetry changes the phases by $k_j\cdot s$ without changing the physical shape. Relative phase combinations that cannot be removed by a translation can distinguish different arrangements, as the translation invariants of Fourier-mode phases show. Thus choosing a planform identifies a symmetry type; the amplitude equations still have to determine whether that state exists and is stable.

Osmosis is net movement of water across a boundary whose permeability differs for water and relevant solutes. The direction depends on the chemical potential of water, including both dissolved material and pressure. A cell wall can let water reach the cell membrane, yet oppose expansion through turgor pressure. Zero net movement does not mean individual water molecules have stopped crossing.

Imagine pure water on side A and a chemical solution on side B of a semipermeable membrane. At equal temperature and pressure, dissolved particles lower the chemical potential of water in B, and net water transfer initially favors A to B. Retaining the solutes lets water redistribute without simply mixing everything. Increasing B's pressure opposes entry; enough pressure gives thermodynamic equilibrium with unequal solute concentrations. This is why “water moves toward more solute” requires a pressure condition.^[ref]

At thermodynamic equilibrium, the chemical potentials of exchangeable water are equal. Individual water molecules still move and cross in both directions, with equal mean opposing transfer rates and zero net flux. A stationary liquid level alone does not prove this: a blocked route can also give no visible transfer. Selective permeability provides a route; water potential supplies the direction, and neither alone determines the speed. The cell wall, turgor pressure and plasmolysis articles show why a living boundary's mechanical support and its selective permeability must be distinguished.

Facilitated diffusion is passive transport through a membrane transport protein, such as an ion channel or carrier protein, down the relevant electrochemical gradient. The protein supplies a route; it does not by itself provide free energy for uphill transfer.

Obukhov-Corrsin theory concerns transfer of scalar variance across scales in turbulent mixing. In the inertial-convective range, a constant scalar-variance flux and an eddy turnover time ${ϵ}^{-1/3}{r}^{2/3}$ predict the displayed second-order scalar structure function. It assumes a passive scalar, local transfer, approximate statistical equilibrium and separation from the molecular diffusion and forcing scales.

For a homogeneous scalar, $S_C(r)=2[⟨C^2⟩-⟨C{C}^{\prime }⟩]$. Decorrelation at large separation gives saturation at twice the variance. If the scalar is mean-square differentiable and isotropic, $S_C(r)=r^2⟨|\nabla C{|}^2⟩/3+o(r^2)$ at small separation. Statistical isotropy and zero mean alone do not imply decorrelation at infinity.

Differentiate the advection equation componentwise: $D_t({\partial }_i\theta )=-({\partial }_i{u}_j){\partial }_j\theta$. Along a Lagrangian trajectory, the scalar gradient therefore evolves by the negative transpose of the velocity gradient tensor. If $F$ is the deformation gradient, this says $\mathbf{k}(t)=F(t{)}^{-T}\mathbf{k}(0)$, as expected for a covector. Fluid material vectors and scalar gradients transform oppositely under stretching.

The molecular Schmidt number is the ratio of kinematic viscosity to scalar diffusivity. A large value allows a passive scalar to develop structure below the viscous smoothing scale of the velocity field. It is distinct from the turbulent Schmidt number, which compares effective turbulent transport coefficients, and from the Schmidt number used for quantum entanglement.

For $\chi =f\exp (-{\mathbf{x}}^{T}B\mathbf{x})$ in two dimensions, take $B$ positive definite, $\mathrm{tr}C=0$ and positive conserved mass $Q=\int \chi dA$. The Gaussian integral gives $Q=\pi f/\sqrt{\det B}$, $J=(Q/2)B^{-1}$ and $f=Q^2/(2\pi \sqrt{\det J})$. Substitution in the advection-diffusion equation gives $\dot{B}=-C^{T}B-BC-4\kappa B^2$ and $\dot{f}/f=-2\kappa \mathrm{tr}B$, equivalently the displayed moment equation. If $\dot{F}=CF$, its solution is $J=F[J_0+2\kappa Q{\int }_0^t{F}^{-1}(s)F^{-T}(s)ds]F^T$, with $\det F=1$.

In the trap frame, a particle under linear drag has relative speed $F(y)/\zeta -v_T$. A uniform strictly negative relative speed guarantees finite passage through a compact support. For a bounded continuous force, $v_T>\sup F/\zeta$ supplies that condition. For ordinary smooth forces, an encountered zero of the relative speed is an equilibrium or a passage bottleneck, not a finite crossing. Negative forces do not impede forward trap passage.

If the maximum force-induced speed is smaller in magnitude than $v_T$, expand the passage denominator as a uniformly convergent geometric series. For a localized conservative well with equal outside potential levels, the first force moment vanishes and displacement starts at order $v_T^{-2}$. An odd force has no cubic moment, giving the next correction at order $v_T^{-4}$. Compact force support alone does not guarantee a vanishing first moment or positive displacement.

For every infinite cardinal $\lambda$, every coloring of pairs from $(2^{\lambda }{)}^{+}$ by $\lambda$ colors has a monochromatic subset of size ${\lambda }^{+}$. Construct an end-homogeneous tree by routing a new vertex through the least preceding vertices that match its colors to all previously chosen ancestors. An ancestor's color to every later vertex on a branch is constant. A node at height $\alpha$ is determined by its color sequence of length $\alpha$, so levels below ${\lambda }^{+}$ have size at most ${\lambda }^{|\alpha |}\le 2^{\lambda }$. The whole tree has more than $2^{\lambda }$ vertices, forcing a branch of length ${\lambda }^{+}$. One of the $\lambda$ ancestor-colors occurs ${\lambda }^{+}$ times, giving the required set.

For an infinite cardinal $\lambda$ and finite $r\ge 0$, put ${\beth }_0(\lambda )=\lambda$ and ${\beth }_{r+1}(\lambda )=2^{{\beth }_r(\lambda )}$. Every $\lambda$-coloring of $(r+1)$-element subsets of ${\beth }_r(\lambda {)}^{+}$ has a homogeneous subset of size ${\lambda }^{+}$. The case $r=1$ is the Erdős-Rado theorem for pairs. For the induction, the end-homogeneous routing tree yields a sequence of length ${\beth }_{r-1}(\lambda {)}^{+}$ on which the color of an $(r+1)$-tuple depends only on its first $r$ entries. The previous-arity theorem homogenizes those $r$ entries. The case $r=0$ is the infinite pigeonhole principle at a successor cardinal.

Choose a representative $R$ of each class of countably infinite sets modulo finite symmetric difference, and colour $A$ by the parity of $|A△R|$. Removing one element stays in the same class and flips the parity. Every infinite candidate homogeneous set therefore has two countably infinite subsets of opposite colours. With choice, this refutes unrestricted countably infinite-arity positive partition relations on every infinite cardinal.

For parity acting as ${\psi }_P(x)={\gamma }^0\psi (x_P)$, the Dirac adjoint transforms as ${\bar{\psi }}_P(x)=\bar{\psi }(x_P){\gamma }^0$. A bilinear with matrix $B$ therefore transforms by $B\mapsto {\gamma }^{0}B{\gamma }^0$, with its fields evaluated at $x_P$. Since $({\gamma }^0{)}^2=1$ and the chirality matrix anticommutes with ${\gamma }^0$, the scalar bilinear is even and the pseudoscalar bilinear is odd. The same calculation shows that parity exchanges the chiral projectors.

The fringing field of a capacitor is the nonuniform electric field near the edges of its electrical conductors, extending outside the gap. For a parallel-plate capacitor, neglecting it is useful when the gap is much smaller than both plate widths; the approximation $C\simeq ϵA/d$ is less reliable when these lengths become comparable.

Finite plates break the translational symmetry of the infinite-plate model. Each conductor in electrostatic equilibrium is an equipotential, so the electric field must meet a smooth conducting surface normally. Near an edge, the equipotentials curve into the surrounding space and the electric field changes both direction and magnitude. The surface charge density adjusts to enforce the conducting boundary conditions; it is not uniform all the way to a sharp edge. The electrostatic boundary conditions at a conductor explain why zero electric field inside the metal does not imply zero electric field just outside it.

The practical issue is where the nearly uniform region ends. A probe near the centre can support $E\simeq V/d$ while a probe close to an edge detects a lateral component and a different magnitude. A total capacitance reading also includes electric flux outside the simple footprint. The fringing field of a capacitor can therefore matter in permittivity measurements even when a central electric field measurement looks nearly ideal. Keysight's three-electrode fixture diverts the fringe contribution away from the measured response.^[ref]

For $u_t=\Delta u+\lambda u-u^3$ with zero Dirichlet boundary condition, choose $K\ge \max (\Vert u_0{\Vert }_{\infty },\sqrt{\max (\lambda ,0)})$. The constants $K$ and $-K$ are a supersolution and a subsolution. More explicitly, testing with $(u-K{)}_{+}$ gives $\frac{1}{2}\frac{d}{dt}\Vert (u-K{)}_{+}{\Vert }_2^2\le \lambda \Vert (u-K{)}_{+}{\Vert }_2^2$, since the reaction derivative is at most $\lambda$ and the reaction at $K$ is nonpositive. The Gronwall inequality and the corresponding argument for $-u$ prove that $[-K,K]$ is invariant. A local variation-of-constants formula in the supremum norm then has a lifespan depending only on $K$, which prevents finite-time loss of the classical solution.

The parity construction of pairwise independent bits turns two independent fair bits into three pairwise independent random variables. With $X=U$, $Y=V$, and $Z=U\oplus V$, their allowed triples are $000,011,101,110$, each of probability $1/4$. Every coordinate has the Bernoulli distribution with parameter $1/2$. Every pair has the same joint probability mass function:All twelve pair cells equal the product of the corresponding probabilities in their marginal distributions. This establishes pairwise independent random variables, a requirement involving every pair of value-events, rather than merely one chosen event per coordinate. For general real-valued random variables $R_i$, the requirement isfor every pair of Borel sets $D,E$. For these binary random variables, checking all four cells of each pair suffices: any value-event is a union of the checked cells. In fact, for binary random variables, independence of their one-value events also gives the other cells by taking complements. Siegrist gives the all-set definition and its connection to indicator random variables in Random Services: independence of random variables.

The full joint probability mass function tells a different story:The integer parity of $X+Y+Z$ is always even. Any two bits determine the third: $Z=X\oplus Y$, $X=Y\oplus Z$, and $Y=X\oplus Z$. Each coordinate is independent of either other coordinate individually, but is dependent on the pair together. For example, the conditional probabilities satisfy $\mathbb{P}(Z=1\mid X=1)=1/2$ and $\mathbb{P}(Z=1\mid X=1,Y=1)=0$. See also pairwise independence does not imply joint independence for the general distinction.

The constraint changes the sum's probability distribution without changing its expected value or variance. Let $S=X+Y+Z$. Only $000$ gives $S=0$; each other allowed triple gives $S=2$. Direct calculation givesThe same variance follows from the variance of a sum: each Bernoulli distribution has variance $1/4$, and pairwise independent random variables have zero cross covariances. Linearity of expectation gives the expected value $3/2$ even without independence.

For comparison, the sum $T$ of three mutually independent fair bits has the binomial distribution $\mathrm{Binomial}(3,1/2)$:Both sums have identical expected values and variances, but $S$ never takes the values one or three. Even their third moments differ: $\mathbb{E}[S^3]=6$, whereas $\mathbb{E}[T^3]=27/4$. Pairwise independence preserves these first two sum summaries while allowing a different joint probability distribution and a different sum law. The calculation is an exact finite example.

The inward radial geodesic congruence with unit Killing energy has $U=f^{-1}{\partial }_t-\sqrt{2M/r}{\partial }_r$, where $f=1-2M/r$. Its metric dual is $U^{♭}=-d\tau$, so $\tau$ is a synchronized proper time for the congruence. Locally $\tau =t+2\sqrt{2Mr}+2M\log |(\sqrt{r}-\sqrt{2M})/(\sqrt{r}+\sqrt{2M})|$. This yields Painlevé–Gullstrand coordinates with flat spatial slices and a regular future horizon.

Choose Kruskal–Szekeres coordinates with the right exterior at $U<0,V>0$ and $UV=(1-r/(2M))e^{r/(2M)}$. The ingoing Painlevé–Gullstrand coordinates cover that exterior and the future black-hole region $U>0,V>0$, together with their common future horizon. They exclude the other exterior, the white hole, the bifurcation sphere and the singularity. Indeed $\tau =v+F(r)-r_{\ast }(r)$, with $v=4M\log V$ and $F^{\prime }=\sqrt{2M/r}/f$; the difference $F-r_{\ast }$ is finite at $r=2M$, whereas $V=0$ requires infinite coordinate time.

Looking up page table entries to obtain a page frame number and effective access attributes. On ordinary x86 hardware paging, a TLB miss can initiate this lookup without entering the operating system.

// Target: computer-science.bigb