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.
Autocovariance and sample autocovariance
Definition
For a weakly stationary real process , its autocovariance function (ACVF) is which is independent of by Strict and weak stationarity for integer-indexed time series.
For a finite data vector , where , let Its biased sample ACVF is the zero-extended sequence on given by and for . The absolute lag makes .
For comparison, define the pair-count-normalized rescaling and set it to zero for . Its denominator is positive on the stated domain. The names specify the denominator convention; they assert no unbiasedness formula.
Depends on
Used by
- Durbin–Levinson forecast recursion Algorithm
- Pair-count-normalized sample ACVF need not be positive semidefinite Counterexample
- Spectral measures and the known-mean periodogram Definition
- A unit-root AR(1) has no weakly stationary solution with nonzero white noise Example
- An AR(1) covariance forecast and general-RHS Toeplitz solve Example
- An atomic sinusoid and an AR(1) process have different spectra Example
- Uncorrelated white noise need not be iid Example
- Absolutely summable linear filters preserve weak stationarity Lemma
- Durbin–Levinson solves the successive prediction equations Theorem
- Expected periodogram and smoothed spectral-density bias Theorem
- Finite-history forecast equations and error variance Theorem
- Herglotz spectral measure and the summable-covariance density Theorem
- Sample-mean variance and positive semidefinite sample ACVF Theorem
Dependency tree · two levels
6 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
- Nicolai Meinshausen, Time Series Analysis: Notes for the course HS 2022, complete 57-page lecture notes (standard reference, not scraped)
- STAT 720 Time Series Analysis, South Carolina course notes by Wang, focused Sections 2.1–2.2 and Lemma 2.3 (standard reference, not scraped)