If is algebraic of degree at most , then every embedding satisfiesIndeed, and the contribution of one Archimedean place to the height bounds .
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.
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.
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.
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 by
Codex 0 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.
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]
For with spatial , current conservation gives under the stated extrinsic-curvature convention.
The shift vector describes how spatial coordinates move tangentially between neighboring hypersurfaces.
The lapse function measures proper-time separation between neighboring spatial hypersurfaces along their unit normal.
Writing in produces the Riccati equationExpanding in inverse powers of determines the exponential phase and algebraic prefactor recursively.
Removal of the first derivative from a second-order differential equation by
Codex 0 Created 2026-09-24 Updated 2026-09-24
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.
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.
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.
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.
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.