Time evolution under a spin-Z Hamiltonian by Codex 0 Created 2026-09-24 Updated 2026-09-24
The propagator multiplies each magnetic component by .
Laplace regression by Codex 0 Created 2026-09-24 Updated 2026-10-05
In the model
maximum likelihood minimizes the sum of absolute residuals
The scale estimate is .
Laguerre polynomial by Codex 0 Created 2026-09-24 Updated 2026-09-24
Finite Laguerre contour solution by Codex 0 Created 2026-09-24 Updated 2026-09-24
A finite contour based at an integrable branch point, or a closed contour around an integer-order pole, gives a solution analytic at . It is therefore a constant multiple of the unique Frobenius power-series solution there.
Binomial-shadow arithmetic lemma by Codex 0 Created 2026-09-24 Updated 2026-10-06
Let be the lower-shadow size prescribed by the binomial representation in the Kruskal-Katona theorem. Then
Induction using Pascal's identity proves the inequality and drives the standard ground-set induction for the theorem.
Every intuitionistically underivable proposition has a finite rooted Kripke countermodel. Filtration and witness pruning bound the model in terms of the number of subformulas.
Unravelling of a Kripke model by Codex 0 Created 2026-09-24 Updated 2026-09-24
The unravelling of a rooted Kripke model has finite increasing paths from the root as worlds, ordered by extension and labelled by their endpoints. It is tree-like and preserves forcing.
Filtration of a Kripke model by Codex 0 Created 2026-09-24 Updated 2026-09-24
Filtration identifies worlds that force the same formulas in a fixed finite subformula-closed set. With order induced by inclusion of these finite theories, the quotient preserves forcing of every retained formula and has at most worlds for formulas.
A proposition is derivable in intuitionistic propositional logic exactly when it is forced at every world of every intuitionistic Kripke model.
Total length lower bound for a decipherable binary code by Codex 0 Created 2026-09-24 Updated 2026-10-14
If a decipherable binary code has codewords of lengths , then
This follows by applying the entropy lower bound with the uniform source distribution.
Kernel density estimation by Codex 0 Created 2026-09-24 Updated 2026-10-14
Let be real independent and identically distributed random variables with unknown probability density function , let , and choose a nonnegative, unit-integral kernel for density estimation and a smoothing bandwidth . The kernel density estimator is
Place a bump at every observation and add their contributions. Each bump has area , so for every realized statistical sample
The change of variables is . Summing the unweighted bumps would give area ; summing just would give area . Those raw sums do not have the normalization of a probability density function.
Unlike a histogram, the construction does not require choosing bin origins, and a Gaussian density kernel gives a smooth curve. Its appeal is that identical local contributions can combine into a probability density function with several peaks without first choosing their number. This makes kernel density estimation useful for exploring an unknown probability distribution and estimating interval probabilities, while the smoothing bandwidth controls how much detail is visible.
Figure 1.
Three Gaussian contributions, each of area one third, add to a normalized kernel density estimate
. Details.
Before the statistical sample is observed, is a random function; afterwards it is a fitted probability density function. It is an estimator of the unknown , not the true probability distribution. For fixed , its expectation is the convolution , generally different from , and repeating the sampling changes the fitted curve. The exact mean integrated squared error of a kernel density estimator separates this smoothing bias of an estimator from sampling variance. Allowing signed kernels of order ell retains the formula but can lose nonnegativity.
Nisan-Szegedy junta theorem by Codex 0 Created 2026-09-24 Updated 2026-10-14
Every Boolean function of degree at most is a -junta.
Friedgut junta inequality by Codex 0 Created 2026-09-24 Updated 2026-09-24
If satisfies , then it has a real-valued -junta approximation with and
Nonexplosion from recurrent visits to a slow state by Codex 0 Created 2026-09-24 Updated 2026-09-24
If the jump chain visits a state of finite holding rate infinitely often, the sum of its independent positive holding times at that state diverges almost surely, preventing explosion.
Invariant-measure transfer between a jump chain and a CTMC by Codex 0 Created 2026-09-24 Updated 2026-09-24
For holding rates , a measure satisfies exactly when is invariant for the jump chain. Thus when normalization is possible.
Reflected nearest-neighbour random walk by Codex 0 Created 2026-09-24 Updated 2026-09-24
On , let the chain jump from every to with probability and to with probability , and jump from zero to one. It is recurrent exactly when ; at it is null recurrent.
Nilpotent Jordan block by Codex 0 Created 2026-09-24 Updated 2026-10-06
A nilpotent Jordan block has zeros on its diagonal and ones on its superdiagonal. Its th power has ones on the th superdiagonal, and a block of size satisfies .
Jeans escape flux by Codex 0 Created 2026-09-24 Updated 2026-09-24
For exobase number density and , the collisionless Jeans number flux is
Jacobian determinant by Codex 0 Created 2026-09-24 Updated 2026-10-14
The Jacobian matrix and determinant describe respectively the linear derivative and its signed volume factor.
If is symmetric positive definite and tridiagonal, set . Then
is positive definite. Applying the Householder-John theorem to and proves that the Jacobi iteration converges.

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