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
- Absolute and Conditional Convergence; Rearrangement; Products
- Areas of Elementary Plane Figures
- Binary Operations, Monoids, Groups and Subgroups
- Classical configuration, phase and reference spaces
- Cm Math Canonical
- Compactness
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Determinants of Matrices over a Commutative Ring
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Fubini and Change of Variables
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Hereditary and Productive Behaviour of the Separation Axioms
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Inverse Gibbs models, identifiability and correlated uncertainty
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Rank Theorems and Embedded Submanifolds
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Simple Field Extensions and the Construction of the Complex Numbers
- Smooth Manifolds and Smooth Maps
- Smooth Partitions of Unity and Exhaustions
- Smooth Vector Bundles and Sections
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Symplectic Manifolds, Moser Stability, and Darboux–Weinstein Theory
- Tangent Cotangent and the Differential
- Tensor Fields Exterior Algebra and Differential Forms
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Exterior Derivative and Cartan Calculus
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Vector Fields Flows and Lie Derivatives
- Vector Spaces, Linear Subspaces, Span and Direct Sums
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
All-plus data have no finite Bernoulli-spin field MLE
Example
Let , , and . For a finite field , the Gibbs probabilities are For a sample of spins all equal to , the log likelihood is It is strictly increasing at every finite , so the likelihood has no finite maximizer. The empirical statistic mean is , a boundary point of .
Example references
Facts & Assumptions
Given: The finite two-state Gibbs family and the hypothetical realized sample for all .
The sample is a fixed finite IID-model outcome; it is a mathematical example, not an empirical report.
Finite exponential Gibbs family for inverse inference: the normalized mass at field is proportional to .
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.
The exponential function is smooth and : is differentiable on with derivative .
The natural logarithm has derivative 1/x and equals the integral from 1 to x of 1/t: for , is differentiable with derivative .
The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with : derivatives of scalar compositions obey under the stated differentiability and limit-point hypotheses.
Sums, scalar multiples, products and quotients: , , , and when : derivatives of sums and scalar multiples are respectively the sums and scalar multiples of the derivatives.
The natural logarithm as the inverse of the exponential function: is a bijection and is its inverse, so for real .
Order, continuity, range, and the product, quotient, and reciprocal laws for the natural logarithm: for positive , and ; is strictly increasing on .
The mean value theorem, as the case of Cauchy's: for continuous on with and differentiable on there is with : a real function continuous on , , and differentiable on satisfies for some .
Verification
Given: The finite family and all-plus sample in the Example.
The two statistic values are and , so their affine hull is , the family is minimal, the convex hull is , and the sample mean is , which is not in its interior . Hence [F2] already implies there is no finite MLE.
Let . Both exponential terms and hence are positive by [F7]. For the fixed all-plus IID sample the product likelihood is by [A1, F1]. Applying the positive-product law [F8] repeatedly to these factors, then its quotient law and the inverse identity [F7], gives . Since is strictly increasing, this has exactly the same maximizers as . By [F3] and [F5], the two exponential terms have derivatives and ; [F6] therefore gives . The identity function has derivative directly from its difference quotient. Applying the logarithm derivative [F4] and chain rule [F5] to this derived log likelihood gives for every finite . The derived formula is differentiable on all of , hence continuous there: its increment is its convergent difference quotient times the real increment. For any , [F9] applied on gives for some . 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.
Two-spin pseudo-likelihood is not the exact joint posterior input
Example
Take , , and any fixed exterior boundary; the sole interaction set has no exterior sites, so its energy is independent of that boundary. Use parameter space with its full power-set sigma-algebra, prior mass at each parameter, and the single potential . Use the real exponential , put , and define . For the hypothetical observation , the exact joint likelihood is , whereas the product of the two one-site Gibbs conditional probabilities is . By pseudo-posterior I mean the probability vector obtained by multiplying this product by the prior weights and normalizing over . The exact and pseudo-posterior distributions are different.
Example references
Facts & Assumptions
Given: The two-spin finite-volume Gibbs model, the equal prior on , and the fixed hypothetical observation .
The observation is a mathematical example and is not reported experimental data.
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.
The real exponential function and the number by a power series: and ; evaluating the series at zero leaves its constant term, so .
The exponential function is strictly increasing: is strictly increasing on , so .
The exponential is positive and satisfies : and for every real .
Verification
Given: The data and two-parameter prior in the Example.
The four unnormalized Gibbs weights are , so the partition function is . Therefore the joint likelihood of is .
Given either other spin is , the conditional probability for the remaining spin to be is . Thus the pseudo-likelihood is the product .
The exact likelihood ratio for against is , while the pseudo-likelihood ratio is . By [F3] and [F4], and , so . Hence and . 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.
Put . For each equal-spin configuration, both site conditionals are ; for each opposite-spin configuration, both are by [F1], [F2], and [F4]. Summing the four products gives By [F3] and [F4], and , so ; 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.