Alphabeta Math
Physics theoremStatement: Literature-sourcedProof: AI-generatedPipeline-generated
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 instrument-record diffusion coefficient

Physical scope

Conditional finite-model prediction for the specified ideal energy-resolved monitoring instrument, Gibbs initial law, and assigned pointer velocities. Physical applicability is limited to the postulate's finite interval [0,t_res]; the T->infinity coefficient is mathematical for the continued finite-rate model. It is not a measured spatial diffusion coefficient or a generic quantum hydrodynamic limit.

Statement

Assume full AC, Specified effective GKSL bath and instrument assumption, and the finite connected Gibbs-jump model with its selected energy-resolved instrument. Prepare the system with diagonal Gibbs law π. Assign a real pointer velocity va in metres per second to each recorded energy label, with ∑aπava=0, and define the model record displacement YT=∫0Tva(s) ds. The postulate's physical applicability is limited to 0≤t≤tres. For formulas at arbitrary T≥0 and their limit, continue the same finite-rate chain as an idealized mathematical model; this gives no physical-applicability claim for T>tres. Thus the displayed formula is a conditional physical-model prediction for 0≤T≤tres and a mathematical model identity for all T≥0 in the continuation:

Eπ[YT]=0,Var⁡π(YT)=2∫0T(T−s)Cv(s) ds,

where Cv(s)=∑aπava(esWv)a. The limit

Drec:=lim⁡T→∞Var⁡π(YT)2T=∫0∞Cv(s) ds=⟨(−W∣π⊥)−1v,v⟩π≥0

exists and has units square metres per second. This long-time limit is a derived coefficient of the idealized mathematical continuation. It is not a measurement of a system's position, a calibrated material coefficient, or evidence that the microscopic bath obeys the effective model.

Facts & Assumptions

Given: Full AC, the effective-bath and monitoring postulate, the finite Gibbs rate model, the stationary initial law π, and the specified pointer velocity v.

[A1]

The Axiom of Choice: every family of nonempty sets has a choice function; the exact formal use is the joint path construction inherited from Stationary monitored-chain transport variance coefficient.

[A2]

Specified effective GKSL bath and instrument assumption: the selected finite GKSL dynamics and energy-resolved instrument are physically adopted only on [0,tres]; their continuation for all t≥0 is mathematical and has no physical-applicability claim beyond tres. No apparatus calibration or measured rate is supplied.

[F1]

Stationary monitored-chain transport variance coefficient: under full AC and the connected Gibbs-rate hypotheses, the stationary selected record has the stated finite-time variance formula and limit.

Proof

1.1givenA1A2

The assumptions [A1]–[A2] identify the selected, ideal energy-resolved instrument and its Gibbs initial law; the velocity labels are stipulated model observables. They introduce no empirical premise.

2.1givenF1step 1.1∎

Applying [F1] with these exact rates, initial law, and centered velocities yields the displayed finite-time variance, resolvent formula, nonnegativity, and limit for the mathematical continuation. Only its finite-time predictions with 0≤T≤tres have the postulate's physical applicability.

Remarks

The stochastic record is the selected instrument output. It is not a continuous position trajectory and does not follow uniquely from the one-time GKSL channel family.

Depends on

Dependency tree · 2 levels

Sources