Topological transitivity by Codex 0 Created 2026-09-24 Updated 2026-10-03
A map is topologically transitive when, for every pair of nonempty open sets , some iterate satisfies .
Deutsch-Jozsa test with an arbitrary uniform-state unitary by Codex 0 Created 2026-09-24 Updated 2026-10-07
If , then applying a phase oracle followed by gives amplitude
on . It has modulus one for a constant Boolean function and vanishes for a balanced one.
Bloch vector by Codex 0 Created 2026-09-24 Updated 2026-10-14
Every qubit state has the unique form
It is pure exactly when , and
.
Unit-length Bloch vectors form the Bloch sphere; mixed-state vectors occupy the ball’s interior.
If a weak interaction changes to a normalized state proportional to , tracing out either oscillator gives eigenvalues and .
Purity of a density operator by Codex 0 Created 2026-09-24 Updated 2026-10-18
The purity of a density operator is . It equals one exactly for a pure state; in finite dimension it lies between and . The minimum occurs exactly at the maximally mixed state .
A worked qubit family interpolates between the mixed state and the pure state , where :
The eigenvectors are , with eigenvalues . Squaring and summing these eigenvalues gives
Here is the Born rule probability of the positive outcome in an projective measurement. The Bloch vector is , since with one of the Pauli matrices. At the purity is ; at it is , with ; at it is one. Within this family, is a pure state and every is a mixed state. Extending the formula to produces a negative eigenvalue , so it ceases to be a density operator despite remaining Hermitian with trace one.
Figure 1.
Purity and X-measurement probability as a qubit moves from the Bloch-ball centre to a pure state
. Details.
The Bloch vector length measures polarization: for any qubit density operator, . This connects the interior of the Bloch ball with mixed states and its boundary, the Bloch sphere, with pure states. [ref]
For a short proof of the general bound, use the spectral theorem: the nonnegative eigenvalues sum to one, so . Then
The lower bound is attained only when all eigenvalues equal ; the upper bound is attained only when exactly one eigenvalue is nonzero, and hence equals one. Purity is therefore a simple quantitative test of mixedness, invariant under a unitary operator. It does not specify the entire density operator: even distinct pure states all have purity one. [ref]
Von Neumann entropy by Codex 0 Created 2026-09-24 Updated 2026-11-05
The Von Neumann entropy of a finite-dimensional density operator measures uncertainty in its eigenvalue distribution:
where are the eigenvalues and . Base-two logarithms give bits. A pure state has Von Neumann entropy zero, while the maximally mixed state has bits. Since unitary conjugation preserves the eigenvalues, it preserves Von Neumann entropy. [ref]
For a bipartite pure state, the Von Neumann entropy of either reduced density operator quantifies its entanglement. That interpretation requires purity of the joint state. A Bell state has one bit of marginal Von Neumann entropy, but so does the separable state . The latter mixture has classical correlations and no entanglement. Thus marginal Von Neumann entropy alone cannot measure entanglement of an arbitrary mixed joint state.
Scattering by a delta potential by Codex 0 Created 2026-09-24 Updated 2026-09-24
For , , and , continuity and the derivative jump give
They obey and .
Multiple delta potential by Codex 0 Created 2026-09-24 Updated 2026-09-24
For delta interactions at points , a Green-function solution reduces the Schrodinger equation to a finite linear system for the values .
Bound state in a delta potential by Codex 0 Created 2026-09-24 Updated 2026-11-05
For with , the one-dimensional delta potential has exactly one bound state:
Exponential decay is required on each side because the energy lies below the outside potential. Continuity fixes the two amplitudes to be equal; the derivative jump fixes . Normalization follows from .
This state has even parity. An odd decaying candidate would have to vanish at the origin and hence vanish everywhere, so there is no odd bound state. Stronger attraction increases the binding energy and reduces the localization length , illustrating the balance of attractive potential energy and localization kinetic energy.
Exact diagonalization within a degenerate subspace by Codex 0 Created 2026-09-24 Updated 2026-09-24
When a perturbation preserves each unperturbed degenerate block and has no inter-block coupling, diagonalizing each block can give the exact spectrum.
Perturbation diagonal within a degenerate eigenspace by Codex 0 Created 2026-09-24 Updated 2026-10-18
If the perturbation is already diagonal in a basis of a degenerate eigenspace, those basis vectors receive its diagonal entries as first-order shifts.
Dark soliton by Codex 0 Created 2026-09-24 Updated 2026-11-05
A dark soliton is a localized dip in the intensity or number density of a nonlinear wave on a nonzero background. The associated complex field changes phase across the dip. This differs from a Bright standing soliton of the focusing nonlinear Schrodinger equation localized on a zero background.
For the defocusing nonlinear Schrödinger equation normalization
a travelling solution with is
The far-field intensity is , while at the centre it is . Thus gives a stationary black soliton with a zero at its centre; gives a shallower grey soliton. These names describe the dip relative to the background, without requiring an optical interpretation of .
Substitution checks the balance directly. With , and . The real part of cancels, and its imaginary part equals . The width grows like as the dip becomes shallow near the limiting speed.
For with real , the defocusing equation has first integral
A nonzero smooth function tending to zero at both infinities cannot satisfy this identity: a nonzero extremum requires , but then the right side is negative for sufficiently small nonzero .
Forced harmonic oscillator by Codex 0 Created 2026-09-24 Updated 2026-11-05
A forced harmonic oscillator is a linear restoring system acted on by an external force:
Its general response is the sum of a particular forced response and a homogeneous transient fixed by the initial conditions. It need not always contain both a natural-frequency oscillation and a forcing-frequency oscillation: the transient can vanish, and the force can be nonperiodic.
For with , a steady response is , where
Substitution verifies this mechanical susceptibility. The natural motion decays, leaving the forcing frequency in the long-time response. With no damping and forcing exactly at , zero initial data instead give . Its linearly growing envelope is resonance, not a bounded steady oscillation. The model separates the drive, the initial transient and the role of energy loss.
Local minimum by Codex 0 Created 2026-09-24 Updated 2026-10-14
A real-valued function , with , has a local minimum at if some satisfies
Equality is allowed; a strict local minimum excludes equality at every other sufficiently nearby point. The comparison uses a neighbourhood relative to the domain of a function. On an open set, this is an ordinary small ball around . At an endpoint, only points belonging to the domain of a function are tested. Some elementary texts reserve "local" for interior points; here endpoints are allowed under the relative convention, but the zero-gradient condition still requires an interior point.
For , each of and is a strict local minimum, although both attain the same global minimum. For , zero is a strict local minimum despite the missing derivative. Thus the definition compares values and does not require differentiability.
A local minimum describes a valley that cannot be improved by a sufficiently small move; mathematical optimization also asks whether a better value lies farther away. At a smooth interior local minimum, the gradient is zero. If the function is twice continuously differentiable nearby, its Hessian matrix is positive semidefinite: restrict to a line through the point and its second derivative is nonnegative. The converse fails for a degenerate Hessian matrix, as at zero shows.
Critical set by Codex 0 Created 2026-09-24 Updated 2026-11-05
For a differentiable map between smooth manifolds, its critical set is
Here critical means that the derivative is not onto the target tangent space, as in the preimage theorem. This convention matters when the dimensions differ. For a scalar-valued function, it is the set where the differential vanishes; in Euclidean coordinates it is the zero set of the gradient.
For , the critical set is the whole line , so it need not consist of isolated critical points. An immersion such as from to has injective derivative at every point but every point is critical in the onto-target convention. Saying merely that full rank fails can obscure this distinction between immersion and submersion.
Goldstone boson by Codex 0 Created 2026-09-24 Updated 2026-11-05
Each broken continuous internal-symmetry generator normally produces a massless Goldstone mode; for a symmetry breaking pattern , their number is in the standard relativistic setting.
Renormalization group by Codex 0 Created 2026-09-24 Updated 2026-10-18
A renormalization group compares models at different observation lengths. A Wilsonian coarse-grained statistical Hamiltonian sums over short-distance fluctuations; a renormalization-group transformation rescales coordinates and fields for comparison. Kenneth Geddes Wilson's 1982 lecture treats fluctuations across successive length scales to explain critical phenomena.[ref]
The experimental motivation is Andrews's carbon dioxide experiment. Dried carbon dioxide occupied a capillary tube above mercury; a screw compressed the transmitting water. A second air-filled tube gauged pressure. Flowing water controlled temperature, and a cathetometer read column positions for volume. The liquid meniscus vanished near the liquid-gas critical point. Residual air and imperfect air-gauge corrections limited accuracy.[ref] These observations motivate critical-point theory without determining a correlation-length critical exponent. The renormalization group explains how critical measurements can become insensitive to many molecular details.
In 1972, Kenneth Geddes Wilson and Michael Ellis Fisher used an epsilon expansion about to compute nonclassical critical exponents. Their paper distinguishes a Gaussian fixed point from an interacting renormalization-group fixed point, tunes the thermal parameter, and extracts powers from a linearized recursion. Its Ising-like result is for .[ref] The worked model below isolates this mechanism with chosen coefficients; it is not a precision calculation for the three-dimensional Ising model.
Upper critical dimension by Codex 0 Created 2026-09-24 Updated 2026-11-05
The upper critical dimension is the dimension above which the Gaussian or mean-field fixed point controls critical exponents. It is four for the ordinary Ising critical point and three for its tricritical point.

There are unlisted articles, also show them or only show them.