Tangency to a plane along a curve forces zero Gaussian curvature Created 2026-09-24 Updated 2026-09-24
After a rigid motion, write the plane as and the surface locally as . Along the curve of tangency, and . Differentiating shows that the Hessian annihilates the nonzero tangent , so its determinant and therefore the Gaussian curvature vanish.
Mean-curvature comparison at tangential contact Created 2026-09-24 Updated 2026-09-24
Suppose two graph surfaces and are tangent at the origin, are oriented upward, and nearby. Then has a local minimum, so its Hessian matrix is positive semidefinite. At the common horizontal tangent plane,
Gaussian curvature of a graph surface Created 2026-09-24 Updated 2026-09-24
For the graph of ,
Poincare duality Created 2026-09-24 Updated 2026-09-28
For a closed oriented -manifold, cap product with the fundamental class gives isomorphisms
Representable functor Created 2026-09-24 Updated 2026-10-03
A covariant functor is representable when it is naturally isomorphic to for some object ; a contravariant functor is representable when it is naturally isomorphic to .
Geometric minimum action Created 2026-09-24 Updated 2026-09-24
On a zero-Hamiltonian infinite-time fluctuation path, the Freidlin--Wentzell action can be parametrized independently of time as in the diffusion metric.
Linear Fourier weight Created 2026-09-24 Updated 2026-09-24
The linear Fourier weight is .
Noise operator on the Boolean hypercube Created 2026-09-24 Updated 2026-10-03
The noise operator averages over a random correlated with by . It acts diagonally on the Fourier-Walsh transform:
Discrete derivative of a Boolean function Created 2026-09-24 Updated 2026-10-14
On the unbiased cube, the discrete derivative is
For the p-biased product measure, the normalization factor is .
p-biased product measure Created 2026-09-24 Updated 2026-09-24
Under the -biased product measure on , the coordinates are independent random variables with and . Writing , , and , the products form the -biased Fourier basis.
Walsh character Created 2026-09-24 Updated 2026-10-06
For , the Walsh character on the Boolean hypercube is , equivalently in the zero-one convention.
Thermal conductivity Created 2026-09-24 Updated 2026-10-14
Thermal conductivity is the material response coefficient in Fourier's law. For an isotropic material it is a scalar , with units ; larger positive means a larger conductive heat flux for the same temperature gradient. It can depend on temperature and composition. Direction-dependent response in an anisotropic material is described by a thermal conductivity tensor. The two worked examples use stipulated positive constants, rather than measured values for named materials.
Thermal conductivity describes material response, whereas thermal resistance also includes geometry: for the steady bar, . Doubling at fixed length, cross-sectional area and end temperatures halves thermal resistance and doubles the rate of heat transfer. Doubling length changes thermal resistance without changing the material's thermal conductivity. This distinction lets a designer improve cooling either by choosing a higher thermal conductivity or by shortening and widening the path. It also explains why the less conductive layer in thermal resistance takes the greater temperature drop.
Thermal diffusivity answers a different question: how rapidly a temperature disturbance spreads. Its usual model also involves mass density and specific heat capacity , so equal thermal conductivities need not imply equal rates of warming.
Exterior square of an SU2 irreducible representation Created 2026-09-24 Updated 2026-09-24
The odd-parity summands give
Fixed points of a finite-order Möbius transformation Created 2026-09-24 Updated 2026-09-24
Every nonidentity finite-order Möbius transformation has exactly two fixed points on the Riemann sphere. A transformation with one repeated fixed point is conjugate to a nontrivial translation and therefore has infinite order.
Prescribed fixed points of a Möbius transformation Created 2026-09-24 Updated 2026-10-14
For , the finite fixed points are the roots of
Thus a repeated fixed point or two prescribed fixed points determine and by the usual sum and product of roots.
One-implicit-direction diffusion splitting Created 2026-09-24 Updated 2026-09-24
The split step
has amplification matrix
On a common directional eigenvector its eigenvalue is .
Binomial-proportion Fisher scoring Created 2026-09-24 Updated 2026-10-14
For , the score and information are
Consequently one Fisher-scoring step sends every interior starting value directly to the MLE .
Fundamental lemma of the calculus of variations Created 2026-09-24 Updated 2026-09-24
If a continuous function satisfies
for every smooth compactly supported test function , then on .
An integral matrix satisfying makes a module over the Eisenstein integers by letting the primitive cube root act as . This module is finitely generated and torsion-free, hence free. Since the Eisenstein integers have integer rank two, such matrices exist only for ; for that dimension every one is integrally conjugate to
Orthonormal eigenbasis Created 2026-09-24 Updated 2026-10-14
An orthonormal eigenbasis of a linear operator is an orthonormal basis consisting of eigenvectors. Each vector can be reconstructed from its scalar components along those mutually perpendicular unit directions. With the convention that the inner product is linear in its first argument,
The finite-dimensional spectral theorem supplies such a basis for a self-adjoint operator. In its two-dimensional example, the coordinates of are along and along . The operator multiplies those coordinates by and , and reconstruction gives .
Repeated eigenvalues permit different orthonormal choices within one eigenspace, so the basis need not be unique. The spectral projection of a self-adjoint matrix onto that entire eigenspace is unique: it keeps the geometrically meaningful component without choosing individual axes inside it.

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