Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generated
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.

Linear processes, white noise, and ARMA models

Definition

Let X=(Xt)t∈Z be a real process on one probability space. The backshift is (BX)t:=Xt−1, and for a polynomial a(z)=∑j=0majzj set a(B)Xt:=∑j=0majXt−j. Weak stationarity and the covariance convention are those of Strict and weak stationarity for integer-indexed time series and Moments, variance, and covariance on a probability space.

A real process ϵ=(ϵt)t∈Z is white noise with variance σ2 when E[ϵt]=0, 0<σ2=E[ϵt2]<∞, and Cov⁡(ϵt,ϵs)=0 for all s≠t. This definition requires only zero covariance at distinct times; it does not require independence, identical distributions, or Gaussian laws.

For a real sequence ψ=(ψj)j≥0 with ∑j≥0∣ψj∣<∞, a causal linear process driven by white noise is Xt−μ:=∑j=0∞ψjϵt−j,t∈Z, where the series is its almost-sure and L2 limit, established by Absolutely summable linear filters preserve weak stationarity ↗.

An ARMA(p,q) model, for nonnegative integers p,q, is an equation ϕ(B)(Xt−μ)=θ(B)ϵt,t∈Z, where ϕ(z)=1−∑j=1pϕjzj,θ(z)=1+∑j=1qθjzj have real coefficients and constant term one. If p=0 or q=0, the corresponding polynomial is 1. The displayed equation is imposed with a coprime normalized pair, meaning that the two polynomials have no common complex root and both have constant term one. Given an unreduced pair, cancel every common nonconstant factor in C[z] and normalize both remaining polynomials to have constant term one to define its associated reduced model. This is a model convention: a solution of the unreduced equation need not satisfy the reduced equation. Root criteria for the reduced pair apply only to solutions of that reduced equation.

For an AR(p) model (q=0), expansion gives the regression form Xt=c+∑j=1pϕjXt−j+ϵt with c=μ(1−∑j=1pϕj). Thus a fixed intercept in the AR regression is the original mean parameter written in observation coordinates.

A causal representation of this model is a representation Xt−μ=∑j≥0ψjϵt−j with ∑j∣ψj∣<∞. An invertible representation is ϵt=∑j≥0πj(Xt−j−μ) with ∑j∣πj∣<∞. These are properties of the displayed relation between X and ϵ, not claims that white noise is iid.

Depends on

Used by

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