Alphabeta Math
Pipeline-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.

Inverse Gibbs models, identifiability and correlated uncertainty — Examples

1 · Prerequisites

2 · Summary

These mathematical examples use finite hypothetical data only. The all-plus Bernoulli-spin sample has a boundary empirical mean and no finite field MLE. The two-spin example computes the exact joint likelihood and the product of one-site conditional probabilities separately; after normalization over the same finite prior, they give different posterior distributions. No empirical observation or statistical estimate is reported.

3 · Logical flowchart

4 · Definitions, postulates, theorems and proofs

None yet.

5 · Examples, experiments and counterexamples

ExampleConstruction: AI-adaptedVerification: AI-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

All-plus data have no finite Bernoulli-spin field MLE

Example

Let X={−1,+1}, w(−1)=w(+1)=1, and T(σ)=σ. For a finite field h∈R, the Gibbs probabilities are πh(+1)=eheh+e−h,πh(−1)=e−heh+e−h. For a sample of n≥1 spins all equal to +1, the log likelihood is ℓ(h)=n(h−log⁡(eh+e−h)). It is strictly increasing at every finite h, so the likelihood has no finite maximizer. The empirical statistic mean is 1, a boundary point of conv⁡{−1,+1}=[−1,1].

Facts & Assumptions

Given: The finite two-state Gibbs family and the hypothetical realized sample xi=+1 for all i.

[A1]

The sample is a fixed finite IID-model outcome; it is a mathematical example, not an empirical report.

[F1]

Finite exponential Gibbs family for inverse inference: the normalized mass at field h is proportional to ehT(σ).

[F2]

Exact finite-MLE criterion for a minimal finite exponential Gibbs family: in a minimal finite exponential family, a finite IID MLE exists exactly when the empirical statistic mean lies in the relative interior of the convex support, and is unique when it exists.

[F3]

The exponential function is smooth and (exp⁡)′=exp⁡: exp⁡ is differentiable on R with derivative exp⁡.

[F4]

The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t: for s>0, log⁡ is differentiable with derivative 1/s.

[F5]

The chain rule, in one line from Carathéodory: if g is differentiable at c and f is differentiable at g(c), then f∘g is differentiable at c with (f∘g)′(c)=f′(g(c)) g′(c): derivatives of scalar compositions obey (f∘g)′(h)=f′(g(h))g′(h) under the stated differentiability and limit-point hypotheses.

[F7]

The natural logarithm as the inverse of the exponential function: exp⁡:R→(0,∞) is a bijection and log⁡ is its inverse, so log⁡(exp⁡h)=h for real h.

[F8]

Order, continuity, range, and the product, quotient, and reciprocal laws for the natural logarithm: for positive a,b, log⁡(ab)=log⁡a+log⁡b and log⁡(a/b)=log⁡a−log⁡b; log⁡ is strictly increasing on (0,∞).

[F9]

The mean value theorem, as the case g(x)=x of Cauchy's: for f continuous on [a,b] with a<b and differentiable on (a,b) there is c∈(a,b) with f(b)−f(a)=f′(c)(b−a): a real function continuous on [a,b], a<b, and differentiable on (a,b) satisfies f(b)−f(a)=f′(c)(b−a) for some c∈(a,b).

Verification

Given: The finite family and all-plus sample in the Example.

1.1A1F1F2algebra

The two statistic values are −1 and +1, so their affine hull is R, the family is minimal, the convex hull is [−1,1], and the sample mean is 1, which is not in its interior (−1,1). Hence [F2] already implies there is no finite MLE.

2.1A1F1F3F4F5F6F7F8F9step 1.1algebra∎

Let S(h)=eh+e−h. Both exponential terms and hence S(h) are positive by [F7]. For the fixed all-plus IID sample the product likelihood is L(h)=∏i=1nπh(+1)=(eh/S(h))n>0 by [A1, F1]. Applying the positive-product law [F8] repeatedly to these n≥1 factors, then its quotient law and the inverse identity [F7], gives log⁡L(h)=n(log⁡(eh)−log⁡S(h))=n(h−log⁡S(h))=ℓ(h). Since log⁡ is strictly increasing, this has exactly the same maximizers as L. By [F3] and [F5], the two exponential terms have derivatives eh and −e−h; [F6] therefore gives S′(h)=eh−e−h. The identity function has derivative 1 directly from its difference quotient. Applying the logarithm derivative [F4] and chain rule [F5] to this derived log likelihood gives ℓ′(h)=n(1−eh−e−heh+e−h)=2ne−heh+e−h>0 for every finite h. The derived formula is differentiable on all of R, hence continuous there: its increment is its convergent difference quotient times the real increment. For any h1<h2, [F9] applied on [h1,h2] gives ℓ(h2)−ℓ(h1)=ℓ′(c)(h2−h1)>0 for some c∈(h1,h2). Thus ℓ is strictly increasing; by [F8] the likelihood also increases. In particular each finite field has a larger likelihood at a greater field, and no finite field maximizes it.

