TheoremBase

Variance Sequences and Their Truncations

A variance sequence is a sequence of positive reals with convergent series; its truncation to the first n terms is a variance vector, with the associated diagonal Gaussian measure on n-dimensional Euclidean space.

Statement

In the setting of The Real Numbers: Standing Notation and Background.

1. (Variance sequences) A variance sequence is a sequence c=(ck)k∈Nc=(c_{k})_{k\in\mathbb{N}} of positive real numbers such that the series ∑k=1∞ck\sum_{k=1}^{\infty}c_{k} converges.

2. (Truncations) Let cc be a variance sequence and n∈Nn\in\mathbb{N}. Read The Diagonal Gaussian Density on Euclidean Space and Its Notation and Diagonal Gaussian Measures on Euclidean Space, in the settings named there, with nn in place of the dimension written dd there. The truncation of cc to its first nn terms is c(n)=(c1,…,cn)c^{(n)}=(c_{1},\dots,c_{n}), a point of Euclidean space Rn\mathbb{R}^{n}; it is a variance vector, since each of its entries is positive. The diagonal Gaussian measure on Rn\mathbb{R}^{n} with variances c(n)c^{(n)} is written γc(n)\gamma_{c^{(n)}}.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…