Liouville height inequality Created 2026-09-24 Updated 2026-09-24
If is algebraic of degree at most , then every embedding satisfiesIndeed, and the contribution of one Archimedean place to the height bounds .
Height bound for a polynomial evaluation Created 2026-09-24 Updated 2026-09-24
Let have degree at most in . Thenwhenever the quotient is defined. At each non-Archimedean place, the integral coefficients contribute at most one; at the Archimedean places, the triangle inequality contributes the polynomial length. Multiplying these local estimates and using the product formula gives the claim.
Height-Mahler measure formula Created 2026-09-24 Updated 2026-11-05
Projective height Created 2026-09-24 Updated 2026-10-03
For a nonzero vector over a number field , its absolute projective height isThe product formula makes this unchanged by multiplying all coordinates by the same nonzero scalar. The projective height of a linear form is the projective height of its coefficient vector.
Absolute logarithmic Weil height Created 2026-09-24 Updated 2026-11-05
The Absolute logarithmic Weil height is the logarithm of the absolute multiplicative height of an algebraic number. If its primitive integer minimal polynomial is , thenThus it is the logarithm of the Mahler measure divided by the degree.
For a reduced rational , . It satisfies for nonzero and integral . Unlike a single absolute value, it records denominator complexity and the behavior of all conjugates, making it suitable for arithmetic bounds that should not depend on a chosen embedding.
Height of a rational number Created 2026-09-24 Updated 2026-11-05
For coprime integers with ,This follows directly from the real and p-adic absolute values, or from the height-Mahler measure formula for the primitive polynomial .
Torus ground-state degeneracy of an Abelian Chern--Simons theory Created 2026-09-24 Updated 2026-11-05
For an invertible K-matrix, an Abelian Chern--Simons theory hastopological ground states on a spatial torus. On a closed orientable surface of genus of a surface , the corresponding count is . [ref]
Lectures on the Quantum Hall Effect by David Tong. Sections 5.2.3–5.2.4, printed pp. 166–168, torus loop algebra and higher-genus count
The determinant counts the anyon classes in : the fundamental cell of the sublattice has volume relative to the unit integer lattice. Transport around intersecting torus cycles gives the noncommuting Wilson-loop algebra of an Abelian Chern--Simons theory, which distinguishes these states.
For the toric code matrixthe quotient has four classes, represented by , so the torus count is four. These represent different global sectors rather than four locally distinguishable arrangements. In a finite microscopic realization, local perturbations can produce small finite-size splitting; the topological count describes the protected low-energy sector in the large-system limit.
K-matrix Created 2026-09-24 Updated 2026-11-05
The K-matrix is the symmetric integer matrix multiplying the coupled Abelian gauge fields in an Abelian Chern--Simons theory. For invertible , the anyon lattice of an Abelian Chern--Simons theory isAdding to a charge vector changes it by a local particle. Its full braiding with any integer charge changes by , leaving the phase unchanged.
For example, has two classes, represented by . Encircling two copies of class gives ; fusing them gives class . This illustrates how an integer coupling produces fractional anyon statistics.
An integer unimodular matrix changes the basis asBecause is also integral, it maps charge classes bijectively and preserves . It changes the coordinates of the theory rather than its braiding data. If electromagnetic coupling is specified by a charge vector , that vector must be transformed consistently as . [ref]
3+1 Noether-current conservation law Created 2026-09-24 Updated 2026-09-28
For with spatial , current conservation gives under the stated extrinsic-curvature convention.
Extrinsic curvature of a spatial hypersurface Created 2026-09-24 Updated 2026-09-24
Shift vector Created 2026-09-24 Updated 2026-09-24
The shift vector describes how spatial coordinates move tangentially between neighboring hypersurfaces.
Lapse function Created 2026-09-24 Updated 2026-09-28
The lapse function measures proper-time separation between neighboring spatial hypersurfaces along their unit normal.
Liouville-Green exponential ansatz Created 2026-09-24 Updated 2026-09-24
Writing in produces the Riccati equationExpanding in inverse powers of determines the exponential phase and algebraic prefactor recursively.
Irregular singular point at infinity Created 2026-09-24 Updated 2026-10-03
Removal of the first derivative from a second-order differential equation Created 2026-09-24 Updated 2026-09-24
WKB quantization condition Created 2026-09-24 Updated 2026-11-05
A WKB quantization condition selects approximate bound-state energies by requiring an oscillatory wavefunction to match both endpoint conditions. For a smooth one-dimensional well bounded by two separated simple classical turning points ,Each soft turning point contributes an Airy turning-point connection formula phase. A hard Dirichlet wall and one soft turning point instead give , as in hard-wall and soft-turning-point WKB quantization. Two regular Dirichlet endpoints with no turning point give an integer multiple of . The endpoint type is part of the formula.
For the quantum harmonic oscillator, the two-turning-point action is . The condition gives , which happens to agree with the exact spectrum. In a general potential it is a leading semiclassical estimate, and nearby or degenerate turning points can invalidate independent connection formulas.
Classical turning point Created 2026-09-24 Updated 2026-10-03
For a one-dimensional energy and potential , a classical turning point satisfies . The classically allowed region has and supports an oscillatory leading-order WKB solution.
Airy turning-point connection formula Created 2026-09-24 Updated 2026-09-28
Near a simple turning point, rescaling the independent variable reduces a second-order equation to the Airy equation. The decaying Airy solution on the forbidden side matches an oscillatory solution with phase shift on the allowed side.
Gaussian wave packet Created 2026-09-24 Updated 2026-10-14
A Gaussian wave packet is a wavefunction whose spatial amplitude is a Gaussian function. Free quantum evolution preserves its Gaussian form while changing its complex width and spreading its probability density.
Probability current Created 2026-09-24 Updated 2026-11-05
The probability current is the flux associated with a quantum state's probability density: its outward surface integral gives the rate at which probability leaves a region. Subtracting the Schrödinger equation times the conjugate wavefunction from its complex conjugate gives the probability continuity equation, identifying the current below. The displayed expression assumes a real scalar potential and no electromagnetic vector potential. In an electromagnetic field, the gauge-invariant current instead uses the kinetic momentum operator, including its vector-potential contribution. A changing spatial phase can therefore produce flow even where the probability density is constant.
There are unlisted articles, also show them or only show them.