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.
A failed stationary covariance and a valid quadratic variogram
Example
On , the lag function is not a stationary covariance. By contrast, is a valid order-two intrinsic variogram: if takes the values with equal probabilities and , then . This field has stationary second-order increments but is not wide stationary.
Facts & Assumptions
Given: The real-lag candidate and the finite probability space with equal weights.
Random fields, stationarity, covariance, and variograms: a wide- stationary field has a covariance kernel depending only on lag; an order-two intrinsic field has displacement-only finite increment second moments.
Covariance kernels of square-integrable fields are positive semidefinite: every finite covariance matrix of real field values has nonnegative real quadratic forms.
Order-two intrinsic variograms are conditionally negative definite: for real coefficients summing to zero, the variogram quadratic form is nonpositive.
Finite probability spaces, outcome weights, events, and event probabilities: the two outcomes each receive weight .
Real random variables on finite probability spaces and their finite distributions: a real random variable on this space is a real-valued function on its two outcomes.
Expectation of a real random variable on a finite probability space: expectation is the sum of the two outcome values weighted by .
Moments, variance, and covariance on a probability space: for a square-integrable real variable, variance is the expected centered square.
Verification
If were a stationary covariance, its matrix at the two sites and would be The covariance-kernel lemma [F2] would make this matrix positive semidefinite, but for , . Hence is not a stationary covariance.
For any real with and sites , This directly verifies the zero-sum CND inequality for and is consistent with [F3].
Define on . By the finite space and expectation definitions [F4]–[F6],
Define , so every coordinate has finite range and is square-integrable. For any admissible , , and independent of . Its increment mean is also zero, so the stated intrinsic stationarity and variogram claim hold by [F1].
The field mean is zero and by [F6]–[F7], so its variance is not constant in . Thus this intrinsically stationary field is not wide stationary, as claimed.
Depends on
- Random fields, stationarity, covariance, and variograms
- Covariance kernels of square-integrable fields are positive semidefinite
- Order-two intrinsic variograms are conditionally negative definite
- Finite probability spaces, outcome weights, events, and event probabilities
- Real random variables on finite probability spaces and their finite distributions
- Expectation of a real random variable on a finite probability space
- Moments, variance, and covariance on a probability space
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
18 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Evgeny Spodarev, Spatial Statistics: Lecture Notes (2024) (standard reference, not scraped)
- Evgeny Spodarev, Random Fields I: Lecture Notes (Draft, 2009) (standard reference, not scraped)
- Hermine Biermé, Introduction to random fields and scale invariance: Lecture I (2016) (standard reference, not scraped)