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.
Finite-volume Gibbs pseudo-likelihood with fixed boundary
Definition
Let , let be a finite nonempty subset of , let be a finite nonempty spin set, let be a nonempty measurable parameter space, and fix a boundary configuration . Let be a finite collection of finite subsets with . For each , let be finite-valued and measurable in for each spin assignment. For , let equal on and outside , and define the finite-volume energy Its normalized Gibbs law is For site , define its finite interaction neighborhood For and , write for the configuration obtained by replacing only its th spin with . The one-site conditional and finite-volume pseudo-likelihood are Every conditional uses the same fixed exterior boundary and is determined by the specified finite neighborhood . The product is a finite conditional objective; it is not defined as a probability law on .
Definition references
Facts & Assumptions
Given: The finite volume, finite spin set, finite interaction collection, finite-valued potentials, parameter measurability, and fixed boundary in the Definition.
The real exponential function and the number by a power series: is the real exponential power-series function defined for every real input.
The exponential is positive and satisfies : the real exponential is finite and strictly positive at every finite real input.
The exponential function is strictly increasing: the real exponential is continuous, hence Borel measurable.
Proof
Given: The ingredients of the Definition.
For each and each , is a finite sum of finite real values. Thus every weight is positive and finite by [F1, F2], and the partition denominator is a finite nonempty sum of positive finite terms. This makes a probability vector on the finite nonempty set .
Fix and . The denominator in is likewise a finite nonempty sum of positive finite terms. Dividing the corresponding joint Gibbs masses by their sum over the possible value at site cancels the joint partition function and gives exactly the displayed ratio; summing that ratio over gives one. Hence it is the conditional probability vector of site given the other spins. Since is finite and each is finite, is finite. In the ratio, every potential indexed by a set not containing is the same for all values of and cancels; hence only potentials meeting , and therefore only spins in and the fixed boundary values there, affect this conditional.
Each is measurable in because it is a finite sum of the stipulated measurable potentials. The exponential is Borel measurable by continuity [F3], so composition with these potentials preserves measurability. The finite partition and conditional denominators are positive by [F2], so and each are measurable in . Their finite product is therefore a measurable, positive finite real-valued objective. This does not assert that its sum over configurations is one.
Remarks
The product in this Definition is a pseudo-likelihood in the sense of Besag: it multiplies one-site conditional probabilities with the boundary and neighborhood fixed. It generally differs from the joint Gibbs likelihood and does not define an exact posterior for the joint Gibbs observation model. The B-page counterexample Two-spin pseudo-likelihood is not the exact joint posterior input ↗ verifies this distinction in a two-spin model. A consistency or concentration theorem for pseudo-likelihood would require additional, explicitly proved identifiability and spatial mixing or ergodicity inputs; none is asserted here.