ExampleConstruction: AI-adaptedVerification: AI-generatedprecheck passverified 2026-10-22 (gpt-6.1-sol)Open item page →

Two-spin pseudo-likelihood is not the exact joint posterior input

Example

Take Λ={1,2}, S={−1,+1}, and any fixed exterior boundary; the sole interaction set {1,2} has no exterior sites, so its energy is independent of that boundary. Use parameter space Θ={0,1} with its full power-set sigma-algebra, prior mass 1/2 at each parameter, and the single potential Φ{1,2}((σ1,σ2);J)=−Jσ1σ2. Use the real exponential exp⁡, put e:=exp⁡(1), and define cosh⁡J:=(exp⁡(J)+exp⁡(−J))/2. For the hypothetical observation (+1,+1), the exact joint likelihood is exp⁡(J)/(4cosh⁡J), whereas the product of the two one-site Gibbs conditional probabilities is [exp⁡(J)/(2cosh⁡J)]2. By pseudo-posterior I mean the probability vector obtained by multiplying this product by the prior weights and normalizing over J∈{0,1}. The exact and pseudo-posterior distributions are different.

Facts & Assumptions

Given: The two-spin finite-volume Gibbs model, the equal prior on J∈{0,1}, and the fixed hypothetical observation (+1,+1).

[A1]

The observation is a mathematical example and is not reported experimental data.

[F1]

Finite-volume Gibbs pseudo-likelihood with fixed boundary: pseudo-likelihood is the product of the exact one-site conditional probabilities for the fixed interaction neighborhood and boundary.

[F2]

The real exponential function and the number e by a power series: exp⁡(x)=∑n=0∞xn/n! and e=exp⁡(1); evaluating the series at zero leaves its constant term, so exp⁡(0)=1.

[F3]

The exponential function is strictly increasing: exp⁡ is strictly increasing on R, so e=exp⁡(1)>exp⁡(0)=1.

[F4]

The exponential is positive and satisfies exp⁡(−x)=1/exp⁡(x): exp⁡(x)>0 and exp⁡(−x)=1/exp⁡(x) for every real x.

Verification

Given: The data and two-parameter prior in the Example.

1.1A1F1F2algebra

The four unnormalized Gibbs weights are exp⁡(J),exp⁡(−J),exp⁡(−J),exp⁡(J), so the partition function is ZJ=2exp⁡(J)+2exp⁡(−J)=4cosh⁡J. Therefore the joint likelihood of (+1,+1) is exp⁡(J)/(4cosh⁡J).

2.1F1F2step 1.1algebra

Given either other spin is +1, the conditional probability for the remaining spin to be +1 is exp⁡(J)/(exp⁡(J)+exp⁡(−J))=exp⁡(J)/(2cosh⁡J). Thus the pseudo-likelihood is the product [exp⁡(J)/(2cosh⁡J)]2.

3.1A1F1F2F3F4step 1.1step 2.1algebra

The exact likelihood ratio for J=1 against J=0 is r=e/cosh⁡1, while the pseudo-likelihood ratio is r2. By [F3] and [F4], e>1 and e−1=1/e<1, so cosh⁡1=(e+e−1)/2<e. Hence r>1 and r≠r2. Under the equal prior, posterior odds equal likelihood ratios, so the exact and pseudo posterior probabilities differ. The pseudo-likelihood product therefore cannot be substituted as the joint likelihood for this model.

4.1F1F2F3F4step 1.1step 2.1algebra∎

Put c=cosh⁡1. For each equal-spin configuration, both site conditionals are e/(2c); for each opposite-spin configuration, both are exp⁡(−1)/(2c)=1/(2ec) by [F1], [F2], and [F4]. Summing the four products gives ∑σ∈SΛPL1(σ)=e2+(1/e)22c2=2(e+1/e)2−2(e+1/e)2=2−1c2. By [F3] and [F4], e>1 and e−1=1/e, so c−1=(e−1)2/(2e)>0; hence the sum is greater than one. Thus the pseudo-likelihood is not a probability mass function on the configuration space, whereas the joint Gibbs likelihood is.

Sources