Compact third-order advection stencil 2026-10-14
Let , , , , and . The implicit stencil for has centered characteristic moments zero through degree three and fourth moment . Its Fourier numerator and denominator satisfy . The marching operator is a contraction exactly for nonnegative Courant numbers in ; with signed Courant numbers, also include . At the four roots of the method becomes an exact integer grid translation rather than merely third order.
Periodic heat and transport comparison Created 2026-10-14 Updated 2026-10-25
Use dimensionless and , the periodic domain , and the same initial conditionWith zero PDE source term, compare the heat equation and the transport equation . Their exact solutions areEach cosine satisfies , so the heat equation reduces its amplitude according to . The superposition principle combines the constant and two Fourier modes. The transport equation shifts the argument of the entire profile. Both formulas meet the initial condition and matching periodic boundary conditions exactly.[ref]
https://web.stanford.edu/class/math220b/handouts/heateqn.pdf. Stanford Math 220B heat-equation notes, periodic boundary conditions
At , the heat amplitudes are approximately and : the small ripples disappear much sooner than the broad variation. The transport equation retains amplitudes and , shifting the profile right by one unit with wraparound. Both preserve spatial average , but only the heat equation approaches the uniform profile. This gives diffusion its usefulness for smoothing uneven temperatures, while the transport equation models a profile carried by a flow. The signed profile can represent a scaled temperature deviation.
Exact evolution of one periodic profile: transport translates while diffusion preferentially removes short wavelengths
. Details. To restore units, let physical position be and time be . For , the dimensionless coefficient is , with measured in length squared per time. For , it is , with measured in length per time. Both plotted coefficients equal one when and . Thus the example compares specified models on the same scales, rather than identifying diffusivity with velocity.
Address space identifier 2026-10-14
A tag distinguishing cached address translations belonging to different address spaces. Tags can be reused, but reusing a tag for a different mapping context requires appropriate invalidation.
// Target: computer-science.bigb
TLB miss Created 2026-10-14 Updated 2026-10-14
A lookup that fails to find the required cached address translation. A successful refill can leave the memory page resident throughout and cause no page fault.
For process A's resident virtual page 4 in address translation, discarding only its translation lookaside buffer entry makes the next read a TLB miss while its contents remain in page frame 13. Page replacement would instead remove the resident memory page; these operations invalidate different kinds of cached information.
TLB hit Created 2026-10-14 Updated 2026-10-14
A lookup that finds a valid cached address translation for the relevant address space. The access can still cause a page fault if the cached permissions forbid it.
For the 64-byte toy model in address translation, a cached process A page-4 mapping covers reads at both
0x12D and 0x12E, yielding physical addresses 0x36D and 0x36E. The TLB hit reuses the mapping; it does not guarantee that either requested byte is in a data memory cache. Wavevector selection rule for equivariant monomials Created 2026-10-14 Updated 2026-11-05
Consider complex Fourier modes transforming under a translation symmetry as . A monomialtransforms by multiplication with . It can occur in the equation for of an equivariant dynamical system only ifThis follows because must transform with the same wavevector as . The condition enforces translation equivariance; other symmetries can impose additional restrictions on the polynomial coefficients.
Writing , a monomial with total polynomial degree and a prescribed integer vector exists exactly when and is an even integer. To prove this, write and with nonnegative integers . Then . Conversely, any nonnegative even surplus can be distributed among the .
For one nonzero wavevector, a cubic term in its own equation must have and , giving . With several Fourier modes, a relation instead permits the quadratic term in the third equation. The wavevectors decide whether this resonant interaction is possible before any polynomial coefficient is calculated.
Genetic code Created 2026-10-14 Updated 2026-10-20
The genetic code assigns RNA codons to amino acids or termination signals. Four possible nucleobases at each of three positions give codons. In the standard genetic code, 61 specify amino acids and three are stop codons; several codons can specify the same amino acid. Variants exist, so state which genetic code is being used. See Clark, Douglas and Choi: genetic code assignments and variants.
Lift-up effect 2026-10-14
A streamwise-independent cross-stream disturbance in an inviscid parallel shear flow has time-independent wall-normal velocity. It advects the base streamwise momentum, producing the displayed linear growth of streamwise velocity and quadratic growth of perturbation kinetic energy. This is algebraic amplification, not an exponentially unstable normal mode; it exemplifies transient growth from non-normal modes.
Orr mechanism 2026-10-14
The Orr mechanism amplifies a leading two-dimensional shear disturbance as the background flow swings its wavefronts toward alignment. Conserved perturbation vorticity implies velocity amplitude proportional to the inverse wavevector magnitude. This produces algebraic or transient energy amplification without an exponentially growing normal mode. Viscosity limits the benefit of choosing an initially tightly wound disturbance.
// Target: gravitational-instability-of-an-astrophysical-disk.bigb
Eddy buoyancy flux Created 2026-10-14 Updated 2026-11-05
The local meridional eddy buoyancy flux is the covariance of disturbance meridional velocity with disturbance buoyancy. In a Boussinesq approximation, . This is a local transport density, distinct from a plume's cross-section-integrated buoyancy flux. In the transformed Eulerian mean, division by the background buoyancy frequency squared gives an eddy-induced meridional overturning streamfunction.
Maximal invariant Created 2026-10-14 Updated 2026-11-05
A statistic is invariant if ; it is maximal when it also separates different group orbits. Consequently every invariant procedure factors through the maximal invariant, subject to the usual measurability conditions on the orbit space. Standardizing a sample by an equivariant estimator of location and positive scale gives a maximal invariant for the positive affine group.
Equivariant estimator Created 2026-10-14 Updated 2026-11-05
An estimator respects the group action if the displayed identity holds. If it takes values in the transformation group itself, normalization is a maximal invariant: equivariance proves invariance, and equality of normalized samples reconstructs the transformation between them. For estimates in a homogeneous parameter space with a nontrivial stabilizer, normalization is defined only modulo that stabilizer; quotienting the remaining action is essential.
Classical Ising chain as a quantum particle Created 2026-10-14 Updated 2026-10-25
Hubbard-Stratonovich decoupling of an exponentially coupled Ising chain gives a scalar-field action with a nearest-neighbor gradient term and . Its continuum partition function is the Euclidean path integral of the displayed quantum particle. At zero field the potential can have two wells, but a finite barrier still permits quantum tunnelling and gives a unique symmetric ground state. The excitation gap produces a finite classical correlation length, so there is no finite-temperature spontaneous magnetization for fixed positive . One classical spatial coordinate becomes imaginary time; a -dimensional classical model corresponds to a quantum model with spatial dimensions.
Burnside transfer theorem Created 2026-10-14 Updated 2026-11-05
The hypothesis makes abelian and makes any two conjugate elements of equal. For the latter assertion, Sylow conjugacy inside the centralizer of the target element adjusts a conjugating element into , where it centralizes . Evaluating group transfer to on an element , each coset cycle contributes a conjugate of raised to the cycle length, hence that same power of . The restriction is consequently , an automorphism of the abelian -group. Transfer is surjective, and its kernel is the required normal p-complement.
Coding strand 2026-10-14
For a specified transcription unit, the coding strand is the DNA strand matching the initial RNA product in the direction, with T in place of U. The opposite DNA strand is the template. The name does not imply that every transcribed gene encodes a protein. See Clark, Douglas and Choi: coding and template strands.
RNA polymerase Created 2026-10-14 Updated 2026-10-20
An RNA polymerase used in transcription is an enzyme that synthesizes RNA from a DNA template. Unlike a replicating DNA polymerase, it can start a new strand without a pre-existing paired strand end; initiation still requires the appropriate DNA signals and associated machinery. See Alberts et al.: RNA polymerase and transcription initiation.
Lindemann–Weierstrass theorem Created 2026-10-14 Updated 2026-11-05
For distinct algebraic numbers , the numbers are linearly independent over . Equivalently, exponentials of numbers linearly independent over are algebraically independent over . The special case of a nonzero algebraic exponent gives a transcendental exponential. In particular forces to be transcendental.
E-function Created 2026-10-14 Updated 2026-11-05
In the modern strict sense an E-function satisfies a nonzero linear differential equation over , has algebraic coefficients with all conjugates bounded by , and has common positive denominators making algebraic integers. Siegel's original arithmetic growth condition permits, for each , bounds of size instead. The strict and original growth formulations should be distinguished rather than asserted equivalent. Exponentials with algebraic exponent satisfy the stronger conditions and a first-order differential equation.
Mahler method Created 2026-10-14 Updated 2026-11-05
Mahler's method uses functional equations relating a function at and at to transport an auxiliary polynomial to points rapidly approaching zero. High vanishing order gives an upper bound which conflicts with an algebraic norm or height lower bound under assumed algebraicity of the values. Functional transcendence ensures that the auxiliary expression is not identically zero.
Gelfond–Schneider theorem 2026-10-14
For algebraic and algebraic irrational , every value with is transcendental. Consequently any quotient of chosen nonzero logarithms of algebraic numbers is either rational or transcendental.
There are unlisted articles, also show them or only show them.
