How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Conditional band velocity and anomalous term
Statement
Assume Axiom of Choice and Countable Choice. Let be a basis of direct-lattice vectors, each measured in metres, and set and , whose vectors have units of inverse metres. The reciprocal-space torus is ; let be an open set on which the quotient map is injective, giving local wave-vector coordinates. For put and . Fix finite with and hopping matrices satisfying ; assign the entries of units of joules. The finite-range physical fiber is
which is the fiber in Lattice Bloch transform and band projectors written in physical reciprocal coordinates. Its entries and its eigenvalues have energy units (joules). Let be a simple eigenvalue of and, after shrinking if needed, assume its distance from the other eigenvalues is at least some throughout . Choose a local normalized eigenvector with and .
Let denote a position coordinate measured in metres, the physical crystal wave vector measured in inverse metres (radians are dimensionless), a constant signed charge in coulombs, a constant electric field in volts per metre, and the reduced Planck constant in joule seconds. Under the adopted single-band effective description, take
Here each term of has units of joules. Define the real Berry connection , whose components have units of metres, and the Berry-curvature vector , whose components have units of square metres. For time measured in seconds, a compact interval with , and curves with , define the action . A curve is stationary if for every jointly variation , , with , fixed endpoints and for , and . Every such stationary curve of this adopted effective action satisfies
The action has units of joule seconds. The equations are invariant under a local phase change of . The words “wave packet” and “slow-force” name only the physical motivation and regime label of this adopted effective model; no wave-packet object is used in the deduction, and no approximation-validity or error-bound claim about underlying quantum dynamics is made. For the two-band specialization, take . Let be the reciprocal basis, defined by , so . Fix and the closed reciprocal two-torus
Here is a diffeomorphism and fixes the orientation by . Suppose the restriction has the two-band form of Two-band Chern number and degree formula, with nowhere zero on this entire torus. Put and , ; the chosen local eigenvector belongs to that band wherever its chart meets the slice. Interpret also as the corresponding globally defined projector on . Define the global real two-form
On every local normalized eigenvector chart this is for ; it does not require a global eigenvector. In physical reciprocal coordinates, the coordinate conversion on every such chart is
The coefficient is dimensionless, since has units of square metres and each reciprocal basis vector has inverse-metre units. With this orientation and the same band sign,
The integrals are over the whole closed torus, and the exterior derivatives in the second integral are in the dimensionless coordinates. This is the Chern convention of Two-band Chern number and degree formula.
Statement references
Facts & Assumptions
Given: The direct lattice and reciprocal coordinates, a finite-range Hermitian Bloch fiber, a locally isolated simple eigenvalue with its local normalized eigenvector, the explicitly adopted Lagrangian, and the endpoint-fixed variation class in the Statement. The electric field is constant in space and time; is signed.
Axiom of Choice and Countable Choice are the principles in The Axiom of Choice and The Axiom of Countable Choice ().
The Lagrangian in the statement is an adopted single-band effective model motivated by the slow-force, single-band wave-packet discussion of Xiao, Chang, and Niu, §V.A, Eqs. (5.7)–(5.8). This item assumes no validity conditions or error bound for an approximation to underlying quantum evolution.
Lattice Bloch transform and band projectors fixes the finite-range Bloch fiber setting in the dimensionless phase ; Exact Bloch transform and regularity of gapped band projectors gives a smooth projector for a globally uniformly isolated band cluster. The local eigenvalue and eigenvector regularity needed below are explicit hypotheses of the Statement.
Two-band Chern number and degree formula gives, on the full two-torus oriented by , . Its sign agrees with the local real connection .
Proof
Given: [A1], [A2], [F1], [F2], a local normalized eigenvector, and the action and variations defined in the Statement.
Differentiating gives , so is purely imaginary and is real. If a rank-one projector is supplied instead, fix a unit vector ; by continuity near , and supplies a local normalized section. Under a local phase change , direct differentiation gives , so and the Lagrangian changes by , a total derivative. Thus the action's stationary curves are independent of the chosen local phase.
Write for the six configuration coordinates. The integrand is in , and is along a curve. For every compactly supported variation field , the linear variation is admissible for sufficiently small , since is compact in . The first variation is . Integration by parts and stationarity give for every such . The coefficient is continuous; if one component were nonzero at some time, continuity and a nonnegative smooth bump supported in a neighborhood where it has fixed strict sign would make this integral nonzero. Hence componentwise along the curve. This proves the Euler–Lagrange equations from the stated variation definition rather than assuming them.
For each coordinate , and . The Euler–Lagrange equation derived in step 1.2 therefore gives , the first vector equation.
For each , and . Applying the Euler–Lagrange equation from step 1.2 and the chain rule gives , where the last equality is the component identity . Dividing by gives the second vector equation.
The reciprocal-basis identity gives for and modulo , so identifies the full closed slice with the oriented two-torus in [F2]. Restricting the finite Fourier sum to gives a finite Fourier sum in , with Hermitian conjugate coefficients paired at opposite modes. The nowhere-zero makes both globally smooth by [F1] and [F2]. Local unit sections exist by step 1.1, without a global unit section. On each such chart, differentiating and gives . These local two-forms therefore agree on overlaps with the displayed global projector form, including overlaps not admitting a single phase function. Write the physical Cartesian components as . Since and for , evaluation on these two tangent vectors proves the stated pullback formula and its orientation. Integration over this entire torus is exactly the Chern integral in [F2], giving . No local chart is treated as the whole integration domain. The variational derivation itself does not depend on a two-band restriction.
The result is the exact variational consequence of the adopted effective Lagrangian, with the lattice length and reciprocal-coordinate conversion specified in the Statement. It does not establish that a physical system is described by this model or quantify any error from neglected interband transitions or field variation.