Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)
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 d≥1, let Λ be a finite nonempty subset of Zd, let S be a finite nonempty spin set, let (Θ,T) be a nonempty measurable parameter space, and fix a boundary configuration η∈SZd∖Λ. Let C be a finite collection of finite subsets C⊆Zd with C∩Λ≠∅. For each C∈C, let ΦC:SC×Θ→R be finite-valued and measurable in θ for each spin assignment. For σ∈SΛ, let σˉ equal σ on Λ and η outside Λ, and define the finite-volume energy Hθη(σ):=∑C∈CΦC(σˉ∣C;θ). Its normalized Gibbs law is πθη(σ):=e−Hθη(σ)∑τ∈SΛe−Hθη(τ). For site i∈Λ, define its finite interaction neighborhood Ni:=(⋃C∈Ci∈CC)∖{i}. For σ∈SΛ and s∈S, write σi=s for the configuration obtained by replacing only its ith spin with s. The one-site conditional and finite-volume pseudo-likelihood are qi,θη(s∣σΛ∖{i}):=e−Hθη(σi=s)∑a∈Se−Hθη(σi=a),PLθη(σ):=∏i∈Λqi,θη(σi∣σΛ∖{i}). Every conditional uses the same fixed exterior boundary and is determined by the specified finite neighborhood Ni. The product is a finite conditional objective; it is not defined as a probability law on SΛ.

Facts & Assumptions

Given: The finite volume, finite spin set, finite interaction collection, finite-valued potentials, parameter measurability, and fixed boundary in the Definition.

[F1]

The real exponential function and the number e by a power series: exp⁡ is the real exponential power-series function defined for every real input.

[F2]

The exponential is positive and satisfies exp⁡(−x)=1/exp⁡(x): the real exponential is finite and strictly positive at every finite real input.

[F3]

The exponential function is strictly increasing: the real exponential is continuous, hence Borel measurable.

Proof

Given: The ingredients of the Definition.

1.1givenF1F2algebra

For each θ and each σ, Hθη(σ) is a finite sum of finite real values. Thus every weight e−Hθη(σ) 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 SΛ.

2.1givenF1F2step 1.1algebra

Fix i∈Λ and σΛ∖{i}. The denominator in qi,θη 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 i cancels the joint partition function and gives exactly the displayed ratio; summing that ratio over s∈S gives one. Hence it is the conditional probability vector of site i given the other spins. Since C is finite and each C is finite, Ni is finite. In the ratio, every potential indexed by a set C not containing i is the same for all values of s and cancels; hence only potentials meeting i, and therefore only spins in Ni and the fixed boundary values there, affect this conditional.

3.1givenF2F3step 1.1step 2.1algebra∎

Each Hθη(σ) 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 qi,θη are measurable in θ. Their finite product PLθη(σ) 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.

Depends on

Dependency tree · 2 levels

Sources