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.
Ordinary kriging can have larger error than simple kriging
Example
Let assign probability to each sign triple, with coordinate variables . For a common mean , let the target be and observations be for . With known, simple kriging predicts by and has mean-square error . With unknown, an ordinary predictor must use weights ; its minimum mean-square error is , attained by . This is a finite-model comparison, not a general inequality between ordinary and simple kriging.
Facts & Assumptions
Given: The equal-weight product space and the target and observation model in the example.
Simple, ordinary, and universal kriging: a known-mean predictor uses the centered observations.
Simple, ordinary, and universal kriging: ordinary-kriging weights are constrained to sum to one.
Kriging systems and mean-square optimality: with positive-definite observation covariance, the simple minimizing weight is .
Kriging systems and mean-square optimality: under the full-rank constant-mean design, the ordinary system and error formula apply.
Finite probability spaces, outcome weights, events, and event probabilities and Real random variables on finite probability spaces and their finite distributions: the eight sign triples have equal weight and the coordinates are real random variables on that space.
Expectation of a real random variable on a finite probability space: expectations are finite weighted sums.
Variance, standard deviation, and covariance on a finite probability space: variance and covariance are centered second moments.
Verification
Given: The three sign-coordinate variables on the equal-weight eight-outcome space.
Each has mean zero and second moment one by [F5] and [F6]. For , each sign pair occurs equally often, so [F7] gives . Consequently, , , and .
When is known, [F3] and step 1.1 give simple weight , so the simple minimizing predictor is . Its error is and its mean-square error is . For the ordinary model, the unbiasedness constraint is by [F2].
The ordinary system in [F4] applies because step 1.1 gives and the constant-mean design has full rank. Directly, the ordinary prediction error is . Expanding its square, all cross terms have expectation zero by step 1.1, so its mean-square error is . Substituting gives , whose unique minimum is at . Since , ordinary kriging has the larger error in this example.
Depends on
- Simple, ordinary, and universal kriging
- Kriging systems and mean-square optimality
- 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
- Variance, standard deviation, and covariance on a finite probability space
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
17 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.