Minimum sum of errors in a simple hypothesis test Created 2026-10-14 Updated 2026-11-05
For two simple hypotheses with probability densities , a critical region has sum of Type I error and Type II error probabilities . Pointwise minimization chooses , with either decision allowed on the equality set. Thus the optimal likelihood ratio threshold is , and the minimum is . This criterion weights the two error probabilities equally; unequal costs or prior probabilities change the threshold.
Most powerful test for a Laplace location shift Created 2026-10-14 Updated 2026-10-25
For two unit-scale Laplace distributions with locations , the likelihood ratio is nondecreasing in , with constant tails and an increasing middle interval. Therefore an upper-tail statistical test of exact size of a statistical test is a most powerful test. Its cutoff is for , and otherwise. Under location , its statistical power is if , and otherwise. Constant likelihood ratio tails can make the most powerful test nonunique.
Homothetic gravitational motion 2026-10-14
For a Newtonian central configuration, set with . The gravitational force scales as , reducing all equations to the displayed scalar ordinary differential equation. Its first integral is . The total energy is , so the scalar energy constant exactly tracks the many-body energy for the fixed shape.
Impulse versus finite-duration cooling 2026-10-14
For equal initial temperatures and the same Newton's law of cooling coefficient , compare a unit Dirac delta function cooling impulse at time one with unit-rate cooling on the interval from one to two. The impulse produces a temperature jump of minus one. The finite-duration forcing gives a continuous temperature with change while it is active. Relative to the common unforced cooling curve, the impulse contributes . Consequently the temperatures cross at , strictly between one and two. After time two the impulse-cooled body is warmer: the later cooling receives less subsequent exponential attenuation.
Adjustment-coefficient lower bound for NBUE claims Created 2026-10-14 Updated 2026-11-05
For NBUE claims in the classical risk model, the equilibrium claim size is stochastically bounded by . The positive exponential tail integral formula for moments gives . Since and , rearrangement proves the displayed bound.
A relativistic species decoupling before ordinary neutrino decoupling cools as . Cosmological entropy conservation in the remaining bath gives , where counts that bath just after the early species has left it. Subsequent electron-positron annihilation in cosmology gives . For the ideal high-temperature relativistic entropy content of the Standard Model, the resulting ratio is about .
Weak-decoupling temperature estimate Created 2026-10-14 Updated 2026-11-05
In natural units with unreduced Planck mass , the radiation-era Hubble parameter scales as , while a low-energy weak interaction rate scales as . Their equality gives a decoupling scale of order one MeV. Distinct weak processes have distinct rate coefficients: neutrino decoupling and cosmological weak freeze-out of neutron-proton conversion are nearby events, not an identical precise temperature inferred from the power laws alone.
Mixing of exactly massless neutrinos is removable Created 2026-10-14 Updated 2026-11-05
If all neutrinos are exactly massless, arbitrary unitary rotations among them preserve both their kinetic terms and their zero mass matrix. After diagonalizing the charged-lepton Yukawa matrix, choose the neutrino basis to coincide with that rotation. The resulting weak charged current has no physical lepton mixing matrix. With nondegenerate neutrino masses this extra basis freedom is lost, permitting observable neutrino oscillations and lepton mixing.
Hopfield network Created 2026-10-14 Updated 2026-10-18
A recurrent network with symmetric interactions and an energy function. In the binary version, units take values , self-couplings are zero, and asynchronous threshold updates can retrieve stored patterns from incomplete or corrupted cues. Fixed points are local energy minima, which need not be the intended memories or global minima.
For a symmetric matrix of couplings with , define the energy landscapeThe factor removes double counting. The local input is . Choosing to agree with lowers this energy; this mathematical energy need not be a conserved physical quantity. Its pairwise form connects the model to the Ising model; competing couplings also motivate the comparison with a spin glass. Here retrieval seeks a useful nearby local minimum, so reaching the global minimum is not the goal.
John Hopfield's 1982 computer study stored random binary strings in neural networks of 30 and 100 units. Couplings were prepared from the stored patterns; asynchronous updates supplied the computational apparatus. Starting at each nominal memory, the readout counted Hamming distances after settling as storage load varied. Corrupted starting patterns separately tested recovery. Varying the load and cue damage exposed interference between memories. These simulations supported collective retrieval, not a measurement of biological memory capacity.[ref]
Neural networks and physical systems with emergent collective computational abilities by John Joseph Hopfield. 1982, pp. 2555–2557, storage Eq. 2, Fig. 2 and corrupted-start tests
Activation function 2026-10-14
An activation function converts a unit's weighted input to its output. A sigmoid function, hyperbolic tangent or rectifier can give nonlinear features. Replacing all hidden activation functions by the identity collapses consecutive affine layers into a single affine map, removing the representational benefit of those hidden layers.
Binary threshold unit Created 2026-10-14 Updated 2026-10-20
A binary threshold unit outputs one when its weighted input reaches its threshold and zero otherwise. Its hard threshold is not differentiable, so ordinary backpropagation cannot directly train the exact threshold model. Smooth activation functions can approximate its computation.
Neumann boundary data Created 2026-10-14 Updated 2026-10-25
Neumann boundary data are prescribed values of the outward normal derivative of a function on the boundary of a boundary value problem. They enter a Neumann boundary condition as . Directional derivatives defined using a fixed coordinate direction must be converted to the outward-normal convention: for example, on the bottom of an upper domain, .
In a directed network with no negative-cost directed cycle, add a source having zero-cost arcs to all vertices and compute shortest-path distances . The inequalities make dual feasible for uncapacitated minimum-cost flow. Shortest-path tree arcs are tight. An arbitrary spanning tree also fixes tight candidate potentials up to a constant, but it does not guarantee the non-tree inequalities; these must be checked.
View factor 2026-10-14
The view factor is the fraction of uniformly distributed, diffuse outgoing radiant flux from surface that directly reaches surface . It depends on geometry, including obstruction, rather than on temperature or emissivity. All destinations in a closed enclosure have fractions summing to one. For a convex body fully enclosed by walls, ; the reverse view factor is generally smaller. Reciprocity gives . Two unobstructed spheres with outer radius ten times the inner radius have and . Do not multiply both directions by an assumed identical view factor.[ref]
Thermodynamics and Propulsion. §19.4, equations 19.4 and following reciprocity relation; §19.4.1, concentric spheres
Homogeneous tensile bifurcation of a neo-Hookean cube Created 2026-10-14 Updated 2026-10-31
For the volume-preserving family , equal dead nominal tension gives potentialIts derivative factors as . The nontrivial branch has a fold at , , and meets the trivial branch at . Stability in this one-parameter family is determined by , not by branch count alone. At there is only one nontrivial positive solution, ; the other branch value is .
Dielectric anisotropy of a nematic 2026-10-14
The dielectric response differs along and perpendicular to the nematic director. In Gaussian units the orientational electric contribution at prescribed field is ; positive anisotropy favors alignment with the electric field. The electric term does not receive the additional one-half convention used in writing the Frank elastic terms.
Fréedericksz transition Created 2026-10-14 Updated 2026-11-05
The Fréedericksz transition is a field-driven orientational instability of a confined nematic liquid crystal. Elasticity and surface anchoring resist the electric field or magnetic torque; a lowest allowed distortion mode becomes unstable at a finite threshold. Positive dielectric anisotropy of a nematic permits a normal electric field to tilt a planar anchored director.
Twisted nematic field effect Created 2026-10-14 Updated 2026-10-20
The twisted nematic field effect switches a nematic liquid crystal between a twisted optically rotating state and a largely field-aligned state. With adiabatic optical following in a twisted nematic and crossed polarizers aligned to the two planar surface directors, a quarter-turn cell passes light at low voltage and suppresses it at high voltage. A rear reflector permits reflective operation with little power expended on light generation.
Finite Erlang-mixture tail for a negative-binomial exponential aggregate Created 2026-10-14 Updated 2026-11-05
Let be a positive integer, , and . For independent rate- exponential distribution claims and a zero-based negative binomial distribution count of shape and parameter , the random-sum transform identity gives . This equals the transform of a compound binomial distribution with count and rate- claim sizes. Conditional on its positive count , the total has Erlang distribution, whose survival function is the inner exponential-polynomial sum. Conditioning yields the displayed finite mixture distribution formula for . It replaces an infinite mixture and includes the zero-total atom through the omitted term.
For , the formula reduces to for : there is an atom at zero and a rate- exponential distribution positive component. This checks both the omitted zero-count term and the parameter scaling.
A uniform algebra is natural exactly when functions with no common zero generate the unit ideal. If a generated ideal is proper, it is contained in a maximal ideal. That maximal ideal is closed: the closure of a proper ideal stays proper, since an element within distance less than one of the identity is invertible by the Neumann series. The Gelfand-Mazur theorem identifies the maximal-ideal quotient with the complex numbers, yielding a character of an algebra. Naturality would make that character a common-zero evaluation, a contradiction. Conversely, the asserted unit-ideal property makes the zero sets of every finite collection in a character's kernel intersect. Compactness gives a point common to all these zero sets; applying this to proves . For , one can directly take .
There are unlisted articles, also show them or only show them.