To minimize over models with different parameter dimensions, sample from a target proportional to and cool . A dimension-matching proposal augments the smaller model by auxiliary variables, transforms them bijectively into the larger parameter vector, and includes the proposal probability density function and absolute Jacobian determinant in the Metropolis–Hastings acceptance probability. For a positive Poisson mean and normal parameters , one convenient transformation is
Its absolute Jacobian determinant is one. If the forward and reverse model-jump selection probabilities are and , the Poisson-to-normal ratio is
The reverse ratio is its reciprocal at the inverse map. This enforces detailed balance. When the target is proper and the annealing chain explores it adequately, the low-temperature laws concentrate on the minimum Akaike information criterion, rather than the maximum marginal model evidence. Likelihoods compared across models must describe the same observed data with a compatible reference measure.
Triple integral 2026-10-18
A triple integral is a multiple integral over a three-dimensional region. For a mass density , gives the total mass, while gives its volume. Iterated one-dimensional integration is justified by Fubini's theorem under absolute integrability, and a change of variables includes the absolute Jacobian determinant in the volume element.
Two-electron Laughlin relative probability Created 2026-10-18 Updated 2026-10-20
Consider the original two-electron example obtained by taking in the Laughlin wavefunction, with no additional polynomial for the centre of mass. Introduce , relative complex coordinate , separation , and dimensionless separation . Since , the probability density factorizes:
Integrating out leaves an isotropic relative probability density. Define per unit dimensionless area and per unit dimensionless separation:
The physical areal probability density is . The probability of a separation between and is . The extra comes from the Jacobian determinant in polar coordinates: a thin annulus has area . Omitting that factor changes the question being answered.
Figure 1.
Pair avoidance and the annular Jacobian determinant in a two-electron Laughlin wavefunction
. Original normalized model curves for chosen odd exponents and . Left: relative probability density per unit dimensionless area. Right: probability density of dimensionless separation, including the annular factor . Markers identify the respective maxima. These finite two-particle curves are not measured data or the pair distribution of an infinite fluid. Details.
Both wavefunction normalization and the peak shift can be checked exactly. The substitution gives the Gamma function integral
For , logarithmic differentiation gives
Consequently the areal maximum lies at , while the most probable separation lies farther out, at . For these are and ; for , and . The same substitution gives , so the root mean square separations are and respectively. The distinction between a probability density maximum and a radial maximum therefore has a directly calculable geometric origin.
This two-electron model explains exchange and pair avoidance. It does not establish a nonzero many-particle spectral gap, an extended quantum Hall plateau, or the topological properties of a fluid in the thermodynamic limit. Those require additional many-electron reasoning and experimental tests.
After integrating the overall orientation of a scalar-parent three-body decay, the Lorentz-invariant phase space is constant in two pairwise squared invariant masses. The two-body factorization and the relative-angle Jacobian give the displayed density. The event density includes and need not be flat: a resonance produces bands. Identical-particle counting supplies its usual global symmetry factor.
Volume element 2026-10-18
Under a smooth locally invertible coordinate map into Euclidean space, the positive volume element in a multiple integral is multiplied by the absolute Jacobian determinant. In three-dimensional spherical coordinates, ; in cylindrical coordinates, . The absolute value distinguishes positive integration measure from a signed orientation convention.
With constant porosity and , , a translating frame , has area Jacobian determinant . Actual fluid volume is , proving the displayed normalization. Replacing the cotangent factor by a tangent factor is incompatible with these coordinates except at a slope of .
Weighted inverse multiplicity Created 2026-10-07 Updated 2026-10-14
For a smooth local diffeomorphism , each inverse branch contributes an inverse Jacobian determinant in the area formula. Their sum is the weighted inverse multiplicity. A lower determinant bound controls each branch separately, not the number of branches. Bounded weighted inverse multiplicity is sufficient for dispersion with a nonlinear velocity map.
Weyl integration formula 2026-10-14
Let be a connected compact Lie group, a maximal torus, and its Weyl group. With normalized Haar measures and , every continuous class function satisfies . For a general continuous function, replace by its average . Conjugation from covers the regular elements times, and its real Jacobian determinant is .