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.
Adopted inertial velocity Langevin bath
One scalar component of a nonrelativistic particle's position and inertial velocity along a fixed spatial axis of one inertial frame, understood as the fixed adapted affine chart of the adopted Newtonian spacetime, with constant positive mass, damping rate and bath temperature, additive Brownian forcing, the stated stationary Gaussian preparation, and a prescribed continuous external force. This is an adopted model, not a universal bath law or an experimental report.
Postulate
Assume the Axiom of Choice The Axiom of Choice, the filtered Brownian probability-space convention of Ornstein–Uhlenbeck integral equation, and the adopted Newtonian spacetime and frame assumptions of Inertial frames, stationary observers and the adopted Galilean transformations between frames. Fix one inertial frame of that postulate: it is a fixed global adapted affine chart, with , , , and a fixed positively oriented -orthonormal basis of the spatial displacement space . Its chart map assigns each event the unique coordinates satisfying . Let be the scalar position-coordinate process in this chart, measured in metres, whose value is the signed first spatial coordinate along the fixed axis . The model tracks only ; it does not specify a full particle worldline or assert a law for either of the other spatial coordinates. Let be an -measurable real-valued random variable. On a measurable event with , assume is continuously differentiable and define the velocity coordinate there, measured in metres per second. Thus on ; values on the null complement do not affect the stochastic conclusions.
Take a primitive particle mass in kilograms, a primitive constant bath temperature in kelvins, and the primitive SI Boltzmann constant in joules per kelvin. The positive damping rate is a primitive model parameter in seconds; the positive noise amplitude is derived as the square root of and has units metres seconds. Let be standard scalar Brownian motion with , variance in seconds, and future increments independent of the present filtration. Prepare an -measurable independently of future Brownian increments. The force is a prescribed deterministic locally continuous input in newtons. Adopt
The displayed integral equation is the definition of the stochastic differential notation . Brownian increments have units seconds, so every term in the equation for has units metres seconds. When , the preparation is the stationary OU Gaussian law because its variance is ; the cited mathematical supplier establishes the specified OU model properties. The thermal noise normalization, Gaussian preparation, constant damping, and deterministic force coupling are adopted assumptions. No measurement, material calibration, nonlinear response, or microscopic derivation of this bath is asserted.