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.
Fixed-particle local ensemble equivalence at interior density
Statement
Assume AC, the ultrafilter extension principle, DC, and HB, and the superstable regular model of Superstable regular continuum grand pressure and variational formula, , and an interior attainable density . Let , let be the free-boundary positional canonical law with exactly particles, and let be its periodized empirical field from Periodized empirical field of a finite configuration. Choose any finite supporting activity of at and set For every open neighborhood of , Here is the outer probability defined in Conditioning grand empirical fields on an exact particle number; convergence in probability uses this convention, agreeing with ordinary probability for measurable events. If , then in probability in . This is local observable equivalence for a uniformly sampled bulk location; it makes no claim about the raw finite-box law at a fixed origin or about uniqueness for every interaction.
Facts & Assumptions
Given: AC, the ultrafilter extension principle, DC, HB, and the hypotheses and free-boundary canonical convention above.
Canonical free-cube limit at every interior attainable density: the free exact- rate converges to finite concave at every interior attainable density.
Canonical–grand-canonical thermodynamic duality: a finite supporting coefficient satisfies .
Superstable regular continuum grand pressure and variational formula: normalized grand pressure is , with a nonempty compact minimizer set.
Periodized empirical field of a finite configuration and Stationarity and intensity of a periodized empirical field: is the stationary local field obtained by averaging translations of the periodic continuation of the finite configuration.
Conditioning grand empirical fields on an exact particle number: for either boundary condition, if the exact- rate is , conditioning its grand law on makes its periodized empirical field concentrate near the grand variational minimizer set. The four named choice hypotheses are required, and convergence uses outer probabilities as defined in that supplier.
Proof
Given: The hypotheses and suppliers in Facts & Assumptions.
Use the supporting activity chosen in the Statement and set , so on its effective domain. Equivalently, is an ordinary supporting slope of the concave function . The given activity is finite, as required by [F2].
The free exact- rate hypothesis of [F5] is exactly [F1], and [F2] supplies its supporting activity. The normalized/physical pressure conversion in [F3] is the equality required by [F5]; the empirical field is the stationary one in [F4]. Applying [F5] with free boundary gives concentration on in every open neighborhood.
If the minimizer set is the singleton , every open neighborhood of is a neighborhood of the full set. Step 2.1 therefore gives for every open , which is convergence in probability in .
Depends on
The Axiom of Choice
The ultrafilter extension principle (UL/BPI)
The axiom of dependent choice: a relation in which every element is related to something admits an -indexed chain
The real dominated-extension principle as an additional hypothesis over ZF
Superstable regular pair interactions and configurational ensemble notation
Periodized empirical field of a finite configuration
Stationarity and intensity of a periodized empirical field
Canonical free-cube limit at every interior attainable density
Canonical–grand-canonical thermodynamic duality
Superstable regular continuum grand pressure and variational formula
Conditioning grand empirical fields on an exact particle number