Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Lagged lattice covariance and variogram estimators

Definition

Let d≥1, let (Yj)j∈Zd be a real random field (Random fields, stationarity, covariance, and variograms) whose coordinates are square-integrable real random variables on one probability space (Probability measures and probability spaces, Random elements and real random variables, Moments, variance, and covariance on a probability space, The integers as equivalence classes of pairs of naturals), and let Vn⊂Zd be nonempty finite observation windows. Write Mn:=∣Vn∣ and Yˉn:=1Mn∑j∈VnYj. For a fixed lag h∈Zd, let Pn(h):={j∈Vn:j+h∈Vn},Nn(h):=∣Pn(h)∣. Only indices n with Nn(h)>0 are admissible for this lag.

When the field is wide stationary in the sense of Random fields, stationarity, covariance, and variograms, write its constant mean as μ and its displacement covariance as C(h):=Cov⁡(Yj+h,Yj), which is independent of j by wide stationarity and agrees with the supplier convention by covariance symmetry. Define the pair-count-normalized raw-product covariance estimator by C^n(h):=1Nn(h)∑j∈Pn(h)YjYj+h−Yˉn 2. This convention subtracts the square of the one global sample mean from the pair-count-normalized raw product average; it is not the average of pairwise sample-centered products.

For the second-moment component of order-two intrinsic stationarity in Random fields, stationarity, covariance, and variograms, suppose the increments have finite second moments and γ(h):=12E[(Yj+h−Yj)2] is independent of j; define the empirical semivariogram by γ^n(h):=12Nn(h)∑j∈Pn(h)(Yj+h−Yj)2.

Depends on

Used by

Dependency tree · two levels

19 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